Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·1d
Squint Testing Lisps
blog.toast.cafe·1h
Ignore Prior Instructions: AI Still Befuddled by Basic Reasoning
thenewstack.io·8h
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·7h
Impossible translations: Why we struggle to translate words when we don't experience the concept
phys.org·6h
Breadboards that are set up on my desk right now
circusscientist.com·7h
Issue 501
haskellweekly.news·3d
Formalization of Erdős problems
xenaproject.wordpress.com·2d
Theory and AI Alignment
scottaaronson.blog·16h
PSA: a category satisfying all but the smallness condition from Giraud’s theorem…
thehighergeometer.wordpress.com·2d
Bridging the gaps between protocol specifications and practice
blog.apnic.net·2d
Loading...Loading more...