Skip to content

Top Best Ask Show New Jobs

davidjade | Better HN

davidjade

412 karmaJoined July 12, 2011115 submissions

Recent submissions

1

Giving LLMs a Formal Reasoning Engine for Code Analysis (opens in new tab)

(yogthos.net)

3davidjade28d ago1

2

Apple Shares 2024 App Store Data: Rejections, Removals, and More (opens in new tab)

(macrumors.com)

2davidjade1y ago0

3

Simulate IoT Projects in the Browser (opens in new tab)

(wokwi.com)

2davidjade2y ago0

4

Swift Playgrounds for iPadOS 15 lets users code and submit apps to App Store (opens in new tab)

(appleinsider.com)

3davidjade5y ago0