Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.com·2d·
Discuss: Hacker News, r/programming
⚙Automata Theory
Introspeculative, Autospeculative
exple.tive.org·3h
🌀Brotli Internals
The Little Book of Everything
github.com·6h·
Discuss: Hacker News
λLambda Formalization
Kleene's Recursion Theorem
en.wikipedia.org·1d·
Discuss: Hacker News
🔤Type Theory
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·3d
🔗Monadic Parsing
MatrixPortal S3 Maze Game with CircuitPython
hackster.io·9h
📟Terminal Physics
BEDTime: A Unified Benchmark for Automatically Describing Time Series
arxiv.org·15h
📈Time Series
Automated Standardized Protocol Validation via Hybrid Symbolic & Statistical Analysis
dev.to·1d·
Discuss: DEV
🌐NetworkProtocols
Monday Morning Haskell: Graph Algorithms in Board Games!
mmhaskell.com·11h
🔲Cellular Automata
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·16m·
Discuss: Hacker News
🧠Machine Learning
Is Category Theory Being Co-opted?
johncarlosbaez.wordpress.com·2h
🔀Category Theory
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·5h
🦋Format Metamorphosis
Mathematicians Find GPT-5 Makes Critical Errors in Original Proof Generation
science.slashdot.org·3h
📐Proof Assistants
News for August 2025
ptreview.sublinear.info·1d
🌸Bloom Variants
WordPress and Wikipedia
cameroncounts.wordpress.com·1d
🧮Algebraic Archives
AI is not another abstraction because god plays dice
rakhim.exotext.com·19h
⚖️Hoare Logic
Hilbert space: treating functions as vectors
eli.thegreenplace.net·2d·
Discuss: Lobsters, Hacker News
📐Linear Algebra
Parameters and binding forms should be mutually recursive
samestep.com·3d·
Discuss: Hacker News
🔗Concatenative Programming
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·9h·
Discuss: Substack
📏Code Metrics
The Angels and Demons of Nondeterminism
buttondown.com·4d·
Discuss: Hacker News
💻Programming languages