the myth of multitasking and other things i learned today
lollar.bearblog.devยท7h
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
arxiv.orgยท3d
Cheney on the M.T.A.
plover.comยท2d
Friendly Little Wrapper TypesโโโSympolymathesy, by Chris Krycho
v5.chriskrycho.comยท3h
Convergent Interface Formation via Agentic SelfโModification
tim-mayoh.bearblog.devยท1d
Meeting Seed7
genodians.orgยท1d
No, Small Models Are Not the "Budget Option" (English)
mostlylucid.netยท57m
Think Your Python Code Is Slow? Stop Guessing and Start Measuring
towardsdatascience.comยท1d
Loading...Loading more...