✅ Correctness - balayhashi · Scour

The Appearance of Safety Is Not Safety 📄SOSP

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

Some type constructors are tensor products 🔄Consistency Models

blog.sigfpe.com·3d·Blogger

Restartable sequences, TCMalloc, and Hyrum's Law 🔓Lock-Free

·15h

Run an ALTER TABLE for a huge table in Aurora ⚙️Database Internals

percona.com·3h

Safe Optimistic Lock Coupling 🔓Lock-Free

databasearchitects.blogspot.com·1d·databasearchitects.blogspot.com, r/cpp

Red-teaming a network of agents: Understanding what breaks when AI agents interact at scale 🤝Consensus

microsoft.com·7h

BugBash'26 Morning of Day 1 🔄Eventual Consistency

muratbuffalo.blogspot.com·5d·Blogger

@agent — inline annotations to make cross-project relationships explicit for AI agents 📐TLA+

github.com·2d·r/coding

I built a free, browser-based wing aerodynamics simulator 🎯Runtime Dispatch

mechanicfurkan.github.io·18h·r/coding

Raising the baseline for the `nvptx64-nvidia-cuda` target ⚙️Mechanical Sympathy

blog.rust-lang.org·5h

Poll: Have you observed AI agents doing harm? 🎲Fuzzing

herbsutter.com·7h

Speeding up the JavaScript ecosystem - Rust and JavaScript Plugins 🦀Rust programming language

marvinh.dev·1d·r/coding

Self Knowledge Re-expression: A Fully Local Method for Adapting LLMs to Tasks Using Intrinsic Knowledge 🔍Information Retrieval

Open-source AI note-taking app MindZJ supports integration with LLM like... 📐TLA+

youtube.com·12h·r/coding

Yukari Hafner: On Lisp, LLMs, and Community 📄SOSP

reader.tymoon.eu·1d

Profunctor Equipment 📇Vector Indexing

bartoszmilewski.com·6d·Hacker News

Tokenmaxxing is Goodharting 🤝Consensus

benjamincongdon.me·1d

Where Optimizations Come From ⚙️JIT Compilation

NULL BITMAP by Justin Jaffray via buttondown.com·3d·Hacker News

I found this level in a video game called „Geometry Dash“, and it apparently requires a very high level of coding skill to complete. Does anyone know what might... 📐TLA+

youtu.be·2d·r/coding

Is this safe or is it some form of a virus such as adware, rootkit, etc... 💾Flash Storage

converter365.com·1d·r/coding

Log in to enable infinite scrolling