🫀 Microkernels - ndjenks · Scour

Futurelock: A subtle risk in async Rust 🦀Rust

news.ycombinator.com·4d·Hacker News

Formal Verification Gates for AI Coding Loops 📋Formal Methods

reubenbrooks.dev·13h·Hacker News

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair 📋Formal Methods

An Experiment in Formal Verification with Claude 📋Formal Methods

blog.succinct.xyz·10h

tapman104/zig-nacap: Idiomatic Zig wrapper for Npcap — packet capture and protocol decoding on Windows 🪝eBPF

github.com·2d·r/Zig

Newsletter Subscription 💾bcachefs

newsletter.nixers.net·5d

While Tesla is still awaiting approval for FSD in China, XPENG deploys the country's first mass-produced robotaxi unit in Guangzhou, with 3,000 TOPS of computing power and latency under 80 ms without LiDAR. 🚀Startups

en.clickpetroleoegas.com.br·19h

A shallow dive into formal verification 📋Formal Methods

vitalik.eth.limo·2d·Hacker News, Hacker News

Einride L4 autonomous electric semi truck gets real – in Ohio ⏱️Scheduler Internals

electrek.co·17h

Cross-compiling MINIX 1.1 on a modern host (pre-ANSI, K&R C) 🔗Linkers

codeberg.org·4d·r/programming

Vitalik Buterin says AI 'formal verification' could actually make crypto much more secure 📋Formal Methods

·2d

Introducing Dimster, a performance benchmarking tool for Apache Kafka 🪝eBPF

jack-vanlightly.com·13h

Ethereum Founder Vitalik Buterin Says AI Verification Could Help Secure Crypto Networks 💣Binary Exploitation

Autonomous trucking moves to the Midwest with Einride’s Ohio deployment ⏱️Scheduler Internals

freightwaves.com·17h

Portland PLV Group 🔧Compilers

plv.cs.pdx.edu·5d

XPENG launches China’s first mass-produced robotaxi to challenge Tesla’s FSD ⚡Zig

interestingengineering.com·1d

theory uplift differentially benefits safety & is underleveraged 🧠Mindset

lesswrong.com·7h

Vitalik Buterin says AI-assisted "formal verification" could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws ... 🏗️AI Infrastructure

techmeme.com·2d

RT by @ylecun: Aleph, our fully autonomous AI agent system for formal verification, aced all major theorem proving benchmarks including PutnamBench, VeriSoftBen... 📋Formal Methods

twitter.macworks.dev·6d

Formal Verification Gates for AI Coding Loops 📋Formal Methods

news.ycombinator.com·3h·Hacker News

Log in to enable infinite scrolling