Archivo | GeekNews

◀ Año anterior | ◁ Mes anterior | << Semana anterior | < Día anterior | 2025-06-01 | Día siguiente > | Semana siguiente >> | Mes siguiente ▷ | Año siguiente ▶

1

El compañero en Lean de Analysis I

(terrytao.wordpress.com)

Un proyecto de código abierto que adapta Analysis I de Terence Tao a Lean para aprender análisis real, rigor formal y uso práctico de Mathlib.

2 puntos por GN⁺ 2025-06-01 | 1 comentarios

2

Darwin Gödel Machine - una IA que evoluciona modificando su propio código

(sakana.ai)

Darwin Gödel Machine es una IA que mejora su rendimiento al reescribir su propio código y superar a agentes diseñados manualmente en benchmarks reales.

10 puntos por GN⁺ 2025-06-01 | 2 comentarios

3

Ask HN: ¿Cuál es el mejor LLM que se puede usar en hardware de consumo?

(news.ycombinator.com)

Modelos recientes como Qwen3, DeepSeek-R1, Mistral y Gemma3 pueden correr bien con 16GB de VRAM, pero elegir el mejor depende de probar cuantización, herramientas y ajustes según el uso.

13 puntos por GN⁺ 2025-06-01 | 1 comentarios

4

Buttplug MCP

(github.com/ConAcademy)

Servidor MCP de código abierto para controlar dispositivos del ecosistema Buttplug.io mediante herramientas LLM, aunque todavía está en una etapa temprana e inestable.

1 puntos por GN⁺ 2025-06-01 | 2 comentarios

5

Valkey cumple 1 año: cómo el fork comunitario superó a Redis

(gomomento.com)

Valkey cumple un año mostrando mejoras de rendimiento, avance comunitario y tuning práctico que lo posicionan por encima de Redis en varios indicadores.

8 puntos por GN⁺ 2025-06-01 | 4 comentarios

6

Vuelve una gran tienda minorista de electrónicos a Silicon Valley: abre Micro Center

(microcenter.com)

Micro Center abre una nueva tienda en Silicon Valley y ofrecerá su programa Member Pricing gratis hasta 2026.

1 puntos por GN⁺ 2025-06-01 | 1 comentarios

7

jjui - TUI para el sistema de control de versiones Jujutsu

(github.com/idursun)

jjui es una interfaz de terminal para Jujutsu que facilita flujos clave como navegar commits, rebase, squash, diff y marcadores con atajos y vista previa en tiempo real.

21 puntos por xguru 2025-06-01 | 4 comentarios

8

Anunciado Angular v20

(blog.angular.dev)

Angular v20 estabiliza APIs de reactividad, presenta Zoneless en vista previa y mejora rendimiento, depuración, SSR y soporte para GenAI.

3 puntos por GN⁺ 2025-06-01 | Comentarios y discusión