Feeds to Scour
SubscribedAll
Scoured 15542 posts in 166.1 ms
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·1d
⚖️Verification Calculi
Preview
Report Post
Decoupling the AI Stack: How to Architect a Production-Grade Local LLM System
dev.to·4h·
Discuss: DEV
💻Local LLMs
Preview
Report Post
CodeSOD: Validation Trimmed Away
thedailywtf.com·1d
✅Format Validation
Preview
Report Post
Hint-Based SMT Proof Reconstruction
arxiv.org·3h
🧮SMT Solvers
Preview
Report Post
CAP Theorem Explained: Beyond the "Pick Two" Myth
blog.ahmazin.dev·1h·
Discuss: Hacker News
🤝Consensus Algorithms
Preview
Report Post
Can AI help ‘fix’ the patent system?
blogs.gnome.org·13h
🔍Vector Forensics
Preview
Report Post
Codeless: From idea to software
anildash.com·8h
🚀Indie Hacking
Preview
Report Post
Recap of ELISA Project at Linux Plumbers Conference: Tokyo, Japan 2025
elisa.tech·13h
🔍eBPF
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post
Software as clay on the wheel
dri.es·1d
⚡Proof Automation
Preview
Report Post
AI Systems Performance Engineering
github.com·7h·
Discuss: Hacker News
🎯Performance Forensics
Preview
Report Post
On the way to step functions: the two worlds
blog.julik.nl·2d
🐚Shell Calculus
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·20h
📊Static Analysis
Preview
Report Post
Enabling autonomous agents with environment virtualization
thenewstack.io·10h
🤖Network Automation
Preview
Report Post
Python for DevOps: Writing Automation Scripts for CI/CD
blog.devops.dev·1d
🐚Shell Automation
Preview
Report Post
Vibe coding is a moving target (so don’t marry the tool)
nothingeasyaboutthis.com·5h
⚡Effectful Programming
Preview
Report Post
Designing an Authentication System: A Dialogue in Four Scenes (1997)
web.mit.edu·53m·
Discuss: Hacker News
🔐Capability Systems
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·15h·
Discuss: Hacker News
🧩WASM Components
Preview
Report Post
What I’ve learned over 3 years of writing code
blog.scottlogic.com·1d
📏Code Metrics
Preview
Report Post
2025 Year Review
azeemba.com·2d
🦴Binary Paleography
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