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.

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).