Let’s Make a Tic-Tac-Deal!
thefiddler.substack.com·14h·
Discuss: Substack
🎯Proof Tactics
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
My First Week of Vibecoding
underreacted.leaflet.pub·11m·
Discuss: Hacker News
🎯Gradual Typing
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
⚡Proof Automation
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
λLambda Encodings
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·22h
💻Programming languages
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·1h·
Discuss: Hacker News
🎧Learned Audio
A Manifesto for the Programming Desperado
github.com·11h·
Discuss: Hacker News
💻Programming languages
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·3d
📐Mathematical Art
Neuro-Symbolic AI
en.wikipedia.org·12h·
Discuss: Hacker News
🔲Cellular Automata
GaloisInc/parameterized-utils
github.com·3d
🧮Algebraic Datatypes
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Which programming language does AI write best? Python, JavaScript or Elixir?
revelry.co·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·1d
📜Manuscript Algebras
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1d·
Discuss: DEV
🗄️Database Internals
CoMAS: Co-Evolving Multi-Agent Systems via Interaction Rewards
arxiv.org·22h
🔲Cellular Automata
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·17h·
Discuss: Substack
🔲Cellular Automata
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·6h·
Discuss: DEV
🔍Concolic Testing