HN Explorer

tri2820

↗ HN profile [ 67.9 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