HN Explorer

tri2820

↗ HN profile [ 36.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Why I'm building a graphical, simple Proof Assistant for kids (substack.com)

    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…

    2 points 0
  2. Show HN: Open-source prediction markets with DeepSeek (github.com)

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

    2 points 2
  3. Show HN: Encrypt and upload files to IPFS from browser (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…

    73 points 42