Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.orgยท2d
๐Lock-Free Programming
Flag this post
Designing Blockchain #2: Accounts and State
๐ผThrift
Flag this post
Building a Distributed Database in Elixir (Part 1: Motivation and Challenges)
๐Distributed Systems
Flag this post
10ร Faster Log Processing at Scale: Beating Logstash Bottlenecks with Timeplus
๐Quickwit
Flag this post
Bitcoin Halvings and the Trisolaran Mistake: When External Actors Masquerade as Natural Laws
lesswrong.comยท14h
๐ฐTigerBeetle
Flag this post
Raft Consensus in 2k Words
๐ณ๏ธRaft Consensus
Flag this post
The Transformer and the Hash: building blocks of 21st century political science
๐Digital Privacy
Flag this post
Agentic AI Project: Build a Multi-Agent system with LangGraph and Open AI
pub.towardsai.netยท1d
๐Python
Flag this post
Scaling HNSWs
simonwillison.netยท1d
๐พCache Design
Flag this post
Scaling HNSWs
๐ฆCuckoo Hashing
Flag this post
How Orbs Is Turning Base Network DEXs Into Perpetual Futures Powerhouses
hackernoon.comยท1d
๐Axum
Flag this post
Ossa: Towards the Next Generation Web
๐คPaxos
Flag this post
Loading...Loading more...