📐 Theorem Proving - laurynas · Scour

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

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

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

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

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

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

arstechnica.com·18h·Hacker News

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

robertj1.com·3d·Hacker News

Symbolic programming in Julia 🔍AI Interpretability

juliasymbolics.org·1d·Hacker News

Crypto exchange Coinbase to lay off 14% of staff as AI reshapes work 🌊Stream Processing

·6d·Hacker News

Programming Z3 🧪Property-based Testing

z3prover.github.io·6h·Hacker News

Bidirectional Typechecking That Does Not Stop 🧪Property-based Testing

semantic-domain.blogspot.com·2d·Lobsters, Hacker News, semantic-domain.blogspot.com

Fix pathological performance in trait solver cycles with errors by erickt · Pull Request #155355 🧪Property-based Testing

github.com·3h·Hacker News

Mathlib Initiative: Roadmap ✨UI generation

mathlib-initiative.org·11h·Hacker News

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics 🔍AI Interpretability

SymPy – a Python library for symbolic mathematics 🧪Property-based Testing

docs.sympy.org·39m·Hacker News

Different models solve number-theory race problem 🎮Deterministic Simulation

aicc.rayonnant.ai·7h·Hacker News

Python by Example Using Cloudflare Dynamic Workers 🤖agents

pythonbyexample.dev·4h·Hacker News

Hauleth's blog - How do I write Elixir tests? 🎮Deterministic Simulation

hauleth.dev·1d·Lobsters, Hacker News

Hsu's Suggestivity and Idioms (2023) 🧪Property-based Testing

blog.wilsonb.com·14h·Hacker News

AGI and the Future of Reasoning ⚙Context engineering

youtube.com·4h·Hacker News

Loops and Routines Without Claude 🎮Deterministic Simulation

ingresslabs.net·6d·Hacker News

PyCon US 2026 Typing Summit Recap 🧪Property-based Testing

bernat.tech·1d·Lobsters, Hacker News

Log in to enable infinite scrolling