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
🎲 Quickcheck
Property Testing, Fuzzing, Test Generation, Rust Testing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
76446
posts in
257.5
ms
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
1d
🦀
Rust
Testing can be
fun
, actually
giacomocavalieri.me
·
1d
·
Discuss:
Hacker News
🔍
Proptest
🎲 TypeScript
strictness
is
non-monotonic
: strict-null-checks and no-implicit-any interact
huonw.github.io
·
22h
📘
TypeScript
To
Consume
or
Reference
in Rust
meejah.ca
·
1d
🦀
Rust Lifetimes
Build a
Compiler
in Five Projects
kmicinski.com
·
8h
🔨
Compilers
Built a
KiCAD
schematic
analyzer in Rust - would appreciate code review
github.com
·
15h
·
Discuss:
r/rust
🔧
Embedded Rust
Week 1: Why did I start learning Rust?
vitaliihonchar.com
·
4h
·
Discuss:
r/programming
🦀
Rust
*Minor
spelling
mistake* in Opus 4.6
VSCode
extension system prompt
pastebin.com
·
17h
·
Discuss:
r/ClaudeAI
💻
CLI Tools
Why I use
Typetify
: A Type-Safe Alternative to
Lodash
dev.to
·
5h
·
Discuss:
DEV
🦕
Deno
codx-dev/msgpacker
: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com
·
1d
·
Discuss:
Hacker News
📦
Serde
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
1d
·
Discuss:
Hacker News
λ
Functional Programming
Linting
intra-task concurrency and
FutureLock
farnoy.dev
·
2d
·
Discuss:
r/rust
🦀
Rust Async
Built a tiny fast library for catching
obvious
prompt
injections
reddit.com
·
1d
·
Discuss:
r/golang
🔍
Linux BPF
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
2d
✓
Formal Verification
Rust devs
surveil
cheaters
like they're 'playing an RTS game': 'Every gun shot, every message, every dropped item, every kind of interaction is logged'
pcgamer.com
·
1h
🦀
Rust
The
Kubernetes
Effect
yamlscript.org
·
12h
📦
Serde
RUSTSEC-2025-0149
: below: World
Writable
Directory in /var/log/below Allows Local Privilege Escalation
rustsec.org
·
6h
🦀
Rust
Extending
Qodana
: Adding Custom Code Inspections | The
JetBrains
Platform Blog
blog.jetbrains.com
·
2d
📡
SonarQube
IAM
Security
Audit
tolubanji.com
·
4h
·
Discuss:
DEV
🔒
Security
Both GCC and
Clang
generate
strange/inefficient
code
codingmarginalia.blogspot.com
·
20h
·
Discuss:
Hacker News
,
Hacker News
🎯
Escape Analysis
Loading...
Loading more...
Page 2 »
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