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

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

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.

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

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.

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

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

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?

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.

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 reach for me too. Modern Ada looks a bit different too, they definitely added new features into the language. I quite like the syntax.

I never heard about Spark/Ada before. I wonder if anyone uses Spark for real world tasks, and if yes, what for?

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 much effort is being put into it. I wonder is it possible to remain afloat despite all efforts to take them down?

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 process they love to do. At the same time I learn new perspectives to understand what is going on in the world of indie games. I keep this (not so) secret wish in the back of my head because I have to work for some money to support my family and my country (Ukraine). Maybe some time later I will do more of games...

Thank you for writing this post, Noel!

What a nice magazine. Reminds me of old times. I congratulate the team on ever increasing quality of releases!

I do love my AirPods Pro and use them in all modes except for spatial audio. I have a bug that I cannot fix for almost a year: reversed channels when connected to MacBook Pro M1. Especially the spatial audio is totally wrong. I have tried everything, resetting AirPods, Mac, Bluetooth, reinstalling drivers. It is fine with my iphone. But just totally wrong with my particular MBP. Any ideas?

It is back again! Back to reading now :-) I just hope that gov-ents won't take it down such a critical resource.

Go is not a puzzle language. I wonder what about Rust? Can we apply "puzzle language" to it? Maybe it depends on the level, how well you know the language?

Are you confident at building simple effeciently-written games? Making computer games is harder than doing CRUD apps. And making simulations games is as twice as hard. My advice is to learn to make simple games at first because even simple games "simulate" some aspects. Instead of making one big very complex simulation game, build many simple simulations with increasing complexity for every new game. In the process you would see many problems you need to solve so that game uses resources effeciently, etc. ... I know this is not what you wanted to hear, I am sorry. :-) I think not any single book can answer your question, but rather many-many books.

Very engaging style of story telling here. I could try to explain this good writing, but I just recommend to read it. It is truly a good piece.

Please, refrain from judging people here. I would rather prefer if we talked about this wonderful book that was released for free for our own enjoyment. I cannot even grasp the volume of work that went into this book.