Feeds to Scour
SubscribedAll
Scoured 18071 posts in 291.9 ms
DCP-o-matic • CPL as compositions and multiple CPLs
dcpomatic.com·2d
✅CDDL Validation
Kjetil's Information Center - CHIP-8 Interpreter using Curses
kobolt.website·3d
🔩Systems Programming
Protecting Triton kernel deployments with cryptographic signatures
next.redhat.com·3d
⚙️Operating System Design
Automating busy work
thomasrigby.com·1d
🤖Archive Automation
OSTEP Chapters 6,7
muratbuffalo.blogspot.com·3d·
Discuss: Blogger
⚡CPU Microarchitecture
Logic for Programmers New Release and Next Steps
buttondown.com·4d
⚙️Proof Engineering
Boot Sharc+ DSP over UART
embd.cc·19h·
Discuss: Hacker News
🧩RISC-V Assembly
Fast Properties in V8 (2017)
v8.dev·19h·
Discuss: Hacker News
🌀Brotli Dictionary
Hoot: Scheme on WebAssembly
spritely.institute·2d·
Discuss: Hacker News
🌐WASI
Full-circle Test-driven Firmware Development with OpenClaw
blog.adafruit.com·1d·
Discuss: Hacker News
🔍Concolic Testing
Designing MCP tool schemas that LLMs understand
news.ycombinator.com·7h·
Discuss: Hacker News
🔗Constraint Handling
Using Claude Code as a general agent
raahelbaig.com·29m·
Discuss: Hacker News
👑Isabelle
Deobfuscation and Analysis of Ring-1.io
back.engineering·17h·
Discuss: Hacker News
🔒Secure Boot
A Proof of P = NP
dev.to·11h·
Discuss: DEV
🎯Performance Proofs
LLMs could be, but shouldn't be compilers
alperenkeles.com·2d·
Discuss: Lobsters, Hacker News
💧Liquid Types
michaelhelvey/lilfuture: Educational async runtime for Rust
github.com·3d
🦀Rust Macros
Hello World: Algorithmic Trading & DeFi Logic
dev.to·21h·
Discuss: DEV
⚔️Lean Tactics
Automatic Programming Returns
cyber-omelette.com·2d·
Discuss: Hacker News, Hacker News, r/programming
🏗️Compiler Archaeology
The Rise of Spec Driven Development
dbreunig.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·3d
🧠Separation Logic

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