linearizable's Scour Feed This Week (scouring all feeds) scour.ing

Transactional Integrity in Distributed Financial Ledger Systems: Architecture, Invariants, and Failure Models

linkedin.com·3h·

Discuss: DEV

Native Auditing Architecture: Embedding Traceability Intelligence within the Database Core.

postgresql.org·1d·

Discuss: DEV

Breaking the Tractability Barrier: A Generic Low-Level Solver for NP-Hard Instances (N=63) on Commodity 64-Bit Silicon

zenodo.org·1d·

Discuss: r/programming

A RISC-V vector extension primer

blog.adafruit.com·2d

Formal Verification Fundamentals Remain Non-Negotiable In The New Verification Revolution

semiengineering.com·2d

Databases should contain their own Metadata

floedb.ai·3d·

Discuss: Hacker News

The inverted index pattern

jamesg.blog·3d·

Discuss: Hacker News

Formal Methods Practice and Theory

adacore.com·4d·

Discuss: Hacker News

Automatic Generation of Polynomial Symmetry Breaking Constraints

arxiv.org·4d

Everything I know about good system design

seangoedecke.com·4d

Towards a Standard for JSON Document Databases

muratbuffalo.blogspot.com·4d·

Discuss: Blogger

A Note on Flat Abstract Syntax Trees

gist.github.com·5d·

Discuss: Hacker News

An introduction to lockless algorithms [LWN.net]

lwn.net·5d

Main Content || Math ∩ Programming

jeremykun.com·5d

Human-like Search for Modern Applications

anvitra.ai·6d·

Discuss: Hacker News

B-tree Ordered Containers

abseil.io·6d

Early History of a Perfect Join Algorithm

remy.wang·6d

Multi-Paxos – Consensus in Distributed Databases

arpitbhayani.me·1w·

Discuss: Hacker News

Lab: Routing Between VXLAN Segments

blog.ipspace.net·1w

Scaling Laws for Embedding Dimension in Information Retrieval

arxiv.org·1w

Loading...Loading more...