From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
GHC 9.12.3 is now available
haskell.org·22h
TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.io·7h
C Right-Left Rule (Rick Ord's CSE 30
cseweb.ucsd.edu·1d
Introducing Pkl, a programming language for configuration
pkl-lang.org·3h
Cheney on the M.T.A.
plover.com·2d
Regression by Composition
lesswrong.com·1d
Loading...Loading more...