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
23927
posts in
827.2
ms
Dada
: moves and
mutation
smallcultfollowing.com
·
1d
🦀
Rust Macros
ELA-1640-1
python2.7
security update
freexian.com
·
1d
🛡️
WASM Security
Safe, Fast, and Scalable: Why
gRPC-Rust
Should Be Your Next
RPC
Framework
youtube.com
·
6d
·
Discuss:
r/rust
⚡
gRPC
Python and Memory Management, Part 1:
Objects
dev.to
·
3d
·
Discuss:
DEV
🧠
Memory Allocators
Free(): Learning to
Forget
in
Malloc-Only
Reasoning Models
arxiv.org
·
1d
🏷️
Memory Tagging
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🔗
Functional Compilers
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
2d
⚔️
Lean Theorem
SIGKILL
durability
proof (per-visitor container)
ayder.xyz
·
2d
·
Discuss:
Hacker News
🌳
Persistent Data Structures
Performance Tip of the Week #62:
Identifying
and reducing memory
bandwidth
needs
abseil.io
·
3d
💨
Cache Analysis
SecureShellClaw
: A Prompt-Injection-Resistant Alternative Approach to
OpenClaw
jona.ca
·
2d
·
Discuss:
Hacker News
🛡️
CLI Security
We just built AWS
Lambda
with a browser built-in. (
Browserbase
Functions)
browserbase.com
·
1d
·
Discuss:
Hacker News
🌐
WASI
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
Understanding the Go
Runtime
: The
Bootstrap
internals-for-interns.com
·
2d
·
Discuss:
Hacker News
,
r/golang
🔩
Systems Programming
Why you should
consider
F#
asfaload.com
·
5d
·
Discuss:
Hacker News
💧
Liquid Types
Show HN:
Klint
– Linux Kernel Security
Scanner
saturnine.cc
·
2d
·
Discuss:
Hacker News
🔍
eBPF
Large Language Models for
Mortals
book released
crimede-coder.com
·
1d
·
Discuss:
Hacker News
λ
Lambda Formalization
Both GCC and
Clang
generate
strange/inefficient
code
codingmarginalia.blogspot.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
🚀
Compiler Optimizations
The hunt for
truly
zero-CVE
container images
thenewstack.io
·
23h
·
Discuss:
Hacker News
📦
Container Security
Sound and Practical Points-To Analysis for
Incomplete
C
Programs
[pdf]
sjalander.com
·
2d
·
Discuss:
Hacker News
🗜️
LZSS Variants
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
1d
·
Discuss:
Hacker News
⚔️
Lean Theorem
Loading...
Loading more...
« Page 4
•
Page 6 »
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