Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.orgยท2d
๐Ÿ”“Lock-Free Programming
Flag this post
Designing Blockchain #2: Accounts and State
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ผThrift
Flag this post
Building a Distributed Database in Elixir (Part 1: Motivation and Challenges)
medium.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Distributed Systems
Flag this post
10ร— Faster Log Processing at Scale: Beating Logstash Bottlenecks with Timeplus
timeplus.comยท17hยท
Discuss: Hacker News
๐Ÿ”Ž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
news.alvaroduran.comยท23hยท
Discuss: Hacker News
๐Ÿ—ณ๏ธRaft Consensus
Flag this post
The Transformer and the Hash: building blocks of 21st century political science
nothinghuman.substack.comยท6hยท
Discuss: Substack
๐Ÿ”’Digital Privacy
Flag this post
Building SqURL: A Human's and an AI's Perspective
ronforrester.substack.comยท18hยท
Discuss: Substack
๐Ÿ“ฆFolly
Flag this post
A Magical Studies Research Report on Paxos
dev.toยท22hยท
Discuss: DEV
๐ŸคPaxos
Flag this post
Agentic AI Project: Build a Multi-Agent system with LangGraph and Open AI
pub.towardsai.netยท1d
๐ŸPython
Flag this post
Exploring the World of Distributed Protocols โ€“ A Self-Taught Journey
dev.toยท1dยท
Discuss: DEV
๐Ÿ“นWebRTC
Flag this post
How to Design a Scalable Architecture for Cloud Applications
acecloud.aiยท1dยท
Discuss: DEV
๐Ÿ—๏ธSystem Design
Flag this post
Scaling HNSWs
simonwillison.netยท1d
๐Ÿ’พCache Design
Flag this post
Scaling HNSWs
antirez.comยท1dยท
๐ŸฆCuckoo Hashing
Flag this post
SBoM Diffing: Next Frontier for Supply Chain Security
worklifenotes.comยท12hยท
Discuss: Hacker News
๐Ÿ”WASM WASI
Flag this post
Taurus Database: How to Be Fast, Available, and Frugal in the Cloud
muratbuffalo.blogspot.comยท2dยท
Discuss: Hacker News
๐Ÿ”€Vitess
Flag this post
Building for Trust: A Guide to Gasless Transactions with ERC-2771
dev.toยท7hยท
Discuss: DEV
๐Ÿ’ผThrift
Flag this post
A Practical Guide to Transitioning to Memory-Safe Languages
queue.acm.orgยท3hยท
๐Ÿ›ก๏ธMemory Safety
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
jamesparker.meยท2dยท
Discuss: Hacker News
๐ŸคPaxos
Flag this post