New comment by BalistaCRATZ in "Solving the Jane Street reverse engineering challenge"

BalistaCRATZ — Fri, 04 Sep 2026 11:31:50 +0000

Nice! I ended up using the KLayout Python API to parse the GDS and extract the netlist, which was actually quite nice to use.

Also, yosys has support for doing “assertion checking”, which I used in my solution: https://sunaabh.com/systems/2026/08/18/jspuzzle.html

Hacker News: BalistaCRATZ