#microkernels — Public Fediverse posts

In a shocking revelation, it turns out that spending decades playing with #microkernels and rewriting code in obscure languages is the true path to #enlightenment. 🤯✨ Meanwhile, the rest of us are still trying to find the start button on our computers. 🙄🔍
https://www.abortretry.fail/p/the-qnx-operating-system #codingjourney #techhumor #programminglife #HackerNews #ngated

In a shocking revelation, it turns out that spending decades playing with #microkernels and rewriting code in obscure languages is the true path to #enlightenment. 🤯✨ Meanwhile, the rest of us are still trying to find the start button on our computers. 🙄🔍
https://www.abortretry.fail/p/the-qnx-operating-system #codingjourney #techhumor #programminglife #HackerNews #ngated

In a shocking revelation, it turns out that spending decades playing with #microkernels and rewriting code in obscure languages is the true path to #enlightenment. 🤯✨ Meanwhile, the rest of us are still trying to find the start button on our computers. 🙄🔍
https://www.abortretry.fail/p/the-qnx-operating-system #codingjourney #techhumor #programminglife #HackerNews #ngated

In a shocking revelation, it turns out that spending decades playing with #microkernels and rewriting code in obscure languages is the true path to #enlightenment. 🤯✨ Meanwhile, the rest of us are still trying to find the start button on our computers. 🙄🔍
https://www.abortretry.fail/p/the-qnx-operating-system #codingjourney #techhumor #programminglife #HackerNews #ngated

To the Apple fans:

Memory tagging is one of the 1970s-era technologies (Lisp Machines) that used hardware to strengthen security. For decades Apple played their part in trying to bury that legacy by normalizing naive system architectures that emphasized speed and sensationalism above all else (except for the Apple IIgs, which was non-fast for the sake of being slow). 🙃

Also, their announcement is more about reversing the ground iOS has lost to its two main competitors in China, who now use microkernel architectures that are considered more secure than iOS (even if they are probably backdoored). Xiaomi HyperOS is very interesting. https://techwireasia.com/2025/04/apples-market-share-in-china-plummets-9-as-xiaomi-reclaims-top-smartphone-spot/

The exploit market for iOS has become endemic (indicating an engineering culture in torpor), so I sincerely hope this long-overdue feature will make an impact.

I also hope western FOSS communities will sit up and take notice; the gaggle of prancing Linux/BSD fans around here clearly don't realize the ground has been shifting under their feet for years.

#apple #ios #iphone #ipad #infosec #hyperos #smartphone #spyware #malware #foss #microkernels

To the Apple fans:

Memory tagging is one of the 1970s-era technologies (Lisp Machines) that used hardware to strengthen security. For decades Apple played their part in trying to bury that legacy by normalizing naive system architectures that emphasized speed and sensationalism above all else (except for the Apple IIgs, which was non-fast for the sake of being slow). 🙃

Also, their announcement is more about reversing the ground iOS has lost to its two main competitors in China, who now use microkernel architectures that are considered more secure than iOS (even if they are probably backdoored). Xiaomi HyperOS is very interesting. https://techwireasia.com/2025/04/apples-market-share-in-china-plummets-9-as-xiaomi-reclaims-top-smartphone-spot/

The exploit market for iOS has become endemic (indicating an engineering culture in torpor), so I sincerely hope this long-overdue feature will make an impact.

I also hope western FOSS communities will sit up and take notice; the gaggle of prancing Linux/BSD fans around here clearly don't realize the ground has been shifting under their feet for years.

#apple #ios #iphone #ipad #infosec #hyperos #smartphone #spyware #malware #foss #microkernels

To the Apple fans:

Memory tagging is one of the 1970s-era technologies (Lisp Machines) that used hardware to strengthen security. For decades Apple played their part in trying to bury that legacy by normalizing naive system architectures that emphasized speed and sensationalism above all else (except for the Apple IIgs, which was non-fast for the sake of being slow). 🙃

Also, their announcement is more about reversing the ground iOS has lost to its two main competitors in China, who now use microkernel architectures that are considered more secure than iOS (even if they are probably backdoored). Xiaomi HyperOS is very interesting. https://techwireasia.com/2025/04/apples-market-share-in-china-plummets-9-as-xiaomi-reclaims-top-smartphone-spot/

The exploit market for iOS has become endemic (indicating an engineering culture in torpor), so I sincerely hope this long-overdue feature will make an impact.

I also hope western FOSS communities will sit up and take notice; the gaggle of prancing Linux/BSD fans around here clearly don't realize the ground has been shifting under their feet for years.

#apple #ios #iphone #ipad #infosec #hyperos #smartphone #spyware #malware #foss #microkernels

To the Apple fans:

Memory tagging is one of the 1970s-era technologies (Lisp Machines) that used hardware to strengthen security. For decades Apple played their part in trying to bury that legacy by normalizing naive system architectures that emphasized speed and sensationalism above all else (except for the Apple IIgs, which was non-fast for the sake of being slow). 🙃

Also, their announcement is more about reversing the ground iOS has lost to its two main competitors in China, who now use microkernel architectures that are considered more secure than iOS (even if they are probably backdoored). Xiaomi HyperOS is very interesting. https://techwireasia.com/2025/04/apples-market-share-in-china-plummets-9-as-xiaomi-reclaims-top-smartphone-spot/

The exploit market for iOS has become endemic (indicating an engineering culture in torpor), so I sincerely hope this long-overdue feature will make an impact.

I also hope western FOSS communities will sit up and take notice; the gaggle of prancing Linux/BSD fans around here clearly don't realize the ground has been shifting under their feet for years.

#apple #ios #iphone #ipad #infosec #hyperos #smartphone #spyware #malware #foss #microkernels

To the Apple fans:

Memory tagging is one of the 1970s-era technologies (Lisp Machines) that used hardware to strengthen security. For decades Apple played their part in trying to bury that legacy by normalizing naive system architectures that emphasized speed and sensationalism above all else (except for the Apple IIgs, which was non-fast for the sake of being slow). 🙃

Also, their announcement is more about reversing the ground iOS has lost to its two main competitors in China, who now use microkernel architectures that are considered more secure than iOS (even if they are probably backdoored). Xiaomi HyperOS is very interesting. https://techwireasia.com/2025/04/apples-market-share-in-china-plummets-9-as-xiaomi-reclaims-top-smartphone-spot/

The exploit market for iOS has become endemic (indicating an engineering culture in torpor), so I sincerely hope this long-overdue feature will make an impact.

I also hope western FOSS communities will sit up and take notice; the gaggle of prancing Linux/BSD fans around here clearly don't realize the ground has been shifting under their feet for years.

#apple #ios #iphone #ipad #infosec #hyperos #smartphone #spyware #malware #foss #microkernels

Как мы раскрыли внутреннюю архитектуру Flutter и затащили его на собственную платформу

Если вы разрабатываете мобильные приложения, то почти наверняка сталкивались с Flutter — мегапопулярным открытым фреймворком от Google. Наша команда Mobile SDK and Applications Development, конечно, тоже захотела использовать Flutter при создании приложений для KasperskyOS — собственной микроядерной операционной системы «Лаборатории Касперского» — но был нюанс… Особенности архитектуры KasperskyOS задают условия, при которых мы не можем пойти проторенными дорожками и свободно интегрировать фреймворк на своей платформе. Подсмотреть решения где-то вовне мы не можем тоже — таких кейсов в индустрии просто не было. А сам Google практически не раскрывает внутреннюю архитектуру Flutter. Так что интеграцию требовалось выстраивать с нуля. И мы залезли под капот Flutter и нашли решения, которые, с одной стороны, были бы удобны разработчикам, а с другой — устраивали бы нас с точки зрения безопасности и производительности. Если вы тоже разрабатываете приложения, где требуется разбираться во внутренней архитектуре Flutter, статья точно будет вам полезна — ныряйте под кат!

https://habr.com/ru/companies/kaspersky/articles/864200/

#flutter #operating_system #microkernels #crossplatform_mobile_programming #mobile_development #kasperskyos #wayland #разработка_приложений #android #android_development #ос #операционные_системы #операционная_система

Как мы раскрыли внутреннюю архитектуру Flutter и затащили его на собственную платформу

Если вы разрабатываете мобильные приложения, то почти наверняка сталкивались с Flutter — мегапопулярным открытым фреймворком от Google. Наша команда Mobile SDK and Applications Development, конечно, тоже захотела использовать Flutter при создании приложений для KasperskyOS — собственной микроядерной операционной системы «Лаборатории Касперского» — но был нюанс… Особенности архитектуры KasperskyOS задают условия, при которых мы не можем пойти проторенными дорожками и свободно интегрировать фреймворк на своей платформе. Подсмотреть решения где-то вовне мы не можем тоже — таких кейсов в индустрии просто не было. А сам Google практически не раскрывает внутреннюю архитектуру Flutter. Так что интеграцию требовалось выстраивать с нуля. И мы залезли под капот Flutter и нашли решения, которые, с одной стороны, были бы удобны разработчикам, а с другой — устраивали бы нас с точки зрения безопасности и производительности. Если вы тоже разрабатываете приложения, где требуется разбираться во внутренней архитектуре Flutter, статья точно будет вам полезна — ныряйте под кат!

https://habr.com/ru/companies/kaspersky/articles/864200/

#flutter #operating_system #microkernels #crossplatform_mobile_programming #mobile_development #kasperskyos #wayland #разработка_приложений #android #android_development #ос #операционные_системы #операционная_система

Как мы раскрыли внутреннюю архитектуру Flutter и затащили его на собственную платформу

Если вы разрабатываете мобильные приложения, то почти наверняка сталкивались с Flutter — мегапопулярным открытым фреймворком от Google. Наша команда Mobile SDK and Applications Development, конечно, тоже захотела использовать Flutter при создании приложений для KasperskyOS — собственной микроядерной операционной системы «Лаборатории Касперского» — но был нюанс… Особенности архитектуры KasperskyOS задают условия, при которых мы не можем пойти проторенными дорожками и свободно интегрировать фреймворк на своей платформе. Подсмотреть решения где-то вовне мы не можем тоже — таких кейсов в индустрии просто не было. А сам Google практически не раскрывает внутреннюю архитектуру Flutter. Так что интеграцию требовалось выстраивать с нуля. И мы залезли под капот Flutter и нашли решения, которые, с одной стороны, были бы удобны разработчикам, а с другой — устраивали бы нас с точки зрения безопасности и производительности. Если вы тоже разрабатываете приложения, где требуется разбираться во внутренней архитектуре Flutter, статья точно будет вам полезна — ныряйте под кат!

https://habr.com/ru/companies/kaspersky/articles/864200/

#flutter #operating_system #microkernels #crossplatform_mobile_programming #mobile_development #kasperskyos #wayland #разработка_приложений #android #android_development #ос #операционные_системы #операционная_система

Как мы раскрыли внутреннюю архитектуру Flutter и затащили его на собственную платформу

Если вы разрабатываете мобильные приложения, то почти наверняка сталкивались с Flutter — мегапопулярным открытым фреймворком от Google. Наша команда Mobile SDK and Applications Development, конечно, тоже захотела использовать Flutter при создании приложений для KasperskyOS — собственной микроядерной операционной системы «Лаборатории Касперского» — но был нюанс… Особенности архитектуры KasperskyOS задают условия, при которых мы не можем пойти проторенными дорожками и свободно интегрировать фреймворк на своей платформе. Подсмотреть решения где-то вовне мы не можем тоже — таких кейсов в индустрии просто не было. А сам Google практически не раскрывает внутреннюю архитектуру Flutter. Так что интеграцию требовалось выстраивать с нуля. И мы залезли под капот Flutter и нашли решения, которые, с одной стороны, были бы удобны разработчикам, а с другой — устраивали бы нас с точки зрения безопасности и производительности. Если вы тоже разрабатываете приложения, где требуется разбираться во внутренней архитектуре Flutter, статья точно будет вам полезна — ныряйте под кат!

https://habr.com/ru/companies/kaspersky/articles/864200/

#flutter #operating_system #microkernels #crossplatform_mobile_programming #mobile_development #kasperskyos #wayland #разработка_приложений #android #android_development #ос #операционные_системы #операционная_система

currently reading up on #microkernels, specifically #seL4, and have some questions. Would being written in a memory-safe language decrease the work required for implementation and binary proofs?

currently reading up on #microkernels, specifically #seL4, and have some questions. Would being written in a memory-safe language decrease the work required for implementation and binary proofs?

currently reading up on #microkernels, specifically #seL4, and have some questions. Would being written in a memory-safe language decrease the work required for implementation and binary proofs?

currently reading up on #microkernels, specifically #seL4, and have some questions. Would being written in a memory-safe language decrease the work required for implementation and binary proofs?

currently reading up on #microkernels, specifically #seL4, and have some questions. Would being written in a memory-safe language decrease the work required for implementation and binary proofs?

@d_run seems to be more than the usual level of activity around scheme right now. #Scheme, #Microkernels and capability based security hardware and protocols. All popping up at the moment. It’s like somebody read my birthday list.

@d_run seems to be more than the usual level of activity around scheme right now. #Scheme, #Microkernels and capability based security hardware and protocols. All popping up at the moment. It’s like somebody read my birthday list.

@d_run seems to be more than the usual level of activity around scheme right now. #Scheme, #Microkernels and capability based security hardware and protocols. All popping up at the moment. It’s like somebody read my birthday list.

@d_run seems to be more than the usual level of activity around scheme right now. #Scheme, #Microkernels and capability based security hardware and protocols. All popping up at the moment. It’s like somebody read my birthday list.

@d_run seems to be more than the usual level of activity around scheme right now. #Scheme, #Microkernels and capability based security hardware and protocols. All popping up at the moment. It’s like somebody read my birthday list.

@claudiom "HarmonyOS’ IPC performance is five times that of Google’s Fuchsia" - intelesting. IPC tends to be expensive with #microkernels.