A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functionalblog.vmchale.com·90 pts·Smaug123·19
No-panic: Attribute macro to require rustc to prove a function can't ever paniccrates.io·2 pts·Smaug123·1
Busy Beaver Challenge: Releasing bouncers: only 2833 machines to godiscuss.bbchallenge.org·8 pts·Smaug123·1