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

Image Rotation: Mutable Arrays in Haskell
mmhaskell.comΒ·15h
Ξ»Lambda Encodings
Mute-by-default is why your video calls suck
caseyavila.comΒ·1dΒ·
Discuss: Hacker News
πŸ‘‚Psychoacoustics
AI Today Is Like the Early Internet
curtispoe.orgΒ·2d
🌍Cultural Algorithms
Plasma & Kate on Wayland in 2025
cullmann.devΒ·1dΒ·
Discuss: r/linux
πŸ•ΈοΈWASM Archives
NIH Is Far Cheaper Than The Wrong Dependency
lewiscampbell.techΒ·4dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ“Code Metrics
iMessage integration in Claude can hijack the model to do anything
generalanalysis.comΒ·23hΒ·
Discuss: Hacker News
🌐DNS Security
What is an Entity Component System architecture for game development? (2012)
richardlord.netΒ·3dΒ·
Discuss: Hacker News
πŸ”’WASM Capabilities
Are We Cooked?
bonnycode.comΒ·3dΒ·
Discuss: Hacker News
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
[Lib] Flux is a high-performance, zero-copy message transport (IPC, UDP, RUDP) library for Rust
reddit.comΒ·1dΒ·
Discuss: r/rust
πŸ¦€Rust Macros
AI Culture: The Next Evolution of Intelligence
notes.iunknown.comΒ·2dΒ·
Discuss: Hacker News
🌍Cultural Algorithms
[Project] DNS Forwarder β€” Simple DNS Forwarder in Go (with Docker)
reddit.comΒ·2dΒ·
Discuss: r/homelab
🌐DNS over QUIC
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.toΒ·4dΒ·
Discuss: DEV
πŸ”„Language Evolution
Intelligent Virtual Sonographer (IVS): Enhancing Physician-Robot-Patient Communication
arxiv.orgΒ·3d
πŸŽ™οΈWhisper
How I Built an Automated GitHub Security Bot in a Weekend
dev.toΒ·3dΒ·
Discuss: DEV
⚑Proof Automation
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.orgΒ·4d
πŸ”Quantum Security
On Pre-training of Multimodal Language Models Customized for Chart Understanding
arxiv.orgΒ·20h
πŸ“ŠLearned Metrics
Building with Bolt: My Journey Creating a Smart Task Manager with AI
dev.toΒ·1dΒ·
Discuss: DEV
⚑Proof Automation
5 Essential Python Design Patterns for Scalable and Efficient Code
dev.toΒ·3dΒ·
Discuss: DEV
🧩WASM Components
Building Production-Grade Network Telemetry: A gRPC Journey Into the Heart of Network Monitoring
dev.toΒ·5dΒ·
Discuss: DEV
πŸ“‘Network Monitoring
Spack v1.0 Is Out
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ“¦Package Managers
Loading...Loading more...
AboutBlogChangelogRoadmap