13
submitted 2 days ago by ada@programming.dev to c/ada@programming.dev
0
submitted 1 week ago by ada@programming.dev to c/ada@programming.dev
5
submitted 2 weeks ago by ada@programming.dev to c/ada@programming.dev
2
submitted 2 weeks ago by ada@programming.dev to c/ada@programming.dev

We just finished the Ada Monthly Meetup and here are the topics that were discussed:

  • The recording of the presentations given during the Ada Developers Workshop 1 with their slides are now available
  • Stemming from (@jgrivera67) J. German Rivera’s talk about HiRTOS and him working the Renode hardware emulation tool, @ohenley did a nice article about getting started with Renode and Ada programs! Check it out!
  • And actually, since the last stable version of Renode, v1.15.2, released 3 weeks ago, there is a built-in demo/example of HiRTOS!
  • @simonjwright created a PR for SVD2Ada for it to support dimensioned register ports!
  • @Max has been working on creating an Ada toolchain for the XTENSA architecture. It is now officially part of Alire! Check the forum post for more info.
  • A reminder that the Ada Crate of the Year Award is still taking place!
  • We had a discussion on whether there should be a proposal for an Ada Devroom for next year’s FOSDEM.
  • There will be a forum thread about this topic “shortly”.
  • With the “demise” of SIGAda, the proposal of the creation of the Ada Users Society is moving along, which was approved in the General Assembly (GA) of Ada-Europe this past month of June.
  • The next GA of Ada-Europe will be taking place in a couple of weeks, the next 26th of September. Remember to ask for the meetup link if you would like to join!
  • We had a couple of discussions during the meetup and afterwards regarding some doubts and timeline/availability of the new Ada Users Society.
  • A complete working Alire manifest has been created for the WolfSSL library 2.
  • Though it is not in Alire’s index! It still needs some work, but you can already start using it!
  • @stcarrez and @Max have been working on Ada-Enet, an embedded network stack written in Ada.
  • It is now available in Alire and it has a few STM32 drivers already!
  • @Max also has an ethernet stack written in Ada, which has also been added ot Alire
  • @simonjwright updated us on the state (and struggles) of the Ada support on the newly released RP 2350 CPU 1.
  • Progress is good and small examples are already running on the chip. Interrupts are still a problem to be solved :slight_smile:
  • @AJ-Ianozi reminded us about the latest Yet Another Static Site (Generator) and its features, which recently had its 3.1.0 release

That is all that was discussed today!

3
submitted 3 weeks ago by ada@programming.dev to c/ada@programming.dev
6
submitted 1 month ago by ada@programming.dev to c/ada@programming.dev
3
submitted 2 months ago by ada@programming.dev to c/ada@programming.dev
3
submitted 2 months ago by ada@programming.dev to c/ada@programming.dev
2
submitted 3 months ago by ada@programming.dev to c/ada@programming.dev
2
submitted 3 months ago by ada@programming.dev to c/ada@programming.dev

The competition has three prizes of $2,000 each!

2
Alire on Open Collective 💸 (opencollective.com)
submitted 3 months ago by ada@programming.dev to c/ada@programming.dev

Just came across a donation site for the Alire project.

Contributing to the Ada open source ecosystem through the Alire package manager for Ada/SPARK

4
submitted 3 months ago by ada@programming.dev to c/ada@programming.dev

Online participation in the Ada Developers Workshop will be free of charge! It is still a requirement to register. As a reminder, the Workshop's programe has been available for a while, so go ahead an take a look! 🤩

[-] ada@programming.dev 2 points 7 months ago

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

[-] ada@programming.dev 2 points 10 months 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.

[-] ada@programming.dev 3 points 11 months ago

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

[-] ada@programming.dev 15 points 11 months ago

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

view more: next ›

ada

joined 11 months ago
MODERATOR OF
ada