Hacker News 🇵🇹 Português

O computador BBC Micro foi usado para simular e desenvolver a arquitetura ARM, presente em cerca de 60% dos dispositivos móveis atualmente.

O modelo Master destacava-se pelo processador CMOS 65C12 de menor consumo e 128 KB de RAM, oferecendo melhor desempenho e qualidade gráfica.

Na década de 1980, o governo britânico financiou educação informática padronizada para formar uma geração de programadores e utilizadores de TI.

O índice mudou de B-trees mapeadas na memória para skip lists baseadas em blocos determinísticos.

Listas invertidas passaram a usar leituras diretas no modo O_DIRECT para acesso randômico mais consistente.

Blocos de 128 KB foram identificados como tamanho ótimo, equilibrando taxa de transferência e latência.

A atualização Windows 11 24H2 KB5063878 pode tornar SSDs e discos rígidos invisíveis ao sistema operativo.

O problema surge durante operações intensivas de escrita que ultrapassam cerca de 50 GB ou 60% de uso do controlador.

A condição recorre previsivelmente após reinicialização, restaurando temporariamente as unidades sem resolver a falha.

O lançamento do GPT-5 foi criticado por muitos utilizadores como pouco inteligente e aborrecido.

Sam Altman reconheceu falhas no lançamento, mas confirmou crescimento do tráfego de API e recordes de utilizadores no ChatGPT.

Altman comparou a IA a uma bolha de investimento, afirmando que há demasiado entusiasmo em torno da tecnologia.

Nim é uma linguagem multiparadigma com sintaxe elegante e simples.

Nim combina desempenho de C com abstração de alto nível de Python e Ada.

Oferece gestão de memória dinâmica por defeito e suporte a assembly inline.

A Cloudflare começou a bloquear sites de streaming pirata no Reino Unido usando medidas legais confirmadas por Error 451.

Os bloqueios baseiam-se em quatro injunções dinâmicas do High Court emitidas entre 2021 e 2025, que não mencionavam originalmente a Cloudflare.

Estima-se que mais de mil domínios sejam bloqueados, podendo exceder o dobro desse número devido a adições dinâmicas.

Vários utilizadores ignoram artigos que usam imagens geradas por IA.

Tecnologia de IA explorativa prejudica artistas e plagia obras sem atribuição.

Imagens de IA costumam não agregar valor significativo aos artigos.

VictoriaLogs organiza logs em três conceitos-chave: mensagem (_msg), tempo (_time) e stream (fluxo) de logs.

Cada entrada de log deve incluir o campo _msg com a string descritiva do evento.

Se o campo _time não estiver presente, usa-se o tempo de ingestão como timestamp.

Em TypeScript expressões lógicas têm tipo boolean e colapsam imediatamente em true ou false.

Em Lean expressões como `2 + 2 = 4` têm tipo Prop e não se avaliam automaticamente.

Em Lean proposições são valores e também tipos, e provar uma proposição significa fornecer um valor desse tipo.

LL3M usa modelos de linguagem para gerar código Python que cria e edita ativos 3D no Blender.

O pipeline de criação inclui três fases: criação inicial, refinamento automático e refinamento guiado pelo usuário.

O método realiza refinamento iterativo com auto-crítica de código e visual.