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
9172
posts in
152.0
ms
Technical
writeup
: Implementing Discord’s rate
limiting
, gateway management, and “clarity over magic”
scurry-works.github.io
·
4d
·
Discuss:
r/programming
🌐
ActivityPub
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
4d
·
Discuss:
DEV
🧱
Immutable Infrastructure
I built a
cryptographic
memory layer for humans in Python tags: python,
opensource
, security, blockchain
dev.to
·
4d
·
Discuss:
DEV
🛡️
macOS Security
Bounded
Modal
Logic
arxiv.org
·
1d
⏳
LTL
On A
Parameterized
Theory of Dynamic Logic for
Operationally-based
Programs
arxiv.org
·
1d
✅
Model Checking
Setting
Up an
IRC
Server
neatnik.net
·
3d
·
Discuss:
Hacker News
💬
Mach Messages
MCP
multiplexer
that cuts agent context
usage
by 95%
mcplexor.com
·
3d
·
Discuss:
Hacker News
💬
Mach Messages
Notepad
++
DLL
Hijack (2017)
wikileaks.org
·
3d
·
Discuss:
Hacker News
📦
Opam
Can my
SPARC
server host a website?
rup12.net
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/homelab
🏠
HomeLab
Well-Typed.Com
:
hs-bindgen
0.1-alpha release
well-typed.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
📦
Opam
A live view of
OpenClaw
instances
brought to you by the STRIKE Research Team
declawed.io
·
2d
·
Discuss:
Hacker News
🔒
Protocol Verification
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
4d
·
Discuss:
Hacker News
💻
CLI Tools
Minions
:
Stripe
’s one-shot, end-to-end coding agents
stripe.dev
·
2d
·
Discuss:
Hacker News
🌐
ActivityPub
Building a
Slack
Bot
siivikko.fi
·
2d
·
Discuss:
Hacker News
🎮
Verification Games
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
·
4d
·
Discuss:
Lobsters
,
Hacker News
📡
Network Protocol Design
A
one-prompt
attack that breaks LLM safety
alignment
microsoft.com
·
3d
·
Discuss:
Hacker News
🛡️
seL4
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
3d
·
Discuss:
Hacker News
🔧
ppx
Show HN: Applying
OAuth/RBAC
patterns to secure AI agents
macawsecurity.ai
·
3d
·
Discuss:
Hacker News
🛡️
macOS Security
Building "zero-gap"
secrets
for a
UGC
platform
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
🛡️
macOS Security
Loading...
Loading more...
« Page 7
•
Page 9 »
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