Arşiv | GeekNews

◀ Önceki yıl | ◁ Önceki ay | << Önceki hafta | < Önceki gün | 2026-07-30

1

Fransız müzisyen Kavinsky, Paris’teki evinde ölü bulundu

(euronews.com)

‘Nightcall’ ile tanınan Fransız DJ Kavinsky, Paris’teki evinde 50 yaşında ölü bulundu; savcılık ölüm nedenini araştırıyor.

1 puan yazan GN⁺ 2 시간 전 | 1 yorum

2

Superlogical - Her iş için çoklayıcı

(superlogical.com)

Superlogical, yerel geliştirmeden üretim operasyonlarına kadar işleri tek bir kalıcı oturumda birleştiren bir iş çoklayıcısı geliştiriyor.

1 puan yazan GN⁺ 2 시간 전 | 1 yorum

3

TurboFieldfare - Tüm M serisi Mac'lerde Gemma 4 26B'yi 2GB RAM ile çalıştıran açık kaynak motor

(github.com/drumih)

TurboFieldfare, Gemma 4 26B-A4B'yi yaklaşık 2GB RAM ile tüm M serisi Mac'lerde yerel olarak çalıştırmayı hedefleyen açık kaynak bir motor.

1 puan yazan GN⁺ 3 시간 전 | 1 yorum

4

Demoscene’in Kullanıcı Arayüzleri

(datagubbe.se)

Demoscene’in kendi araçları, deneysellik ve görsel gösterişle şekillenen benzersiz ve çoğu zaman kafa karıştırıcı UI kültürünü ortaya koyuyor.

1 puan yazan GN⁺ 6 시간 전 | 1 yorum

5

KOReader

(koreader.rocks)

KOReader, E Ink cihazları, Android ve masaüstü Linux için birçok e-kitap ve belge formatını destekleyen bir belge görüntüleyicidir.

1 puan yazan GN⁺ 6 시간 전 | 1 yorum

6

Program doğrulamada Rocq neden Lean'den daha iyi

(joomy.korkutblech.com)

Matematiksel biçimselleştirmede Lean hızla büyüse de, çalıştırılabilir program doğrulaması için doğal ortaközyineleme, çeşitli çıkarım yolları ve yerleşik doğrulama ekosistemi sayesinde Rocq daha uygun görülüyor.

1 puan yazan GN⁺ 7 시간 전 | Yorumlar ve tartışma