What Happens When Formalization Becomes Cheap? | Hacker News - But Better

What Happens When Formalization Becomes Cheap?yangky11.github.io

A personal reflection on eight years of AI and formalization. By Kaiyu Yang.

1 points•matt_d•4 days ago•0 comments•

#formalization #becomes #cheap #happens #formalization becomes #becomes cheap #formalization becomes cheap #personal

0 comments

No comments yet.

Related stories

Launch HN: Coverage Cat (YC S22) – Umbrella insurance via your personal agentcoveragecat.com
Hacker News · 44 points · 8 days ago
When Intelligence Becomes Abundant, Architecture Becomes the Constrainthenrymurphy832344.substack.com
Hacker News · 2 points · 10 days ago
When semantic judgment becomes cheap enough to put everywheresameernanda.com
Hacker News · 1 points · 9 days ago
When Code Gets Cheap, Verification Becomes Expensive: How AI changes the economics of software architecturedev.to
DEV Community · 15 points · 2 days ago
14 Personal AI Agents in 2026: A Technical Guide to Architecture, Memory, Tools & Autonomydev.to
DEV Community · 6 points · about 17 hours ago
Pixel Area, a new directory of personal and independent websitespxlarea.com
Hacker News · 1 points · 10 days ago