Post #4143149

@ohad@mathstodon.xyz You know, I've been making two arguments that felt very different for some time now: - Verification systems can be made more effective by using a worse but more conventional probability theory, because there are fewer open problems you need to solve before using the tool. - The increasing expectations for papers to be formally verified will disadvantage interesting new ideas in favour of the status quo. It is now occurring to me, through your post, that the former quite is a compelling example for the latter. @gallais@mamot.fr