the myth of multitasking and other things i learned today
lollar.bearblog.devยท9h
Cheney on the M.T.A.
plover.comยท2d
A Validated Semantics for LLVM IR
sf.snu.ac.krยท16h
Optimizing for the edge: Lessons from DOS, Turbo Pascal, and hardware constraints
allthingsopen.orgยท12h
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.ioยท1d
Hj Hornbeck
freethoughtblogs.comยท19h
Learning with Patience
zeyrie.blogยท7h
C Right-Left Rule (Rick Ord's CSE 30
cseweb.ucsd.eduยท1d
Meeting Seed7
genodians.orgยท1d
Loading...Loading more...