Squint Testing Lisps
blog.toast.cafe·6h
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·1d
Refactoring and minimal examples
markjgsmith.com·1d
Weekly Bookmarks
inkdroid.org·21h
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·11h
Sandy Maguire: Struggling Towards an Algebraic Theory of Music
reasonablypolymorphic.com·3d
Impossible translations: Why we struggle to translate words when we don't experience the concept
phys.org·10h
Ignore Prior Instructions: AI Still Befuddled by Basic Reasoning
thenewstack.io·12h
Quoting David Crespo
simonwillison.net·6h
Formalization of Erdős problems
xenaproject.wordpress.com·2d
Theory and AI Alignment
scottaaronson.blog·21h
Learning a new programming language with an LLM
feeding.cloud.geek.nz·2h
Loading...Loading more...