20/08/2021 (things i learned)
- digital multimedia technology, turns out not as interesting as expected. I now know i just wanna know how to manipulate them in practice. How to extract all meaningful metadata, form my own ffmpeg commands & know exactly what it does etcetc
- I CANT BELIEVE a multimedia course/textbook doesn't touch ffmpeg?? wtf? instead you talk about adobe bullshit?
- video codecs overview (AV1 is super cool)
- archival videos prefer lossless compression? Different goals or im missing something like recovery?
- haih mGBA doesnt include malay yet :( even tho it was commited in github
- xD propaganda class' "Contradiction Matrix" 39 somethings and 40 somethings
- Mortar and Pestle improvements xD stupid class, fun activities, vomit chocolate + hot syrup hahahaha inspirational nature. and OMG top boy seriously doesnt get me like at all i think...
- leanprover lecture really cleared and structures my thinking about how formal proofs fit into present times
=> https://gihanmarasingha.github.io/miu-game-pages/html/
- ooh new leanprover game hehe (MIU game)
- there is a whole f-ing subreddit for GEB (Godel escher bach) hahahah f-ing imperialists
- encouragement and competition really is a real, practical driving force for work huh
- LTO tape for archiving? Planning archives instills hopelessness :(
- backups vs archives
- Lean is so feel good :3 i miss it
- wow write.as, submit.as etc etc is really cool
- insect diversity in home... no idea how to identify but theyre really beautiful
- first BM song stuck in my head i believe... Di Manapun Kau Berada
- Huh my psyche with mathematics is really interesting today, I feel both at the same time like i have a grip on it yet i do not. Like i'm completely bad at it yet a little confident in my abilities...
- floor cold to lie down
- keep note to apply to vote http://pengundi.spr.gov.my/ https://mysprdaftar.spr.gov.my/
- archiving is a burden... but a noble one i think...