musa

Engineering Manager & JS Team Lead.

Computing Science, PhD.

Emacs Org-mode 🔥

💖 Lisp, Python, JavaScript, Ruby;
Agda, Category Theory, Haskell, Emacs.

[Jacques Carette @jjcarett2]

I've finally figured out what bugs me about "function extensionality": it says that merge sort and bogo sort are *equal*. So it builds in so much abstraction into the concept of 'function' that some fundamental aspects of computer science become invisible.

[Hussain Makke @HMakke91]

The word for 'other' in Arabic is 'aakhar' (آخر) .

'Aakhar' embeds the Arabic word 'akh', which means brother.

The English word 'brother' embeds the word 'other'.

It is fine to recognize the other in brother, but don't forget to look for your brother in the other.

[Bozhidar (Bug) Batsov @bbatsov]

10 years ago I wrote an article named "Why Emacs?", sharing my perspective on the One True Editor. Today I wrote its sequel https://t.co/M5J6a3dkky M-x forever!

[Sayed Mahdi Modarresi @SayedModarresi]

In a rare public address (since the start of the pandemic) @GrandAyatullah al-Modarresi speaks about the dangers facing Muslim and the world, including war, environment, says no recourse but to turn to Prophetic household and seek guidance from learned, pious religious scholars

[Shaykh Azhar Nasser @ShaykhAzhar]

Be inspired when you see someone succeed. It’s much healthier than being jealous.

[Philip Zucker @SandMouth]

My physicist friends have no problem with the idea that a quantum spin is can be neither up nor down until measured, but are deeply disturbed that idea that a proposition does not have to be true or false. My guts half agree.

[José A. Alonso @Jose_A_Alonso]

Should Type Theory replace Set Theory as the foundation of Mathematics? ~ Thorsten Altenkirch. https://t.co/aNjvPZjvyK #Logic #Math #TypeTheory #SetTheory

[musa @musa314]

https://t.co/xpjNcJLsIw

[I Am Devloper @iamdevloper]

I tried to set my password to “beef stew” but it wasn’t stroganoff

[Peter @KripkesBeard]

I just started Rust In Action and this collection of pointer types in the beginning is so good

[Jacques Carette @jjcarett2]

A lot of (good) PL design goes:
1. what can you (now) say?
2. what can you (now) omit?
3. what *should* you say?
4. what do you actually want to say?
(there's more, but I'm exploring the linguistic side here)

[Marcin Borkowski @marcin_mbork]

I finished the book on #Emacs #Lisp! https://t.co/Ckgt4Y1KTw #hackingyourwayemacs

[Wilfred Hughes @_wilfredh]

One nuance that's often missed when looking at OSS: it's mostly funded by goodwill.

It's very rare for maintainers to get enough sponsors to replace their day job. In many cases the person doing the work already has a job and is motivated by interest.

[Emacs Knight @emacs_knight]

In other news - Emacs finally gains emoji support https://t.co/JV1jFMfeLJ Now no one can argue it's not perfect!

[Justin Tunney @jartine]

SectorLISP has achieved its goal of creating a LISP tiny enough to fit in the boot record of a floppy disk. Since that's 512 bytes LISP is now tied with FORTH to be the most lightweight programming language in the world. https://t.co/G7WTOCwZ3D

[D. Schmudde @dschmudde]

Glad we're finally following Lisp machines into the meta-verse. But I'm still waiting for 21st century support for the super-verse and the hyper-verse. (hold all three for the meta-super-hyper-verse).

[Hussain Makke @HMakke91]

'Sow a thought reap an action. Sow an action reap a habit. Sow a habit reap a character. Sow a character reap a destiny.'

[Sayed Mahdi Modarresi @SayedModarresi]

The Prophet holds such a central position in God’s view that He conditioned repentance on the Prophet’s intercession:

[Shaykh Azhar Nasser @ShaykhAzhar]

One of the most important reminders for students of knowledge:

Don’t use religion to promote yourself.

آخر ما يخرج من قلوب الصدّيقين حبّ الجاه

“The last [vice] to leave the hearts of the sidīqīn is the love of status.”