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
22943
posts in
521.2
ms
Generative
Type
experiments
brendandawes.com
·
2d
✨
Effect Handlers
The Myth of “Known APIs”: Why
Inventory-First
Security Models Are Already
Obsolete
lab.wallarm.com
·
2d
🔒
WASM Capabilities
Declarative
,
Reproducible
Emacs
irreal.org
·
4d
🧩
Shell Metaprogramming
Improving
your response to
vulnerability
management
ncsc.gov.uk
·
2d
💾
Persistence Strategies
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
4d
·
Discuss:
DEV
🧱
Immutable Infrastructure
A
Proof
of P =
NP
dev.to
·
3d
·
Discuss:
DEV
🎯
Performance Proofs
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
2d
🔗
Functional Compilers
A Theory for
Probabilistic
Polynomial-Time
Reasoning
arxiv.org
·
1d
🔗
Combinatory Logic
Why you should
consider
F#
asfaload.com
·
6d
·
Discuss:
Hacker News
🔒
Type Safety
Data Modeling for the Agentic Era:
Semantics
, Speed, and
Stewardship
rilldata.com
·
2d
·
Discuss:
Hacker News
🔢
Denotational Semantics
What Your Claude Code Agents Don't Need to Be
Told
helderberto.com
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
Show HN:
Klint
– Linux Kernel Security
Scanner
saturnine.cc
·
3d
·
Discuss:
Hacker News
🔍
eBPF
stdlib
v7.2
erlang.org
·
5d
·
Discuss:
Hacker News
🦀
Rusty Databases
a
declarative
spec for goals, plans, and
gated
execution
planspec.io
·
6d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Fibonacci
numbers and time-space
tradeoffs
johndcook.com
·
3d
·
Discuss:
Hacker News
📐
Interval Arithmetic
Some
thoughts
on LLM coding
blog.dave.tf
·
3d
·
Discuss:
Hacker News
📏
Code Metrics
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
4d
·
Discuss:
Hacker News
🌳
Incremental Parsing
The Most Popular
Agentic
Open-Source Tools (2026 Edition)
you.com
·
2d
·
Discuss:
Hacker News
🔓
Open Source Software
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
6d
·
Discuss:
Hacker News
🎯
Gradual Typing
Migrational
Thinking
productengineered.com
·
2d
·
Discuss:
Hacker News
🦋
Format Metamorphosis
Loading...
Loading more...
« Page 13
•
Page 15 »
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