📐 Theorem Proving - laurynas · Scour

A modern lightweight metasearch engine with a clean design written in C. 🎯Reranking

git.bwaaa.monster·15h·Hacker News

FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models 🧪Property-based Testing

PyCon US 2026 Typing Summit Recap 🧪Property-based Testing

bernat.tech·1d·Lobsters, Hacker News

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

hwebench.com·6h·Hacker News

oss-security - Linux kernel LPE ("fragnesia", copyfail 3.0) 🧪Property-based Testing

openwall.com·2d·Hacker News

The Keysigning Party HOWTO (2008) 🧪Property-based Testing

cryptnet.net·22h·Hacker News

Sum-Check as an Algebraic Tensor Reduction: Part II 🧪Property-based Testing

blog.zksecurity.xyz·5d·Hacker News

Pen and Paper LM 160: a language model small enough to run by hand ✨UI generation

maciej.bearblog.dev·2d·Hacker News

Introduction ✨UI generation

aperio-lang.github.io·11h·Hacker News

Fight Slop with Clarity 🔍AI Interpretability

blog.vtemian.com·1d·Hacker News

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

Typograms: A portable ASCII diagram format that renders to SVG ✨UI generation

google.github.io·13h·Hacker News

The Myers diff algorithm: part 1 🎯Reranking

blog.jcoglan.com·1d·Hacker News

AWS found bugs in 60% of software requirements. Its fix isn’t more AI — it’s a 50-year-old logic engine. 🎮Deterministic Simulation

thenewstack.io·11h·Hacker News

Recursive Self-Improvement Delivers New SOTA Coding Performance 🔍AI Interpretability

poetiq.ai·1d·Hacker News, r/singularity

Abstract Machines for Logic Programs 🎮Deterministic Simulation

chrisistyping.bearblog.dev·6d·Lobsters, Hacker News, r/programming

The Cottage Book – managing secrets in Git with usage scenarios 🤖agents

cottage-cli.pages.dev·8h·Hacker News

Perfect Number Bomb(2025) 🎮Deterministic Simulation

quantumcalculus.org·23h·Hacker News

Automating Code Security Reviews 🎮Deterministic Simulation

cloudberry.engineering·1d·Hacker News

Building Self-Repairing Agent Loops (39 minute read) 🧪Property-based Testing

developers.openai.com·3d·Hacker News

Log in to enable infinite scrolling