Symbolic Reference and Hardware Models in Python (tomverbeure.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of tomverbeure.github.io: Symbolic Reference and Hardware Models in Python

First screen, captured 1 year ago.

Looks similar

Screenshot of philipzucker.com: Symbolic Execution by Overloading __bool__

Symbolic Execution by Overloading bool(philipzucker.com)

63 points by philzook 1 year ago | 8 comments

Screenshot of danielmangum.com: VPR: Nordic's First RISC-V Processor

VPR: Nordic's First RISC-V Processor (danielmangum.com)

147 points by hasheddan 1 year ago | 33 comments

Screenshot of tomverbeure.github.io: Analyzing the Monoprice Blackbird HDCP 2.2 to 1.4 Down Converter

Analyzing the Monoprice Blackbird HDCP 2.2 to 1.4 Down Converter (tomverbeure.github.io)

151 points by picture 2 years ago | 50 comments

Screenshot of symbolica.io: Symbolica 2.0: Programmable Symbols for Python and Rust

Symbolica 2.0: Programmable Symbols for Python and Rust (symbolica.io)

142 points by mmastrac 4 months ago | 15 comments

Screenshot of un0rick.cc: DIY open-source ultrasound hardware on the rp2040/rp2350

DIY open-source ultrasound hardware on the rp2040/rp2350 (un0rick.cc)

70 points by kelu124 5 months ago | 6 comments

Screenshot of peter.eisentraut.org: PostgreSQL and FIPS Mode

PostgreSQL and FIPS Mode (peter.eisentraut.org)

65 points by chmaynard 2 years ago | 23 comments