HN Explorer

ajdude

↗ HN profile [ 78.6 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. 12-year-old founds AI-powered receptionist business (businessinsider.com)
    1 points 0
  2. Language Design Impacts Security (adacore.com)
    3 points 1
  3. Which Copyleft Licence Is Suitable for an SVG? (shkspr.mobi)
    5 points 2
  4. Instructure Paid the Ransom (instructure.com)
    1 points 0
  5. Australia: Social media ban for youth has little effect (heise.de)
    4 points 1
  6. Formally Verified Hashed Sets in Ada Spark (adacore.com)
    1 points 0
  7. How to Create a Plug-In, in Ada (old.reddit.com)
    4 points 0
  8. The Undisputed Queen of Safe Programming (medium.com)
    2 points 0
  9. 1 points 0
  10. RAM Is Ruining Everything (theverge.com)
    9 points 1
  11. New AI slop signal: code blocks with weird indentation (xeiaso.net)
    22 points 1
  12. What did that teddy bear say? Study warns parents about AI toys (kron4.com)
    4 points 0
  13. There's No Rust on This Ironclad Kernel (hackaday.com)
    7 points 1
  14. Proving Safety at Scale: Spark, RISC-V, and Nvidia's Security Strategy (blog.adacore.com)
    4 points 0
  15. AI World Clocks (clocks.brianmoore.com)
    3 points 1
  16. Ask HN: Is AWS down again?

    There's nothing on health.aws.amazon.com but I'm getting reports of performance failure on systems that utilize AWS... Downdetector is also recording failure reports:…

    85 points 18
  17. 1 points 0
  18. Adding Modern Desktop Environment Options to Gloire (blog.ironclad-os.org)
    1 points 0
  19. Galaxy Ring battery scare leaves user stranded and hospitalized (androidauthority.com)
    2 points 0
  20. Kagi open sourced Ask: a bash script for quick AI queries in the shell (github.com)
    5 points 0
  21. CVC acquires majority stake in Namecheap for $1.5B (webhosting.today)
    91 points 16
  22. Updates to Discord's Policies (discord.com)
    2 points 0
  23. Google Fiber hands out duplicate IPv6 prefix delegations used by other customers (social.treehouse.systems)
    6 points 0
  24. Writing a competitive BZip2 encoder in Ada from scratch in a few days – part 2 (gautiersblog.blogspot.com)
    121 points 2
  25. The command line interface Guake provides (guake.readthedocs.io)
    1 points 0