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
8533
posts in
350.4
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
miniKanren.org
minikanren.org
·
3d
·
Discuss:
Lobsters
📦
Module Systems
CReact
:
JSX
meta-execution engine v0.3.0
dev.to
·
4d
·
Discuss:
DEV
🔧
ppx
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
A Theory for
Probabilistic
Polynomial-Time
Reasoning
arxiv.org
·
1d
🧠
Automated Reasoning
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
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
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
·
4d
·
Discuss:
Hacker News
🎮
Verification Games
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
3d
·
Discuss:
Hacker News
🔧
ppx
"
Compiled
"
Specs
deepclause.substack.com
·
4d
·
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
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
3d
·
Discuss:
Hacker News
🔤
Language Design
How to Reduce
Telemetry
Volume by 40%
Smartly
newsletter.signoz.io
·
4d
·
Discuss:
Hacker News
,
r/programming
👁️
Observability
Upcoming changes to Let's
Encrypt
and how they affect
XMPP
server operators
blog.prosody.im
·
6d
·
Discuss:
Hacker News
🔒
Protocol Verification
Show HN: Have I Been
Clawned
– 72-check security audit for
OpenClaw
agents
haveibeenclawned.com
·
3d
·
Discuss:
Hacker News
🛡️
macOS Security
Loading...
Loading more...
« Page 9
•
Page 11 »
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