Lưu trữ | GeekNews

◀ Năm trước | ◁ Tháng trước | << Tuần trước | < Ngày trước | 2026-07-30

1

Nhạc sĩ Pháp Kavinsky được phát hiện đã qua đời tại nhà riêng ở Paris

(euronews.com)

Kavinsky, nghệ sĩ tiêu biểu của French touch nổi tiếng với ‘Nightcall’, được phát hiện đã qua đời tại nhà riêng ở Paris ở tuổi 50.

1 điểm bởi GN⁺ 2 giờ trước | 1 bình luận

2

Superlogical - Trình đa kênh cho mọi công việc

(superlogical.com)

Superlogical đang phát triển một trình đa kênh công việc để duy trì phiên liên tục, ngữ cảnh và lịch sử xuyên suốt từ terminal đến môi trường production.

1 điểm bởi GN⁺ 2 giờ trước | 1 bình luận

3

TurboFieldfare - Engine mã nguồn mở chạy Gemma 4 26B trên mọi máy Mac dòng M với 2GB RAM

(github.com/drumih)

TurboFieldfare cho phép chạy Gemma 4 26B cục bộ trên máy Mac Apple Silicon 8GB bằng cách stream trọng số MoE từ SSD và chỉ dùng khoảng 2GB RAM.

1 điểm bởi GN⁺ 3 giờ trước | 1 bình luận

4

Giao diện người dùng của demoscene

(datagubbe.se)

Một cái nhìn về văn hóa UI kỳ lạ và giàu thử nghiệm mà cộng đồng demoscene đã tạo ra qua các công cụ riêng cho code, nhạc, đồ họa và sao chép đĩa.

1 điểm bởi GN⁺ 6 giờ trước | 1 bình luận

5

KOReader

(koreader.rocks)

Trình xem tài liệu cho thiết bị E Ink, hỗ trợ nhiều định dạng ebook và tài liệu trên Kindle, Kobo, PocketBook, Android và Linux desktop.

1 điểm bởi GN⁺ 6 giờ trước | 1 bình luận

6

Vì sao Rocq tốt hơn Lean trong kiểm chứng chương trình

(joomy.korkutblech.com)

Dù Lean đang tăng trưởng rõ rệt trong hình thức hóa toán học, Rocq phù hợp hơn với kiểm chứng chương trình thực thi nhờ đồng quy nạp native, nhiều đường dẫn trích xuất và hệ sinh thái kiểm chứng đã tích lũy.

1 điểm bởi GN⁺ 7 giờ trước | Bình luận và thảo luận