#AdaLang

2025-06-18

🎧 New podcast Ada Quality and Style Guide, Chapter 8 "Reusability". The very interesting and important topic. (AI generated summary)

- YouTube youtu.be/yjaIOpf6CcI
- Spotify creators.spotify.com/pod/show/

@AdaProgrammers #ada #adalang #AdaLanguage #adaprogramminglanguage

Ada has surged recently in the TIOBE index to #13

lemmy.world/post/29809847

2025-05-03

@adanskana AFAIR, this is the reason #GNAT is not distributed through #Homebrew either.

Perhaps instead of GNAT, distributions could package #Alire ? [1] It can be used to obtain open source #AdaLang / #SPARKLang toolchains (including #FSF GNAT licensed under #GPL with GCC RLE) similarly to how #RustLang toolchain can be obtained with #Rustup . Alire is like a mix of Rustup and #Cargo, but for #Ada.

[1] alire.ada.dev

2025-04-29

New Podcast "Ada Concurrency": AI generated summary of Ada Quality and Style Guide, Chapter 6.

youtu.be/vyEGYKsIpTE

#adalang #AdaLanguage #adaprogramming #adaprogramminglanguage #podcast
@AdaProgrammers

2025-04-12

New Podcast "Ada Programing Practices": Optional syntax parts, parameter lists and types.

youtu.be/KkECe34C4-0

#adalang #AdaLanguage #adaprogramming #adaprogramminglanguage #podcast
@AdaProgrammers

2025-04-09

Finally I'm able to build Ada cross compiler in Yocto Project! 🎉🎁

github.com/reznikmm/meta-ada

#adalang #adaprogramming #yoctoproject #yocto
@AdaProgrammers

2025-03-23

Reading the Style Guide is boring. How about listening to a live discussion? As an experiment, I used Google NobebookML to create such a discussion for three topics from the Programming Practices chapter of Ada’s style guide. The 17 minutes of discussion included

Visibility

Exception usage

Erroneous execution and bounded errors

I added the slides myself. I think it turned out very interesting.

What do you think of this format?

youtube.com/watch?v=GOVfwBcnU_

#adaprogramming #adalang #ada

2025-03-12

Як програмувати мікроконтролери з допомогою Ada?

ada-ukraine.github.io/posts/em

#ada #adaprogramminglanguage #adalang #AdaLanguage #embedded #stm32

2025-02-17

Яке середовище розробки використовувати для мови Ada?

Моя нова стаття на сайті #Ada #Ukraine.

ada-ukraine.github.io/posts/id

#adalang #AdaLanguage #AdaProgramming

2024-12-12

Моя перша візуалізація #advent_of_code day 12 solution in Ada!

#adalang #ada 🤩

2024-12-01

This year, I started solving Advent of Code in Ada 83 because I came across the Diana frontend. It reads Ada 83 code, builds a parse tree, performs semantic analysis, but generating code is not its task. I wonder how difficult it would be to create a compiler based on it ?

#ada #adalang #compilers

2024-12-01

Цього року я почав вирішувати Advent of Code на Аді 83, тому що натрапив на фронтенд Діана. Він читає код Ади 83, будує дерево розбору, проводить семантичний аналіз, але створення коду не є його завданням. Мені цікаво, наскільки складно було б створити компілятор на його основі?

#ada #adalang #compilers

2024-11-06

Vous avez envie de lire des articles sur Ada en français et bien en voici quelques uns.
En plus, gage de qualité, ça vient de Systerel.

blog.systerel.fr/fr/tags/ada/

#ada #adalang #adaprogramming

Jens Siebert 🦀🇪🇺jenssiebert@vivaldi.net
2024-10-14

Alire, the #adalang build/test/package/etc. management tool, has been released in version 2.0.2 adding support for Apple Silicon for the first time 🙌

github.com/alire-project/alire

M. H. Neifermhneifer
2024-07-08

Newbie thoughts about setting up an Ada development environment. f7l8c9.wordpress.com/2024/07/0

2024-04-14

Це візуалізація мого коду, який вписує еліпсоїд у набір точок. Я взяв сто точок, які трохи зміщені від певного еліпсоїда, подав їх у свою програму, і вона розрахувала параметри еліпсоїда. Дані про точки і отриманий еліпсоїд я передав у Blender, щоб переглянути, наскільки вони збігаються. Зелені стрілки їдуть від проекції на еліпсоїді до точки. Обертання - просто для огляду.

github.com/reznikmm/conic_fit

#ada #adalang #ada-lang #blender3d #blender #opensource
@AdaProgrammers

2024-04-02

@coderigger @n0bml In other news, I'm said coworker, and ported a TAOCP algorithm from C to Ada over the weekend, and it was fun experience. Tons of compiler errors (many about style) to sort out in the process, but once I did there was only a small implementation bug and then it all worked. It runs half as fast as the C, but I haven't tried to optimize and reduce the number of run-time checks yet. #ada #adalang

2024-02-09

Також є версія українською

github.com/reznikmm/rtt

мого блог поста:
blog.adacore.com/enhancing-ada

My new blog is about SEGGER RTT for Ada :)

#ada #adalang #embedded

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst