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
8696
posts in
217.4
ms
We Built a
Decentralized
Agent Trust
Layer
on AT Protocol 💙🦞
dev.to
·
5d
·
Discuss:
DEV
🌐
ActivityPub
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
Craig
Interpolation
in Program Verification
arxiv.org
·
2d
🔍
CBMC
Still Manual? Automated
Linter
Configuration via
DSL-Based
LLM Compilation of Coding Standards
arxiv.org
·
2d
🔤
DSLs
Well-Typed.Com
:
hs-bindgen
0.1-alpha release
well-typed.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
📦
Opam
IP
Address Space for
Outer
Space
datatracker.ietf.org
·
1d
·
Discuss:
Hacker News
📡
Network Protocol Design
Building a
Slack
Bot
siivikko.fi
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
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
Show HN:
SubAnalyzer
subdomain
discovery and external attack surface map tool
subanalyzer.com
·
3d
·
Discuss:
Hacker News
🛡️
macOS Security
Redefining
Go
Functions
pboyd.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
🏢
Jane Street Core
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
Show HN: EU AI Act
Layer
x-loop3.com
·
2d
·
Discuss:
Hacker News
📦
OPAM
A
one-prompt
attack that breaks LLM safety
alignment
microsoft.com
·
2d
·
Discuss:
Hacker News
🛡️
seL4
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
3d
·
Discuss:
Hacker News
🔧
ppx
Show HN:
ClawKit
｜Open-source toolkit to configure and debug
OpenClaw
AI agents
getclawkit.com
·
1d
·
Discuss:
Hacker News
🌐
ActivityPub
Building "zero-gap"
secrets
for a
UGC
platform
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
🛡️
macOS Security
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