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
23937
posts in
1.04
s
Ethereum Signature Schemes Explained: ECDSA, BLS,
XMSS
, and Post-Quantum
leanSig
with Rust Code Examples
blog.lambdaclass.com
·
2d
🔗
Hash Chains
Kernel 6.19: GPU,
SoC
, and Rust
improvements
collabora.com
·
1d
🖥️
Modern Terminals
The
Univalence
Principle
golem.ph.utexas.edu
·
19h
🔶
Cubical Type Theory
Rust 1.77 and 1.78: The Changes That Happened to
u128/i128
hackernoon.com
·
4d
🦀
Rust Borrowing
AlgoVeri
: An
Aligned
Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org
·
16h
🎯
Performance Proofs
FreeBSD
Security Advisory
FreeBSD-SA-26
:
03.blocklistd
discoverbsd.com
·
12h
🔌
Operating system internals
miniKanren.org
minikanren.org
·
2d
·
Discuss:
Lobsters
🦀
Rust Macros
EdgeQuake
: Rust-powered RAG framework for production knowledge
graphs
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦀
Rust Borrowing
Bounded
Modal
Logic
arxiv.org
·
16h
📏
Linear Logic
Revisiting
Regular
Types
abseil.io
·
3d
λ
Lambda Encodings
AI agent
sandboxing
in 2026: how to choose between primitives,
runtimes
, and platforms
manveerc.substack.com
·
3h
·
Discuss:
Substack
🛡️
WASM Sandboxing
mitsuhiko/insta
: A snapshot testing library for rust
github.com
·
3h
🦀
Rust Borrowing
SIEVE
: an Efficient Turn-Key Eviction Algorithm for Web
Caches
cachemon.github.io
·
3h
·
Discuss:
Hacker News
🌳
Persistent Data Structures
Trusting
Trust in the
Fediverse
evilmaid.net
·
3h
·
Discuss:
Hacker News
🌳
Archive Merkle Trees
What's up with
Haskell
's do
notation
?
slightknack.dev
·
2d
🧬
Functional Programming
Quick
Comparison
of
JVM
Languages
jvmhost.com
·
1d
·
Discuss:
Hacker News
💧
Liquid Types
Rust in Linux:
Fixing
the
Edges
, Not the Core
dev.to
·
6d
·
Discuss:
DEV
🦀
Embedded Rust
Don't use
escaping
closures in
SwiftUI
rensbr.eu
·
1d
·
Discuss:
Hacker News
⬆️
Lambda Lifting
Build a
Compiler
in Five Projects
kmicinski.com
·
4d
🔨
Compilers
self-hosted streaming for teams that can't
justify
Kafka
typestream.io
·
5h
·
Discuss:
Hacker News
🌊
Streaming Systems
Loading...
Loading more...
« Page 2
•
Page 4 »
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