1. Forum
  2. Usenet
  3. COMP.LANG.ADA

  • Ada Monthly Meetup 2024

    From Fernando Oleo / Irvise@21:1/5 to All on Sun Mar 3 20:31:05 2024
    Dear all, this is just a quick reminder that the next Ada Monthly Meetup
    will take place on Saturday 9th of March!

    No topics were proposed for this meetup. Nonetheless, I will take the opportunity to talk a bit about FOSDEM (and WolfSSL), the newly proposed
    Ada Developer Workshop during AEiC, remind people about the newly
    released Alire v2.0-RC1 and a few other topics if we have time.

    Best regards,
    Fer

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fernando Oleo / Irvise@21:1/5 to All on Sat Mar 9 16:38:50 2024
    [Text formatted in Markdown style, I know it is not optimal for C.L.A]

    The March 2024 Meetup just finished! Thanks to everybody who participated.

    Quite a few topics were discussed, here is a list of topics and
    references to them:

    - WolfSSL and its Ada binding
    - [Announcement](https://www.wolfssl.com/announcing-ada-binding-to-the-wolfssl-library/)
    - [Initial commit, SPARK included!](https://github.com/wolfSSL/wolfssl/pull/6605)
    - [Build as a library, PR currently open](https://github.com/wolfSSL/wolfssl/pull/7303)
    - WolfSSL created the binding to "create" demand. The Ada community
    can help raise awareness of these tools and create a symbiotic
    relationship with companies and people invested in Ada.
    - [FOSDEM](https://fosdem.org/2024/)
    - [Ada Developer Workshop](http://www.ada-europe.org/conference2024/adadev.html) taking
    place in Barcelona the 14th of June.
    - The (current) submission deadline for presentations is the 31st of
    March!
    - Online participation is expected. We will try and have a setup to
    let people participate online!
    - It was created in order to let the wider Ada community have a home
    to meet and talk about Ada. This is a "response" to the lack of an Ada
    DevRoom @ FOSDEM the past couple of years.
    - [Alire v2.0 is around the corner](https://forum.ada-lang.io/t/ada-monthly-meeting/384/30)
    - Help test the new [Release Candidate 1](https://github.com/alire-project/alire/releases)
    - Mac M1 (ARM64) support is in the works. Thanks Simon and Maxim!
    - There is now a list of [projects to work on](https://ada-lang.io/docs/projects-to-work-on/) in the main Ada-Lang webpage.
    - It focuses of projects that would help the wider Ada community.
    - [Ada support for org-mode code blocks (babel) is now going to be part
    of the official org-mode distribution of Emacs!](https://list.orgmode.org/orgmode/87cyskn7xa.fsf@localhost/T/#mb5774149b4b90712e4bccc0f936ebbbbe138e065)
    - Thanks Francesc for the work!
    - The [NSA published a list of memory safe languages](https://www.cisa.gov/sites/default/files/2023-12/The-Case-for-Memory-Safe-Roadmaps-508c.pdf)
    - Ada was not mentioned in the list of programming languages.
    Nonetheless Ada/SPARK are listed in the references.
    - Ada needs better visibility and "marketing".
    - The GCC 14's Ada changelog section is on its way, stay tuned!

    See you in one month (more or less)! Regards,
    Fer

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Dirk Craeynest@21:1/5 to irvise_ml@irvise.xyz on Sun Mar 10 16:14:35 2024
    In article <ushvqa$2ctsj$1@dont-email.me>,
    Fernando Oleo / Irvise <irvise_ml@irvise.xyz> wrote:
    - The [NSA published a list of memory safe >languages](https://www.cisa.gov/sites/default/files/2023-12/The-Case-for-Memory-Safe-Roadmaps-508c.pdf)
    - Ada was not mentioned in the list of programming languages.
    Nonetheless Ada/SPARK are listed in the references.
    - Ada needs better visibility and "marketing".

    But there's an NSA report on the same topic that lists 9
    memory-safe languages, and Ada is included. See "The NSA list of
    memory-safe programming languages has been updated - ReadWrite" at <https://readwrite.com/the-nsa-list-of-memory-safe-programming-languages-has-been-updated/>.

    After some searching I found that NSA report at <https://media.defense.gov/2023/Apr/27/2003210083/-1/-1/0/CSI_SOFTWARE_MEMORY_SAFETY_V1.1.PDF>.

    Dirk

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fernando Oleo / Irvise@21:1/5 to All on Sun Mar 17 10:10:26 2024
    Hello everybody!

    I would like to announce the April (2024) Ada Monthly Meetup which will
    be taking place on the 6th of April at **13:00 UTC time (15:00 CEST)**.
    As always the meetup will take place over at Jitsi. The Meetup will also
    be livestreamed to Youtube.

    If someone would like to propose a talk or a topic, feel free to do so!
    We currently have no topics :wink: Though I will try to focus more on
    Ada and I would like to bring people's attention to [Tsoding's Ada livestreams](https://forum.ada-lang.io/t/making-a-game-in-ada-with-raylib/704).

    Here are the connection details from previous posts:
    The meetup will take place over at Jitsi, a conferencing software that
    runs on any modern browser. The link is [Jitsi Meet ](https://meet.jit.si/AdaMonthlyMeetup) The room name is
    “AdaMonthlyMeetup” and in case it asks for a password, it will be set to “AdaRules”.
    I do not want to set up a password, but in case it is needed, it will be
    the one above without the quotes. The room name is generally not needed
    as the link should take you directly there, but I want to write it down
    just in case someone needs it.

    Best regards and see you soon!
    Fer

    P.S: it is that time of year when clocks have their time changed. So
    please, take a look at whether this affects you. (Central) Europe will
    now go from CET to CEST, so +2h. USA and related countries already had
    heir time changed last week.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Fernando Oleo / Irvise@21:1/5 to All on Mon Apr 1 22:58:07 2024
    Hi all!

    This is a kind reminder about this Saturday’s Ada Monthly Meetup :) Keep
    in mind the slight change in UTC time!

    See you soon,
    Fer

    On 3/17/24 10:10, Fernando Oleo / Irvise wrote:
    Hello everybody!

    I would like to announce the April (2024) Ada Monthly Meetup which will
    be taking place on the 6th of April at **13:00 UTC time (15:00 CEST)**.
    As always the meetup will take place over at Jitsi. The Meetup will also
    be livestreamed to Youtube.

    If someone would like to propose a talk or a topic, feel free to do so!
    We currently have no topics :wink: Though I will try to focus more on
    Ada and I would like to bring people's attention to [Tsoding's Ada livestreams](https://forum.ada-lang.io/t/making-a-game-in-ada-with-raylib/704).

    Here are the connection details from previous posts:
    The meetup will take place over at Jitsi, a conferencing software that
    runs on any modern browser. The link is [Jitsi Meet ](https://meet.jit.si/AdaMonthlyMeetup) The room name is “AdaMonthlyMeetup” and in case it asks for a password, it will be set to “AdaRules”.
    I do not want to set up a password, but in case it is needed, it will be
    the one above without the quotes. The room name is generally not needed
    as the link should take you directly there, but I want to write it down
    just in case someone needs it.

    Best regards and see you soon!
    Fer

    P.S: it is that time of year when clocks have their time changed. So
    please, take a look at whether this affects you. (Central) Europe will
    now go from CET to CEST, so +2h. USA and related countries already had
    heir time changed last week.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)