ThermonuclearHoxha [comrade/them, mirror/your pronouns]
اُذِنَ لِلَّذِينَ يُقَاتَلُونَ بِاَنَّهُمْ ظُلِمُوا وَإِنَّ اللَّهَ عَلَي نَصْرِهِمْ لَقَدِيرٌ
Allah سُبْحَانَهُ وَتَعَالَىٰ will assist our comrades in Iran, Palestine, and all those oppressed by 
and provide them victory.
- 0 Posts
- 1 Comment
Joined 1 month ago
Cake day: February 13th, 2026
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
See, Dijkstra was talking about people trying to create programs in natural language. He didn’t say not to use your natural language to hire someone else to make a formal program. This is people using natural language to hire an LLM to make a formal program, and asking LLMs is like asking people, so it’s Dijkstra-approved.