Abdi M.'s Avatar

Abdi M.

@abdimoalim

Interested in heterogeneous computing.

14
Followers
10
Following
4
Posts
06.02.2024
Joined
Posts Following

Latest posts by Abdi M. @abdimoalim

Nice! :3

23.10.2025 21:31 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

"Sir, this class is about the Coq theorem prover."

25.09.2025 20:00 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Why do political views have to be selective when it comes to accountability? It's just instrumental moralism that fits a weak moral narrative, where were these people when JFK, a sitting US president, was posthumously defamed by the extremists?

15.09.2025 15:30 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

A moral imperative (cf. Kant) is supposed to be universal. If you believe in free speech, you defend it even when it protects speech you hate, not only when it benefits your side.

15.09.2025 15:30 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0