Olivier Henley (@olivierhenley) 's Twitter Profile
Olivier Henley

@olivierhenley

S.E, patent holder, Ada enthusiast, market bot creator, SuperPoll creator, house builder, average surfer, archer, karate newb and part-time contemporary artist.

ID: 605453252

calendar_today11-06-2012 14:15:22

569 Tweet

87 Followers

481 Following

AdaCore | Ada/C/C++ tools for critical software (@adacorecompany) 's Twitter Profile Photo

.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…

AdaCore | Ada/C/C++ tools for critical software (@adacorecompany) 's Twitter Profile Photo

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-…

Touisteur EmporteUneVache (@touisteur) 's Twitter Profile Photo

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...

Mark Blyth (@mkblyth) 's Twitter Profile Photo

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.

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.
Dirk Craeynest (@dirkcraeynest) 's Twitter Profile Photo

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

Olivier Henley (@olivierhenley) 's Twitter Profile Photo

/* 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

Maya Posch (@mayaposch) 's Twitter Profile Photo

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)