4 stories tagged by Digg
AI
Bend 2’s creator says they asked Opus 5.5 to make an intro for the programming language, then shared a video with the reaction: “WTF is this?”
AI
Bend's developer says the formalization is back in sync with the implementation and the bounty is live. The challenge is to make a Bend file pass `--verdict` while containing a proof of Empty, the empty type.
AI
Theo ranks 15 AI models with Fable 5 in S+ and Opus 5 in D.