Feeds to Scour
SubscribedAll
Scoured 74063 posts in 1.09 s
CoRefine: Confidence-Guided Self-Refinement for Adaptive Test-Time Compute
arxiv.org·14h
🚀Superoptimization
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
arxiv.org·14h
📐TLA+
Value Receivers vs Pointer Receivers in Go (A Practical Explanation)
dev.to·14h·
Discuss: DEV
🔵Go
Week 1: Why did I start learning Rust?
vitaliihonchar.com·3d·
Discuss: r/programming
🦀Rust
#2 - Going to second base: know your boundaries
dev.to·2h·
Discuss: DEV
🦀Rust
llOOPy lOOPs (Dave Jarvis)
dave.autonoma.ca·4d
🧠Memory Models
Lean 4 and the Curry–Howard correspondence
wildonblog.wordpress.com·1d
∘Category Theory
Trying to support FreeBSD and Nix for my Rust CLI: Lessons Learned
ivaniscoding.github.io·1d·
Discuss: r/rust
🐧Rust for Linux
Performance Tip of the Week #62: Identifying and reducing memory bandwidth needs
abseil.io·2d
🚀Performance
Four Godot+Rust tricks
blog.lokkij.com·2d
🦀Rust
hsutter/cppfront: A personal experimental C++ Syntax 2 -> Syntax 1 compiler
github.com·1d
🔨Incremental Compilation
How to Reduce Telemetry Volume by 40% Smartly
newsletter.signoz.io·2d·
Discuss: Hacker News, r/programming
🔭Tracing
Migrational Thinking
productengineered.com·1d·
Discuss: Hacker News
🌊SeaORM Migrations
Writing a ledger-cli Language Server Protocol with claude
frdmtoplay.com·2d
💼Thrift
AWS Lambda with Rust and Closure Syntax
aws.amazon.com·2d·
Discuss: r/rust
🦀Rust Async
Wrapping trait implems in an enum kept appearing in code base so I blogged about it. Are there other such useful patterns that are not much advertised?
asfaload.com·1d·
Discuss: r/rust
⚡Ruff
How the GNU C Compiler became the Clippy of cryptography
theregister.com·1d·
Discuss: Hacker News, r/programming
🎯Escape Analysis
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·5d
✓Formal Verification
Show HN: LocalGPT – A local-first AI assistant in Rust with persistent memory
news.ycombinator.com·2d·
Discuss: Hacker News
🏛️Region-Based Memory
Show HN: A2A Protocol – Infrastructure for an Agent-to-Agent Economy
news.ycombinator.com·2d·
Discuss: Hacker News
💼Thrift

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