📐 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·10h·Hacker News

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

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

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

robertj1.com·2d·Hacker News

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

arstechnica.com·17h·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·4h·Hacker News

Feedback on a runtime-agnostic AI agent workflow spec (LangGraph/Mastra) 🧪Property-based Testing

github.com·15h·Hacker News

Symbolic programming in Julia 🔍AI Interpretability

juliasymbolics.org·1d·Hacker News

Different models solve number-theory race problem 🎮Deterministic Simulation

aicc.rayonnant.ai·5h·Hacker News

Mathlib Initiative: Roadmap ✨UI generation

mathlib-initiative.org·10h·Hacker News

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving 🧪Property-based Testing

HWE Bench: A new unbounded Benchmark for LLMs (GPT 5.5 is on top) 🧪Property-based Testing

hwebench.com·5h·Hacker News

Loops and Routines Without Claude 🎮Deterministic Simulation

ingresslabs.net·6d·Hacker News

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

blog.wilsonb.com·12h·Hacker News

Bidirectional Typechecking That Does Not Stop 🧪Property-based Testing

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

Python by Example Using Cloudflare Dynamic Workers 🤖agents

pythonbyexample.dev·2h·Hacker News

Duplicate Detection and Remediation 🎯Reranking

codeberg.org·18h·Hacker News

A new JavaScript test runner called Decaf ✨UI generation

djalbat.com·4d·Hacker News

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

hauleth.dev·1d·Lobsters, Hacker News

Log in to enable infinite scrolling