Erlang Meets Idris: Cure Programming Language
Postedabout 2 months agoActiveabout 2 months ago
cure-lang.orgTechstory
skepticalnegative
Debate
80/100
Programming LanguagesErlangIdrisAI-Generated Content
Key topics
Programming Languages
Erlang
Idris
AI-Generated Content
The Cure programming language, combining Erlang and Idris, is introduced but faces skepticism from the HN community due to its apparent reliance on AI-generated content and lack of tangible implementation.
Snapshot generated from the HN discussion
Discussion Activity
Active discussionFirst comment
26m
Peak period
13
0-1h
Avg / period
6.6
Comment distribution33 data points
Loading chart...
Based on 33 loaded comments
Key moments
- 01Story posted
Nov 6, 2025 at 3:49 AM EST
about 2 months ago
Step 01 - 02First comment
Nov 6, 2025 at 4:15 AM EST
26m after posting
Step 02 - 03Peak activity
13 comments in 0-1h
Hottest window of the conversation
Step 03 - 04Latest activity
Nov 6, 2025 at 8:52 AM EST
about 2 months ago
Step 04
Generating AI Summary...
Analyzing up to 500 comments to identify key contributors and discussion patterns
ID: 45832954Type: storyLast synced: 11/20/2025, 7:45:36 PM
Want the full context?
Jump to the original sources
Read the primary article or dive into the live Hacker News thread when you're ready.
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.
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.
And then CursorBot reviewed it and flagged the emojis as indicative of "debugging statements not suitable for production".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
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.
A 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.
Just look at the so-called sort example from the repo:
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.