this post was submitted on 08 Apr 2024
81 points (95.5% liked)
Asklemmy
43864 readers
1549 users here now
A loosely moderated place to ask open-ended questions
Search asklemmy ๐
If your post meets the following criteria, it's welcome here!
- Open-ended question
- Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
- Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
- Not ad nauseam inducing: please make sure it is a question that would be new to most members
- An actual topic of discussion
Looking for support?
Looking for a community?
- Lemmyverse: community search
- sub.rehab: maps old subreddits to fediverse options, marks official as such
- [email protected]: a community for finding communities
~Icon~ ~by~ ~@Double_[email protected]~
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
One of the best authorities on that concept is Djikstra - they actually formally proved a few full algorithms and also provided a lot of guidance on how to prove others. It's not something you'll see... well, probably ever... but it's a very interesting approach to program design. Dijkstra imagined a world where all programmers would be writing formal proofs of correctness before authoring a single line of code... that's a neat world, I'd love to see it... but it's also incredibly burdensome so our tech explosion would likely be happening a lot slower.