willtim

Any statically typed language allows one to use dynamic types when it is necessary. I don't see the problem. If you need a map of string keys to variants, this can be done. At least one can still put some static constraints on the types when necessary.

The attraction of "functional programming" to academics and many others, is that the paradigm is underpinned by established and well studied mathematical logics. For example, the lambda calculus or more recently linear logic. You can view this as "fashion" if you like, but by making programming more formalized and less adhoc, it's probably better recognised as progress.

> one of the places where computer science has gone backward, preferring more clunky systems and less elegant paradigms

I respectfully disagree. Smalltalk has had its time. OOP has had plenty of investment and exploration, but it's fundamentally non-compositional and is a poor fit for modern hardware. Other paradigms, for example statically typed functional languages, are just as expressive (the expressive parts of Smalltalk were functional features anyway) and have much more to offer in terms of building reliable software that does not crash and is secure.

Programming is hard, there is no silver bullet, but computer science is moving forward.

When BASIC e.g. redefined what "variables" are and what the equals operator means, it did cause a generation of programmers to drift away from the long established mathematical definitions. This persists to this day in languages like Python. I have had to explain to my daughter that Python variables and equals are not like those in her maths lessons. Dijkstra was right to call out the bad decisions that were made, although I do concede his methods of doing so were not ideal.

> the phrase "avoid success at all cost" in a certain context which may have had some role in making Haskell seem Ivory Towerish.

This phrase is often misunderstood, it's "avoid, success at all costs", not "avoid success, at all costs". In other words, don't optimise for mass market adoption at the expense of everything else. Languages that have arguably done so, have ended up as extremely complex and ridden with corner cases.

> Specifically, I have a problem with any operating system that will update itself in arbitrary ways without our consent and at a time we have not chosen.

I was sitting in a keynote talk at a conference once and mid-presentation Windows decided it was time to update. Very embarrassing for the speaker and for Microsoft.

The global menu bar is great for laptops and small screens. I'm less convinced it makes sense for big cinema displays or dual displays.

Or maybe it's because people want to build software that is more secure and reliable (something which C does not have a great track record for)? Google are not the main instigator of this initiative, they are adding their support for it.

I have lots of hybrid SACDs and I cannot extract the high-res content for playback on computer/phone without my clunky Sony Blu-ray player. This is of course by design, but I do wonder if it also helped to kill the format before it even properly landed.

KDE looks really good too, but I mostly prefer the minimalism/simplicity/aesthetic of Gnome.

I agree that the reason does not matter and is irrelevant to the end-user. I was just speculating as to why they have not "just fixed it". However, I disagree that Windows is more polished. Windows is made up of a mixture of UI frameworks/controls/apps, some going back decades. Much of this legacy is poorly integrated and even basic things like drag-and-drop doesn't work consistently. At least Gnome is consistent and they have a vision.

Is that relevant to Gnome? It's used the same file manager "Nautilus" for years. Apple and Microsoft are also quite capable of killing software projects.

Ah yes I used "Files" and not the file picker. I guess the file picker is part of GTK and therefore cannot use the rest of the gnome infrastructure?

Yep, shows thumbnails for pictures, videos, pdfs etc. More formats than Windows in fact. Windows has been standing still, the rest of the world hasn't.

EDIT: I used "Files", not the file picker.

Windows definitely needs improving. I tried the Gnome 40 desktop recently and it's much more polished, consistent and refined.

Hopefully more durable products means less landfill and digging up the planet looking for more raw materials. This ultimately benefits everybody.

The flipside to this, is that there is perhaps no longer an incentive to sell hardware with a limited lifespan.

In case you are unaware, tax is needed to pay for schools, universities, research, health care, social care, police, civil infrastructure, environmental agencies, regulators, defence, bank bailouts, pandemic bailouts, etc.

The Big tech firms benefit from all of the above, but are not contributing anything back. The system is broken and needs to be fixed, so let's not pretend there is no problem.

Agree with everything you say, but I would also add that the interactions with compression and other lossy signal processing that is frequently performed is not well studied. For example, when using Bluetooth headphones, it is likely that the music will be equalised/normalised, resampled to 48Khz (for mixing) and then re-encoded to a bluetooth codec e.g. LDAC. It is much safer to start with FLAC, if you cannot avoid such a signal chain.

Yes I still do and I FLAC them. I've been collecting CD's for 35 years, so it's difficult to stop. I am sometimes envious of the high-res downloads, but whenever I hear digital clipping in the 16-bit CD version, the clipping has always been present in the 24-bit version too.

I would never buy anything expensive from Amazon, the customer service is not adequate when things go wrong. I even stopped buying CD's from them as they would almost always arrived with cracked/broken cases. Specialist sellers, e.g. Prestomusic, actually wrap and pack them properly (and often have much better websites for buying music).

If it improves the security of the device and means that Google will keep updating it, then that will be good. However, personally I have given up buying Google-branded devices. They only gave me security updates for my Pixel C for three years (2016-2019).

Magit on windows needs something like libgit2, spawning processes is too slow on windows. Emacs runs fine.

> "git at the speed of thought" describes magit quite well.

Not under Windows, unfortunately.

Better than all existing options? I'm skeptical that a kernel written in C++ is likely to be better than e.g. a formally verified microkernel such as seL4. If they ever rewrite it in Rust, then it might be more interesting.

Yes, they also need to tackle power efficiency, otherwise laptop users will be forced to use either Edge or Safari. At the moment, as I understand it, it pretty much runs all open tabs at full throttle.

I don't think btrfs is a shining example of Linux stability/reliability. NixOS gives me rollbacks using XFS for root.

I've used Linux since it was first available in the mid 90s. I use it at work and on machines at home. It is almost certainly more reliable than Windows and MacOS as a server. However, the context here is desktop UI and laptops.

Linux does exceptionally well considering there is almost no money at all going into this use case. But there are many bugs, sometimes due to hardware (e.g ACPI inconsistencies, even Thinkpads have issues) and because of software churn (few fix bugs in their spare time, it's more fun to create something new).

If you wish to pretend that everything is perfect and there are no problems, then you aren't helping Linux either.

That's really good to hear. Perhaps I need to stop using fringe distros like NixOS.

Hmmm so much for "just works". Macos is becoming as buggy as the average Linux distro. They need to take a pause with adding features and clean it up.