Hi! A little bit about me.
I am a Computer Science student with an interest in learning new languages. Both natural and programming languages (thanks to my friends who speak many different languages).
I'm also interested in whatever mathematics that I can understand. Thankfully, I'm at college with a few math students in it. :-)
I like functional languages, Python and am also developing a fondness for functional programming languages (thanks to my teachers).
I like using the terminal and keyboard to interact with computers.
I like both emacs and vim. Both have its own advantages. Emacs can do anything and everything, whereas vi/vim is found anywhere and everywhere. Emacs org mode is great.
Plain text is the best data format.
Would rather use computer than a phone. That way we wouldn't be pestered with messages when we feel like relaxing.
Email is better than any 'instant-messaging' service or platform. It would be great if people use email more often.
I prefer to do things that will help ordinary citizens rather than helping corporate giants get richer. Hopefully there are funding opportunities that fit this (or am I being naïve? 😃).
I discovered type theory and logic in 2021 from my masters course advisor.
I joined thinking I knew something about types but quickly realized that it was something different than what I expected. I had (and still have) a lot to learn. But got familiar with a lot already.
I try to keep this site minimalistic and stick to just text to make it as light-weight as possible.
No javascript or tracking. :)
Also checkout my blog and tell me what you think.
Corrections are always appreciated.
Here is a quote that I found online (source unknown. Tell me if you know where it's from):
/It is quite simple - nothing that is meant for you will ever get away.
Love deeply, and without the need to possess or own;/
/let beautiful connections pass through you without attachment,
slam your heart into the people and the places and the things that ignite something deep inside of your soul,/
and I promise, I promise - the right things will stay.
You will never lose what is for you.Please don’t ever forget that.