🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Wave or Particle? Physicists Crack a 50-Year-Old Quantum Puzzle
scitechdaily.com·2h
⚛️Quantum Information
Relive The Tech People Want Summit: 2025 Documentation
blog.okfn.org·2h
🌱Personal Wikis
ChatGPT is not AI
newsletter.techworld-with-milan.com·8h
🎙️Whisper
Inside the Ethical Hacker’s Mind: How Pros Make Split-Second Security Decisions
oreilly.com·1d
🔓Hacking
When Your Team Gets Bigger – How Teams Grow
codecube.net·1d·
Discuss: Hacker News
🧬Bitstream Evolution
Scholar argues for move away from meritocracy in schools to redefine purpose of education
phys.org·1d
⚖️Emulation Ethics
Human-AI teamwork uncovers hidden magnetic states in quantum spin liquids
phys.org·14h
🕸️Tensor Networks
Lessons from Launching My First Product
shloked.substack.com·8h·
Discuss: Substack
🚀Indie Hacking
Cosmological Principle
en.wikipedia.org·1d·
Discuss: Hacker News
🌡️Preservation Physics
How to think about LLMs for OSS development
droettboom.com·4d
🔄Language Evolution
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·5d·
Discuss: Hacker News
💻Programming languages
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·5d·
Discuss: Hacker News
🧠Lisp Dialects
Diffusion Decoding for Peptide De Novo Sequencing
arxiv.org·1d
🧮Kolmogorov Complexity
"Amazing, They All Lean Left" -- Analyzing the Political Temperaments of Current LLMs
arxiv.org·3d
🧲Magnetic Philosophy
Essential Soft Skills for DevOps Professionals in the AI Age
devops.com·15h
🔐Capability Systems
What are ChatGPT Secret Codes?
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Targeted Deep Architectures: A TMLE-Based Framework for Robust Causal Inference in Neural Networks
arxiv.org·19h
🧠Machine Learning
A New Breed of Chatbots Are Quietly Changing Product Management
hackernoon.com·3d
🌀Brotli Internals
How to Optimize Your Python Code Even If You’re a Beginner
kdnuggets.com·3d
🌊Streaming Algorithms
Machine Learning Fundamentals: decision trees with python
dev.to·2d·
Discuss: DEV
🔗Topological Sorting