Developing iOS apps, why not? [started 21/11/2017] So, deep inside I’ve always wanted to start coding again. Looking around, I decided to take-up iOS development. Most of the time, before I do something, I read through stuff in the internet before actually doing it. And as everybody who surf the net have experienced, its an information jungle out there and could be overwhelming. That’s just after 30 minutes of reading 🙂 I have a Mac, why don’t we just get started by downloading Xcode. (will update soon – just don’t wait up, its only 5GB, with this speed I’ll get back in a century perhaps)Read More →

Welcome to WordPress, me. And hello world, welcome to my thoughts and curiosities. This is my first post here. But I have posted some writings in the past. That will be my next task, migrating old posts that are obsolete. Not for your amusement, rather for my pleasure of having more than 1 post. What can I say, I am a man of the past. I’ll be writing about that after this, and also how I set up this fancy new blog site. Cheers! Loading…Read More →

*Renungan ini pertama saya siapkan untuk khotbah Sabat ke-2 tahun 2016 di GMAHK Jemaat Eben-haezer Depok. Dibandingkan dengan yang awal untuk kebutuhan blog ini, naskah saya sesuaikan dari bentuk sermon menjadi article. Juga diperbaharui untuk dipublikasi di situs ini jelang tahun 2018. Tuhan memberkati.. Tahun 2017 dan Tahun Baru 2018 Beberapa hari lagi, kita akan mengakhiri tahun 2017, dan memasuki 2018. Biasanya setiap awal tahun kita menetapkan hal-hal yang akan kita lakukan, yang seringkali adalah usaha kita memperbaiki perbuatan yang kurang selama tahun yang lalu. Pekabaran ini yang kiranya dapat menjadi bahan renungan dalam mengakhiri tahun 2017 dan menjalani tahun 2018 dalam beberapa hari lagi.  Read More →

Very useful… To check if a foursquare badge is active, go to Twitter, then search for the badge’s official name. Or to be more specific add the keywords “unlocked” “badge”. Check the result(s)’ time, if relatively recent, then the badge is active. If last result is 3 months or older, then most probably its retired (moreover, if no result). ex: search for “unlocked RadioShack Holiday Hero badge”Read More →

List of badges, and how I unlocked them. post history: 06/04/2011 started Badges are sorted according to time unlocked, starting with newest. PEOPLE VIP – follow People, check-in (3): (got it after 4) WSJ Banker – follow WSJ, check-in (3): (check into 3 venues in the financial district of NY) Warhol – check-in 10 times at venues categorized “Art Gallery”. got it here WSJ Urban Adventurer – follow, check-in (5): (check into a venue in each of the 5 boroughs of NY) PEOPLE Hot Spot – follow People, got it hereRead More →

Audrey C. Garais and Gabrielle Ira M. Tan. Verifying Privacy-Type Properties of an Electronic Voting Protocol that uses Identity Based Cryptography. Online Appendix: A. Sequence Diagram of IBC Protocol B. Proof of Correctness Run Through C. Reductions for Vote-Privacy Proof D. Reductions for Receipt-Freeness Proof E. Reductions for Coercion-Resistance ProofRead More →

A must see, the documentary film Inside Job. The US financial system is a timebomb waiting to explode, the next time it does, it will be more severe than the last one. A blog by Prof. Mishkin about his participation in the movie. A blog by the director in response. Well, he blogs here. Interesting website on the movie. Don’t really understand this but might be related to the topic, something to do with Alan Greenspan. Got it while looking at the other blogs above. I think Hollywood realized it just had to acknowledge the film since it won “Best Documentary” in Oscar 2011. TheRead More →