🎲 Property Testing - abnv · Scour

Formal Verification in Any Language for Everybody 🏭Functional Compilers

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

Automated Security Assertion Generation Using LLMs (U. of Florida) ✅Configuration Validation

semiengineering.com·14h·

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

github.com·2d·r/cpp·

Paper page - Learn2Fold: Structured Origami Generation with World Model Planning 🔄Coroutines

huggingface.co·2h·

Cryptographic Provenance for LLM Inference 📏Linear Memory

commitllm.com·11h·Hacker News·

soak testing a desktop app in zig 🧪Zig Testing

enopdf.com·2d·Hacker News, r/Zig, r/programming·

Latent Reasoning Sprint #3: Activation Difference Steering and Logit Lens ✨Effect Inference

lesswrong.com·4h·

Running State Pattern 🏷️Symbol Interning

leetcode.com

·4d·DEV·

Writing a CHIP-8 Emulator from Spec 📱Bytecode Design

log.beshr.com·20h·Hacker News·

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

pgenie.io·2d·Lobsters·

Your AI keeps a diary about you. It’s doing it badly. 🏷️Attribute Grammars

rodspeed.ai·12h·r/ClaudeAI·

Systems Thinking and Test Cases 🧪Test DSLs

testpappy.wordpress.com·2h·

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

venturebeat.com·3d·

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

pub.towardsai.net·5d·

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

zellic.io·5d·Hacker News·

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

langchain.com·3d·

bkr1297-RIO/rio-receipt-protocol: RIO Receipt Protocol — Cryptographic proof for AI actions. Open standard for tamper-evident receipts, hash-chained ledgers, and independent verification. 📦Message Serialization

github.com·1d·Hacker News·

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

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

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

infosecwriteups.com

·5d·

Physicists test quantum claims and expand state verification 📡Binary Protocols

kite.kagi.com·5d·

Loading more...