Language Design - GoKawiil

Essay argues programming languages should be user-customizable, not fixed

A new opinion piece contends that programming languages are treated as fixed, sacred artifacts, forcing developers to build workaround build systems and conventions instead of directly modifying their languages. It cites Raymond Chen's 2005 blog post opposing 'flow-control macros,' which warned that such customizations obscure code semantics and complicate debugging, as an example of the resistance to language malleability.

jimmyhmiller.com · 2026-09-25

Critique: Bend 2's AI-verification language demands hundreds of lines for simple proofs

A blog post examines Bend 2, a programming language designed for an AI-assisted workflow where humans write 'laws' and AI writes implementations plus formal proofs that a compiler checks. Using Bend's own homepage demo as an example, the author notes that stating a simple game rule takes 58 lines of code, while the AI-generated proof of that rule balloons to 442 lines. The piece argues this ratio illustrates a broader vibe-coding pitfall rather than being unique to Bend.

blog.liampwll.com · 2026-09-18