messages from 2012-03-03 14:44:37 to 2012-03-15 17:46:28 UTC [more...]
Blues
2012-03-15 17:44 UTC
A split between two kinds of Ada programmers?
2012-03-15 14:07 UTC
Array Help?
2012-03-15 7:46 UTC (21+ messages)
ANN: Paraffin 3.2
2012-03-15 3:44 UTC
Ada and linux real time
2012-03-15 2:35 UTC (9+ messages)
Verified compilers?
2012-03-14 21:52 UTC (60+ messages)
` Usefulness of Formal Notions in Programming (was: Verified compilers?)
` Usefulness of Formal Notions in Programming
` REAL (was: Verified compilers?)
` REAL
Robert Dewar at FOSDEM 2012: video available
2012-03-14 19:40 UTC (3+ messages)
Endian problems - what best way to solve it with least effort
2012-03-14 15:54 UTC (5+ messages)
gnat on debian arm
2012-03-14 10:02 UTC (12+ messages)
Crossrail TBM (Tunnel Boring Machine) names
2012-03-13 21:43 UTC (2+ messages)
MESMERIZING HOT PHOTOS & VIDEOS
2012-03-13 20:55 UTC
Ncurses and Ada
2012-03-12 16:23 UTC (15+ messages)
open this link surprise 4 u
2012-03-12 14:35 UTC
online income 50000 per month
2012-03-12 5:08 UTC
ANN: Paraffin 3.1
2012-03-11 20:54 UTC
C++ on the Down Slope?
2012-03-09 7:22 UTC (5+ messages)
Fun with History: “Why wasn't Ada83 object oriented?”
2012-03-09 2:20 UTC (13+ messages)
` Re=Fun_with_History why_wasnt_Ada83_object_oriented
` Early availability of cheap Ada compilers (Was: Re=Fun_with_History why_wasnt_Ada83_object_oriented)
can GNATmem report a memory leak when, in fact, no leak exists - a false positive?
2012-03-09 1:03 UTC
Can I convert a string of letters into an array?
2012-03-08 14:04 UTC (15+ messages)
Arbitrary Sandbox
2012-03-08 11:01 UTC (23+ messages)
Convert wide_string to string (as the same byte array)
2012-03-07 1:04 UTC (4+ messages)
Any leap year issues caused by Ada yesterday?
2012-03-06 21:37 UTC (21+ messages)
earn money
2012-03-06 12:59 UTC
SPARK loop VCs that go "one beyond" the loop?
2012-03-06 10:17 UTC (4+ messages)
Reference counting access type
2012-03-06 1:52 UTC (4+ messages)
Arbitrary Sandbox
2012-03-06 0:52 UTC (4+ messages)
Convention for naming of packages
2012-03-06 0:36 UTC (8+ messages)
` Convention for naming of anything
ADTs C to Ada
2012-03-05 16:58 UTC (5+ messages)
Ada presentations at Open Source Days in Copenhagen
2012-03-05 16:36 UTC (9+ messages)
earn money
2012-03-04 5:04 UTC
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