https://news.ycombinator.com/user?id=praveenrajusHacker News RSShttps://hnrss.org/hnrss v2.1.1Sun, 01 Nov 2026 13:06:45 +0000works really well for simulators, where you usually don't have an oracle but you do have invariants. e.g. in SPICE the low-freq AC gain has to match the slope of the DC sweep. it's cheap to check and it catches sign errors that look totally fine on a plot

]]>Sat, 31 Oct 2026 17:20:18 +0000https://news.ycombinator.com/item?id=50318055praveenrajushttps://news.ycombinator.com/item?id=50318055https://news.ycombinator.com/item?id=50318055one spot where pin-level leaks is the ADC. tons of "firmware bugs" are really a big divider that can't recharge the sample cap in time, so readings come out low or depend on the previous channel. even just modeling source resistance vs sampling time would catch a lot of that

]]>Sat, 31 Oct 2026 17:20:06 +0000https://news.ycombinator.com/item?id=50318052praveenrajushttps://news.ycombinator.com/item?id=50318052https://news.ycombinator.com/item?id=50318052