Taelin
Taelin @VictorTaelin · x · 2026-09-28 · ★★★ · archived
Cited as a source by: victortaelin-opus-5-5-programming-language-intro-x
Summary
Archived text
I asked Opus 5.5 to make an intro for my programming language.
WTF is this? https://t.co/q9UPQyrf4J
Quoting @VictorTaelin: Bend 2 is here!
It is a new programming language that blocks AI mistakes via proof checking - the same technique big AI labs used to solve open math problems, like Navier-Stokes.
It is also very fast, and runs on GPUs.
Watch the video. Link in the comments. https://t.co/ux1dmBVopA
Media: https://pbs.twimg.com/amplify_video_thumb/2104568018294435840/img/p3LmsoaYofU1U1K8.jpg
likes 6180 · replies 371 (at fetch time)
Archived 2026-10-05 via syndication.
Archived text
I asked Opus 5.5 to make an intro for my programming language.
WTF is this? https://t.co/q9UPQyrf4J
Quoting @VictorTaelin: Bend 2 is here!
It is a new programming language that blocks AI mistakes via proof checking - the same technique big AI labs used to solve open math problems, like Navier-Stokes.
It is also very fast, and runs on GPUs.
Watch the video. Link in the comments. https://t.co/ux1dmBVopA
Media: https://pbs.twimg.com/amplify_video_thumb/2104568018294435840/img/p3LmsoaYofU1U1K8.jpg
likes 6180 · replies 371 (at fetch time)
Archived 2026-10-05 via syndication.
All posts · id: x-victortaelin-2104568082169749982