Show HN: Why I'm building a graphical, simple Proof Assistant for kidssubstack.com2 ポイント·投稿者 tri2820·7 か月前·0 コメント
tri2820·10 か月前·議論This is such a cool project. Personally, I think there are so many interesting use cases that can be built on top of Wayland, like https://github.com/udevbe/greenfield and this
tri2820·昨年·議論Quite so, but not at that level of rigorous yet. However the interesting part is AI + prediction markets :)