In Haskell, all functions are curried by default, so you can partially apply a function merely by applying it to fewer than the supported number of arguments.

Also, it is worth noting that laziness-by-default in Haskell makes it so that you can use ordinary functions to define control structures, rather than needing to turn to metaprogramming like you do in Lisp.

As someone who owns a System76 desktop, which I really love, I would have preferred that they spend more time on getting Pop!_OS 24.04 first, and then finish COSMIC.

When more of my day-to-day job involved reviewing long PRs, I also got grumpy over this kind of thing, so I am very sympathetic.

No you sudon’t.

WHAT HAVE I DONE!!! 😮

What is this, potential for a circle tool?

Just in time for version 3.1.4!

I am really looking forward to using this next year!

Thank goodness, I was sick of how woke my current X server software was!

I think that is a bit of a misleading way of putting it because the feeling being a “self” that is in charge of the body is an experience that is contained within consciousness rather than the essential nature of it; in principle, one could imagine having consciousness without any feeling of being a “self” at all.

If I had to define the nature of consciousness, I would say that it is essentially an internal simulation that the brain creates in order to aggregate information from various sources in order to facilitate processing and decision making. Just to be clear, this is not my own original idea, and more importantly I do not think that it is a particularly clever or deep way of thinking about consciousness, but rather the inevitable conclusion one reaches when one plays around with one’s own attention and awareness and sees what happens; the trick is just to do it like a scientist and be constantly challenging one’s own conclusions, rather than to invent one’s own version of chakras. I find it especially enlightening to watch what the mind does when one tries not to steer it into doing anything; with some practice, it is possible to watch the “self” pretend to be in charge while simultaneously realizing it is not, and this experience can be helpful (though frustratingly I have not found it to be as immediately life-changing as I might have hoped).

I am not familiar with it; what do you mean?

What a hare-brained idea!

I cannot speak on behalf of the article author, but as someone who personally is an imbecile, the answer is: definitely!

It would seem that Nix has succumbed in this case to its Archenemy.

deleted by creator

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.

China takes care of its people

Unless you are an Uyghur.

And the cool thing is: not only were you able to install this 6 years ago, you were able to install it 16 years as well!

In fairness, we wouldn’t have had to do this if they had just put in monads like we had been calling for from the beginning!

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.

Does Ada have a capability as powerful as the borrow checker?