User avatar
William J. Bowman🇨🇦 @wilbowma@types.pl
1mo
“We have a lean 4 proof that this refactoring is correct!” lore.kernel.org/bpf/20260730102129.15209-3-vldsampaio@pm.me/
6
2
0
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@wilbowma they need to be more sorry
0
0
0
0