Ben Reynwar
where else to find them
bluesky:benreynwar.bsky.social
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
- Michael Gielda25 talks
- Ethan Sifferman2 talks
- Staf Verhaegen9 talks
- Rachit Nigam5 talks
- Oron Port3 talks
- Jeffrey S. Foster10 talks
| title | conference | date |
|---|---|---|
| Attempts to design hardware using dafny | Latch-Up 2024 | 2024-04-19 |
Uses Dafny with SMT solver to write programs that generate hardware and prove properties about them; attempts include a function that turns a circuit struct… | ||
| Python as a language for testing and code generation | ORConf 2018 | 2018-09-21 |
Describes using Python to generate parameterised VHDL, run file‑based unit tests and drive FPGA validation, noting generation replaces unsupported VHDL… | ||
| nothing matches | ||