frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Neomacs: GPU-accelerated Emacs with inline video, WebKit, and terminal via wgpu

https://github.com/eval-exec/neomacs
1•evalexec•4m ago•0 comments

Show HN: Moli P2P – An ephemeral, serverless image gallery (Rust and WebRTC)

https://moli-green.is/
1•ShinyaKoyano•8m ago•0 comments

How I grow my X presence?

https://www.reddit.com/r/GrowthHacking/s/UEc8pAl61b
1•m00dy•10m ago•0 comments

What's the cost of the most expensive Super Bowl ad slot?

https://ballparkguess.com/?id=5b98b1d3-5887-47b9-8a92-43be2ced674b
1•bkls•11m ago•0 comments

What if you just did a startup instead?

https://alexaraki.substack.com/p/what-if-you-just-did-a-startup
2•okaywriting•17m ago•0 comments

Hacking up your own shell completion (2020)

https://www.feltrac.co/environment/2020/01/18/build-your-own-shell-completion.html
1•todsacerdoti•20m ago•0 comments

Show HN: Gorse 0.5 – Open-source recommender system with visual workflow editor

https://github.com/gorse-io/gorse
1•zhenghaoz•21m ago•0 comments

GLM-OCR: Accurate × Fast × Comprehensive

https://github.com/zai-org/GLM-OCR
1•ms7892•21m ago•0 comments

Local Agent Bench: Test 11 small LLMs on tool-calling judgment, on CPU, no GPU

https://github.com/MikeVeerman/tool-calling-benchmark
1•MikeVeerman•22m ago•0 comments

Show HN: AboutMyProject – A public log for developer proof-of-work

https://aboutmyproject.com/
1•Raiplus•23m ago•0 comments

Expertise, AI and Work of Future [video]

https://www.youtube.com/watch?v=wsxWl9iT1XU
1•indiantinker•23m ago•0 comments

So Long to Cheap Books You Could Fit in Your Pocket

https://www.nytimes.com/2026/02/06/books/mass-market-paperback-books.html
3•pseudolus•24m ago•1 comments

PID Controller

https://en.wikipedia.org/wiki/Proportional%E2%80%93integral%E2%80%93derivative_controller
1•tosh•28m ago•0 comments

SpaceX Rocket Generates 100GW of Power, or 20% of US Electricity

https://twitter.com/AlecStapp/status/2019932764515234159
2•bkls•28m ago•0 comments

Kubernetes MCP Server

https://github.com/yindia/rootcause
1•yindia•29m ago•0 comments

I Built a Movie Recommendation Agent to Solve Movie Nights with My Wife

https://rokn.io/posts/building-movie-recommendation-agent
4•roknovosel•29m ago•0 comments

What were the first animals? The fierce sponge–jelly battle that just won't end

https://www.nature.com/articles/d41586-026-00238-z
2•beardyw•38m ago•0 comments

Sidestepping Evaluation Awareness and Anticipating Misalignment

https://alignment.openai.com/prod-evals/
1•taubek•38m ago•0 comments

OldMapsOnline

https://www.oldmapsonline.org/en
1•surprisetalk•40m ago•0 comments

What It's Like to Be a Worm

https://www.asimov.press/p/sentience
2•surprisetalk•40m ago•0 comments

Don't go to physics grad school and other cautionary tales

https://scottlocklin.wordpress.com/2025/12/19/dont-go-to-physics-grad-school-and-other-cautionary...
2•surprisetalk•40m ago•0 comments

Lawyer sets new standard for abuse of AI; judge tosses case

https://arstechnica.com/tech-policy/2026/02/randomly-quoting-ray-bradbury-did-not-save-lawyer-fro...
5•pseudolus•41m ago•0 comments

AI anxiety batters software execs, costing them combined $62B: report

https://nypost.com/2026/02/04/business/ai-anxiety-batters-software-execs-costing-them-62b-report/
1•1vuio0pswjnm7•41m ago•0 comments

Bogus Pipeline

https://en.wikipedia.org/wiki/Bogus_pipeline
1•doener•42m ago•0 comments

Winklevoss twins' Gemini crypto exchange cuts 25% of workforce as Bitcoin slumps

https://nypost.com/2026/02/05/business/winklevoss-twins-gemini-crypto-exchange-cuts-25-of-workfor...
2•1vuio0pswjnm7•42m ago•0 comments

How AI Is Reshaping Human Reasoning and the Rise of Cognitive Surrender

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=6097646
3•obscurette•43m ago•0 comments

Cycling in France

https://www.sheldonbrown.com/org/france-sheldon.html
2•jackhalford•44m ago•0 comments

Ask HN: What breaks in cross-border healthcare coordination?

1•abhay1633•44m ago•0 comments

Show HN: Simple – a bytecode VM and language stack I built with AI

https://github.com/JJLDonley/Simple
2•tangjiehao•47m ago•0 comments

Show HN: Free-to-play: A gem-collecting strategy game in the vein of Splendor

https://caratria.com/
1•jonrosner•48m ago•1 comments
Open in hackernews

Erlang Meets Idris: Cure Programming Language

https://cure-lang.org/
46•delitrem•3mo ago

Comments

josefrichter•3mo ago
How does this compare to Gleam, in terms of goals, features, etc.?
littlestymaar•3mo ago
> A strongly-typed, dependently-typed programming language that brings mathematical correctness guarantees
forgotpwd16•3mo ago
Regarding goals, from a quick check on both, the essential difference is Cure has dependent types with SMT-backed validation. So, as mentioned in homepage, is oriented towards domains requiring correctness over convenience, whereas Gleam targets general development. (Beyond goals for anyone that hasn't heard Gleam before, Cure appeared out of nowhere recently and seems like AI slop, Gleam exists for few years and people are using it to make actual projects.)
GCUMstlyHarmls•3mo ago
Curious what the E, e, e, L and G stand for in the logo.
hmry•3mo ago
My money's on L = LLM, G = Generated
h4kor•3mo ago
This is 100% LLM generated; website, documentation and tutorials. There is no link to downloads or a repository. No way to use anything.

Why should anyone care about this?

IdontKnowRust•3mo ago
I was about to say the same thing haha
anonzzzies•3mo ago
There is a github repos and that + code looks also LLM generated to me. Not necessarily bad, if it works for what was intended that is; I just don't have time/patience to try it because of how lazy their web page is. I mean LLMs can DEFINITELY make a lot better pages than this; this what you get if you do it one-shot and publish.
forgotpwd16•3mo ago
The idea may be good and result may be functional but regarding adoption, especially for the domain it targets, for someone to depend on what appears to be vibe coded project is irrational.
delitrem•3mo ago
> This is 100% LLM generated

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.

EdwardDiego•3mo ago
Emojis make it look LLM af.
PaulRobinson•3mo ago
Emojis at the end of a statement online are a generational thing, not an AI thing.

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.

evertedsphere•3mo ago
emoji at the end of a statement are not the same thing as emoji adorning or replacing every heading
EdwardDiego•3mo ago
I'm talking about this kinda style...

* <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")
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

    logger.info("DEBUG: ...")
qlm•3mo ago
It isn't a generational thing. The choice of emoji is a generational thing, but people of all ages do it. AI most certainly does not use emoji in the same way a young person does (unless you encourage it to, but even then it comes across as cringeworthy). If anything it's closer to how a middle-aged person uses them.

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?

qlm•3mo ago
There is a 0% chance that the vast majority of this site and the repo that was linked elsewhere was written by a human. I would have zero confidence in anything about this language, and frankly your former colleague should be embarrassed about putting this out.

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.

allanmacgregor•3mo ago
I'm sorry but this has all the earmarks of being AI generated, at the very least the website and all the project documentation; and "Trust me I worked with him 2 decades ago, is a very poor argument to inspire confidence"
AlecSchueler•3mo ago
The emoji list is so in your face I'm leaning towards it being a parody or some kind of art piece.
bjoli•3mo ago
This is the GitHub repo: https://github.com/am-kantox/cure-lang
dmit•3mo ago

  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
Love that there's an upper limit on compilation time. No matter how large your project gets, it will never take more than five minutes to compile (incrementally).
xigoi•3mo ago
Also it’s not possible to write programs that have between 100 and 1000 lines.
weatherlight•3mo ago
The project looks very young. I do like the goals of the project though, and I like that it's on the BEAM.
brap•3mo ago
It absolutely drives me nuts when people spend so much time building something but make it difficult to show you what they’ve built.

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.

debugnik•3mo ago
> when people spend so much time building something

I do not think that much human time was spent on this actually.

paulglx•3mo ago
Everything smells of AI here, is it the world's first slop language?
agnishom•3mo ago
I would like to see some interesting code examples showcasing the main features.
ares623•3mo ago
Super exciting. Can't wait to use this in production. Imagine, using AI to write with a language built with AI, building AI products that AI people use.
0x69420•3mo ago
please keep the erlang ecosystem out of the llm griftosphere. jesus christ.
saithound•3mo ago
This is not a real language, it's pure LLM slop.

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)
        end
agos•3mo ago
that will achieve incredible performance on the right array
xigoi•3mo ago
It only works correctly on an empty array, on which any sorting algorithm is fast.
Beretta_Vexee•3mo ago
> Perfect for : Trading systems, industrial control, Medical devices, aerospace applications

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.

sam-cop-vimes•3mo ago
https://cure-lang.org/examples/ gives a 404