I never felt that the theorems were the most useful part of mathematics, strange as that may sound. In my professional experience, math offers a framework, a language of expressing ideas in an exact way. It clears things up for the writer and the reader. It is like speech; would we stop talking if a machine could utter all phrases?
Why not use an existing language with proper algebraic effects? This language seems to be a language with something that looks like algebraic effects, but it doesn't look like it properly implemented those.
Cool that they list the definitions of the words afterwards. This makes it even more fun for non-native speakers, as it adds a free learning aspect to it.
It's not good practice to use acronyms without introducing them. From the title alone it's unclear what this is about, from the text it still had me guessing for a while.
I was hesitant to post my comment. It's the first time I've complained about this on HN I think. And it's not only about the flow of the words at all, it's more about reading something that no one wrote. Especially if it's about a project that seems interesting, having AI written text tells me it's maybe not the passion project I otherwise would think it was.
Most articles I click on in the HN homepage turn out to be written by AI, judging from the phrasing. I'm weirded out by the fact that people don't seem to find it important to write their own thoughts down. The writing in TFA is clearly supervised by a human, but still, the wording is not human at all.
Tangentially related, this post git me reading about the spectre language. In the spectre docs you write: "There is a notable lack of contract based programming languages that enforce correctness at a low level.". What is the difference between a function checking arguments and throwing exceptions and contract-based functions, apart from perhaps a more concise syntax to specify it?
"Just" is exactly made for this, and it is amazing. You write a justfile that is somewhat similar to a makefile but without the painpoints and it provides a CLI interface of commands you want to run
This has not been true for at least a decade for dutch buildings: there are strict regulations requiring decent insulation for new buildings. Renovating and insulating old buildings is also encouraged, but not required by law.