hyghjiyhu

Well you could take a certified system off-the-shelf and integrate it into a bigger thing.

A solution could be having a tiny non-rooted Android system as a "coprocessor".

I think the idea is that if you don't consent you don't cross the border.

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 variables can have which values and what that means for soundness.

  flag=false;
  if flag {
    use_after_free();
  }

can be rejected with a clear conscience.

It's important even without the meme. c++ has try-catch but not try-finally.

I think it's also the physical barrier. Like how getting bacteria on your skin is no big deal.

Cod devs aren't stupid. They will design a game for the hardware their target market can get their hands on.

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 present value of the future subsidy payments. This is often a very significant amount of money that you just lose if you move.

Another way of looking at it. Let's say you need 40sqm of space. You rent an apartment of 100sqm. These square meters don't bring you any joy of quality of life at all. If you owned you would move. If you rented at market rate you would move. But if you rent it at a controlled rent you must hold onto it for dear life because maybe you will need it when you start a family in the far future. Getting another contract this good could be very uncertain.

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.

I think that's a great sentence to include... you know, provided it's actually true.

The biggest mistake it makes is how interesting the frontpage is. It should have more obscure things and filler.

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 conscious attempt to understand the pros and cons

The mature perspective is that there isn't one big conspiracy. There are many small conspiracies.

It's a sign of someone gifted that they make everything look easy

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 will lead to better and cheaper products trickling down to everyone.