hyghjiyhu

5 ms·

1.
by hyghjiyhu 9mo ago
Well you could take a certified system off-the-shelf and integrate it into a bigger thing.
2.
by hyghjiyhu 9mo ago
A solution could be having a tiny non-rooted Android system as a "coprocessor".
3.
by hyghjiyhu 9mo ago
I think the idea is that if you don't consent you don't cross the border.
4.
by hyghjiyhu 9mo ago
Imo if you run into the halting problem it's because you are trying to do too much. In particular I think what you actually want is to check soundness based on the "shape" of the code rather than the reason about which variab
5.
by hyghjiyhu 9mo ago
It's important even without the meme. c++ has try-catch but not try-finally.
6.
by hyghjiyhu 10mo ago
I think it's also the physical barrier. Like how getting bacteria on your skin is no big deal.
7.
by hyghjiyhu 10mo ago
Cod devs aren't stupid. They will design a game for the hardware their target market can get their hands on.
8.
by hyghjiyhu 10mo ago
The "problem" is that a rent controlled apartment is some weird chimera of ownership and renting. You could take the difference between the market rent and contract rent to calculate a subsidy. Then you could calculate the net pre
9.
by hyghjiyhu 10mo ago
Unlike the last variant, the first two imply there was some quantity of work and it was all completed. I don't really see the difference between the two though.
10.
by hyghjiyhu 10mo ago
I think that's a great sentence to include... you know, provided it's actually true.
11.
by hyghjiyhu 10mo ago
The biggest mistake it makes is how interesting the frontpage is. It should have more obscure things and filler.
12.
by hyghjiyhu 10mo ago
After reading that article I come to a different but closely related opinion. Heavy use of the word vibe is symptomatic of elevating instinct above intellect. My instincts approve of this, so the vibe is good, so I will do it. Absent is the
13.
by hyghjiyhu 10mo ago
The mature perspective is that there isn't one big conspiracy. There are many small conspiracies.
14.
by hyghjiyhu 10mo ago
It's a sign of someone gifted that they make everything look easy
15.
by hyghjiyhu 10mo ago
I think this is an incorrect zero-sum mindset. Yes in the short term there is a fixed amount of GPUs, ram etc. But in the long run the money from ai and crypto is invested in building factories, researching new nodes etc. These investments
16.
by hyghjiyhu 10mo ago
I have heard people gain weight intentionally to ensure they get these new weightloss drugs.
17.
by hyghjiyhu 10mo ago
I think self censorship is normal and fine and healthy. Well to some extent. Like not all information needs to be shared with all people all the time. It does become unhealthy if important things go unsaid.
18.
by hyghjiyhu 10mo ago
We might get twice as many original ideas but hundred times as much filler. Neither of those aspects erases the other. Both the absolute number of ideas and the ratio matter.
19.
by hyghjiyhu 11mo ago
It doesn't really matter what you can trick it into saying. As long as it promotes the right ideology most of the time it's good enough.
20.
by hyghjiyhu 11mo ago
Due to the unfortunate naming of unwrap_or and friends it's a little (but only a little) more complicated than ctrl-f.
21.
by hyghjiyhu 11mo ago
A bootstrap station that can turn asteroids or space dust into probes sounds like a solution for that.
22.
by hyghjiyhu 11mo ago
For a photosynthesizer minerals water, sun and co2 should be enough I think? Maybe oxygen is needed too unless it's able to store oxygen for respiration. Now eventually it might start running out of some resource or building up toxic l
23.
by hyghjiyhu 11mo ago
I think getting hung up on words (in this case index) in mathematics is a trap. They are often stretched to their breaking point and you just kind of go with the flow. > When I use a word,’ Humpty Dumpty said in rather a scornful tone, ‘
24.
by hyghjiyhu 11mo ago
High temperature super conductors is a term of art. It does not mean what it sounds like. They still have to be pretty cold.
25.
by hyghjiyhu 11mo ago
Thanks that's important data. I started looking into this and found a case in the EU as well.
26.
by hyghjiyhu 11mo ago
Edited. This seems to be according worldwide despite the article saying it's in West Asia and Africa.
27.
by hyghjiyhu 11mo ago
The obvious(?) question is why it sends gigabytes of stuff to llvm and if that can't be reduced somehow.
28.
by hyghjiyhu 11mo ago
Remember that there are other types of vulnerabilities too. If there are less of them in old code then it may make up for more memory issues.
29.
by hyghjiyhu 11mo ago
The fundamental difference is that in his case any conforming compiler has to do the network request. Whereas with LSP it's just an implementation detail of the editor.
30.
by hyghjiyhu 11mo ago
She sounds like someone that has too many good options and needs to invent things to be upset about

More ›