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

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·23h
🧮Algebraic Archives
An InfoSec Architect's First Taste of Temporal
supasaf.com·12h·
Discuss: Hacker News
⏰Temporal Logic
Why MCP is Not Enough for Secure AI Workflows (And How Talkdex.ai Rebuilt It)
dev.to·14h·
Discuss: DEV
🌐NetworkProtocols
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·20h·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Decoding TCP SYN for stronger network security
blog.apnic.net·3h
📊PCAP Analysis
Beyond the Prototype: 15 Hard-Earned Lessons to Ship Production-Ready AI Agents
hackernoon.com·6h
⚙️TLA+
What's up Python? Mypy gets better, uv faster, FastApi easier, Emscripten formal...er
bitecode.dev·2d
🦀Rust Macros
Arti 1.4.5 is released: Continued work on xon-based flow control, Conflux.
blog.torproject.org·1d
📻Homebrew Protocols
Distributed Systems for Fun and Profit
book.mixu.net·1d·
Discuss: Hacker News
🌊Streaming Systems
My first verified (imperative) program
markushimmel.de·1d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
Maximizing Leverage in Software Systems
bencornia.com·2d
🌊Streaming Systems
Elm as target language for vibe coding
interjectedfuture.com·1d
⚡Effectful Programming
We solved AI API interoperability
supermemory.ai·6h·
Discuss: Hacker News
🔌Interface Evolution
Accelerate learning with GitLab Duo Agent Platform
about.gitlab.com·2d
⚡gRPC
Reverse proxy deep dive
medium.com·22h·
Discuss: Hacker News, r/programming
⚡gRPC
Structured Concurrency: Hierarchical Cancellation & Error Handling • James Ward • GOTO 2024
youtube.com·4d
⚙️TLA+
Announcing TypeScript 5.9 Beta
devblogs.microsoft.com·9h·
Discuss: Hacker News, r/javascript, r/programming, r/typescript
🎯Gradual Typing
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·23h
🐛Fuzzing
[R] Temporal Logic as a means to guarantee safety and efficiency in LLMs
reddit.com·1d·
Discuss: r/MachineLearning
📏Linear Logic
MitM Flaw in Bitchat: Identity Is a Bitchat Challenge
supernetworks.org·20h·
Discuss: Hacker News
🧪Protocol Fuzzing
Loading...Loading more...
AboutBlogChangelogRoadmap