seL4 nejbezpečnější mikrojádro dneška? (diskuse)

[dnes 08:39 dario]

Bezpecne mikrojadro claude oneshotne do pul hodiny mezitim co budu sledovat serialy.

[mirefek]

O tom jsem slyšel -- že to je formálně (matematicky) verifikované. Takže jo, je to vskutku nejbezpečnejší, ale jestli se to dá pro něco opravdu použít, si jistý nejsem. Ale rozhodně jsem zvědavý -- když to zkusíš, tak dej vědět.