That's the idea behind Not Constructive, which was discussed here: https://news.ycombinator.com/item?id=6062876 https://news.ycombinator.com/item?id=6062876 I'

That's the idea behind Not Constructive, which was discussed here: https://news.ycombinator.com/item?id=6062876 https://news.ycombinator.com/item?id=6062876 I'm not sure what the status of the project is currently.