Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·1d
Formalization of Erdős problems
xenaproject.wordpress.com·2d
Theory and AI Alignment
scottaaronson.blog·20h
Learning a new programming language with an LLM
feeding.cloud.geek.nz·1h
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·10h
What is a Pedersen commitment?
johndcook.com·1d
Quoting David Crespo
simonwillison.net·5h
Read more: Swiss foundation sends demining machine to Ukraine
swissinfo.ch·15h
Ignore Prior Instructions: AI Still Befuddled by Basic Reasoning
thenewstack.io·11h
Squint Testing Lisps
blog.toast.cafe·5h
Weekly Bookmarks
inkdroid.org·20h
Breadboards that are set up on my desk right now
circusscientist.com·10h
Loading...Loading more...