Feeds to Scour
SubscribedAll
Scoured 4328 posts in 192.6 ms
"Recursive Self-Improvement" Is Three Different Things
lesswrong.com·15h
🔐Cryptography
Heuristics for lab robotics, and where its future may go
lesswrong.com·10h
🤖AI
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
arxiv.org·22h
🦾Rust ML
Static Analysis Under Non-Deterministic Program Assumptions
arxiv.org·22h
🎭Proc Macros
Show HN: Sediment – Local semantic memory for AI agents (Rust, single binary)
github.com·2d·
Discuss: Hacker News
🦾Rust ML
willothy/whirlwind: 🌀 Async-first sharded hashmap for Rust.
github.com·2d·
Discuss: Hacker News
🦾Rust ML
Building a C compiler with a team of parallel Claudes
anthropic.com·6d·
Discuss: Lobsters, Hacker News, r/ClaudeAI, r/Compilers, r/embedded, r/rust
🦾Rust ML
Wirth's Revenge
jmoiron.net·6d·
Discuss: Lobsters, Hacker News, Hacker News
🦾Rust ML
Discord Launches Teen-by-Default Settings Globally
discord.com·1d·
Discuss: Lobsters, Hacker News, r/PS5, r/TwoBestFriendsPlay
🔒Hardware Security
We are QA Engineers now
serce.me·6d·
Discuss: Lobsters, Hacker News, r/programming
⏱️Real-time Systems
FOSDEM 26 – My Hallway Track Takeaways
sluongng.substack.com·5d·
Discuss: Substack
🎮Game Engines
I am happier writing code by hand
abhinavomprakash.com·3d·
Discuss: Lobsters, Hacker News
🗣️Language Servers
LLMs could be, but shouldn't be compilers
alperenkeles.com·4d·
Discuss: Lobsters, Hacker News
🏗️LLVM
(Bsky thread) "This turns the maintainer into an unwitting vibe coder"
bsky.app·3d·
Discuss: Bluesky
🦀Rust
Build Systems and Build Philosophy
abseil.io·5d·
Discuss: Lobsters
🏗️LLVM
Flirt: The Native Backend
blog.buenzli.dev·3d·
Discuss: Lobsters, Hacker News
🦾Rust ML
Adventures in Guix Packaging
nemin.hu·3d·
Discuss: Lobsters, Hacker News
🎮Game Engines
Jacob Boxerman - Declarative, Reproducible Emacs with straight.el and use-package
jakebox.github.io·4d·
Discuss: Lobsters, Hacker News
🦾Rust ML
Software Engineering Is Back
blog.alaindichiappari.dev·3d·
Discuss: Lobsters, Hacker News
🎮Game Engines
Circumstantial Complexity, LLMs and Large Scale Architecture
datagubbe.se·2d·
Discuss: Lobsters, Hacker News
🎮Game Engines

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