Vaccari's Code

O comitê diretor do GCC, um pilar no mundo do software livre, acaba de definir sua política para contribuições geradas por IA. A partir de agora, o projeto recusará qualquer conteúdo "legalmente significativo" (cerca de 15 linhas de código ou texto, importante para direitos autorais) que inclua ou seja derivado de LLMs, ou seja, modelos de linguagem grande. A exceção são os casos de teste gerados por IA, que podem ser aceitos. É crucial notar que o uso de LLMs para pesquisa, análise de bugs ou revisão de patches ainda é permitido, desde que o resultado não seja incorporado diretamente nas contribuições. Esta é uma postura pragmática que reconhece os riscos de propriedade intelectual sem frear a inovação.

Why it matters: Essa decisão do GCC estabelece um precedente importante para projetos de código aberto sobre como lidar com IA e propriedade intelectual, impactando desenvolvedores e a governança de software.

Fontes:

- https://lwn.net/Articles/1086041/

---

📬 **Gostou?** Assine a newsletter do Vaccari's Code e receba as próximas tendências em software e IA direto no seu e-mail: **[Assinar aqui](https://tiagovaccari.com/subscribe?utm_source=podcast&utm_medium=podcast&utm_campaign=episode-a4962e47-eca3-4518-ac27-dfe152ebf576)**

O pgrust, uma reescrita do Postgres em Rust, alcançou um marco crucial: passa 100% dos testes de regressão do Postgres. Compatível com diretórios de dados existentes do Postgres 18.3, busca facilitar mudanças internas no banco, usando Rust e IA. Uma versão futura já demonstra modelo de thread por conexão (versus processo por conexão, que usa mais recursos por conexão), com ganhos de 50% em cargas transacionais e até 300x em analíticas. Embora não esteja pronto para produção, aponta para um futuro promissor para o ecossistema Postgres.

Por que isso importa: Para builders e líderes de tecnologia, é a promessa de um Postgres drasticamente mais rápido e flexível. A arquitetura em Rust pode destravar inovações e ganhos de desempenho cruciais, mantendo a compatibilidade e abrindo novas possibilidades de otimização.

Fontes:

- https://github.com/malisper/pgrust

---

📬 **Gostou?** Assine a newsletter do Vaccari's Code e receba as próximas tendências em software e IA direto no seu e-mail: **[Assinar aqui](https://tiagovaccari.com/subscribe?utm_source=podcast&utm_medium=podcast&utm_campaign=episode-49836e4d-5693-4d86-b718-4a092154144d)**

A reescrita do Bun em Rust, alardeada como prova da eficiência da IA da Anthropic, enfrenta ceticismo. Jarred Summner alegou 11 dias e US$ 165.000 em chamadas de API. No entanto, seis semanas após a suposta "conclusão" em maio de 2026, não há nova versão, e *pull requests* de "robobun" (código gerado pela IA Claude) duplicaram. A análise indica custos ocultos (como CI/CD) e envolvimento crescente de funcionários da Anthropic, desmentindo a narrativa de um projeto autônomo e barato. Este *dogfooding* da Anthropic mostra que o custo real e o tempo para finalizar são bem maiores, questionando o *hype* da IA para manter *open source* rapidamente.

Why it matters: Desconfie de alegações de IA que parecem "boas demais para ser verdade", especialmente as que inflacionam avaliações de empresas; a realidade da engenharia é mais complexa e cara.

Fontes:

- https://lockwood.dev/ai/2026/07/27/how-is-the-bun-rewrite-in-rust-going.html

---

📬 **Gostou?** Assine a newsletter do Vaccari's Code e receba as próximas tendências em software e IA direto no seu e-mail: **[Assinar aqui](https://tiagovaccari.com/subscribe?utm_source=podcast&utm_medium=podcast&utm_campaign=episode-71e76928-33b2-49f4-9122-35314408d814)**

O Postgres LISTEN/NOTIFY sofre com a má fama de não escalar, mas isso é um mito que precisa ser desmistificado. Embora o `NOTIFY` utilize um *global lock* (um mecanismo que restringe o acesso simultâneo) para garantir a ordem das notificações, o que pode gerar gargalos se usado sem otimização, ele não é inviável. Com a estratégia certa – *bufferizar* e *batchar* (agrupar) as notificações em memória para liberar o *lock* global apenas periodicamente – é possível atingir 60 mil escritas por segundo com latência de milissegundos. Assim, o Postgres pode ser um motor robusto para *streams* de baixa latência e sistemas *pub/sub*.

Por que isso importa: Não descarte ferramentas existentes por mitos; com engenharia inteligente, é possível otimizar recursos do seu banco de dados para alta performance em notificação e *streaming*.

Fontes:

- https://www.dbos.dev/blog/postgres-listen-notify-scalability

---

📬 **Gostou?** Assine a newsletter do Vaccari's Code e receba as próximas tendências em software e IA direto no seu e-mail: **[Assinar aqui](https://tiagovaccari.com/subscribe?utm_source=podcast&utm_medium=podcast&utm_campaign=episode-2e314411-b7ae-41f5-898e-ab7fcb32b2d4)**

A LG Electronics USA anunciou que suspenderá aplicativos de suas smart TVs que transformam os aparelhos em nós de proxy residencial. A decisão surge após uma pesquisa revelar que mais de 42% dos apps na webOS da LG (e 25% na Tizen da Samsung) incluíam SDKs (kits de desenvolvimento de software) que permitiam a terceiros rotear tráfego de internet através da TV do usuário. Um proxy residencial é um dispositivo que age como intermediário para o tráfego de internet, mascarando a origem real da conexão. A LG afirma que isso não é um uso pretendido e está trabalhando com desenvolvedores para remover a funcionalidade, ameaçando suspender apps não conformes.

Por que isso importa: Este movimento destaca a necessidade urgente de transparência e consentimento do usuário em dispositivos inteligentes, alertando desenvolvedores sobre monetização ética e plataformas sobre a governança de seus ecossistemas.

Fontes:

- https://krebsonsecurity.com/2026/07/lg-to-ban-residential-proxies-from-smart-tv-apps/

---

📬 **Gostou?** Assine a newsletter do Vaccari's Code e receba as próximas tendências em software e IA direto no seu e-mail: **[Assinar aqui](https://tiagovaccari.com/subscribe?utm_source=podcast&utm_medium=podcast&utm_campaign=episode-33b8e185-8da3-43cf-a8ec-b4ba7754ae05)**

As últimas semanas viram a IA não só refutar a Conjectura da Distância Unitária de Erdős, mas também formalizar (traduzir para código verificável por máquina) a prova. O sistema Sol da OpenAI, por exemplo, gerou 1.2 milhão de linhas de código Lean em apenas três semanas para isso, incluindo teoremas complexos de teoria de campos de classes — um volume que levou nove anos para a biblioteca matemática Lean (mathlib) atingir 2.3 milhões de linhas. Outras IAs, como Logos, estão até encontrando erros em descrições matemáticas geradas por LLMs. É um claro sinal de que desenvolvimentos matemáticos massivos por IA são inevitáveis, mas a auditoria e confiança nesse código são cruciais.

Why it matters: A capacidade da IA de formalizar e até mesmo refutar complexos problemas matemáticos em tempo recorde mostra um salto na geração de código e lógica, exigindo que engenheiros e líderes reavaliem os processos de validação e a confiança em sistemas autônomos.

Fontes:

- https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/

---

📬 **Gostou?** Assine a newsletter do Vaccari's Code e receba as próximas tendências em software e IA direto no seu e-mail: **[Assinar aqui](https://tiagovaccari.com/subscribe?utm_source=podcast&utm_medium=podcast&utm_campaign=episode-47b7dbc4-a2fe-44db-bbe9-b2f1d39ff312)**

Após um ano e meio, a equipe do compilador Roc concluiu a reescrita de 300.000 linhas de Rust para Zig, alcançando paridade de recursos. Um exemplo prático é a redução do binário do jogo Rocci Bird para 31KB, menos da metade do original. Embora a reescrita tenha levado 487 dias (comparado aos 11 dias do Bun, mas com propósitos distintos), ela permitiu inovações como hot code loading para linguagens compiladas, cross-compilação e interpolação de strings em pattern matching, resultando em código mais conciso, eficiente e com zero alocações de heap. Um marco crucial para a versão 0.1.0.

Why it matters: Para builders e líderes, este caso mostra que uma reescrita estratégica, apesar de longa, pode destravar ganhos de performance e inovações em recursos de linguagem, justificando o investimento para otimizar e expandir capacidades técnicas.

Fontes:

- https://rtfeldman.com/rust-to-zig

---

📬 **Gostou?** Assine a newsletter do Vaccari's Code e receba as próximas tendências em software e IA direto no seu e-mail: **[Assinar aqui](https://tiagovaccari.com/subscribe?utm_source=podcast&utm_medium=podcast&utm_campaign=episode-808db845-a974-4701-bf8e-957295765d99)**

Os JPEGs progressivos são projetados para carregar uma versão de baixa resolução antes de preencher os detalhes, usando "scans" que adicionam informações. Contudo, é possível manipular esses scans para que, em vez de refinar uma imagem, eles a sobrescrevam com dados de outras. Ao concatenar múltiplos JPEGs e filtrar marcadores, podemos criar um único arquivo que, quando carregado lentamente, "muda" entre imagens. Embora os decodificadores modernos limitem os scans para evitar "zip bombs" (arquivos que consomem muitos recursos ao serem processados), um truque com scans "DC-only" — que contêm apenas os componentes de cor mais básicos, resultando em 1/16 da resolução — permite centenas de quadros. O resultado é um "vídeo" dentro de um JPEG, uma curiosidade técnica sem aplicação prática para animações reais, pois o tempo de reprodução depende da rede.

Why it matters: Isso demonstra como a compreensão profunda de um formato pode revelar comportamentos não intencionais, incentivando engenheiros a explorar os limites das especificações para entender a robustez dos sistemas e as possibilidades de inovação, mesmo que para fins puramente experimentais.

Fontes:

- https://maurycyz.com/projects/bad_jpeg/

---

📬 **Gostou?** Assine a newsletter do Vaccari's Code e receba as próximas tendências em software e IA direto no seu e-mail: **[Assinar aqui](https://tiagovaccari.com/subscribe?utm_source=podcast&utm_medium=podcast&utm_campaign=episode-191d9b3c-7330-4001-9b8b-64ea125538dd)**

O veterano da programação antirez, conhecido por seu trabalho no Redis, argumenta que, na era da IA, programadores estão perdendo impacto ao focar demais no código. Ele defende que o valor está em "controlar as ideias", não nas linhas de código. Com LLMs (grandes modelos de linguagem) gerando vastos volumes de código, a revisão manual torna-se ineficiente e subótima. Em vez de escanear linha por linha, devemos focar em arquitetar designs, questionar a lógica e avaliar modelos, liberando tempo para pensar em novas direções, funcionalidades e otimizações. Mesmo ele, que ainda revisa código gerado por IA para o Redis, acredita que essa prática está se tornando obsoleta, preferindo dedicar-se a QA (garantia de qualidade) e design de alto nível.

Why it matters: Para builders e líderes, entender essa mudança é crucial para redefinir o papel do engenheiro, otimizar processos de desenvolvimento e focar no impacto estratégico do software, não apenas na sua implementação.

Fontes:

- https://antirez.com/news/169

---

📬 **Gostou?** Assine a newsletter do Vaccari's Code e receba as próximas tendências em software e IA direto no seu e-mail: **[Assinar aqui](https://tiagovaccari.com/subscribe?utm_source=podcast&utm_medium=podcast&utm_campaign=episode-5af74655-ea6e-421c-91a0-941d5c7c5445)**

A Microsoft acaba de liberar o código-fonte do Comic Chat, um cliente de chat dos anos 90 que transformava conversas de IRC (Internet Relay Chat, um protocolo de comunicação textual) em painéis de quadrinhos com personagens e balões de fala, e que nos trouxe a famigerada Comic Sans. Na época, foi uma aposta audaciosa para comunicação online, interpretando texto para gerar expressões visuais e antecipando conceitos que hoje são comuns em apps de mensagens. Liberá-lo agora permite que desenvolvedores e entusiastas explorem essa peça de história do software, entendam sua engenharia em C++ e MFC, e até experimentem modernizá-lo com ferramentas atuais, mostrando como ideias pouco convencionais podem ser surpreendentemente visionárias.

Why it matters: Isso mostra que a inovação muitas vezes vem de ideias que parecem "loucas" ou "fora da caixa", e que revisitar a engenharia de projetos antigos pode inspirar novas soluções para desafios atuais.

Fontes:

- https://opensource.microsoft.com/blog/2026/07/16/microsoft-comic-chat-is-now-open-source/

---

📬 **Gostou?** Assine a newsletter do Vaccari's Code e receba as próximas tendências em software e IA direto no seu e-mail: **[Assinar aqui](https://tiagovaccari.com/subscribe?utm_source=podcast&utm_medium=podcast&utm_campaign=episode-f9dc50f1-c839-488e-a71a-4a365813ca74)**