ajdude's submissions | Hacker News

1.		The Undisputed Queen of Safe Programming (medium.com/jordansrowles)
		2 points by ajdude 17 days ago \| past
2.		RAM Is Ruining Everything (theverge.com)
		9 points by ajdude 23 days ago \| past \| 1 comment
3.		New AI slop signal: code blocks with weird indentation (xeiaso.net)
		22 points by ajdude 30 days ago \| past \| 4 comments
4.		What did that teddy bear say? Study warns parents about AI toys (kron4.com)
		4 points by ajdude 45 days ago \| past
5.		There's No Rust on This Ironclad Kernel (hackaday.com)
		7 points by ajdude 48 days ago \| past \| 1 comment
6.		Proving Safety at Scale: Spark, RISC-V, and Nvidia's Security Strategy (adacore.com)
		4 points by ajdude 51 days ago \| past
7.		AI World Clocks (brianmoore.com)
		3 points by ajdude 60 days ago \| past \| 3 comments
8.		Ask HN: Is AWS down again?
		85 points by ajdude 66 days ago \| past \| 37 comments
9.		Adding Modern Desktop Environment Options to Gloire (ironclad-os.org)
		1 point by ajdude 3 months ago \| past
10.		Galaxy Ring battery scare leaves user stranded and hospitalized (androidauthority.com)
		2 points by ajdude 3 months ago \| past
11.		Kagi open sourced Ask: a bash script for quick AI queries in the shell (github.com/kagisearch)
		5 points by ajdude 3 months ago \| past
12.		CVC acquires majority stake in Namecheap for $1.5B (webhosting.today)
		91 points by ajdude 3 months ago \| past \| 48 comments
13.		Updates to Discord's Policies (discord.com)
		2 points by ajdude 4 months ago \| past
14.		Google Fiber hands out duplicate IPv6 prefix delegations used by other customers (treehouse.systems)
		6 points by ajdude 4 months ago \| past
15.		Writing a competitive BZip2 encoder in Ada from scratch in a few days – part 2 (gautiersblog.blogspot.com)
		121 points by ajdude 4 months ago \| past \| 8 comments
16.		The command line interface Guake provides (guake.readthedocs.io)
		1 point by ajdude 4 months ago \| past
17.		Brits get around Discord's age verification with Death Stranding's photo mode (pcgamer.com)
		14 points by ajdude 5 months ago \| past
18.		Ada, other older languages vie for top spots in Tiobe language index (infoworld.com)
		2 points by ajdude 5 months ago \| past
19.		Using pragma Shared_Passive for data persistence in Ada (adacore.com)
		5 points by ajdude 6 months ago \| past
20.		Exploiting the IKKO Activebuds “AI powered” earbuds (2024) (mgdproductions.com)
		569 points by ajdude 6 months ago \| past \| 252 comments
21.		Comprehensive sovereign solutions empowering European organizations (blogs.microsoft.com)
		6 points by ajdude 6 months ago \| past
22.		AdaCore and CodeSecure Merge (adacore.com)
		1 point by ajdude 6 months ago \| past
23.		Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover (adacore.com)
		1 point by ajdude 6 months ago \| past
24.		Disney and Universal sue AI image company Midjourney (cnbc.com)
		5 points by ajdude 6 months ago \| past \| 1 comment
25.		Writing a Verified Postfix Expression Calculator (pyjarrett.github.io)
		2 points by ajdude 6 months ago \| past
26.		No More Liquid Ass (theverge.com)
		6 points by ajdude 6 months ago \| past
27.		The Great Attractor (wikipedia.org)
		4 points by ajdude 7 months ago \| past
28.		Telegram announces partnership with Musk's xAI (bbc.com)
		2 points by ajdude 7 months ago \| past
29.		What football will look like in the future (sbnation.com)
		2 points by ajdude 7 months ago \| past
30.		VPN firm says it didn't know customers had lifetime subscriptions, cancels them (arstechnica.com)
		14 points by ajdude 7 months ago \| past \| 8 comments
		More