Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
28122
posts in
16.6
ms
Torturing rustc by Emulating
HKTs
, Causing an Inductive Cycle and
Borking
the Compiler
harudagondi.space
·
1d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Macros
Hedystia
- End-to-End
Type
Safe Framework
docs.hedystia.com
·
2d
·
Discuss:
Hacker News
🔬
Refinement Types
An
alias-based
formulation
of the borrow checker
smallcultfollowing.com
·
1d
🦀
Rust Borrowing
N4455
No Sane Compiler Would Optimize
Atomics
open-std.org
·
2h
🚀
Compiler Optimizations
The State of Rust
Allocators
in 2026
cetra3.github.io
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
,
r/rust
🦀
Rust Borrowing
Some more notes on
OCaml
modules
osa1.net
·
1d
🔗
Functional Compilers
TypeScript
6.0
RC
arrives as a bridge to a faster future
thenewstack.io
·
1d
🎯
Gradual Typing
Single-endpoint
Race
Conditions
infosecwriteups.com
·
9h
🌊
Streaming Systems
Golang
weak
package
meetgor.com
·
10h
🦀
Rust Macros
CFG
Tree Enumeration: Mastering Pairing Functions &
Bijections
hackernoon.com
·
1d
🔗
Combinatory Logic
My “grand vision” for Rust
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
🦀
Rust Macros
For \(R^3\) the problem is open.
Thats
too bad. We live in \(R^3\)
blog.computationalcomplexity.org
·
1h
·
Discuss:
blog.computationalcomplexity.org
🎨
Graph Coloring
8. Second-Order
Vulnerabilities
: A Rare
Bug
-> $$$
infosecwriteups.com
·
9h
🛡️
CBOR Security
Linux 7.0 Lands
Improvements
To Deal With Upcoming Rust Changes, Build
Reproducibility
phoronix.com
·
12h
·
Discuss:
Hacker News
,
r/linux
🦀
Rust Borrowing
SCAFFOLD-CEGIS
: Preventing Latent Security Degradation in LLM-Driven Iterative Code Refinement
arxiv.org
·
5d
🦀
Rust Borrowing
Rust Pattern:
serde
tags
meejah.ca
·
23h
🦀
Rust Macros
Distributed
Systems Design by
Example
third-bit.com
·
23h
⚙️
Operating System Design
VisiCalc
reconstructed
zserge.com
·
23h
🌳
Incremental Parsing
Podman
on FreeBSD enables home-lab
containerization
discoverbsd.com
·
11h
🔌
Operating system internals
Static Application Security Testing (
SAST
):
Simplicity
Matters
nocomplexity.com
·
2d
🧪
Binary Fuzzing
Loading...
Loading more...
Page 2 »
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