wittystick

6 ms·

1.
by wittystick 1y ago
Physical addresses may be limited to 40 bits, but 48-bit virtual addresses have been the norm since 4-level paging.
2.
by wittystick 1y ago
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 address hint to mmap outside the 48-bit range.
3.
by wittystick 1y ago
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 positive types represent a value source and the ne
4.
by wittystick 2y ago
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 several years developing a product can sell commercial licensing.
5.
by wittystick 2y ago
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 keeping track of references, uniqueness types are marked ex
6.
by wittystick 2y ago
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, there were plenty of high profile figures calling for
7.
by wittystick 2y ago
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 unfettered access to it so that people can make an in
8.
by wittystick 2y ago
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 known as gaslighting. The only way to prevent people shar
9.
by wittystick 2y ago
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.
10.
by wittystick 2y ago
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.
11.
by wittystick 2y ago
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 components that need higher priority. There's some videos b
12.
by wittystick 3y ago
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.
13.
by wittystick 3y ago
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 required to release the entirety of their source code. Yo
14.
by wittystick 3y ago
https://en.m.wikipedia.org/wiki/Embrace,_extend,_and_extingu...