messages from 2014-04-19 15:06:24 to 2014-04-29 15:59:41 UTC [more...]
(SPARK Ada) Proving that bitwise and is associative?
2014-04-29 15:59 UTC
Your wish list for Ada 202X
2014-04-29 15:39 UTC (99+ messages)
GLIBC_2.14 memcpy
2014-04-28 12:23 UTC (12+ messages)
Heartbleed
2014-04-27 15:36 UTC (91+ messages)
` Oberon and Wirthian languages (was: Heartbleed)
` Oberon and Wirthian languages
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)
Another open-source compiler
2014-04-23 22:08 UTC (3+ messages)
OpenSSL development (Heartbleed)
2014-04-23 8:20 UTC (44+ messages)
` [OT] OpenBSD, was: "
Call for Papers for ACM HILT 2014 -- due June 7, co-located with SPLASH/OOPSLA
2014-04-22 18:06 UTC
Type Transcriptions
2014-04-22 8:57 UTC (9+ messages)
Why we can't use phones on airplanes
2014-04-19 18: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