messages from 2024-08-13 20:29:59 to 2024-12-21 21:26:06 UTC [more...]
Ichbiah 2022 compiler mode
2024-12-21 21:26 UTC (38+ messages)
12th Ada Developer Room at FOSDEM 2025 - Sun 2 Feb - Brussels
2024-12-19 17:19 UTC
Happy birthday, Lady Ada!
2024-12-11 22:24 UTC (6+ messages)
How can I make Reduce run from right to left?
2024-12-11 1:38 UTC (6+ messages)
Ada Monthly Meetup, 7th December 2024
2024-12-09 13:29 UTC (2+ messages)
Anyone using AWS.Client in Fedora? You need Rawhide
2024-12-06 21:55 UTC (4+ messages)
compilation or linking error
2024-12-05 8:21 UTC (5+ messages)
[Reminder] The PragmAda Reusable Components
2024-12-01 10:21 UTC
[ANN] GCC 14.2.0-3 (aarch64, macOS)
2024-11-30 21:15 UTC (15+ messages)
[FOSDEM] Call for Presentations: Ada DevRoom @ FOSDEM 2025
2024-11-24 19:14 UTC (2+ messages)
adaic.org; is there a problem?
2024-11-21 7:08 UTC (11+ messages)
many failures of ALIRE crates
2024-11-05 19:25 UTC
“Red” And The DoD Language Competition
2024-11-02 3:48 UTC (15+ messages)
` "Red" "
[FOSDEM] Ada Devroom accepted for FOSDEM 2025
2024-10-23 18:00 UTC
CfC 29th Ada-Europe Int. Conf. Reliable Software Technologies
2024-10-21 14:50 UTC
ChatGPT
2024-10-20 16:21 UTC (9+ messages)
[ANN] Release of UXStrings 0.8.1
2024-10-18 7:21 UTC (2+ messages)
First Ada DO-178 Certification
2024-10-17 21:23 UTC (7+ messages)
Ada Forum
2024-10-14 16:36 UTC (3+ messages)
Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant
2024-10-11 23:25 UTC (32+ messages)
Canal+ crash - Re: Annulation : Crosspost excessif
2024-10-10 21:09 UTC (3+ messages)
Ada Monthly Meetup, 5th October 2024
2024-10-05 14:55 UTC (2+ messages)
Ada/GNAT/AWS-friendly web hosting
2024-09-14 18:04 UTC (27+ messages)
yet another Ada web site?
2024-09-14 5:49 UTC (8+ messages)
Gnoga's 10th anniversary - V2.2 released
2024-09-08 16:30 UTC
Ada Monthly Meetup, September 2024
2024-09-06 14:05 UTC (2+ messages)
Reduction expressions
2024-08-24 4:27 UTC (8+ messages)
On_Button_Press_Event in Text_View
2024-08-14 14:34 UTC (5+ messages)
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox