🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

AI, have you been drinking?
securosis.com·1d
📰RSS Archaeology
I guess that makes me…Horace Slughorn?
crookedtimber.org·1d
🏰Medieval Networks
On Being an Informed Patient
gmoniava.com·1d·
Discuss: Hacker News
🔍Archive Semantics
Learnpython.ai – The Interactive Python Learning Platform
learnpython.ai·1d·
Discuss: Hacker News
🎙️Whisper
Trump Is Squandering the Greatest Gift of the Manhattan Project
nytimes.com·8h
⏳Time Capsule Networks
Valkyries takeaways: Golden State catches fire in second half to beat last-place Sun
mercurynews.com·22h
👑Isabelle
Demystifying Fastly’s Defense Against HTTP Desynchronization Attacks
fastly.com·1d
🌐DNS over QUIC
SAP Patchday: Critical vulnerabilities allow malicious code to be injected
heise.de·16h
💣ZIP Vulnerabilities
Ripple (XRP) Price Prediction: $7–$13 Soon, Viral Memecoin Pepeto Targets 10,000% in 2025
hackernoon.com·8h
🔄Sync Engine
GPT-5 on SWE-bench: Cost and performance deep-dive
mini-swe-agent.com·4d·
Discuss: Hacker News
⚡Proof Automation
AI Learned to Be Evil Without Anyone Telling It To, Which Bodes Well
popularmechanics.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Precise Dark Energy Simulation via Adaptive Gaussian Process Regression
dev.to·6h·
Discuss: DEV
🔍Vector Forensics
Stepwise Fine and Gray: Subject-Specific Variable Selection Shows When Hemodynamic Data Improves Prognostication of Comatose Post-Cardiac Arrest Patients
arxiv.org·1d
📈Mutual Information
RollMaster D20 — 20-Sided Dice Simulator with Google AI Studio
dev.to·1d·
Discuss: DEV
⚡Homebrew CPUs
RBA rate cuts ahead and not before time
abc.net.au·1d
⚡HTMX
MeteorPred: A Meteorological Multimodal Large Model and Dataset for Severe Weather Event Prediction
arxiv.org·20h
📰RSS Archaeology
Rock-Paper-Scissors with Neural-Networks!
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
Adaptive Predictive Maintenance System for Aging Escalator Chain Drives via Dynamic Bayesian Networks
dev.to·2d·
Discuss: DEV
💾Persistence Strategies
A New Era of Retail AI: How Contextual Intelligence Is Reshaping the Shopping Experience
dev.to·1d·
Discuss: DEV
🧮Algorithmic Cooking
Advanced Hybrid Transformer LSTM Technique with Attention and TS Mixer for Drilling Rate of Penetration Prediction
arxiv.org·4d
🧠Intelligence Compression