Feeds to Scour
SubscribedAll
Scoured 15592 posts in 333.6 ms
Show HN: Procjail – Building a process isolator in Go using Linux namespaces
emmanuel326.github.ioΒ·16hΒ·
Discuss: Hacker News
🐚Shell Monads
Preview
Report Post
Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition
arxiv.orgΒ·1d
πŸ”“Decompilation
Preview
Report Post
The Helpful Adversary
dev.toΒ·1dΒ·
Discuss: DEV
🐚Shell Monads
Preview
Report Post
Making a Language
thunderseethe.devΒ·7h
πŸ› Language Design
Preview
Report Post
Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em
docs.rsΒ·14hΒ·
Discuss: Hacker News
πŸ”’Type Safety
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.orgΒ·13hΒ·
Discuss: Hacker News
πŸ”—Functional Compilers
Preview
Report Post
HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation
arxiv.orgΒ·49m
πŸ”“Decompilation
Preview
Report Post
On the way to step functions: the two worlds
blog.julik.nlΒ·2d
🐚Shell Calculus
Preview
Report Post
One Good Tutorial: Beta Release!
newton.cxΒ·2h
βš”οΈLean Tactics
Preview
Report Post
commercial_unixes
wiki.tuhs.orgΒ·1d
πŸ§™β€β™‚οΈUnix Operating Systems
Preview
Report Post
Welcome 0x1eef (Robert) to the HardenedBSD Development Team!
hardenedbsd.orgΒ·13h
🐑OpenBSD
Preview
Report Post
Failing to run β€˜pubstrate’ in a container
opinionatedgeek.comΒ·1d
🐚Shell Monads
Preview
Report Post
Exploring Crystal macros: Building file-based routing for Kemal
krthr.coΒ·10hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Preview
Report Post
Red Macros Factory Is Joining OST (And So Am I!)
outflank.nlΒ·13h
πŸ¦€Rust Macros
Preview
Report Post
Modernizing Legacy C Systems: Safe Rust Integration Without Complete Rewrites
dev.toΒ·15hΒ·
Discuss: DEV
πŸ¦€Embedded Rust
Preview
Report Post
Pavis: A Dumb Proxy for Boring Reloads
fabian4.siteΒ·14hΒ·
Discuss: Hacker News
πŸ¦€Rust Borrowing
Preview
Report Post
ra0x3/mcpkit-rs: PoC MCP WebAssembly (WASM) integration, forked from the official Rust SDK for the Model Context Protocol
github.comΒ·14hΒ·
Discuss: Hacker News
🌐WASI
Preview
Report Post
Vibe coding is a moving target (so don’t marry the tool)
nothingeasyaboutthis.comΒ·3h
⚑Effectful Programming
Preview
Report Post
BPF Verifier State Pruning: Timeline
pchaigno.github.ioΒ·1d
πŸ›‘οΈArchive Verification
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