“Bad Apple!!” But It’s 3288 Lean Tactics Spamming VSCode (via eBPF) — discussion

#formalmethods #graphics