🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📡 Protocol Design

Network Protocols, State Machines, Formal Verification, Specifications

A Periodic Table of System Design Principles
github.com·3d·
Discuss: Hacker News
🔄Concurrency
Trying out Qwen3 Coder Flash using LM Studio and Open WebUI and LLM
simonwillison.net·1d
🧩WebAssembly
Nova: A New Web Framework for Erlang
news.ycombinator.com·1d·
Discuss: Hacker News
🧩WebAssembly
This Week in Security: Spilling Tea, Rooting AIs, and Accusing of Backdoors
hackaday.com·9h
⚡Zig
Twentyseven 1.0.0
blog.poisson.chat·23h·
Discuss: Hacker News
🧮Functional Programming
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
⚡Zig
Comprehensive Overview of the Identity Management Ecosystem in 2025
guptadeepak.com·1d·
Discuss: DEV, Hacker News
✅Formal Methods
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·1d·
Discuss: Hacker News
⚡Zig
Making Libcurl Work in WebAssembly
jeroen.github.io·3d·
Discuss: Lobsters, Hacker News, Hacker News
🧩WebAssembly
Does the Bitter Lesson Have Limits?
dbreunig.com·7h·
Discuss: Hacker News
🤖ai
GenosDB (GDB) – Decentralized P2P Graph Database
npmjs.com·2d·
Discuss: Hacker News, Hacker News
🔗P2P Networks
Benchmarking MicroPython
blog.miguelgrinberg.com·1d·
Discuss: Hacker News, r/programming
⚙️Systems Programming
Self-Signed JWTs
selfref.com·5h·
Discuss: Hacker News
🔒Cryptography
Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·1d·
Discuss: Hacker News, r/programming
⚙LLVM
How Long Before Superintelligence?
nickbostrom.com·1d·
Discuss: Hacker News
🌐Distributed Systems
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·7h·
Discuss: Lobsters, Hacker News
⚡Zig
Stream Kafka Topic to the Iceberg Tables with Zero-ETL
vutr.substack.com·1d·
Discuss: Substack
💾Databases
Ergonomic keyboarding with the Svalboard: a half-year retrospective
twey.io·6h·
Discuss: Hacker News
🧩WebAssembly
Deferred Unwinder Code Upstreamed For Linux 6.17 On Road To SFrame Support
phoronix.com·5h
⚡Zig
Formal specs as sets of behaviors
surfingcomplexity.blog·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
✅Formal Methods
Loading...Loading more...
AboutBlogChangelogRoadmap