Feeds to Scour
SubscribedAll
Scoured 15531 posts in 1.01 s
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·1d
⚖️Verification Calculi
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org·17h·
Discuss: Hacker News
🔗Functional Compilers
Preview
Report Post
The Hidden Costs of DIY AI Infrastructure: A 2026 Analysis
dev.to·4h·
Discuss: DEV
Incremental Computation
Preview
Report Post
Hosting a Static Site in the Silliest Way Possible (Part 1)
geoff.tuxpup.com·1d
🕸️WebAssembly
Preview
Report Post
Architecting Cloud-Native Ambient Agents: Patterns for Scale and Control
next.redhat.com·19h
🏠Homelab Orchestration
Preview
Report Post
Engage Prometheus in the Rust Ecosystem: A PromCon 2025 Talk Recap
blog.devops.dev·50m
🦀Rust Borrowing
Preview
Report Post
Disposable Environments, Durable Sessions: My Ideal Agentic Workflow
blog.joemag.dev·1d·
Discuss: Hacker News
💾Persistence Strategies
Preview
Report Post
Modernizing Legacy C Systems: Safe Rust Integration Without Complete Rewrites
dev.to·19h·
Discuss: DEV
🦀Embedded Rust
Preview
Report Post
Show HN: BackBuild – A framework for sequencing complex software delivery
arcaned.co·21h·
Discuss: Hacker News
🔄Reproducible Builds
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·21h
📊Static Analysis
Preview
Report Post
HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation
arxiv.org·4h
🔓Decompilation
Preview
Report Post
Stop Overusing Interfaces (2017)
blog.hovland.xyz·19h·
Discuss: Hacker News
🔌Interface Evolution
Preview
Report Post
Recap of ELISA Project at Linux Plumbers Conference: Tokyo, Japan 2025
elisa.tech·14h
🔍eBPF
Preview
Report Post
Codeless: From idea to software
anildash.com·9h
🚀Indie Hacking
Preview
Report Post
Pavis: A Dumb Proxy for Boring Reloads
fabian4.site·17h·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
A Fully Open-Source Future
extroverteddeveloper.com·19h·
Discuss: Hacker News
🔓Open Source Software
Preview
Report Post
Local models to support home network infrastructure?
news.ycombinator.com·1d·
Discuss: Hacker News
🤖Network Automation
Preview
Report Post
High-Availability Feature Flagging at Databricks
databricks.com·13h·
Discuss: Hacker News
🛡️Error Boundaries
Preview
Report Post
Enabling autonomous agents with environment virtualization
thenewstack.io·11h
🤖Network Automation
Preview
Report Post
FastMCP 3.0: From Tool Servers to Context Applications
mcpstatus.io·1d·
Discuss: Hacker News
SMT Integration
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