Hi! A little bit about me.
I am a Computer Science masters 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 programming languages that favour the functional style, but also use the more popular languages if need calls.
—
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 captivated by programming language theory in no time. Language features solidly backed by mathematical theories are great for proving program correctness.
I like using the terminal and keyboard to interact with computers (preferred editors: emacs and vim, org-mode for notes).
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 try to keep this site minimalistic and stick to just text to make it as light-weight as possible.
Being able to view web pages on a terminal-only browser in addition to the normal ones is a nice feeling.
No javascript or tracking. :)
This site is static and is built with a handful of scripts that I put together. It primarily relies on org-mode and pandoc to generate the web-pages. RSS/Atom feeds are built with a small python package that I once made.
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.
Require Import String.
Inductive email : Set :=
| Email: forall (username domain tld:string), email.
Goal
email.
Proof.
eapply Email.
- exact "famubu"%string.
- exact "disroot"%string.
- exact "org"%string.
Qed.