Home
Blogs
Bookmarks
Forums
Search

Author

Write
Drafts

New
Bug0 - The AI-native e2e QA regression testing Passmark - The open-source AI framework for regression testing Changelog Brand @hashnode on X Hashnode on LinkedIn Code of Conduct Support - hello+support@hashnode.com
Sign in

Terms Privacy Sitemap

© 2026 LinearBytes Inc.

Search Hashnode

Search posts, tags, users, and pages

Tag feed

#formal-methods

2 posts·0 followers

Articles Threads

Trending tags this week

Trending tags this week

1#ai 314
2#security 99
3#javascript 98
4#devops 79
5#cybersecurity 74
6#webdev 74
7#python 68
8#risingwave 68
9#machinelearning 66
10#programming 64
11#machine-learning 59
12#artificial-intelligence 58
13#deeplearning 58
14#computerscience57

CZChristo Zietsmaninnuphirho.hashnode.dev

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review

Mar 22 · 28 min read · This is Part 4 of a four-part series, "The Specification as Quality Gate." Part 1 developed the correlated error hypothesis. Part 2 grounded the argument in complexity science. Part 3 mapped what specifications cannot catch. This post is the complete...

Join discussion

CZChristo Zietsmaninnuphirho.hashnode.dev

What Specifications Cannot Catch: A Proposed Taxonomy of the Residual

Mar 22 · 11 min read · This is Part 3 of a four-part series, "The Specification as Quality Gate." Part 1 developed the correlated error hypothesis. Part 2 grounded the argument in complexity science. This post maps what executable specifications cannot catch. Part 4 will f...

Join discussion