HN Explorer

davidjade

↗ HN profile [ 67.9 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Giving LLMs a Formal Reasoning Engine for Code Analysis (yogthos.net)
    3 points 1
  2. Apple Shares 2024 App Store Data: Rejections, Removals, and More (macrumors.com)
    2 points 1
  3. Simulate IoT Projects in the Browser (wokwi.com)
    2 points 0
  4. Swift Playgrounds for iPadOS 15 lets users code and submit apps to App Store (appleinsider.com)
    3 points 0
  5. Microsoft revealed the latest truths about working from home (zdnet.com)
    6 points 1
  6. Show HN: MiniForth – A Minimal Forth (github.com)
    6 points 2
  7. Microsoft Upgrades Windows 10 Powers of Control (forbes.com)
    2 points 1
  8. Why Google Fiber will never come to Seattle (crosscut.com)
    134 points 93
  9. Robotic insects make first controlled flight (news.harvard.edu)
    3 points 0
  10. Leap Motion and Double Fine team on Dropchord, give air guitar skills an outlet (engadget.com)
    3 points 0
  11. Adobe announces CS6 upgrade pricing only for those who own CS5 (blogs.adobe.com)
    5 points 0