✅ Correctness - balayhashi · Scour

NATS Server 2.14 Release 🗳️Paxos

Claude Mythos Preview Requires New Ways to Keep Code Secure 📐TLA+

spectrum.ieee.org

·3d

I built an AI cost router and a safety-screened MCP library - launched 2 weeks ago, zero revenue, sharing what I've learned 🗳️Paxos

followloop.app·21h·r/SideProject

The Appearance of Safety Is Not Safety 📄SOSP

newsletter.thelongcommit.com·2d·r/coding

🔗 Human Error is OK! Machine Madness is a No-No! Why? 🎲Fuzzing

gurupanguji.com·4d

What is Fireproofing and What Goes into It? 📝Database WAL

gmservices.ws·12h

GitHub Uses eBPF to Eliminate Deployment Risks and Prevent Circular Failures 🔄Eventual Consistency

CISA and Partners Publish Zero Trust Guidance For OT Security 📡Low-Level Networking

infosecurity-magazine.com·17h

Show HN: Distributed-correctness tests using Jepsen tooling pass on ArcadeDB 🔍Jepsen

arcadedb.com·3d·Hacker News

New Autonomous Vehicle Regulations Strengthen Oversight and Enforcement, Authorize Trucks and Transit 🔐MVCC

email.dmvonline.ca.gov·1d·Hacker News

The US Senate Judiciary Committee unanimously endorses a bipartisan child safety bill requiring AI companies like OpenAI and Meta to implement age verification ... 📄SOSP

techmeme.com·14h

Ordering results involving k-out-of-n systems for a flexible Gompertz model with heterogeneity 🗳️Paxos Variants

sciencedirect.com·2d

std::pointer_safety (3) Linux Manual Page 🦀Rust

systutorials.com·22h

Substrate-Sensitivity ⚙️Mechanical Sympathy

lesswrong.com·5d

Athos Scraps Multi-Vendor Roadmap, Plans Chiplet Tape-Out ⚙️Mechanical Sympathy

eetimes.com·14h

Engineering biopolymer nanoparticles for targeted nanomedicine in cancer therapy and food preservation 📇Vector Indexing

frontiersin.org·1d

BeCPP Symposium 2026 - Herb Sutter - C++ Growing in a world of competition, safety, and AI 📄SOSP

Precision lasers boost safety and efficiency in smart factories ⚙️Mechanical Sympathy

California lawmakers open the gate for autonomous trucks in the state 🔄Database Recovery

therobotreport.com·11h

QSAR and scaffold-based optimization of HMGR inhibitors using cheminformatics and machine learning 📇Vector Indexing

frontiersin.org·1d

Log in to enable infinite scrolling