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
⚡ Dependent Rust
Verification, Type-level Programming, Safety Proofs, Linear Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
17847
posts in
236.4
ms
Practical
Refinement
Session Type Inference (
Extended
Version)
arxiv.org
·
1d
🔄
Session Type Inference
Software Testing at the Network
Layer
: Automated
HTTP
API Quality Assessment and Security Analysis of Production Web Applications
arxiv.org
·
16h
🧪
Protocol Fuzzing
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
22h
·
Discuss:
Blogger
📊
Graph Databases
Valuable
News
discoverbsd.com
·
1d
🔌
Operating system internals
Rust in Linux:
Fixing
the
Edges
, Not the Core
dev.to
·
5d
·
Discuss:
DEV
🦀
Embedded Rust
How
StrongDM
’s AI team build
serious
software without even looking at the code
jmason.ie
·
1d
⚔️
Lean Tactics
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
16h
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
2d
·
Discuss:
Hacker News
⚡
Homebrew CPUs
Why JavaScript Needs
Structured
Concurrency
| Blog
frontside.com
·
1d
·
Discuss:
Hacker News
,
r/javascript
🐚
Bash Combinators
Redefining
Go
Functions
pboyd.io
·
7h
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
🧠
Lisp Dialects
Python's Dynamic
Typing
Problem
whileforloop.com
·
9h
·
Discuss:
Hacker News
,
r/programming
🎯
Gradual Typing
Linker
Script Generation for
Firmware
Projects: A Primer
dnedic.github.io
·
1d
·
Discuss:
Hacker News
,
r/embedded
🔗
Static Linking
How I Built My Project in
Haskell
dev.to
·
2d
·
Discuss:
DEV
🔗
Functional Compilers
Using an AI agent to design and ship a Rust
diff
fingerprinting
algorithm
argos-ci.com
·
21h
·
Discuss:
Hacker News
🔗
Binary Similarity
Show HN:
Klint
– Linux Kernel Security
Scanner
saturnine.cc
·
1d
·
Discuss:
Hacker News
🔍
eBPF
To
Consume
or
Reference
in Rust
meejah.ca
·
4d
🦀
Rust Borrowing
Graph
algebra
en.wikipedia.org
·
17h
🔄
Graph Rewriting
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
2d
·
Discuss:
Hacker News
🎯
Performance Proofs
We hid
backdoors
in
binaries
– Opus 4.6 found 49% of them
quesma.com
·
9h
·
Discuss:
Hacker News
,
r/ClaudeAI
,
r/programming
🦠
Malware Analysis
Show HN:
PolyMCP
–
AI-Callable
Python and TS Tools with Inspector and Apps
news.ycombinator.com
·
1h
·
Discuss:
Hacker News
🎙️
Whisper
Loading...
Loading more...
« Page 3
•
Page 5 »
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