Viewing profile — trizinix

As far as I am aware there is no good reason to not use MariaDB instead of MySQL. The creator of MariaDB, Monty Widenius, was on a episode of the changelog podcast if you want to h…

I am using both Qubes and Nix(OS) and would love to combine the two somehow. Nix store doesn't mix well with the template system used by Qubes.

I run Qubes OS on my Thinkpad T430s for 1.5 years now. Everything worked out of the box.

If you have your keys on an air gapped computer with an encrypted hard-disk, I don't see the need to use an additional password on the private keys.

I signed up to try Webflow. Unfortunately Firefox is not supported. I guess the "Only works in Chrome" really is the new "Works best in IE6".

And Black Mirror [1]. [1] https://en.wikipedia.org/wiki/Fifteen_Million_Merits

Is it really based in Switzerland? If you look at the jobs page, they are all in Berlin. My guess would be registred in Switzerland, based in Germany and Data stored in Irland.

No, but it is marked for the 1.0 release: https://github.com/hyperium/hyper/issues/304

Richard A. Eisenberg has a nice comparison of Dependent Haskell with Idris and Liquid Haskell in his PhD. thesis[1]. There is a difference between refinement types and dependent ty…

Where did you get the fact that they are ready from the technology point of view? Switzerland is part of the Generation IV International Forum and is represented by the Paul Scherr…

You have to consider that react was the first (popular) implementation of a virtual dom. We learned a tremendous amount how to implement and use the virtual dom in the mean time. A…