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.

My favs:

• Bossfight - Milky Ways
• Teminite & Panda Eyes - Highscore
• Panda Eyes - Antipixel

It looks like Gitea. Is it a fork?

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.

It’s very obvious to me that GBoard sends data directly to Google circumventing all encryption.

I like Shelly hardware. The devices default to local communication and cloud is optional. Custom firmware can also be used, but not really needed. I wished they made more kinds of IoT stuff.

Since the device state can be queried with HTTP requests, it’s easy to integrate it to my monitoring system (Prometheus/Grafana).

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.

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.

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.

93000 mails since 2008 are just 2,1 GB. I have an archive on my home server where I also host my main IMAP server. I just move them from the inbox to Archives.YEAR.