Viewing profile — wittystick

Physical addresses may be limited to 40 bits, but 48-bit virtual addresses have been the norm since 4-level paging.

No, but 5-level paging is opt-in anyway, so its presence isn't problematic if assuming a 48-bit address space. Linux won't allocate space outside the 48-bits unless you give an add…

Briefly, algebraic data types add polarity to the types so that we don't have both S <= T and T <= S, which would imply equality. Instead we have S+ <= T- and T+ <= S-. The positiv…

In practice, projects that take this approach do the majority of development in house, and external contributions are small. It makes sense that a company that may have spent sever…

Clean has been doing this for nearly as long as people have been using monads, but it never got the attention Haskell did, which I think is quite unfortunate. Rather than implictly…

In the case of forced vaccination, it's a reasonable comparison, as it violates several item of the Nuremberg code. Some places did force vaccination, and even where it wasn't, the…

It's just a terrible idea to even contemplate trying this. The solution to misinformation is an informed public, which doesn't come about by censoring information, but allowing unf…

The only thing that isn't potentially misinformation is that which you witness with your own eyes. Since everyone has their own eyes, calling what they witness misinformation is kn…

What about Arthiris? There's some link between UC and RA. I get both flare up at the same time, and I use the same medication (Azathioprine) to keep both in remission.

It's always about protectionism. No company wants the government interfering with its business. They want the government interfering in their upcoming competitor's businesses.

Probably the biggest development in seL4 since this is the MCS (mixed criticality systems) addition, which provides capabilities for budgeting CPU usage to give guarantees for comp…

The time taken for any process is still limited by Amdahl's law. You can't make inherently serial parts any faster by throwing more cores at it.

Have a look at the MongoDB license (SSPL) as an example of an almost open source license which doesn't really impact personal use, but impacts big service providers who would be re…

[dead]

https://en.m.wikipedia.org/wiki/Embrace,_extend,_and_extingu...