Archiv | GeekNews

◀ Vorheriges Jahr | ◁ Vorheriger Monat | << Vorherige Woche | < Vorheriger Tag | 2026-07-30

1

Französischer Musiker Kavinsky tot in seinem Pariser Zuhause aufgefunden

(euronews.com)

Der französische DJ Kavinsky, bekannt durch „Nightcall“, wurde tot in seinem Pariser Zuhause gefunden; die Staatsanwaltschaft ermittelt zur Todesursache.

1 Punkte von GN⁺ 2 시간 전 | 1 Kommentare

2

Superlogical - Ein Multiplexer für alle Arbeiten

(superlogical.com)

Superlogical entwickelt einen Arbeits-Multiplexer, der persistente Sitzungen über Entwicklung, Remote-Zugriff, Agents und Produktionsbetrieb hinweg verbindet.

1 Punkte von GN⁺ 2 시간 전 | 1 Kommentare

3

TurboFieldfare – Open-Source-Engine, der Gemma 4 26B auf allen Macs der M-Serie mit 2 GB RAM ausführt

(github.com/drumih)

TurboFieldfare ermöglicht lokale Gemma-4-26B-Inferenz auf Apple-Silicon-Macs mit nur rund 2 GB RAM durch SSD-Streaming von MoE-Expert-Gewichten.

1 Punkte von GN⁺ 3 시간 전 | 1 Kommentare

4

Die Benutzeroberflächen der Demoszene

(datagubbe.se)

Die Demoszene prägte mit eigenen Werkzeugen für Code, Musik, Grafik und Diskettenkopien eine experimentelle, oft spektakuläre und nicht immer leicht bedienbare UI-Kultur.

1 Punkte von GN⁺ 6 시간 전 | 1 Kommentare

5

KOReader

(koreader.rocks)

Ein Dokumenten-Viewer für E-Ink-Geräte, der zahlreiche E-Book- und Dokumentformate auf Kindle, Kobo, PocketBook, Android und Desktop-Linux unterstützt.

1 Punkte von GN⁺ 6 시간 전 | 1 Kommentare

6

Warum Rocq bei der Programmverifikation besser ist als Lean

(joomy.korkutblech.com)

Obwohl Lean in der Formalisierung von Mathematik stark wächst, eignet sich Rocq mit nativer Koinduktion, vielfältigen Extraktionspfaden und einem ausgereiften Verifikationsökosystem besser für die Verifikation ausführbarer Programme.

1 Punkte von GN⁺ 7 시간 전 | Kommentare und Diskussion