Musa Al-hassy
Approx: “Moses the conscious”
Quick Facts
[X]Bachelor's Honours in Mathematics & Computing Science[X]Master's in Computing Science ---Mechanised Mathematics[X]Doctorate in Computing Science ---Metaprogramming; “do it yourself module systems”[X]Married; Muslim; 29 years old[X]Emacs & programming languages enthusiast ---cheatsheets!
I've been a teaching assistant for “mathematics for computing” for ~10 years; and have taught “specifications and correct-by-construction programming” for ~3 years.
Character
- What do?
- Running, learning, Go, free software, hiking, type theory, category theory, metaprogramming, Life configuring with Emacs, blogging
- Favourite langs?
- Emacs Lisp, Racket/Clojure, Haskell/OCaml, C/C#, Smalltalk/Ruby, Prolog
- Why a lang?
- I like languages that teach me interesting things, e.g., Isabelle for termination yielding induction principles.
- Opinion …
- Education is a leisurely activity, intellectual curiosity, analogous to gaming
Goals
[ ]Blog more often[ ]Run 60km[ ]Memorise the Quran[ ]Read lots of books[ ]Be an eloquent poet
What do?
Some things I like …
I like to make ‘deep dives’ into some topics and make cheatsheets for them …
Here are a few of them…
I have an ‘awesome emacs config’ that is extensively documented:
The ‘badges’ in this article —and tooltips in my blog— are formed using my
