Finding bugs in Raft implementations~dev.testingantithesisalgorithms.distributed> Despite the paper’s famously accessible style, we’ve found bugs in every Raft… moreantithesis.com 3 weeks agoTildes
Parsing randomness: unifying and differentiating parsers and random generators~dev.testing~papers~researchparsingproperty testing> "A generator is a parser of randomness." This perspective on generators for… morearxiv.org Mar 25, 2026
Property-based testing for web UIs~dev.testing~sourceproperty testingrusttypescriptweb> Bombadil is property-based testing for web UIs, autonomously exploring and… moregithub.com Mar 23, 2026
Differential spec analysis~ai.agents~dev.testingauthor.josh bleecher snyder> In differential spec analysis, you write multiple implementations from a spec… morecommaok.xyz Jan 18, 2026