Dave Copeland :ruby: on Nostr: CS Researchers: Here're some programming languages mathematically proven to make the ...
CS Researchers: Here're some programming languages mathematically proven to make the computer do exactly what you say.
Programmers: «create vast complexity that no one person could comprehend in order to render a web page»
Also Programmers: What if we made the programming language English, required that the compiler run on a monstrously huge array of GPUs, and set it up so it only did what we ask sometimes, and other times just do nonsense, but we don't know which is which?
Hacker News: Neat!
Published at
2024-05-17 15:45:17Event JSON
{
"id": "04603ee83e1af10be1c387320919ea73eb8d99eb0029571687576ed77b3939f0",
"pubkey": "f3f9200d7a817ca53542f3f0c83b33ab4a6996f0f5e7f99c778814e1ae387bc0",
"created_at": 1715960717,
"kind": 1,
"tags": [
[
"proxy",
"https://ruby.social/@davetron5000/112457201570411913",
"web"
],
[
"proxy",
"https://ruby.social/users/davetron5000/statuses/112457201570411913",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://ruby.social/users/davetron5000/statuses/112457201570411913",
"pink.momostr"
]
],
"content": "CS Researchers: Here're some programming languages mathematically proven to make the computer do exactly what you say.\n\nProgrammers: «create vast complexity that no one person could comprehend in order to render a web page»\n\nAlso Programmers: What if we made the programming language English, required that the compiler run on a monstrously huge array of GPUs, and set it up so it only did what we ask sometimes, and other times just do nonsense, but we don't know which is which?\n\nHacker News: Neat!",
"sig": "247062f30aa089360db42bd8ec4575146af7d886ced25a9d40f34c66c79bcdc5756006b65f4e26b87b0a305c8bb6eb6f375744f0f0c56d10f459f8303299fafe"
}