Analysing Snapshot Isolation
muratbuffalo.blogspot.com·20h·
Discuss: Hacker News
🌳Persistent Data Structures
Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data Generation
arxiv.org·22h
🎯Performance Proofs
An easy-to-implement, arena-friendly hash map
nullprogram.com·4h·
Discuss: Lobsters
🔐Hash Functions
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·1d
🔬Refinement Types
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
💧Liquid Types
Consistency over Availability: How rqlite Handles the CAP theorem
philipotoole.com·9h·
Discuss: Hacker News
🛡️Byzantine Fault Tolerance
CfP: Human Rights Archives and the Problems of Provenance
archivespublishing.com·12h
⚖️Archive Ethics
How To Solve Every Programming Problem
blog.codeminer42.com·7h
📐Interval Arithmetic
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
My blog on zero-knowledge cryptography
kaw101010.github.io·1h·
Discuss: Hacker News
🔐Quantum Security
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
Opportunity to work with the kernel filesystem, as the maintainer calls for assistance. EXT4 BUG converted to feature
lore.kernel.org·4h·
Discuss: r/linux
🔌Operating system internals
Testing PowerSync with Jepsen for Causal Consistency and More
github.com·6h·
Discuss: Hacker News
🗄️PostgreSQL WAL
Extensions and Shadows (9)
sites.psu.edu·2d
✨Effect Handlers
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·1d
✅Archive Validation
Xcode 26 Beta 5
mjtsai.com·7h
🍎XNU Internals
Encapsulation Isn't Java's Fault (and Python Needs It Too)
lihil.cc·1d·
Discuss: Hacker News, r/programming
🔒WASM Capabilities
Building a Home Lab for Self-Hosting & Cybersecurity Labs - What Do You Think of This Setup ?
preview.redd.it·10h·
Discuss: r/homelab
🏠HomeLab
libsemigroups: C++ library for semigroups and monoids
github.com·1d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
LF AI and Data Hosts Vortex Project for Data Access for AI and Analytics
linuxfoundation.org·9h·
Discuss: Lobsters, Hacker News
📦METS Packaging