thorn

no profile record

コメント

3 か月前議論

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 か月前議論

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 か月前議論

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

4 か月前議論

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 か月前議論

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 か月前議論

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

7 か月前議論

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 か月前議論

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 か月前議論

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 か月前議論

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 か月前議論

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 か月前議論

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 か月前議論

What a nice presentation of slides.

10 か月前議論

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

10 か月前議論

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 か月前議論

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 か月前議論

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 か月前議論

Awesome link, thanks for the much needed context

10 か月前議論

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

10 か月前議論

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