Arquivo | GeekNews

Problema de Erdős #728 é resolvido de forma quase autônoma por IA

(mathstodon.xyz)

Ferramentas de IA resolveram de forma quase autônoma o problema de Erdős #728, sugerindo mudanças profundas na forma de escrever artigos matemáticos.

2 pontos por GN⁺ 2026-01-10 | 1 comentários

Flock Safety hardcodificou 53 vezes a senha da infraestrutura de vigilância dos EUA

(nexanet.ai)

Uma chave da API ArcGIS da Flock Safety foi exposta em 53 bundles públicos de JavaScript, abrindo acesso amplo a dados sensíveis de vigilância nos EUA.

2 pontos por GN⁺ 2026-01-10 | 1 comentários

De Mypy para Ty: guia de adoção do verificador de tipos Python ultrarrápido em Rust criado pela empresa por...

(blog.pythonlibrary.org)

Guia de adoção do novo verificador de tipos Python em Rust, `ty`, com instalação via `uv`, integração com GitHub Actions e workaround para pre-commit.

12 pontos por darjeeling 2026-01-10 | Comentários e discussão

Versão alfa do Orion para Linux é lançada

(help.kagi.com)

A versão alfa do Orion para Linux já permite testes iniciais com UI básica, abas, favoritos e gerenciamento de senhas.

1 pontos por GN⁺ 2026-01-10 | 1 comentários

Engenharia da Anthropic: guia prático e metodologia para avaliação (Evals) de agentes de IA

(anthropic.com)

Avaliar agentes de IA exige validar não só a resposta final, mas também o uso de ferramentas, o raciocínio em múltiplas etapas e a confiabilidade ao longo do desenvolvimento.

16 pontos por darjeeling 2026-01-10 | 1 comentários

Demo de agente LLM determinístico baseado em máquina de estados

(mind-protocol.manifesto-ai.dev)

Demo experimental de um agente LLM determinístico baseado em máquina de estados, com estado salvo no navegador e uso restrito do LLM para interpretação de intenções.

5 pontos por eggplantiny 2026-01-10 | 2 comentários

Os melhores produtos da CES 2026

(nytimes.com)

Os destaques da CES 2026 vão de robôs desajeitados e TVs ultrafinas a gadgets mais práticos para casa, sono, áudio e games.

9 pontos por GN⁺ 2026-01-10 | Comentários e discussão

Matemática para Ciência da Computação (2018) [PDF]

(courses.csail.mit.edu)

Livro aberto do MIT que apresenta, de forma sistemática, os fundamentos matemáticos essenciais para Ciência da Computação, de provas e combinatória a probabilidade e recorrências.

5 pontos por GN⁺ 2026-01-10 | 1 comentários

Posicionamento do CEO da Cloudflare sobre a multa na Itália

(twitter.com/eastdakota)

O CEO da Cloudflare comentou no Twitter sobre a multa aplicada na Itália, sem divulgar detalhes sobre o motivo, valor ou base legal.

1 pontos por GN⁺ 2026-01-10 | 1 comentários

Jogo de memória para aprender piano de ouvido, ‘Lend Me Your Ears’

(lend-me-your-ears.specr.net)

Um jogo interativo no navegador para treinar percepção musical reproduzindo no piano as melodias ouvidas.

5 pontos por GN⁺ 2026-01-10 | 1 comentários

Governo do Vietnã proíbe o uso de "todos os apps bancários" em smartphones com root

(xdaforums.com)

Nova regra do Vietnã exigirá que apps bancários bloqueiem execução em aparelhos com root, bootloader desbloqueado, ADB e outros sinais de manipulação.

1 pontos por GN⁺ 2026-01-10 | 1 comentários

Comissão Europeia anuncia chamada para coleta de evidências sobre open source

(lwn.net)

A Comissão Europeia abriu uma chamada para coleta de evidências sobre open source como etapa inicial da estratégia para fortalecer a soberania digital e o ecossistema tecnológico da UE.

1 pontos por GN⁺ 2026-01-10 | 1 comentários

Anthropic bloqueia uso de assinatura do Claude Code por terceiros

(github.com/anomalyco)

Usuários relataram que o Claude Max parou de funcionar no OpenCode, em meio a suspeitas de bloqueio pela Anthropic e debates sobre abuso de API, segurança e direitos de assinantes.

4 pontos por GN⁺ 2026-01-10 | 1 comentários

metacode - linguagem declarativa de comentários e parser para padronização de action comments

(github.com/pomponchik)

Biblioteca propõe um padrão único e um parser oficial para action comments usados por ferramentas do ecossistema Python, como lint, formatter e type checker.

1 pontos por xguru 2026-01-10 | Comentários e discussão

A utilidade absurdamente excelente da transformada de Fourier

(joshuawise.com)

Uma apresentação do Teardown 2025 mostra como a transformada de Fourier e o OFDM simplificam problemas reais de comunicação sem fio em ajustes por frequência.

11 pontos por GN⁺ 2026-01-10 | 7 comentários

Vamos chamar assassinato de assassinato

(daringfireball.net)

O texto defende confiar no registro cidadão e nas evidências ao classificar a morte de Renee Good por um agente do ICE em Minneapolis como assassinato.

1 pontos por GN⁺ 2026-01-10 | 1 comentários

Embassy - framework moderno para embarcados com base em Rust e async

(github.com/embassy-rs)

Embassy é um framework moderno para embarcados em Rust com async, focado em segurança, multitarefa sem RTOS e amplo suporte a hardware e rede.

4 pontos por GN⁺ 2026-01-10 | 2 comentários

Sopro TTS: modelo TTS de 169 milhões de parâmetros com suporte a clonagem de voz zero-shot executado em CPU

(github.com/samuel-vitorino)

Sopro TTS é um modelo leve de TTS em inglês com 169 milhões de parâmetros, clonagem de voz zero-shot, suporte a streaming e execução eficiente em CPU.

3 pontos por GN⁺ 2026-01-10 | 1 comentários

Autoridades de Minnesota dizem não conseguir acessar provas após morte em tiroteio envolvendo a ICE; FBI re...

(pbs.org)

Autoridades de Minnesota afirmam ter sido excluídas da investigação sobre uma morte em tiroteio envolvendo a ICE, enquanto cresce a disputa com o governo federal sobre jurisdição e transparência.

1 pontos por GN⁺ 2026-01-10 | 1 comentários

As ferramentas de assistência de codificação por IA estão ficando cada vez piores?

(spectrum.ieee.org)

Ferramentas de codificação por IA estariam perdendo qualidade, com modelos recentes produzindo mais falhas silenciosas e reforçando padrões incorretos de código.

10 pontos por GN⁺ 2026-01-10 | 1 comentários