💾 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
⬅️ Previous capture (2021-12-04)
-=-=-=-=-=-=-
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!