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
17841
posts in
207.1
ms
Abstract Framework for All-Path
Reachability
Analysis
arxiv.org
·
5d
⏰
Temporal Logic
The Engineer's Guide to
Elastic
Detections
as Code
elastic.co
·
6d
✅
Archive Validation
CAP-SRP
: Building a Cryptographic Flight Recorder for AI Content
Refusals
— A Complete Implementation Guide
dev.to
·
3d
·
Discuss:
DEV
🌳
Archive Merkle Trees
Groverkss/mlir-tutor
: Exercises for Learning MLIR (Originally written for
PPoPP
2026)
github.com
·
5d
·
Discuss:
Hacker News
,
r/Compilers
🎵
Audio ML
Mastering
Slow Query Optimization in Legacy Go
Codebases
dev.to
·
6d
·
Discuss:
DEV
🦀
Rusty Databases
yomaytk/elfconv
: AOT binary translator of Linux/ELF → WebAssembly
github.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
🕸️
WASM Archives
a
Pingora-based
reverse
proxy
(inspired by River)
sentinel.raskell.io
·
6d
·
Discuss:
Hacker News
🤖
Network Automation
What are
Effect
System and Why Do We care?
idiomaticsoft.com
·
6d
✨
Effect Handlers
Simple
vanilla
restaurant
booking
system
vanillife.substack.com
·
6d
·
Discuss:
Substack
🧬
PostgreSQL Forensics
Microsoft's New Open-Source Project:
LiteBox
As A Rust-Based
Sandboxing
Library OS
phoronix.com
·
5d
·
Discuss:
Hacker News
,
r/linux
🌐
WASI
Writing
the Code That
Powers
Your Code
thelinell.com
·
6d
·
Discuss:
Hacker News
📜
Proof Carrying Code
Wirth
's
Revenge
jmoiron.net
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
⚡
Incremental Computation
Skill
Issues: An
OpenClaw
Malware Campaign
cantpwn.com
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
Mekara
:
Workflows
as Code Proof-of-Concept
meksys-dev.github.io
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
GNU
Coreutils
9.10 Released With Stability Fixes
linuxiac.com
·
6d
🔗
Static Linking
We
Scanned
an AI Assistant for Security Issues: 12,465
Vulnerabilities
codeslick.dev
·
6d
·
Discuss:
Hacker News
🔓
Hacking
[D]
OpenClaw
can't
automate
half the things I want in an automation
reddit.com
·
6d
·
Discuss:
r/MachineLearning
⚡
Proof Automation
I built a free
ML
practice
platform - would love your feedback [P]
reddit.com
·
6d
·
Discuss:
r/MachineLearning
🎵
Audio ML
six
thoughts
on
generating
c
wingolog.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🦀
Rust Macros
Why you should
consider
F#
asfaload.com
·
4d
·
Discuss:
Hacker News
🔒
Type Safety
Loading...
Loading more...
« Page 15
•
Page 17 »
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