Feeds to Scour
SubscribedAll
Scoured 7655 posts in 47.7 ms
Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em
docs.rs5h
Discuss: Hacker News
鈿狅笍Unsafe Rust
Preview
Report Post
Efficient Code Analysis via Graph-Guided Large Language Models
arxiv.org15h
馃攳Static Analysis
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com14h
Discuss: r/rust
馃攧Async Traits
Preview
Report Post
Rust for C Programmers
rust-for-c-programmers.com4d
Discuss: Hacker News
馃攲Embedded Rust
Preview
Report Post
bloomberg/crane: A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
github.com1d
Discuss: Lobsters
鈽侊笍Serverless Rust
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org4h
Discuss: Hacker News
鈿欙笍LLVM
Preview
Report Post
#1 - Spot Problems Before Reading Any Code
dev.to45m
Discuss: DEV
馃攳Static Analysis
Preview
Report Post
Making an LSP for great good
thunderseethe.dev20h
馃攳Query Compilers
Preview
Report Post
A Novel Side-channel Attack That Utilizes Memory Re-orderings (U. of Washington, Duke, UCSC et al.)
semiengineering.com2h
馃Memory Models
Preview
Report Post
PHPStan Now 25~40% Faster For Static Analysis
phoronix.com10h
馃攳Static Analysis
Preview
Report Post
jameysharp/live-long-and-prospero: A small compiler for the Prospero Challenge in Constructive Solid Geometry
github.com2d
馃彮Code Generation
Preview
Report Post
Building Google-Docs-like live collaboration for a cross-platform app used by millions (in Rust)
photoroom.com3h
Discuss: Hacker News
馃Tauri
Preview
Report Post
Type-Safe Routing Without the Build Step
werkbank.dev2h
Discuss: Hacker News
馃摌TypeScript
Preview
Report Post
The fix for a segfault that never shipped
recall.ai1d
Discuss: Hacker News
馃敁Binary Exploitation
Preview
Report Post
Reduction for Structured Concurrent Programs
arxiv.org15h
馃攢Concurrency
Preview
Report Post
Rust Support in Socket Is Now Generally Available
socket.dev2d
馃寪Rust Networking
Preview
Report Post
Pavis: A Dumb Proxy for Boring Reloads
fabian4.site5h
Discuss: Hacker News
鈽侊笍Serverless Rust
Preview
Report Post
Writing your first compiler
popovicu.com2d
馃彮Code Generation
Preview
Report Post
Rust's Culture of Semantic Precision 鈥斅燗ndrew Lilley Brinker
alilleybrinker.com4d
馃Rust Macros
Preview
Report Post
Models of generics and metaprogramming: Golang, Rust, Swift, D, and more
thume.ca2d
Discuss: Hacker News
Functional Programming
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help