Ada in Practice, a New Learn Course
programming.devAda in Practice, a New Learn Course - programming.dev
Recent searches
Search options
#ada
6 posts6 participants1 post today
Як програмувати мікроконтролери з допомогою Ada?
ada-ukraine.github.ioВступ до програмування вбудованих систем мовою Ada — ada-ukraine.github.io
ada-ukraine.github.ioВибір середовища розробки для Ada — ada-ukraine.github.io
Потроху наповнюю новий сайт про Аду. Сьогодні написав короткий вступ щодо роботи з Alire і додав Atom feed.
ada-ukraine.github.ioПрактичне введення в Alire — ada-ukraine.github.io
#advent_of_code 2024 day 16 part 1 visualization made with #ada #adalang
https://blog.adacore.com/announcing-advent-of-ada-2024-coding-for-a-cause
Continued thread
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 ?
Continued thread
Цього року я почав вирішувати Advent of Code на Аді 83, тому що натрапив на фронтенд Діана. Він читає код Ади 83, будує дерево розбору, проводить семантичний аналіз, але створення коду не є його завданням. Мені цікаво, наскільки складно було б створити компілятор на його основі?
Це візуалізація мого коду, який вписує еліпсоїд у набір точок. Я взяв сто точок, які трохи зміщені від певного еліпсоїда, подав їх у свою програму, і вона розрахувала параметри еліпсоїда. Дані про точки і отриманий еліпсоїд я передав у Blender, щоб переглянути, наскільки вони збігаються. Зелені стрілки їдуть від проекції на еліпсоїді до точки. Обертання - просто для огляду.
https://github.com/reznikmm/conic_fit
#ada #adalang #ada-lang #blender3d #blender #opensource
@AdaProgrammers
GIF
GNAT for MacOS X Silicon! 
> Thanks to GitHub enabling Apple M1 runner + Simon Wright's work + Max’s work, we have GNAT FSF toolchains for Apple M1 available in the Alire project 
Також є версія українською
https://github.com/reznikmm/rtt
мого блог поста:
https://blog.adacore.com/enhancing-ada-embedded-development-the-power-of-real-time-logging-with-rtt
My new blog is about SEGGER RTT for Ada :)
GitHubGitHub - reznikmm/rtt: Ada RTT supportAda RTT support. Contribute to reznikmm/rtt development by creating an account on GitHub.
https://blog.adacore.com/enhancing-ada-embedded-development-the-power-of-real-time-logging-with-rtt
My new blog is about SEGGER RTT for Ada :)
The AdaCore BlogEnhancing Ada Embedded Development: The Power of Real-Time Logging…by Maxim Reznik – Feb 05, 2024. Efficient embedded development in Ada relies on powerful tools. Real-time logging plays a pivotal role, enabling live monitoring and analysis. Unlike traditional methods, SEGGER's Real-Time Transfer (RTT) method offers hardware-independent real-time logging with low…
I've successfully crafted ARM64 cross-compilers for building Ada Language Server on Linux and macOS. Check out the forum post to dive into the details and explore the possibilities!
Ada Forum · AArch64 cross toolchainThe community has long expressed interest in supporting Ada on ARM64 and Apple Silicon platforms. Unfortunately, GitHub Action Runners are not available for ARM for open-source projects. The publication of the Ada extension for VS Code (as well as Alire) relies on GitHub Actions, limiting ARM support. However, it turns out that creating an ARM version is still possible, and I’d like to share my experience with using cross-compilers for this purpose. Through the actions described below, I manage...
Somebody on Ada Monthly meetup mentioned fedirated replacement for Reddit - Lemmy Ada community:
#ada #ada-lang #adalang
@AdaProgrammers
programming.devAda - programming.devA community about the programming language, Ada. ## About Ada Language Ada is a
modern, high-level programming language designed for developing reliable,
efficient, and maintainable software systems. It was developed by the U.S.
Department of Defense and is widely used in safety-critical and mission-critical
applications. This community is dedicated to all things related to Ada,
including discussions, tutorials, news, and projects. ## Rules: 1. Be
respectful: Treat fellow community members with kindness and respect. Personal
attacks, harassment, or any form of discrimination will not be tolerated. 2.
Stay on topic: Keep discussions focused on Ada language-related topics.
Off-topic posts may be removed. 3. No spam or self-promotion: Avoid excessive
self-promotion or spamming of external links. Share relevant content and engage
in meaningful discussions. 4. Provide helpful and constructive feedback: When
offering feedback on code or projects, be constructive and supportive. Help
others learn and grow. 5. Follow the instance wide rules.
Replied to Макс 
Тільки що випустив нову версію розширення 
VSCode для Ada (24.0.1). Це перша версія із протоколом LSP 3.17. Ми використовували генерацію коду на основі мета-моделі протоколу. Довелося багато переписувати, але тепер ми можемо впроваджувати нові можливості. Ви можете отримати його на marketplace або openvsix.
Just released a new version of the Ada VSCode extension (24.0.1). This is the first version with LSP protocol 3.17. We used code generation based on the protocol's meta-model. It required a lot of rewriting, but now we can implement new features. You can grab it on the [marketplace](https://marketplace.visualstudio.com/items?itemName=AdaCore.ada) or [openvsix](https://open-vsx.org/extension/AdaCore/ada).
marketplace.visualstudio.comLanguage Support for Ada - Visual Studio MarketplaceExtension for Visual Studio Code - A Language Server providing Ada and SPARK support in Visual Studio Code
Ada User Journal June 2022 is online:
http://www.ada-europe.org/archive/auj/auj-43-2-withcovers.pdf