A Developer Poll Pits Machine Code Against Idris for LLM‑Generated Code
The author runs a rhetorical poll asking which language you'd pick for LLM‑generated code: machine code, assembly, or Idris. The setup is simple — imagine you don’t know any of them and must rely entirely on an LLM to produce a full software system. It’s a sharp way to test how much trust developers place in code generation tools.