Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
davidjade | Dark Hacker News
user:
davidjade
created:
July 12, 2011
karma:
412
submissions
comments
1.
Giving LLMs a Formal Reasoning Engine for Code Analysis
(yogthos.net)
3 points
by
davidjade
35 days ago
|
1 comment
2.
Apple Shares 2024 App Store Data: Rejections, Removals, and More
(macrumors.com)
2 points
by
davidjade
1 year ago
|
0 comments