2024-04-26 17:54 Buggy software killed innocent Fiona Cowan and Martin Griffiths
2024-04-25 14:11 We are hiring software engineers
2024-04-17 10:29 Ada Monthly Meetup, May 2024 3+ messages
2024-04-16 10:55 Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2024
2024-04-04 0:47 Was the mandate change a poor decision? 2+ messages
2024-03-24 9:19 AUnit.Checks 2+ messages
2024-03-13 14:07 SystemD controversy 21+ messages
2024-03-03 19:31 Ada Monthly Meetup 2024 5+ messages
2024-02-24 21:30 Ada Developer Workshop @ AEiC 2024, a new “FOSDEM DevRoom” for the community 4+ messages
2024-02-24 9:50 Raise expressions from AARM. 6+ messages
2024-02-17 8:01 NeoVim plugin to publish Alire packages
2024-02-16 22:51 GNAT Error? 11+ messages
2024-02-16 19:07 AEiC 2024 - Ada-Europe conference - Deadlines Approaching
2024-02-16 9:41 In memory Stream 55+ messages
2024-02-11 12:29 error: choice must be static? 7+ messages
2024-02-06 10:47 AEiC 2024 - Ada-Europe conference - CfC for Additional Tracks
2024-01-26 18:50 ACCESS KINDLE PDF EBOOK EPUB StarTalk Young Readers Edition by Neil Tyson ✓
2024-01-24 13:30 Certificate Security Error when. access adapower.com 2+ messages
2024-01-14 11:05 String_Access in unbounded string handling? 9+ messages
2024-01-13 16:11 Limited with too restrictive? 2+ messages
2024-01-10 10:37 Renaming primitives. 13+ messages
2024-01-08 10:43 Ada-Europe conference - 31 Jan Journal Track Extended Deadline
2023-12-28 13:53 Map iteration and modification 40+ messages
2023-12-24 14:32 Seasons Greetings. 3+ messages
2023-12-21 17:14 AEiC 2024 - Ada-Europe conference - grants for Open Access
2023-12-18 11:34 ANN: GtkAda contributions v3.32
2023-12-14 23:49 spurious error with GNAT 13.2.0 on Intel macOS 17.2 3+ messages
2023-12-13 4:28 Ada vs. Rust for low level system software 6+ messages
2023-12-10 13:06 HBD Ada! 7+ messages
2023-12-09 23:34 Beaujolais Challenge 4+ messages
2023-12-08 18:28 GNAT.Source_Info Volatile and SPARK 5+ messages
2023-12-07 11:21 SPAM 14+ messages
2023-12-01 7:56 [Reminder] The PragmAda Reusable Components
2023-11-22 18:39 Ada related jobs at Tampere, Finland
2023-11-22 16:54 Ada-Europe Conference - 2nd Call for Contributions - AEiC 2024
2023-11-19 12:22 Using Log_Float in inline assembler for ARM 3+ messages
2023-11-17 2:30 After redesigning my Poject I have the following Projectfile: 3+ messages
2023-11-16 21:31 I get a strange compiler error regarding dependencis 3+ messages
2023-11-14 21:11 Unchecked_Deallocation with tagged class type. 7+ messages
2023-11-04 14:39 GNAT.SHA256 produces result different from sha257sum on Linux 7+ messages
2023-11-03 18:56 Unpropagated exception handling on zfp 2+ messages
2023-11-02 12:20 Upcasting interfaces with CPP convention in GNAT 4+ messages
2023-10-31 22:43 Light-weight parallelism threading library based on Ada 2022 features
2023-10-25 21:15 Source code for the ARM Formatting Tool 8+ messages
2023-10-25 2:32 Re: How to exit from "for t in C when f(t) loop" ?
2023-10-16 18:35 Re: Windows file timestamp converted to local time 8+ messages
2023-10-15 15:51 Re: Announce: AdaStudio-2024 release 10/10/2023 free edition 3+ messages
2023-10-14 16:33 [ANN] Release of UXStrings 0.6.0
2023-10-04 11:39 First Ada DO-178 Certification
2023-10-03 21:44 questions regarding Docker, Ada and Alire 3+ messages
2023-10-02 2:42 get_immediate echoe character--compiled error? 21+ messages
2023-09-30 16:58 ANN: Simple Components v4.68
2023-09-28 5:07 Ada Advocacy Opportunity
2023-09-27 19:30 GNAT linking and macOS 11+ messages
2023-09-26 23:32 Where to report bugs in gnatpp? 3+ messages
2023-09-26 12:06 CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
2023-09-26 11:44 Should light runtimes get more consideration? 12+ messages
2023-09-24 22:28 US Government looking into memory safe programming 8+ messages
2023-09-24 16:44 can't execute gnatpp
2023-09-24 14:42 gcc-13.2.0 3+ messages
2023-09-23 20:22 Valid attribute and input operations 5+ messages
2023-09-22 20:02 macOS Ventura 13.6 update problem 10+ messages
2023-09-22 19:30 Weird behavior of Get character with trailing new lines. 10+ messages
2023-09-22 6:25 What I do wrong here? 2+ messages
2023-09-21 19:29 renaming as classwide type 5+ messages
2023-09-21 8:38 Status of openGL support in GtkAda. 7+ messages
2023-09-20 9:35 macOS: best not upgrade to Xcode/CLT 15.0 2+ messages
2023-09-17 17:27 Main program can't find subprogram 3+ messages
2023-09-15 9:03 project euler 29 23+ messages
2023-09-14 14:02 Aggregate with derived types. 6+ messages
2023-09-09 9:02 Is gnoga dead? 12+ messages
2023-09-06 14:37 Equivalence between named access and anonymous access. 8+ messages
2023-09-06 11:17 [ANN] GNAT Studio 24.0 for macOS Ventura.
2023-09-04 9:19 project euler 26 40+ messages
2023-09-01 21:04 What does this error mean and how do I correct this? 7+ messages
2023-08-30 13:48 Common HOL Phase 1 Reports 5+ messages
2023-08-29 22:27 gprbuild problems with arm-linux cross compile toolchain
2023-08-27 5:18 [Ann] WinRt - version 3 2+ messages
2023-08-22 12:58 UNAS by TRW 5+ messages
2023-08-18 7:18 Parameterised 'Image Attributes 38+ messages
2023-08-16 18:05 Reminder that the IRC is still alive
2023-08-15 21:12 Re: Which GCC releases have how much support for Ada 2022? 2+ messages
2023-08-13 16:16 Unifont static compiled and stack size... 18+ messages
2023-08-12 0:44 Parallel loops in GNAT? 4+ messages
2023-08-10 13:03 SweetAda on NEORV32
2023-08-10 9:41 Building Matreshka-18.1 on FreeBSD 2+ messages
2023-08-06 21:17 Using 'Image with Alire 3+ messages
2023-08-04 20:09 ALR unable to get many packages 15+ messages
2023-08-03 21:02 Announcing Ada binding to the wolfSSL library
2023-08-01 8:58 [Ann] SparkRC
2023-07-31 23:41 Membership setting for this group greyed out? 9+ messages
2023-07-30 23:34 M1 MAC - libraries 4+ messages
2023-07-27 8:03 Build gnat for cross building from x86_64 to armv7 with OS runtime.
2023-07-27 5:26 When using the Ada Big_Numbers.Big_Integers package, can the To_String function output be sliced? 11+ messages
2023-07-26 4:49 Rosetta Code task Proper divisors fails to compile 5+ messages
2023-07-22 3:50 memoization in Ada? Hash ADT? 7+ messages
2023-07-14 19:17 Formal Package Compiler Differences 2+ messages
2023-07-09 18:22 Ada Support on Archlinux 3+ messages
2023-07-04 10:56 gnat -xdr flag confusion. 3+ messages
2023-07-01 17:15 Using "pure" (?) Ada, how to determine whether a file is a "text" file, not a binary? 7+ messages
2023-06-30 19:28 GNAT Community 2020 (20200818-93): Big_Integer 4+ messages
2023-06-28 18:38 SDL Ada package fails to compile on Mac, gnat 13.1, missing "SDL2_ttf/SDL_ttf.h" 54+ messages
2023-06-27 23:44 Very basic question: How to use gnatmake (not gprbuild) using external libraries? 5+ messages
2023-06-27 20:53 [Ann] GnatStudio Cookbook 5+ messages
2023-06-25 4:37 I have gnat 13.1.0 on my M1 Mac; I'd like to have my own Ada+GNAT *.ad[sb] library files, where are they? 10+ messages
2023-06-24 11:22 ARM 64-bit binary support
2023-06-14 6:49 Ada 2022 Language Reference Manual to be Published by Springer 9+ messages
2023-06-09 10:56 Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
2023-06-08 3:55 does a safer language mean it is slower to run? 12+ messages
2023-06-07 6:45 Possible to check access to current time? 2+ messages
2023-06-07 6:43 Possible to check access to current time
2023-06-03 12:58 Problems with gprbuild (gnat) 3+ messages
2023-06-03 2:33 Doggerel
2023-06-02 15:49 Ann: Qplt 4+ messages
2023-06-02 1:47 Getting gprbuild and xmlada into the official Arch Linux repositories.
2023-06-01 8:38 [Reminder] The PragmAda Reusable Components
2023-05-31 12:27 Ada Monthly Meetup 2023 12+ messages
2023-05-30 16:36 GNAT or Language Problems? 11+ messages
2023-05-29 16:29 Ann: LEA v.0.87 9+ messages
2023-05-29 16:19 Ann: GWindows release, 29-May-2023 6+ messages
2023-05-28 15:14 Re: "Ada Computer Science" at raspberrypi.org 4+ messages
2023-05-27 15:44 Please Share Ada -Freedos - Dos experiences 11+ messages
2023-05-21 10:11 Ada-Europe - AEiC 2023 early registration deadline approaching
2023-05-17 19:23 [ANN] GCC 13.1.0 for Apple silicon
2023-05-17 14:26 Console app using GNATColl
2023-05-15 10:41 Re: GnatStudio 20230501 released 8+ messages
2023-05-14 0:17 Ada Scales Down! 3+ messages
2023-05-12 17:50 Java and Python have just discovered "record" type finally after 40 years. 21+ messages
2023-05-12 12:17 Is a Boolean type inherently atomic ? 6+ messages
2023-05-11 18:07 Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
2023-05-11 14:31 Ada-Belgium Spring 2023 Event, Sun 28 May 2023
2023-05-10 9:45 Ada 23 at Last! 4+ messages
2023-05-09 9:39 2023 Stack Overflow: Ada in the programming options for the first time 10+ messages
2023-05-05 9:51 problemn with string'last 10+ messages
2023-05-05 3:36 [ANN] Release of UXStrings 0.5.0 3+ messages
2023-05-02 12:07 ANN: SparForte 2.6 3+ messages
2023-04-28 23:55 Trying GCC 13.1.0 (x86_64) on Ventura 13.3.1 4+ messages
2023-04-28 5:38 Warning: requires executable stack... 3+ messages
2023-04-28 0:28 Help with building AWS
2023-04-27 15:22 ANN: GCC 13.1.0 for macOS Monterey++
2023-04-25 21:51 Git clone command to get aws? 8+ messages
2023-04-25 20:17 Development of an app for the Pools 5+ messages
2023-04-25 11:18 DebugBreak() in Ada 5+ messages
2023-04-23 18:51 Where do to store shared code?
2023-04-23 7:25 ANN: Simple components for Ada v 4.66
2023-04-23 7:20 ANN: Units of measurement for Ada v3.13 4+ messages
2023-04-19 17:36 Ada interface to Excel file 8+ messages
2023-04-19 7:09 strange cursor in nested containers 13+ messages
2023-04-17 14:20 Hi guys! I've been inactive for a long time but now started to develop a hobby application. I found a strange behaviour with gdb. Locally renaming a function S in order to shorten the source code visits cygwin.S during execution. thie is very awkwae 7+ messages
2023-04-15 18:52 Looking for feedback: ISO 3166-1 country Country Code Reference in Ada 2+ messages
2023-04-14 16:10 Rejected (legal?) program
2023-04-13 14:17 Currency Library for Ada? 5+ messages
2023-04-11 1:43 ANN: VisualAda (Ada Integration for Visual Studio 2022) release 1.0.0.12
2023-04-08 7:00 Contracts in generic formal subprogram 13+ messages
2023-04-05 9:24 Constancy of X'Address? 4+ messages
2023-04-03 4:12 Announce: AdaStudio-2023 release 03/04/2023 free edition 4+ messages
2023-04-01 12:26 Working around -freestanding limitations? 19+ messages
2023-03-31 14:13 Ada distilled 2012 14+ messages
2023-03-30 21:49 ChatGPT 9+ messages
2023-03-23 19:18 gnatstub
2023-03-22 9:19 Assignment access type with discriminants 11+ messages
2023-03-21 12:06 Why don't all initialising assignments use 'build-in-place' ? 5+ messages
2023-03-19 6:17 Is this a compiler bug ? 3+ messages
2023-02-28 21:10 Build order with gprbuild 8+ messages
2023-02-25 14:33 Ada-Europe Conference - 6 March Extended Final Deadline
2023-02-22 16:34 wait does not perform as expected 18+ messages
2023-02-21 0:11 Weird error emanating from GNAT binder: duplicat "gnatS" 17+ messages
2023-02-19 13:34 Ada array contiguity. 10+ messages
2023-02-16 9:39 AEiC 2023 - Ada-Europe conference - Final Deadline Approaching
2023-02-14 8:49 Use Ada.Containers.Vectors Generic_Sorting or Ada.Containers.Ordered_Sets ? 6+ messages
2023-02-13 20:40 ? Precision Time Protocol: there are some Ada Library for It? Thanks!
2023-02-07 20:29 Broadcast / iterate to all Connection objects via Simple Components? 22+ messages
2023-02-04 22:54 GitHub Copilot for Ada?
2023-01-26 18:25 pragmas in doubly linked lists 8+ messages
2023-01-25 14:00 Looking for Ada source code 4+ messages
2023-01-25 13:27 Gnu Emacs Ada mode 8.0.4 released.
2023-01-25 13:15 GTk Printing a obe page document 4+ messages
2023-01-24 16:01 Printing with Gtk runs but produces only empty pages 2+ messages
2023-01-22 21:52 Implicit_Dereference for Real_Vectors ?
2023-01-22 21:34 Real_Arrays on heap with overloaded operators and clean syntax 34+ messages
2023-01-21 23:43 elab pragma placement 5+ messages
2023-01-18 13:38 Citadel Code of Conduct 5+ messages
2023-01-17 13:56 Table game
2023-01-16 18:30 Babbage & Lovelace - The Opera 2+ messages
2023-01-16 17:48 Ada Lovelace cosplay
2023-01-14 9:01 A Short Video on Getting Started with GtkAda in 2023 4+ messages
2023-01-09 14:31 SDLAda 5+ messages
2022-11-26 8:07 [ANN] XNAdaLib and GNATStudio 2022 binaries for macOS Monterey. 4+ messages
2022-11-08 11:41 No Ada DevRoom in FOSDEM 2023, alternative DevRooms and Ada-Europe support 2+ messages
2022-10-01 7:19 Announce: AdaStudio-2022 release 01/10/2022 free edition 2+ messages
2022-09-24 7:52 MS going to rust (and Linux too) 18+ messages
2022-09-09 9:32 on Ada abtract data type vs. OOP. 10+ messages
2022-04-26 19:59 Ada Monthly Meeting proposal 22+ messages
2021-11-07 10:41 GNAT Community 2021 and PolyORB: Can't find source for a-sttebu.ali 5+ messages
2021-04-17 22:03 Ada and Unicode 63+ messages
2019-07-10 7:25 Artificial Intelligence libraries in ADA 45+ messages
2018-12-12 14:04 Graph database client? eg Neo4j, Dgraph ... 8+ messages
2014-04-06 19:06 Re: Serial port configuration 6+ messages
2014-01-22 11:39 Ada on Android and iOS? 18+ messages
2008-08-21 2:35 Status of ayacc and aflex? 25+ messages
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox