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

Session Types, Communication Safety, Distributed Systems, Type-driven Development

How to Create a Event Bus in Go
dev.to·3h·
Discuss: DEV
🌊Streaming Systems
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·13h·
Discuss: Hacker News
🧩WASM Modules
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·18h
🔗Topological Sorting
How To Prepare Your API for AI Agents
thenewstack.io·8h
🔌Interface Evolution
My AI Workflow for Understanding Any Codebase
steipete.me·11h
⚡Proof Automation
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·13h
📞Session Types
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
The Agentic Protocols That Will Define the Next Decade of Software
anup.io·2d·
Discuss: Hacker News
🔌Interface Evolution
simplex-chat/simplexmq
github.com·20h
🔌Interface Evolution
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·7h·
Discuss: Substack
🦀Rust Macros
A Standard for Human-Centered Investigation Playbooks
chrissanders.org·3h
🎯Threat Hunting
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·5d
🔧Binary Parsers
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·5h
🔒Linear Types
MCP Demystified: What Actually Goes Over the Wire??
hackernoon.com·3d
📟Vintage Protocols
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·11h·
Discuss: Hacker News, r/programming
🔗Lisp
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·8h·
Discuss: DEV
📏Code Metrics
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1750830996145900)
dev.to·16h·
Discuss: DEV
🌐Network Protocols
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
Loading...Loading more...
AboutBlogChangelogRoadmap