2181
 

Bagaimana tipe dibuktikan — sistem tipe TypeScript dan korespondensi Curry–Howard

 (evan-moon.github.io)
Tulisan ini membahas sistem tipe TypeScript sebagai sistem pembuktian logika untuk menjelaskan dasar inferensi tipe dan pilihan desainnya yang menjaga konsistensi logis.
21 poin oleh bboydart91 2026-01-26 | 3 komentar
2182
 

Pembaruan smartphone OnePlus memperkenalkan fitur anti-rollback tingkat perangkat keras

 (consumerrights.wiki)
Pembaruan ColorOS terbaru OnePlus dilaporkan menerapkan anti-rollback tingkat perangkat keras yang dapat menyebabkan hard brick saat downgrade atau memasang custom ROM.
1 poin oleh GN⁺ 2026-01-26 | 1 komentar
2183
 

DOOM Di-port ke Earbud Nirkabel

 (doombuds.com)
DOOM kini berhasil dijalankan di earbud nirkabel PineBuds Pro melalui UART dan stream MJPEG, memungkinkan permainan jarak jauh lewat web.
7 poin oleh GN⁺ 2026-01-26 | 5 komentar
2184
 

Cara Mengestimasi Pekerjaan Perangkat Lunak

 (seangoedecke.com)
Estimasi proyek perangkat lunak pada dasarnya mustahil dan dalam praktiknya lebih sering menjadi alat politik manajemen daripada ukuran akurat untuk pekerjaan engineering.
25 poin oleh GN⁺ 2026-01-26 | 2 komentar
2185
 

Ya, ini adalah fasisme

 (theatlantic.com)
Sebuah analisis berargumen bahwa pemerintahan Trump kini menunjukkan ciri-ciri fasis yang jelas, dari pengagungan kekerasan hingga penindasan pers dan perusakan pemilu.
3 poin oleh GN⁺ 2026-01-26 | 1 komentar
2186
 

Posturr - Aplikasi macOS yang mengaburkan layar saat postur membungkuk untuk membantu memperbaiki postur

 (github.com/tldev)
Aplikasi macOS ini mendeteksi postur membungkuk dan secara bertahap mengaburkan layar untuk mendorong posisi duduk yang lebih baik, dengan seluruh pemrosesan dilakukan secara lokal.
8 poin oleh GN⁺ 2026-01-26 | 2 komentar
2187
 

Adopsi kendaraan listrik terbukti terkait dengan penurunan nyata polusi udara

 (keck.usc.edu)
Studi di California menemukan bahwa peningkatan jumlah kendaraan tanpa emisi berkaitan dengan penurunan terukur kadar NO₂ dan perbaikan kualitas udara.
2 poin oleh GN⁺ 2026-01-26 | 1 komentar
2188
 

Deutsche Telekom Dikritik karena Diduga Memperlambat Kecepatan Internet Secara Sengaja

 (netzbremse.de)
Deutsche Telekom dikritik atas dugaan memberi koneksi cepat untuk layanan berbayar dan memperlambat layanan lain, sehingga memicu perdebatan besar soal net neutrality di Jerman.
2 poin oleh GN⁺ 2026-01-26 | 1 komentar
2189
 

Makalah cacat yang terbit di jurnal manajemen dikutip lebih dari 6.000 kali

 (statmodeling.stat.columbia.edu)
Makalah manajemen yang sangat berpengaruh ternyata memuat kesalahan serius dan tetap dikutip ribuan kali, memicu kritik terhadap sistem integritas ilmiah.
1 poin oleh GN⁺ 2026-01-26 | 1 komentar
2190
 

OpenClaw - asisten AI pribadi yang bekerja di semua OS dan platform

 (openclaw.ai)
OpenClaw adalah asisten AI pribadi berbasis LLM yang berjalan lokal dan dapat mengendalikan komputer serta berbagai platform pesan di banyak OS.
57 poin oleh xguru 2026-01-26 | 10 komentar
2191
 

ICE menggunakan alat Palantir yang memanfaatkan data Medicaid

 (eff.org)
ICE dilaporkan memakai sistem ELITE milik Palantir dengan data pemerintah termasuk Medicaid untuk mengidentifikasi target deportasi, memicu kekhawatiran serius soal privasi dan hak sipil.
1 poin oleh GN⁺ 2026-01-26 | 1 komentar
2192
 

Apakah filter spam Gmail tiba-tiba mengklasifikasikan semua email sebagai spam?

 (news.ycombinator.com)
Pengguna melaporkan Gmail tiba-tiba menandai email normal sebagai spam tanpa penjelasan resmi dari Google.
2 poin oleh GN⁺ 2026-01-26 | 2 komentar
2193
 

Alasan GitLab Bagus

 (whileforloop.com)
GitLab unggul untuk proyek pribadi berkat integrasi CI/CD dan Container Registry bawaan, meski antarmuka web yang lambat dan fitur berlebih tetap menjadi kekurangan.
6 poin oleh GN⁺ 2026-01-26 | 3 komentar
2194
 

Drag race Raspberry Pi: perbandingan performa dari Pi 1 hingga Pi 5

 (the-diy-life.com)
Perbandingan nyata menunjukkan Raspberry Pi 5 jauh melampaui generasi awal dalam performa, efisiensi, dan ekspandabilitas selama 13 tahun terakhir.
2 poin oleh GN⁺ 2026-01-26 | 1 komentar
2195
 

Analisis pascamisi satelit orbit rendah Clarity-1 (termasuk citra dan data penerbangan)

 (albedo.com)
Clarity-1 membuktikan kelayakan operasi komersial VLEO, memvalidasi model hambat, ketahanan AO, dan mayoritas teknologi pencitraan 10 cm.
1 poin oleh GN⁺ 2026-01-26 | 1 komentar
2196
 

Fitur C++ yang Dilarang di Chromium

 (chromium.googlesource.com)
Chromium menerapkan kebijakan selektif untuk fitur C++ modern dengan membaginya ke status diizinkan, dilarang, atau ditinjau demi stabilitas build, keamanan, dan konsistensi kode.
15 poin oleh GN⁺ 2026-01-26 | 3 komentar
2197
 

Serangan malware wiper yang belum pernah terjadi sebelumnya menargetkan jaringan listrik Polandia

 (arstechnica.com)
Serangan DynoWiper yang diduga terkait Rusia menargetkan jaringan listrik Polandia, tetapi gagal mengganggu pasokan listrik.
2 poin oleh GN⁺ 2026-01-26 | 1 komentar
2198
 

Eropa ingin mengakhiri ketergantungan berbahayanya pada teknologi internet AS

 (theconversation.com)
Eropa memperkuat kemandirian digital untuk mengurangi risiko dari ketergantungan besar pada infrastruktur cloud dan internet milik perusahaan AS.
1 poin oleh GN⁺ 2026-01-25 | 1 komentar
2199
 

Saya menambahkan bagian komentar Bluesky ke blog saya

 (micahcantor.com)
Eksperimen ini menunjukkan bahwa komentar read-only berbasis Bluesky dapat ditambahkan ke blog statis tanpa perlu server terpisah.
4 poin oleh GN⁺ 2026-01-25 | 1 komentar
2200
 

[Russ Cox] Revolusi Konversi Floating-Point: Lebih Mudah, Lebih Cepat, dan Lebih Sederhana

 (research.swtch.com)
Algoritma baru Russ Cox menyederhanakan konversi floating-point sambil meningkatkan performa printing hingga 30% dan parsing hingga 15%, dan diperkirakan hadir di Go 1.27.
17 poin oleh darjeeling 2026-01-25 | Komentar dan diskusi