🐿️ 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

Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1750830996145900)
dev.to·12h·
Discuss: DEV
🌐Network Protocols
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·14h
🔗Topological Sorting
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·9h·
Discuss: Hacker News
🧩WASM Modules
How To Prepare Your API for AI Agents
thenewstack.io·4h
🔌Interface Evolution
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·9h
📞Session Types
The Agentic Protocols That Will Define the Next Decade of Software
anup.io·2d·
Discuss: Hacker News
🔌Interface Evolution
simplex-chat/simplexmq
github.com·16h
🔌Interface Evolution
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·4d
🔧Binary Parsers
Polystate: Composable Finite State Machines
github.com·3d·
Discuss: Lobsters, Hacker News, r/Zig
🦀Rust Verification
The complexity trap: why cybersecurity must be simplified
techradar.com·9h
🛡Cybersecurity
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·7h·
Discuss: Hacker News, r/programming
🔗Lisp
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·4h·
Discuss: DEV
📏Code Metrics
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
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
MCP Demystified: What Actually Goes Over the Wire??
hackernoon.com·3d
📟Vintage Protocols
Lessons from LangChain and Slack and MCP Integration
medium.com·20h·
Discuss: Hacker News
🔗Topological Sorting
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·11h·
Discuss: DEV
λLambda Formalization
Loading...Loading more...
AboutBlogChangelogRoadmap