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
⚖️ Verification Calculi
Refinement Types, SMT Integration, Program Logic, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
22911
posts in
850.4
ms
EFS-CSI-Driver
and the curse of the missing (deleted)
PVC
in #Kubernetes
jon.sprig.gs
·
2d
📦
Container Security
Reliable
Deployments
for Large Kubernetes Fleet
fastly.com
·
2d
👁️
Observatory Systems
Infrastructure as Code in
Practice
: What It
Solves
— and What It Doesn’t
hackernoon.com
·
2d
🧱
Immutable Infrastructure
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
5d
·
Discuss:
DEV
⚔️
Lean Tactics
Hope Is Not a Security Strategy: Why
Secure-by-Default
Beats
Hardening
tuananh.net
·
3d
·
Discuss:
Lobsters
🔒
WASM Capabilities
I Built a
Programming
Language Where think Is a
Keyword
dev.to
·
4d
·
Discuss:
DEV
🔗
Concatenative Programming
I Started Programming When I Was 7. I'm 50 Now, and the Thing I
Loved
Has
Changed
jamesdrandall.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🍎
Apple Computing
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
2d
🌐
WASI
Insecurity
of Quantum Secure
Computations
paperium.net
·
2d
·
Discuss:
DEV
🔐
Quantum Security
Grounding Generative
Planners
in
Verifiable
Logic: A Hybrid Architecture for Trustworthy Embodied AI
arxiv.org
·
2d
📏
Linear Logic
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
2d
🔗
Functional Compilers
Building a
Slack
Bot
siivikko.fi
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
MCP
Knife
: A CLI Swiss Army
Knife
for MCP
Servers
vivekhaldar.com
·
2d
·
Discuss:
Hacker News
🤖
Network Automation
Have I
hardened
against LLMs?
baldurbjarnason.com
·
3d
·
Discuss:
Hacker News
🔐
Systems Hardening
Deobfuscation
and Analysis of
Ring-1.io
back.engineering
·
3d
·
Discuss:
Hacker News
🔒
Secure Boot
C and
Undefined
Behaviour
lelanthran.com
·
3d
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
🦀
Rust Macros
Understanding the Go
Runtime
: The
Bootstrap
internals-for-interns.com
·
3d
·
Discuss:
Hacker News
,
r/golang
🔩
Systems Programming
The Future of Software Engineering
poberezkin.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Amiga
GadTools
Library
wiki.amigaos.net
·
2d
·
Discuss:
Hacker News
💧
Liquid Types
Testing software in the era of coding agents
garymm.org
·
2d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Loading...
Loading more...
« Page 10
•
Page 12 »
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