🇵🇹 Hacker News Português

MiniMax-M1 é um modelo de raciocínio híbrido de atenção em larga escala e aberto ao público.

Possui arquitetura de Mixture-of-Experts (MoE) combinada com um mecanismo de atenção rápida.

Treinado com ênfase em tarefas complexas que requerem processamento de entradas longas.

"lstr" é um visualizador de árvore de diretórios rápido e minimalista escrito em Rust.

O programa oferece modos clássico e interativo, permitindo a navegação por teclado.

Ele destaca-se pelo desempenho alto, executando varreduras de diretórios em paralelo.

Andrej Karpathy discute a evolução do software, destacando a transição do Software 1.0 para o Software 3.0, onde redes neurais são programadas em linguagens naturais como o inglês.

Software 3.0 representa um paradigma de programação novo e único, onde os produtos são programas que podem instruir outros softwares, utilizando LLMs (Modelos de Linguagem de Grande Escala).

Karpathy destaca como redes neurais programáveis representam uma mudança fundamental, permitindo que qualquer pessoa que fale inglês possa ser um programador.

O artigo investiga por que o dia 11 de cada mês, exceto setembro, é mencionado com menos frequência nos bancos de dados de textos escritos.

Inicialmente, isso parecia ser uma curiosidade, mas a análise mostrou que erros tipográficos fizeram com que o dia 11 fosse muitas vezes lido erroneamente como outras palavras ou caracteres, como 'nth', 'IIth', 'llth', etc., nos algoritmos de leitura do Google.

A tipografia e a evolução das fontes influenciaram esses erros, já que o número '1' é semelhante a 'I', 'l', e 'i'.

A Texas Instruments (TI) planeja investir mais de 60 bilhões de dólares na fabricação de semicondutores nos EUA, aumentando a produção para atender a demanda crescente por chips essenciais para diversas tecnologias.

O investimento apoiará a criação de mais de 60.000 novos empregos nos EUA, distribuídos por sete fábricas de semicondutores em mega-sites no Texas e Utah.

O projeto inclui a maior mega-fábrica em Sherman, Texas, com um investimento de até 40 bilhões de dólares em quatro fábricas, ressaltando a robustez da presença manufatureira da TI nos EUA.

O artigo explora a encriptação homomórfica aplicada aos CRDTs (Convergent/Commutative Replicated Data Types) para permitir operações em dados criptografados sem necessitar de decifrações.

Destaca-se o uso em software 'local-first', que permite que os servidores sincronizem documentos sem acessar o conteúdo criptografado dos mesmos.

A encriptação homomórfica implica problemas de desempenho significativos, tornando as operações até bilhões de vezes mais lentas do que o comum.

AI agents apresentam taxas de sucesso decrescentes exponencialmente em tarefas de longa duração, comparáveis à meia-vida de substâncias radioativas.

O estudo de Thomas Kwa et al. indica que a duração das tarefas solúveis por IA dobra a cada 7 meses.

A taxa de sucesso em tarefas reduz conforme o tempo necessário para completá-las.

O projeto 'workout-cool' é uma plataforma de coaching fitness de código aberto, moderna, permitindo criar planos de treino, acompanhar o progresso e acessar um banco de dados de exercícios.

Nasceu da motivação de reviver e melhorar um projeto anterior chamado workout.lol, que enfrentou desafios e acabou abandonado.

A plataforma adota uma arquitetura baseada em princípios de Feature-Sliced Design (FSD) e usa Next.js.

Bento é um computador incorporado dentro de um teclado, inspirado no design do Commodore 64 e no conceito de 'cyberdeck'.

Este dispositivo é projetado para ser usado com displays externos, eliminando a necessidade de um monitor embutido e reduzindo o peso para maior portabilidade.

A versão atual utiliza a placa principal de um Steam Deck OLED, mas pode acomodar outros Single Board Computers (SBCs).

Fuzzing e LLMs facilitam a portabilidade de programas de C para Rust com eficiência, automatizando a geração de testes para cada símbolo.

LLMs produzem mais código, sugerindo uma transição de programação humana para automatizada, impactando manutenções de bibliotecas e APIs.

Apesar de não gerar código altamente idiomático em Rust, a estratégia simplifica a verificação de inconsistências entre versões C e Rust por meio de testes de fuzzing.