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·8h
Running Code and Failing Models – Rajiv Shah
projects.rajivshah.com·1d
Meeting Seed7
genodians.org·1d
Reliability-informed inverse design of dual tunnels with deep evidential regression
sciencedirect.com·7h
Hj Hornbeck
freethoughtblogs.com·16h
the myth of multitasking and other things i learned today
lollar.bearblog.dev·6h
Loading...Loading more...