Writing specifications is not always easy, but it is easier than writing the optimized implementation. And a powerful shortcut exists: an inefficient program that is obviously correct can serve as its own specification. User and AI co-write a simple model, AI writes an efficient version, and proves the two equivalent. The hard part shifts from implementation to design. That is the right kind of hard.
The Stack That Should Not Exist
，详情可参考safew官方下载
Подростки распылили перцовый баллончик на пассажиров электрички под Петербургом20:54
Users are ditching ChatGPT for Claude — here’s how to make the switch