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

Discrete Differential Geometry Lecture 2B: Introduction to Manifolds
youtube.com·23h
🌀Differential Geometry
Automated Adaptive Skill Transfer in Personalized Robotic Assistants via Multi-Fidelity Reinforcement Learning
dev.to·17h·
Discuss: DEV
🤖Tape Automation
Simple Programming Languages
ryanbrewer.dev·2d·
Discuss: Hacker News
🔗Concatenative Programming
Grok’s Share and Claude’s Leak: 5 Things We Can Learn From System Prompts
machinelearningmastery.com·2d
📝ABNF Parsing
How Confident Are You, ChatGPT?
aylinakkus.github.io·1d·
Discuss: Hacker News
⚡Proof Automation
A subtle bug with Go's errgroup
gaultier.github.io·1d·
Discuss: Hacker News, r/golang
🧪Binary Fuzzing
Generating Structured Outputs from LLMs
towardsdatascience.com·1d
📐Format Grammars
Philosophy of Information
plato.stanford.edu·1d·
Discuss: Hacker News
📡Information theory
Lobsters Interview with Hwayne
lobste.rs·1d·
Discuss: Lobsters
⚔️Lean Tactics
I dove into Go's runtime to see how channels really work under the hood — here’s what I found
medium.com·2d·
Discuss: r/golang
🌐WebSocket Framing
Running a Reliable Service on LLMs
fin.ai·1d·
Discuss: Hacker News
🌊Streaming Systems
Try and
ygdp.yale.edu·1h·
Discuss: Hacker News
🔗Concatenative Programming
HTTP/2: The Sequel is Always Worse
portswigger.net·1d·
Discuss: Hacker News, r/programming
🛣️BGP Hijacking
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·22h·
Discuss: r/golang
🧠Lisp Dialects
My blog on zero-knowledge cryptography
kaw101010.github.io·3d·
Discuss: Hacker News
🔐Quantum Security
Benchmarks Show Speculative Decoding Needs the Right Draft Model for 3× Gains
bentoml.com·1d·
Discuss: Hacker News
💻Local LLMs
5 ways to 10x your "Vibe" coding
dev.to·23h·
Discuss: DEV
🦋Format Metamorphosis
Keep the Terminal Relevant: Patterns for AI Agent Driven CLIs – InfoQ
infoq.com·15h·
Discuss: Hacker News
📟CLI Design
Automated Risk Assessment & Mitigation Protocol Generation for HAZMAT Compliance
dev.to·10h·
Discuss: DEV
⚖️Constraint Logic
Security with network protocols Android Developers
developer.android.com·10h·
Discuss: Hacker News
🌐NetworkProtocols
Loading...Loading more...
AboutBlogChangelogRoadmap