Viewing profile — thorn

I would prefer if these would not happen but that is the price for having a rich terminal. I donate to the author of iterm a small sum every month, I wish if he focused on the secu…

Very deep post on the problem. AI seems to worsen the issue of software correctness and given the nature of business, it won’t be ever solved.

Yes, perceived value, I wanted to write. Your correction is spot on.

I don’t think many people are interested in producing 100% correct code. I saw this at big companies and small startups. It is all the same: ship feature asap before competitors. W…

You missed the point of this text. It is not a scientific article, nor text pretending to be a revelation in any way. It is just a process or the episode of life, the author shared…

It one nicely written text. I enjoyed being in the head of the author.

I would like to see a reference to the place/proposal where Go team has actually rejected the idea of arenas. I have not see this ever in their issues.

I want to contribute to Ocaml now. Code owners are so polite. They spend their time to respond with clarity and humility. And yet this guy is trying so hard to troll and abuse thei…

Ah. I remember that guy. Joel. He sold his poker server and bragged around HN long time ago. He is too much of PR stunt guy recently. Unfortunately AI does not lead to people being…

Not sure why they down voted you. I agree about the quality of this post. It is low and lack substantial advices. Too many words. I suspect they used AI to generate text maybe.

Thank you, author. This essay made my day. It resonates with my thinking of last months. I tried to use AI at work, but most of times I regrettably scratched whatever it did and di…

It would be much more substantial blog post, if it had actualy code that shows the difference between languages applied to this task. It is too abstract right now.

What a nice presentation of slides.

Thank you for such a concise summary. I had no idea that types in ocaml are that powerful.

I got hired by a company from “who is hiring” list. In general I get more responses and better interviews through jobs on HN. But I send only to the jobs I am truly interested in, …

Kudos to the owner of this project. Well done. It is really modern C++ (with modules) and improvements on top. I see that it introduced some kind of GC and other high-level quality…

This might be the answer. It is not that the language became more popular, but rather the search keyword ada... > This Month's Changes in the Index > William Herrera told us that p…

Awesome link, thanks for the much needed context

Thanks. I wonder is it fun to program high integrity software.

I think AdaCore stopped supporting GNAT community in 2022 and recommended to use Alire community, no? https://blog.adacore.com/a-new-era-for-ada-spark-open-source...

I remember reading about Ada when I was young in 90s. I programmed in Pascal at that time, but was intrigued by Ada’s syntax. I had no book for it sadly and internet was out of rea…

Kudos to the team behind this project! It looks like they have improved UI in last year. The crucial problem right now is to remain accessible or to survive. I have no idea how muc…

I am always super curious to read such posts. They make me happy for no reason. I do not make games these days, but I love to read about excited and happy people explaining the pro…

[dead]

[flagged]