📚 Index Structures - linearizable · Scour

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

reader.tymoon.eu·6d

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

The Moon 🧮SMT Solvers

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

Simple and Correct Snapshot Isolation 🔒Transaction Isolation

remy.wang·5d·Hacker News

floatpane/matcha: A beautiful and functional email client for your terminal, built with Go and the charming Bubble Tea TUI library. Never leave your command line to check your inbox or send an email again! 🔧ELF Binaries

github.com·2d·r/coding, r/selfhosted

The retirement of the PHP license 🔧Linkers

·19h·Hacker News

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

supabase.com·1d

Tokenmaxxing is Goodharting 🔎Inverted Index

benjamincongdon.me·6d

JStack by Command String 🔐MVCC

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

herbsutter.com·6d

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

converter365.com·6d·r/coding

Rethinking Reasoning-Intensive Retrieval: Evaluating and Advancing Retrievers in Agentic Search Systems 🔍Information Retrieval

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

Thoughts on Marginal Token Spend 💰Cost-Based Optimization

benjamincongdon.me·5d·Lobsters

Security updates for Tuesday 🔄Differential Dataflow

·18h

I Know Kung Fu 🔐MVCC

percona.com·1d

It's time to be right. 🔄Eventual Consistency

brooker.co.za·6d·Hacker News

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

microsoft.com·5d

SURE-RAG: Sufficiency and Uncertainty-Aware Evidence Verification for Selective Retrieval-Augmented Generation 🔍Information Retrieval

Log in to enable infinite scrolling