The Need for Stable Foundations in Software Development
pointersgonewild.com
The Need for Stable Foundations in Software Development
1–10 of 63 posts
Re: The Need for Stable Foundations in Software Development
#2Software development just isn't mature enough yet. A bug-free, stable version of an IDE from 10 years ago would be much less pleasant to work with than the flaky version with all the features that have been invented in the intervening years.
Re: The Need for Stable Foundations in Software Development
#3Programming languages are software products like everything else in the industry, they either stagnate or evolve.
Re: The Need for Stable Foundations in Software Development
#4Software development just isn't mature enough yet. A bug-free, stable version of an IDE from 10 years ago would be much less pleasant to work with than the flaky version with all the features that have been invented in the intervening years.
Delphi, C++ Builder vs Visual C++.
Visual C++ 6.0 vs Visual.NET
Visual Studio 2010 vs Visual Studio 2015
Re: The Need for Stable Foundations in Software Development
#5"you can charge [a MacBook Pro] using any of the 4 USB-C ports, but you really should only ever charge it from the right side."
...wait what?
Re: The Need for Stable Foundations in Software Development
#6"you can charge [a MacBook Pro] using any of the 4 USB-C ports, but you really should only ever charge it from the right side." ...wait what?
https://apple.stackexchange.com/a/363933
That link discusses it. Seems there's a heat issue when charging on the left side which results in an impact on performance.
Re: The Need for Stable Foundations in Software Development
#7"you can charge [a MacBook Pro] using any of the 4 USB-C ports, but you really should only ever charge it from the right side." ...wait what?
https://apple.stackexchange.com/a/363933 That link discusses it. Seems there's a heat issue when charging on the left side which results in an impact on performance.
[deleted]
Re: The Need for Stable Foundations in Software Development
#8Does anyone have experience using one of the more formal method oriented languages (e.g. Idris, Agda, F* etc) as their "daily driver" language, i.e. using them for general purpose programming, for any extended period?
I'm dreaming that by focusing on correctness one could reduce the maintenance churn that then can lead to various other spurious changes. But I don't know if any of those languages are really suitable to "real world" use, nor if they really provide such dramatic reduction of bugs that one would hope for.
Re: The Need for Stable Foundations in Software Development
#9I don't think the rant about Ubuntu Unity is fair. If anything, Ubuntu 18.04/20.04 LTS releases based on Gnome shell are serious regressions in so many ways (FF not opening new windows on top, std menu missing wtf, etc etc) that I'm considering something KDE-based next.
Re: The Need for Stable Foundations in Software Development
#10Does anyone have experience using one of the more formal method oriented languages (e.g. Idris, Agda, F* etc) as their "daily driver" language, i.e. using them for general purpose programming, for any extended period? I'm dreaming that by focusing on correctness one could reduce the maintenance churn that then can lead to various other spurious changes. But I don't know if any of those languages are really suitable t…
My colleagues use Agda but only for things like protocols or core features, Haskell is better for general purpose code