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