Pedro

@VictorTaelin outra, tu pode perfeitamente usar a estratégia de Lean pra isso

@VictorTaelin Tu tá usando size-change termination (fcall graphs) ou recursive path ordering? o segundo não tem nenhuma implementação conhecida, mas eu suponho que a generalização para higher order (Computability Path Ordering) funciona pro teu IC

Sad to report that, as of March 2026, just prompting agents to implement a termination checker will not work. Even GPT 5.4 Pro's plan is just... bad. Just bad. It seems like I'm gonna need to code this on my own, and my brain is spoiled and lazy from so much vibe coding

@VictorTaelin call graphs*

@VictorTaelin nenhuma implementação em código boa, rápida e prática pra engenharia

@leotowen @VictorTaelin tua proposta é castrar 20% da população mundial de cachorros?

@aredesph @VictorTaelin bom que faz uma limpeza mais abrangente

traços tóxicos: se vc chegar feliz e me mostrar um video de pitbull, eu *vou* ficar decepcionado, e isso vai transparecer. mesmo em ambientes pacíficos, pitbulls matam 6x mais que a segunda raça mais perigosa, e esse é um assunto que simplesmente me afeta eu já quase morri para um ataque enquanto jogava Pokémon na escada do meu próprio prédio, ele cravou o dente no meu braço, e correu atrás de mim até um adulto conseguir parar. desde esse dia, TODA vez que eu passava no segundo andar, o cachorro (a porta era transparente ainda!!) latia e avançava em mim, como se eu fosse um pedacinho de carne "ah mas é só ter um ambiente saudável" comprovadamente não é, mas acho que pessoas não entendem estatísticas

@leotowen @VictorTaelin Não tem como num mundo lógico. Pitbull é um nome guarda-chuva pra 6 raças e por volta de 50~60% dos animais chamados de Pitbull não tem sangue de nenhuma delas

@VictorTaelin Tinha que existir alguma lei pra todos pitbulls serem obrigatoriamente castrados, pra raça acabar com o tempo Tal qual zeke queria fazer em aot kkkkkk

gist.github.com/PHAredes/e3f44… Revisited it after a full year, and I think I got wiser in this meanwhile

@ooooceany escolha a que te agradar mais, seja Python, C, OCaml, JavaScript...

@ooooceany Se tiver tempo, não é excludente, vc pode aprender ambas. Sobre qual começar, depende mais de vc que da linguagem; python é mais mágico e "divertido" pra construir coisas, C é menos mágico e mais interessante pra entender alguns processos que talvez não te interessem. Veja ambas

Não sei que linguagem começar primeiro, uns dizem que é melhor python outros dizem que é C

@camarada_wood maior decepção após ver as notas desde o Maxximus IX da ITB. Esse segundo, mt gente gosta, eu detesto, sinto uma menta ardida herbal estranha com um toffee queimado e um ambarado artificial, e ele empesteia vc e o ambiente por horas, quiçá dias

É legalzinho. Nada além de legalzinho. O problema é que esse perfume entra em um hall de perfumes da Granado que me estressam severamente. Para contextualizar melhor, quando a Granado contrata grandes perfumistas, geralmente saem coisas boas. A título de exemplo, falando sobre alguns dos melhores perfumes da marca, Fervo Intenso foi criado pelo Benoiste Lapouza; o Apotecário e Citrus Brasílis foram criados pelo Quentin Bisch; o Bossa, pela Cecile Zarokian. Todos perfumistas renomados mundialmente. O problema é quando a Granado não contrata o Carlo Ancelotti pra comandar o time. Aí geralmente são esses “trecos” aqui. Daqui pra baixo. Sempre me passam a impressão de que tentam ser conceituais e caem, no meu ponto de vista, na cilada de serem conceituais demais e perfume de menos. O maior problema pra mim é que a Granado é mestre em criar perfume “conceitualzinho” que passa uma vibe de Faria Limer que vive descolado da realidade e cuja maior preocupação da vida é com os itens de skin care. Definitivamente, não é pra mim. Pode ser que seja pra outras pessoas, mas pra mim não é. Eu gosto muito da Granado, da qualidade da Granado e do posicionamento de marca, mas infelizmente, dentro do portfólio da Granado, as coisas que realmente me agradam são mais a exceção do que a regra. Outro problema crasso da empresa, pra mim, é ser mestre em criar perfumes cuja abertura é encantadora e, 10 minutos depois, o perfume começa a desandar completamente até que, depois de 30 minutos, se torna uma coisa completamente medíocre. É muito conceito… e pouco perfume. Pouca usabilidade, pouca utilidade, pouca vida, pouco propósito, pouco tudo. E eu não seria tão ferrenho se não fossem produtos tão caros. O problema é que me lançam um perfume custando 350 reais que nada mais é que um achicletadinho de banana, linear e que muito rapidamente se torna um completo tédio. A única coisa realmente legal neste perfume é trazer um acorde diferente e pouco explorado na perfumaria. Surpreende por isso. Mas e aí? Eu vou usar isso aqui quando? Em qual ocasião? Fora o fato de que, pelo amor de Deus, eu consigo citar uma lista de 1.000 perfumes mais úteis, práticos e usuais do que isso aqui, todos eles pela metade do preço. Volto a dizer que não é ruim. É legalzinho e só. Artístico também. Mas, cara… a vibe de “perfume de quem nunca parcelou o cartão de crédito na vida” é simplesmente intragável pra mim. Eu quase não dediquei uma linha pra falar sobre o perfume em si porque não tem o que falar. É um achicletadinho de banana linear e sem punch. Em um planeta Terra onde existem tantas opções de perfumes incríveis com preços acessíveis, principalmente na perfumaria de contratipos (nacional ou árabe), isso aqui se torna uma coisa de quem não sabe o que é limpar a própria casa. Simplesmente não tem como. Não dá. Eu me irritaria menos se o TikTok não tivesse inventado da noite pro dia que a Granado é a Guerlain brasileira, os perfumes custando extremamente caro, entre outras coisas. Uma marca muito boa, que tem muito potencial e vem crescendo, um orgulho real da perfumaria nacional, mas que, na minha opinião, precisa seguir algum critério. O Apotecário é um perfume que, caso custasse 1.000 reais, valeria o preço. O Citrus Brasílis tem a qualidade da linha Un Jardin da Hermès. O Fervo Intenso é, tranquilamente, um dos maiores perfumes já feitos na história do nosso continente. O Esplendor briga pra ser o melhor perfume feminino nacional de todos os tempos. E aí isso aqui é… sei lá. Nem a própria Granado deve saber. Acho que eles pensam que é arte e estão reinventando a roda.

@antoniosarosi yeah, just like lambda calculus

Counterintuitively assembly is not a hard language. If you think Rust and C++ are harder than C because they are "less simple" languages, then same logic should apply to assembly. Writing assembly is simply very tedious and error prone, not "hard" per se. Like C but more so.

@VictorTaelin what really matters is that if each release deprecates the whole user interface of the previous one. In such scenario it will never be stable or even usable for anyone outside your own company

I think I should rethink how I launch things... Stop seeking big launches, just release a bunch of incremental progresses on partial, incomplete things, that don't have all the features, but are constantly evolving? Won't that be VERY confusing though...?

@MarcioHuser @Cardoso entre 20 e 100 reais, geralmente 50

@Cardoso Eu odeio o tal "café". Porque o valor fica muito em aberto, e nunca sei se o que vou dar é pouco ou muito. Quando contratei uma mudança para mover móveis e outros pesados de um apê pro outro aqui no prédio, perguntei se poderiam remontar um móvel aéreo...

O Jovem™, esse inútil, desconhece o básico da convivência em sociedade.

@fiBonatto @VictorTaelin

@VictorTaelin Um amigo perguntou se precisa emitir nf ou se dá pra ser em cripto e contrato na amizade

vamos contratar mais um dev pro projeto StudioVibi, R$20k/mês PJ, o código será todo em TypeScript / Bend. necessário experiência e conforto com conceitos de programação funcional (recursão, tipos algébricos, pattern-matching). se alguém tiver interesse chama aí

@VictorTaelin ganha acesso beta aos modelos da Anthropic?

@enrichthesoil tu tá atribuindo malícia pra uma coisa que pura ignorância explica. O Taelin não sabe porra nenhuma de política (como 99,9% dos devs) e acredita que computadores resolveram as dores do mundo. O Kim faz discurso bonito pra inteligentista, e o MBL coopta qualquer termo

Incrível. O cara que vai inventar a AGI e fica o dia inteiro no Twitter cheio de amigo de direita e so MBL vai mais uma vez se fazer de farofa pra receber a linguiça. Ele que ja me falou que não liga pra política e não entende política, usa um termo amplamente difundido pelo MBL

@aramh oh, I see. ACP is kinda a "standard handshake" between editors and agents, in a "bring your own agent" way. ECA works as an agent with byok that works through an lsp-style server

@aredesph It's supposed to be a standard for agent interoperability, it's not specific to Zed, and all (?) major agents except Claude Code support it. Mind you, I don't know whether it's any good or anything.

Lately I have been trying out LLM-assisted programming (thoughts on that some other time), so I switched from my beloved text editor, acme, to something sporting some level of LLM-integration. So I've been using Zed. Terrible, vicious, wretched thing. I hate it. Its only redeemable quality is that it's not VS Code. The two most critical properties a text editor must posses are: 1. how easy it is to open files. 2. how easy it is to run commands. Zed fails both badly. You open files from the file pane, which is a pitiful user experience because the file pane uses primitive file trees and requires scolling. And of course it takes up part of the screen. No such problem in acme. A directory view is but another window in acme, it only takes as much space as you want it to, it can get out of the way, and more critically, you can have any number of them. Another way to open files is through some keyboard shortcut search interface. I spoke at length about my disdain from such keyboard-based user interfaces so I will not repeat myself here except to note in its current state it is of no use to me. And even if there would be an easier way to open that dialog, you'd still 1. need to know the name of the file you want, 2. type it in. Just madness. Both of these things could be somewhat worked around if you could just click on file names in other arbitrary places, such as terminals or other files. But you can't. Thanks Zed. Speaking of terminals, again, we see the harebrained decision of special casing things like file browsers, terminals, AI agents (more on that later). These things are not just windows in the UI, but their own special UI element. You can't move these things around (except by editing a configuration file, I can't even...), and you can't have more than one... ...except for terminals. Those you can kinda move around, as an exception to an exception. But these unshackled terminals now behave differently than the one in terminal pane. Just deplorable. Now, I might have convinced you that Zed is bad at file management, and I haven't even spoken about about crazy UI "features" such as making a distinction between open files and persistent files (WTF), but Zed file management experience feels like a Michelin-class restaurant compared to its miserable inability of running commands. You just can't do it. You can only run commands in the terminal, or if you hardcode the command in some configuration file. Inconceivable. It is beyond belief that an editor designed for programming, where the primary activity is running arbitrary commands, makes it IMPOSSIBLE to run commands whenever you want and wherever you want. The file management feature, as inadequate as it was, at least it was an attempt of featuring file management in the editor, but when it comes to running commands I can't even complain about anything in particular because no attempt has been made at all. It's not that the feature is bad, it's that there simply is no feature at all. There are many other problems with Zed but I don't want this post to be novel-length so let's move on. In fairness, VS Code has all of these anti-features as well, so my grievances are not specific to Zed necessarily. Zed simply cloned the user interface and user experience of revolting sofware like VS Code, or other IDEs, because the Zed team doesn't have any imagination or idea about how to do software design. But hey, at least it was snappy so I used it instead of VS Code. Which brings me to the final point. A couple of days ago Zed removed its special Claude Code integration, which means it removed the only reason I was using it. Using Zed with Claude Code offers no feature that I don't have by running Claude Code in the terminal. Of course, I can't do it in acme, which is unfortunate, but if I am to be using an interface I don't want I might as well not have to also use an editor I don't want. I'm being told that Claude Code integration in VS Code still works. I'll pass.

@aramh I have no idea what ACP actually is, never touched anything from zed over 30s

@aredesph How does it differ from ACP? zed.dev/acp My understanding about Claude Code in Zed is that CC is not interested in supporting ACP.

@aramh github.com/editor-code-as… Also, if you don't want it, I make use of this tool here. github.com/karthink/gptel Not that you will enjoy it yourself (it uses a transient ui) but you can grasp some ideas from the api

@aramh eca.dev it is an agent tool that uses json-rpc over stdin/stdout. You can either port it to Acme (mainly building a frontend akin to the one on emacs) or use it on emacs itself with an acme extension for test purposes.