tri2820

5 ms·

1.
by tri2820 11d ago
Would be interesting to have a summary for each ranked users too. I wonder if they have a theme in their submissions.
2.
Show HN: Why I'm building a graphical, simple Proof Assistant for kids(substack.com)
2 points by tri2820 9mo ago|0 comments
3.
by tri2820 1y ago
This 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
4.
by tri2820 2y ago
Quite so, but not at that level of rigorous yet. However the interesting part is AI + prediction markets :)
5.
Show HN: Open-source prediction markets with DeepSeek(github.com)
2 points by tri2820 2y ago|2 comments
6.
by tri2820 3y ago
That's a lot of questions ha ha, let me try to answer them: I have used libp2p a while ago (for another app), at that time libp2p WebRTC was not ready yet. Now that you mention it maybe I should check them out again. Currently I'm
7.
by tri2820 3y ago
It's encrypted directly on your browser, you can download the encryption key after file is uploaded. Not content-based (because the header is randomly generated & you keep the encryption key) but you can share to secret file to oth
8.
by tri2820 3y ago
I could link a helper script to download the file later
9.
by tri2820 3y ago
Sure
10.
by tri2820 3y ago
Yeah, I'm uploading it through NFTStorage gateway (your files then will be pinned by many nodes on IPFS network)
11.
Show HN: Encrypt and upload files to IPFS from browser(thirdcloud.org)
73 points by tri2820 3y ago|40 comments
12.
by tri2820 4y ago
What are the alternatives that you recommend?