Conheça F*, a linguagem funcional desenvolvida pela Microsoft Research e Inria para verificação formal de código. Aprenda como provar matematicamente a correção de softwares críticos.
O Go ganhou um garbage collector completamente reescrito nas versões recentes. Entenda como ele percorre o heap, por que a latência caiu tanto e o que isso muda para aplicações Go em produção.
O Wasmtime, runtime de WebAssembly do Bytecode Alliance, adicionou suporte a coleta de lixo (GC) e exceções. Essas funcionalidades eram barreiras para Python e Java rodarem em Wasm de forma eficiente.
Lisp e de 1958 mas ainda aparece na primeira página do Hacker News em 2026. Entenda o que torna a linguagem única, como o sistema de macros funciona e por que aprender Lisp muda a forma como você pensa sobre programação.
O Elm esta chegando a versão 1.0 após anos de desenvolvimento cuidadoso. A linguagem funcional para frontend promete zero erros de runtime, refatoração sem surpresas e código altamente previsível. Entenda como funciona e quando vale a pena adotar.
A linguagem Zig anunciou que toda a funcionalidade de gerenciamento de pacotes foi movida do compilador para o build system. Entenda por que essa decisão foi tomada, o que muda na prática e como isso afeta quem usa ou quer experimentar Zig.
Um roteiro prático para desenvolvedores backend experientes aprenderem Go sem começar do zero. Foca no que realmente importa para quem já conhece outras linguagens.
