One more on sphere packing/cap set/Turan
quomodocumque.wordpress.com·4h
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·1d
PSA: a category satisfying all but the smallness condition from Giraud’s theorem…
thehighergeometer.wordpress.com·3d
Weekly Bookmarks
inkdroid.org·1d
The Easiest Way to Build a Type Checker
jimmyhmiller.github.io·5h
Formalization of Erdős problems
xenaproject.wordpress.com·2d
Refactoring and minimal examples
markjgsmith.com·1d
Sandy Maguire: Struggling Towards an Algebraic Theory of Music
reasonablypolymorphic.com·3d
ARGUS: Defending Against Multimodal Indirect Prompt Injection via Steering Instruction-Following Behavior
arxiv.org·3h
Issue 501
haskellweekly.news·3d
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·17h
Loading...Loading more...