6 ms·
Cool! Looks like a company that grew out of §3.3.4 of SICP. Hardware oriented NixOS and GUIX users should be very interested in this: declarative PCB designs.
by so-cal-schemer 10d ago
Cool! Looks like a company that grew out of §3.3.4 of SICP. Hardware oriented NixOS and GUIX users should be very interested in this: declarative PCB designs.
3.3.4 A Simulator for Digital Circuits
https://sarabander.github.io/sicp/html/3_002e3.xhtml#g_t3_002e3_002e4 https://sarabander.github.io/sicp/html/3_002e3.xhtml#g_t3_00...
3.3.5 Propagation of Constraints
https://sarabander.github.io/sicp/html/3_002e3.xhtml#g_t3_002e3_002e5 https://sarabander.github.io/sicp/html/3_002e3.xhtml#g_t3_00...
2.1.4 Extended Exercise: Interval Arithmetic
https://sarabander.github.io/sicp/html/2_002e1.xhtml#g_t2_002e1_002e4 https://sarabander.github.io/sicp/html/2_002e1.xhtml#g_t2_00...