Feeds to Scour
SubscribedAll
Scoured 8658 posts in 292.2 ms
How AI coding makes developers 56% faster and 19% slower
thenewstack.io·2d
🔧DevOps
CodeCircuit: Toward Inferring LLM-Generated Code Correctness via Attribution Graphs
arxiv.org·2d
⚙️Compiler Design
RuleFlow : Generating Reusable Program Optimizations with LLMs
arxiv.org·1d
📝Nix Language
Is Local Hardware Is All You Need?
wwws.nightwatchcybersecurity.com·1d·
Discuss: Hacker News
💾Retro Computing
DASL: Web Tiles
dasl.ing·1d·
Discuss: Hacker News
🌐ActivityPub
Desktop Client for Building and Sharing MCP Apps Within Orgs
creature.run·1d·
Discuss: Hacker News
🐳Containerization
Preparing your website for LLMs.
speakeasy.com·2d·
Discuss: Hacker News
🛡️seL4
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·6d·
Discuss: Hacker News
🔄Finite State Machines
Reverse Engineering the Prom for the SGI O2
mattst88.com·3d·
Discuss: Lobsters, Hacker News
🔬Reverse Engineering
Building Interactive C/C++ workflows in Jupyter through Clang-REPL [video]
fosdem.org·4d·
Discuss: Hacker News
⚙️Compiler Design
Unlocking core memories with GoldSrc engine and CS 1.6 (2025)
danielbrendel.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Well-Typed.Com: hs-bindgen 0.1-alpha release
well-typed.com·2d·
Discuss: Lobsters, Hacker News
📦Opam
Agentic Proof-Oriented Programming
risemsr.github.io·6d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Would you use a CLI tool that turns English into local automation workflows?
news.ycombinator.com·3d·
Discuss: Hacker News
💻CLI Tools
Making OpenClaw safe: Docker isolation, scoped identity, and JIT secrets
rida.me·1d·
Discuss: Hacker News
🛡️macOS Security
Why "just prompt better" doesn't work
bicameral-ai.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Claude has a compiler, I have SlopScript
slopscript.netlify.app·3d·
Discuss: Hacker News
🔧ppx
Compound Engineering: Make Every Unit of Work Compound Into the Next
every.to·2d·
Discuss: Hacker News
🔄Reproducible Builds
Heterogeneous Processing: A Strategy for Augmenting Moore's Law (2006)
linuxjournal.com·3d·
Discuss: Hacker News
🔀OCaml Multicore
AI Wrote My Project, an Nginx Engineer Rebuilt the Architecture
news.ycombinator.com·2d·
Discuss: Hacker News
🔧DevOps

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