Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🌐 NetworkProtocols
TLS, Formal Specification, Protocol State Machines, Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8575
posts in
191.9
ms
HTTP
1.1 server from
scratch
reddit.com
·
5d
·
Discuss:
r/golang
🌐
Network Protocols
Introducing
TealTiger
: AI Security & Cost Control Made Simple
dev.to
·
4d
·
Discuss:
DEV
🔒
Protocol Verification
miniKanren.org
minikanren.org
·
3d
·
Discuss:
Lobsters
📦
Module Systems
Function
Calling
& Tool
Schemas
dev.to
·
4d
·
Discuss:
DEV
λ
Functional Programming
Towards
Poisoning
Robustness
Certification for Natural Language Generation
arxiv.org
·
1d
🧪
Property-Based Testing
PACC
: Protocol-Aware Cross-Layer
Compression
for Compact Network Traffic Representation
arxiv.org
·
2d
🌐
Network Protocols
Lazy-pulling containers: 65x faster pulls, but 20x
slower
readiness
blog.zmalik.dev
·
3d
·
Discuss:
Hacker News
🐳
Containerization
Hot-Potato
Routing
en.wikipedia.org
·
3d
·
Discuss:
Hacker News
📡
Network Protocol Design
Sony
Ericsson
Course
Material
(2012)
systemicsoftwaredebugging.com
·
3d
·
Discuss:
Hacker News
🔬
Reverse Engineering
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
6d
·
Discuss:
Hacker News
🔄
Finite State Machines
Secure Boot (
Gentoo
Wiki
)
wiki.gentoo.org
·
3d
·
Discuss:
Hacker News
🛡️
macOS Security
Show HN:
Klint
– Linux Kernel Security
Scanner
saturnine.cc
·
3d
·
Discuss:
Hacker News
🔧
Unikernel Development
What Your Claude Code Agents Don't Need to Be
Told
helderberto.com
·
3d
·
Discuss:
Hacker News
🛡️
seL4
Context Is Part of the Game
joy.pm
·
4d
·
Discuss:
Hacker News
🎮
Verification Games
Show HN:
Mojic
– A C code
obfuscator
and encryption tool for source protection
amit.is-a.dev
·
3d
·
Discuss:
Hacker News
🛡️
macOS Security
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
3d
·
Discuss:
Hacker News
🔧
ppx
Can
Quantum-Mechanical
Description
of Physical Reality Be Considered Complete? [pdf]
cds.cern.ch
·
4d
·
Discuss:
Hacker News
🐫
OCaml
"
Compiled
"
Specs
deepclause.substack.com
·
4d
·
Discuss:
Substack
🔍
Formal Verification
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
3d
·
Discuss:
Hacker News
🔤
Language Design
Production pain points and coordination patterns from building a
dual-orchestrator
(Claude + Kimi) system on Claude Code. 8 failure modes with specs and
invariants
.
gist.github.com
·
4d
·
Discuss:
Hacker News
🔀
OCaml Multicore
Loading...
Loading more...
« Page 10
•
Page 12 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help