Feeds to Scour
SubscribedAll
Scoured 13740 posts in 276.7 ms
Investigating Record-Based Domain Models
coding-mischief.com·14h·
Discuss: Hacker News
🔢Denotational Semantics
Preview
Report Post
Code Coverage Best Practices for Agentic Development
dev.to·6h·
Discuss: DEV
🔍Concolic Testing
Preview
Report Post
The Intel 8087 and Conditional Microcode Tests
hackaday.com·9h
🧪Hardware Fuzzing
Preview
Report Post
Prevent the Robocalypse with Claude Code and TDD
thoughtbot.com·1h
⚔️Lean Tactics
Preview
Report Post
Khorikov Unit Testing Guide
binaryphile.com·4d
🔍Concolic Testing
Preview
Report Post
When To Use GenAI: A Practical Decision Framework
thenewstack.io·6h
🌊Stream Processing
Preview
Report Post
Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)
axiommath.ai·8h
🧮Theorem Proving
Preview
Report Post
ThorneShadowbane/ai-code-guard: Detect security vulnerabilities in AI-generated code
github.com·6h·
Discuss: Hacker News
⚡Proof Automation
Preview
Report Post
choosing learning over autopilot
anniecherkaev.com·1d
⚡Incremental Computation
Preview
Report Post
Show HN: Coi – A compiled-reactive language for high-performance WASM apps
news.ycombinator.com·2h·
Discuss: Hacker News
🧩WASM Components
Preview
Report Post
research!rsc: Pulling a New Proof from Knuth’s Fixed-Point Printer
research.swtch.com·1d·
Discuss: Lobsters, Hacker News
📐Interval Arithmetic
Preview
Report Post
Alex-Ozun/swift-effect: Algebraic Effects and Effect Handlers for Swift
github.com·2d
✨Effect Handlers
Preview
Report Post
From fragmented code to consistent output with AI rules
stromcapital.fi·1d·
Discuss: Hacker News
🔗Constraint Handling
Preview
Report Post
Misc engineering truisms
macwright.com·3d
🔩Systems Programming
Preview
Report Post
Exploring pq, a plain-text database connector for plan9
mccd.space·11h·
Discuss: Hacker News
🗄️Database Internals
Preview
Report Post
The Secret Life of Go: Testing
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Preview
Report Post
Automatic Prompt Optimization for Multimodal Vision Agents: A Self-Driving Car Example
towardsdatascience.com·10h
⚡Z3 Optimization
Preview
Report Post
oss-sec: The Curious Case of Stack Pivot Detection
seclists.org·5h·
Discuss: Lobsters, Hacker News
🔓Decompilation
Preview
Report Post
Absolutely everything you need to know about act() in React tests
howtotestfrontend.com·10h·
Discuss: Hacker News
✨Effect Handlers
Preview
Report Post
Is Rust faster than C?
steveklabnik.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
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