A very short, very blunt, book note
logicmatters.net·4d
⚔️Lean Theorem
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com·3h·
Discuss: Hacker News
⏰Time Crystals
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to·1d·
Discuss: DEV
🤖Paleographic AI
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·14h·
Discuss: DEV
🔍Concolic Testing
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
λLambda Encodings
My First Week of Vibecoding
underreacted.leaflet.pub·7h·
Discuss: Hacker News
🎯Gradual Typing
Parallel-in-Time Solution of Allen-Cahn Equations by Integrating Operator Learning into the Parareal Method
arxiv.org·1d
🕸️Tensor Networks
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1d·
Discuss: DEV
🗄️Database Internals
A Manifesto for the Programming Desperado
github.com·18h·
Discuss: Hacker News
💻Programming languages
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·2d
🕸️Graph Algorithms
TaoSR-SHE: Stepwise Hybrid Examination Reinforcement Learning Framework for E-commerce Search Relevance
arxiv.org·1d
🔍Information Retrieval
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·3h·
Discuss: DEV
🛡️Error Boundaries
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
Refactoring: A way to write better Code
dev.to·8h·
Discuss: DEV
⚙️Operational Semantics
94% of Developers Waste Tokens on Reasoning LLMs. Here's Why.
dev.to·1d·
Discuss: DEV
💻Local LLMs
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·5d·
Discuss: Hacker News
🧮SMT Solvers
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to·2d·
Discuss: DEV
⚡Cache Theory
Data-Error Scaling Laws in Machine Learning on Combinatorial Mutation-prone Sets: Proteins and Small Molecules
arxiv.org·1d
🧮Kolmogorov Complexity
Where is Mathematics Going? Large Language Models and Lean Proof Assistant
hackaday.com·2d
⚙️Proof Engineering