Formalization of Erdős problems
xenaproject.wordpress.com·2d
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·1d
Theory and AI Alignment
scottaaronson.blog·10h
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·1h
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·1h
Congratulations to three new doctorates!
11011110.github.io·3d
Refactoring and minimal examples
markjgsmith.com·22h
Issue 501
haskellweekly.news·3d
How a 24-year-old Stanford Ph.D. dropout lured some of Meta's brightest minds to join her AI math startup
businessinsider.com·1d
Sandy Maguire: Struggling Towards an Algebraic Theory of Music
reasonablypolymorphic.com·2d
Loading...Loading more...