Hackernews posts about IKOS

  1. IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com)
    18 points by u1hcw9nx 16 days ago | 1 comments
  2. Apple to soon take up to 30% cut from all Patreon creators in iOS app (www.macrumors.com)
    1114 points by pier25 7 days ago | 914 comments
  3. Show HN: An iOS budget app I've been maintaining since 2011 (primoco.me)
    159 points by Priotecs 22 days ago | 59 comments
  4. Apple Withdraws iOS 18 Security Updates (www.forbes.com)
    40 points by zaltekk 24 days ago | 25 comments
  5. Show HN: Microwave – Native iOS app for videos on ATproto (testflight.apple.com)
    36 points by sinned 22 days ago | 10 comments
  6. My Beef with the iOS 26 Tab Bar (ryanashcraft.com)
    22 points by ksec 24 days ago | discuss
  7. Show HN: App to spoof GPS location on iOS without jailbreaking (github.com)
    21 points by acheong08 17 days ago | 4 comments
  8. Apple Says 'Pixelmator' App on iOS Will No Longer Receive Updates (www.macrumors.com)
    15 points by tosh 22 days ago | 5 comments
  9. iOS 26 Shows Unusually Slow Adoption Months After Release (www.macrumors.com)
    11 points by latexr 26 days ago | 7 comments
  10. iOS 26.3 Adds Privacy Setting to Limit Carrier Location Tracking (www.macrumors.com)
    11 points by dmmalam 8 days ago | 2 comments
  11. iOS 26 still struggles to gain traction with iPhone users (www.cultofmac.com)
    10 points by layer8 26 days ago | 4 comments
  12. The iOS 26 Adoption Rate Is Not Bizarrely Low Compared to Previous Years (daringfireball.net)
    7 points by chmaynard 10 days ago | 1 comments
  13. Show HN: A 4.8MB native iOS voice notes app built with SwiftUI (apps.apple.com)
    7 points by karamalaskar 8 days ago | discuss
  14. The news media blew it again: iOS 26 adoption measured only third-party browsers (lapcatsoftware.com)
    7 points by frizlab 23 days ago | discuss
  15. End-to-End Encrypted RCS Messages Referenced in Latest iOS 26.3 Beta (twitter.com)
    6 points by 7777777phil 21 days ago | discuss
  16. Slow iOS 26 Adoption (mjtsai.com)
    6 points by SoKamil 24 days ago | discuss
  17. Ask HN: Has the macOS design become too iOS-like?
    5 points by Austin_Conlon 12 days ago | 3 comments
  18. Are people avoiding iOS 26 because of Liquid Glass? It's complicated (arstechnica.com)
    5 points by mindracer 18 days ago | 1 comments
  19. Apple reportedly replacing Siri interface with chatbot experience for iOS 27 (9to5mac.com)
    5 points by badc0ffee 13 days ago | discuss
  20. Bloom: An iOS inspired pull down menu for the web (joshpuckett.me)
    5 points by eustoria 23 days ago | discuss
  21. iOS 26 Shows Unusually Slow Adoption Months After Release (www.macrumors.com)
    5 points by m463 25 days ago | discuss
  22. I'm an apprentice electrician. I built this iOS app using only Claude
    4 points by discovrapp 8 days ago | 2 comments
  23. I ran an LLM on iOS to build another privacy focused notes app (drive.google.com)
    4 points by moeen-mahmud 3 days ago | 1 comments
  24. CachyOS newest release drops X11 for Wayland in Live ISOs (www.neowin.net)
    4 points by bundie 10 days ago | discuss
  25. Show HN: iOS app I made to track my anxiety (mudoapp.com)
    4 points by adictonator 14 days ago | discuss
  26. Alarm is sacred, must not fail, but iOS 26 is wicked (rakhim.exotext.com)
    4 points by 7777777phil 16 days ago | discuss
  27. MacPaw Pulls Plug on Setapp Mobile iOS Store (www.macrumors.com)
    4 points by thm 20 days ago | discuss
  28. Show HN: HackTheNews – iOS 26 Liquid Glass Hacker News Client with AI Summaries (apps.apple.com)
    3 points by redwheelbarr0w 30 days ago | 7 comments
  29. Show HN: I built an iOS app with all 5 major AI models for $13/mo (www.chatxos.com)
    3 points by jsontsx 13 days ago | 6 comments
  30. Show HN: NativeLine – Build native iOS apps through conversation (Swift only)
    3 points by Nativeline 15 days ago | 2 comments
More