it is not savio

T.I., GEEK, NERD, ROCK, GAMER... Viva cada segundo como se fosse o último, sempre de o máximo de você em tudo...

[it is not savio @itisnotsavio]

https://t.co/6dgYJaq65i

[it is not savio @itisnotsavio]

rewrite it in bend

[Giulio Rebuffo @GiulioRebuffo]

rewrite it in bend

[it is not savio @itisnotsavio]

@foryouyeji 3k pleno

[it is not savio @itisnotsavio]

Atualizei o bend-net: suporte inicial a HTTPS (HTTP/2 + TLS) e WSS (WebSocket Secure).🔒

Tudo em Bend user-land (OpenSSL via dlopen, sem link flags). Publico no BendHub só depois de validar de verdade — carga, perf e peers node/bun.
#bend #rewriteinbend
https://t.co/6dgYJaqDUQ

[it is not savio @itisnotsavio]

Passei o fim de semana mexendo no Bend e saiu a bend-net: HTTP/1.1 + WebSocket
(RFC 6455) tudo em Bend puro, em cima do kit TCP. Sem TLS, sem DNS, só três
effects de bytes no socket.

https://t.co/Q6appLk4gq
#BendLang #OpenSource

[it is not savio @itisnotsavio]

Passei o fim de semana mexendo no Bend e saiu a bend-net: HTTP/1.1 + WebSocket
(RFC 6455) tudo em Bend puro, em cima do kit TCP. Sem TLS, sem DNS, só três
effects de bytes no socket.

https://t.co/Q6appLk4gq
#BendLang #OpenSource

[it is not savio @itisnotsavio]

I tested Bend today, and I’m thinking about building a few libraries for it. I might be somewhat biased since I’m a former HOC engineer, but I genuinely think Bend is heading in the right direction. The foundation looks solid, and I’m excited to see where it goes.

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

[it is not savio @itisnotsavio]

@VictorTaelin Taelin time

[@levelsio @levelsio]

I normally don't do these things but this guy is really special!

His name is Lito (@avioesemusicas) and he's famous in Brazil for making really fun airplane videos, I watch them all the time too

He explains how airplanes work in normal ELI5 language, and also explains airplane crashes etc, lots of people credit him for helping them stop being scared to fly as Lito showed how safe it is

If you ever read Hacker News, you know about prions, which they love to discuss, they're one of the scariest things you'll ever read about, as they can flip seemingly at random in your body and cause Creutzfeldt–Jakob, a terminal disease

I'm Dutch so we had a big outbreak of mad cow disease in the 1990s when I was a kid and I remember it well. You can get it from eating infected meat (but it's very rare), or prions can flip in your body randomly and cause it, or you can have surgery and one of the surgery tools can have it on them from previous patients

The issue with that from what I read is that it's close to impossible to wash off, and it won't die at extreme heats either, you just have to throw away all surgery tools (which you can't)

85% of Creutzfeldt–Jakob is a randomly flipping prion though, so that's most probably

Anyway, Lito here can participate in a promising trial by @Harvard @broadinstitute @ionispharma @mayoclinic but the next batch is only in October, so he's hoping the internet (like this tweet) can help him get in earlier, so he has a chance

And that trial hopefully helps us find a cure for this crazy disease

So if you can spread this, do so! This guy is really awesome, THANK YOU ❤️

[it is not savio @itisnotsavio]

@coproduto Não

[Shuo Yang @Andy_ShuoYang]

Your gaming PC can now serve frontier models at interactive speed using official checkpoints without extreme quantization!

Qwen3.6 35B → 8GB RTX 4060 laptop @ 39 tok/s

DeepSeek-V4-Flash 284B → RTX 5090 desktop @ 22-25 tok/s

GLM-5.2 753B → RTX PRO 6000 workstation @ 15 tok/s

Run your claude code or codex now with frontier model for $0

Meet FreeToken 🧵

[it is not savio @itisnotsavio]

Meu workflow, só que uso o vscode no lugar do vim, e uso agente via CLI

[Taelin @VictorTaelin]

and yes Bend2's simplification from 242k to 80k tokens was """manual""" in that sense. the workflow was like this:

→ launch VIM
→ put whole codebase in context
→ ask AI to explain each line it had written
→ spot the first and most stupid shit
→ explain how it should've done instead
→ ask it to rewrite the whole file with that in mind
→ read what changed and confirm it isn't dumb
→ repeat

I did that cycle 100x. that has been my life these days.

so "manual" as in "I still need to work", not as in "no AI"

this is effective because the model can see the whole thing. agents like claude code will do anything but read the whole fucking codebase. they just guess to fill the gaps, and they guess it wrong, and do dumb shit

if you maintain a codebase that you can shrink down to < 128k tokens, consider so, because that fits in Fable's context, meaning you can do one-shot whole codebase refactors, and that's marvelous. it is a very different experience. faster, more accurate, less expensive

I highly recommend it

[it is not savio @itisnotsavio]

@VictorTaelin conseguiu fazer monad em TS?

[it is not savio @itisnotsavio]

@kxtuitta localsend

[it is not savio @itisnotsavio]

@foryouyeji barato

[it is not savio @itisnotsavio]

@VictorTaelin Talvez eu use isso no tell-ai, o contexto que uso é de ~250K...

[it is not savio @itisnotsavio]

Use

https://t.co/431otpQowj

[aizk ✡️ @Aizkmusic]

&gt; New JS method approved
&gt; Called sumPrecise()
&gt; Doesn't precisely sum numbers
What are we doing people

[it is not savio @itisnotsavio]

@Aizkmusic Use

https://t.co/431otpQowj

[UwU Games - Wishlist Ultimate Jello Party @UwUGamesUwU]

Pay attention to which lamp will light up and be quick. Playtest on Steam and Itch!

#gamedev #indiedev #indiegame #indiegamedev #pixelart #pixel #steam

[it is not savio @itisnotsavio]

@fiBonatto @OrwellDay Ruindows