🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Blaugust 2025 starts August 1st
hamatti.org·16h
📰RSS Feed Discovery
Ten thousand at a glance.
contravex.com·17h
⬜Minimalism
Multitudes
lcamtuf.substack.com·13h·
Discuss: Substack
⏰Time Crystals
Modern async iteration in JavaScript with Array.fromAsync()
allthingssmitty.com·2h·
Discuss: Hacker News
⬆️Lambda Lifting
Show HN: Refine – A Local Alternative to Grammarly
refine.sh·11h·
Discuss: Hacker News
🍎XNU Internals
Really, How to Find Things to Do?
hisam.dev·3h·
Discuss: Hacker News
⭐Awesome lists
I can haz knowledgebase
autodidacts.io·2d·
Discuss: Hacker News
🧠Personal Knowledge Base
Testing Tracing Locally with OpenTelemetry
blog.apartment304.com·1h·
Discuss: Hacker News
👁️System Observability
Book review: A New Kind of Science (2005)
bactra.org·5d·
Discuss: Hacker News
🔲Cellular Automata
Postman to Bruno: Weekend migration + AI workflow for automated API documentation
ashwch.com·18h·
Discuss: Hacker News, r/programming
🦋Format Metamorphosis
Data Science Weekly – Issue 607
datascienceweekly.substack.com·3d·
Discuss: Substack
📰RSS Archaeology
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·3d·
Discuss: Substack
🔗Concatenative Programming
Why AI Features Break Microservices Testing
dev.to·1h·
Discuss: DEV
⚡Proof Automation
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·3d
⚡Incremental Computation
How I Use GPT to Learn Faster and Build Smarter Projects
dev.to·6h·
Discuss: DEV
🧭Content Discovery
Human Creativity in the Age of AI: To be Genuinely Curious and SPECTACULARLY Useless or Wrong
hackernoon.com·10h
🔲Cellular Automata
On Trustworthy Rule-Based Models and Explanations
arxiv.org·3d
⚖️Constraint Logic
Thinking Thursday: Paul Lockhart
denisegaskins.com·4d
📐Mathematical Art
Reinforcement Learning with Action Chunking
arxiv.org·3d
🔲Cellular Automata
Improving MLLM's Document Image Machine Translation via Synchronously Self-reviewing Its OCR Proficiency
arxiv.org·12h
🤖AI Translation