Deputy Sheriff The Viking Programmer – Telegram
Deputy Sheriff The Viking Programmer
245 subscribers
1.36K photos
161 videos
41 files
1.29K links
Download Telegram
❤‍🔥2👍1👏1
Forwarded from Nixvlt
what is dependent typing? Basically a kind of sheep meat 😁
Do yr part n vote (I think voting is closed in at least a big chunk of the nation hehe so sorry had a busy day)
Now we're just 1 mishap away from this man having the launch codes
Forwarded from Hacker News
Perhaps Rust Needs "Defer"
Article, Comments
Forwarded from Kei Lambda
Completely true though. By the history of a definition of a (software) "bug", a bug really did creep up into the system unnoticeably. But the modern software we write isn't getting infested with bugs - it is infested with programmer's errors and he is fully responsible for them. He ought to do his best and use appropriate tools for the purpose.

At the time of writing this I remembered another quote of Dijkstra: "If debugging is the process of removing bugs, then programming must be the process of putting them in". Bugs are not creeping up to the codebase - we are putting them in.
👍1
Science is the reverse process of discovering what people have believed for tens of thousands of years