HN Explorer

mf_kevintruong

↗ HN profile [ 47.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. 1 points 0
  2. 1 points 0
  3. Show HN: Spur solver – Z3-backed model-finder solved values for coding agent (github.com)

    Hi guy, I am author of Spur , I want to share the Spur solver which is backed by z3 for neuro-symbolic reasoning, combining probabilistic language models with mathematical constraint solving The ideal here : LLM will…

    1 points 0
  4. 1 points 0
  5. 1 points 0
  6. Sync local change or call command in remote side (github.com)
    1 points 0
  7. Show HN: Noat.Cards I make a Quizlet/Anki alternative (noat.cards)
    28 points 7
  8. Show HN: Noat.Cards – Open knowledge learning and sharing platform (noat.cards)
    2 points 8