Comments on: The linguistic barrier of operating system design http://thetarpit.org/2015/the-linguistic-barrier-of-os-design "Now I feel like I know less about what that blog is about than I did before." Tue, 07 Apr 2026 14:45:24 +0000 http://thetarpit.org hourly 1 By: What is an operating system? « The Tar Pit http://thetarpit.org/2015/the-linguistic-barrier-of-os-design#comment-69 What is an operating system? « The Tar Pit Fri, 11 Oct 2019 11:25:48 +0000 http://wp.thetarpit.org/2015/the-linguistic-barrier-of-os-design#comment-69 [...] last time I visited the field of operating system design, I concluded that journey with questions. That line of questioning didn't solve much, but merely [...] [...] last time I visited the field of operating system design, I concluded that journey with questions. That line of questioning didn't solve much, but merely [...]

]]> By: Reversing lists, and on how formal methods are not an unambiguously useful tool for software verification « The Tar Pit http://thetarpit.org/2015/the-linguistic-barrier-of-os-design#comment-50 Reversing lists, and on how formal methods are not an unambiguously useful tool for software verification « The Tar Pit Fri, 11 Oct 2019 10:45:23 +0000 http://wp.thetarpit.org/2015/the-linguistic-barrier-of-os-design#comment-50 [...] them very briefly in the past, mentioning that operating system design is in fact plagued by a more general problem that is not entirely solved by microkernels and is generally ignored by the engineering and [...] [...] them very briefly in the past, mentioning that operating system design is in fact plagued by a more general problem that is not entirely solved by microkernels and is generally ignored by the engineering and [...]

]]> By: Android, the bad and the ugly « The Tar Pit http://thetarpit.org/2015/the-linguistic-barrier-of-os-design#comment-29 Android, the bad and the ugly « The Tar Pit Fri, 11 Oct 2019 10:06:33 +0000 http://wp.thetarpit.org/2015/the-linguistic-barrier-of-os-design#comment-29 [...] operating systems engineering has been completely stuck in a rut in the last few decades: kernels aren't what they mean, Unix is the standard -- and mostly rightfully so -- and only few people1 think beyond the current [...] [...] operating systems engineering has been completely stuck in a rut in the last few decades: kernels aren't what they mean, Unix is the standard -- and mostly rightfully so -- and only few people1 think beyond the current [...]

]]>