Erlang Meets Idris: Cure Programming Language(cure-lang.org) |
Erlang Meets Idris: Cure Programming Language(cure-lang.org) |
Why should anyone care about this?
Who knows, may be you are right here. I actually thought so at first, but knowing the author personally (he is my former colleague, I had the pleasure of working with him in the same team about 17-18 years ago), his extraordinary abilities and his writing style even before the widespread use of AI, I had my doubts.
Edit: I just noticed in another comment: "Perfect for : Trading systems, industrial control, Medical devices, aerospace applications". I'd go further than embarrassed, and say this person should be ashamed of themself and take this down.
Regulator, here is some code in an unknown and poorly documented language with no operational experience. The compiler was written using AI and no one has audited it.
That seems like an excellent idea to me.
Compilation Performance
Small files (<100 lines): <1 second
Medium projects (1K-10K lines): 5-30 seconds
Large projects (100K+ lines): 30-300 seconds with incremental compilation
Just look at the so-called sort example from the repo:
def sort(list: List(T)): List(T) where Ord(T) =
match list do
[] -> []
[pivot | rest] -> sort(rest)
endA short code snippet (with syntax highlighting thank you) should be the first thing on your page.
I do not have to scroll through a huge wall of text (probably AI generated), 2 images (definitely AI generated), miss it, start clicking links, still not find it, hit the back button, scroll through the slop again, etc.
I want to see the thing, I don’t care about what you have to say about the thing until I can get a sense of the thing.
I do not think that much human time was spent on this actually.
Replying to an email inline rather than at the top marks you out as of a certain generation. Using text emojis rather than finding the graphical emoji does too.
Everyone needs to relax about AI generation anyway (did you learn something useful or not? If you did, does it matter if it was AI generated as a site?), but saying "this is what people under 30 frequently do, so it must be fake", is just this weird vibe spreading everywhere I don't get at all.
I'd also say the use of text emoticons has all but died out in anything other than ironic usage, or in situations where it's difficult to use unicode emoji (e.g. games or this very site)
When text is very obviously generated by AI it communicates to the reader that there is nothing of value to be read. It always writes in the same vapid, overly enthusiastic, overly verbose way. It's grating and generally conveys very little information per word. It's a cliché at this point, but if nobody bothered to write it then why would I bother to read it?
* <Arrow hitting target emoji> 15 compiled libraries!
* <green tick> Works on my machine
* <red cross> No ARM support.
None of which are at the end of a statement. So, I'm not sure who you're replying to.
Incidentally, I recently reviewed a PR heavily written by Cursor that had statements like this.
logger.info("<magnifying glass emoji> DEBUG: {actual message")
Which made me laugh, loudly, and only somewhat sadly, Cursor added the emojis, Cursor then flagged them as not appropriate in prod code.
But CursorBot missed the obvious problem with
logger.info("DEBUG: ...")