Arsip | GeekNews

◀ Tahun sebelumnya | ◁ Bulan sebelumnya | << Minggu sebelumnya | < Hari sebelumnya | 2025-06-01 | Hari berikutnya > | Minggu berikutnya >> | Bulan berikutnya ▷ | Tahun berikutnya ▶

1

Companion Lean untuk Analysis I

(terrytao.wordpress.com)

Proyek open-source ini menyusun ulang Analysis I karya Terence Tao ke dalam Lean, sekaligus menjadi sarana belajar analisis real, Lean, dan Mathlib secara praktis.

2 poin oleh GN⁺ 2025-06-01 | 1 komentar

2

Darwin Gödel Machine - AI yang berevolusi dengan memodifikasi kodenya sendiri

(sakana.ai)

Darwin Gödel Machine adalah AI yang meningkatkan dirinya dengan memodifikasi kode sendiri, menunjukkan lompatan performa besar pada benchmark pemrograman sambil tetap diawasi lewat mekanisme keamanan yang transparan.

10 poin oleh GN⁺ 2025-06-01 | 2 komentar

3

Ask HN: LLM terbaik apa yang bisa digunakan di hardware konsumen?

(news.ycombinator.com)

Model seperti Qwen3, DeepSeek-R1, Mistral, dan Gemma3 dapat berjalan baik di 16GB VRAM, tetapi hasil terbaik tetap bergantung pada quantization, tuning, dan pengujian langsung sesuai kebutuhan.

13 poin oleh GN⁺ 2025-06-01 | 1 komentar

4

Buttplug MCP

(github.com/ConAcademy)

Server MCP open source ini menghubungkan perangkat dalam ekosistem Buttplug.io dengan LLM seperti Claude Desktop untuk kueri dan kontrol perangkat, meski stabilitasnya masih terbatas.

1 poin oleh GN⁺ 2025-06-01 | 2 komentar

5

Ulang Tahun ke-1 Valkey: Bagaimana Fork Komunitas Melampaui Redis

(gomomento.com)

Setahun setelah menjadi fork komunitas, Valkey menunjukkan performa, optimasi, dan perkembangan komunitas yang melampaui Redis.

8 poin oleh GN⁺ 2025-06-01 | 4 komentar

6

Toko Ritel Elektronik Besar Kembali Hadir di Silicon Valley: Micro Center Buka

(microcenter.com)

Micro Center membuka toko baru di Silicon Valley dan menawarkan program Member Pricing gratis hingga 2026 tanpa perlu kartu kredit.

1 poin oleh GN⁺ 2025-06-01 | 1 komentar

7

jjui - TUI untuk sistem kontrol versi Jujutsu

(github.com/idursun)

jjui adalah UI terminal untuk Jujutsu yang memudahkan penelusuran pohon commit, rebase, squash, diff, dan bookmark dengan shortcut intuitif serta fitur preview.

21 poin oleh xguru 2025-06-01 | 4 komentar

8

Pengumuman Angular v20

(blog.angular.dev)

Angular v20 menstabilkan API reaktivitas, menghadirkan preview Zoneless, meningkatkan SSR dan developer experience, serta memperluas dukungan GenAI dan ekosistemnya.

3 poin oleh GN⁺ 2025-06-01 | Komentar dan diskusi