🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Caudery suffers injury heartbreak in Tokyo
bbc.com·5h
⚙Backus-Naur Form
Max Schrems, jurist: ‘The promise of the cloud was that everything would be much cheaper, but it turns out that it functions as a monopoly’
english.elpais.com·2d
⚖️Legal Compliance
Electric haul trucks could save Fortescue over $400 million in fuel per year
electrek.co·2d·
Discuss: Hacker News
🖥️Modern Terminals
Show HN: Celestial Fortunes – AI Blends Eastern and Western Astrology
celestialfortunes.net·3h·
Discuss: Hacker News
🔗Data Provenance
White House MAHA Report (Make Citations Great Again)
aidarwinawards.org·11h·
Discuss: Hacker News
🔗Data Provenance
Fluid vacuum yields exact solutions to Pioneer anomaly and Mercury's perihelion
cdnsciencepub.com·3d·
Discuss: Hacker News
🌡️Preservation Physics
Geometric and physical interpretation of the action principle
nature.com·5d·
Discuss: Hacker News
📚Archival Mathematics
The Engine to No Engine Journey
md.jtmn.dev·5d·
Discuss: Hacker News
🦀Rust Macros
Supreme Court Is Split on What to Call the ‘Shadow Docket’
nytimes.com·1h
⚡Proof Automation
Building multi-agent tools for engineering
newstoretech.substack.com·2d·
Discuss: Substack
⚙️TLA+
Inside elite Ivy League prep for the ultrawealthy: $30K semesters, hand-picked internships, and custom-built résumés
businessinsider.com·15h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Is Category Theory Being Co-opted?
johncarlosbaez.wordpress.com·6d
🔀Category Theory
Contributions to Robust and Efficient Methods for Analysis of High Dimensional Data
arxiv.org·4d
🧠Machine Learning
Unlock the Power of Voice: Build Smarter AI Agents with Ease
dev.to·1d·
Discuss: DEV
🎙️Whisper
Unlock the Power of Real-Time AI: Decoupling Perception for Lightning-Fast Response
dev.to·1d·
Discuss: DEV
🌊Stream Processing
I built a DevSecOps Fortress for Kubernetes – looking for feedback
reddit.com·2d·
Discuss: r/kubernetes
📦Container Security
Scaling Cryogenic Diamond Anvil Cell Simulations for Geodynamic Material Property Prediction
dev.to·1d·
Discuss: DEV
🧲Magnetic Tape Physics
Show HN: Open Source Deal Flow Monitoring Infrastructure Built for VCs
github.com·1d·
Discuss: Hacker News
🔄RSS Infrastructure
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
arxiv.org·4d
🌀Differential Geometry
I built Element Fusion
dev.to·18h·
Discuss: DEV
🏛Digital humanities