Danilo Mendes

@gkpacker O que aconteceu foi um transpile um pouco mais sofisticado que efetivamente uma reescrita. Ele explicitamente pediu para manter a mesma organização que existia no código em bun, e ainda fez uso de uma suíte de testes já bem consolidada.

migraram Bun pra Rust e mergearam 1.000.000 LOC bom dia só pra quem ainda revisa PR

@samsantosb O que realmente importa é garantir que seu código satisfaça as propriedades desejadas de forma clara e legível, não determinismo.

@samsantosb O que realmente importa é o resultado da entrega. Code review é importante caso queira um código expressivo, assim como mecanismos de validação estática (em especial type safety, mas não apenas) e dinâmica (essencialmente testes).

Quais recursos você faz pra reduzir o não-determinismo da AI no trabalho ? Você ainda faz code review ?

@GoncaloAguiar Esse tuite mostra como as pessoas falam sobre aquilo que não fazem a menor ideia do que significa. Agile é metodologia, não método. O que estás a expôr é justamente a deturpação, que infelizmente foi aquilo que se popularizou.

AGILE is a plague. Stay clear

@tugce190333 254

Bunu çözersen, dahisin. Çözebilir misin ?

@brendasafra Quem é Roberto Gil?

eu achei as associações simplesmente IMPECÁVEIS, juro pra vcs GE-NI-AL e faz todo sentido

@rolandbouman The key is not only how deterministic the output is, but how comprehensive is the mechanisms that produces it. In other words, for us, LLM are just magic, and compilers are logic.

Compiler construction is one of the oldest, best understood CS fields. It's decades of work by the brightest minds, and it's grounded in logic, informed by experience and strictly deterministic. Comparing that with LLM-based coding agents is just wrong. x.com/IceSolst/statu…

@FelippeRegazio Optaram em aumentar a velocidade, ao invés da qualidade.

incidente de novo no github. aliás, vários incidentes em vários produtos críticos nos últimos meses; não acho que seja por causa da IA per-se. acho que os incidentes são por causa de afrouxamentos e super-pressa que re-institucionalizaram o go-horse nas empresas em formato go-AI

@FelippeRegazio Eu sempre penso nas limitações que a IA (ainda) possui. Mas ao mesmo tempo sei como software de má qualidade sempre existiu. Meu maior receio com IA é de automatizarem a produção de código de má qualidade ao invés de se criar softwares melhores.

The false ideia that software development is very simple now because we have AI. This will be very destructive for products and teams.

@VictorTaelin Well... Honestly, i didn't get it. But ok.

@danilomendes being quite honest here my point is going over your head

the AGI breakthrough is just training efficiency that's all there is to it. we have AGI already, LLMs ARE capable of learning any skill. it just takes millions of dollars to teach them a new skill/domain if we can bring that down to $100 then, we solve: - 1. continual learning: just retrain - 2. acquiring new skills: just retrain - 3. producing new knowledge: search while training that's all. AGI is merely an efficiency question and the fact people completely ignore that makes me intellectually offended the only companies seriously working on AGI are these who are addressing the efficiency problem, and, no, you are NOT going to solve that without throwing away the whole ML stack. it takes MILLIONS to train a new model. we're not going to make this shit 10000x more efficient while still learning by gradient descent a whole new approach is needed, one that replicates GPT-3 with a fraction of the cost. there is no theoretical limitation, but not enough people are dedicating their times to that because incremental progress is much easier and lower risk

@VictorTaelin How do you validate whether the LLM wrote the correct code? Do you use any form of formal validation in your codebase?

so at this point Bend2 is basically working and some tweaks away from being launch-ready, but there are still ~10k lines left of vibe-coded files that I haven't even *read*, let alone review, and that is the main thing preventing launch. I'm tired and lazy and that's ironical because the main point of Bend is solving the very problem of AI accountability; if Bend was written in itself I'd not need to read a single line of that

@VictorTaelin Time doesn't matter here. If it spends 1s or 1 week to understand, does not mean more or less inteligent. But LLM needs a separated training phase, and needs several levels of magnetude of data to learn. Virtually, it can be trained to anything, but that doesnt mean inteligent.

@danilomendes if training is instantaneous how is that observably different? that's how human intelligence work, we learn a new thing on the spot. we're just very fast at it. that's all there is to it

@FelippeRegazio É das poucas vezes que eu concordo parcialmente com o que ele diz, mas ele claramente discorda do que você disse. Basta ver os comentários do vídeo dele.

Sobre clean code e afins: falei isso aqui e teve um povo desconfiado se eu não tava viajando, mas agora o próprio 𝓊 𝓃 𝒸 𝓁 𝑒 𝒷 𝑜 𝒷 tá falando isso aqui tb haha

@warlei_alves @ayubio @dcoderio Para o utilizador comum, só um desses números importa. Não é Mb/s.

sua operadora te vende "300 megas" de internet 300 Mb/s = 300 megaBITS por segundo você baixa arquivo em MB/s = megaBYTES por segundo 1 byte = 8 bits logo: sua internet de "300 megas" baixa no máximo 37,5 MB/s isso é vendido como "limitação técnica". é vendido assim desde os anos 90 porque o número maior vende mais.

@ayubio @dcoderio E a propósito, tanto bytes quanto segundos são unidades padronizadas. Não há problema nenhum na razão entre elas.

@ayubio @dcoderio Se eu quero uma estimativa de quanto tempo meu ficheiro de determinado tamanho irá demorar para descarregar em meu pc, quero o tamanho/tempo. Não quero passos intermediários. Foi nisso que certamentr os desenvolvedores dos software pensaram, e pensaram bem.

@ayubio @dcoderio E por incapacidade de criarem padrões coerentes entre si, vamos forçar todos a multiplicar e dividir por 8? Simplesmente porque alguns burocratas decidiram assim? Felizmente, não é assim que desenham softwares.

"Um pouco difícil de defender que os softwares apresentem os downloads em bits por segundo." Não é difícil, é fácil e até óbvio: Transferência é transferência. Armazenamento é armazenamento. Download é transferência, portanto, bit por segundo (Mbps). Armazenamento é espaço ocupado, portanto, bytes e sem dividir por segundo (MB).

@ayubio @dcoderio É um pouco difícil de defender que os softwares apresentem os downloads em bits por segundo. Os ficheiros são armazenados em bytes, não bits. SI ou não, no fim do dia tudo isso é arbitrário.

No Sistema Internacional de Unidades (SI), a transmissão de dados (data rate) é em bits (b minúsculo) e não em bytes (B maiúsculo). Não é uma estratégia de marketing. Se existe algo errado são os softwares e seus desenvolvedores que usam a medida errada desde os anos 90. Jamais o browser deveria mostrar em MB/s e sim no correto, Mb/s. No oposto da crendice popular, os provedores entregam MAIS e e não menos banda que o valor nominal do plano e em média, cada lar utiliza 2,2 Mbps em horário de pico. Sim, DOIS, não vinte, não duzentos. Explico esse assunto em detalhes ao fazer uma análise da Live TIM cancelando contrato de heavy users nesse vídeo, no qual também explico como funciona a banda larga fixa e as velocidades envolvidas: youtube.com/watch?v=Ma-djQ…

@CodigoFalado Mesmo que seja apenas apertar um botão, prefiro que seja alguém que saiba o que faz.

“Programadores estão frustrados porque quem não sabe programar está criando software” 🤣 Não tem problema nenhum criar software sem saber programar. Mas aposto que se for transparente sobre o que você está fazendo aos seus clientes, ninguém vai confiar. Eu confiaria dinheiro a uma Fintech que deixasse claro que é 100% Vibe Code (ou “Agentic Engineering”). Eu NÃO confiaria dinheiro a uma Fintech que deixasse claro que foi feita por pessoas que não sabem programar. Essa é a diferença.