Show threadMichał FitaNov 20

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

Show threadMichał FitaNov 20

@alg0w @nullagent I know plenty. I think in matters from what industry they're coming from.

#AdaCore, the company behind significant #Ada and #SPARK work invested in #Rust as well. And I think they're experts in the domain.

Hacker NewsNov 1

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

by Olivier Henley – Feb 10, 2025. The Neorv32 BIOS project demonstrates how Ada can serve as a powerful alternative to C in open-source embedded development. Using a fully open-source stack—including Neorv32 (a VHDL-based RISC-V softcore), the ULX3S FPGA board, and an open FPGA toolchain—this…

The AdaCore Blog
M. H. NeiferSep 3, 2025

"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

#adalang #adacore

Introduction to Ada: a project-based exploration with rosettas

by Romain Gora – Sep 01, 2025. Discover Ada through a fun, project-based tutorial! Learn the language’s clarity, safety, and modern features while building an SVG rosetta generator. A fresh, visual way to explore Ada 2022.

The AdaCore Blog
Hacker NewsSep 2, 2025

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

by Romain Gora – Sep 01, 2025. Discover Ada through a fun, project-based tutorial! Learn the language’s clarity, safety, and modern features while building an SVG rosetta generator. A fresh, visual way to explore Ada 2022.

The AdaCore Blog
Show threadAlfred M. SzmidtApr 25, 2025

@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)

Show threadKroc CamenJul 22, 2023
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
Debunking Ada Myths | Ada Programming Language

These are written in the truthful form, rather than stating the myth.

Kroc CamenJul 22, 2023
Can anyone explain what this means -- is it saying that anything I compile with this is essentially #GPL3 (because of libraries?) #ada #adacore #gnat
Orzech 🪐Feb 4, 2023
AdaCore at FOSDEM 2023 | The AdaCore Blog
https://blog.adacore.com/adacore-at-fosdem-2023

#ada #spark #adacore #fosdem #fosdem23 #fosdem2023
AdaCore at FOSDEM 2023

by Fabien Chouteau – Feb 02, 2023.

The AdaCore Blog
René DudfieldJan 11, 2023

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