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!