Is it truly free and open source?

Yes, both podman and podman-desktop are FOSS under Apache-2.0 license. And they prefer more open image hosts like quay.io by default (dockerhub is still available OOTB for it to be a drop-in replacement of docker)

Does it run only in Linux?

No, it runs on Linux, Windows and MacOS (through VMs on the latter two) and my experience is that it works better than docker on non-Linux machines.

The headscale integrated one is mostly enough, you can choose to include the tailscale official ones with their URL as well.

It runs in the kernel of the OS as a driver, which means that it’s basically a trusted malware that has even higher permission than the admin of the computer, and have access to more things than yourself, to closely monitor the whole system in order to find signs of cheating.

I assume that you do know that tools improve objectively in the cycle and are making a joke on purpose.

Did they fixed the kernel panic problem that persisted in the last two versions? I don’t dare to try it, last month their proprietary driver has almost destroyed my machine.

Because it gives the wrong impression that it is not proprietary, just like how you are making this exact mistake.

You can use Nix on Guix System and vice versa, but it’s like installing them as a package manager on a foreign system. The store and packages currently are completely isolated between the two, although there’s a very early plan for a common store interface.

No, monadic interface is used to programmatically access the store instead of being used to define packages. Packages are pure in Guix.

Guix uses Guile everywhere. Nix uses string interpolated Bash and Perl for anything impure.

Now what do you think?

Fyi, it’s now available on nixos.

Nobody has mentioned that Guix is readily available on NixOS right now? Add a line to your config and it’s ready to go. Compatible with everything else.

Typst. Much easier to setup and learn than TeX based solutions with similar capabilities.

I’d say no. Programming safely requires non-trivial transformation in code and a radical change in style, which afaik cannot be easily done automated.

Do you think that there’s any chance to convert from this to this? It requires understanding of the algorithm and a thorough rewrite. Automated tools can only generate the former one because it must not change C’s crooked semantics.