#vibe-coding

2 stories

#ai-assisted development #artificial intelligence #bend programming language #china #deepseek #digital innovation #fatetech #formal verification #hangzhou #language design #liangzhu #llm limitations

Bend 2 and the Vibe-Coding Trap
A new programming language designed for AI-assisted formal verification may have reinvented the wheel by missing decades of existing research.
Liampwll · 2m · 5 views
China's AI boom finds its spiritual home
In a small Chinese town, AI developers are building quirky apps that blend ancient divination with cutting-edge technology.
The New Yorker · 4m