💾 Archived View for gemlog.blue › users › jiaming › 1605199282.gmi captured on 2022-04-28 at 20:05:08. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2021-12-04)

➡️ Next capture (2022-04-29)

-=-=-=-=-=-=-

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!