#adacore — Public Fediverse posts

@alg0w @nullagent Fans would do whatever they wish for and asking them to do otherwise is at least wishful thinking.

The fact #Rust doesn't have #ISO standard is IMVHO a blessing - getting anything standardised is a painful process, then #Rust somehow avoided adding nonsense contrary to C++.

Not worries about the license at all - it let #Ferrocene and #AdaCore work on their safety certified products w/o rewriting the whole code.

#Rust could be better w/bounded types, still a lot can be done.

@alg0w @nullagent I know plenty. I think in matters from what industry they're coming from.

#AdaCore, the company behind significant #Ada and #SPARK work invested in #Rust as well. And I think they're experts in the domain.

Open-Source Ada: From Gateware to Application

https://blog.adacore.com/open-source-ada-from-gateware-to-application

#HackerNews #OpenSourceAda #Gateware #Application #AdaCore #TechNews

Introduction to Ada: a project-based exploration with rosettas

https://blog.adacore.com/introduction-to-ada-a-project-based-exploration-with-rosettas

#HackerNews #Introduction #to #Ada #project-based #Rosettas #programming #languages #AdaCore

@jwildeboer
Red Hat is one of the few corporations that have understood the value of copyleft. The only other I can recall is #AutoMattic and #adacore … are there any other relevant one?
@be

Why Ada Is The Language You Want To Be Programming Your Systems With - The Ada programming language was born in the mid-1970s, when the US Department of Defense (DoD) and ... more: https://hackaday.com/2019/09/10/why-ada-is-the-language-you-want-to-be-programming-your-systems-with/ #programminglanguages #softwaredevelopment #embeddeddevelopment #originalart #adalovelace #adacore #skills #ada