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
17875
posts in
575.4
ms
Efficient and
Adaptable
Detection of Malicious LLM Prompts via
Bootstrap
Aggregation
arxiv.org
·
14h
🧪
Binary Fuzzing
ArkEval
: Benchmarking and Evaluating Automated
CodeRepair
for ArkTS
arxiv.org
·
14h
📏
Code Metrics
How to write your first
obfuscator
of Java
Bytecode
blog.quarkslab.com
·
5d
📜
Proof Carrying Code
Boost LLM Security: automated Red
Teaming
at Scale with
Promptfoo
blog.nviso.eu
·
5d
⚡
Proof Automation
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
libfirm/cparser
: C99 parser and frontend for
libfirm
github.com
·
5d
·
Discuss:
Hacker News
🔓
Decompilation
**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
Building a C
compiler
with a team of parallel
Claudes
anthropic.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/ClaudeAI
,
r/Compilers
,
r/embedded
,
r/rust
🔩
Systems Programming
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
·
5d
·
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
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