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
16772
posts in
378.6
ms
On the
Reachability
Problem for One-Dimensional Thin
Grammar
Vector Addition Systems
arxiv.org
·
4d
🌳
Context free grammars
Identifying
Adversary
Tactics and Techniques in Malware
Binaries
with an LLM Agent
arxiv.org
·
1d
🦠
Malware Analysis
MCP in
Burp
Suite: From
Enumeration
to Targeted Exploitation
dev.to
·
4d
·
Discuss:
DEV
🧪
CBOR Fuzzing
Using
Microvm.nix
to Sandbox
OpenClaw
buduroiu.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
❄️
Nixpkgs
**Title**
dev.to
·
3d
·
Discuss:
DEV
👁️
Perceptual Hashing
Show HN:
ZigZag
– A Bubble Tea-Inspired
TUI
Framework for Zig
github.com
·
3d
·
Discuss:
Hacker News
🧮
Z3 Solver
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
4d
·
Discuss:
Hacker News
🎯
Performance Proofs
ArthurHeymans/emacs-tramp-rpc
: High-performance TRAMP backend using
JSON-RPC
instead of shell parsing
github.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚡
gRPC
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
4d
·
Discuss:
Hacker News
📊
Quantization
Things
Unix
can do
atomically
rcrowley.org
·
4d
·
Discuss:
Hacker News
📂
Directory Synchronization
Safe,
Sandboxed
Linux VM for
OpenClaw
and AI Agents
agentvm.deepclause.ai
·
4d
·
Discuss:
Hacker News
🛡️
CLI Security
Rust is Just a Tool
lewiscampbell.tech
·
6d
·
Discuss:
Hacker News
🦀
Embedded Rust
Built a tiny fast library for catching
obvious
prompt
injections
reddit.com
·
4d
·
Discuss:
r/golang
🧪
Binary Fuzzing
Native UI
toolkit
Slint
1.15 released 🎉
slint.dev
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
r/embedded
,
r/programming
,
r/rust
🎯
Gradual Typing
Rust Project
Goals
2026
rust-lang.github.io
·
6d
·
Discuss:
Hacker News
🦀
Rust Borrowing
QT4
grammar
explorer
so.nwalsh.com
·
6d
📝
Parsing Grammars
ML-LIB
: Machine Learning Library Proposed For The Linux Kernel
phoronix.com
·
3d
·
Discuss:
Hacker News
🎵
Audio ML
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
6d
·
Discuss:
Hacker News
,
r/programming
⚔️
Lean Tactics
Testing can be
fun
, actually
giacomocavalieri.me
·
4d
·
Discuss:
Lobsters
,
Hacker News
🧪
Binary Fuzzing
26x
technicalchops.com
·
5d
·
Discuss:
Hacker News
🔗
Topological Sorting
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