Viewing profile — onox

I do not know the exact rationale of the Alire devs, but Ada already uses (since 83) the word "package" to indicate a module or namespace, so calling dependencies a "crate" seems t…

This website is just a community effort to modernize parts of the online resources, because many parts like the current Ada Reference Manual look like they're from the 90s.

Title page with legal info has been added!

The text at the bottom says "unless otherwise noted". The .md files for the AARM are autogenerated and it seems the legal + foreword pages are missing. These indeed need to be adde…

Arrays in Ada start at the index based on the index type of the array. You can even use an enumeration type as the index: type Day is (Monday, Tuesday, Wednesday, Thursday, Friday,…

I had a similar problem last month where I needed to compute some results on multiple datasets (with a little bit of concurrency per dataset). In the end I just ported the code to …

In Ada you can do something similar: delay 0.3; Or with package Ada.Real_Time: delay To_Duration (Milliseconds (300)); Or use `delay until`: delay until Clock + Milliseconds (300);…

You can use git pull with the --allow-unrelated-histories option.

Sorry, but I disagree. Maybe in the 80s when developers were all yelling while coding :p Does this look like cobol to you? type GUID_String is new String (1 .. 32) with Dynamic_Pre…

If you want to avoid vulnerabilities and have fun with proving that your code is functionally correct, try the Ada/SPARK interactive tutorials at [1] :) [1] https://learn.adacore.c…

I've been using ReScript for a few months now. So far I mostly like it, but it takes some time to get used to it. The error messages can be confusing though so I try not to depend …

I'm writing a game engine [1], including a replacement for GLFW/SDL with support for gamepad rumble/motion/battery/LED (only for Wayland/Linux atm) [1] https://github.com/onox/orka…

You can just do `apt install gnat` or `pacman -S gcc-ada` for free :)

Recently I've used ReScript + esbuild for a completely webpack-free experience with just a small node_modules folder

https://web.dev/content-visibility/ has a nice blog post about "content-visibility" and "contain".

> Are you allowed to drive around in self built vehicles in Europe? Or did they convince all countries they cross to give them a special permit? The car has been inspected by the R…

It seems you can already write kernel modules in Ada: https://github.com/alkhimey/Ada_Kernel_Module_Framework . Obviously it comes with a boatload of restrictions [1], so no taskin…

> * Ada has pointer arithmetic, you can overflow buffers or read out of bounds. Not true. Arrays have bounds and those are checked. However, you can do arithmetic with the type ptr…

To anyone who has a Linux distro and wants to try Ada (2012 on some): Debian/Ubuntu: sudo apt install gnat gprbuild Arch Linux: sudo pacman -S gcc-ada (get gprbuild from the AUR) N…

SPARK2014 is just a tool (gnatprove), which you don't distribute to others (would be rather pointless). Compiling can be done with gnat from your Linux distro, which usually has th…

The C interoperability of Ada is very good, you can import/export functions and specify whether records (structs) and arrays must have a C convention. I use it often to access libc…

Couldn't you add the Bit_Order and Scalar_Storage_Order attributes (or aspects in Ada 2012) to your records/arrays? Or did Scalar_Storage_Order not exist at the time?

C libraries/applications like these, which have many memory and logic bugs, should be written in SPARK. It can fully prove that your code is correct. The latest version of the SPAR…

What are good reasons to choose Go? If I need a language for non-scripting tasks, I would choose Ada, which is very easy to read, has a nice type system and generics, performance, …

Ada's type system allows you to separate the high-level specification of a type (which models a problem) and its low-level representation (size, alignment, bit/byte order, etc.). T…