🔍 Search Indexing - linearizable · Scour

Novel Table Search [Technical Report]

arxiv.org·19h

📇Database Indexes

Why Large Language Models can Secretly Outperform Embedding Similarity in Information Retrieval

arxiv.org·19h

📌Embedding Retrieval

Your Data is Made Powerful By Context (so stop destroying it already) (xpost)

charity.wtf·1d

⚙️Adaptive Execution

Less-relevant results

CHOPIN: Optimal Pairing-Based Multilinear Polynomial Commitments from Bivariate KZG

eprint.iacr.org·2d

🧮SMT Solvers

MySQL vs PostgreSQL Internals (Part 2) — MVCC (Multi-version Concurrency Control)

kernelmaker.github.io·23h

A Hardware/Software Co-Optimization of HQC Using Tightly-Coupled Accelerators on a 32-bit Ibex Core

eprint.iacr.org·2d

⚙️Mechanical Sympathy

The Axiom of Univalence

bartoszmilewski.com·41m

🧮SMT Solvers

pardnchiu/Agenvoy: A Go-based Agentic AI platform core with skill routing, multi-provider intelligent dispatch, cross-turn memory, and REST API tool mounting.

github.com·18h·

Discuss: r/coding, r/golang

🗳️Raft Consensus

nominal types in webassembly

wingolog.org·15h·

Discuss: Lobsters, Hacker News, r/programming

The first rule of database fight club: admit nothing

smalldatum.blogspot.com·4d·

Discuss: smalldatum.blogspot.com

🗂️Database Indexing

From raw interaction to reusable knowledge: Rethinking memory for AI agents

microsoft.com·7h

⚡Hardware Transactional Memory

Simulating Queueing 2

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

Discuss: Hacker News

🎯Runtime Dispatch

TLA+ as a Design Accelerator: Lessons from the Industry

muratbuffalo.blogspot.com·1h·

Discuss: Lobsters, Hacker News, Blogger

Huston: Revisiting time

lwn.net·3d

🤝Paxos Consensus

CodexA — open-source semantic code search and developer intelligence engine. Looking for feedback and contributors

codex-a.dev·1d·

Discuss: r/coding

🧠Query Planners

Prefix sums at tens of gigabytes per second with ARM NEON

lemire.me·2d·

Discuss: Hacker News

⚙️Mechanical Sympathy

us/mocker: Docker-compatible container CLI built on Apple's Containerization framework. Same commands, same flags — mocker run, ps, stop, build, compose, stats — all working on macOS 26.

github.com·2d·

Discuss: Hacker News, r/LLM, r/SideProject, r/coding, r/javascript, r/programming, r/selfhosted

🔄Cache Replacement

GNU and the AI Reimplementations

antirez.com·2d·

Discuss: Lobsters, Hacker News

Scott L. Burson: FSet v2.3.0: Transients!

scottlburson2.blogspot.com·3d

Colorado SB26-051 Age Attestation

aphyr.com·4d·

Discuss: Hacker News

⚡Hardware Transactional Memory

Loading more...