busy beaver function
ncatlab.org·8h
⚔️Lean Theorem
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·18h·
Discuss: Hacker News
⚔️Lean Theorem
From Conversation to Query: A Deep Dive into Translating Human Language into SQL with LLMs
dev.to·3h·
Discuss: DEV
🗄️Database Internals
WeakC4, or Distilling an Emergent Object
2swap.github.io·17h·
Discuss: Hacker News
🔲Cellular Automata
What is a smooth manifold?
burttotaro.wordpress.com·1d
🕸️Algebraic Topology
The folk theorem of statistical computing: Fake-data simulation as posterior predictive checking
statmodeling.stat.columbia.edu·1d
🧮Kolmogorov Bounds
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·22h
🔲Cellular Automata
An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.org·3d
🎯Performance Proofs
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·15h·
Discuss: Hacker News
📼Tape Combinators
Structural insight: Bypassing no-go theorems
fexpr.blogspot.com·4d
🔲Proof Irrelevance
Scheme Basics
courses.cs.washington.edu·1d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Make LLMs supportive, not sycophantic
chrisbarber.co·2h·
Discuss: Hacker News
🎯Gradual Typing
HigherOrderCO/HVM3
github.com·16h
🔗Functional Compilers
Facts, Arguments, Theses: Building AI Knowledge Retrieval on Meaning, Not Slices
nsavage.substack.com·6h·
Discuss: Substack
📄Text Chunking
It's okay to solve a problem twice
til.andrew-quinn.me·9h·
Discuss: Hacker News
⚡Proof Automation
Sapir-Whorf does not apply to Programming Languages
buttondown.com·2d·
Discuss: Hacker News
💻Programming languages
The Baby Paradox in Haskell
blog.jle.im·2d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
How to Perform Comprehensive Large Scale LLM Validation
towardsdatascience.com·1d
✅Formal Methods
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
Invention as Exploration
symmetrybroken.com·1h·
Discuss: Hacker News
🧲Magnetic Philosophy