πΏοΈ 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
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...
« Page 2
β’
Page 4 »