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

Open-Source Ada: From Gateware to Application

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

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

Glad to see #FramaC get a shout out from #AdaCore. #C is one language with tooling for using solvers to prove correctness. Glad to see competition here. They’re moving the whole industry forward.

https://www.adacore.com/uploads/technical-papers/2016-10-SPARK-MisraC-FramaC.pdf

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