🎲 Property Testing - balayhashi · Scour

ScaleBox: Enabling High-Fidelity and Scalable Code Verification for Large Language Models ✅Correctness

The Bombadil Terminal Experiment 🎲Fuzzing

wickstrom.tech·1d·Hacker News

Warp goes open-source for easier agentic development and introduces broader model support 🔐Serializability

alternativeto.net·1d

💌 Newsletter #007 - Of Age-Gating, Belonging, and AI Being Blazing Fast 🚀 (at Enshittifying) 🎲Fuzzing

technically-good.ca·4d

simplex-chat/simplex-chat v6.5.0 🗳️Paxos

github.com·22h

Claude Code Routines: 8 Production Prompts, Real Costs, and Where They Break 🤖 ✅Correctness

linas.substack.com

The Authenticity Mandate | Human-Centered Change and Innovation ✅Correctness

bradenkelley.com·6d

Verifying Humans Without Surrendering Identity: A Case Against Government-Issued Online Verification 🔐Serializability

blog.trintler.me·1d·Hacker News

Alternatives to age verification for AI chats 🎲Fuzzing

fldigitalrights.org·2d

From "What the Fuzz?" To "All the Fuzz " (Keynote Fuzzing Workshop NDSS'26) 🎲Fuzzing

youtube.com·3d·Hacker News

FDA is launching real-time monitoring of drug trials, with AstraZeneca and Amgen as first test cases 🔍Jepsen

Daily Hacker News for 2026-04-29 🎲Fuzzing

daemonology.net·1d

New AI framework autonomously optimizes training data, architectures and algorithms — outperforming human baselines 📊Columnar Execution

venturebeat.com·3d

Cadence And Google Collaborate To Expand AI-Driven EDAs On Google Cloud 📦In-process Databases

Show HN: Quantum Temporal Cryptography – spec for interplanetary trust chains 🤝Paxos Consensus

zenodo.org·5d·Hacker News

Verifying your age in a privacy preserving manner 🔐Serializability

adayinthelifeof.nl·1d·Hacker News, Hacker News

Why I Still Reach for Lisp and Scheme Instead of Haskell 🦀Rust programming language

jointhefreeworld.org·2d·Lobsters, Hacker News, r/functionalprogramming, r/programming

Is the Novelty Budget Dead? 📄SOSP

simonshine.dk·6d·Hacker News

XPENG Releases World Model Technical Report, Powering VLA 2.0 Model R&D And Verification 📐TLA+

cleantechnica.com·2d

The New Linux Kernel AI Bot Uncovering Bugs Is A Local LLM On Framework Desktop + AMD Ryzen AI Max ⚙️Mechanical Sympathy

phoronix.com·4d·Hacker News, r/artificial, r/linux

Sign up or log in to see more results

Log in to enable infinite scrolling