#adacore — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #adacore, aggregated by home.social.
-
@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 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 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 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 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
-
Open-Source Ada: From Gateware to Application
https://blog.adacore.com/open-source-ada-from-gateware-to-application
#HackerNews #OpenSourceAda #Gateware #Application #AdaCore #TechNews
-
Open-Source Ada: From Gateware to Application
https://blog.adacore.com/open-source-ada-from-gateware-to-application
#HackerNews #OpenSourceAda #Gateware #Application #AdaCore #TechNews
-
Open-Source Ada: From Gateware to Application
https://blog.adacore.com/open-source-ada-from-gateware-to-application
#HackerNews #OpenSourceAda #Gateware #Application #AdaCore #TechNews
-
Open-Source Ada: From Gateware to Application
https://blog.adacore.com/open-source-ada-from-gateware-to-application
#HackerNews #OpenSourceAda #Gateware #Application #AdaCore #TechNews
-
"In this walkthrough, we’ll show that Ada can be fun and easy to learn. Although the language is famous for safety-critical systems, we will use it as a modern, general-purpose programming language and try out some new features from Ada 2022 along the way."
https://blog.adacore.com/introduction-to-ada-a-project-based-exploration-with-rosettas
-
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
-
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
-
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
-
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
-
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
-
@adanskana Eh? that isn't really true? It is essentially the same situation with GCC, which needs GCC to bootstrap.
(then again, #AdaCore is a nasty business which makes this immensely hard on purpose ... but it is doable)
-
@adanskana Eh? that isn't really true? It is essentially the same situation with GCC, which needs GCC to bootstrap.
(then again, #AdaCore is a nasty business which makes this immensely hard on purpose ... but it is doable)
-
@adanskana Eh? that isn't really true? It is essentially the same situation with GCC, which needs GCC to bootstrap.
(then again, #AdaCore is a nasty business which makes this immensely hard on purpose ... but it is doable)
-
@adanskana Eh? that isn't really true? It is essentially the same situation with GCC, which needs GCC to bootstrap.
(then again, #AdaCore is a nasty business which makes this immensely hard on purpose ... but it is doable)
-
Apparently it's a myth that #ada can't be #GPL3 (a backwards way to word it, for sure). This seems to say that I can't use #Adacore / #GNAT Community Edition and I should use the alire toolchain instead https://ada-lang.io/docs/learn/overview/debunking-ada-myths#ada-code-does-not-have-to-be-gpl
-
Apparently it's a myth that #ada can't be #GPL3 (a backwards way to word it, for sure). This seems to say that I can't use #Adacore / #GNAT Community Edition and I should use the alire toolchain instead https://ada-lang.io/docs/learn/overview/debunking-ada-myths#ada-code-does-not-have-to-be-gpl
-
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
-
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
-
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
-
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
-
@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 -
@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 -
@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 -
@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 -
@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 -
AdaCore kauft Componolit. Die 2017 gegründete IT-Sicherheits-Firma ist auf die Anwendung formaler Methoden zum Testen von Software spezialisiert.
AdaCore schnappt sich Dresdner Cybersecurity-Experten -
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
-
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
-
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