Musa Al-hassy
I learned something neat, and wanted to share!
Life & Computing Science
Life & Computing Science
Latest posts
AlBasmala: @@html: <br>@@ Blogging with Emacs & Org-mode (•̀ᴗ•́)و
How my blog is setup (•̀ᴗ•́)و
Islam, Play, and Work
What is Islam's perspective on the notion of play, leisure, and how does it relate to the Montessori school of thought
Clojure-style accessor in Emacs Lisp
Clojure-style -> accessor notation in Emacs Lisp.
Java CheatSheet
Quick reference for an old-school-cool high-level language ^_^
💐 Repl Driven Development: /Editor Integrated REPLs for all languages/ 🔁
Press “C-x C-e” to send any piece of code (in any language) to a REPL in the background, within Emacs!
Arabic CheatSheet
Quick reference for the Arabic language; Modern Standard Arabic
A Brisk Introduction to Karate
Discovering what be ka-ra-te
My Family Tree
من هو في شجرة العائلة القديمة
Arabic Learning, eventually to be in articles of their own
I learned something neat, and wanted to share!
A Brisk Introduction to the Fundamentals of Arabic Grammar, نحو
Discovering how to say “a/an/the” in Arabic leads onto a zany adventure into case markings, gender, annexation, non-verbal sentences, plurals, and concludes with whether “Muslims” is مسلمون or مسلمین ---it's both!
Arabic Roots: The Power of Patterns
Let's learn about how the Arabic language makes use of “roots” to obtain various words
Glossary of Arabic Linguistic Terms
Definitions, and discussions, of jargon relating to learning the Arabic language.
Arabic Cartoons
A simple interface to watch the engaging Arabic cartoons
💐 Making VSCode itself a Java REPL 🔁
VSCode evaluates Java code wherever it sees it, by sending it to a JShell in the background, and echos the results in a friendly way!
💐 VSCode is itself a JavaScript REPL 🔁
A meta-extension for VSCode that makes VSCode into a living, breathing, JS interpreter: It can execute arbitrary JS that alters VSCode on-the-fly. A gateway into the world of Editor Crafting!
Typed Lisp, A Primer
Exploring Lisp's fine-grained type hierarchy.
Have you ever packaged anything?
I learned something neat, and wanted to share!
An Interactive Way To C
Learning C program proving using Emacs --reminiscent of Coq proving with Proof General.
Graphs are to categories as lists are to monoids
A fast-paced introduction to Category Theory based on the notion of graphs.
Discovering Heyting Algebra
How do friends communicate secretly using non-invertible operations such as minimum? An introduction to Heyting Algebra --an instance of Cartesian Closed Categories!