nakal

That’s why it’s also called Curry-Howard isomorphism.

Programs are mathematical proofs. If maths cannot be patented, software can’t be, either.

From a private end user point of view yes. But in enterprises Windows and Office is successful. Lots of money is going to Microsoft here.

Usually, they can, if there are risk of violence appearing. You’re allowed to protest peacefully, but the current situation suggests the protest would be based on anger and maybe provocation.

I am not a guy who blindly trusts technology. Why go forward when you cannot see what’s in front of you? How can that happen?

AFAIK Google makes a disclaimer about it. A bridge can also be destroyed on the same day, so…

Most of my text files are from Unix/Linux systems, because I don’t work much on Windows. So Wordpad is more important than Notepad for me, because the latter one does not handle end-of-lines correctly.

No one says the devices are anti consumer, except for some that are intentionally made incompatible with common replacement parts (missing “apple logo”). The walled garden is.

Please don’t mix everything up. We’re still talking about the same software on different platforms from one single vendor. Apple won’t fix it to avoid competition and try to convince people that Android is bad instead of their very own program.

We’re talking about basic chat functions that reportedly don’t work like joining and leaving a chat. How does that break for everyone when there is one Android user around?

I’ve wrote enough code that other devs have ported to machines I couldn’t even think about. If Apple is not able to that I don’t know what they do. There is nothing mythical about supporting phone numbers when you implement that and if you leave out that for Android it still does not justificate to obviously break unrelated functions. No one in the world would develop like this.

Apple is breaking compatibility deliberately. They are well-known to do this for hardware and for software.

In newer versions it’s entirely blocked. I’ve unlocked OnePlus 6 and it was quite easy, because there were no updates for Android 12. On OnePlus 7 it was a different situation I needed to downgrade first to be able to unlock the bootloader. And it only works with vendor tools in a special service mode. These tools are not provided for new phones anymore as far as I know. And I mean, what do you want to downgrade to when Android 12 bootloader stock image is locked.

Modern programming requires a common code base and portability. Otherwise Microsoft would never be able to provide Office for macs.

Apple knows it, they simply don’t care to compile it. Protocols are easy to support. It’s a matter of parsing, encoding and decoding.

Partially off topic, but I won’t buy OnePlus anymore, because they lock down the bootloader.

Of course, but I can see and understand what is patched and can see if I’m affected or not. In the previous version I haven’t been affected for 500 days.

You mean when you update the kernel? No one updates init on BSDs. This is mostly a entire world upgrade. But I’d never reboot from cron. My servers run 100 days without a reboot on average. In most cases there is no reason to update world, only the packages.

Reboot? Since when does Linux need a reboot? I’ve been thinking about migrating from FreeBSD to Linux, but now I am confused.

I’ve wrote some lines of code and I know when it’s “just being lazy” or doing stuff “the evil way”. Imagine when Apple accidentally restricted join/leave actions in their native chat client. That would be minutes until they fix it. We are talking about years here…

I have never understood what this green bubble is. I thought it was plainly aesthetic. Now you both tell me Apple deliberately breaks stuff in an infectious way just because an Android user is around. Apple is evil. I will never buy any stuff from them.

It’s not only the price. I simply don’t want to have iOS devices. I like their technology and the iOS implementation, don’t misunderstand me. But I won’t accept a walled garden in my pocket. I have so much software installed from different sources and I like to write apps by myself, too.

Many people are only happy with unlimited possibilities. If you are restricted and not trusted as a power user, your phone is not worth to be called “smart”.

Many popular things are crappy. It is not an ideology, unless you consider the scientists who invented the WWW to be some freaks.

Flash wasn’t really useful, because many people couldn’t display these websites. It was the exact opposite of WWW. WWW enabled people to use hypertext and provided accessibility.

Adobe has already proved they don’t understand web technologies when creating Flash.