ajdude's submissions | Hacker News

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