bluesky — max — 8 Oct 2026
its kind of funny that something named clippy also casually moonlights as a very useful formal verification tool (in so…
#formal-verification #ai-systems #tools
its kind of funny that something named clippy also casually moonlights as a very useful formal verification tool (in so far as intent can be encoded into disallowed methods)