Voy a quemar todo lo que no sea RISC-V y me voy a ir al monte con libros de rfcs, microkernels, rust y elixir o algo y mi legado será HolyP(sycosis).
November 5, 2026 at 10:19 AM
Voy a quemar todo lo que no sea RISC-V y me voy a ir al monte con libros de rfcs, microkernels, rust y elixir o algo y mi legado será HolyP(sycosis).
That led straight into the architecture debate: does fixing this require ripping out C for Rust, moving to microkernels like seL4, or accepting that as long as we want Linux performance, automated bug finders are just the cost of doing business? 4/4
November 5, 2026 at 2:00 PM
That led straight into the architecture debate: does fixing this require ripping out C for Rust, moving to microkernels like seL4, or accepting that as long as we want Linux performance, automated bug finders are just the cost of doing business? 4/4
October 29, 2026 at 4:14 PM
Ive set my clock back to 7:43AM, November 1, 2006. Time to admit that Macrokernels are a bust and Microkernels with daemons implemented in Guile are the way to go, so that 20 years from now we can all benefit.
November 1, 2026 at 3:49 PM
Ive set my clock back to 7:43AM, November 1, 2006. Time to admit that Macrokernels are a bust and Microkernels with daemons implemented in Guile are the way to go, so that 20 years from now we can all benefit.
Was it MINIX or Hurd that was used as a really tangible demonstration of how inefficient microkernels typically are by showing how they couldn't achieve any higher than 9600 baud on a serial port while running on 2000s computers
October 30, 2026 at 8:23 PM
Was it MINIX or Hurd that was used as a really tangible demonstration of how inefficient microkernels typically are by showing how they couldn't achieve any higher than 9600 baud on a serial port while running on 2000s computers
Xu, Zhang, Li, Nie, Zhu, Lu, Zhang, Zhao, Chen, Hou: safeL4: Rethinking Safe-Language-Based Single Address Space Microkernels https://arxiv.org/abs/2610.35999 https://arxiv.org/pdf/2610.35999 https://arxiv.org/html/2610.35999
October 28, 2026 at 6:43 AM
Xu, Zhang, Li, Nie, Zhu, Lu, Zhang, Zhao, Chen, Hou: safeL4: Rethinking Safe-Language-Based Single Address Space Microkernels https://arxiv.org/abs/2610.35999 https://arxiv.org/pdf/2610.35999 https://arxiv.org/html/2610.35999
3.5 Trillion-Dollar 'Cognitive Engine' Operating at 99.8% Capacity Rendering Bespoke VTuber Outfits, Executives Confirm
morgyn.io/satire/cogni...
morgyn.io/satire/cogni...
Satire: Trillion-Dollar AI Cluster Spends 99.8% of Its Compute on One VTuber's Outfits | Morgyn I/O
Satire. A frontier AI cluster that could translate Sumerian and write microkernels is instead rendering a VTuber's maid apron physics for an audience of three raccoons and a bot.
morgyn.io
October 21, 2026 at 1:43 AM
3.5 Trillion-Dollar 'Cognitive Engine' Operating at 99.8% Capacity Rendering Bespoke VTuber Outfits, Executives Confirm
morgyn.io/satire/cogni...
morgyn.io/satire/cogni...
Who said anything about online?
Even online, systems built on seL4 microkernels (such as Boeing’s autonomous Little Bird helicopter tests) have resisted all remote code execution attempts during adversarial penetration tests
Even online, systems built on seL4 microkernels (such as Boeing’s autonomous Little Bird helicopter tests) have resisted all remote code execution attempts during adversarial penetration tests
October 13, 2026 at 5:40 PM
Who said anything about online?
Even online, systems built on seL4 microkernels (such as Boeing’s autonomous Little Bird helicopter tests) have resisted all remote code execution attempts during adversarial penetration tests
Even online, systems built on seL4 microkernels (such as Boeing’s autonomous Little Bird helicopter tests) have resisted all remote code execution attempts during adversarial penetration tests
I think sandboxing is something we don't want to lose
of course in a perfect world we would have microkernels or whatever but I'm trying to imagine a pragmatic path
of course in a perfect world we would have microkernels or whatever but I'm trying to imagine a pragmatic path
September 26, 2026 at 9:41 PM
I think sandboxing is something we don't want to lose
of course in a perfect world we would have microkernels or whatever but I'm trying to imagine a pragmatic path
of course in a perfect world we would have microkernels or whatever but I'm trying to imagine a pragmatic path
i want more microkernels and simpler systems
September 18, 2026 at 8:39 PM
i want more microkernels and simpler systems
this is about microkernels right paul
September 13, 2026 at 8:23 PM
this is about microkernels right paul
OK, seems Minix is dead, and the comments I've just been reading on a post about that seem to indicate issues with scalability when using microkernels. So I had missed something. I'm not interested enough to dig any deeper into the benefits and negatives of either kernel option. Nice idea though.
September 12, 2026 at 4:07 PM
OK, seems Minix is dead, and the comments I've just been reading on a post about that seem to indicate issues with scalability when using microkernels. So I had missed something. I'm not interested enough to dig any deeper into the benefits and negatives of either kernel option. Nice idea though.
I suppose OS's like Linux and Windows have one foot in the past, when the processing overhead of microkernels had more of an impact to the end user experience. Maybe its time for an industry rethink.
Yes a more stable OS at the cost of processing overhead isn't going to suit everyone's needs!
Yes a more stable OS at the cost of processing overhead isn't going to suit everyone's needs!
September 12, 2026 at 3:49 PM
I suppose OS's like Linux and Windows have one foot in the past, when the processing overhead of microkernels had more of an impact to the end user experience. Maybe its time for an industry rethink.
Yes a more stable OS at the cost of processing overhead isn't going to suit everyone's needs!
Yes a more stable OS at the cost of processing overhead isn't going to suit everyone's needs!
Just read this article and now asking myself why don't most customer OS's use microkernels? Unless I'm mussing something this just makes sense. For the most part we have more processing power than we need so the overhead isn't important. www.linux-magazine.com/Online/News/...
Why Can't Computers Just Work All the Time? » Linux Magazine
The feud between Minix inventor and operating system czar Andrew W. Tanenbaum and Linux Torvalds is legendary in the OS world. Before Linux there w...
www.linux-magazine.com
September 12, 2026 at 3:45 PM
Just read this article and now asking myself why don't most customer OS's use microkernels? Unless I'm mussing something this just makes sense. For the most part we have more processing power than we need so the overhead isn't important. www.linux-magazine.com/Online/News/...
i now realize why microkernels are a thing. i wish they were more popular.
September 9, 2026 at 5:53 PM
i now realize why microkernels are a thing. i wish they were more popular.
Yeah, and GNU Hurd largely failed to launch too. So microkernels really got steamrolled by Linux.
August 19, 2026 at 5:30 AM
Yeah, and GNU Hurd largely failed to launch too. So microkernels really got steamrolled by Linux.
The problem with microkernels is that they still have a kernel and that makes message passing too literal
August 18, 2026 at 9:23 AM
The problem with microkernels is that they still have a kernel and that makes message passing too literal
I'm super curious about #HarmonyOS/#OpenHarmony. Neat distributed computing ideas, microkernels, a bundled enhanced typescript system.
But also... what a bunch of silly gates to hop Huawei makes one go through. No you don't get to see a bank statement on me!
But also... what a bunch of silly gates to hop Huawei makes one go through. No you don't get to see a bank statement on me!
January 5, 2024 at 6:19 PM
I'm super curious about #HarmonyOS/#OpenHarmony. Neat distributed computing ideas, microkernels, a bundled enhanced typescript system.
But also... what a bunch of silly gates to hop Huawei makes one go through. No you don't get to see a bank statement on me!
But also... what a bunch of silly gates to hop Huawei makes one go through. No you don't get to see a bank statement on me!
kubernetes and docker and microservices and such... it's all just reproducing the early 90's microkernel architecture... we didn't leave microkernels behind, we just made our hardware so big that Linux is basically a microkernel controlling a herd of containerized daemons #computerscience #hottake
October 7, 2025 at 11:47 PM
kubernetes and docker and microservices and such... it's all just reproducing the early 90's microkernel architecture... we didn't leave microkernels behind, we just made our hardware so big that Linux is basically a microkernel controlling a herd of containerized daemons #computerscience #hottake
🚀 Hiring an OS/Kernel Developer at Redox OS (Remote)!
🔧 Tech: Rust, Microkernels, Device Drivers, Systems Programming
💬 Must have Rust expertise, OS internals & open-source contributions.
#Rust #OperatingSystems #OpenSource
aihackerjobs.com/company/redo...
🔧 Tech: Rust, Microkernels, Device Drivers, Systems Programming
💬 Must have Rust expertise, OS internals & open-source contributions.
#Rust #OperatingSystems #OpenSource
aihackerjobs.com/company/redo...
Redox OS Job - OS/Kernel Developer · AI Hacker Jobs
OS/Kernel Developer at Redox OS - Rust, Kernel Development, Microkernel, Systems Programming, Device Drivers, Operating Systems, Low-Level Programming, Performance Optimization, Security | Apply now o...
aihackerjobs.com
August 29, 2025 at 12:58 PM
🚀 Hiring an OS/Kernel Developer at Redox OS (Remote)!
🔧 Tech: Rust, Microkernels, Device Drivers, Systems Programming
💬 Must have Rust expertise, OS internals & open-source contributions.
#Rust #OperatingSystems #OpenSource
aihackerjobs.com/company/redo...
🔧 Tech: Rust, Microkernels, Device Drivers, Systems Programming
💬 Must have Rust expertise, OS internals & open-source contributions.
#Rust #OperatingSystems #OpenSource
aihackerjobs.com/company/redo...
Writing a RISC-V OS From Scratch If you read Japanese, you might have seen the book “Design and...
https://hackaday.com/2025/01/09/writing-a-risc-v-os-from-scratch/
#Software #Development #operating #system #RISC-V
Event Attributes
https://hackaday.com/2025/01/09/writing-a-risc-v-os-from-scratch/
#Software #Development #operating #system #RISC-V
Event Attributes
Writing a RISC-V OS From Scratch
<div><img alt="" class="attachment-large size-large wp-post-image" height="546" src="https://hackaday.com/wp-content/uploads/2025/01/os.png?w=800" style="margin: 0 auto; margin-bottom: 15px;" width="800" /></div>If you read Japanese, you might have seen the book “Design and Implementation of Microkernels” by [Nu Tian Sheng]. An appendix covers how to write your own operating system for <a class="read-more" href="https://hackaday.com/2025/01/09/writing-a-risc-v-os-from-scratch/">…read more</a>
hackaday.com
January 10, 2025 at 6:51 AM
Writing a RISC-V OS From Scratch If you read Japanese, you might have seen the book “Design and...
https://hackaday.com/2025/01/09/writing-a-risc-v-os-from-scratch/
#Software #Development #operating #system #RISC-V
Event Attributes
https://hackaday.com/2025/01/09/writing-a-risc-v-os-from-scratch/
#Software #Development #operating #system #RISC-V
Event Attributes
Writing a RISC-V OS From Scratch If you read Japanese, you might have seen the book “Design and...
https://hackaday.com/2025/01/09/writing-a-risc-v-os-from-scratch/
#Software #Development #operating #system #RISC-V
Event Attributes
https://hackaday.com/2025/01/09/writing-a-risc-v-os-from-scratch/
#Software #Development #operating #system #RISC-V
Event Attributes
Writing a RISC-V OS From Scratch
<div><img alt="" class="attachment-large size-large wp-post-image" height="546" src="https://hackaday.com/wp-content/uploads/2025/01/os.png?w=800" style="margin: 0 auto; margin-bottom: 15px;" width="800" /></div>If you read Japanese, you might have seen the book “Design and Implementation of Microkernels” by [Nu Tian Sheng]. An appendix covers how to write your own operating system for <a class="read-more" href="https://hackaday.com/2025/01/09/writing-a-risc-v-os-from-scratch/">…read more</a>
hackaday.com
January 9, 2025 at 8:59 PM
Writing a RISC-V OS From Scratch If you read Japanese, you might have seen the book “Design and...
https://hackaday.com/2025/01/09/writing-a-risc-v-os-from-scratch/
#Software #Development #operating #system #RISC-V
Event Attributes
https://hackaday.com/2025/01/09/writing-a-risc-v-os-from-scratch/
#Software #Development #operating #system #RISC-V
Event Attributes
Writing a RISC-V OS From Scratch If you read Japanese, you might have seen the book “Design and...
https://hackaday.com/2025/01/09/writing-a-risc-v-os-from-scratch/
#Software #Development #operating #system #RISC-V
Event Attributes
https://hackaday.com/2025/01/09/writing-a-risc-v-os-from-scratch/
#Software #Development #operating #system #RISC-V
Event Attributes
Writing a RISC-V OS From Scratch
<div><img alt="" class="attachment-large size-large wp-post-image" height="546" src="https://hackaday.com/wp-content/uploads/2025/01/os.png?w=800" style="margin: 0 auto; margin-bottom: 15px;" width="800" /></div>If you read Japanese, you might have seen the book “Design and Implementation of Microkernels” by [Nu Tian Sheng]. An appendix covers how to write your own operating system for <a class="read-more" href="https://hackaday.com/2025/01/09/writing-a-risc-v-os-from-scratch/">…read more</a>
hackaday.com
January 9, 2025 at 6:16 PM
Writing a RISC-V OS From Scratch If you read Japanese, you might have seen the book “Design and...
https://hackaday.com/2025/01/09/writing-a-risc-v-os-from-scratch/
#Software #Development #operating #system #RISC-V
Event Attributes
https://hackaday.com/2025/01/09/writing-a-risc-v-os-from-scratch/
#Software #Development #operating #system #RISC-V
Event Attributes
