For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | more simgt's commentsregister

Wow, I had no idea. Thanks for sharing!


I'm humbled by the maintainer's answer [0]. Must be great to work with people like him who have infinite patience and composure.

[0] https://github.com/ocaml/ocaml/pull/14369#issuecomment-35565...


> Must be great to work with people like him who have infinite patience and composure.

It is not just patience, he is ready to spent a shitload of time explaining basics to strangers. Such an answer would take, I believe would take a very least half an hour to compose, not counting the time you need to read all the relevant discussion to get the context. But yeah, it would be great to have more people like him around.


gasche has been active on various forums over the years, and yes can confirm that he has infinite patience.


Yes, that comment by gasche is a very good general explanation for why vibe coded slop still doesn't cut it for contributing to any non-trivial FLOSS project. When you're building towards a large feature (DWARF support in this case) it's critical for contributions to be small and self-contained so that maintainers and reviewers don't get overwhelmed. As things stand, this means that human effort is an absolute requirement.

When contributions are small and tightly human-controlled it's also less likely that potential legal concerns will arise, since it means that any genuinely creative decisions about the code are a lot easier to trace.

(In this case, the AI seems to have ripped off a lot of the work from OxCaml with inconsistent attribution. OxCaml is actually license compatible (and friendly) with Ocaml but obviously any merge of that work should happen on its own terms, not as a side effect of ripoff slop code.)


We've gotten this far because we've had a rather stable climate for the past few thousand years. The current rate of the change is the problem.

You must have missed it: https://xkcd.com/1732/


It's still ~1C over a human lifetime which gives you a fair bit of time to adapt. I mean I may fly to Bali next month due to climate but that's just London being crap in winter as usual.


This is like saying fish can survive around 21C so the lower temperature of 19.8C that is keeping it in a -4C freezer for 3.5 hours before searing it for 30 minutes at 200C is fine.

A 1C rise means hotter hots, colder colds, stronger storms and longer or more frequent droughts as well as the general climate of a region possibly changing.

Yes you can find crops that will grow in specific conditions, but you need to know those conditions and if you have a day that kills a crop that can mean you need to wait for the next season. That 1C rise corresponds with a lot more of these crop damaging events as well as changing the efficiency and possibly infrastructure needed in an area.

I'll also note that the last 1C rise is over a generation not a lifetime i.e. 25 years not 80.


Brandolini's law at its finest. Don't waste your time, you're answering to a troll.


> not yet a pitiful over-the-hill geezer in his 30s

Hey. Fuck them. At least most of us are not greedy corrupt fucks. Or died in prison as a consequence of our own sins.


A cool thing to do by the way, when you have run over a hill like us. Is to run back over it the other way.


Very nice. As a consequence of this new way of working I'm using `git worktree` and diffview all the time.

For more on the "harness engineering", see what Armin Ronacher and Mario Zechner are doing with pi: https://lucumr.pocoo.org/2026/1/31/pi/ https://mariozechner.at/posts/2025-11-30-pi-coding-agent/

> I really don't care one way or the other if AI is here to stay3, I'm a software craftsman that just wants to build stuff for the love of the game.

I suspect having three comma on one's bank account helps being very relaxed about the outcome ;)


> anyone willing to pay $1200 for a god damn floor lamp would surely pay $1500

Maybe even more would be willing to pay if it had a Made in USA stamp.


You're trying very hard to project your way of thinking onto others, or simply giving them excuses. We've understood with other cases like Strauss-Kahn that their social networks know. The ones involved here are not particularly known for being gullible idiots, they chose to ignore it because it was more convenient than the truth. Or they are simply paedophiles who knew exactly what they were doing.


> That means it is dependent on Taiwan for wafers and the USA for GPU design.

Both being dependant on ASML, that we're crippling to please our bully, the USA. We probably have more leverage that we want to admit, but that requires a lot of politic will and... planning the economy.


Once the price of a transaction converges to the cost of the infrastructure processing it, I don't see a technical reason for crypto to be cheaper. It's likely cheaper now because speculation, not work, is the source of revenue.


If I understand you. This goes with the presupposition that crypto will replace the bank and its features exactly. You might then be right on the convergences. But sounds like a failure to understand that crypto is not a traditional bank. It can be less and more.

A few examples of differences that could save money. The protocol processes everything without human intervention. Updating and running the cryptocoin network can be done on the computational margin of the many devices that are in everyone's pockets. Third-party integrations and marketing are optional costs.

Just like those who don't think AI will replace art and employees. Replacing something with innovations is not about improving on the old system. It is about finding a new fit with more value or less cost.


I may have misunderstood you, but transactions are already processed without human intervention.

> Updating and running the cryptocoin network can be done on the computational margin of the many devices that are in everyone's pockets.

Yes, sure, that's an advantage of it being decentralised, but I don't see a future where a mesh of idle iPhones process my payment at the bakery before I exit the shop.


right now this infrastructure processing is Mastercard/Visa which they have high fee and stripe have high minimal fee. There are many local infrastructure in Asia (like QRCode payments) that don't have such big fees or are even free. High minimal fee it's mostly visa/mastercard/stripe greed/incompetence and regulation requirements/risk.


maiaspace (https://www.maia-space.com/) also intends to compete with SpaceX and is an Ariane spin-off, they're meant to do their first launch this year and start putting satellites in LEO in 27


There is also a Spanish company which according to them, they were the first private European company to reach space with their rocket: https://www.pldspace.com/en/


There were once about 300 small rocket companies. About 250 of them are dead by by now.

The Europeans were late to the game, and their companies got some late investment.

Out of those 300 companies basically 0 of them have actually made money with rockets. Companies like RocketLab pivoted to in-space stuff and that's where they actually make money.

Pretty much every single small rocket company has lost money with small rockets and pivots to larger rockets where there is more demand because of constellations. But in Europe, that will be near impossible because of the Ariane monopoly.

And closing the case on reuse for small rockets is even more difficult.

I really think calling companies that have barley done a test-launch 'spacex competitors' is a silly. At best its a luxury competitor to SpaceX ride-share launches.


Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You