The Structure of Data
🪢Rope Data Structures
Flag this post
Our newest model: Chandra (OCR)
💬Smalltalk VMs
Flag this post
Cheesy dialogue between Immanuel Kant and Claude as written by Claude.
⚖️Inference Rules
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.org·3d
📋Backus-Naur Form
Flag this post
How to Build Anomalous (3+1)d Topological Quantum Field Theories
arxiv.org·3d
🎯Type Theory
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
🔬programming language theory
Flag this post
Polish emerges as top language in multilingual AI benchmark testing
ppc.land·3h
⚡Tokenizer Benchmarks
Flag this post
Learning C As An Intermediate
🎓Teaching Compilers
Flag this post
AI as Mathematical Muse: Unlocking the Universe's Secrets Together
📐Mathematical Computing
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·2d
🎯Type Theory
Flag this post
Decision theory when you can't make decisions
lesswrong.com·13h
🚂Error Propagation
Flag this post
Algorithmic Randomness, Exchangeability, and the Principal Principle
arxiv.org·4d
⚖️Inference Rules
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
🪜Recursive Descent
Flag this post
From Lossy to Lossless Reasoning
🪜Recursive Descent
Flag this post
Issue 496
haskellweekly.news·3d
👑Dependent Haskell
Flag this post
Reverse String with Stack or ArrayList
💬Interactive REPLs
Flag this post
Properties and Applications of Partially Deterministic Polytopes
arxiv.org·3d
⚡Partial Evaluation
Flag this post
Loading...Loading more...