Show HN: Why I'm building a graphical, simple Proof Assistant for kidssubstack.com2 points·by tri2820·7 माह पहले·0 comments
Show HN: Open-source prediction markets with DeepSeekgithub.com2 points·by tri2820·पिछला वर्ष·2 comments
tri2820·10 माह पहले·discussThis 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·पिछला वर्ष·discussQuite so, but not at that level of rigorous yet. However the interesting part is AI + prediction markets :)