Feeds to Scour
SubscribedAll
Scoured 9708 posts in 643.8 ms
Understanding Bug-Reproducing Tests: A First Empirical Study
arxiv.org·11h
🧪Concolic Testing
Everybody Tests
focused.io·20h·
Discuss: Hacker News
🧪Concolic Testing
Fitness Functions: Automating Your Architecture Decisions
lukasniessen.medium.com·9h·
Discuss: r/devops, r/node, r/programming, r/typescript
🔄Reproducible Builds
Automating PIi Leak Detection in Test Environments with Go and Open Source Tools
dev.to·9h·
Discuss: DEV
👁️System Observability
Formal Evidence Generation for Assurance Cases for Robotic Software Models
arxiv.org·11h
🔍Formal Verification
I Am Not a Functional Programmer
blog.daniel-beskin.com·2h·
Discuss: r/programming
λFunctional Programming
AI Safety at the Frontier: Paper Highlights of January 2026
lesswrong.com·21h
🩹Self-Healing Systems
How not to program in Dyalog APL
toolofthought.com·5h·
Discuss: Lobsters, Hacker News
📝Nix Language
Enforcing rules and managing expectations for AI agents with CI and code review
rubyonai.com·22h·
Discuss: Hacker News
🔄Reproducible Builds
Everybody Tests
dev.to·20h·
Discuss: DEV
🧪Concolic Testing
Show HN: C discrete event SIM w stackful coroutines runs 45x faster than SimPy
github.com·1d·
Discuss: Hacker News
🔀OCaml Multicore
Verifying coding AIs for LLM powered software
aunhumano.com·19h·
Discuss: Hacker News
🔍Formal Verification
Logic for Programmers New Release and Next Steps
buttondown.com·2h
🔬Static Analysis
Formally Verifying PBS Kids with Lean4
shadaj.me·2d·
Discuss: Hacker News
🎮Verification Games
How I Program with LLMs
blog.wesleyabbey.io·2h·
Discuss: Hacker News
🛡️seL4
clojure.spec - Rationale and Overview
clojure.org·2d·
Discuss: Hacker News
📦Module Systems
5 Testing Skills That Got More Valuable Because of AI
theqacrew.substack.com·2h·
Discuss: r/programming
📚Automata Learning
Plan–Code–Execute: Designing Agents That Create Their Own Tools
towardsdatascience.com·4h
🤖Program Synthesis
Pascal-J/type-system-j: adds an optional type system to J language
github.com·19h·
Discuss: Lobsters
🎯GADT
Taming the Flat AST: Ergonomics in the Age of Zero Allocations
modern-c.blogspot.com·20h·
Discuss: Lobsters, Hacker News, r/golang
🐫Embedded OCaml

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