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
8723
posts in
219.3
ms
Showcase: "act" - A lightweight Go library for
cleaner
error
handling
- my take on the Go error
handling
discussion
reddit.com
·
4d
·
Discuss:
r/golang
📦
Opam
HTTP
1.1 server from
scratch
reddit.com
·
5d
·
Discuss:
r/golang
🌐
Network Protocols
CReact
:
JSX
meta-execution engine v0.3.0
dev.to
·
3d
·
Discuss:
DEV
🔧
ppx
Function
Calling & Tool
Schemas
dev.to
·
3d
·
Discuss:
DEV
λ
Functional Programming
AlgoVeri
: An
Aligned
Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org
·
1d
📐
Hoare Logic
Towards
Poisoning
Robustness
Certification for Natural Language Generation
arxiv.org
·
1d
🧪
Property-Based Testing
six
thoughts
on
generating
c
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
Sony
Ericsson
Course
Material
(2012)
systemicsoftwaredebugging.com
·
3d
·
Discuss:
Hacker News
🔬
Reverse Engineering
Show HN:
Klint
– Linux Kernel Security
Scanner
saturnine.cc
·
2d
·
Discuss:
Hacker News
🔧
Unikernel Development
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
3d
·
Discuss:
Hacker News
🔧
ppx
Show HN:
Mojic
– A C code
obfuscator
and encryption tool for source protection
amit.is-a.dev
·
3d
·
Discuss:
Hacker News
🛡️
macOS Security
Context
Is Part of the Game
joy.pm
·
3d
·
Discuss:
Hacker News
🎮
Verification Games
"
Compiled
"
Specs
deepclause.substack.com
·
3d
·
Discuss:
Substack
🔍
Formal Verification
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
Upcoming changes to Let's
Encrypt
and how they affect
XMPP
server operators
blog.prosody.im
·
5d
·
Discuss:
Hacker News
🔒
Protocol Verification
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
2d
·
Discuss:
Hacker News
🔤
Language Design
Breaking Down
CVE-2026-25049
: How TypeScript Types Failed
N8n
's Security
hetmehta.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
🔒
Protocol Verification
How to Reduce
Telemetry
Volume by 40%
Smartly
newsletter.signoz.io
·
3d
·
Discuss:
Hacker News
,
r/programming
👁️
Observability
Show HN:
BotsChat
, Chat UI Designed for
OpenClaw
botschat.app
·
2d
·
Discuss:
Hacker News
🌐
ActivityPub
Show HN: Have I Been
Clawned
– 72-check security audit for
OpenClaw
agents
haveibeenclawned.com
·
2d
·
Discuss:
Hacker News
🛡️
macOS Security
Loading...
Loading more...
« Page 8
•
Page 10 »
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