Musa Al-hassy

• [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.

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

• [ ] Blog more often
• [ ] Run 60km
• [ ] Memorise the Quran
• [ ] Read lots of books
• [ ] Be an eloquent poet

Some things I like … reddit-subscribe-to:emacs reddit-subscribe-to:common_lisp reddit-subscribe-to:coolguides reddit-subscribe-to:shia reddit-subscribe-to:LispMemes reddit-subscribe-to:ProgrammerHumor

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 Org-mode Emacs interface (•̀ᴗ•́)و