RetroFed Forums

Ada programming language. For memory safe multi task programming, elegant embedded bit fiddling and everything else in a readable way

Welcome to the nostalgia-filled piefed instance of yesteryear.

Open Registration with Application questionnaire.

If you have a question or comment you can post in !meta@retrofed.com or message @DosDude@retrofed.com or @Die4Ever@retrofed.com

In case of downtime and/or emergency, we will post updates on @DosDude@mastodon.social

Some rules we try to uphold:

Be civil. Bigotry is not welcome. This includes (but is not limited to): transphobia, queerphobia, racism, ageism and ableism. We do not promote hate.
Communities need to be Retro or Retro-adjacent.
Please don't upload pornographic content. (use an external image host for that)

Ada programming language. For memory safe multi task programming, elegant embedded bit fiddling and everything else in a readable way

Ada programming language. For memory safe multi task programming, elegant embedded bit fiddling and everything else in a readable way

Welcome to the nostalgia-filled piefed instance of yesteryear.

Open Registration with Application questionnaire.

If you have a question or comment you can post in !meta@retrofed.com or message @DosDude@retrofed.com or @Die4Ever@retrofed.com

In case of downtime and/or emergency, we will post updates on @DosDude@mastodon.social

Some rules we try to uphold:

Be civil. Bigotry is not welcome. This includes (but is not limited to): transphobia, queerphobia, racism, ageism and ableism. We do not promote hate.
Communities need to be Retro or Retro-adjacent.
Please don't upload pornographic content. (use an external image host for that)

	Replies	Author	Score	Last Post
Ironclad OS crafts Unix-like kernel in Ada and SPARK • The Register (www.theregister.com)	0	cm0002	1	Tue Nov 11, 2025 2:08 am »
Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK (arxiv.org)	0	cm0002	1	Wed Sep 3, 2025 3:58 pm »
Introduction to Ada: a project-based exploration with rosettas (blog.adacore.com)	0	cm0002	1	Wed Sep 3, 2025 3:58 pm »
Ada, other older languages vie for top spots in Tiobe language index (www.infoworld.com)	0	cm0002	1	Sat Jul 12, 2025 10:11 am »
Ada has surged recently in the TIOBE index to #13 (www.tiobe.com)	0	cm0002	1	Sat May 17, 2025 6:29 pm »