Arquivo | GeekNews

◀ Ano anterior | ◁ Mês anterior | << Semana anterior | < Dia anterior | 2026-07-30

1

Músico francês Kavinsky é encontrado morto em sua casa em Paris

(euronews.com)

O DJ francês Kavinsky, conhecido por “Nightcall”, foi encontrado morto em sua casa em Paris aos 50 anos.

1 pontos por GN⁺ 2 시간 전 | 1 comentários

2

Superlogical — um multiplexador para todo tipo de trabalho

(superlogical.com)

Um multiplexador de trabalho que conecta desenvolvimento local, acesso remoto, agentes e operações de produção em uma sessão persistente.

1 pontos por GN⁺ 2 시간 전 | 1 comentários

3

TurboFieldfare - engine open source que roda o Gemma 4 26B com 2 GB de RAM em qualquer Mac da série M

(github.com/drumih)

TurboFieldfare roda o Gemma 4 26B em Macs Apple Silicon com apenas cerca de 2 GB de RAM por meio de streaming de pesos a partir do SSD.

1 pontos por GN⁺ 3 시간 전 | 1 comentários

4

Interfaces de usuário da demoscene

(datagubbe.se)

A demoscene criou ferramentas próprias para arte, música e código, gerando interfaces experimentais, vistosas e muitas vezes peculiares.

1 pontos por GN⁺ 6 시간 전 | 1 comentários

5

KOReader

(koreader.rocks)

Visualizador de documentos para dispositivos E Ink com suporte a vários formatos de e-books e uso em Kindle, Kobo, PocketBook, Android e Linux para desktop.

1 pontos por GN⁺ 6 시간 전 | 1 comentários

6

Por que o Rocq é melhor que o Lean para verificação de programas

(joomy.korkutblech.com)

Embora o Lean cresça na formalização matemática, para verificar programas executáveis o Rocq se destaca por oferecer coindução nativa, vários caminhos de extração e um ecossistema de verificação mais maduro.

1 pontos por GN⁺ 7 시간 전 | Comentários e discussão