🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Newly-Retired Andrew Appel Reflects on his Voting Machine Advocacy
blog.citp.princeton.edu·2d
🔓Hacking
A Step Forward, But Not Far Enough: the EU’s AI Transparency Template
openfuture.eu·3d
📰Content Curation
The case for having roommates (even when you can afford to live alone)
supernuclear.substack.com·10h·
Discuss: Substack
🏠Personal Archives
Figma's S-1/A from their IPO today
sec.gov·2d·
Discuss: Hacker News
⚡HTMX
Model Context Protocol, Product Demos, and the New App Store
wjgilmore.com·2d·
Discuss: Hacker News
🖥️Modern Terminals
Parametric vs Nonparametric Tests: Which One Should You Use for Your Data?
dev.to·4d·
Discuss: DEV
🔍Text Forensics
What does your chatbot think about this chatbot's thoughts on GPT-5
karimmustaghni.substack.com·2d·
Discuss: Substack
🤖AI Curation
How is the strength of an earthquake measured?
lemonde.fr·3d
🛡Cybersecurity
The big secret that Big AI doesn't want you to know
prettygoodblog.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Bought an Dell Power Edge R720xd with 19 sas drives
reddit.com·2h·
Discuss: r/homelab
🔌Operating system internals
The AI Revolution: Streamlining Financial Control with Virtual Corporate Cards
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Predicting Champions League Winner Using Python
dev.to·2d·
Discuss: DEV
🧪Data science
🎯 Solved a complex problem with Claude Code:
dev.to·6d·
Discuss: DEV
🦀Rust Verification
Prediction of Significant Creatinine Elevation in First ICU Stays with Vancomycin Use: A retrospective study through Catboost
arxiv.org·1d
🧠Machine Learning
MOR-VIT: Efficient Vision Transformer with Mixture-of-Recursions
arxiv.org·3d
⚡Compression Hardware
On Arbitrary Predictions from Equally Valid Models
arxiv.org·5d
🧠Machine Learning
Studying Disinformation Narratives on Social Media with LLMs and Semantic Similarity
arxiv.org·4d
📰Content Curation
Data-Driven and Participatory Approaches toward Neuro-Inclusive AI
arxiv.org·3d
🤖AI Curation
Overarch – model your software system as data
github.com·5d·
Discuss: Hacker News
📋Format Specification
Charles Leclerc edges out McLarens to claim pole position in Hungary
the-independent.com·9h
⚙Backus-Naur Form