Abdi M.
@abdimoalim.bsky.social
Interested in heterogeneous computing.
"Sir, this class is about the Coq theorem prover."
September 25, 2025 at 8:00 PM
"Sir, this class is about the Coq theorem prover."
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?
September 15, 2025 at 3:30 PM
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?