burcsahinoglu Karma 1 Created 14 years ago Recent Submissions 1. ▲ Show HN: Llmll – AI agents fill typed holes, an SMT solver rejects wrong fills (github.com) 1 point · 8 days ago · 0 comments All submissions on HN · View profile on HN