A security researcher describes the practical difficulty of confirming and reproducing race condition bugs in software, particularly the Linux kernel. Current techniques include manually inserting delay calls into kernel code to force specific thread interleavings, or using DTrace probes on macOS and Windows, both of which are slow and require trial and error.
projectzero.google
· 2026-09-09
A developer frustrated by inconsistent Erlang and JavaScript outputs from the Gleam compiler first tried using an LLM to generate edge-case test programs, spending about $20 in tokens to surface just one confirmed bug (issue #5613), which was promptly fixed. Dissatisfied with the cost and randomness of that approach, they pivoted to building a structure-aware fuzzer that generates syntactically valid Gleam programs automatically to systematically probe the compiler for hidden defects.
kurz.net
· 2026-08-25