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
23089
posts in
581.6
ms
Ethereum Signature Schemes Explained: ECDSA, BLS,
XMSS
, and Post-Quantum
leanSig
with Rust Code Examples
blog.lambdaclass.com
·
2d
🔗
Hash Chains
Mini-Heap
dailynous.com
·
1d
⬜
Minimalism
The
Univalence
Principle
golem.ph.utexas.edu
·
1d
🔶
Cubical Type Theory
Becoming
More
blog.startifact.com
·
1d
🔲
Cellular Automata
mattermost
notes.billmill.org
·
1d
🕸️
WASM Archives
Linux 7.0
VFS
Changes: Non-Blocking
Timestamps
, Standardized Generic I/O Error Reporting
phoronix.com
·
1d
🔍
eBPF
[$] Kernel
control-flow-integrity
support comes to
GCC
lwn.net
·
5d
🐚
Shell Combinators
FreeBSD
Errata
Notice FreeBSD-EN-26:
04.arm64
bsdsec.net
·
1d
🐡
OpenBSD
miniKanren.org
minikanren.org
·
3d
·
Discuss:
Lobsters
🦀
Rust Macros
Free(): Learning to
Forget
in
Malloc-Only
Reasoning Models
arxiv.org
·
2d
🏷️
Memory Tagging
Rethinking
Code
Complexity
Through the Lens of Large Language Models
arxiv.org
·
2d
📏
Code Metrics
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
2d
🌐
WASI
Fast
Properties
in
V8
(2017)
v8.dev
·
3d
·
Discuss:
Hacker News
🌀
Brotli Dictionary
How we
didn
't
pick
Rust
floedb.ai
·
2d
·
Discuss:
Hacker News
🦀
Rust Borrowing
Standardizing
HLSL
devblogs.microsoft.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🖥️
Terminal Renaissance
The hunt for
truly
zero-CVE
container images
thenewstack.io
·
1d
·
Discuss:
Hacker News
📦
Container Security
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
2d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Show HN: Claude has a
compiler
, I have
SlopScript
slopscript.netlify.app
·
3d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Type
Variance
en.wikipedia.org
·
6d
·
Discuss:
Hacker News
🧮
Algebraic Datatypes
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
4d
·
Discuss:
Hacker News
💻
Programming languages
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