💾 Archived View for gemlog.blue › users › jiaming › 1604685760.gmi captured on 2022-04-28 at 20:05:12. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2020-11-07)
-=-=-=-=-=-=-
Hi, I'm Jia Ming from Malaysia. I was just too excited to get started with
gemini that's why I'm posting from here, hopefully this encourages me to stop
procrastinating and start learning all the things that make the internet work.
I am still a student, currently self-learning mathematics and computer science
but hoping to start university soon inshallah! Covid has made me such a lonely
person :( I'm particularly interested in interactive theorem proving (Lean) but
I'm still like really a beginner. Also super curious about programming languages
and just how everything comes together in the computer science world.
I dream of a world where the English language is no longer so dominant and that
people across the internet will stop trying to sabotage one another and just
foster good-willed connections. If you have any thoughts on what it might be like
to design a programming language in a Non-English language and want to share do
let me know at my email: jiaminglimjm@protonmail.com
Oh, I wonder, do emojis work on gemini? Let me try hehe 📋 👍 what about other characters \\n\t\ \ \r 林嘉銘 توليسن جاوي alrightt let's see