On: Can the language of proof assistants be used for g...

[hiAndrewQuinn]

Is Ada actually used outside of the US military? I'd love to hear more, I've always thought that's where it was.

[pjmlp → hiAndrewQuinn]

Yes, as mentioned on sibling comment in Europe.

That is also VHDL, which is based on Ada, is also mostly used in Europe in detriment to Verilog.

FOSDEM tends to have a regular Ada room.

Besides military, there is avionics, transport, critical factory infrastructure, lots of stuff that falls under high integrity computing.

[touisteur → pjmlp]

We also see some people from banks passing by sometimes (critical realtime trading room apps). And medical, drones or satellites payload startups.

Alas FOSDEM has changed its room attribution scheme for 'smaller' communities and IIUC there was no Ada room this year. Hopefully there'll be a space next year.

[trealira → hiAndrewQuinn]

In addition to what pjmlp said, it's also used by Nvidia, apparently.

https://blog.adacore.com/nvidia-security-team-what-if-we-jus...

[SubjectToChange → hiAndrewQuinn]

It’s surprisingly used a bit more in Europe than the US. You can look at AdaCore’s users/case studies to get a brief overview of industries using it.