thorn

5 ms·

1.
by thorn 5mo ago
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
2.
by thorn 7mo ago
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.
3.
by thorn 7mo ago
Yes, perceived value, I wanted to write. Your correction is spot on.
4.
by thorn 7mo ago
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
5.
by thorn 9mo ago
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.
6.
by thorn 9mo ago
It one nicely written text. I enjoyed being in the head of the author.
7.
by thorn 9mo ago
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.
by thorn 10mo ago
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.
9.
by thorn 10mo ago
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
10.
by thorn 10mo ago
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.
11.
by thorn 11mo ago
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 t
12.
by thorn 11mo ago
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.
13.
by thorn 11mo ago
What a nice presentation of slides.
14.
by thorn 1y ago
Thank you for such a concise summary. I had no idea that types in ocaml are that powerful.
15.
by thorn 1y ago
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.
16.
by thorn 1y ago
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 `.u
17.
by thorn 1y ago
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 i
18.
by thorn 1y ago
Awesome link, thanks for the much needed context
19.
by thorn 1y ago
Thanks. I wonder is it fun to program high integrity software.
20.
by thorn 1y ago
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...
21.
by thorn 1y ago
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 de
22.
by thorn 1y ago
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 re
23.
by thorn 1y ago
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 perspecti
24.
by thorn 2y ago
What a nice magazine. Reminds me of old times. I congratulate the team on ever increasing quality of releases!
25.
by thorn 2y ago
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 e
26.
by thorn 2y ago
It is back again! Back to reading now :-) I just hope that gov-ents won't take it down such a critical resource.
27.
by thorn 3y ago
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?
28.
Ask HN: Any group to learn xv6 together?
2 points by thorn 3y ago|1 comments
29.
by thorn 4y ago
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
30.
by thorn 5y ago
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.

More ›