Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.comยท1dยท
Discuss: Hacker News, r/programming
โš™Automata Theory
Kleene's Recursion Theorem
en.wikipedia.orgยท22hยท
Discuss: Hacker News
๐Ÿ”คType Theory
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.comยท2d
๐Ÿ”—Monadic Parsing
Automated Standardized Protocol Validation via Hybrid Symbolic & Statistical Analysis
dev.toยท7hยท
Discuss: DEV
๐ŸŒNetworkProtocols
typical: Data interchange with algebraic data types.
github.comยท13h
๐Ÿ“‹Format Specification
How to train your Dragon^H^H AI overlord
virtuallyfun.comยท1d
๐ŸงฒRISC-V Archaeology
News for August 2025
ptreview.sublinear.infoยท5h
๐ŸŒธBloom Variants
LifeGPT: Generative pretrained transformer model for cellular automata
nature.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Hilbert space: treating functions as vectors
eli.thegreenplace.netยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ“Linear Algebra
Parameters and binding forms should be mutually recursive
samestep.comยท2dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
The Angels and Demons of Nondeterminism
buttondown.comยท3dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Algebraic Effects in Practice with Flix
relax.softwareยท8hยท
Discuss: Lobsters, Hacker News
โœจAlgebraic Effects
Substrates โ€™25 Vision Statement
programmingmadecomplicated.wordpress.comยท1d
โš–๏ธEmulation Ethics
The canonical agent architecture: A while loop with tools
braintrust.devยท5hยท
Discuss: Hacker News
โš™๏ธTLA+
ะฏ Articles
muratkasimov.artยท1dยท
Discuss: Hacker News
๐Ÿ”€Category Theory
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.orgยท3d
โฐTemporal Logic
Splitting a long string in lines efficiently
lemire.meยท34m
โšกSIMD Optimization
The new compression algorithm is not like the standard ones
ferki-git-creator.github.ioยท4hยท
Discuss: Hacker News
๐ŸŒŠStreaming Compression
Metamorphosis in Machines: Unlocking Flexible Representations by Arvind Sundararajan
dev.toยท2hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
The Beauty of Space-Filling Curves: Understanding the Hilbert Curve
towardsdatascience.comยท4h
๐Ÿ’ŽInformation Crystallography