Note: in Malaysian time, this would technically be 13th Nov, but would technically
      I'm guessing that this server is in the US, so good for me..

12th Nov 2020 (Things I learned)
- Completed my first metamath proof!!! it was using modus ponens and
    a1 $a |- ( t = r -> ( t = s -> r = s ) ) $.
    a2 $a |- ( t + 0 ) = t $.
    to conclude th1 $p |- t = t $.
- Baby pigeons walk around chirping when their parent is not there
- Magpies jump around trees
- Watched an episode of kampung boy, guess my BM listening skills are decent! I
  understood almost everything without hesitation.
- parliament heckling is the most embarrassing, disappointing thing ever

oh i forgot to add, yesterday, i did CODE GOLF. I love it so much.
https://code.golf so wonderfully implemented. I spent hours trying to shave off
just a few characters. ohh yeah, i'm supposed to code a 80chars wrap line thing
in piton for this blog!