faço código (profissionalmente), faço código (como hobby), construo empresas e falo de tecnologia, ciência e negócios
Empresas de formalização e sistemas de prova estão recebendo investimentos milionários. E tem pouquíssima gente capacitada pra fazer isso. 
O resumo é: O tipo de RAM que IAs usam pode não ser o mesmo que você quer comprar pro seu computador - mas os chips pros dois são feitos nas mesmas máquinas. 
A causa raiz da Cloudflare sair do ar foi um arquivo que é gerado e colocado no sistema de arquivos da máquina toda vez que uma máquina da Cloudflare é deployada. Esse arquivo contém configurações pro modelo de detecção de bots da Cloudflare.
Injeção, resumidamente, é quando o input de um sistema externo pode entrar, sem controle, num comando que vai ser passado pra outro sistema. Por exemplo, se você usa um banco SQL, se você permite que o comando SQL seja definido por quem está enviando input. 
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. 
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.
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.
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 saiu o "tarifaço" do Governo Trump. 
DNS é a abreviação de Domain Name System, ou Sistema de Nomes de Domínio.
A primeira coisa que a maioria das pessoas erram ao falar disso é achar que "NoSQL" é um tipo de banco de dados.
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 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?
Idempotência é um conceito extremamente simples vindo da matemática. 
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
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. 
Primeiramente, o que significa ACID?
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)
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)