1Show HN: Why I'm building a graphical, simple Proof Assistant for kids (opens in new tab)(substack.com)2tri28206mo ago0Save
2Show HN: Open-source prediction markets with DeepSeek (opens in new tab)(github.com)GitHub2tri28201y ago2Save
3Show HN: Encrypt and upload files to IPFS from browser (opens in new tab)(thirdcloud.org)73tri28202y ago40Save
