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
dragonroll's Feed
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83052
posts in
330.1
ms
Loading...
Subscribe
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
1d
🦀
Rust
GNU/Linux
or Just Linux? Between
Purism
and Everyday Usage
linuxiac.com
·
1d
🐧
Linux
Noctua
Has Shipped Half a Million CPU Cooler Mounting Upgrade
Kits
techpowerup.com
·
3h
💻
Computer Hardware
PELADN
WO4
Mini PC AMD Ryzen 5
7640HS
peladn.us
·
10h
·
Discuss:
r/computers
💻
Computer Hardware
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
3d
·
Discuss:
Substack
🦀
Rust
Both GCC and
Clang
generate
strange/inefficient
code
codingmarginalia.blogspot.com
·
10h
·
Discuss:
Hacker News
,
Hacker News
🦀
Rust
Easy 6502 by
skilldrick
skilldrick.github.io
·
1d
🔩
Assembly
The Rise of
Spec
Driven Development
dbreunig.com
·
16h
·
Discuss:
Hacker News
🦀
Rust
Nvidia launches
native
GeForce
NOW app for Linux in beta
notebookcheck.net
·
23h
🎨
Vulkan
Examining
Turbopuffer
ANN v3
terencezl.github.io
·
1d
·
Discuss:
Hacker News
📊
Performance Tools
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
2d
🦀
Rust
How Virtual
Textures
Really Work
shlom.dev
·
17h
·
Discuss:
Hacker News
🎨
Vulkan
DOSBox
performance improvements on modern
processors
dedoimedo.com
·
21h
🎮
Game Engines
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
1d
·
Discuss:
Hacker News
⚡
Zig
Lessons from
BF-Tree
: Building a
Concurrent
Larger-Than-Memory Index in Rust
zhihanz.github.io
·
2d
·
Discuss:
Hacker News
🦀
Rust
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
18h
·
Discuss:
Hacker News
🧠
Memory Management
Intersection
of Two Linked
Lists
dev.to
·
14h
·
Discuss:
DEV
🔀
Parallel Algorithms
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
1d
⚡
Zig
An Analysis of User-space
Idle
State Instructions on
x86
Processors
danglingpointers.substack.com
·
1d
·
Discuss:
Substack
🧠
Memory Management
Building a C
compiler
with a team of parallel
Claudes
anthropic.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/ClaudeAI
,
r/embedded
🦀
Rust
Loading...
Loading more...
« Page 2
•
Page 4 »
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