Conversation

Notices

まちカドおるみん御嬢様 (orumin@mstdn.maud.io)'s status on Sunday, 23-May-2021 04:05:06 JST まちカドおるみん御嬢様

えっマジ？ >> CSIRO's seL4 project shut down [LWN.net] https://lwn.net/Articles/856934/
In conversation Sunday, 23-May-2021 04:05:06 JST from mstdn.maud.io permalink
Attachments
1. CSIRO's seL4 project shut down
  
  In 2018, LWN covered a talk by Gernot Heiser about the seL4 project, which has developed an open-source operating system for safety-critical applications and gone to the trouble of proving its correctness. Much of that work has been done at CSIRO in Australia. Heiser has announced via Twitter that CSIRO's support for this project is being shut down, with the staff being redirected to artificial-intelligence projects. Hopefully the seL4 Foundation, established in 2020, will be able to carry on this interesting work.
- まちカドおるみん御嬢様 (orumin@mstdn.maud.io)'s status on Sunday, 23-May-2021 04:05:26 JST まちカドおるみん御嬢様
  in reply to
  - Masanori Ogino 𓀁
  @omasanori
  
  In conversation Sunday, 23-May-2021 04:05:26 JST permalink
- Masanori Ogino 𓀁 (omasanori@mstdn.maud.io)'s status on Sunday, 23-May-2021 05:46:36 JST Masanori Ogino 𓀁
  in reply to
  
  @orumin seL4 Foundationを立ち上げたのもこれに向けた準備説ありますね
  
  In conversation Sunday, 23-May-2021 05:46:36 JST permalink
- まちカドおるみん御嬢様 (orumin@mstdn.maud.io)'s status on Sunday, 23-May-2021 10:46:58 JST まちカドおるみん御嬢様
  in reply to
  - Masanori Ogino 𓀁
  @omasanori たぶんそうなのかなあ。CSIRO が研究の主体としてやるんじゃなくて Foundation の OSS としてやってく姿勢打ち出したのにやや驚愕しました
  
  In conversation Sunday, 23-May-2021 10:46:58 JST permalink

Public

Conversation

Notices