messages from 2017-10-05 07:21:11 to 2017-10-22 10:52:54 UTC [more...]
Array of Unbounded_String vs Indefinite_Vectors(Natural, String)
2017-10-22 10:52 UTC (3+ messages)
RM with accepted changes, available?
2017-10-22 10:46 UTC (4+ messages)
Poor performance after upgrate to xubuntu 17.10
2017-10-21 19:58 UTC (2+ messages)
Finding the end of a stream from a socket
2017-10-21 19:46 UTC (8+ messages)
Where to find Ada roles?
2017-10-21 16:05 UTC (19+ messages)
How to make tasks to run in parallel
2017-10-21 12:32 UTC (18+ messages)
About good practice: Should protected objects be small?
2017-10-21 4:12 UTC (4+ messages)
Allocators design flaw
2017-10-21 1:42 UTC (35+ messages)
Interrupts & Ravenscar
2017-10-21 1:16 UTC (2+ messages)
Storage pools and generic access types
2017-10-21 0:50 UTC (2+ messages)
GNAT on Raspberry Pi?
2017-10-20 20:21 UTC (11+ messages)
Alleged GNAT bug
2017-10-20 18:10 UTC
Why does Ada compile slower than Python?
2017-10-20 6:25 UTC (11+ messages)
Object oriented (question)
2017-10-19 22:48 UTC
can gonga make me a multi millionaire?
2017-10-19 16:58 UTC
How many CPU cores?
2017-10-14 20:55 UTC (4+ messages)
[ANN] XNAdaLib 2017 binaries
2017-10-14 8:56 UTC (3+ messages)
The best possible way to call a function in a shared library
2017-10-13 0:38 UTC (41+ messages)
Convert between C "void*" pointer and an access
2017-10-12 8:05 UTC (8+ messages)
JSON Web Tokens
2017-10-11 20:26 UTC (3+ messages)
Task safe containers? Help needed
2017-10-10 19:48 UTC (9+ messages)
Idiomatic formatting for empty package
2017-10-10 17:38 UTC (17+ messages)
` Re : "
Getting GNAT GPL 2017 to run on NixOS
2017-10-10 10:13 UTC
Bad influence of private part on what subprograms can be defined
2017-10-09 22:02 UTC (5+ messages)
Subtype or derived type?
2017-10-09 21:50 UTC (4+ messages)
GPS: Only indent, not change casing
2017-10-05 15:52 UTC (5+ messages)
ANN: Ada Industrial Control Widget Library v3.16
2017-10-05 9:08 UTC (6+ messages)
Community Input for the Maintenance and Revision of the Ada Programming Language
2017-10-05 7:21 UTC (12+ 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