thatguy27

11 ms·

31.
by thatguy27 4y ago
PikeOS is a proprietary variant in the L4 microkernel family (see Figure 1 in [1], and [2]). Open source variants include the more well-known seL4 [3] and L4Re [4]. The L4 family is known for formal verification of significant parts of the
32.
by thatguy27 4y ago
Do you perhaps have a few pointers to discover the modding communities here? I am only aware of the mechanical keyboard community. (I'm in the Netherlands.)
33.
by thatguy27 4y ago
>I wonder if the same could be done for a swipe based phone layout. There are others, but the one that comes to mind for smartphones and other small devices is MessagEase. [1] They offer apps for Android, iOS and Windows. I use the Andro
34.
by thatguy27 4y ago
Perhaps you can provide a link to the updated text?
35.
by thatguy27 4y ago
Moving Mountains: Lessons in Leadership and Logistics from the Gulf War William G. Pagonis https://www.amazon.com/Moving-Mountains-Lessons-Leadership-L...
36.
by thatguy27 4y ago
My UI experience is very limited (Windows and Linux only, I currently use XFCE4). What do you consider to be the best UI(s) currently offered (in an operating system)?
37.
by thatguy27 4y ago
Well, some engineers. https://en.wikipedia.org/wiki/Order_of_the_Engineer . Looks like there are similar associations in other countries.
38.
by thatguy27 6y ago
Anybody else annoyed by this being written up as if the research was just published?
39.
by thatguy27 7y ago
Can you access this without an account? I can't find a way in.
40.
by thatguy27 7y ago
"content"
41.
by thatguy27 7y ago
Did anyone back up the video before it got taken down?
42.
by thatguy27 8y ago
Any chance of a photo of your setup?
43.
by thatguy27 8y ago
Thanks!
44.
by thatguy27 8y ago
What did LG do? (I've got one.)
45.
by thatguy27 8y ago
Is it just me or are comments disabled for this article (on the Guardian's site)?
46.
by thatguy27 9y ago
Nonsense, it was great from the beginning.