#AdaProgramming

2026-02-12

Вступний епізод про мову програмування SPARK, де ми обговорюємо, що це таке і навіщо він потрібен, трохи історії та що увійде до серії в наступних епізодах.

Spotify: open.spotify.com/episode/0pRft

#SPARK #AdaLang #AdaProgramming #AdaLanguage @AdaProgrammers

2026-02-09

Після публікації видео "Updates on the Ada Ecosystem" с конференції FOSDEM 2025 на YouTube з'явився автоматичний дубляж, у тому числі українською:

youtu.be/29qeBR4QupQ

#AdaLang #AdaProgramming #AdaLanguage @AdaProgrammers

2026-01-29

The video about the #Ada ecosystem (#FOSDEM 2025) was flooded with bots in the comments promoting a crypto currency. They probably reacted to the word "Ada"?

youtu.be/29qeBR4QupQ

@AdaProgrammers #adalang #AdaProgramming

2026-01-18

ada-europe.org/archive/auj/auj

A new issue of the Ada User Journal, "Volume 45 (2024)" has been made publicly available in the online archive. In addition to articles from the Ada Developers Workshop 2024 it includes a lengthy article on the verification of the embedded real-time control system for the Indian space rocket.
Software written in the secure subset of Ada 83 was converted to LLVM IR with Dragonegg, then verified with the llvmbmc tool.

#AdaLang #AdaProgramming #AdaLanguage @AdaProgrammers

2026-01-13

Mechanisms for creating lock-free structures and algorithms in Ada 2022.

#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers

2026-01-13

Механізми створення lock-free структур та алгоритмів в Ада 2022.

#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022

2026-01-08

Вирази оголошення у Ada 2022.

#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022

2026-01-08
2026-01-07

В Ada 2022 атрибут T'Image застосовується до всіх типів, а не лише до скалярних, що робить його особливо корисним для налагодження.

#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022

2026-01-07

In Ada 2022 the 'Image attribute is applicable to all types, not just scalar types, making it particularly useful for debugging purposes.

#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers

2026-01-06

Як спростіть оператори присвоєння за допомогою символу цільового імені в Ada 2022.

#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022

2026-01-06

Simplify assignment statements with a target name symbol in Ada 2022.

#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers

2026-01-05

Контракти до типів вказівників на підпрограми.

#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022

2026-01-05

Ada 2022: Contracts for Access-to-Subprogram Types.

#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers

2026-01-04

В Ada 2022 можна використовувати ітератори для створення агрегатів масивів/контейнерів!

#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022

2026-01-04

In Ada 2022, you can use iterators to create array/container aggregates!

#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers

2026-01-03

У Ada 2022 з'явилися агрегати для контейнерів. Що це та як їх використовувати?

#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022

2026-01-03

Ada 2022 introduces container aggregates. What are they and how do I use them?

#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers

2026-01-02

Навіщо до синтаксису Ada додали [квадратні дужки]? Продовжуємо разом розбиратись у стандарті Ada 2022!

#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers

2026-01-02

Why were [square brackets] added to Ada syntax? Let's continue exploring the Ada 2022 standard together!

#AdaProgramming #AdaLanguage #AdaLang #ada #ada2022 @AdaProgrammers

Client Info

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