🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔄 Session Type Inference

Protocol Synthesis, Communication Safety, Type Reconstruction, Multiparty Sessions

Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1751175401040400)
dev.to·2h·
Discuss: DEV
🌐Network Protocols
How to Train Your GPT Wrapper
blog.sshh.io·9h·
Discuss: Hacker News
📊Feed Optimization
How to strike up a friendly conversation | Psyche Guides
psyche.co·2h
🎯Recommendation Metrics
Progress on AI Preferences
ietf.org·9h
🔌Interface Evolution
A composable pattern for pure state machines with effects
gist.github.com·2d·
Discuss: Hacker News
🔄Finite State Machines
Fast Tensor Canonicalization in Rust
stephendiehl.com·7h
🕸️Tensor Networks
Protect now, reveal later: a scalable Time-Lock Puzzle solution
benthamsgaze.org·1d
🌊Stream Ciphers
New Paradigm for Computing Global Networks Databases, and Embedded Systems
la-acm.org·5h·
Discuss: Hacker News
💻Programming languages
How to pass the invisible
hackers.pub·5h·
Discuss: Hacker News, r/programming
✨Effect Handlers
Understanding Network Packet Offsets and Safe Parsing in eBPF
diobr4nd0.github.io·1d·
Discuss: Hacker News
🛡️eBPF Security
Client Clustering Meets Knowledge Sharing: Enhancing Privacy and Robustness in Personalized Peer-to-Peer Learning
arxiv.org·3d
🔒Privacy Preserving
First thoughts on Rust vs. OCaml (2020)
blog.darklang.com·5h·
Discuss: Hacker News
🦀Rust Borrowing
Middleware Magic Advanced Request Processing(1751149077660400)
dev.to·10h·
Discuss: DEV
🌊Stream Processing
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1751179017158100)
dev.to·1h·
Discuss: DEV
🌐Network Protocols
I built something that changed my friend group's social fabric
blog.danpetrolito.xyz·20h·
Discuss: Hacker News
🗜️Graph Compression
Show HN: m(ctf)p – A semi-automated environment for solving CTF challenges
git.sr.ht·1d·
Discuss: Hacker News
⚡Proof Automation
Memory Safety in Web Rust System Zero Cost Secure(1751130747707300)
dev.to·15h·
Discuss: DEV
🦀Rust Borrowing
RTK – query your Rust codebase and make bindings anywhere
github.com·1d·
Discuss: Hacker News, Hacker News
🦀Rust Macros
Releasing 0.5.0 of lfqueue - Lock-free MPMC queues
reddit.com·6h·
Discuss: r/rust
🔩Systems Programming
Modern Web Architecture Type Safety Error Best(1751148990547400)
dev.to·10h·
Discuss: DEV
🛡️WASM Security
Loading...Loading more...
AboutBlogChangelogRoadmap