RetroFed Forum

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)

guuf_italia@livellosegreto.it Joined: 2025-07-23

Raccolta di risorse gratuite per il linguaggio Ada e Spark

@programmazione

"Ada è un linguaggio all'avanguardia utilizzato per la realizzazione di software di importanza cruciale: dai microkernel e dai sistemi embedded in tempo reale di piccole dimensioni alle applicazioni aziendali su larga scala [...]

SPARK è un sottoinsieme di Ada analizzabile formalmente e un set di strumenti che porta la sicurezza matematica nella verifica del software."

#guufITA #dev #ada

https://learn.adacore.com/

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)