métier
Analystes en assurance qualité des logiciels et testeurs
description
Code review for the k23 microkernel — unsafe soundness, panic/alloc on critical paths, RISC-V atomic ordering, async cancellation, MMIO volatility, FFI/ABI, Wasm sandbox. Runs `just preflight` in the background and folds the result in. Trigger when the user…
Langue du texte source : anglais
mis à jour