.LASP selected the #Adaprogramming language & AdaCore’s GNAT Pro development environment to implement the command & data handling system for the NASA-directed CLARREO Pathfinder Reflected Solar mission. #SpaceSoftware Tech Briefs techbriefs.com/component/cont…

This but with CH German and Japanese :)

Check out our free course "Intro To SPARK", an interactive introduction to the SPARK programming language and its formal verification tools. You will learn the difference between Ada & SPARK and how to use the various analysis tools that come with SPARK. learn.adacore.com/courses/intro-…

Junior guy today, to me, spontaneously: 'People don't know what they're missing: Ada and Java are great together and everything seems so simpler and safe you can go on and build the most complex systems and focus on adding value'. No it's not a 'Sir' story...

More in the 'climate change is a hoax' series. If so, why does it look like the global insurance industry's ability to guard against weather events (climate change) is getting tougher every year? From ECB presentation. It's the green line that matters.

Computers in wooden cases are beautiful.

The electronic #voting and counting system of #Canberra, #Australia, is rewritten in the #AdaProgramming language. elections.act.gov.au/elections_and_…

What an inspiring and brilliant man. Thank you Mr. Sagan.

alire.ada.dev : first beta release of the package manager for Ada/SPARK 🎉

My latest game, Superpoll, has just been released on the AppStore! 🔥❤️🥠 (Android is waiting for approval...)

Still relevant! SuperPoll available for Android play.google.com/store/apps/det…

No comments

Totally. chriskiehl.com/article/though…

Ada is growing fast in the PYPL index. Let's go! pypl.github.io/PYPL.html

/* Raw mode: 1960 magic shit. */ in linenoise.c It made my day as I finally feel understood. First time I got depressed in life was after reading random posts on the GNU mailing list... Thx antirez bsky social

I can't get over all the gushing and hype in articles like these about the rusty programming language: theregister.com/2021/04/07/goo… C++ & Ada all offer explicit scoped variables. Ada enforces it explicitly. C++ has strong typing, Ada has super-strong typing (no implicit conversions)

My new logo for my favorite programming language...

Name this album: