✅ Formal Methods - Abhi · Scour

Objective Shaping with Hard Negatives: Windowed Partial AUC Optimization for RL-based LLM Recommenders 🧠Query Planners

Yukari Hafner: On Lisp, LLMs, and Community 📐TLA+

reader.tymoon.eu·22h

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

github.com·2d·r/coding

Restartable sequences, TCMalloc, and Hyrum's Law 🔄Concurrency

·2h

Some type constructors are tensor products 📐TLA+

blog.sigfpe.com·2d·Blogger

Speeding up the JavaScript ecosystem - Rust and JavaScript Plugins 🌳LSM Trees

marvinh.dev·20h·r/coding

Profunctor Equipment 🔧Compilers

bartoszmilewski.com·6d·Hacker News

My 7-min “lightning talk” is online: Why C++ is growing, and why C++26 will likely be adopted quickly 🔧Compilers

herbsutter.com·20h

Safe Optimistic Lock Coupling 🔄Concurrency

databasearchitects.blogspot.com·1d·databasearchitects.blogspot.com

I built a free, browser-based wing aerodynamics simulator ⚙️Systems Programming

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

Troubleshooting logical replication delay made easy 🔄Eventual Consistency

percona.com·11h

Where Optimizations Come From 🔧Compilers

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

BugBash'26 Morning of Day 1 🕸️Distributed Systems

muratbuffalo.blogspot.com·5d·Blogger

Is this safe or is it some form of a virus such as adware, rootkit, etc... 🕳️Obscure Tech

converter365.com·13h·r/coding

The Appearance of Safety Is Not Safety 🕳️Obscure Tech

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

My brave new code-signing world 📐TLA+

nullprogram.com·4d·Hacker News

Tokenmaxxing is Goodharting 🌐Networking

benjamincongdon.me·1d

A Principal Software Engineer at Epic Games / 25 Year Vet, talks about why AI is just a "giant switchboard" and why code is a delicate crystal. 💾Tech History

youtu.be·1d·r/coding, r/cpp, r/learnprogramming

What do you guys think of my new Markup Syntax? Data Markup Syntax (DMS) a better markup. 🌳LSM Trees

dms-webpage-69537d.gitlab.io·4d·r/coding, r/rust

DSQL SQL Dialect: How Amazon Aurora DSQL differs from single-instance PostgreSQL ☁️Storage Disaggregation

aws.amazon.com·2d

Log in to enable infinite scrolling