⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Your Kubernetes: Strategic Asset or Ticking Time Bomb?
exoscale.com·1d
💾Persistence Strategies
AI is not another abstraction because god plays dice
rakhim.exotext.com·1d
⚖️Hoare Logic
Muscular stress is the biggest cause of workplace injuries
safetyspace.co·1d·
Discuss: Hacker News
⚙️Tape Mechanics
Are you selling agents the way customers want to buy?
paid.ai·2h·
Discuss: Hacker News
🖥️Modern Terminals
Three Ingredients of the Most Efficient Financial Portfolios
portfoliocharts.com·1d·
Discuss: Hacker News
📇Indexing Strategies
Protobuffers Are Wrong
reasonablypolymorphic.com·3d·
Discuss: Hacker News, r/programming
📋Protocol Buffers
Book Review: ‘Listening to the Law,’ by Amy Coney Barrett
nytimes.com·4h
🏰Manuscript Networks
Django Views - The Right Way
spookylukey.github.io·2d·
Discuss: Hacker News
📝Concrete Syntax
Knowledge and memory
robinsloan.com·2d·
Discuss: Hacker News
🔢Denotational Semantics
LLMs, Quantum Measurement, and a Primitive of Consciousness
understoryai.substack.com·2d·
Discuss: Substack
🔐Quantum Cryptography
Preventing Context Overload: Controlled Neo4j MCP Cypher Responses for LLMs
towardsdatascience.com·1d
🕸️Neo4j
The journey to complete the docker+kubernetes pair
dev.to·46m·
Discuss: DEV
📦Container Security
Team discovers hidden structures, invisible in traditional seismic scans, that block the pumping of oil
phys.org·11h
🧲Magnetic Resonance
"Preview: The GPT-5.0 Impact Report Series — A Quiet Creator Speaks"
dev.to·22h·
Discuss: DEV
👁️System Observability
Never Hit the ChatGPT Limit Again: 5 Hacks for Long Coding Conversations 🚀
dev.to·10h·
Discuss: DEV
🌳Incremental Parsing
Advanced Spectral Decomposition for Lyman-α Forest Feature Extraction & Cross-Correlation Analysis
dev.to·22h·
Discuss: DEV
📊Frequency Analysis
Quark’s Outlines: Python Strings
dev.to·18h·
Discuss: DEV
📝Text Compression
Evaluating NL2SQL via SQL2NL
arxiv.org·21h
🧠Query Planners
Transferable Belief Model on Quantum Circuits
arxiv.org·3d
⚛️Quantum Circuits
Adaptive Closed-Loop Electroceutical Stimulation for Personalized Metabolic Regulation via Bayesian Optimization
dev.to·4h·
Discuss: DEV
⚡Effectful Programming