Feeds to Scour
SubscribedAll
Scoured 19155 posts in 187.3 ms
Scaling Test-Driven Code Generation from Functions to Classes: An Empirical Study
arxiv.org·4d
📏Code Metrics
Cascading Robustness Verification: Toward Efficient Model-Agnostic Certification
arxiv.org·3d
🔧Hardware Verification
The Junior Developer Paradox: Why AI Makes Fundamentals More Important, Not Less
dev.to·10h·
Discuss: DEV
⚔️Lean Tactics
**Python Techniques for Complete Machine Learning Model Lifecycle Management**
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
Automatic Programming
notes.billmill.org·3d
⚡Proof Automation
NetGent: Agent-based automation of network application workflows
blog.apnic.net·3d
🌊Streaming Systems
Show HN: Rehearse – a pytest like testing library for voice agents
news.ycombinator.com·3d·
Discuss: Hacker News
🧪Binary Fuzzing
Continual learning and the post monolith AI era
baseten.co·1d·
Discuss: Hacker News
📼Tape Combinators
Evaluating and mitigating the growing risk of LLM-discovered 0-days
red.anthropic.com·3d·
Discuss: Lobsters, Hacker News, Hacker News
🧪Binary Fuzzing
Testing CLIs with Scrut
cgamesplay.com·3d·
Discuss: Hacker News
🔍Concolic Testing
Boundary Engineering
cabreza.substack.com·2d·
Discuss: Substack
🛡️Error Boundaries
Building "zero-gap" secrets for a UGC platform
news.ycombinator.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Validation is the bottleneck. Not code gen
kerno.io·3d·
Discuss: Hacker News
📏Code Metrics
Engineering Ethereum's Speed: How we made Ethrex 20x faster
blog.lambdaclass.com·4d
🎯Emulation Accuracy
dshearer/misatay: AI Agent Tool that Keeps You in the Loop
github.com·23h·
Discuss: Hacker News
⚡Incremental Computation
Enforcing rules and managing expectations for AI agents with CI and code review
rubyonai.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
First Proof | Research-Level Math for AI Evaluation
1stproof.org·2d·
Discuss: Hacker News
🎯Performance Proofs
Text classification with Python 3.14's zstd module • Max Halford
maxhalford.github.io·2d·
Discuss: Lobsters, Hacker News
📝Text Compression
Issues with AI: Toxic Dependencies
blog.mathieui.net·2d·
Discuss: Hacker News
🦀Rust Macros
Verifying coding AIs for LLM powered software
aunhumano.com·5d·
Discuss: Hacker News
⚡Proof Automation

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