🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Economic Questions: The E F Schumacher Question
nakedcapitalism.com·21h
⚖️Emulation Ethics
Flag this post
Will the Odds Be Ever in Your Favor?
thefiddler.substack.com·1d·
Discuss: Substack
📐Interval Arithmetic
Flag this post
Trends in Approximation and Online Algorithms
cstheory-events.org·2d
🕸️Network Topology
Flag this post
I'm not a 'Vibe Coder', but when I am, this is my set up
appsoftware.com·10h·
Discuss: Hacker News
✨Effect Handlers
Flag this post
Autonomous Concrete Mix Optimization With Predictive Material Degradation Modeling
dev.to·23h·
Discuss: DEV
⚡Incremental Computation
Flag this post
The Zero-Step Thinking: An Empirical Study of Mode Selection as Harder Early Exit in Reasoning Models
arxiv.org·2d
🧮Z3 Solver
Flag this post
How to Cut an Onion Optimally: A Love Letter to the Jacobian
tandfonline.com·1d·
Discuss: Hacker News
📐Mathematical Art
Flag this post
Ken Thompson's "Trusting Trust" compiler backdoor - Now with the actual source code (2023)
micahkepe.com·1d·
Discuss: Hacker News, Hacker News, r/programming
💻Programming languages
Flag this post
LaTeX, LLMs and Boring Technology
eli.thegreenplace.net·12h·
Discuss: Lobsters, Hacker News
📝Concrete Syntax
Flag this post
The Origin Story of Eurisko, the Most Advanced Math/CS Track in the USA
justinmath.com·1d·
Discuss: Hacker News
📐Mathematical Art
Flag this post
Crafting Software: Writing Maintainable Code
wedgworth.dev·3d·
Discuss: Hacker News, r/programming
📏Code Metrics
Flag this post
Generalized Consensus: Defining the Problem
multigres.com·10h·
Discuss: Hacker News
🤝Distributed Consensus
Flag this post
Deconstructed Proto-Quipper: A Rational Reconstruction
arxiv.org·1d
🔗Parser Combinators
Flag this post
ProofFlow — Ending Black-Box AI
dev.to·52m·
Discuss: DEV
⚙️Proof Engineering
Flag this post
Networks of Thought: Finding Your Research Niche in the Age of LLMs
dev.to·2h·
Discuss: DEV
🕸️Knowledge Graphs
Flag this post
Purely Functional Retrogames (2008)
prog21.dadgum.com·1d·
Discuss: Hacker News
🧬Functional Programming
Flag this post
An Introduction to JavaScript Expressions
css-tricks.com·3d
🔗Concatenative Programming
Flag this post
A triangular space-filling curve (2012)
ideophilus.wordpress.com·13h·
Discuss: Hacker News
📐Mathematical Art
Flag this post
I translated my book for $7 using openai
andrewpwheeler.com·4h·
Discuss: Hacker News
📜Binary Philology
Flag this post
The Owl, the Scientific Method, and Claude Code: A Debugging Story
vsevolod.net·2d·
Discuss: Lobsters, Hacker News
👑Isabelle
Flag this post