Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Linear Types
📏 Linear Types
Specific
Resource Management, Type Theory, Memory Safety, Rust Ownership
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
22
posts in
11.8
ms
The
Rust
Borrow
Checker
Is Not Your Problem: You Are Writing Java in
Rust
🦀
Rust
Content type:
Blog
medium.com
·
6d
6 days ago
Actions for The Rust Borrow Checker Is Not Your Problem: You Are Writing Java in Rust
Induction for extended
affine
type
A Soergel bimodules: first steps
📐
Formal Methods
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Induction for extended affine type A Soergel bimodules: first steps
Rust
in 2026: What Senior Engineers Are Quietly Unlearning
🦀
Rust
Content type:
Blog
medium.com
·
7h
7 hours ago
Actions for Rust in 2026: What Senior Engineers Are Quietly Unlearning
Less-relevant results
Rust
, C++, and the Tradeoffs Behind
Safe
Low-Level Code: interview with Nikita Lisitsa
🛡️
Odin
Content type:
Blog
Content type:
Discussion
serokell.io
·
2d
2 days ago
Actions for Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa
I Tried Using
Rust
for Real Work… and It Rewired How I Build Software
🦀
Rust
Content type:
Blog
medium.com
·
3d
3 days ago
Actions for I Tried Using Rust for Real Work… and It Rewired How I Build Software
Samuel Mimram — CSC_51051_EP -- Computational
logic
: from Artificial intelligence to Zero bugs
📐
Formal Methods
lix.polytechnique.fr
·
11h
11 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Rust
goal: cargo script (like uv does for Python)
🦀
Rust
rust-lang.github.io
·
1d
1 day ago
·
Hacker News
Actions for Rust goal: cargo script (like uv does for Python)
Introduction -
Rust
for Python Programmers
🦀
Rust
microsoft.github.io
·
6d
6 days ago
·
Hacker News
Actions for Introduction - Rust for Python Programmers
Why I Stopped Paying for Tunnels and Built My Own (in 500
Lines
of
Rust
).
🦀
Rust
Content type:
Code
github.com
·
15h
15 hours ago
·
DEV
Actions for Why I Stopped Paying for Tunnels and Built My Own (in 500 Lines of Rust).
Programming Languages Software Award
💻
Programming languages
sigplan.org
·
12h
12 hours ago
Actions for Programming Languages Software Award
The C++ Documentary Won't Show You a Number. I Will.
📊
Performance Profiling
hftuniversity.com
·
3d
3 days ago
·
Hacker News
Actions for The C++ Documentary Won't Show You a Number. I Will.
The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi
📊
Economic Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi
A
line-by-line
translation of the OCaml runtime from C to
Rust
💻
Programming languages
Content type:
Discussion
discuss.ocaml.org
·
16h
16 hours ago
·
Lobsters
,
Hacker News
Actions for A line-by-line translation of the OCaml runtime from C to Rust
Amber Tree: A Middle Ground Between Rowan Red and Green Trees
🦀
Rust
Content type:
Blog
blog.gplane.win
·
5d
5 days ago
·
Hacker News
,
r/rust
Actions for Amber Tree: A Middle Ground Between Rowan Red and Green Trees
Rust
on the Rise; Python in Decline?
🦀
Rust
i-programmer.info
·
6h
6 hours ago
Actions for Rust on the Rise; Python in Decline?
0059: NYC and SF?
🦀
Rust
scattered-thoughts.net
·
5d
5 days ago
Actions for 0059: NYC and SF?
I Shipped a
Rust
Binary. I Can't Write
Rust
.
🦀
Rust
Content type:
Blog
julien.danjou.info
·
1d
1 day ago
Actions for I Shipped a Rust Binary. I Can't Write Rust.
Why my SIMD code was silently running as scalar, and what debugging it taught me about production environment assumptions
⚡
SIMD
Content type:
Blog
coloneltoad.substack.com
·
6d
6 days ago
·
Substack
Actions for Why my SIMD code was silently running as scalar, and what debugging it taught me about production environment assumptions
Bob Belderbos: "
Rust
Is for People Who Want to Be Punished." Now Jochen Trusts It More Than Python.
🦀
Rust
Content type:
Blog
belderbos.dev
·
6d
6 days ago
·
Hacker News
Actions for Bob Belderbos: "Rust Is for People Who Want to Be Punished." Now Jochen Trusts It More Than Python.
Deterministic Biological Regulation in the Face of Complex
Non-Linear
Systems
📊
Economic Theory
Content type:
Blog
write.as
·
5d
5 days ago
Actions for Deterministic Biological Regulation in the Face of Complex Non-Linear Systems
Page 2 »
Log in to enable infinite scrolling
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
Save / unsave
s
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