z

[Taelin @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.

[z @_lazarusm]

@afvics por isso eu não perco a oportunidade de fazer

[z @_lazarusm]

@afvics 🤭

[z @_lazarusm]

@afvics sofre demais pai

[Тsфdiиg @tsoding]

The true miracle of software is the amount of stupid technical decisions it can tolerate.

[z @_lazarusm]

q fase bicho

[z @_lazarusm]

@afvics pra mim fofa?

[z @_lazarusm]

cage the elephant eh perfeito

[z @_lazarusm]

@afvics 🤫

[Taelin @VictorTaelin]

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:

- Lambdas with full closure support

- Unrestricted recursion and loops

- Fast object allocations of all kinds

- Folds, ADTs, continuations and much more

To HVM2, a new runtime capable of spreading that workload across 1000's of cores, in a thread-safe, low-overhead fashion. As a result, we finally have a true high-level language that runs natively on GPUs!

Here's a quick demo:

[z @_lazarusm]

bolacha piraquê ta no top 3 delicias da vida

[z @_lazarusm]

🫨

[z @_lazarusm]

@afvics euuuu

[z @_lazarusm]

https://t.co/drvPGSiinx

[z @_lazarusm]

@nbodyels tenho opiniões polêmicas sobre

[z @_lazarusm]

eu pago todos meus pecados tendo q codar em totalcross

[Universidade Brasileira Livre @UBLivre]

Live rolando! Quem quiser acompanhar para ver o lançamento do novo currículo e ficar por dentro do andamento da Rinha...

Vem no link...
🔗 https://t.co/TgJDw5Cu56

[z @_lazarusm]

nhe

[z @_lazarusm]

@masoxi22 cara, talvez eu tenha dado sorte, mas eu consegui o sim na primeira entrevista. o difícil mesmo foi chegar até ela, só fui sendo bem persistente e aplicando todos os dias

[Sofia @algebraic_dev]

Vo stremar eu trabalhando galera :) Quem tiver curiosidade sobre blockchain e etc tamo ai!!!
https://t.co/fAuGevlNQL