Kroc Camen · @kroc
60 followers · 463 posts · Server mstdn.social
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
Kroc Camen · @kroc
59 followers · 431 posts · Server mstdn.social
Antonio Pardo Sánchez · @apardo
30 followers · 242 posts · Server techhub.socialIntroducing #AdaCore, a #Rust Foundation Silver Member https://foundation.rust-lang.org/news/member-spotlight-adacore/
René Dudfield · @renedudfield
47 followers · 59 posts · Server fosstodon.orgGlad 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
Paolo Redaelli · @paoloredaelli
198 followers · 3900 posts · Server mastodon.uno@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
Zeste de Savoir · @ZesteDeSavoir
518 followers · 284 posts · Server framapiaf.orgPetit récapitulatif de l'AdaCore Tech Day 2019
https://zestedesavoir.com/articles/3315/adacore-tech-day-2019/