🧮 Lean - plumenator · Scour

Automated Conjecture Resolution with Formal Verification ✅Proof Assistants

arxiv.org·3d

Full-Lean Machine 🔥FIRE

inkedmag.com·1d

EIP-8222: Lean Staking 📈Investing

ethereum-magicians.org·11h

We Plan for Retirement but Forget to Plan for Each Other 💰Personal Finance

inc.com·4h

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

einpresswire.com·2d

Why Lean? 📐PLT

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

Grab to lean on scale, AI to navigate rising fuel costs, CEO says 📈Investing

finance.yahoo.com·21h

Inscriptions ✅Proof Assistants

flathub.org·1d

Esel launches eye-catching wooden e-bike designed for urban commuters with style 💰Index Funds

electrek.co·6h

Domain-Driven Design: Lean Aggregates 🦥Haskell

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

New comment by paula99 in "Ask HN: Who is hiring? (April 2026)" ✅Proof Assistants

news.ycombinator.com·2d·Hacker News

20 Days of 420: Trusted Nightstand Essentials From CBDistillery 🔥FIRE

vice.com·2d

20 lines of markdown replaced my code review bot 🦀Rust

github.com

·5d·DEV

This male model sporting a crisp summer shirt isn't real. Will consumers care? 🌍Third Culture Kids

cbsnews.com·1d

Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover ✅Proof Assistants

arxiv.org·12h

I thought I needed a GPU for local LLMs until I tried this lean model ⚙️Compilers

xda-developers.com·4d

Makthaverskan, “Glass and Bones” 🔍Abstract Interpretation

daily.bandcamp.com·2d

Go to the actual place and see the actual thing 🔗Linear Types

betterthangood.xyz·3d

Stolen Childhoods: Divorce and Emotional Parentification 👨‍👩‍👧Parenting

psychologytoday.com·2d

The same colored grass 🔄Category Theory

buttondown.com·5d

Loading more...