🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

The hottest favourites in 100 years, can Lions deliver on their promise?
bbc.com·4h
📰Feed Readers
Interim Report Q2
msab.com·10h
🔗Data Provenance
New book is an illuminating but flawed look at the impact of emoji
newscientist.com·1d
🔤Font Archaeology
How the Bell Labs Holmdel Complex Inspired ‘Severance’
atlasobscura.com·4h
🖥️Terminal Renaissance
A probability puzzle involving random fractions
mathematicaloddsandends.wordpress.com·6d
🎯Arithmetic Coding
Good binding data is all you need
leashbio.substack.com·1d·
Discuss: Substack
🗂️Vector Databases
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·2d
🔢Bitwise Algorithms
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·4d·
Discuss: r/programming
✅Format Verification
How I Built an App in 7 Hours with Gemini, Gemini CLI and Gemini Code Assist
medium.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
Why is Cartesi Doubling Down on Ethereum?
hackernoon.com·1d
🤝Distributed Consensus
Imbalanced Regression Pipeline Recommendation
arxiv.org·1d
⚖️Feed Ranking
DuSEGO: Dual Second-order Equivariant Graph Ordinary Differential Equation
arxiv.org·3d
🔗Graph Isomorphism
Daily briefing: The breakthrough proof bringing mathematics closer to a grand unified theory
nature.com·1d
🔲Cellular Automata
Building CodeFlow AI - My Journey with Bolt.new in the World's Largest Hackathon
dev.to·2d·
Discuss: DEV
📏Code Metrics
Exploiting Jailbreaking Vulnerabilities in Generative AI to Bypass Ethical Safeguards for Facilitating Phishing Attacks
arxiv.org·1d
🕵️Vector Smuggling
Secure Pinching Antenna-aided ISAC
arxiv.org·12h
📐Compression Mathematics
My Participation in the METR AI Productivity Study
domenic.me·3d·
Discuss: Hacker News
👁️Observatory Systems
"Kiro" Why This Name Perfectly Captures the AI Development Crossroads
dev.to·2d·
Discuss: DEV
🇯🇵Japanese Computing
AI Power-Up: A Guide for Senior, Lead & Staff Engineers
dev.to·2d·
Discuss: DEV
🧠Intelligence Compression
A Problem About Elevens, and Some Methods of Casting Out Sevens, and Other Primes.
pballew.blogspot.com·4d·
Discuss: www.blogger.com
📐Interval Arithmetic