🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ“‘ Network Protocol Design

TCP/IP, BGP, DNS, Protocol Verification

Pinger: A simple network latency and packet loss monitor
github.comΒ·3dΒ·
Discuss: Hacker News
πŸ‘οΈSystem Observability
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.orgΒ·5h
βš™οΈPL Implementation
Binding Application in Idris
andrevidela.comΒ·10hΒ·
Discuss: Hacker News
πŸ” Type-Level Programming
Ever looked at an MCP server and wondered why we’re running a whole wrapper just to pass JSON through? So I scrapped the wrapper entirely and let agents call th...
reddit.comΒ·13hΒ·
Discuss: r/programming
🌐NetworkProtocols
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.comΒ·1dΒ·
Discuss: Hacker News
🐫Embedded OCaml
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.coΒ·21hΒ·
Discuss: Hacker News
πŸ€–Program Synthesis
Specification Grounding: The Missing Link in Vibe Coding
unstract.comΒ·16hΒ·
Discuss: Lobsters, Hacker News
πŸ”Formal Verification
A model for IV&V that's useful
waldo.jaquith.orgΒ·10hΒ·
Discuss: Hacker News
πŸ”„Reproducible Builds
2-4 wire converters / hybrids (2009)
sound-au.comΒ·3dΒ·
Discuss: Hacker News
🌐NetworkProtocols
The Right Approach to Authorization in RAG
osohq.comΒ·1dΒ·
Discuss: Hacker News
πŸ›‘οΈseL4
An InfoSec Architect's First Taste of Temporal
supasaf.comΒ·2dΒ·
Discuss: Hacker News
βš™οΈPL Implementation
Wormhole (protocol)
en.wikipedia.orgΒ·3dΒ·
Discuss: Hacker News
🌐NetworkProtocols
Networking recommendations
reddit.comΒ·1dΒ·
Discuss: r/homelab
🏠HomeLab
System Design Interview Question: Design URL Shortener
javarevisited.substack.comΒ·3dΒ·
Discuss: r/programming
🧱Immutable Infrastructure
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.comΒ·1hΒ·
Discuss: Substack
πŸ”Formal Verification
Most RESTful APIs Aren't RESTful
florian-kraemer.netΒ·2dΒ·
Discuss: Hacker News
🌐NetworkProtocols
Secure Your Keys with Keyand.me
thasso.xyzΒ·1hΒ·
Discuss: Hacker News
πŸ›‘οΈseL4
The Frequency Response of Networks as Open Systems
arxiv.orgΒ·3d
🌐NetworkProtocols
Scanning for Post-Quantum Cryptographic Support
anvilsecure.comΒ·2dΒ·
Discuss: Hacker News
🌐NetworkProtocols
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.orgΒ·5h
βœ“Automated Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap