tri2820

Karma: 43
Created: 7 years ago

Recent Submissions

1. ▲ Show HN: Why I'm building a graphical, simple Proof Assistant for kids (substack.com) 2 points · 9 months ago · 0 comments
2. ▲ Show HN: Open-source prediction markets with DeepSeek (github.com) 2 points · 1 year ago · 2 comments
3. ▲ Show HN: Encrypt and upload files to IPFS from browser (thirdcloud.org) 73 points · 2 years ago · 40 comments

All submissions on HN · View profile on HN