mf_kevintruong

Karma: 13
Created: 5 years ago

Recent Submissions

1. ▲ Show HN: Spur solver – Z3-backed model-finder solved values for coding agent (github.com) 1 point · 2 months ago · 0 comments
2. ▲ Sync local change or call command in remote side (github.com) 1 point · 5 years ago · 0 comments
3. ▲ Show HN: Noat.Cards I make a Quizlet/Anki alternative (noat.cards) 28 points · 5 years ago · 7 comments
4. ▲ Show HN: Noat.Cards – Open knowledge learning and sharing platform (noat.cards) 2 points · 5 years ago · 8 comments

All submissions on HN · View profile on HN