Show HN: Quint Visualizer – A GraphViz-like visualizer for Quint tracesquint-visualizer.noghartt.dev·3 pts·Noghartt·0
Building a CPU in Factorio: From D-Flip-Flops to an Operating System [video]youtube.com·10 pts·Noghartt·1
Show HN: Container-compose – A Docker-compose like tool for Apple containersgithub.com·59 pts·Noghartt·16
Deterministic Simulation Testing – applying simulation testing on Simple Paxospoorlydefinedbehaviour.github.io·1 pts·Noghartt·0