Archivo | GeekNews

◀ Año anterior | ◁ Mes anterior | << Semana anterior | < Día anterior | 2026-07-30

1

Encuentran muerto en su casa de París al músico francés Kavinsky

(euronews.com)

El músico francés Kavinsky, conocido por ‘Nightcall’, fue hallado muerto en su casa de París a los 50 años.

1 puntos por GN⁺ 2 시간 전 | 1 comentarios

2

Superlogical: un multiplexor para todo tipo de trabajo

(superlogical.com)

Superlogical desarrolla un multiplexor de trabajo persistente que conecta terminales, agentes, acceso remoto y operaciones entre entornos.

1 puntos por GN⁺ 2 시간 전 | 1 comentarios

3

TurboFieldfare: motor open source para ejecutar Gemma 4 26B con 2 GB de RAM en cualquier Mac serie M

(github.com/drumih)

TurboFieldfare permite ejecutar Gemma 4 26B-A4B localmente en Macs Apple Silicon de 8 GB usando alrededor de 2 GB de RAM mediante streaming de expertos MoE desde SSD.

1 puntos por GN⁺ 3 시간 전 | 1 comentarios

4

La interfaz de usuario de la demoscene

(datagubbe.se)

La demoscene creó una cultura de interfaces única con herramientas propias para programar, componer, copiar discos y producir gráficos en plataformas como Amiga, Atari y MS-DOS.

1 puntos por GN⁺ 6 시간 전 | 1 comentarios

5

KOReader

(koreader.rocks)

Visor de documentos para dispositivos E Ink compatible con múltiples formatos y disponible para Kindle, Kobo, PocketBook, Android y Linux de escritorio.

1 puntos por GN⁺ 6 시간 전 | 1 comentarios

6

Por qué Rocq es mejor que Lean para la verificación de programas

(joomy.korkutblech.com)

Aunque Lean crece en formalización matemática, Rocq se adapta mejor a la verificación de programas ejecutables gracias a su coinducción nativa, múltiples rutas de extracción y un ecosistema de verificación consolidado.

1 puntos por GN⁺ 7 시간 전 | Comentarios y discusión