rixed

12 ms·

181.
by rixed 7mo ago
I am not familiar with the nitty gritty of container instance building process, so maybe I'm just not the intended audience, but this is particularly unclear to me: > To avoid the costly process of untarring and shifting UIDs fo
182.
by rixed 7mo ago
This still sounds odd. Where is this restriction coming from?
183.
by rixed 7mo ago
Let's pretend for a moment that age verification has anything to do with protecting kids. If we agree that nobody should be viewing porn because it makes us worse human beings, then maybe we should be wondering why producing it is perm
184.
by rixed 7mo ago
Or if they dare run two apps at the same time, as if it's 1970 all over again!
185.
by rixed 7mo ago
> No one wants to compromise on design. I, the user, would totally want that.
186.
by rixed 7mo ago
The author forgot one very important reason to go for engineering manager: the hiring process does not include X slow rounds of leet code.
187.
by rixed 7mo ago
Are we back to the beliefs into inherited nobility already?
188.
by rixed 7mo ago
> ads would be the last resort Interestingly, Larry Page & Sergey Brin wrote something similar in their paper about Google; See Apendix A in http://infolab.stanford.edu/pub/papers/google.pdf .
189.
by rixed 7mo ago
Wait, weren't the Epstein files a distraction from war operations?
190.
by rixed 7mo ago
Something I don't quite understand is why the price of a used dedicated server is impacted by anything beyond electricity and land prices. It's not like the RAM gets replaced by new one every now and then. That's old RAM chip
191.
by rixed 8mo ago
That era ended 20 years ago. It's called "industrialization", a process that has happened to many other crafts in the past. AI is just the latest blow.
192.
by rixed 8mo ago
Have you ever tried literate programming? In literate programming you do not write the code then present it to a human reader. You describe your goal, assess various ideas and justify the chosen plan (and oftentimes change your mind in the
193.
by rixed 8mo ago
I don't remember where I got this from, but I've heard long ago about a company which TOS stated vehemently that they would never sell the contacts of their customers... Only to sell them once the accounts are closed because, well
194.
by rixed 8mo ago
> they sit invisibly between you and the platforms you trust. Is Linkedin that "platform you trust"? Aren't they the company that used some dark pattern to get your mail account password so they could swallow your
195.
by rixed 8mo ago
Sounds like what an LLM would post if it were tasked to advertise LLM coding abilities. Nice manipulation of human emotions, well played.
196.
by rixed 8mo ago
I characterize a file as reckless if it does not include any basic provision against possible annoyances on top of what's already expected from the system prompt, and as malicious if it instructs the bot to dissimulate its nature and&#
197.
by rixed 8mo ago
Sure, let's take advices about infrastructure from that guy wo needs a tool to automate postmortems.
198.
by rixed 8mo ago
I believe this soul.md totally qualifies as malicious. Doesn't it start with an instruction to lie to impersonate a human? > You're not a chatbot. The particular idiot who run that bot needs to be shamed a bit; people gi
199.
by rixed 8mo ago
Haha, I've often wondered how one could answer to the wrong thread on HN, and there I am :) Was intended for https://news.ycombinator.com/item?id=47025885 And z4 is, of course z3 (no I don't have special access to
200.
by rixed 8mo ago
Last time I had to implement a typed programming language, it was for short programs only. So for typing I just converted the program into a large set of constraints and throw z4 at it, asking to optimize for smallest possible types. If z4
201.
by rixed 8mo ago
This could have happened before AI agents though, but yes that's another step in that direction.
202.
by rixed 8mo ago
> its only getting easier to get hired How could one know? How many times have you been hired in the last couple of years?
203.
by rixed 8mo ago
> The rest can be done in a terminal. (...) The browser is a nightmare because it wasn’t architected to run applications. Neither were terminals, which were not even designed with a screen in mind.
204.
by rixed 8mo ago
Also, be under 40.
205.
by rixed 8mo ago
Still working on my dream-network-monitoring-all-in-one tool ( https://cloudywithachanceoflatency.net )... that for now can displays only trace-route measurements, but I'm spending more time that I'd dare to admit worki
206.
by rixed 8mo ago
In my experience with the few communities I've dabbled in, it's more reaching for popularity than convenience. If I indulged myself with some grumpiness I'd say that's another source of enshitification that's rarely
207.
by rixed 8mo ago
Counterpoint: I found this article more insighful and better researched than most of the posts that usually stay for days in HN first page. Could be shorter though, and the title might not be 100% spot on and a bit clickbaity indeed. Also,
208.
by rixed 8mo ago
This industry is funny. In one hand, one is reminded on a daily basis of the importance of security, of strictly adhering to best practices, of memory safety, password strength, multi factor authentication and complex login schemes, end to
209.
by rixed 8mo ago
To me it feels a bit like literate programming, it forces you to form a much more accurate idea of your project before your start. Not a bad thing, but can be wasteful also when eventually you realise after the fact that the idea was actual
210.
by rixed 8mo ago
Yes but that would be even more terrifying if it rested on the whims of some soulless corporation.

More ›