はてなまとめ - 日本企業がサーバーに侵入されまくっている現状を鑑み、「絶対無敵を目指すOS」を作ってみた。耐量子暗号HTTPSサーバー専用OS

1: bot2 2026/10/18 18:10

絶対無敵ならRisingOSという名前にしておいてほしかった

2: nguyen-oi 2026/10/18 18:10

清水亮節全開だけどseL4とKaniで形式検証までやってるのは普通に興味深い、実機でどこまで動くか見ものだな

3: kittyama 2026/10/18 18:27

ライジンオーかよ！

4: figu 2026/10/18 18:37

などと書いている記事でWordPressのテーマファイルが出しているエラーが表示されとるのは…

5: minamihiroharu 2026/10/18 19:31

「従来のコンピュータシステムは、まず機能を実現するために作られ、その後からセキュリティ対策が追加されることが多かった」　これはその通りかも。

6: knjname 2026/10/18 19:45

seL4かな？と思ったらそうだった　これで垂直統合でバッファコピーなしで最強バックエンドは一つの到達点と思います

7: Shinwiki 2026/10/18 19:59

wwwwww すごい強いosあるよ。msdos

8: suka6411144 2026/10/18 20:06

最近むしろホストPCの方が安全ではないかと思うことある

9: hylom 2026/10/18 20:45

一昔前に「ソースを公開していないから安全、攻撃事例ありません」と主張するHTTPサーバーがあったのだが単に誰も使ってなかったから狙われてなかっただけではないかという話があったのを思い出した

10: yoiIT 2026/10/18 20:55

WordPressのerror出てて、フフッってなった。

11: versatile 2026/10/18 21:50

もうあきらめよう。これからは侵入される前提でサービスをつくるのだ。

12: fuji_haruka 2026/10/18 21:53

安全なOSを作るというのは需要ありそう

13: harumaki_net 2026/10/18 22:02

まずfunctions.phpのエラーを直そう。あと画像切れも。ただページによって出たり出なかったりだな…

14: hhungry 2026/10/18 22:33

インターネットにも外部ストレージも繋がらないシステムを使おう

15: kkobayashi 2026/10/19 05:00

OSがセキュアだとしても上に乗るシステムがザルだったらデータ流出するのでは・・・

16: hogetax 2026/10/19 05:20

【メモ】OpenBSD、Qubes OS、Tailsあたりが競合？HTTPSサーバだから別？

17: circled 2026/10/19 06:02

最強OSなど作らず、単にネットに晒さなきゃ良い

18: prjpn 2026/10/19 08:39

ChatGPTに名前決めさせてClaudeでコーディングしたということ？

19: knok 2026/10/19 08:57

SQLインジェクションみたいなのや設計の甘さでデータが漏れるケースがここのところのインシデントの多数を占めてると思うのでOSでできることは少なそうだ

20: mori_oh 2026/10/19 17:13

設計が甘いなー