mf_kevintruong | Dark Hacker News

1.	1 points by mf_kevintruong 50 days ago \| discuss
2.	1 points by mf_kevintruong 57 days ago \| discuss
3.	Show HN: Spur solver – Z3-backed model-finder solved values for coding agent(github.com) 1 points by mf_kevintruong 58 days ago \| 0 comments
4.	1 points by mf_kevintruong 61 days ago \| discuss
5.	1 points by mf_kevintruong 140 days ago \| discuss
6.	Sync local change or call command in remote side(github.com) 1 points by mf_kevintruong 5 years ago \| 0 comments
7.	Show HN: Noat.Cards I make a Quizlet/Anki alternative(noat.cards) 28 points by mf_kevintruong 5 years ago \| 7 comments
8.	Show HN: Noat.Cards – Open knowledge learning and sharing platform(noat.cards) 2 points by mf_kevintruong 5 years ago \| 8 comments