HN
Hacker News
Top
New
Best
Ask
Show
Jobs
tri2820
43 karma · joined April 22, 2019
submissions
comments
Show HN: Why I'm building a graphical, simple Proof Assistant for kids
substack.com
·
2 pts
·
tri2820
·
0
Show HN: Open-source prediction markets with DeepSeek
github.com
·
2 pts
·
tri2820
·
2
Show HN: Encrypt and upload files to IPFS from browser
thirdcloud.org
·
73 pts
·
tri2820
·
40