✅ Formal Verification - ghosh.debasish · Scour

Delegated Execution Sharding (DES): A hyper-parallelized zkEVM for theoretically optimal execution-layer scalability 🖥️Systems Programming

ethresear.ch·5d

ECAPI-talizing on Conversions with the Final ECAPI spec 🧪Property-based Testing

iabtechlab.com·2d

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) 🧪Property-based Testing

ML Safety Newsletter #20: AI Wellbeing, Classifier Jailbreaking and Honest Pushback Benchmarking 🧠Reasoning Models

lesswrong.com·1d

Wasm is not quite a stack machine 🖥️Systems Programming

purplesyringa.moe·3d·Lobsters, Hacker News, Hacker News, r/programming

solveImpl (3) Linux Manual Page 🔧SMT Solvers

systutorials.com·2d

ISO 26262: The Impact of ASIL Metrics on Embedded Software Design 🔧Intermediate Representations

embedded.com·6d

AWS Interconnect Reaches General Availability with Managed Multicloud and Last-Mile Connectivity 🌐Distributed Systems

In 76% of modern OpenAPI specs, JSON Schema dominates the specification 🛢️Database Internals

sourcemeta.com·2d·Hacker News

We scanned 54 MCP servers and found 20 bugs. Here's what breaks. 🖥️Systems Programming

blackwell-systems.github.io·3d·r/mcp

Specification-Driven Development framework for agent-native development 🤖Claude

specdd.ai·1d·Hacker News

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing 🧪Property-based Testing

I built a 21-agent manuscript pipeline, hit a wall I couldn't engineer past, and want to give the spec away. 🔤PLT

kaizenrw.com·1d·r/PromptEngineering

Sum-Check as an Algebraic Tensor Reduction: Part 1 🔧SMT Solvers

blog.zksecurity.xyz·3d·Hacker News

Designing a Governed RTO Compliance Agent Using Copilot Studio and Databricks Genie 🤖Claude

techcommunity.microsoft.com·2d

[Pre-RFC] DNS domains as package namespaces 🦀Rust

internals.rust-lang.org·5d·r/rust

Show HN: We put ZK attribute proofs inside x402 payment headers 🦀Rust

news.ycombinator.com·2d·Hacker News

jessealama/thales: TypeScript compiler and JavaScript engine in Lean 🦀Rust

github.com·5h·Hacker News

Claude Mythos Preview Requires New Ways to Keep Code Secure 🤖Claude

spectrum.ieee.org

·3d

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields 🔧SMT Solvers

Log in to enable infinite scrolling