Naur's "Programming as Theory Building" and LLMs replacing human programmers
Link: https://ratfactor.com/cards/naur-vs-llms
Discussion: https://news.ycombinator.com/item?id=43818169
Hacker News 50 /
npub1cp…xqmjn
2025-04-28 14:20:05
Author Public Key
npub1cp2rxt39auw2plhte4vqvgnp80kcrlkrreql2te85ezvny7dv7hqjxqmjnPublished at
2025-04-28 14:20:05Event JSON
{
"id": "07f929e75a9c8f02c46e6e15b7ad2b6440a9d854e023f17000301d1f484a959c",
"pubkey": "c054332e25ef1ca0feebcd580622613bed81fec31e41f52f27a644c993cd67ae",
"created_at": 1745850005,
"kind": 1,
"tags": [
[
"proxy",
"https://social.lansky.name/users/hn50/statuses/114416025967461240",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "Naur's \"Programming as Theory Building\" and LLMs replacing human programmers\n\nLink: https://ratfactor.com/cards/naur-vs-llms\nDiscussion: https://news.ycombinator.com/item?id=43818169",
"sig": "e1e411d4de30da19a1adcdca3d6ad4fdcde4c2a9c699d56bd7f61089ca9f0ee0d29b51136e074749011db1efb2ab7e7aebce48831aab15cc2289ba2275be7fda"
}