Viewing profile — tri2820

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 definiti…

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

Quite so, but not at that level of rigorous yet. However the interesting part is AI + prediction markets :)

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 bui…

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 …

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 encr…

I could link a helper script to download the file later

Sure

Yeah, I'm uploading it through NFTStorage gateway (your files then will be pinned by many nodes on IPFS network)

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 featur…

What are the alternatives that you recommend?