In 2025, TypeScript became the most-used language on GitHub. Then came TypeScript 7, a native port built to be up to 10x faster.
Creator @ahejlsberg joins The Peterman Pod to unpack the move to Go, the technical tradeoffs, agentic AI, and more.
https://t.co/3TBagLxyqZ
Gosto desse cara e ele tocou num ponto que nunca postei a respeito, mas é o mesmo princípio que faz bitcoin funcionar: verificabilidade end-to-end (E2E-V). Vou postar só pela curiosidade - isso NÃO é uma "solução".
De novo, eu não ligo pra "urna", é a parte menos importante do processo todo, só cortina de fumaça. Meio que foda-se se é "seguro" ou não a esta altura. Só basta assumir que não é, mas não há nada que você possa fazer contra isso.
Enfim, em E2E-V, cada cidadão que vai votar poderia receber um recibo em papel, impresso com um identificador único (tipo um hash). O importante é que o hash sozinho não identifica a pessoa (resistente a coerção: mantém anonimidade, pode ser o hash da identidade da pessoa, do voto em si, e de algum seed secreto que só o votante vai saber).
Agora é simples: basta fazer uma cadeia (como um blockchain), um Merkle tree, uma cadeia append-only. Esse seria o processo de "contagem dos votos" de cada urna. Esse merkle tree ou blockchain deve ser publicamente exposto, pra que qualquer pessoa possa baixar e verificar diretamente.
Depois da eleição, seria possível cada cidadão que quiser, baixar e checar se seu voto está lá, imediatamente, sem intermediário, 100% transparente (verificabilidade individual). E com o conjunto de hashes é possível refazer a conta e verificar que eles produzem o total anunciado (verificabilidade universal).
Lógico, isso é só uma idéia do tipo escrita em guardanapo, tem muito mais detalhes operacionais ao redor. Mas o conceito existe, é matematicamente sólido e não é nenhuma novidade pra ninguém de ciências da computação. Independe de hardware e de "urna". Parece bom, no papel, mas é muito difícil de colocar em prática. Não vejo isso acontecendo.
O #Claude caiu e eu nem percebi!
Pare de ficar refém do #claude#chagpt#gemni e outros.
Resolva de forma grátis usando o #9router
https://t.co/XkAW90KLjs
Radon 1.18 is out 🎉
👉 Element inspector can now send props, styles, state & errors to AI chat context
👉 Support for React Native 0.87, Expo 57 and Xcode 27
Read the full changelog 👇
The Strapi MCP server is now GA in v5.49.0 🚀
Expose your content types as agent-callable tools, scoped by an Admin token. An agent can list, draft, and publish against the same schema your editors use.
Hermes Agent can now /learn from anything: feed it directories of any source material (code, API docs, manuals, PDFs, configs) and it distills a verifiable reusable skill
🌍 Project Genie access is expanding even more! Starting today, Google AI Ultra 5X subscribers (our latest tier!) globally can access Project Genie.
Try it out here! https://t.co/4BFYHSiAMv
Claude fable 5 is operating in a completely different dimension 🤯
Compared it with Claude Opus 4.8, Gemini 3.1 Pro, and GPT 5.5, the visual gap is insane.
From 3D fluid dynamics to volumetric animation and complex physics, Fable 5 crushes the game. It’s not even close.