thorn

no profile record

comments

3 เดือนที่ผ่านมาdiscuss

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 security for a while and tightened some bugs instead of pushing into AI related features

4 เดือนที่ผ่านมาdiscuss

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.

4 เดือนที่ผ่านมาdiscuss

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

4 เดือนที่ผ่านมาdiscuss

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. Writing correct code is almost always punished indirectly in the way they only praise the feature delivering heroes that got promoted. Nobody got promoted for preventing bugs.

Maybe in some other circles it is not like that, but I am sure that 90% of industry measures output in the amount of value produced and correct code is not the value you can show to the stockholders.

It is sad state of affairs dictated by profit seeking way of life (capitalism).

7 เดือนที่ผ่านมาdiscuss

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 with us. And the writing (style) is excellent too.

7 เดือนที่ผ่านมาdiscuss

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

7 เดือนที่ผ่านมาdiscuss

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.

8 เดือนที่ผ่านมาdiscuss

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 their time and attention.

8 เดือนที่ผ่านมาdiscuss

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 nice in the end. The way people abuse other people using AI is crazy. Kudos to ocaml owners giving him a proper f-off but polite response.

8 เดือนที่ผ่านมาdiscuss

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.

9 เดือนที่ผ่านมาdiscuss

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 did stuff on my own. So many points I agree with. Delegating thinking to AI is the worst thing I can do to my career. AI at best is mediocre text generator.

So funny to read how people attack author using non-related to the essay’s message criticism.

9 เดือนที่ผ่านมาdiscuss

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.

9 เดือนที่ผ่านมาdiscuss

What a nice presentation of slides.

10 เดือนที่ผ่านมาdiscuss

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

10 เดือนที่ผ่านมาdiscuss

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, not spamming. My applications are individually tailored.

10 เดือนที่ผ่านมาdiscuss

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-of-life improvements. I noticed stuff like `co_try` and `.unwrap()` and `async`. Was it inspired by Rust? What plans do you have with this project?

10 เดือนที่ผ่านมาdiscuss

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 programming language ADA might have been boosted in the TIOBE index because of the Ada Lovelace architecture of NVIDIA. For this reason we have added "-NVIDIA" to Ada's search term. As a consequence, Ada dropped from position #9 last month to position #13 this month.

10 เดือนที่ผ่านมาdiscuss

Awesome link, thanks for the much needed context

10 เดือนที่ผ่านมาdiscuss

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

10 เดือนที่ผ่านมาdiscuss

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...