| 1. | | CVC acquires majority stake in Namecheap for $1.5B (webhosting.today) |
| 91 points by ajdude 4 days ago | past | 48 comments |
|
| 2. | | Updates to Discord's Policies (discord.com) |
| 2 points by ajdude 17 days ago | past |
|
| 3. | | Google Fiber hands out duplicate IPv6 prefix delegations used by other customers (treehouse.systems) |
| 6 points by ajdude 35 days ago | past |
|
| 4. | | Writing a competitive BZip2 encoder in Ada from scratch in a few days – part 2 (gautiersblog.blogspot.com) |
| 121 points by ajdude 36 days ago | past | 8 comments |
|
| 5. | | The command line interface Guake provides (guake.readthedocs.io) |
| 1 point by ajdude 41 days ago | past |
|
| 6. | | Brits get around Discord's age verification with Death Stranding's photo mode (pcgamer.com) |
| 14 points by ajdude 53 days ago | past |
|
| 7. | | Ada, other older languages vie for top spots in Tiobe language index (infoworld.com) |
| 2 points by ajdude 64 days ago | past |
|
| 8. | | Using pragma Shared_Passive for data persistence in Ada (adacore.com) |
| 5 points by ajdude 76 days ago | past |
|
| 9. | | Exploiting the IKKO Activebuds “AI powered” earbuds (2024) (mgdproductions.com) |
| 569 points by ajdude 78 days ago | past | 252 comments |
|
| 10. | | Comprehensive sovereign solutions empowering European organizations (microsoft.com) |
| 6 points by ajdude 3 months ago | past |
|
| 11. | | AdaCore and CodeSecure Merge (adacore.com) |
| 1 point by ajdude 3 months ago | past |
|
| 12. | | Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover (adacore.com) |
| 1 point by ajdude 3 months ago | past |
|
| 13. | | Disney and Universal sue AI image company Midjourney (cnbc.com) |
| 5 points by ajdude 3 months ago | past | 1 comment |
|
| 14. | | Writing a Verified Postfix Expression Calculator (pyjarrett.github.io) |
| 2 points by ajdude 3 months ago | past |
|
| 15. | | No More Liquid Ass (theverge.com) |
| 6 points by ajdude 3 months ago | past |
|
| 16. | | The Great Attractor (wikipedia.org) |
| 4 points by ajdude 3 months ago | past |
|
| 17. | | Telegram announces partnership with Musk's xAI (bbc.com) |
| 2 points by ajdude 3 months ago | past |
|
| 18. | | What football will look like in the future (sbnation.com) |
| 2 points by ajdude 3 months ago | past |
|
| 19. | | VPN firm says it didn't know customers had lifetime subscriptions, cancels them (arstechnica.com) |
| 14 points by ajdude 4 months ago | past | 8 comments |
|
| 20. | | AI is already eating its own: Prompt engineering is quickly going extinct (fastcompany.com) |
| 13 points by ajdude 4 months ago | past |
|
| 21. | | Intel admits what we all knew: no one is buying AI PCs (xda-developers.com) |
| 57 points by ajdude 4 months ago | past | 39 comments |
|
| 22. | | Rust2ada: Converts Rust code to formally verifiable Ada, including itself (github.com/intuitionamiga) |
| 3 points by ajdude 4 months ago | past |
|
| 23. | | What happens to DNA data of millions as 23andMe files bankruptcy? (pbs.org) |
| 18 points by ajdude 5 months ago | past | 6 comments |
|
| 24. | | CSS-Only Syntax Highlighting (aartaka.me) |
| 2 points by ajdude 6 months ago | past |
|
| 25. | | Reconsidering Debian's Inclusion of Non-Free Firmware – A Call for Discussion (debian.org) |
| 8 points by ajdude 6 months ago | past | 2 comments |
|
| 26. | | Please don't use AI images in JOSM (openstreetmap.de) |
| 3 points by ajdude 6 months ago | past |
|
| 27. | | Apple's Software Quality Crisis (eliseomartelli.it) |
| 1196 points by ajdude 6 months ago | past | 1198 comments |
|
| 28. | | To C or Not to See? (dancarlin.substack.com) |
| 1 point by ajdude 7 months ago | past | 1 comment |
|
| 29. | | Counter-Strike: Source Update Released (steampowered.com) |
| 2 points by ajdude 7 months ago | past |
|
| 30. | | [dupe] Kagi Privacy Pass (kagifeedback.org) |
| 1 point by ajdude 7 months ago | past | 1 comment |
|
|
| More |
