🔬 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
Malicious AI-generated npm package hits Solana users
securityaffairs.com·1d
🛡️WASM Sandboxing
Blaugust 2025: Intro
nkantar.com·1d
📰RSS Feed Discovery
Figma's S-1/A from their IPO today
sec.gov·2d·
Discuss: Hacker News
⚡HTMX
Elevated Rail Is an Urbanism Cheat Code
shakeddown.substack.com·2d·
Discuss: Substack
⚖️Emulation Ethics
The Psychology of Fun: What Makes a Ttrpg Engaging and Enjoyable?
therpggazette.wordpress.com·11h·
Discuss: Hacker News
⚖️Game Preservation Ethics
10 Surprising Things You Can Do with Python’s time module
kdnuggets.com·1d
⚙️WASM Runtime
Model Context Protocol, Product Demos, and the New App Store
wjgilmore.com·2d·
Discuss: Hacker News
🖥️Modern Terminals
AI Pushes Imaging to the Absolute Brink of Physical Limits
scitechdaily.com·13h
🔬Optical Physics
What does your chatbot think about this chatbot's thoughts on GPT-5
karimmustaghni.substack.com·2d·
Discuss: Substack
🤖AI Curation
Reverse engineering some updates to Claude
simonwillison.net·1d·
Discuss: Hacker News
🏺ZIP Archaeology
The AI Revolution: Streamlining Financial Control with Virtual Corporate Cards
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Charles Leclerc edges out McLarens to claim pole position in Hungary
the-independent.com·7h
⚙Backus-Naur Form
AI for Writing: Top 10 AI Writing Tools (From 6 Months of Testing & Reviews)
dev.to·2d·
Discuss: DEV
📊Feed Optimization
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
From Nope to "Yes, Mom, I Applied." Or almost.
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
AI Assistant: Your Guide to the Best Productivity Tool
dev.to·1d·
Discuss: DEV
📐Proof Assistants
Aperam S.A. (APEMY) Q2 2025 Earnings Call Transcript
seekingalpha.com·1d
🇫🇷French Computing