davidjade Karma 412 Created 14 years ago Recent Submissions 1. ▲ Giving LLMs a Formal Reasoning Engine for Code Analysis (yogthos.net) 3 points · 27 days ago · 1 comment 2. ▲ Apple Shares 2024 App Store Data: Rejections, Removals, and More (macrumors.com) 2 points · 1 year ago · 0 comments All submissions on HN · View profile on HN