#gnat — Public Fediverse posts

Two #blog posts in less than one week!

It was considered known that there is no support within GNAT (Ada) for illumos. We cross-build a complete native binutils+gcc toolchain for illumos to test out this claim.

...only to discover that illumos has full support within GNAT. Not a single test fails.

https://briancallahan.net/blog/20250817.html

#Ada #illumos #GNAT #GCC #GNU #freesoftware #unix #bsd #freebsd #openbsd #netbsd #dragonflybsd #linux #compiler #compilers

Following my recent post about #GHDL, I was made aware that there is no bootstrap chain for #GNAT! For such a widely used and historically significant language like #Ada (totally not biased), it seems like a strange hole to be left. Plus, it would mean that GNAT could be included in full-source distributions like #Guix.

Thankfully, there is an #NLNet project [1] just for this! I'm glad that there's some real resources being devoted to this. LMK if anyone has news!

[1] https://nlnet.nl/project/Ada-bootstrap/

A new #blog post!

Let's bootstrap the GNAT Ada compiler for macOS/aarch64, since I couldn't find any binary packages for it.

https://briancallahan.net/blog/20250112.html

#compiler #compilers #GCC #Ada #GNAT #macos #unix #linux #bsd #freebsd #openbsd #netbsd

📍: Weir 10
ℹ️: weir
🗺: https://www.openstreetmap.org/?mlat=52.2741059909107&mlon=-1.25635041858979#map=17/52.2741059909107/-1.25635041858979
📸: Photo by Walwyn on Flickr https://www.flickr.com/photos/55228353@N00/52113597020

#canal #river #narrowboat #barge #gongoozler #england #uk #flickr #diptera #chironomidae #gnat #demeijerea #insect #slack

Yesterday I met several people who asked me about the status of #Gnat (Ada) in #Guix. There were aware of bootstrapping issues with it but weren’t sure where to go from here.

#summer - the time a year when you become an #allyoucaneatbuffet for #gnats.

#KätToon #Mücken #Sommer #gnat #Mücke

JFC I still can't make a minimal reproducible sample for #Ada #GNAT not doing constraint checks on complex variant records, leading to profound data corruption errors if you make a typo and read/write an invalid member (i.e. equivalent to an unsafe union access in C)

I can reproduce it in the main codebase trivially, but the problem is I think it only omits the checks once both the record and the code accessing the record have a certain level of complexity.

Is there anyone who got #Ada + #Alire + #Vim + #VimLsp working? #AdaProgrammingLanguage #AdaProgLang #GNAT

A group of #gnats is called a cloud.
A cloud of gnats.

#TermsOfVenery #AnimalGroupNames #animals #wildlife #nature #english #AnimalGroupingNouns #trivia #fun #words #gnat #insects

Throwback Thursday, looks like Brands Hatch I think, photos credited to John Elwin…

#ThrowbackThursday #RedArrows #BrandsHatch #Airshow #Gnat #avgeek #aviation #flying

@CivicoSettanta questi militari non conoscono neanche le loro stesse creazioni. Sono **DECENNI** che finanziano interamente lo sviluppo del compilatore #GNU #Ada #Gnat che è sempre stato rilasciato con licenza #GPL, la più persistente.
E lo hanno usato per programmi militari, e da subito!

Oh I miss the #AdaLovelaceDay (https://findingada.com) ! 🤫 But maybe it's a good time to try/discover this old language well named #Ada thanks to " GNU Ada Development Environment " AKA #GNAT and thru this article by Seth Kenlon /> https://opensource.com/article/21/10/learn-ada-2021