🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Relive The Tech People Want Summit: 2025 Documentation
blog.okfn.org·7h
🌱Personal Wikis
Wave or Particle? Physicists Crack a 50-Year-Old Quantum Puzzle
scitechdaily.com·6h
⚛️Quantum Information
Machine Code Isn't Scary
jimmyhmiller.github.io·3d
🔤Character Encoding
Computer Architecture: A quantitative approach
ikerexxe.github.io·3d
🖥️Hardware Architecture
ChatGPT is not AI
newsletter.techworld-with-milan.com·13h
🎙️Whisper
Inside the Ethical Hacker’s Mind: How Pros Make Split-Second Security Decisions
oreilly.com·1d
🔓Hacking
Show HN: Helices Create a New Model of Deterministic Computation [pdf]
lambdalord.github.io·6d·
Discuss: Hacker News
🌐Computational Topology
Why Hoon?
docs.urbit.org·4d·
Discuss: Hacker News
🐚Bash Monads
Scholar argues for move away from meritocracy in schools to redefine purpose of education
phys.org·1d
⚖️Emulation Ethics
A Continental Divide for Newton’s Method
johndcook.com·3d
📐Error Bounds
Human-AI teamwork uncovers hidden magnetic states in quantum spin liquids
phys.org·19h
🕸️Tensor Networks
Lessons from Launching My First Product
shloked.substack.com·13h·
Discuss: Substack
🚀Indie Hacking
Give context, not bias (to LLMs)
specy.app·3d·
Discuss: Hacker News
🔗Constraint Handling
How to think about LLMs for OSS development
droettboom.com·5d
🔄Language Evolution
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·5d·
Discuss: Hacker News
💻Programming languages
Zog golang validation library v0.21.4 release!
reddit.com·11h·
Discuss: r/golang
✅Format Verification
Agent Memory with Spring AI & Redis
dev.to·1d·
Discuss: DEV
⚡Redis Internals
Energy Efficiency in AI for 5G and Beyond: A DeepRx Case Study
arxiv.org·3d
🧠Machine Learning
Machine Learning Fundamentals: decision trees with python
dev.to·2d·
Discuss: DEV
🔗Topological Sorting
"Amazing, They All Lean Left" -- Analyzing the Political Temperaments of Current LLMs
arxiv.org·4d
🧲Magnetic Philosophy