Weeknote 02/2026
blog.dougbelshaw.com·4h
Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)
axiommath.ai·3h
Projects
metanomad.blog·1h
5 Ways to Get the Best Out of LLM Inference
pub.towardsai.net·1h
keep shuffling those ideas around
velcro-city.co.uk·3d
Stabcon 2026
blog.firedrake.org·3d
Are Tuples Structs?
ziggit.dev·5d
Racing with disaster: data races in Go
bitfieldconsulting.com·6d
Computing Without the Courses
joodaloop.com·6d
How to Choose Among Class, Record, and Struct in C#
spin.atomicobject.com·6d
Waystones - Twelve Iterations
mods.twelveiterations.com·4d
Loading...Loading more...