overview for ada

I am very happy to see that Streaksu applied for a grant and was accepted. This is what I want to see more of in the community. People creating very cool projects that they enjoy working on. Then promoting them and seeing if they can make the development of such projects a little bit more sustainable for themselves. This also disproves that “Ada projects” are not liked or as seen as old by foundations or other funding groups.

I am very happy for Streaksu and I hope to test Ironclad in a RISC-V board soon!

3

Discussion: should Ada have its own FOSDEM DevRoom? (forum.ada-lang.io)

submitted 1 month ago by ada to c/ada

0 comments fedilink

14

Should I choose Ada, SPARK, or Rust over C/C++? (blog.adacore.com)

submitted 1 month ago by ada to c/ada

5 comments fedilink

0

A new year of Capstones: A Recap of the last Projects (blog.adacore.com)

submitted 2 months ago by ada to c/ada

0 comments fedilink

5

Ada GameDev Part 3: Enjoy Video Games Programming with Raylib (blog.adacore.com)

submitted 2 months ago by ada to c/ada

0 comments fedilink

Ada's success story at LatenceTech in c/ada

[–] ada 2 points 8 months ago

Amen! But as a believer in Ada, I'd say those who code in other languages need God's help more. ✨

Ada and SPARK Propel Aerospace Innovation in c/ada

[–] ada 2 points 1 year ago

Not only this startup speaks highly of Ada. Here's another example of successful application of this technology in space: SPARK/Ada for high integrity spacecraft software.

Ironclad - an OS kernel in Ada in c/ada

[–] ada 1 points 1 year ago

Recorder video on YouTube

Which language you wish would really grow and reach mainstream adoption? in c/programming

[–] ada 3 points 1 year ago

I'm new to Lemmy. Appreciate the heads-up, thank you! 👍

Which language you wish would really grow and reach mainstream adoption? in c/programming

[–] ada 15 points 1 year ago (2 children)

I would like to see Ada grow. Its clean syntax, rich expressive capabilities, and early error detection by the compiler due to strict typing create a very pleasant experience during development. This year, the language got a new standard. Recently, a package manager and a community index were created. There's an extension/LSP for vscode, etc. Along with great educational materials on learn.adacore.com, it's easy to pick up and start using this language.

PS I created a community on p.d two days ago: https://programming.dev/c/ada

#adalang