messages from 2014-04-24 05:28:08 to 2014-05-08 17:48:26 UTC [more...]
Heartbleed
2014-05-08 17:48 UTC (46+ messages)
` Oberon and Wirthian languages (was: Heartbleed)
` Oberon and Wirthian languages
Safety of unprotected concurrent operations on constant objects
2014-05-08 12:03 UTC (64+ messages)
` Safety of unprotected concurrent operations on constant objects (was: Safety of unprotected concurrent operations on constant objects)
ANN: GCC 4.9.0 for Mac OS X Mavericks
2014-05-08 9:09 UTC (10+ messages)
Noob question.. Autopromotion?
2014-05-07 16:13 UTC (6+ messages)
GNAT GPL 2014
2014-05-06 20:13 UTC
GTK and tasking (GNAT)
2014-05-06 12:43 UTC (15+ messages)
I'm a noob here
2014-05-06 10:47 UTC (13+ messages)
Air Traffic Control Issue
2014-05-05 23:27 UTC
19th Int.Conf. Reliable Software Technologies, Ada-Europe 2014
2014-05-04 19:26 UTC
How to declare a generic formal type "covered" by another?
2014-05-02 16:00 UTC (16+ messages)
Ada on Teensy 3.1?
2014-04-30 19:54 UTC (2+ messages)
Are values of non-limited actual type for a limited formal type built in place?
2014-04-30 15:23 UTC (2+ messages)
(SPARK Ada) Proving that bitwise and is associative?
2014-04-30 12:39 UTC (4+ messages)
Your wish list for Ada 202X
2014-04-29 19:42 UTC (71+ messages)
GLIBC_2.14 memcpy
2014-04-28 12:23 UTC (6+ messages)
Side-channel Attacks (Time)
2014-04-25 19:43 UTC (6+ messages)
Declaration of function in precondition
2014-04-25 1:45 UTC (3+ 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