Or rather rate limit CI or something. Free repos that don't use large scale LLM activity to trigger a humongous amount of workload onto the github servers don't have to be caught in the crossfire.
That is not my experience. Sure, the background of .NET is windows, but in the last decade or so it opened up to other platforms, and so many shops prefer deploying their .NET based applications to linux for multitude of reasons. Along with this comes linux oriented culture.
So windows culture is not tied to .NET per se, more so tied to certain shops I would say.
Speaking from anecdotal experience, I have no numbers on this :)
Thanks for sharing. I'm going to give it a spin for a while. The downside is you cannot comment or vote on the external site so you are always juggling the two sites for that.
They didn't write a traditional proof, but a lean program, which can be used to validate proofs formally, using a computer. It's still up to humans to check wether the formalization is sensible, but the proof is correct.
I'm not sure that your description of generalization coincides with the idea of modeling abstraction from TFA. Modeling abstraction is "about identifying what should leak and leveraging it". Generalization is about making something cover more cases. The technique to achieve these things can overlap of course, but the intention/goal is different.
While I agree with the overall sentiment in this thread, it should be clear that any body of water is highly dangerous for kids until they can swim. It is not disclosed in TFA if the kid was able to swim, but the average 5 year old in the USA is not.
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.