🔧 Linkers - linearizable · Scour

Rust is participating in Outreachy 🗳️Raft Consensus

blog.rust-lang.org·2d

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

reader.tymoon.eu·6d

Amazon Aurora DSQL for global-scale financial transactions 🔐Database Concurrency

aws.amazon.com·13h

JStack by Command String 🔐MVCC

Echoes of the Lisp Listener 📐TLA+

funcall.blogspot.com·4d·Blogger

The retirement of the PHP license 🔧ELF Binaries

·21h·Hacker News

The Moon 🧮SMT Solvers

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

Metastability in Recovery: Cascading Recovery with a Loop 🔄Database Recovery

charap.co·3d·Hacker News, r/programming, r/systems

Realtime or ETL? How to choose the right tool 📝Database WAL

supabase.com·1d

Minimal Viable Zig Error Contexts 🧮Constraint Solvers

matklad.github.io·3d·Lobsters, Hacker News

Is this safe or is it some form of a virus such as adware, rootkit, etc... 🗜️Compression Algorithms

converter365.com·6d·r/coding

Beyond Similarity Search: A Unified Data Layer for Production RAG Systems 💰Cost-Based Optimization

Field-Agnostic SNARKs with Small Proofs via Encode-Repeat-Accumulate (ERA) Codes 🧮SMT Solvers

eprint.iacr.org·2d

Announcing Google Summer of Code 2026 selected projects 🔄Incremental Computation

blog.rust-lang.org·6d·Hacker News, r/rust

Hardware-assisted Arm VMs for s390 💾Flash Storage

·18h

Running Adobe’s 1991 PostScript Interpreter in the Browser 🔧ELF Binaries

pagetable.com·4d·Hacker News

I Know Kung Fu 🔐MVCC

percona.com·1d

I built a free, browser-based wing aerodynamics simulator 📦WASM

mechanicfurkan.github.io·5d·r/coding

OpenAnima — bring your favorite GIFs and game characters to your desktop 🧊Iceberg

ertugrulmutlu.github.io·4d·r/coding

Cosmodoit: A Python Package for Adaptive, Efficient Pipelining of Feature Extraction from Performed Music 💰Cost-Based Optimization

Log in to enable infinite scrolling