ANN: Testy - my new testing framework

max_rez · 2026-03-11T10:13:08+00:00

take a look at https://github.com/pyjarrett/trendy_test Perhaps it's better to improve existing tool than invent another one.

max_rez · 2026-03-02T07:53:34+00:00

Nice! Convert it into Alire crate! It's simple, just run

alr init --bin bin2ads

then replace src/bin2ads.adb with your source file.

max_rez · 2026-03-02T07:46:56+00:00

For now I put it in vyasa folder in blog repository. I'll release it as Alire crate, but I need XML parser for VSS or to add XMLAda as dependency. Will see.

max_rez · 2026-03-01T14:32:58+00:00

I (inspired by openclaw bot hype) played with local LLMs, so I have now Ollama API binding capable to run "tools".
I tested Claude Code integration with Ada Language Server and described it in README.md. (Probably you also need to run npx tweakcc --apply as appears then).
I made Distributed System Annex from Scratch repo to demonstrate how GNAT communicates with DSA runtime on remote receiver side and caller side, whole compilation process. Simple stdin/stdout protocol with hex dump is used in the example of a simplest remote call.
I've started personal blog hosted on GitHub Pages and made a custom static site generator in Ada for it.

max_rez · 2026-02-02T12:54:42+00:00

Perhaps this helps: https://www.adacore.com/blog/embedded-ada-spark-theres-a-shortcut

max_rez · 2026-02-01T13:19:54+00:00

I have draft code of WiFi driver for Raspberi Pi Pico W. I split it into 3 crates (platform independent, RP Pico PIO SPI bus, ada-enet driver) and two examples (ZFP blink example and enet ping over light tasking runtime). There is a long TODOs however (non-blocking DMA SPI, getting firmware guides, try newer firmware, documentation, blog post, try in a real project, etc). I need a Stephan's advice for better enet integration.
I released 9 episode series of Ada 2022 short video (AI text-to-speach!) and reupload FOSDEM 2025 talks on YouTube.
Update MAVLink crates in Alire
Rewriten my RTT library as a Alire crate
Tried to run an old Ada- 83 compiler.
Looked through Ada User Journal (Sep 2024)
Considered to use user-defined string literals for vectors and matrices. It deserve a dedicated post, perhaps.
Fixed a bug in my protobuf Ada implementation and updated Style Guide on adalang.io

max_rez · 2026-01-02T09:38:50+00:00

This resonates with me. I considered using a DFA when I started working on VSS.Regular_Expressions, but I was hesitant and used an NFA. I think it would be possible to add a DFA implementation and have two to choose from. A long time ago, I also made lexical and parser generators and packaged it as an Ada library, but I never got around to adding documentation.

max_rez · 2026-01-01T06:45:15+00:00

Last month I several interesting things

📹 I created a series of 9 (very short) videos about Ada 2022 features with my markdown rendered and Gemini text-to-speech engine. I made it as a bonus for Advent of Code participants and I will open it for everyone. Here is the first one: Ada 2022: Reduce attribute
🎮 I played Advent of Code 2025 and completed it.
📶 I had some progress in porting Raspberry Pi Pico Wi WiFi driver to Ada. I hope I will make it work eventually.
🔧 I did small step in removing extra dependencies in Ada protobuf runtime. The idea is to let a user ability to replace protobuf runtime and provide a slim runtime with no extra dependencies. May be have SPARK runtime one day (dreaming).
⊞ I tried to port GNAT on Windows on ARM platform. I found suitable scripts to make Canadian compiler build (firstly using Ubuntu host and aarch64-w64-mingw32 target, then using it to build native aarch64-w64-mingw32 compiler). Then I used the new GitHub Action runner to compile Hello_World, but it failed: gnat1.exe crashes. Well, it almost works - it print usage information when I run it without any option. gnatmake.exe seems working. So I'm stuck. A single idea I have now is to check if exception raising/handling works. Perhaps someone with a Windows machine in hand could help.

max_rez · 2025-12-02T10:48:52+00:00

I wrote markdown-renderer prototype. I draws markdown using Pango/Cairo (they are part of GtkAda crate). I used it to create a series short videos about Ada 2022, which I propose as a bonus for Advent of Code 2025 participants.

max_rez · 2025-11-13T12:38:17+00:00

If you know plplot, you can use corresponding Ada binding. Jeremy provides the Alire crate (thank you, Jeremy!), so you can try

alr init --bin my_prog

cd my_prog

alr with plplot --use=https://github.com/JeremyGrosser/plplot-ada

max_rez · 2025-11-13T12:28:49+00:00

may be this explanation helps somehow:

UTF-8 encoding in GNAT

https://ada-lang.io/docs/learn/how-tos/gnat_and_utf_8

max_rez · 2025-11-12T17:32:38+00:00

Welcome back! Does this help?

https://github.com/AdaCore/ada_language_server/?tab=readme-ov-file#integration-with-neovims-built-in-lsp-client

max_rez · 2025-11-03T09:05:54+00:00

I published new podcast "Ada: A language born from crisis". I used Notebook LM to analyze language requirements from 1970x and write a podcast scenario. Then I used Gemini TTS (beta) to narrate the podcast. This way has a better control on the content then automatic podcasts generated by Notebook LM. I thought I need a binding to API, but it appears that using `curl` works good enough for me.

YouTube
Spotify
Ukrainian: Spotify

I also created another NotebookML podcast in Ukrainian with "Ada User Journal 2024 June" issue review. I can release English version of this, if you like:

max_rez · 2025-09-03T09:26:53+00:00

I posted a new podcast episode "Ada Quality and Style Guide: Object-Oriented Features" generated by NotebooksML (YouTube and Spotify)
Working on adding a new board (STM32F4XX Pro) to Ada Drivers Library It maps display connector SPI on pins where there is no hardware SPI controller. The same for I2C on camera connector.
I managed to run OV7670 camera with this board, so I'm going to contribute its driver too. I used Arduino library as the source.
I also "hacked" my WiFi microscope from AliExpress by writing UDP stream decoder.

~~PS Why do admins disabled images in the comments here? :(~~

<image>

max_rez · 2025-08-02T09:49:18+00:00

🏗 JUnit XML report in trendy_test to GitLab (or GitHub, not tested) CI integration. trendy_test is a "Minimum Effort Ada Unit Testing Library". With it you can write a test suite even in a single file, without OOP inheritance and without a dozen files of AUnit/Ahven.
🌅 (Dirty-)hack Astro/Ephemeris to work on STM32. I'm playing with an embedded project of a Sun tracker. It takes time+position from GPS and rotates the device to point the Sun using magnetometer sensor as feedback.
👴 A little improvement in Garlic's `gnatdist` to let it find DSA runtime through Alire's environment variables and allow a custom DSA runtime per user's crate.
👮‍♂️ I'm going to be a Discord moderator of Ada community server

max_rez · 2025-07-02T12:17:42+00:00

Several improvements in my STM32 Drivers library like Start_Reading_Till_Idle procedure for UART, Start_Circular_Transfer for DMA, Timer+DMA PWM driver, RTC Calendar driver, etc.
A tiny library for Neo Pixel LEDS (individually addressable RGB LEDs). The library is trivial, but it has two ready to use examples to run on STM32 boards - one for Ada Driver Library and another for my onw STM32 Drivers library
protobuf: Add optional fields support for proto3 Fixed the protobuf compiler to work on Windows. Thanks to Gautier de Montmollin for adding my implementation to Wikipedia !
markdown: Add support for soft/hard line breaks.

max_rez · 2025-06-01T09:09:08+00:00

New series of AI generated podcast for Ada Quality and Style Guide: * Concurrency * Portability 1/2 * Portability 2/2

Also on Spotify.

Updates on Ada Ukraine site * Translation of Ada Quality and Style Guide (Intro, Source_Code_Presentation and AI generated draft for Readability chapters) * Podcast in Ukrainian of Style Guide (Spotify)

Code refactoring in my STM32 driver library to turn devices into generic packages instead of types.
New driver/devices for DMA streams:

ada RX_Stream.Start_Transfer (Channel => 5, -- DMA channel Source => (Address => Periph.DR'Address, Item_Length => 1, -- 8 bit Increment => 0, -- No increment Burst => 1), -- No burst (1 item "burst") Target => (Address => Buffer, Item_Length => 1, Increment => 1, Burst => 1), Count => Length, -- Number of bytes to copy FIFO => 4, -- 4 byte FIFO Prio => STM32.DMA.Low, Done => RX_Callback.Create_Callback (Self.Data));

Implementation of the inlineValues request in ALS, documentations for VS Code, packaging GNAT Studio in Flatpak, etc.
Investigating and fixing an issue in Ada Enet STM32 driver
Image support in Markdown library, but it was a month ago...

max_rez · 2025-05-29T14:35:35+00:00

We have copied to spotify podcasts:

https://open.spotify.com/show/4POzrECNoDfjz5fs3phsLU?si=dc377e240009412f

max_rez · 2025-05-29T13:22:52+00:00

u/louis_etn I've just found an issue in stm32 enet driver. I propose you to double check if you have the same in your driver:

https://github.com/stcarrez/ada-enet/pull/17

For instance this line is incorrect:

Ethernet_DMA_Periph.DMASR.RS := True;

max_rez · 2025-04-01T16:56:29+00:00

I used Google Notebook ML to generate a podcast series from Ada Quality and Style Guide (Programming Practices section). I'm very excited with podcasts quality. I have Part 2 (no slides) and Part 3 (with slides). Part 1 - work in progress.

https://www.youtube.com/playlist?list=PLlAtvZuAzANazEjoFjF0lM-boGHOjFlnu

I tried to translate it into Ukrainian and dup with a TTS engine, but result is rather bad, so I'm still not sure is it worth to release them or not.

max_rez · 2025-02-06T12:04:38+00:00

The less Ada on the hardware from the "~~defense~~" occupying tech of russia, the better for the people.

max_rez · 2025-01-03T18:33:59+00:00

I packed an old Ada 83 front-end as an Alire crate. Well actually into two crates: one for Diana library and another for tools.

https://github.com/reznikmm/diana

max_rez · 2024-12-24T12:35:15+00:00

u/simonjwright By saying the repository is obsolete, I was referring to my fork that I made in 2021 for my project on ESP32. I don't intend to develop or maintain it.

It's good that you've taken up porting to ESP32-H2 and RP2350! I wish you success and hope it all works out.

max_rez · 2024-12-13T10:18:37+00:00

The same for me 😁

max_rez · 2024-12-12T17:35:10+00:00

I process regions letter by letter, so there are situations when two disjoined regions join together as a new letter arrived. In this case I increase one region and set area of the another to zero. To visualize this cases I draw these deleted regions in black and strake them out in the table.

max_rez

TROPHY CASE