2025-09-01 18:32 ANN: Ahven 2.9
2025-08-29 15:30 Re: In precision typing we trust 125+ messages
2025-08-29 10:37 Re: Best use cases for OOP (resent quoted sorry) 8+ messages
2025-08-13 13:27 Re: ada to java 6+ messages
2025-08-10 13:44 ANN: Simple Components 4.75 2+ messages
2025-08-08 20:22 Error: container cannot be indexed with "Cursor" 2+ messages
2025-08-03 17:36 Jean-loup Gailly
2025-07-21 20:19 Suggestions for next version of Ada standard
2025-07-12 13:03 ANN: Simple Components 4.75
2025-07-12 12:55 ANN: Strings edit 3.9
2025-06-30 10:48 ANN: Simple Components 4.74
2025-06-14 18:14 Re: [ANN] Ada Developers Workshop @ AEiC, speakers, topics and price 2+ messages
2025-06-09 22:47 NVIDIA Spark Process 2+ messages
2025-06-01 18:51 [Reminder] The PragmAda Reusable Components
2025-05-31 8:34 Simon J. Wright 4+ messages
2025-05-24 21:16 Ada-Europe - AEiC 2025 early registration deadline imminent
2025-05-19 16:09 Ada-Belgium Spring 2025 Event, Sun 1 June 2025
2025-05-12 20:12 Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
2025-04-05 7:17 Dimensional Analysis 2+ messages
2025-03-29 11:35 ANN: Simple Components v4.73
2025-03-20 22:06 Re: If your ideas are any good, you’ll have to ram them down people’s throats. 4+ messages
2025-03-19 21:50 Ada Monthly Meetup, 5th of April 2025
2025-03-11 17:23 ANN: Simple Components v4.72
2025-03-02 10:47 Ada Developers Workshop @ AEiC 2025 - Paris, June 13th 2+ messages
2025-03-02 9:29 Pack aspect with aliased component. 3+ messages
2025-02-18 19:26 AEiC 2025 - Ada-Europe conference - CfC for Additional Tracks
2025-02-15 8:17 Ada Monthly Meetup, 1st of March 2025 2+ messages
2025-01-30 15:10 ANN: Simple Components v4.71
2025-01-29 11:05 12th Ada DevRoom @ FOSDEM 2025, Sun 2 Feb, Brussels & online
2025-01-27 0:59 Bad IEEE and bad Code Ocean 2+ messages
2025-01-18 15:26 ANN: Simple Components 4.70
2025-01-12 16:50 Ada-Europe conference - 7 Feb Journal Track Extended Deadline
2025-01-07 16:14 Is iOS as insecure as "the Torture Journal" reports? 4+ messages
2025-01-04 21:01 Ada on old Macs 8+ messages
2024-12-24 15:33 Ada-Europe Conference - 2nd Call for Contributions - AEiC 2025
2024-12-19 17:19 12th Ada Developer Room at FOSDEM 2025 - Sun 2 Feb - Brussels
2024-12-10 17:20 How can I make Reduce run from right to left? 6+ messages
2024-12-10 16:19 Happy birthday, Lady Ada! 6+ messages
2024-12-06 18:45 Anyone using AWS.Client in Fedora? You need Rawhide. 4+ messages
2024-12-03 11:43 Re: compilation or linking error 5+ messages
2024-12-01 10:21 [Reminder] The PragmAda Reusable Components
2024-11-17 14:41 [ANN] GCC 14.2.0-3 (aarch64, macOS) 15+ messages
2024-11-16 10:32 Ada Monthly Meetup, 7th December 2024 2+ messages
2024-11-05 19:25 many failures of ALIRE crates
2024-10-29 21:40 [FOSDEM] Call for Presentations: Ada DevRoom @ FOSDEM 2025 2+ messages
2024-10-23 18:00 [FOSDEM] Ada Devroom accepted for FOSDEM 2025
2024-10-21 14:50 CfC 29th Ada-Europe Int. Conf. Reliable Software Technologies
2024-10-14 10:22 Ada Forum 3+ messages
2024-10-13 9:01 [ANN] Release of UXStrings 0.8.1 2+ messages
2024-10-03 17:38 Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant 32+ messages
2024-09-17 16:19 adaic.org; is there a problem? 11+ messages
2024-09-16 20:43 Ada Monthly Meetup, 5th October 2024 2+ messages
2024-09-12 14:25 Ada/GNAT/AWS-friendly web hosting 27+ messages
2024-09-08 16:30 Gnoga's 10th anniversary - V2.2 released.
2024-09-06 1:55 “Red” And The DoD Language Competition 15+ messages
2024-09-05 11:52 Ichbiah 2022 compiler mode 44+ messages
2024-08-13 12:36 Reduction expressions 8+ messages
2024-08-13 11:37 On_Button_Press_Event in Text_View 5+ messages
2024-08-11 15:21 Ada Monthly Meetup, September 2024 2+ messages
2024-08-08 18:49 [AEiC 2024] Ada Developers Workshop videos and slides are public
2024-07-26 10:02 [ANN] GNAT Studio 25.0 for macOS Ventura.
2024-07-23 5:21 Canal+ crash - Re: Annulation : Crosspost excessif 5+ messages
2024-07-20 22:49 Journal of Scientific Practice and Integrity
2024-07-19 21:41 Canal+ crash 23+ messages
2024-07-04 0:08 Accessing The Command Line 11+ messages
2024-07-02 0:27 KDF9 Pascal, thanks to Ada
2024-06-30 8:06 Parallel Sieve Of Eratosthenes 6+ messages
2024-06-29 7:30 ANN: Simple Components v4.69
2024-06-18 13:05 Software Engineer Seeks Compatible Cratifier 10+ messages
2024-06-01 12:48 [Reminder] The PragmAda Reusable Components
2024-05-28 8:52 2024 Ada-Belgium General Assembly
2024-05-18 11:01 Ada-Europe - AEiC 2024 early registration deadline imminent
2024-05-16 20:09 ANN: GCC 14.1.0 for macOS 5+ messages
2024-05-15 11:03 Ada Developers Workshop @ AEiC 2024, Speaker and Talk list 3+ messages
2024-05-11 11:30 Ada-Lang and it's (more active than CLA) forum 2+ messages
2024-05-05 4:33 Re: Buggy software killed innocent Fiona Cowan and Martin Griffiths 3+ messages
2024-04-25 14:11 We are hiring software engineers
2024-04-17 10:29 Ada Monthly Meetup, May 2024 4+ 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 5+ 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 7+ messages
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-08 3:55 does a safer language mean it is slower to run? 12+ messages
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-15 10:41 Re: GnatStudio 20230501 released 8+ messages
2023-05-05 3:36 [ANN] Release of UXStrings 0.5.0 3+ messages
2023-03-31 14:13 Ada distilled 2012 14+ messages
2023-03-30 21:49 ChatGPT 14+ 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-08-25 10:01 yet another Ada web site? 38+ messages
2021-11-07 10:41 GNAT Community 2021 and PolyORB: Can't find source for a-sttebu.ali 5+ messages
2021-11-02 17:42 How to read in a (long) UTF-8 file, incrementally? 16+ messages
2020-05-11 18:49 Not to incite a language war but apparently the Corona lockdown was based on 13 year old undocumented C-Code 74+ messages
2018-12-12 14:04 Graph database client? eg Neo4j, Dgraph ... 8+ messages
2016-04-08 21:18 Re: Software on SpaceX / Blue Origin projects 10+ messages
2014-12-14 17:20 Ada Connections to this Crypto. 57+ messages
2014-04-06 19:06 Re: Serial port configuration 6+ messages
2010-08-20 21:38 Ada 2012 and Unicode package (UTF-nn encodings handling) 27+ messages
2007-01-15 17:17 Re: Structured exception information 182+ messages
1996-05-17 0:00 Need help with PowerPC/Ada and realtime tasking 40+ messages
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox