avnd
No user record in our sample, but avnd has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
- Show HN: Penguin-rtl – Verilog equivalence checking locally in the browser (penguin-rtl.arjunv.net)
Hi HN! I made this little web app for formal equivalence checking of Verilog that runs totally locally in the browser. I initially wrote it for myself to (confidently) rewrite clumps of combinational logic. The idea is…
- Blinky on Pi 4B with Bare Metal Rust (blog.arjunv.net)