Hacker News new | ask | show | jobs
user: tri2820
created: 2019-04-22
karma: 42

submissions:

Show HN: Why I'm building a graphical, simple Proof Assistant for kids
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: Open-source prediction markets with DeepSeek
2 points | 2 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: Encrypt and upload files to IPFS from browser
73 points | 40 comments
0 points | 0 comments