Feeds to Scour
SubscribedAll
Scoured 28225 posts in 23.4 ms
RustyDL: A Program Logic for Rust
arxiv.org·3d
🦀Rust Borrowing
Debugging Reproducibility Issues in Rust Software
notes.8pit.net·17h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
mrconter1/rustc-php: A Rust compiler with ownership checking, written in PHP
github.com·12h·
Discuss: Hacker News
🦀Rust Macros
oxidecomputer/hubris: A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
github.com·13h·
Discuss: r/homelab
🦀Embedded Rust
Hello Walter! Learning Rust on ESP32
blog.matthewbrunelle.com·10h
🦀Embedded Rust
TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
ndss-symposium.org·7h·
Discuss: Hacker News
🧪Binary Fuzzing
Evaluating and Improving Automated Repository-Level Rust Issue Resolution with LLM-based Agents
arxiv.org·2d
🦀Rust Borrowing
Swapping NULL for NUL - a better way to find nothing!
research.exoticsilicon.com·1d
🧠Lisp Dialects
Linkage
11011110.github.io·14h
🕳️Persistent Homology
Formal methods for the unsafe side of the Force
antithesis.com·2d·
Discuss: Hacker News
🦀Rust Verification
I Rewrote a Python RAG Library in Rust
hackernoon.com·2d
🦀Rust Macros
Let’s stop copying C
eev.ee·1d
🔗Concatenative Programming
76 - Rust Crosses the Chasm
rust-trends.com·8h
🦀Rust Borrowing
Devirtualization and Static Polymorphism | David Álvarez Rosa
david.alvarezrosa.com·3d·
Discuss: Lobsters, Hacker News, r/programming
⬆️Lambda Lifting
Go 1.22: A Change in Loop Scoping
hackernoon.com·16h
📜Proof Carrying Code
TorchLean: Formalizing Neural Networks in Lean
leandojo.org·5h·
Discuss: Hacker News
🧮Z3 Solver
Rust's plan for improvements to immovable types and async ergonomics over the next few years
bsky.app·20h·
Discuss: Bluesky
🦀Embedded Rust
Recursive Make Considered Harmful [1998,2006]
accu.org·3d·
Discuss: Lobsters, r/programming
⚙️Build Archaeology
Show HN: Ore – a Rust-Based Kernel for Managing Local Models/AI Agents
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Embedded Rust
Verified Spec-Driven Development (VSDD)
gist.github.com·15h·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds

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