Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
tri2820 | Dark Hacker News
user:
tri2820
created:
April 22, 2019
karma:
43
submissions
comments
1.
Show HN: Why I'm building a graphical, simple Proof Assistant for kids
(substack.com)
2 points
by
tri2820
264 days ago
|
0 comments
2.
Show HN: Open-source prediction markets with DeepSeek
(github.com)
2 points
by
tri2820
1 year ago
|
2 comments
3.
1 year ago
|
discuss
4.
Show HN: Encrypt and upload files to IPFS from browser
(thirdcloud.org)
73 points
by
tri2820
2 years ago
|
40 comments