@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
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
Robert Dewar also co-authored the excellent #book “Microprocessors: A Programmer’s View”:
“Make It Simple: A Tale About Robert Dewar” [2015], David Wheeler (https://dwheeler.com/essays/make-it-simple-dewar.html).
"Programming With Ada", Paul Jarrett (https://pyjarrett.github.io/programming-with-ada/index.html).
Petit récapitulatif de l'AdaCore Tech Day 2019
https://zestedesavoir.com/articles/3315/adacore-tech-day-2019/