✅ Proof Assistants - plumenator · Scour

PROMISE: Proof Automation as Structural Imitation of Human Reasoning 🧮Lean

arxiv.org·2d

Domain-Driven Design: Lean Aggregates 🧮Lean

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

Rolling your own crypto can make sense (sometimes) 🔤Type Systems

blog.m0dex.eu·19h·Hacker News

EIP-8222: Lean Staking 📈Investing

ethereum-magicians.org·13h

Inscriptions 📐PLT

flathub.org·2d

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

inc.com·5h

Why Lean? 🧮Lean

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

New comment by paula99 in "Ask HN: Who is hiring? (April 2026)" 💻Programming

news.ycombinator.com·2d·Hacker News

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

electrek.co·7h

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

finance.yahoo.com·22h

Go to the actual place and see the actual thing 🧮Lean

betterthangood.xyz·3d

Full-Lean Machine 🧮Lean

inkedmag.com·2d

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

einpresswire.com·2d

Textualize/textual v8.2.3 🧮Lean

github.com

·5d

IMF Gives Warning About Tokenization Risks 📐PLT

bloomberg.com

·2d

The same colored grass 🔄Category Theory

buttondown.com·6d

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

arxiv.org·13h

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

vice.com·2d

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

cbsnews.com·1d

I thought I needed a GPU for local LLMs until I tried this lean model 🧮Lean

xda-developers.com·4d

Loading more...