Arif's Blog

A kind stranger gilded me yesterday for my comment that got heavily downvoted despite stating the fact: (of course I won't put the screenshot of my comment.  What happens in Reddit stays in Reddit lol) Of my 4 years of being active in Reddit, this is the first time someone gilded me. Personally I don't care about karma points, golds, or any other kinds of artificial recognition in the Internet. But still, it surprises me a bit.  So what does having gold mean to me? Apparently, it allows me to access some features for a certain period. Can't recall whether it is 1 week or 1 month. To be honest, the extra features are not that appealing to use. But I agree with some comments saying that it is one way to support Reddit. Maybe it is not that useful, but it might help them a bit financially. It is not my money, anyway :D

Semalam saya menghadiri meetup yang diselenggarakan oleh Twitter. Temanya tentang Data Science yang dilakukan di dalam perusahaan tersebut. Ini bukan murni meetup, karena sebenarnya tujuan utama dari acara ini adalah promosi Twitter untuk menarik minat talent yang ingin bergabung dengan tim mereka. Cukup menarik juga, karena menurut keterangan stafnya, di seluruh dunia hanya ada sekitar 300an orang karyawan Twitter (semoga tidak salah dengar), dengan tim Data Science yang terbagi dua: di US dan Singapura. Di Singapura sendiri tim tersebut hanya terdiri dari 5 orang. Bahasan serius pertama adalah overview praktek Data Science di Twitter. Mulai dari garis besar gol yang ingin dicapai, contoh project yang dikerjakan (termasuk analisis berita bohong), dll, lifecycle, dll. Saya kurang ingat detailnya karena tidak terlalu tertarik dengan topik ini. Lifecycle produk Data Science di Twitter Selanjutnya adalah bahasan mengenai perjalanan Twitter mengambil keputusan untuk menambah jumla...

Saya baru tiba di Singapura dengan menggunakan IPA (in-principle approval) dari MOM, dan belum mendapatkan kartu ijin kerja. Saya harus membuat rekening bank lokal untuk keperluan payroll ataupun untuk menerima allowance fee dari perusahaan jasa relokasi yang digunakan oleh perusahaan anda. Di bank mana saya harus membuka rekening? Meskipun di Singapura sendiri banyak sekali bank yang beroperasi, namun kantor cabang yang dekat dengan kantor ternyata tidak cukup banyak. Dari tinjauan di Google Map, ada 4 kandidat berdasarkan jarak tempuh: POSB, UOB, CIMB, dan DBS. Pertama, yang harus diketahui adalah persyaratan pembukaan rekening untuk orang asing. Setidaknya ada 3 syarat: Bukti ijin kerja dari pemerintah Singapura Bukti alamat tempat tinggal. Dalam kasus saya, orang HR kantor membuatkan surat keterangan bahwa benar saya tinggal di alamat yang tercantum di surat tersebut. Paspor Yang menyulitkan adalah poin 1, dimana saya baru akan mendapatkan kartu employment pass saya...

Image source: imdb.com Narcos adalah serial dari Netflix yang bercerita tentang usaha penumpasan kelompok pengedar narkotika (kokain) Kolombia pada era 80-90an oleh pemerintah Kolombia dibantu dengan Amerika Serikat. Sejauh ini Narcos telah menyelesaikan dua season , dengan season ketiga sedang dalam masa produksi. Season 1 dan 2 berpusat pada cerita usaha penangkapan Pablo Escobar  dengan tokoh utama dua orang agen DEA, Stephen Murphy dan Javier Pena . Season 1 berjalan pada rentang ~15 tahun karier Pablo, dari awal merintis bisnisnya hingga meraih puncak kesuksesannya, di mana dia diganjar Forbes sebagai salah satu orang terkaya di dunia. Season 2 hanya bercerita pada rentang 1,5 tahun dari ketika Pablo melarikan diri dari penjara hingga akhirnya tewas terbunuh polisi ketika dalam pengejaran. Narcos meraih sukses besar. Banyak orang yang menyukainya. Rating di Rotten Tomato dan IMDB terbilang lumayan tinggi. Beberapa nominasi penghargaan, termasuk di Academy Awards ...

Menyaksikan tayangan Tonight Show kemarin, saya agak terkejut ketika Vincent menyebutkan bahwa bintang tamu episode itu, Silampukau , adalah band terbaik Indonesia versi dia untuk saat ini. Mengingat wawasan bermusik Vincent yang bisa dibilang cukup tinggi (paling tidak apabila dibandingkan dengan Desta , hehehe), tentu dia melihat sesuatu yang luar biasa dari band ini. Dan sepertinya Vincent tidak salah. Anggota Silampukau (Eki, kiri, dan Kharis, kanan). Gambar diambil dari silampukau.com

(Ilustrasi:  pexels.com ) Di semester ini saya sedikit belajar mengenai formal method dalam kuliah System Validation . Singkat kata, dari apa yang saya tangkap, formal method adalah metode pemodelan suatu sistem dalam bentuk formal. Yang dimaksud formal di sini adalah dalam bentuk notasi matematika. Mengapa menggunakan matematika? Karena matematika adalah bahasa yang tegas, dan tidak menimbulkan keambiguan. Pengertian ini sangat penting ketika misalnya model yang dimaksud di atas adalah sebuah model dari software pengendali reaktor nuklir, dan anda ingin memastikan software tersebut benar-benar bebas dari bug yang berbahaya. Anda tentu tidak ingin apabila ada kesalahan logic di software tersebut sehingga sistem pendingin reaktor tiba-tiba tidak berfungsi, dan menyebabkan reaktor meledak. Dengan memodelkan software tersebut, anda dapat memeriksa properti dari model tersebut. Semisal, apakah alarm benar-benar bekerja apabila temperatur melebihi batas normal? Apakah software t...