É comum a gente explicar IA usando simplificações. Afinal, nem todo mundo pode ou quer se aprofundar. Mas simplificações levam a erros, tipo dizer que LLMs modernos são limitados porque "só geram texto".

Segue aqui pra entender 👇 (imagem meramente chamativa) A gente escuta muitas vezes que o que um LLM faz é "só prever a próxima palavra". Isso é praticamente verdade, mas muitas vezes falam isso com desdém, como se isso significasse que a operação é "burra" e inevitavelmente cometerá erros.

1/17

Fiz esse post outro dia sem dar muitos detalhes e bastante gente se interessou.

Então vamos falar da história da contabilidade de dupla entrada, um dos algoritmos práticos mais antigos que existem.

👇

https://x.com/coproduto/status/1910094622048629206

Uma coisa que eu acho fascinante é que algoritmos e estruturas de dados são mais antigos que computadores. Afinal, um algoritmo é só uma "receita" de como fazer algo e uma estrutura de dados é só uma organização da informação que permite consultá-la eficientemente.

1/17

No sábado, fiz um post sobre a possibilidade da IA ter uma explosão de inteligência em 2027. (aqui: )

Hoje trago um contraponto, com a visão de uma pessoa que considero bem-informada e que duvida que seja tão rápido.

👇

https://x.com/coproduto/status/1908645079029362815

Tyler Cowen é professor de economia na George Mason University, colunista do New York Times, da Bloomberg Opinion, e foi eleito um dos 36 economistas mais influentes dos anos 2000 pela revista The Economist.

Ele também é um notório cético quanto ao impacto econômico da IA.

1/11

Scott Alexander, um dos blogueiros que mais respeito contribuiu em um relatório sobre futuro da IA, e acho que vale MUITO a leitura.

Não é feito pra criar hype, é uma análise séria de pessoas capacitadas, e mostra que não é errado estar alarmado.

Link e comentários abaixo 👇 A ideia é criar um cenário realista sobre como pode se desenrolar a evolução da IA nos próximos anos, com feedbacks e input de muitos especialistas e pessoas da área. Vocês podem ler o relatório completo aqui: ai-2027.com

Ontem talvez tenhamos visto pela primeira vez a IA afetar a geopolítica mundial. E talvez a gente precise repensar quanta transparência é necessária no uso de IA dentro de governos.

Estou falando das tarifas recíprocas do Governo Trump.

Vem que eu explico.

👇 Ontem saiu o "tarifaço" do Governo Trump.

Muita gente ficou feliz que o Brasil "se deu bem" (eu incluso), mas... Como que esses números foram calculados exatamente?

Não soltaram nenhuma explicação.

1/5

Esta semana fiz um experimento: Todos os dias fiz uma thread sobre um tópico de computação que acho que mais gente devia saber sobre.

Hoje, na última thread, vamos falar sobre DNS. Como que o seu browser sabe o que abrir quando você digita ""?

👇 google.com DNS é a abreviação de Domain Name System, ou Sistema de Nomes de Domínio.

O DNS é um sistema distribuído hierárquico através do qual nomes de domínio são convertidos em IPs.

Mas não é só isso que ele faz. Todo o controle de quais recursos ficam em qual domínio é no DNS.

1/21

Esta semana estou fazendo um experimento: Todos os dias vou fazer uma thread sobre um tópico de computação que acho que mais gente devia saber sobre.

Hoje, vamos falar sobre BANCOS SQL E NOSQL. Afinal, qual é a diferença? Quando usar um ou o outro?

👇 A primeira coisa que a maioria das pessoas erram ao falar disso é achar que "NoSQL" é um tipo de banco de dados.

A real é que SQL é um tipo de banco de dados. NoSQL só quer dizer "banco que não é SQL".

1/25

Esta semana estou fazendo um experimento: Todos os dias vou fazer uma thread sobre um tópico de computação que acho que mais gente devia fazer sobre.

Hoje, vamos falar sobre CRIPTOGRAFIA NA WEB. Afinal, o que é que significa quando você "usa https?"

👇 Quando me pediram esse tópico, me pediram pra falar sobre criptografia em geral. Só que criptografia é um tópico GIGANTESCO com centenas de aplicações. Então decidi falar de algo que seria familiar pra maioria dos devs. 1/21

O assunto de hoje, como todo mundo já notou, é o DeepSeek-R1 e o estrago que o lançamento dele fez no mercado.

Como todo assunto técnico, tem MUITA desinformação rolando pra população em geral.

Meu objetivo aqui é desmentir um pouco isso. Fio porque vai ter vários links.

🧵 O objetivo deste fio não é ser técnico. Eu quero só explicar algumas coisas, sobre o que o modelo é ou não é. Vi bastante gente falando sobre, e bastante gente falando coisas erradas. Então vamos começar pelo importante: O que é o DeepSeek-R1?

Já que esse parece ser o tema da bolha dev de hoje, vamos falar sobre IDEMPOTÊNCIA.

O que é?
Pra que serve?
Como eu uso?

Pra saber tudo isso, siga aqui no fio. 👇 Idempotência é um conceito extremamente simples vindo da matemática.

Uma função é idempotente se aplicar ela 2 vezes retorna sempre o mesmo resultado que aplicar ela uma vez só.

Por exemplo, a função f(x) = x * 1 é idempotente - f(f(x)) é igual a f(x).

1/10

Desde que eu fiz a thread sobre o backdoor do xz, aconteceu bastante coisa. Talvez o mais importante: Conseguiram analisar o backdoor e entender a intenção dele.

Segue aqui no fio que eu te conto tudo. 🧵

https://twitter.com/coproduto/status/1774126205005926793

Ah, e se você não leu o primeiro fio ainda, vou pedir pra você ler ele antes, ele passa o contexto necessário pra entender tudo aqui. 1/23

Tá, mas e se eu contar pra vocês que nos últimos dias tá rolando uma história de intriga digna de filme de espionagem, tudo em torno de uma tentativa de invadir máquinas no mundo todo?

Vem na thread que vou te explicar. 🧵 #bolhasec O "xz" é uma aplicação de compressão usada em várias distros linux. Ele em geral atinge taxas de compressão menores que o tradicional gzip, ao custo de usar mais memória, então ele vem sendo escolhido pra cada vez mais aplicações. Até aí tudo ótimo.

A @rinhadebackend acabou de terminar, então em homenagem a todos os envolvidos nessa iniciativa FODA vou falar de algo que muita gente desligou pra ter menos latência (😏), e sobre por que você não deve fazer isso num sistema real.
Isso mesmo, vamos falar de garantias ACID! 🧵 Primeiramente, o que significa ACID?
ACID é uma sigla que se refere às 4 garantias que um banco de dados SQL te dá em relação a transações:

Atomicidade

Consistência

Isolamento

Durabilidade

E o que é cada uma dessas? 1/35

O sistema operacional é um "cara" com quem a gente já tá tão acostumado a interagir que é fácil até esquecer que ele tá lá, rodando o código. Vamo falar um pouco sobre a história dos SOs e o que, de fato, eles fazem. 🧵 Pra começo de história, por que se chama "sistema operacional"? Esse termo é uma tradução do inglês "operating system", que também poderia ser traduzido como "sistema operante" ou "sistema operador". E esse último termo é o mais interessante. (1/21)

Uma coisa que eu falo muitas vezes e que causa alguma polêmica é que C não é uma linguagem de baixo nível. Mas por que eu insisto nisso? É porque é vital pra entender linguagens compiladas. Segue aqui no fio pra entender. 🧵 Vamos começar com um problema "filosófico": Qual é o *significado* de um programa? I.e., dado o *texto* de um programa, como podemos saber o que aquele programa vai fazer? (1/33)

Volta e meia o pessoal que tem interesse na linguagem me pede ajuda pra achar vagas com Elixir. Essa semana foi boa em termos de vagas aparecendo na comunidade, então decidi trazer aqui caso alguém tenha interesse 👇🧵 #MyElixirStatus Vaga de Dev Sênior Erlang/Elixir na Klarna (Suécia): jobs.lever.co/klarna/ebd1d1e…

Talvez você já tenha ouvido falar que "No Linux tudo é um arquivo". Mas o que exatamente é que isso significa, na prática? 🤔

A questão aí é que "arquivo" no Linux não significa exatamente o que a maioria das pessoas pensa quando pensa em "arquivo". Quer entender melhor? 👇🧵 Quando pensamos em "arquivo", a maioria das pessoas pensa em algo como um arquivo de texto, ou um vídeo, ou um PDF. O que é que todas essas coisas têm em comum? Bom, eles são todos sequências de bytes salvas em alguma forma de armazenamento durável.

A pedidos, eu vou fazer a coisa que avisam todo dev Haskell pra nunca tentar fazer: Eu vou tentar explicar o que é uma Monad. E eu juro que não é tão complicado assim. (Imagem por @impurepics) 🧵(1/21) Até hoje, o jeito melhor jeito de explicar Monads que eu já vi é com exemplos. E o primeiro exemplo que eu queria dar é o de Promises em JS. Promises em JS não são *exatamente* Monads, mas são o mesmo conceito geral. Já explico. (2/21)

@friidakhalo @sseraphini Resumo:

var cria uma variável local, mutável e hoisted
let cria uma variável local, mutável e não-hoisted
const cria uma variável local, imutável e não-hoisted

Ainda tem uma quarta opção que é declarar sem nenhum keyword, que cria uma variável mutável global. @friidakhalo @sseraphini Hoisting é um termo que parece complicado, mas que significa que se você declarar uma variável em qualquer lugar dentro de um bloco, ela se comporta como se tivesse sido declarada no começo do bloco.

Por ex.:

(() => {
console.log(x);
var x = 1;
})();

Imprime 1

Não sou da astronomia, mas:

Na prática significa que, diferente da terra, onde a gente tem um limite claro entre "atmosfera" e "planeta", em planetas gasosos a densidade só vai aumentando gradualmente, de forma quase contínua, à medida que você se aproxima do centro

https://twitter.com/clauchow/status/1506703315526111237

Então júpiter (e outros planetas gasosos como Urano e Netuno) têm uma fase gasosa ao redor de uma fase líquida ao redor de um núcleo sólido (feito de HIDROGÊNIO METÁLICO), mas os limites entre as fases não são definidos

@zanfranceschi @sseraphini OK, resposta séria:

Uma monad é um tipo que encapsula algum efeito "adicional" ao compor funções. Podemos falar de tipos que *são* monads e da *interface* monad. Um tipo que é uma monad é um tipo que implementa a *interface* monad. @zanfranceschi @sseraphini Então você pode pensar numa monad como uma interface comum pra especificar computações que têm alguma lógica a mais quando são compostas. Por exemplo: O tipo Maybe representa computações que podem falhar. (+)