🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📡 Network Protocol Design
TCP/IP, BGP, DNS, Protocol Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org
·
6h
⚙️
PL Implementation
Binding Application in Idris
andrevidela.com
·
11h
·
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
·
14h
·
Discuss:
r/programming
🌐
NetworkProtocols
Pinger: A simple network latency and packet loss monitor
github.com
·
3d
·
Discuss:
Hacker News
👁️
System Observability
Struggling with light weight audio routing container
i.redd.it
·
1d
·
Discuss:
r/homelab
🏠
HomeLab
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
·
23h
·
Discuss:
Hacker News
🤖
Program Synthesis
Specification Grounding: The Missing Link in Vibe Coding
unstract.com
·
17h
·
Discuss:
Lobsters
,
Hacker News
🔍
Formal Verification
A model for IV&V that's useful
waldo.jaquith.org
·
12h
·
Discuss:
Hacker News
🔄
Reproducible Builds
The Right Approach to Authorization in RAG
osohq.com
·
1d
·
Discuss:
Hacker News
🛡️
seL4
2-4 wire converters / hybrids (2009)
sound-au.com
·
3d
·
Discuss:
Hacker News
🌐
NetworkProtocols
Wormhole (protocol)
en.wikipedia.org
·
3d
·
Discuss:
Hacker News
🌐
NetworkProtocols
An InfoSec Architect's First Taste of Temporal
supasaf.com
·
2d
·
Discuss:
Hacker News
⚙️
PL Implementation
Networking recommendations
reddit.com
·
1d
·
Discuss:
r/homelab
🏠
HomeLab
System Design Interview Question: Design URL Shortener
javarevisited.substack.com
·
4d
·
Discuss:
r/programming
🧱
Immutable Infrastructure
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com
·
3h
·
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
·
2h
·
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
Loading...
Loading more...
« Page 2
•
Page 4 »