From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·12h
Reliability-informed inverse design of dual tunnels with deep evidential regression
sciencedirect.com·10h
Meeting Seed7
genodians.org·1d
Running Code and Failing Models – Rajiv Shah
projects.rajivshah.com·2d
the myth of multitasking and other things i learned today
lollar.bearblog.dev·9h
Hj Hornbeck
freethoughtblogs.com·19h
Loading...Loading more...