🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Book Review: All That We See or Seem by Ken Liu ★★★★★
shkspr.mobi·6h·
Discuss: shkspr.mobi
🔓Hacking
Open Science round-up: The future of knowledge and who should control it - International Science Council
council.science·1d
🧲Magnetic Philosophy
Choices (2000)
joelonsoftware.com·1d·
Discuss: Hacker News
🖋Typography
Reid Hoffman’s Superagency
feld.com·23h·
Discuss: Hacker News
🌊Streaming Systems
Generating Website Banners Algorithmically
golfed.xyz·2d·
Discuss: Hacker News
📸PNG Optimization
Rivian Automotive, Inc. (RIVN) Presents At Morgan Stanley's 13th Annual Laguna Conference Transcript
seekingalpha.com·1d
🔌Operating system internals
The Expression Problem and its solutions
eli.thegreenplace.net·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💻Programming languages
Show HN: CarbonCodeX – AI Coding Assistant Built for Web Developers
carboncodex.app·10h·
Discuss: Hacker News
🎬WebCodecs
Cytonic: Multi-VM Blockchain for Next-Gen Web3
dev.to·6h·
Discuss: DEV
🏠Homelab Orchestration
Beyond Markdown (2018)
johnmacfarlane.net·5d·
Discuss: Lobsters, Hacker News, Hacker News
📝Concrete Syntax
Algebraic Effects in Practice with Flix
relax.software·6d·
Discuss: Lobsters, Hacker News, r/programming
✨Algebraic Effects
“Threat Intelligence Unveiled: Breaking Down the Types and It’s Importance”
infosecwriteups.com·1d
🎯Threat Hunting
Are We Offloading Critical Thinking to Chatbots?
undark.org·1d
🤖AI Curation
Journey starts here
i.redd.it·1d·
Discuss: r/homelab
🧬Bitstream Evolution
⌥ When All You Have Is a Robots.txt Hammer
pxlnv.com·2d
⚖️Emulation Ethics
Letters: Front-page story didn’t capture full measure of Charlie Kirk
mercurynews.com·18h
🏠Personal Archives
Automated Regulatory Impact Assessment via Multi-Modal Decomposition and HyperScore Evaluation
dev.to·4d·
Discuss: DEV
✨Effect Handlers
Top 11 Document Parsing AI Tools for developers in 2025
dev.to·10h·
Discuss: DEV
📄Document Digitization
Math Moments: Amie Wilkinson
kidswholovemath.substack.com·4d·
Discuss: Substack
📚Archive Mathematics
Stop Optimizing Code You Should Delete
dev.to·4d·
Discuss: DEV
🏗️Compiler Archaeology