this post was submitted on 19 Feb 2025
104 points (100.0% liked)
Programming
18333 readers
173 users here now
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities [email protected]
founded 2 years ago
MODERATORS
I like this sentence from the paper linked at the end of the article:
We show how to implement arithmetic […] that is correct, even by the standards of naive users.
I was asking my friend if they want to do code a calculator with me then I realized it's much harder than it looks.
"Psht I'll never use maths in real life", maths in real life:
None of the people involved ever said nor thought it.
I never thought that either. It's a joke, relax.
I am always deeply enthralled when math and comp-sci unite to yield an elegant result, where my definition of elegance is: efficient + minimal.