ハードリアルタイムな処理がチューリング完全でない言語で証明付きで書かれてたりしたら安心感あるなと思うんですが、そんなことはないんでしょうね(とはいえ形式証明くらい付いてても不思議ではないが、そっちの業界のことはわからん)
Mastodonに参加して、世界で起きていることを見つけよう。
連合内の誰でもフォローして投稿を時系列で見ることができます。アルゴリズム、広告、クリックベイトはありません。