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
23148
posts in
762.9
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
Improving
your response to
vulnerability
management
ncsc.gov.uk
·
2d
💾
Persistence Strategies
Discovering
Negative-Days
with LLM Workflows
spaceraccoon.dev
·
5d
🧪
CBOR Fuzzing
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
3d
·
Discuss:
DEV
🧱
Immutable Infrastructure
A
Proof
of P =
NP
dev.to
·
3d
·
Discuss:
DEV
🎯
Performance Proofs
A Theory for
Probabilistic
Polynomial-Time
Reasoning
arxiv.org
·
1d
🔗
Combinatory Logic
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
1d
🔗
Concatenative Programming
Why you should
consider
F#
asfaload.com
·
5d
·
Discuss:
Hacker News
🔒
Type Safety
Show HN:
Klint
– Linux Kernel Security
Scanner
saturnine.cc
·
2d
·
Discuss:
Hacker News
🔍
eBPF
Fibonacci
numbers and time-space
tradeoffs
johndcook.com
·
3d
·
Discuss:
Hacker News
📐
Interval Arithmetic
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
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
4d
·
Discuss:
Hacker News
🌳
Incremental Parsing
Some
thoughts
on LLM coding
blog.dave.tf
·
3d
·
Discuss:
Hacker News
📏
Code Metrics
The Most Popular
Agentic
Open-Source Tools (2026 Edition)
you.com
·
2d
·
Discuss:
Hacker News
🔓
Open Source Software
Migrational
Thinking
productengineered.com
·
2d
·
Discuss:
Hacker News
🦋
Format Metamorphosis
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
6d
·
Discuss:
Hacker News
🎯
Gradual Typing
EU AI Act
Compliance
for
Enterprise
AI Systems: What Your Engineering Team Needs to Build
medium.com
·
2d
·
Discuss:
Hacker News
⚖️
Legal Compliance
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
4d
·
Discuss:
Hacker News
🦀
Rust Macros
Loading...
Loading more...
« Page 12
•
Page 14 »
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