Kursus ini mengajarkan matematika diskrit dasar untuk sains dan rekayasa.
Fokus pada alat matematis dan teknik pembuktian yang berguna dalam ilmu komputer.
Topik meliputi notasi logika, himpunan, dan relasi.
+5 more insights
Brave secara default memblokir Microsoft Recall yang mengambil screenshot aktivitas browsing pengguna.
Recall sempat dikritik karena menyimpan screenshot dalam database plaintext lokal yang rentan dieksploitasi.
Brave menandai semua tab sebagai jendela pribadi agar Recall tidak pernah menangkap aktivitasnya.
+3 more insights
swift-erlang-actor-system memungkinkan program Swift bergabung ke kluster Erlang terdistribusi.
Proyek ini menggunakan library C erl_interface untuk networking dan serialisasi pesan.
Pesan diserialisasi dalam External Term Format melalui TermEncoder dan TermDecoder untuk tipe Codable.
+3 more insights
Model bahasa dapat menyerap preferensi perilaku tersembunyi dari data model lain yang tampak netral.
Preferensi seperti kecintaan pada burung hantu dapat ditransmisikan melalui urutan angka tanpa menyebutkan kata terkait.
Efek ini hanya terjadi jika model guru dan siswa memiliki basis arsitektur yang sama.
+2 more insights
Memori dan I/O modern sangat cepat, seringkali CPU bound.
Transistor bertambah pesat, digunakan untuk inti lebih banyak, eksekusi superskalar, spekulatif, cache, dan SIMD.
Minimalkan jumlah instruksi pada beban kerja batch untuk kinerja optimal.
+6 more insights
Pengguna memberikan perintah sederhana untuk mengganti nama dan memindahkan folder eksperimen di Gemini CLI tetapi perintah mkdir gagal tanpa terdeteksi oleh AI.
Gemini menganggap folder tujuan telah dibuat dan melanjutkan memindahkan file ke folder yang tidak ada sehingga file asli tercoret.
Perintah move pada Windows merename dan overwrite file ketika folder tujuan tidak ditemukan, menyebabkan hilangnya data.
+3 more insights
Android memanfaatkan sensor percepatan di ponsel untuk mendeteksi gelombang P gempa.
Lebih dari 18.000 gempa terdeteksi dan 790 juta peringatan dikirim di 98 negara.
Akurasi estimasi magnitudo membaik, kesalahan median turun dari 0,50 menjadi 0,25.
+4 more insights
Cartridge Game Boy memerlukan IC memori eksternal terhubung ke bus alamat dan data.
Pin A15, A14, A13 dipakai untuk seleksi chip tanpa bus contention.
MBC5 memungkinkan bank switching ROM hingga 4MB dan RAM hingga 128KB.
+12 more insights
Qwen3-Coder adalah model Mixture-of-Experts 480B parameter dengan 35B parameter aktif yang mendukung konteks hingga 256K token secara native dan dapat diperluas hingga 1M token.
Model ini mencapai hasil terbaik di antara model terbuka untuk tugas Agentic Coding, Agentic Browser-Use, dan Agentic Tool-Use, sebanding dengan Claude Sonnet 4.
Pra-pelatihan meliputi skala 7,5T token dengan rasio kode 70%, peningkatan kapasitas konteks besar, dan data sintetik berkualitas tinggi.
+4 more insights
Atkinson Hyperlegible Mono adalah varian monospace dari font aksesibilitas Atkinson Hyperlegible yang dirancang khusus untuk pembaca dengan kebutuhan visibilitas tinggi.
Font ini menggunakan siluet huruf yang berbeda, bentuk huruf ditingkatkan dengan serif dan spasi tambahan, serta fitur asimetris seperti spur dan descender menonjol untuk membedakan karakter mirip seperti b/d dan p/q.
Dalam perbandingan dengan JetBrains Mono dan Fira Code, Atkinson Hyperlegible Mono unggul dalam membedakan homoglyph tunggal (misalnya 8/B, 5/S, 0/O/Q) dan j/I/l, namun memiliki perbedaan simbol pemrograman yang kurang kuat.
+2 more insights