Formalization of Erdős problems
xenaproject.wordpress.com·2d
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·1d
The Easiest Way to Build a Type Checker
jimmyhmiller.github.io·18m
Theory and AI Alignment
scottaaronson.blog·21h
Learning a new programming language with an LLM
feeding.cloud.geek.nz·3h
PSA: a category satisfying all but the smallness condition from Giraud’s theorem…
thehighergeometer.wordpress.com·2d
Ignore Prior Instructions: AI Still Befuddled by Basic Reasoning
thenewstack.io·13h
Congratulations to three new doctorates!
11011110.github.io·4d
Squint Testing Lisps
blog.toast.cafe·6h
Issue 501
haskellweekly.news·3d
Loading...Loading more...