TITLE: Musa Al-hassy subtitle: Approx: “Moses the conscious” OPTIONS: html-postamble:nil toc:t author:nil date:nil num:nil export_file_name: ~/blog/about.html site_nav: About filetags: life meta # +attr_html: :style float:right; padding: 0 20px; attr_latex: :width 115px attr_html: :width 300 :style border:2px solid black; ./images/musa_pink.jpg center github-followers:alhassy twitter-follow:musa314 center ▼ TODO COMMENT Smartdiagram :PROPERTIES: :CREATED: 2026-05-03 Sun 10:08 :END: # Render diagram: (progn (use-package ob-latex-as-png :ensure t) # (add-hook 'org-babel-after-execute-hook 'org-redisplay-inline-images)) src latex-as-png :file blog-overview.png :resolution "720" :results raw value replace :exports results \usepackage{smartdiagram} \usepackage{graphicx} % in \vspace{1.5em} \centering{Org-mode source, exported to the web --- mathematics, languages, and living software} \vspace{1em} \smartdiagramset{ planet color=black!75, planet size=3.5cm, planet font=\normalfont\bfseries\normalsize, satellite size=3.6cm, satellite font=\normalfont\small, satellite text width=3.5cm, distance planet-satellite=5.7cm, connection color=gray!60, connection line width=0.06cm, text color=black, font=\small\sffamily } \resizebox{1.0\textwidth}{!}{% \smartdiagram[constellation diagram]{% {\color{white}\LARGE\texttt{alhassy.github.io}\\[0.5em]\normalsize Life \&\\[0.3em]Computing Science}, Org-mode source\\[0.5em]$\rightarrow$ static HTML\\[0.5em]{\footnotesize one-command publish}, type theory\\[0.5em]+ formal methods\\[0.5em]{\footnotesize proofs as programs}, Agda\\[0.5em]+ PureScript\\[0.5em]{\footnotesize dependently-typed}, Arabic\\[0.5em]{\footnotesize language explorations}\\[0.5em]{\footnotesize linguistics + logic}, \texttt{org-special-block-extras}\\[0.5em]{\footnotesize rich formatting}\\[0.5em]{\footnotesize blocks \& links}, RSS $\cdot$ tags\\[0.5em]interactive\\[0.5em]tutorials }} % end \resizebox + \smartdiagram \\{\color{white} Bye!} src RESULTS: file:blog-overview.png # C-c C-e h o! ▼ HTML & LaTeX Setup : ignore : :PROPERTIES: :CUSTOM_ID: HTML-LaTeX-Setup :END: :ImageConversion: SRC shell :exports none # Use 45% size of the orginal magick convert -resize 25% ~/Dropbox/musa_pink.jpg _musa_pink.jpg SRC :End: latex_header: \usepackage[hmargin=10mm,vmargin=10mm]{geometry} latex_header: \usepackage{graphicx,wrapfig} latex_header: \usepackage[svgnames]{xcolor} \usepackage{hyperref} latex_header: \hypersetup{linktoc = all, colorlinks = true, urlcolor = LimeGreen, linkcolor = black} latex_header: \usepackage{nopageno} ▼ Quick Facts :PROPERTIES: :CUSTOM_ID: Quick-Facts :END: ◦ ☑ Bachelor's Honours in Mathematics & Computing Science ◦ ☑ Master's in Computing Science ---Mechanised Mathematics ◦ ☑ Doctorate in Computing Science ---Metaprogramming; “do it yourself module systems” ◦ ☑ Married; Muslim; 29 years old ◦ ☑ Emacs & programming languages enthusiast ---cheatsheets! latex: \noindent 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 :PROPERTIES: :CUSTOM_ID: Character :END: ◦ 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 :PROPERTIES: :CUSTOM_ID: Goals :END: ◦ □ Blog more often ◦ □ Run 60km ◦ □ Memorise the Quran ◦ □ Read lots of books ◦ □ Be an eloquent poet ▼ /What do?/ :PROPERTIES: :CUSTOM_ID: What-do :END: 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 … github-stars:alhassy/CheatSheet github-watchers:alhassy/CheatSheet github-forks:alhassy/CheatSheet tweet:https://github.com/alhassy/CheatSheet quote Here are a few of them... [[badge:Elisp|CheatSheet|success|https://alhassy.github.io/ElispCheatSheet/CheatSheet.pdf|Gnu-Emacs][Elisp cheat sheet]] [[badge:Category_Theory|CheatSheet|success|https://alhassy.github.io/CatsCheatSheet/CheatSheet.pdf|gimp][Cats cheat sheet]] [[badge:Agda|CheatSheet|success|https://alhassy.github.io/AgdaCheatSheet/CheatSheet.pdf|haskell][Agda cheat sheet]] [[badge:Haskell|CheatSheet|success|https://alhassy.github.io/HaskellCheatSheet/CheatSheet.pdf|haskell][Haskell cheat sheet]] [[badge:Ruby|CheatSheet|success|https://alhassy.github.io/RubyCheatSheet/CheatSheet.pdf|ruby][Ruby cheat sheet]] [[badge:OCaml|CheatSheet|success|https://alhassy.github.io/OCamlCheatSheet/CheatSheet.pdf|OCaml][OCaml cheat sheet]] [[badge:JavaScript|CheatSheet|success|https://alhassy.github.io/JavaScriptCheatSheet/CheatSheet.pdf|javascript][JavaScript cheat sheet]] [[badge:Python|CheatSheet|success|https://alhassy.github.io/PythonCheatSheet/CheatSheet.pdf|python][Python cheat sheet]] [[badge:F#|CheatSheet|success|https://alhassy.github.io/FSharpCheatSheet/CheatSheet.pdf|pastebin][F# cheat sheet]] [[badge:Prolog|CheatSheet|success|https://alhassy.github.io/PrologCheatSheet/CheatSheet.pdf|pastebin][Prolog cheat sheet]] [[badge:Oz|CheatSheet|success|https://alhassy.github.io/OzCheatSheet/CheatSheet.pdf|pastebin][Oz cheat sheet]] [[badge:C|CheatSheet|success|https://alhassy.github.io/CCheatSheet/CheatSheet.pdf|c][C cheat sheet]] [[badge:Coq|CheatSheet|success|https://alhassy.github.io/CoqCheatSheet/CheatSheet.pdf|twitter][Coq cheat sheet]] [[badge:Lattices|CheatSheet|success|https://alhassy.github.io/CatsCheatSheet/LatticesCheatSheet.pdf|nintendo-3ds][Lattices cheat sheet]] [[badge:Islam|CheatSheet|success|https://alhassy.github.io/islam|google-keep][Islam cheat sheets]] [[badge:Goju_Ryu_Karate|CheatSheet|success|https://alhassy.github.io/GojuRyuCheatSheet/CheatSheet.pdf|skyliner][Goju cheat sheet]] # PDF not yet produced; still in draft mode # [[badge:Logics|CheatSheet|success|https://alhassy.github.io/CatsCheatSheet/LogicsCheatSheet.pdf|typescript][Logics cheat sheet]] quote I have an ‘awesome emacs config’ that is /extensively documented/: badge:A_Life_Configuring|Emacs|green|https://github.com/alhassy/emacs.d|gnu-emacs The ‘badges’ in this article ---and tooltips in my blog--- are formed using my [[badge:org-special-block-extras|1.0|informational|https://github.com/alhassy/org-special-block-extras|gnu][org-special-block-extras badge]] Org-mode Emacs interface (•̀ᴗ•́)و html: <hr> center badge:author|musa_al-hassy|purple|https://alhassy.github.io/|nintendo-3ds badge:|buy_me_a coffee|gray|https://www.buymeacoffee.com/alhassy|buy-me-a-coffee center