ajdude's submissions | Hacker News

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