Post

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)

max

@notplants.net

in a sense: - disallow any function F - create new wrappers which call F in some specific ways that exclude some possibility Q - this is now a way to specify that Q never happens

8/10/26, 9:16 am0 reposts0 likes

max

@notplants.net

with clippy as my guide i walk in the valley of death and fear no evil for thou art with me between thy allow and thy forbid the path alone