Mengembalikan GRUB

Si Ubuntu ngambek, dia tidak mau memunculkan GRUB, padahal si Vista harus cepat-cepat diload karena ada yang mau dikerjakan, akhirnya pakai cara brutal, basmi saja dulu si GRUB:

• Masukkan CD instalasi MS Windows Vista


• Pilih Menu Repair


• Di System Recovery Options pilih Command Prompt


• Ketik "Bootrec.exe /FixMbr"

Voila, si GRUB hilang tak berbekas. Masalah selesai? Untuk sementara. Yang penting, si Vista sudah bisa diload, dan GRUB tidak muncul lagi.

Tiba-tiba muncul kerinduan *halah* untuk menggunakan Ubuntu lagi. Tapi bagaimana mungkin, si GRUB sudah tiada. Untungnya ada cara untuk memunculkan si GRUB lagi:

• Load Ubuntu menggunakan dalam mode Live


• Jalankan terminal


• Ketik "sudo grub"


• Ketik "find /boot/grub/stage1"


• Catat apa yang muncul pada terminal


• Ketik "root (hd0,x)"
  catatan: ganti x dengan angka yang muncul waktu menjalankan perintah "find /boot/grub/stage1"


• Ketik "setup (hd0)"


• Ketik "quit"

Restart Ubuntu dalam mode LiveCD dan voila, si GRUB muncul kembali. Semua senang :D

Hasil Resmi IOI 2008

Dapat dilihat dari sini.

Kampanye Untuk Sinode Godang HKBP

Hanya turut serta membantu kampanye Sinode Godang HKBP yang akan diadakan tanggal 1-7 September 2008 yad.

Silahkan baca dari gambar di bawah ini:

[caption id="" align="alignnone" width="531" caption="Sinode Godang HKBP"][/caption]

Heaven is a Place on Earth

Saya suka menonton film, dan ketika menonton film bukan hanya jalan ceritanya saja yang saya simak, tapi lagu-lagu yang diputar di film tersebut, istilah bahasa Bataknya Original Sound Track.

Seperti hari ini, saya menonton film Harold & Kumar Escape from Guantanamo Bay dan mendengar ada lagu yang sangat enak didengar (menurut saya), dan judul lagu tersebut adalah Heaven is a Place on Earth. Lagu ini diputar ketika adegan Harold mencari wanita pujaannya di Kota Amsterdam.

Tidak butuh waktu lama untuk mendapatkan MP3 lagu tersebut, tapi ternyata versinya tidak sesuai dengan yang di film tersebut (kebanyakan versi remix, jadinya lagu ajeb-ajeb), tapi pada lagu ketiga ketemu versi yang cocok, yaitu yang dinyanyikan oleh Belinda Carlisle.

Untuk videonya dapat dilihat dari youtube.

The Square Root Of Three

Baru nonton film Harold & Kumar Escape from Guantanamo Bay dan ternyata ada puisi mengenai akar dari tiga, bagus juga, sangat kreatif (walau si Kumar mengakui bahwa puisi tersebut lame). Pencipta puisi tersebut adalah David Feinberg.

Berikut puisinya:

I fear that I will always be
A lonely number like root three
A three is all that's good and right
Why must my three keep out of sight
Beneath a vicious square-root sign?
I wish instead I were a nine
For nine could thwart this evil trick
With just some quick arithmetic
I know I'll never see the sun
As 1.7321
Such is my reality
A sad irrationality
When, hark, just what is this I see?
Another square root of a three
Has quietly come waltzing by
Together now we multiply
To form a number we prefer
Rejoicing as an integer
We break free from our mortal bonds
And with a wave of magic wands
Our square-root signs become unglued
And love for me has been renewed

Angka 1.7321 tentu saja hasil pembulatan karena akar dari tiga adalah bilangan irasional (seperti yang tertulis juga di puisi tersebut) dan bilangan-bilangan setelah koma pada bilangan irasional tidak memiliki pola.

Menggabungkan Dua Partisi di Vista

Secara tidak sengaja saya membuat partisi baru (buat partisi kok tidak sengaja? hehehe), karena tidak diinginkan saya ingin menggabungkan partisi yang baru dibuat tersebut ke partisi "induk" nya. Ternyata caranya tidak susah, saya catat di blog ini, siapa tahu ada yang memerlukan atau suatu waktu saya yang memerlukannya (karena lupa dll):

• Buka Control Panel -> Administrative Tools -> Computer Management


• Klik Storage


• Klik Disk Management


• Klik kanan di partisi "induk" nya lalu pilih "Extend Volume"


• Sebuah window dengan dua pane akan muncul (secara default pane sebelah kanan menunjukkan partisi yang akan digabung).


• Klik Next

Dan partisi yang secara tidak sengaja dibuat telah digabung kembali dengan partisi induknya. Semoga bermanfaat.

Hasil IOI 2008

Walaupun belum resmi diumumkan, tapi sudah ada website yang menampilkan hasil akhir IOI 2008. Tim dari Indonesia akhirnya berhasil mendapatkan 1 emas dan 3 perunggu. Hasil lengkapnya dapat dilihat dari situs ini (unofficial).

Berbunga di lingkungan yang tidak kondusif

[caption id="attachment_156" align="alignnone" width="300" caption="Bunga di Lantai"][/caption]

Sekelilingnya adalah beton, hanya sedikit tanah yang dia miliki, tapi bisa berbunga dengan indahnya. Kira-kira, apa rahasianya ya?

Mie Gomak

[caption id="attachment_152" align="alignnone" width="300" caption="Mie Gomak"][/caption]

Sekedar mau nampilin salah satu makanan favorit di Bonapasogit. Sebenarnya pemandangan di depan lumayan bagus, ada Danau Toba di kejauhan, tapi tidak terpikir untuk mengambil gambarnya waktu itu.

PS: Gambar diambil di kantin SMA Bintang Timur Balige ketika saya bertugas menjadi anggota Tim Pemantau Independen.

Matrikulasi itu

Kemaren saya dapat kesempatan memberikan sebuah materi dari serangkaian materi yang akan diberikan ke mahasiswa baru di tempat saya mengajar.

Karena jadwal yang diberikan kepada saya sudah sore (mulai pukul 15:00) saya ingin mengetahui apakah mahasiswa baru tersebut masih memiliki energi yang cukup untuk berkonsentrasi untuk menyerap materi yang akan saya berikan.

Saya memberikan test sederhana berupa sebuah persamaan:

X + Y = X / Y

Dengan sembarang saya memilih seorang mahasiswa untuk menjawab berapa nilai X apabila diketahui nilai Y sama dengan 3. Mahasiswa yang saya tunjuk tidak dapat menjawab, mungkin masih syok karena diberikan soal mendadak. Saya tanya mahasiswa di sampingnya juga tidak bisa menjawab. Hmm... mungkin perlu waktu sedikit lebih lama untuk loading. Dan memang benar, mahasiswa berikutnya sudah bisa menjawab dengan benar. Setidaknya saya amati hampir semua mahasiswa mencoba menghitungnya (yang artinya mereka masih berkonsentrasi :D)

Saya membawakan materi dengan topik email. Sebenarnya bukan ini topik yang diberikan kepada saya di awal, tapi saya meminta kepada koordinator matrikulasi supaya saya diberi topik ini karena saya ingin mendidik mahasiswa baru supaya mereka tidak membuat kesalahan yang sering dilakukan ketika berkomunikasi dengan email, terutama untuk kesalahan-kesalahan yang sering saya amati secara langsung.

Secara teori saya merasa semua sudah disampaikan, sayangnya saya tidak bisa mengamati ketika praktikum karena ada masalah dengan login mereka.

Well, I'll see that in the matriculation test.

Kejujuran itu spesial lho...

Tidak percaya kalau kejujuran itu spesial? Silahkan tonton iklan sirup *** yang menggambarkan bahwa anak yang melakukan kejujuran sebagai sesuatu yang spesial.

Secara sederhana, kalau kejujuran itu adalah hal yang spesial, berarti ketidakjujuran adalah hal yang umum. Apakah memang begitu? Apalagi negara Indonesia dikenal sebagai negara yang penduduknya taat beragama, kejujuran seharusnya menjadi nilai yang ditanamkan sejak kecil, dan seharusnya adalah hal yang biasa.

Ada dua dampak ekstrim dari kisah di iklan tersebut:

1. Orang-orang akan semakin giat berbuat jujur supaya dianggap spesial


2. Orang-orang akan semakin giat berbuat ketidakjujuran karena menganggap itu hal yang umum

Semoga saja dampak ekstrim yang paling banyak terjadi adalah yang pertama.

PS: Saya bukan kritikus iklan, cuman kebetulan ada kesempatan nonton tipi selama 2 minggu *nasib manusia goa* jadi tertarik melihat dan mengomentari iklan yang "tidak biasa".

Kereta bawa motor

Pernyataan di atas adalah jawaban teman saya yang rumahnya di Bandung dan berencana membeli sepeda motor di Jakarta, ketika saya tanyakan bagaimana cara membawa sepeda motor tersebut ke Bandung.

Sekilas tidak ada yang aneh dengan pernyataan di atas, tapi kalo pernyataan di atas diucapkan di daerah Bonapasogit, mungkin banyak yang akan mengernyitkan dahi, karena kereta di Bonapasogit artinya adalah sepeda motor, dan motor di Bonapasogit artinya adalah mobil. Jadi bisa dibayangkan kira-kira makna pernyataan di atas apabila diucapkan di Bonapasogit :D

PS: Bonapasogit adalah sebutan untuk kampung orang Batak.

Selamat Berbahagia Kawan

Mungkin sudah agak basbang, tapi tidak ada salahnya terlambat menyampaikan ucapan turut berbahagia atas pernikahan kedua teman saya, Ondy Dharma Indra Sukma Tambun dan Imelda Rinawaty Simanjuntak pada tanggal 9 Agustus 2008 yang lalu.

Sayang sekali saya tidak bisa mengikuti acara tersebut karena ada urusan di Jakarta. Karena saya sudah mengetahui bahwa saya tidak dapat hadir di acara tersebut, saya menyempatkan diri datang ke pesta martumpol mereka di HKBP Glugur Medan.

Berikut satu gambar yang saya sempat ambil di pesta martumpol mereka:



Selamat menempuh hidup baru kawan. Semoga senantiasa diberkati Tuhan.

Dirgahayu Republik-ku Tercinta

[caption id="" align="alignnone" width="313" caption="Indonesia"][/caption]

Semoga rakyat-mu bisa merdeka dari segala macam bentuk penjajahan. Amien.

PS: Judulnya bukan kampanye terselubung ya :) (sengaja dikasih dash dan penekanan huruf "k" - red).

Logic is Everywhere

Today is the last day of Summer School program that followed since 4th August 2008 at Faculty of Computer Science, University of Indonesia. The topic of the summer school is "Computational Logic and Its Applications". Almost all the lecturers are from TU Dresden, Germany. But there is also one lecturer from ANU, Australia, and of course one from UI.

The topic is really new for me, since my educational background is in Mathematics, and I work in education field in Informatics, so I never learn (or even heard) about Computational Logic. And as I predicted, the topic is really brain-teasing. Classical Logic that I've learned in one of my course during my undergraduate study is far simpler than what I learned during the summer school.

I'll write (very) brief information about each of the lectures in my next posts, but for now, I'll just give a general information about the courses given.

The first course was Propositional Logic and Satisfiability Testing from Holldobler. He's the Director of the ICCL. Then came Axel Grossmann with his Probabilistic Reasoning. Topic about Proof Theoretical Foundations for Specification Languages was given by Alwen Tiu. Stefanus gave course titled Modal Logic (where truth has several modes ;p). Course about Description Logic was given by the only beautiful lecturer of all, Anni-Yasmin Turhan. Possega gave a course on Interactive Theorem Proving. And the last but not least, a the only mathematician, Ganter, who gave a course on Formal Concept Analysis.

Frankly, I don't understand the whole course very well, but I'll try to learn it again when I come back to my campus, because all the topics are really interesting.

Well, that's all for now, hopefully I have enough time to write each of the courses given.