🎲 Property Testing - abnv · Scour

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·1d·Hacker News·

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification 🧩SAT Solvers

goedelcodeprover.github.io·6d·Hacker News·

Personal project: bringing Rust-style unicode invariants to C++ ⚙️TOML Parsers

github.com·23h·r/cpp·

SQL-first code generator for PostgreSQL (Haskell, Rust, Java) 📋Tablegen

pgenie.io·3h·Lobsters·

Running State Pattern 🏷️Symbol Interning

leetcode.com

·2d·DEV·

April 1, 2026 🔬Nanopasses

the grugq's newsletter via buttondown.com·15h·

Code generation that just works 🎭Program Synthesis

maryrosecook.substack.com·5d·Substack·

Meta's new structured prompting technique makes LLMs significantly better at code review — boosting accuracy to 93% in some cases 🎭Staged Interpreters

venturebeat.com·1d·

LangChain: The Agent Improvement Loop Starts with a Trace 🔍Execution Tracing

langchain.com·1d·

Test cases are no longer crafted nor unique 🧪Test DSLs

ministryoftesting.com·6d·

From Static Findings to Working Exploits: Runtime Validation of 6 High-Profile MCP Servers 🛡️Parser Security

agentseal.org·2d·Hacker News, r/netsec·

How Multi-Agent Self-Verification Actually Works (And Why It Changes Everything for Production AI) 🎭Erlang OTP

pub.towardsai.net·3d·

Fuzzing to Zero-Day: Pwning V8CTF With TurboFan Type Confusion, CVE-2025-2135 🚀V8 Internals

zellic.io·3d·Hacker News·

About the growing verification debt in software 🛡️Error Ergonomics

clifford.ressel.fyi·6d·Hacker News·

Take Back Control of Your Screen Time – Brick LLC 💬Error Message Design

getbrick.com·5d·

evointel-whitepaper/open-letter-to-anthropic.md at main · evo-hydra/evointel-whitepaper 🎭Program Synthesis

github.com·2d·Hacker News·

PSFuzz: Rethinking Web Fuzzing in the Age of AI 🎲Parser Fuzzing

infosecwriteups.com

·4d·

Physicists test quantum claims and expand state verification 📡Binary Protocols

kite.kagi.com·3d·

A Couple Million Lines of Haskell: Production Engineering at Mercury 🚂Error Propagation

blog.haskell.org·3d·Lobsters, Hacker News, r/programming·

Frame Transactions Through a Statelessness Lens 🎯Ring Buffers

ethresear.ch·3d·

Loading more...