1016 | IA aberta, segurança e gadgets: a semana em tecnologia

Sofia Almeida: Olá, bem-vindo a mais um episódio! Eu sou a Sofia Almeida.

Rafael Costa: E eu sou o Rafael Costa. E olha, o dia de hoje tem um fio condutor muito claro: a inteligência artificial está deixando de ser novidade e passando a mexer com coisas concretas — drivers de hardware, carros, telas de papel, e até com a autoestima dos matemáticos mais respeitados do mundo.

Sofia Almeida: É exatamente isso. E o que é interessante é que hoje temos de tudo: notícia grande de laboratório, projeto amador de final de semana, malware disfarçado de episódio de South Park... Começando pelo que acho que vai dominar a conversa: a Meta abriu o jogo.

Rafael Costa: Isso. A Meta publicou o Muse Spark Open, um modelo de pesos abertos com 816 bilhões de parâmetros no total, dos quais 42 bilhões ficam ativos por chamada. E o detalhe que todo mundo ficou olhando é o contexto: um milhão de tokens. Eles estão chamando de o modelo aberto mais forte dos Estados Unidos.

Sofia Almeida: Arquitetura esparsa, né? Só 42 bilhões ativos num modelo de 816 bilhões é uma escolha de engenharia bem deliberada — você carrega o conhecimento de um monstro, mas paga o custo de inferência de algo bem menor.

Rafael Costa: E isso importa muito quando você coloca ao lado do outro lançamento do dia: a Krea abriu o beta público do Krea 3, um modelo de imagem focado em edição, que eles descrevem como veloz e barato, de qualidade de fronteira, com edição por região nativa — ou seja, você aponta uma área da imagem e edita só aquilo, sem precisar de truques externos.

Sofia Almeida: Eu acho que os dois lançamentos contam a mesma história de lados diferentes. O Muse Spark Open mostra que a fronteira dos modelos abertos está sendo empurrada para cima, e o Krea 3 mostra que o custo e a velocidade do lado da imagem estão despencando. Não é mais "temos um modelo aberto que quase chega lá" — é "temos um modelo aberto que chega lá, e uma ferramenta de edição que qualquer pessoa pode usar em beta aberto".

Rafael Costa: E quando você junta isso, a pergunta que fica no ar é: o que acontece com o ecossistema aberto daqui pra frente? Se o modelo aberto mais forte vem de uma grande empresa, e se editar imagens de qualidade virou algo quase gratuito, quem consegue competir? Acho que há duas leituras legítimas ali. Uma é otimista: mais capacidade disponível significa mais gente construindo em cima, e o valor migra para as aplicações.

Rafael Costa: A outra é mais cética: pesos abertos não significam governança aberta, e o controle real continua nas mãos de quem treina.

Sofia Almeida: Eu fico no meio. A abertura do Muse Spark Open é genuinamente importante — 1M de contexto aberto muda o que é possível fazer em ferramentas locais. Mas é fato que ninguém fora da Meta consegue reproduzir o treino daquele modelo. Então "aberto" aqui quer dizer "usável", não "replicável". E é uma distinção que acho que a comunidade vai debater bastante.

Rafael Costa: Concordo. E o Krea 3, na minha leitura, talvez seja o mais disruptivo dos dois na prática. Um modelo de fronteira de 816B é impressionante, mas a edição por região nativa, rápida e barata, é o tipo de coisa que muda o fluxo de trabalho de designers hoje mesmo. E se de fato é barato o suficiente para rodar em volume, a economia de todo o mercado de edição de imagem muda.

Sofia Almeida: E sabe o que conecta bonito com o que vem a seguir? Esses mesmos modelos — esses sistemas capazes de raciocínio sério — estão agora produzindo resultados que estão fazendo matemáticos profissionais passarem por um luto genuíno.

Rafael Costa: Pois é. O Hugo Duminil-Copin, medalhista Fields, comentou publicamente sobre os resultados matemáticos que a OpenAI divulgou. E ele usou uma expressão forte: descreveu uma espécie de tristeza técnica, de "luto", dizendo que sua área de pesquisa foi destruída. Isso é um matemático no topo da profissão falando sobre sentir que o chão sumiu debaixo dos pés.

Sofia Almeida: E eu acho que vale a pena desempacotar isso, porque não é um tweet de pânico — é uma reação de alguém que entende perfeitamente o que está vendo. O que ele está descrevendo é uma coisa que a comunidade matemática conhece bem: se os problemas centrais de uma área passam a ser resolúveis por máquina, o propósito da prática muda. Não é que a matemática acabe — é que a identidade de quem a faz fica em questão. Isso tem nome na comunidade: é um luto técnico.

Sofia Almeida: Você sofre a perda de um modo de existir, não de uma pessoa.

Rafael Costa: E é exatamente por isso que a outra notícia do dia, vinda da mesma área, é tão interessante como contraponto. A Simons Foundation anunciou um programa de 15 milhões de dólares, em parceria com a Anthropic e com a OpenAI, para apoiar matemáticos usando IA. E vale lembrar: a Simons Foundation já tinha histórico nessa frente, com o apoio ao Lean, o assistente de provas formais.

Sofia Almeida: Então você tem duas respostas ao mesmo fenômeno, acontecendo quase simultaneamente. De um lado, Duminil-Copin descrevendo destruição de área de pesquisa. Do outro, uma fundação de peso construindo infraestrutura para que matemáticos adotem essas ferramentas de forma estruturada. E não acho que sejam contraditórias — acho que são as duas faces da mesma adaptação. Você luta primeiro, depois constrói o novo fluxo de trabalho.

Rafael Costa: Sim, e há um detalhe importante que é a parceria explícita com as próprias laboratórios de IA. Não é a fundação criando uma ferramenta paralela — é a fundação trazendo Anthropic e OpenAI para dentro do processo. Isso sinaliza que a integração vai ser profunda, não superficial. E provavelmente com acesso a modelos que o público geral não tem.

Sofia Almeida: E eu acrescentaria uma terceira voz que ajuda a enquadrar o debate todo: o Nick Cammarata, da Goodfire, argumentou que a multiplicidade — o fato de um mesmo neurônio significar coisas diferentes — não tem como causa principal a superposição, aquele fenômeno de comprimir mais conceitos do que dimensões. Na visão dele, é um problema de aprendizado comum, e as redes neurais já são, em essência, interpretáveis.

Rafael Costa: Isso é relevante justamente porque toca na fé central desse campo: a ideia de que os modelos são caixas-pretas inerentemente. Se o Cammarata estiver certo, e a polissemia for só um artefato de como treinamos, e não uma propriedade fundamental, então a interpretação é um problema de engenharia a ser resolvido — não um mistério permanente. E se os modelos de IA vão julgar matemática, seria bom poder abrir essas caixas.

Sofia Almeida: Exatamente. Luto de um lado, dinheiro de adoção do outro, e no meio um debate sobre se as caixas podem ou não ser abertas. E agora vamos descer da matemática para algo muito mais tangível — mas ainda no mesmo tema: a IA como ferramenta de trabalho real.

Rafael Costa: Porque tem uma história que circulou hoje que, sinceramente, acho que é das mais ilustrativas do novo jeito de desenvolver software. Um autor descreveu como usou IA para fazer funcionar o driver SANE dos scanners Plustek — aquela pilha de escaneamento do Linux — em questão de horas. E no mesmo fôlego corrigiu uma câmera MIPI. E publicou o fruto disso, um projeto chamado hw-harness, como ferramenta aberta.

Sofia Almeida: E é importante situar por que isso é notável. Drivers de hardware são tradicionalmente considerados o pior tipo de código para IA escrever. São interfaces de registradores mal documentadas, comportamento de firmware inconsistente, bugs que só aparecem com o hardware físico na mesa. A sabedoria convencional era: isso exige anos de experiência com a pilha do kernel.

Rafael Costa: E a chave do projeto, na minha leitura, é o harness. O autor não pediu "escreva um driver" — ele construiu uma estrutura que permite ao agente interagir com o hardware, testar, observar, iterar. O hw-harness é, essencialmente, o ambiente que transforma "hardware difícil" em algo que um agente pode explorar. É a mesma lição dos agentes de código em geral: o gargalo não é o modelo, é o ambiente que você dá para ele trabalhar.

Sofia Almeida: E o detalhe "em horas" é o que dá o choque. Não é "em meses com ajuda de IA" — é uma tarefa que tipicamente leva meses de trabalho especializado, feita em horas, porque havia um ciclo de feedback bom. E o autor usou o mesmo fluxo para consertar uma câmera MIPI, o que sugere que não foi sorte de uma vez: foi um método replicável.

Rafael Costa: E há um eco disso em outro projeto de hoje, mais voltado a dados do que a hardware. Alguém publicou o Unfenced, uma ferramenta que cruza dados públicos — incluindo o PAD-US, que é o inventário de terras protegidas dos EUA — para identificar terras privadas à venda que fazem fronteira com terras públicas. Ou seja, lotes onde você compraria um terreno encostado num parque nacional, sem cerca. São 13.626 propriedades identificadas, medidas semanalmente. E o detalhe: construído com o Claude Code.

Sofia Almeida: Então é o mesmo padrão aparecendo em domínios completamente diferentes: hardware abstrato num caso, dados geoespaciais públicos no outro. O agente faz o trabalho tedioso de cruzar fontes e o humano define o problema interessante. "Quero morar do lado de uma área selvagem" é exatamente o tipo de pergunta que uma pessoa tem, e que ninguém tinha paciência de responder consultando GIS manualmente.

Rafael Costa: E eu gosto de pensar nos dois juntos porque eles respondem a uma pergunta que a gente discute há tempos: quando a IA deixa de ser brinquedo e vira ferramenta de ofício? A resposta parece ser: quando o ofício tem um ciclo de feedback verificável. Driver que funciona ou não funciona, propriedade que faz fronteira ou não faz. Nos dois casos, a verdade é barata de checar.

Sofia Almeida: E é aí que a conversa toma um tom mais sombrio, porque confiança e verificação estão no centro das próximas notícias — só que do lado errado. Temos três histórias hoje sobre confiança em canais digitais sendo explorada.

Rafael Costa: A primeira é bem teatral: alguém distribuiu um arquivo de 887 megabytes se passando por um episódio de South Park — só que era um executável do Windows. Foi feita uma análise de malware que revelou um stealer bastante sofisticado: usa ChaCha20 e AES para criptografar as strings e rouba navegadores, wallets de cripto e outras coisas do gênero.

Sofia Almeida: E os detalhes técnicos são o que faz essa análise valer a pena. O tamanho gigante do arquivo é um truque em si — 887MB para um "episódio" parece plausível, e um arquivo tão grande desencoraja escaneamento casual. E a criptografia dupla das strings com ChaCha20 mais AES significa que antivírus baseado em assinatura de texto não encontra nada legível no binário. O malware só revela seu conteúdo em tempo de execução, após descriptografar.

Rafael Costa: E a lição operacional é a de sempre, mas num grau pior: a frontend é a superfície de ataque. A vítima não foi enganada por exploração técnica — foi enganada porque o arquivo parecia o que ela queria. Todo o esforço do atacante foi em engenharia social e evasão, não em exploração.

Sofia Almeida: E se o malware do South Park é abuso de confiança em escala de consumidor, a segunda história é abuso de confiança em escala de infraestrutura. O Citizen Lab publicou uma investigação chamada AdFection, que expôs uma campanha ligada à Discover-Tech, empresa israelense, que usava publicidade direcionada para distribuir spyware — e o spyware em questão é o Candiru, um zero-click, ou seja, infecta sem que a vítima clique em nada.

Rafael Costa: Isso é grave em vários níveis. Primeiro, a cadeia: uma empresa de tecnologia de vigilância, usando o ecossistema de publicidade — que existe para entregar conteúdo ao alvo certo — como veículo de entrega de spyware comercial. A própria máquina de direcionamento que serve anúncios vira o mecanismo de seleção de vítimas. E segundo, zero-click significa que a vítima não fez nada de errado. Não abriu anexo, não caiu em phishing. Basta ser o alvo certo de um anúncio.

Sofia Almeida: E é por isso que eu acho que essas duas histórias pertencem à mesma discussão, apesar da escala. O malware do South Park exige que você baixe e execute um executável — é abuso de confiança ingênua. A AdFection industrializa o abuso de confiança: você é infectado por existir e ter um perfil. E as defesas são radicalmente diferentes: contra o primeiro, ceticismo básico funciona. Contra o segundo, não há comportamento que você possa mudar.

Rafael Costa: E a terceira história da trinca tem outra textura. A Withings, fabricante de balanças e dispositivos de saúde, anunciou que, para contas criadas a partir de 13 de outubro de 2026, a sincronização automática com o Apple Health vai ficar atrás de uma assinatura de 99 dólares por ano. A reação foi... veemente, para dizer o mínimo.

Sofia Almeida: E o incômodo, na minha leitura, tem uma razão estrutural: você comprou uma balança, ela mede seus dados, e a interoperabilidade básica com o ecossistema do seu telefone — que você também pagou — vira assinatura anual. Não é uma feature premium, é o encanamento. E no contexto das outras duas notícias, o padrão é o mesmo: um canal digital que o usuário assume ser neutro — a sincronização de dados — se revela uma alavanca comercial.

Rafael Costa: E há quem defenda a Withings em espírito, mesmo discordando: empresas de hardware têm margens apertadas, e se a Apple ou quem quer que seja cobrasse pela integração, alguém tem de pagar. Mas mesmo essa defesa mais simpática tende a reconhecer que restringir a sincronização para contas novas, um ano após a compra — aí o cliente já decidiu — é desenhar o modelo de negócio para capturar quem não pode sair.

Sofia Almeida: E para fechar esse bloco com uma nota curiosa e perturbadora: a Elevation Lab, conhecida por acessórios, lançou uma ferramenta para abafar o alto-falante de AirTags — e depois a retirou e pediu desculpas. O problema: a ferramenta, que servia para silenciar o beep de um AirTag, também serve para silenciar um AirTag usado para perseguir alguém. E mais: eles descrevem que um patente impede outras empresas de fazer concorrentes, o que agrava o quadro.

Rafael Costa: É um caso de design em espelho perfeito: a mesma muda acústica protege o dono do AirTag e protege o perseguidor. Não há como fazer a ferramenta só para o caso bom. E a retirada, com pedido de desculpas, é uma admissão de que a utilidade era inseparável do dano. Mais um dado no tema do dia: tudo que depende de um sinal audível ou de uma suposição de boa-fé pode ser virado contra você.

Sofia Almeida: E depois dessa sequência pesada, vale respirar com notícias de hardware mais festivas. A Tesla apresentou o novo Roadster, e em vez de slides, fizeram uma demonstração real — o carro em ação, com um desempenho descrito como de carro que "pula", tipo aquele efeito de saltar, em uma exibição ao vivo.

Rafael Costa: Pois é, e a resposta da comunidade se divide de um jeito bem familiar. De um lado, o entusiasmo: uma demonstração real de um carro elétrico fazendo algo que nenhum carro de produção faz é, no mínimo, um marco de engenharia. Do outro, o ceticismo, que se concentra num número só: produção prevista para 2028.

Sofia Almeida: E o ceticismo tem histórico pesado do lado dele — a Tesla tem tradição de anunciar datas agressivas que deslizam. Então o debate real não é "o carro é impressionante?" — a demo diz que sim. É "um carro com esse conjunto de capacidades tem algum uso prático, ou é um brinquedo de colecionador com números de pista?". E até entusiastas costumam admitir que a utilidade do dia a dia é a parte mais questionável.

Rafael Costa: E no mesmo bloco de hardware, uma novidade que eu acho que, a longo prazo, pode importar mais: a E Ink anunciou o Kaleido 4, a nova geração de papel eletrônico colorido. Os números: a gama de cores mais que dobra, passando de 40 mil, a refletância do branco sobe 15%, o contraste melhora 50%, e — o detalhe que fez a internet reagir — suporta 18 quadros por segundo de vídeo.

Sofia Almeida: 18 FPS em papel eletrônico é um marco simbólico enorme, porque o argumento eterno contra e-ink colorido era "não dá nem para vídeo". Ainda não é fluido tipo OLED, longe disso, mas chegou ao ponto em que vídeo é possível. E o contraste mais 50% e o branco mais 15% atacam o outro problema clássico, que era o aspecto "cinza lavado" das telas coloridas.

Rafael Costa: E o primeiro produto a levar isso é o Hanvon M10C II, o que é interessante — não é uma grande marca de tablets ocidental, é um fabricante especializado em e-ink. O que sugere que a tecnologia vai amadurecer primeiro nos nichos, nos aparelhos para leitura e anotação, antes de, quem sabe, chegar a algo mais mainstream.

Sofia Almeida: E sabe, essa conversa sobre o Roadster e o Kaleido 4 me leva direto ao próximo par de histórias, porque as duas são sobre velocidade — mas de tipos completamente diferentes. Uma é velocidade corporativa, literal: a guerra dos launchers de jogos.

Rafael Costa: Essa foi rápida de contar e deliciosa de ver. A Epic anunciou a versão 2 do seu launcher, com destaque para o fato de ser construída com IA — e vinte e quatro horas depois, a Valve respondeu com uma atualização do cliente Steam. E o anúncio deles foi essencialmente um número: o Steam agora inicia em 5,23 segundos.

Sofia Almeida: É um clássico do gênero "resposta corporativa com precision strike". A Epic fala "nosso launcher é feito com IA", e a Valve responde "o nosso abre em cinco vírgula vinte e três segundos". Não menciona IA, não entra em discussão filosófica — só coloca na mesa a métrica que importa para o usuário: quanto tempo você espera.

Rafael Costa: E eu acho que há uma leitura mais profunda: os dois estão competindo por coisas diferentes usando a mesma vitrine. A Epic está vendendo ambição tecnológica — "nosso launcher é moderno, construído com as ferramentas de hoje". A Valve está vendendo confiabilidade percebida — "o nosso é rápido e estável". E o usuário final, no fim das contas, mede em segundos de espera, não em paradigmas de engenharia.

Sofia Almeida: E do outro extremo do espectro de velocidade, uma história sobre lentidão deliberada, sobre construir devagar algo para um problema mínimo — e que está funcionando. O SnoutCover: um protetor nasal para cães com DLE, o lúpus eritematoso discóide, uma doença autoimune que ataca o nariz do cachorro. Em um ano, fez 395 pedidos, em 16 países, e já foi usado por mais de 500 cães.

Rafael Costa: E o que eu gosto nessa história é a lição de produto. Ninguém no Vale investiria nisso — o mercado é minúsculo, uma condição veterinária específica. Mas para cada um daqueles 500 cães, é a solução para um problema real e doloroso. E 16 países em um ano, para um produto nicho feito por aparentemente uma operação pequena, mostra que a internet faz mercado global ser viável até para o mais estreito dos nichos.

Sofia Almeida: E junto com o Roadster e o Kaleido 4, isso completa um quadro: gigantes brigando por segundos de inicialização, montadoras prometendo carros de 2028, telas de e-ink aprendendo a dar play — e no meio disso, um protetor de nariz de cachorro servindo o mundo. Hardware é um espectro enorme.

Rafael Costa: E falando de espectro, vamos agora para o território onde a comunidade mais gosta de viver: software livre e self-hosting. Temos dois itens que mostram a alternativa sendo construída com as próprias mãos.

Sofia Almeida: O primeiro é um relato de experiência: um autor descreve como faz self-hosting do Jellyfin — o servidor de mídia alternativo — e outros serviços num mini PC Beelink N100 com 16GB de RAM. E os detalhes da arquitetura são o que geram discussão: nada exposto publicamente, e uma preferência declarada por Podman em vez de Docker, com uma parcela dos serviços rodando nativamente, sem contêiner.

Rafael Costa: E cada uma dessas escolhas representa uma posição na discussão eterna do self-hosting. "Nada exposto publicamente" é a grande lição dos últimos anos: o ataque não vem de fora se não há porta aberta — você acessa via VPN ou rede interna e sua superfície de ataque despenca. A escolha do Podman é a posição dos que preferem rootless, daemonless, mais alinhado ao modelo de segurança do Linux. E rodar algumas coisas nativamente é a confissão de que contêineres nem sempre valem o atrito.

Sofia Almeida: E o Beelink N100 é quase o herói silencioso dessa história: um mini PC barato, de consumo baixíssimo, que roda um servidor de mídia, e o que mais, tranquilamente. A ideia de que você precisa de um homelab de rack para self-hosting morreu faz tempo — o que você precisa hoje é de um computador de 100 e poucos dólares na gaveta.

Rafael Costa: E no mesmo território, mas em camada bem mais baixa da pilha, o Libreboot lançou a versão 26.10, com mudanças substantivas. A adoção do EDK2 como padrão UEFI é um marco — o projeto historicamente associado a BIOS livres mais puristas está padronizando o firmware UEFI moderno via EDK2, o que melhora a compatibilidade com o ecossistema atual.

Sofia Almeida: E o número que mais chama atenção: 233 modelos de Chromebook adicionados. Isso é enorme na prática, porque significa que centenas de milhares de laptops baratos que a Google descontinua têm um caminho para continuar úteis com firmware livre. É a infraestrutura da resistência à obsolescência programada, literalmente.

Rafael Costa: E tem um detalhe que gerou conversa por si só: o projeto incluiu no AGENTS.md — aquele arquivo que orienta agentes de IA que trabalham no repositório — uma política fortemente anti-IA. Ou seja, o Libreboot declarou explicitamente que não quer contribuições de agentes de IA no projeto.

Sofia Almeida: E isso é fascinante como posição, no contexto de tudo que discutimos hoje. Lá atrás vimos IA escrevendo drivers em horas; aqui, um projeto de firmware livre diz "não queremos isso no nosso repositório". E os dois podem estar certos: o autor do driver de scanner estava resolvendo um problema árduo e mundano com a ferramenta disponível. O Libreboot está defendendo algo diferente — a natureza do processo de revisão, a procedência do código, a cultura do projeto.

Sofia Almeida: Não é uma questão técnica, é uma questão de valores, e por isso é melhor não fingir que há uma resposta única.

Rafael Costa: E é essa tensão — valores versus ferramentas — que leva bem ao nosso último grande bloco, o dos projetos de amadores, que é onde a mágica do software sempre nasceu.

Sofia Almeida: Três projetos, três sabores bem diferentes. Começando pelo mais visual: o DEsk, um ambiente de desktop para Wayland, skeuomórfico de verdade. A ideia é que seu desktop é uma sala renderizada com ray tracing: tem uma mesa, gavetas, uma caixa de correio, papel espalhado — o computador como metáfora física, só que iluminado por um motor de traçado de raios. E acabou de sair a versão 0.1.2 beta.

Rafael Costa: Skeuomorfismo no ano 2020 e poucos é quase uma declaração estética. Depois de uma década de flat design, alguém constrói uma sala com ray tracing para organizar arquivos. E tecnicamente é impressionante — ray tracing em tempo real como base de um desktop é uma escolha cara e corajosa. A pergunta que a comunidade sempre faz com projetos assim é: é uma peça de arte funcional ou uma visão de como computadores deveriam ser? A v0.1.2 beta sugere que o autor leva a sério como produto.

Sofia Almeida: O segundo projeto vai na direção oposta em termos de ostentação, mas é igualmente ambicioso no propósito: o Flipflop, um túnel de compartilhamento de arquivos ponto a ponto, persistente, construído em Rust com a interface em Slint, sobre o Iroh. E funciona por Bluetooth, por LAN, e através da internet.

Rafael Costa: E é aí que o projeto é interessante: persistência. Compartilhar arquivo é fácil; manter um túnel vivo quando o dispositivo muda de rede, alterna do Wi-Fi para o Bluetooth, atravessa NAT — isso é o problema difícil. Usar o Iroh, que é uma biblioteca moderna de conexão P2P, e cobrir três camadas de rede, mostra uma ambição de infraestrutura: quero um canal entre meus dispositivos que simplesmente exista, como um cabo invisível.

Sofia Almeida: E isso dialoga bonito com a discussão do self-hosting de há pouco: tanto o autor do Beelink quanto o do Flipflop estão resolvendo a mesma ânsia — meus dados, meus dispositivos, meu controle, sem passar por nuvem de terceiros. Um pela via do servidor, outro pela via do túnel direto. São as duas grandes escolas do movimento.

Rafael Costa: E o terceiro item é mais técnico, mas importante para muita gente: o C++26 está trazendo contratos, e já tem material explicando como funciona. A essência: você pode escrever pre e post — pré-condições e pós-condições — diretamente na declaração da função. E a semântica de avaliação é mais flexível que o assert tradicional, o que resolve o antigo dilema de como documentar e verificar invariantes sem penalizar a build de produção.

Sofia Almeida: E é um lembrete de que as linguagens também aprendem. O conceito de contratos vem da verificação formal — o mesmo mundo do Lean que a gente mencionou lá atrás com os matemáticos — e agora chega ao C++ mainstream, testável já no GCC. O círculo se fecha de um jeito curioso: a matemática que está sendo "destruída" pela IA também está sendo destilada em recursos de linguagem para programadores comuns.

Rafael Costa: E é exatamente esse círculo que nos leva ao último assunto do dia, que é também o mais poético: setenta anos de Fortran.

Sofia Almeida: Setenta anos desde a publicação do manual da primeira versão de Fortran. Pense no que isso significa: esse manual descrevia uma linguagem para uma das primeiras máquinas modernas, e hoje discutimos modelos de 816 bilhões de parâmetros no mesmo planeta, no mesmo século, na mesma conversa.

Rafael Costa: E para comemorar, Manchester vai receber um evento de aniversário, com inscrições abertas até 9 de novembro, e a entrada é gratuita. Que é um convite raro: histórico de computação, ao vivo, sem custo.

Sofia Almeida: E eu gosto de terminar aí, Rafael, porque o Fortran amarra o episódio inteiro. O Muse Spark Open, o driver de scanner escrito em horas, o C++26 com contratos, o Libreboot anti-IA — tudo isso existe porque alguém, há setenta anos, escreveu um manual ensinando a fazer a máquina obedecer a uma linguagem humana.

Rafael Costa: E talvez seja a nota final mais honesta do dia: os matemáticos choram a destruição de suas áreas, as fundações injetam 15 milhões para adaptar a profissão, e enquanto isso alguém em Manchester prepara bolo para uma linguagem de 1950-something. O software vive todas essas idades ao mesmo tempo.

Sofia Almeida: Foi assim o episódio de hoje. Eu sou a Sofia Almeida.

Rafael Costa: E eu sou o Rafael Costa. Obrigado por acompanhar, e até a próxima!