• 2 Posts
  • 129 Comments
Joined 2 years ago
cake
Cake day: December 9th, 2023

help-circle

  • Except that it is likely to be included in future versions of Fedora:

    According to the official Fedora change proposal, the rewrite expands support for both bootc and rpm-ostree based systems, whereas the original Bash version was built only for rpm-ostree. Red Hat developers have submitted a proposal to ship this new Rust version in Fedora 43. According to Phoronix, while the plan still needs a final vote from the Fedora Engineering and Steering Committee, it looks very likely to be approved. For current Fedora IoT users, the change promises to be a simple, seamless upgrade.



  • A doctrine of Catholicism is that you need good works as well as faith in order to get into Heaven. When Martin Luther broke away and started the Protestant movement, one of the big changes he made was to drop the “good works” part so that faith alone is sufficient to get into Heaven. (As I understand it, the argument behind this is that Jesus saves us from all of our sins already so therefore it does not matter how good or bad we are during our lives as long as we have faith.)




  • The borrow checker is a lot deeper than merely making pointer use a bit safer; it provides a model for data ownership based on affine types.

    Also, to the extent that “Ada requires the programmer to give enough information to the compiler so as to ensure that it actually outputs what you want it to,” if I understand you correctly, that is basically true of every language with a static type system. At the extreme end, we have dependently typed languages which essentially let you express arbitrary mathematical propositions in your types and, if the program compiles, then you know that they will always be satisfied without having to do any checks at runtime.