Arquivo | GeekNews

◀ Ano anterior | ◁ Mês anterior | << Semana anterior | < Dia anterior | 2025-06-01 | Próximo dia > | Próxima semana >> | Próximo mês ▷ | Próximo ano ▶

1

O companion em Lean de Analysis I

(terrytao.wordpress.com)

Um projeto open source leva os principais conteúdos de Analysis I, de Terence Tao, para o Lean e propõe exercícios práticos com Mathlib e provas formais.

2 pontos por GN⁺ 2025-06-01 | 1 comentários

2

Darwin Gödel Machine - a IA que evolui modificando o próprio código

(sakana.ai)

A Darwin Gödel Machine modifica o próprio código para evoluir, superando agentes projetados manualmente em benchmarks reais e mantendo o processo sob controle transparente de segurança.

10 pontos por GN⁺ 2025-06-01 | 2 comentários

3

Ask HN: Qual é o melhor LLM que dá para usar em hardware de consumo?

(news.ycombinator.com)

Modelos recentes como Qwen3, DeepSeek-R1, Mistral e Gemma3 rodam bem com 16GB de VRAM, mas a escolha ideal depende de testes práticos, quantização e ajuste ao hardware e ao uso.

13 pontos por GN⁺ 2025-06-01 | 1 comentários

4

Buttplug MCP

(github.com/ConAcademy)

Servidor MCP open source para conectar dispositivos do ecossistema Buttplug.io a LLMs como Claude Desktop, embora ainda esteja em estágio inicial e instável.

1 pontos por GN⁺ 2025-06-01 | 2 comentários

5

Valkey faz 1 ano: como o fork comunitário superou o Redis

(gomomento.com)

O Valkey completa um ano mostrando desempenho superior ao Redis 8.0 e forte evolução comunitária com tuning prático para ambientes reais.

8 pontos por GN⁺ 2025-06-01 | 4 comentários

6

Grande varejista de eletrônicos volta ao Vale do Silício: abertura da Micro Center

(microcenter.com)

A Micro Center abriu uma nova loja no Vale do Silício e oferecerá o programa Member Pricing gratuitamente até 2026.

1 pontos por GN⁺ 2025-06-01 | 1 comentários

7

jjui - TUI para o sistema de controle de versão Jujutsu

(github.com/idursun)

jjui é uma interface de terminal para Jujutsu que agiliza fluxos como navegação de commits, rebase, squash, diff e bookmarks com preview e atalhos intuitivos.

21 pontos por xguru 2025-06-01 | 4 comentários

8

Lançamento do Angular v20

(blog.angular.dev)

O Angular v20 estabiliza APIs de reatividade, avança com Zoneless e hidratação incremental, e melhora bastante a experiência de desenvolvimento e depuração.

3 pontos por GN⁺ 2025-06-01 | Comentários e discussão