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.
I made something similar once, specifically targetted for guitar tablature https://tabviewer.app/
To make links shorter for sharing with others, I use a shortlink service. Pasting URLs of thousands of characters long can be problematic
I agree. It would also work out like a long term supervised learning process though. Humans showing how it's really done, and AI companies taking that as a gold standard for training and development of AI.
I'm surprised Pandoc markdown is not mentioned. You can make that semi structured quite easily, and write your own transformations using lua. It's powerful enough to write math papers and export into both pdf and html.
Regarding typing latex vs unicode, I use WinCompose/XCompose with a list of bindings that include most latex symbols. So instead of \cup I'd type <compose>cup
I use Unicode to type math, which is the closest you can get in plain text to what you see in the rendered output. The latex package unicodemath is amazing. As a bonus you can paste the code in chat applications when communicating with peers.