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
🔒 Type Safety
Memory Safety, Rust Ownership, Linear Types, Resource Management
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23353
posts in
577.2
ms
Common
Mistakes
[0]
ilya-sher.org
·
2d
✅
Format Verification
To
Consume
or
Reference
in Rust
meejah.ca
·
5d
🦀
Rust Borrowing
Linux 7.0 Adds support For
BPF
Filtering To IO_
uring
phoronix.com
·
1d
🔍
eBPF
Hope Is Not a Security Strategy: Why
Secure-by-Default
Beats
Hardening
tuananh.net
·
2d
·
Discuss:
Lobsters
🔒
WASM Capabilities
ELA-1642-1
python3.7
security update
freexian.com
·
1d
💣
ZIP Vulnerabilities
Function
Calling & Tool
Schemas
dev.to
·
3d
·
Discuss:
DEV
🦀
Rust Macros
Valuable
News
discoverbsd.com
·
2d
🔌
Operating system internals
Deterministic AI:
Reclaiming
Predictable Latency with Rust and Zero-Cost
Abstractions
dev.to
·
5d
·
Discuss:
DEV
🦀
Rust Borrowing
ArkEval
: Benchmarking and Evaluating Automated
CodeRepair
for ArkTS
arxiv.org
·
1d
📏
Code Metrics
Free(): Learning to
Forget
in
Malloc-Only
Reasoning Models
arxiv.org
·
1d
🏷️
Memory Tagging
Graph
algebra
en.wikipedia.org
·
1d
🔄
Graph Rewriting
Let
Lambda
Come Over
yamlscript.org
·
4d
⬆️
Lambda Lifting
Kernel-Level
Stealthy
Observation of
TTY
Streams
blog.cybervelia.com
·
1d
·
Discuss:
Hacker News
📺
VT100
Expectation
and
Copysets
buttondown.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
🧮
Kolmogorov Complexity
The Potential of
RLMs
dbreunig.com
·
1d
·
Discuss:
Hacker News
📏
Linear Logic
Rise of the
Cowboy
Coder
jollycoder.com
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
EarlyBinder
and
instantiating
parameters - Rust Compiler Development Guide
rustc-dev-guide.rust-lang.org
·
6d
·
Discuss:
Lobsters
,
Hacker News
⚡
Dependent Rust
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
1d
·
Discuss:
Hacker News
⚙️
Proof Engineering
A Language For Agents
lucumr.pocoo.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🗣️
Domain-Specific Languages
[
AINews
] "Sci-Fi with a touch of
Madness
"
latent.space
·
1d
·
Discuss:
Hacker News
🖥️
Terminal Renaissance
Loading...
Loading more...
« Page 5
•
Page 7 »
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