Somehow Software Development is more difficult than math. :)

@tsoding Math doesn't usually break because of a missing semicolon.

@tsoding Dijkstra believed it was more challenging than theoretical physics. cacm.acm.org/news/an-interv…

@tsoding I mean... if I remember correctly, Dijkstra believed programming was one if not the hardest branches of (applied) mathematics.

@tsoding Math is better specified, formalized and constrained.

@tsoding Yes, much bigger fscking up factor because input is always more unpredictable than you think.

@tsoding Both are same thing. SW is more verbose, math uses symbols instead.

Your first Gopuff order gets $0 delivery, plus 100s of deals once you're in. 5,000+ products, no markups, delivered in as fast as 15 minutes.

@tsoding I would say depends on what you are doing.

@tsoding don't know enough math to give my opinion but love the dijkstra quote "Programming is one of the most difficult branches of applied mathematics; the poorer mathematicians had better remain pure mathematicians"

@tsoding Seems simple to me.. bug + bug = feature :)

@tsoding In math you prove everything. In software development you think you’ve proven everything.

@tsoding working with people is harder than math

@tsoding No need to name variables in math . Symbols and few letters take care of it

@tsoding Because it’s more subjective

@tsoding The problem search space is bigger

We like you all too 🤝

@tsoding it's the old paradox of AI hard problems are solved first some basic 6yo child cognition is still not solved

@tsoding Because people like yourself intentionally overcomplicate it

@tsoding Math requires more working memory, this is why AuDHD people gravitate to CS whereas Autism-only people gravitate towards pure math.

@tsoding Self-reference is a bitch, yo

@tsoding Yeah , cause it's not objective. And the answer to a lot of decisions is just " it depends "

@tsoding How to debug math?

@tsoding Likely because it's more opinionated than Mathematics.

@tsoding The maths of finding a counterexample, I guess

Up late and bored? Tap into live conversations.

@tsoding Yeah cos math you dont have 1M lines with different modules and some foreign tech like

@tsoding But software engineering is math 🤔

@tsoding I think the people in the replies understand “math” as doing like high school algebra… American hugh school algebra… I presume you mean theorem proving? Is this because AI has been more successful at proving theorems than at writing complicated programs?

@tsoding Nope, at some point math gets way harder than swe

@tsoding I sense a bit of sarcasm in there somewhere

@tsoding 😂 Just tell AI to build it in a weekend.

@tsoding "Math is a really complicated way of explaining something that's not super complicated. Code is a really simple way of explaining something that's actually super complicated."

@tsoding Yep, I agree. Especially dealing with some platform.

Building AI at Scale: SemiAnalysis’s Dylan Patel in conversation with Supermicro CBO Vik Malyala

@tsoding Software development is math but the compiler checks your calculations every single time and laughs at you when you get it wrong

@tsoding software being harder than math tracks, math has clean proofs and software has everyone elses undocumented apis

@tsoding Logically no, emotionally no, difficulty comes with the petrifying freedom that comes with programming :)

@tsoding So real! As a run-of-the-mill Web App Developer I definitely know what I am talking about here …

@tsoding Are you sure?

@tsoding Math is exact. Software is prone to changes while still being exact