Logo
Picture

Bend Lang @bendlang

A fast language that blocks AI mistakes by proof. bend-lang.com Joined September 2026
  • Tweets
    3
  • Followers
    990
  • Following
    2
  • Likes
    2
bendlang Profile Picture

Bend Lang @bendlang

5 days ago

Bend 2.0.32

VictorTaelin Profile Picture

Taelin @VictorTaelin

5 days ago

Bend 2.0.32: formalization sync done! The bounty is up. Prove a falsehood, get $10k. - Bend's proof kernel, not just its "theory", is proven correct. - A proof in Bend is now a trustworthy mathematical proof. - We offer $10k to anyone who proves a falsehood in Bend. How it

bendlang Profile Picture

Bend Lang @bendlang

2 weeks ago

∃(p:⊥). ∀(T:*). ∀(x:T). p ∈ x - 1931

Bend Lang retweeted
VictorTaelin Profile Picture

Taelin @VictorTaelin

2 weeks ago

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.

VictorTaelin Profile Picture

Taelin @VictorTaelin

2 years ago

RELEASE DAY After almost 10 years of hard work, tireless research, and a dive deep into the kernels of computer science, I finally realized a dream: running a high-level language on GPUs. And I'm giving it to the world! Bend compiles modern programming features, including: -

Trends for United States

Hawaii
Romo
Sliwa
#ShootingStar
#drwfirstgoal
#PPxSTAKE
#Cuphead
John Candy
Unplug
Letitia James
Theo
Jed York
Big Bend
Alito
#OlandriaxOttolingerSS27
Donnarumma
Skydance
For Psycho
Digger
Usman

You might like

https://t.co/ZdBx5WABYx
Elon Musk
@elonmusk
241.7M Followers
Dad, husband, President, citizen.
Barack Obama
@BarackObama
119.0M Followers
Welcome to the official account of Cristiano Ronaldo.
Cristiano Ronaldo
@Cristiano
114.5M Followers
45th & 47th President of the United States of America🇺🇸
Donald J. Trump
@realDonaldTrump
111.9M Followers
Rihanna
@rihanna
98.7M Followers
Making the seemingly impossible, possible. ✨
NASA
@NASA
92.4M Followers
@skylrk
Justin Bieber
@justinbieber
91.8M Followers
And, baby, that's sh0w business f0r y0u. ❤️‍🔥
Taylor Swift
@taylorswift13
84.0M Followers
@ladygaga @hauslabs @outerbio @btwfoundation
Lady Gaga
@ladygaga
75.5M Followers
A proud husband and father ❤️
Virat Kohli
@imVkohli
73.5M Followers
@SKIMS
Kim Kardashian
@KimKardashian
70.9M Followers
like & subscribe
YouTube
@YouTube
68.8M Followers
Filho de Deus, Pai, Feliz e Ousado !
Neymar Jr
@neymarjr
66.5M Followers
Sharing things I'm learning through my foundation work and other interests.
Bill Gates
@BillGates
65.2M Followers
“In The Dark” & “I Said I Love You First...And You Said It Back” Out Now
Selena Gomez
@selenagomez
63.1M Followers
It’s our job to #GoThere and tell the most difficult stories. For breaking news, follow @CNNBRK and download the CNN app ➡️ https://t.co/7PQD7o6fLw
CNN
@CNN
61.8M Followers
what's happening?!
X
@X
60.7M Followers
Breaking news from CNN Digital. Check @cnn for all things CNN, breaking and more.
CNN Breaking News
@cnnbrk
60.1M Followers
Office of the Prime Minister of India
PMO India
@PMOIndia
58.4M Followers
EST. AKRON - ST.V/M Class of '03 https://t.co/TrZZrgA5Yt #IPROMISE
LeBron James
@KingJames
55.3M Followers