#AdaCore

Alfred M. Szmidtamszmidt
2025-04-25

@adanskana Eh? that isn't really true? It is essentially the same situation with GCC, which needs GCC to bootstrap.

(then again, is a nasty business which makes this immensely hard on purpose ... but it is doable)

2023-07-22

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 ada-lang.io/docs/learn/overvie

2023-07-22

Can anyone explain what this means -- is it saying that anything I compile with this is essentially #GPL3 (because of libraries?) #ada #adacore #gnat

"This compiler and toolchain are intended for creating software which will be licensed under the terms of the GNU General Public License version 3."
2023-01-11

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.

adacore.com/uploads/technical-

2022-08-05

@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

रञ्जित (Ranjit Mathew)rmathew
2022-06-29

Robert Dewar also co-authored the excellent “Microprocessors: A Programmer’s View”:

“Make It Simple: A Tale About Robert Dewar” [2015], David Wheeler (dwheeler.com/essays/make-it-si).

Via HN: news.ycombinator.com/item?id=3

2021-03-17
@allison @rats_god @Yujiri @nyx @parity @scout @welt Is there any source for FSF #GNAT to GNAT GPL/PRO version comparison? Previously I saw someone claim it's about 1 year-long delay and then that #AdaCore tries to make it worse (https://news.ycombinator.com/item?id=24492653).
heise online (inoffiziell)heiseonline@squeet.me
2021-02-17
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

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst