this post was submitted on 19 Feb 2025
111 points (100.0% liked)

Programming

24475 readers
105 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 !webdev@programming.dev

founded 2 years ago
MODERATORS
snowe@programming.dev
Ategon@programming.dev
MaungaHikoi@lemmy.nz
UlrikHD@programming.dev
111
"A calculator app? Anyone could make that." (chadnauseam.com)
submitted 11 months ago by Occhioverde@feddit.it to c/programming@programming.dev
8 comments fedilink hide all child comments
top 8 comments
sorted by: hot top controversial new old
[–] bleistift2@sopuli.xyz 34 points 11 months ago

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.

[–] runeko@programming.dev 22 points 11 months ago

[–] kernelle@0d.gs 14 points 11 months ago (1 children)

"Psht I'll never use maths in real life", maths in real life:

[–] litchralee@sh.itjust.works 8 points 11 months ago

I am always deeply enthralled when math and comp-sci unite to yield an elegant result, where my definition of elegance is: efficient + minimal.

[–] mikumiku@programming.dev 8 points 11 months ago (1 children)

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.

[–] JackAttack@lemmy.dbzer0.com 2 points 10 months ago

I had tried to build one one time and got the ui down. As I started building the more complex arithmatic (chaining calculations) i realized how insanely complex it actually is. It made me realize how complex the most simple looking apps actually are.