News for hackers. Stuff that matters.

tri2820

Re:Show HN: Getting to the top of Show HN is getting harder on Sunday September 06, 2026 @11:10AM (#49587237)
Would be interesting to have a summary for each ranked users too. I wonder if they have a theme in their submissions.

Show HN: Why I'm building a graphical, simple Proof Assistant for kids

https://substack.com/inbox/post/181868197

Why HN,I'm embarking on a journey to build an intuitive, graphical Proof Assistant. Wish me luck! The idea came when I saw my sister struggling to keep track of different definitions and theorems while studying Euclidean geometry. I wanted to give those abstract ideas a shape. Something she can easily see and interact with.In the blog, I’ve included some screenshots of how I imagine it would...

( Read More... | no comments | on HN )
Re:Show HN: Run any GUI app in the terminal with term.everything on Tuesday September 09, 2025 @04:00PM (#45187943)
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
Re:Show HN: Open-source prediction markets with DeepSeek on Wednesday February 05, 2025 @10:23AM (#42949748)
Quite so, but not at that level of rigorous yet. However the interesting part is AI + prediction markets :)

Show HN: Open-source prediction markets with DeepSeek

https://github.com/tri2820/imply

Hi HN, I'm building imply.app – a platform that makes prediction markets easy to use for anyone in the world. The goal is to simplify market participation with AI.So far, I've built:1. A simple automated market maker2. An AI researcher that can process news and create marketsI initially used DeepSeek but switched to its distilled version due to high API latency.Would love your thoughts! You get...

( Read More... | 2 comments | 2 points | on HN )
Re:Show HN: Encrypt and upload files to IPFS from browser on Saturday October 28, 2023 @01:42AM (#38047462)
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 hosting on Vercel. I tried not to put too much thought into making the app 100% secure but rather only secure enough for a "normal" user (making file upload encrypted by default is what I think needed to make IPFS usable for them). There are potential problems that you listed there that may or may not be solved by offering a frozen versions of of this app on IPFS itself. No idea how to solve compromised browser env / hardware. It's really a rabbit hole.

About migration, I will add a simple Python snippet to fetch the files so you don't have to visit the site.

Multi-user access: I think the hard part is to allow revoking access. Once someone has successfully decrypted and read the file, they already can download and keep a copy of it. So the only thing I could do is to stop them from continuing accessing the file through ThirdCloud services (maybe just by revoking a particular share key). The tech you are doing seems to be about signaling nodes to revoke the share keys (or more like "revoking by default" - only give access after checking back with your main node)?

Have not thought much about UI/UX. I just like the fact that my files now are now 100% not locked down (while still being super convenient to access). Remind me of the time when I keep an offline collection of mp3 songs and can upload them to different mp3 players (but now I don't have to upload because it's already in the cloud). Maybe letting ThirdCloud having an extension ecosystem is the path?

--- About the job, have reached out to you on LinkedIn. Not sure how this turns out but would just love to say hi.

Re:Show HN: Encrypt and upload files to IPFS from browser on Friday October 27, 2023 @01:58PM (#38041742)
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 others and they will be able to download the file.

Files are pinned mainly by NFTStorage.

Currently it's free because NFTStorage is free. If things change I would allow buying storage using Filecoin (~$0.2/TB/month).

Re:Show HN: Encrypt and upload files to IPFS from browser on Friday October 27, 2023 @01:49PM (#38041618)
I could link a helper script to download the file later
Re:Show HN: Encrypt and upload files to IPFS from browser on Friday October 27, 2023 @01:47PM (#38041601)
Sure
Re:Show HN: Encrypt and upload files to IPFS from browser on Friday October 27, 2023 @01:45PM (#38041563)
Yeah, I'm uploading it through NFTStorage gateway (your files then will be pinned by many nodes on IPFS network)

Show HN: Encrypt and upload files to IPFS from browser

https://www.thirdcloud.org/

Hi HN, I'm building ThirdCloud with the goal to replace Google Drive for everyone: more private, cheaper & maybe better UI/UX.So far, I've successfully implemented the main feature, which involves uploading and downloading files. Files are encrypted before being sent to IPFS network.Would like to hear your thoughts on this proof of concept.

( Read More... | 40 comments | 2 points | on HN )
Re:Will Europe Force a Facebook Blackout? on Wednesday August 10, 2022 @11:13AM (#32413335)
What are the alternatives that you recommend?