RetroFed Forums

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)

aus.social · Tue Jul 8, 2025 2:00 am

Interested in #haskell #dependent_type #dependent_types #idris #idris2 #distributed #p2p #ocaml . Exploring fediverse.I came here cuz I didn't like how algorythms of mainstream media worked.I do ̶b̶e̶l̶i̶e̶ know that better tech does help people & society.Mostly wanting to post about tech. But other occasional things may occur due hitposting condition.Interesting posts (for you to read) aus.social/@pepper0/1158102757aus.social/@pepper0/1156917191

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)