Keani Thorvalds

[Keani Thorvalds @keani42]

Não sei se vai ajudar muita gente mas tá aí, se precisar autenticar com LDAP (Active Directory) e estiver usando o better-auth, com esse plugin dá para controlar a lógica da autenticação mas ainda mantendo o resto funcionando (sessão, usuários, etc...)

[Keani Thorvalds @keani42]

Meu primeiro pacote npm!!!

https://t.co/EgoA48AAUn

[Keani Thorvalds @keani42]

@s8n In Brazil only the dentist can be sometimes that expensive, if you dont own a plan

[Keani Thorvalds @keani42]

@TrisH0x2A I just used this for genetic algorithms in bend since I needed a fast rng

[Keani Thorvalds @keani42]

@poteto But I had already rewrited it in rust
Guess third time is the charm

[Keani Thorvalds @keani42]

@nateparrott why not including gpt-2 and gpt-3

[Keani Thorvalds @keani42]

@VictorTaelin The design choice I feel that prevents me being productive in Bend2 and makes my IA go off track sometimes is the restrictions on the match construct

Why can't we do
(a, b) = f()
or
match f():
case ...
wihout a new continuation function?

Also closures (not templates) are slow

[Keani Thorvalds @keani42]

@gembia2 What if the art is just a permutation of this colors

[Keani Thorvalds @keani42]

@GiulioRebuffo My two cents:

- Bend2 is affine, not linear, discarding a value is ok
- Every way a match can or cannot be used
- How to handle Type and A & B
- Arrays, explain that they are real O(1) arrays and the tree structure is only for the checker, and match can be slow on them

[Keani Thorvalds @keani42]

@GiulioRebuffo 1. draft a working first version (slow but works)
2. sound LAWS.bend and PROOF.bend
3. AI agent try to improve code without breaking LAWS (looped)

Is this a example of Bend2 allowing AI's to do unsupervised improvement cycle?
The proof really makes bugs impossible?

[Keani Thorvalds @keani42]

@GiulioRebuffo I'm still explaining for the 3rth time when a match can be used and that Bool.pick evaluates both sides (Yes I put that on AGENTS.md)

idk if still happening but now saying to AI run bend code with a timeout and memory limit, because it was nuked by the compiler

[Keani Thorvalds @keani42]

@VictorTaelin Depois vou fazer meus experimentos já que tem como gerar fonte C, e é possível compilar C para WASM, (só falta umas janelinhas do claude para testar isso)

[Keani Thorvalds @keani42]

@VictorTaelin Eu vejo no Bend2 um nicho de webdev para jogos:

Finge que seja possível fazer o bend compilar para WASM multithreaded e/ou também rodar com webgpu

Finge também que alguém é louco o suficiente para construir uma game engine em Bend2

Pronto isso ganharia do JS para jogos

[Fabio Makita @AkitaOnRails]

Várias pessoas vieram me falar da nova linguagem Bend 2, que saiu faz 2 dias atrás. Resolvi escrever um artigo opinativo de early review (talvez early demais ainda).

https://t.co/MajueAkQmW

Obviamente, meus parabéns ao @VictorTaelin - independente, não é fácil produzir algo assim.

[Keani Thorvalds @keani42]

@Arikalabs why not rust

[Keani Thorvalds @keani42]

@VictorTaelin "Bend will admit lambda contraction ... it will disable the terminal checker"

So thats why suddenly my code is being flagged as unsafe even tho I never used @unsafe but a lot of high order ~fn and x => ...

[Keani Thorvalds @keani42]

@AkitaOnRails akita, já testou Bend2?

[Keani Thorvalds @keani42]

@JaiAchintya @VictorTaelin Seems like OCAML isn't as fast as C by a 2x to 10x factor.

https://t.co/5p4Mv3FdYE

[Keani Thorvalds @keani42]

@VictoriqueM It's as performant as C and if you use multi cores or GPU beats it like 8x - 40x, and different from C (or almost any language) you almost can't create data races, the entire language is designed to allow parallelism without worrying about it

[Keani Thorvalds @keani42]

@sseraphini Eu coloquei o Gemini 3.8 Flash para traduzir código de um solver genético Rust para Bend2 (acabou de lançar) e ele decidiu re-implementar todo o motor genético para cada exemplo em vez de reaproveitar código.

Acho que na 4º vez que re-escrever melhora

[Keani Thorvalds @keani42]

@Heitorrrz Eu diria que esse Bend2 é o jeito mais fácil de fazer um programa que roda na GPU, com opção de rodar sem GPU

[Keani Thorvalds @keani42]

@AkitaOnRails Fala sobre o Bend2 que lançou hoje

Linguagem funcional tipo Haskell feita por brasileiro que roda na CPU multi core com green threads ou GPU, com sistema de checagem por prova tipo Lean - só que tão eficiente quando C