📐 Theorem Proving - ghosh.debasish · Scour

Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover ⚡Effect Systems

arxiv.org·3h

Why Lean? 🖥️Systems Programming

leodemoura.github.io·5d·Lobsters, Hacker News

Inscriptions 🔍Abstract Interpretation

flathub.org·1d

Ask HN: Is anyone winning with Server-Driven UI (SDUI) in 2026? 🦀Rust Async

news.ycombinator.com·21h·Hacker News

Full-Lean Machine 🖥️Systems Programming

inkedmag.com·1d

Grab to lean on scale, AI to navigate rising fuel costs, CEO says 🎯RLHF

finance.yahoo.com·12h

fabio-rovai/tardygrada: A programming language where every agent output is cryptographically verified. 194KB binary. Zero dependencies. Pure C11. Coq-proven BFT. tardy terraform replaces LangChain/CrewAI/AutoGen in ~15 lines. ✅Formal Verification

github.com·6d·r/SideProject

Lean Solutions Group Brings Its Proven, AI-driven and Expert-led Operations Model to Transform the Automotive Sector 🌐Distributed Systems

einpresswire.com·2d

How to Make Purpose Your Lifeline When Life Gets Hard | Melissa Fors Shackelford 📝Write-Ahead Log

youtube.com·16h

We're excited to announce that AXLE is switching from Lean to Rocq ✅Formal Verification

axle.axiommath.ai·6d·Hacker News

IMF Gives Warning About Tokenization Risks 𝕋Type Theory

bloomberg.com

·2d

20 Days of 420: Trusted Nightstand Essentials From CBDistillery 🌐Distributed Systems

vice.com·1d

Domain-Driven Design: Lean Aggregates 📐Linearizability

deniskyashif.com·5d·Hacker News, r/programming

Makthaverskan, “Glass and Bones” 🕸️Graph Theory

daily.bandcamp.com·1d

Go to the actual place and see the actual thing 🤖Claude

betterthangood.xyz·3d

This male model sporting a crisp summer shirt isn't real. Will consumers care? 🤖Claude

cbsnews.com·1d

A causality-guided and interpretable sweep–lean optimization framework of axial fan blades for aerodynamic enhancement ⚡Effect Systems

sciencedirect.com·6d

Book Excerpt Reveals Why Apple Stores Struggled to Sell Vision Pro 🖥️Systems Programming

iclarified.com·2d

Formalizing building-up constructions of self-dual codes through isotropic lines in Lean 🔤PLT

arxiv.org·3h

Stolen Childhoods: Divorce and Emotional Parentification 🕸️Graph Theory

psychologytoday.com·2d

Loading more...