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
9389
posts in
188.7
ms
Technical
writeup
: Implementing Discord’s rate
limiting
, gateway management, and “clarity over magic”
scurry-works.github.io
·
3d
·
Discuss:
r/programming
🌐
ActivityPub
I built a
cryptographic
memory layer for humans in Python tags: python,
opensource
, security, blockchain
dev.to
·
4d
·
Discuss:
DEV
🛡️
macOS Security
CAP-SRP
: Building a Cryptographic Flight Recorder for AI Content
Refusals
— A Complete Implementation Guide
dev.to
·
5d
·
Discuss:
DEV
🛡️
seL4
Craig
Interpolation
in Program Verification
arxiv.org
·
1d
🔍
CBMC
Still Manual? Automated
Linter
Configuration via
DSL-Based
LLM Compilation of Coding Standards
arxiv.org
·
1d
🔤
DSLs
MCP
multiplexer
that cuts agent context
usage
by 95%
mcplexor.com
·
2d
·
Discuss:
Hacker News
💬
Mach Messages
Setting
Up an
IRC
Server
neatnik.net
·
3d
·
Discuss:
Hacker News
💬
Mach Messages
Well-Typed.Com
:
hs-bindgen
0.1-alpha release
well-typed.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
📦
Opam
Notepad
++
DLL
Hijack (2017)
wikileaks.org
·
3d
·
Discuss:
Hacker News
📦
Opam
Can my
SPARC
server host a website?
rup12.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/homelab
🏠
HomeLab
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
4d
·
Discuss:
Hacker News
💻
CLI Tools
Building a
Slack
Bot
siivikko.fi
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
Minions
:
Stripe
’s one-shot, end-to-end coding agents
stripe.dev
·
2d
·
Discuss:
Hacker News
🌐
ActivityPub
A live view of
OpenClaw
instances
brought to you by the STRIKE Research Team
declawed.io
·
2d
·
Discuss:
Hacker News
🔒
Protocol Verification
A Language For Agents
lucumr.pocoo.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔤
Language Design
Running Your Own AS: BGP on FreeBSD with
FRR
,
GRE
Tunnels, and Policy Routing
blog.hofstede.it
·
3d
·
Discuss:
Lobsters
,
Hacker News
📡
Network Protocol Design
Show HN: Applying
OAuth/RBAC
patterns to secure AI agents
macawsecurity.ai
·
2d
·
Discuss:
Hacker News
🛡️
macOS Security
Redefining
Go
Functions
pboyd.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
🏢
Jane Street Core
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
3d
·
Discuss:
Hacker News
🔧
ppx
A
one-prompt
attack that breaks LLM safety
alignment
microsoft.com
·
2d
·
Discuss:
Hacker News
🛡️
seL4
Loading...
Loading more...
« Page 5
•
Page 7 »
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