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
19438
posts in
1.03
s
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
1d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Borrowing
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
21h
·
Discuss:
Substack
🦀
Rust Borrowing
Rust
Coreutils
0.6 Brings Increased Compatibility, Removing Some Unsafe Code & More
Perf
phoronix.com
·
1d
🦀
Rust Macros
The ‘weird’ things that happened when
Clickhouse
replaced
C++ with Rust
thenewstack.io
·
2h
🦀
Rust Borrowing
A Complete
Finitary
Refinement
Type System for Scott-Open Properties
arxiv.org
·
2d
🔬
Refinement Types
Clean
Coder
: The Dark Path (2017)
blog.cleancoder.com
·
1h
·
Discuss:
Hacker News
📏
Code Metrics
Taming the Flat AST:
Ergonomics
in the Age of Zero
Allocations
modern-c.blogspot.com
·
22h
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
📝
Compiler Design
Bjarne
’s Last
Stand
: How the Father of C++ Is Fighting a Losing War Against Rust
lucisqr.substack.com
·
1d
·
Discuss:
Substack
🦀
Rust Borrowing
Mastering Memory Leak Resolution in Legacy Go
Codebases
: A Security
Researcher
’s Approach
dev.to
·
9h
·
Discuss:
DEV
🦀
Rusty Databases
Switching from C/C++ to Rust: the
invisible
checklist
dev.to
·
2d
·
Discuss:
DEV
🦀
Rust Macros
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
6h
·
Discuss:
Hacker News
💧
Liquid Types
Writing an
Async
Runtime
in Rust
michaelhelvey.dev
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔒
Linear Types
RAL-Bench
: Benchmarking for Application-Level Functional
Correctness
and Non-Functional Quality Attributes
arxiv.org
·
12h
📏
Code Metrics
Engineering
Ethereum
's Speed: How we made
Ethrex
20x faster
blog.lambdaclass.com
·
2h
🎯
Emulation Accuracy
clojure.spec
-
Rationale
and Overview
clojure.org
·
2d
·
Discuss:
Hacker News
🧠
Lisp Dialects
Russ
Olsen
deprogrammaticaipsum.com
·
2d
🔒
Linear Types
Algebraic
Effects
for the Rest of Us
overreacted.io
·
22h
✨
Algebraic Effects
TruConfirm
: Ending Vulnerability Guesswork with Proof inside
ETM
blog.qualys.com
·
54m
✅
Archive Fixity
Beta Release:
Predicated
Recursive
Descent
for Rust
wareya.wordpress.com
·
3d
·
Discuss:
Hacker News
🦀
Rust Macros
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
3h
⚙️
Proof Engineering
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