🌳 Merkle Trees - hello · Scour

Cisco Live Amsterdam - how DHL Express keeps a ThousandEyes focused on its global network to ensure 100% uptime

diginomica.com·1d

name: redactedservices: medusa: # this is basically a giant node web server

pastebin.com·2d·

Discuss: r/selfhosted

🔭Cilium Hubble

Shane Borden: Do PostgreSQL Sub-Transactions Hurt Performance?

shaneborden.com·2d

🐘PostgreSQL Internals

Building a data greenhouse

jmduke.com·5d

Fine Grained Everything, and what comes after React Server Components

blog.logrocket.com·1d

How CertiK rebuilt trust after Huione-related backlash

coindesk.com·14h

Qwen-Image 2.0 and Seedance 2.0

news.smol.ai·2d

🔗 The hidden cost of PostgreSQL arrays

yellowduck.be·1d

🗺️PostgreSQL Planner

A practical systems engineering guide: Architecting AI-ready infrastructure for the agentic era

thenewstack.io·2d

Distributed vs centralized agents

lesswrong.com·2d

Coinbase unveils crypto wallets designed specifically for AI agents

cointelegraph.com·16h

💰TigerBeetle

DCP-o-matic • Re: Feature Request for Verifier

dcpomatic.com·1d

🔍eBPF Verifier

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·6d

Avoiding UB but "safe" data race in a lock-free slab allocator - help - The Rust Programming Language Forum

users.rust-lang.org·22h

Eve-positional languages: putting order into B\"uchi automata

arxiv.org·1d

👻Phantom Types

An introduction to lockless algorithms [LWN.net]

lwn.net·3d

🔓Lock-Free Programming

A Theory for Probabilistic Polynomial-Time Reasoning

arxiv.org·1d

⚡X-Fast Tries

farley.org/resume/resume.txt

farley.org·1d

DeepSeek R1 on Localhost: Building a Private Coding Assistant for $0

dev.to·17h·

Discuss: DEV

Regime-Declared Mathematics as Survivor Sets

zboralski.github.io·2d·

Discuss: Hacker News

🔗Dependent Types

Loading more...