📐 Theorem Proving - laurynas · Scour

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving 🧪Property-based Testing

Formalizing Fermat workshop 🎮Deterministic Simulation

xenaproject.wordpress.com·17h

Show HN: Formal Verification with Lean 🧪Property-based Testing

daniellowengrub.com·3d·Hacker News, Hacker News

Hitchhiker's Guide to Logical Verification (2023 Edition) 🧪Property-based Testing

lean-forward.github.io·12h·Hacker News

RT by @ylecun: Aleph, our fully autonomous AI agent system for formal verification, aced all major theorem proving benchmarks including PutnamBench, VeriSoftBen... 🎮Deterministic Simulation

twitter.macworks.dev·1d

TorchLean: Verified Neural Networks in Lean 🧪Property-based Testing

robertj1.com·3d·Hacker News

Small by Design: The Strength of Lean Design-System Teams ⚙Context engineering

nngroup.com·12h

어떤 시대에도 살아남는 기업을 만드는 방법 [유튜브] 🎮Reinforcement Learning

news.hada.io·1d

‘Lean Startup’ author reveals his one regret about his bestselling book — and how his new one fixes it 🎮Reinforcement Learning

geekwire.com·8h

Presentation: What I Learned Building Multi-Agent Systems From Scratch 🤖agents

·2d

Lean 4 port of Flypitch: A formalized port of the continuum hypothesis 🎮Deterministic Simulation

Claude Code's product lead talks usage limits, transparency, and the "lean harness" ✨UI generation

arstechnica.com·19h·Hacker News

draftboardco/lean-intros: Open-source warm-intro pathfinder — the bare-bones version of CTD/Swarm/Happenstance. Free, self-host, BYO API keys. ✨UI generation

github.com·2d·Hacker News

The other unreliable buddy 🎮Deterministic Simulation

blog.davep.org·3d

Karamello Typeface by SAMPLE — Elegant Diploma Script Font ✨UI generation

weandthecolor.com·21h

"It's never too late to sculpt a strong core without weights, but the earlier you start, the better" 🎯Reranking

·2d

Lean On Me: What Bill Withers can teach us about AI when the house is on fire 🔍AI Interpretability

startupdaily.net·1d

Review: Parallel Tales - Cannes 2026 🎛️interfaces

cineuropa.org·19h

Echoes Of The Past: Atmospheric Post-Apocalyptic Digital Art By Efe Levent 🎯Reranking

designyoutrust.com·5d

What I Got Out of Claude Code Insights (Without Rebuilding My Workflow) 🤖agents

spin.atomicobject.com·1d

Log in to enable infinite scrolling