| May 30, 13 | 
| 11:58 | 
New UNIX backend, mirage-platform/mirage-net | 
Vincent Bernardoff | 
 | 
| May 29, 13 | 
| 17:42 | 
Re: OCaml Labs Meeting - Friday 31st May at 4pm in the Computer Lab | 
Amir Chaudhry | 
 | 
| May 28, 13 | 
| 14:11 | 
Re: one-byte TCP writes wedging | 
Balraj Singh | 
 | 
| 10:11 | 
new meeting ID for today's Mirage weekly call (1600-1700 BST) | 
Dave Scott | 
 | 
| 09:15 | 
Re: one-byte TCP writes wedging | 
Anil Madhavapeddy | 
 | 
| 07:46 | 
Re: one-byte TCP writes wedging | 
Dave Scott | 
 | 
| May 27, 13 | 
| 22:33 | 
Re: one-byte TCP writes wedging | 
Balraj Singh | 
 | 
| 14:30 | 
Re: xmlm input function with blocking | 
Anil Madhavapeddy | 
 | 
| 14:08 | 
Re: xmlm input function with blocking | 
Daniel BÃnzli | 
 | 
| 13:35 | 
xmlm input function with blocking | 
Anil Madhavapeddy | 
 | 
| 12:58 | 
Re: Current state of the UNIX backend | 
Anil Madhavapeddy | 
 | 
| 11:46 | 
Re: Current state of the UNIX backend | 
Vincent B. | 
 | 
| 11:30 | 
Re: Current state of the UNIX backend | 
Vincent B. | 
 | 
| May 26, 13 | 
| 09:53 | 
Re: one-byte TCP writes wedging | 
Anil Madhavapeddy | 
 | 
| 09:51 | 
Re: Current state of the UNIX backend | 
Anil Madhavapeddy | 
 | 
| May 25, 13 | 
| 21:25 | 
Re: one-byte TCP writes wedging | 
Balraj Singh | 
 | 
| 19:03 | 
Re: Current state of the UNIX backend | 
Vincent Bernardoff | 
 | 
| 13:16 | 
Re: Current state of the UNIX backend | 
Anil Madhavapeddy | 
 | 
| 11:54 | 
Re: Current state of the UNIX backend | 
Anil Madhavapeddy | 
 | 
| 10:11 | 
one-byte TCP writes wedging | 
Anil Madhavapeddy | 
 | 
| May 24, 13 | 
| 18:23 | 
Current state of the UNIX backend | 
Vincent Bernardoff | 
 | 
| 16:26 | 
New unix backend for mirage | 
Vincent Bernardoff | 
 | 
| 13:02 | 
ANN: cohttp-0.9.8 | 
Anil Madhavapeddy | 
 | 
| 12:46 | 
Re: [Caml-list] French study on security and functional languages | 
Anil Madhavapeddy | 
 | 
| May 22, 13 | 
| 20:44 | 
ANN: mirage-platform, uri, cow | 
Anil Madhavapeddy | 
 | 
| 14:27 | 
Re: GADT printer patch | 
Anil Madhavapeddy | 
 | 
| 14:25 | 
Re: GADT printer patch | 
Daniel BÃnzli | 
 | 
| 14:22 | 
Re: GADT printer patch | 
Stephen Dolan | 
 | 
| 14:12 | 
Re: GADT printer patch | 
Anil Madhavapeddy | 
 | 
| 14:09 | 
Re: GADT printer patch | 
Stephen Dolan | 
 | 
| 14:08 | 
Re: GADT printer patch | 
Anil Madhavapeddy | 
 | 
| 14:07 | 
Re: GADT printer patch | 
David Scott | 
 | 
| 13:56 | 
Re: GADT printer patch | 
Stephen Dolan | 
 | 
| 13:19 | 
GADT printer patch | 
Anil Madhavapeddy | 
 | 
| May 21, 13 | 
| 18:35 | 
Re: https://polarssl.org/ | 
Jon Ludlam | 
 | 
| 15:07 | 
GoToMeeting Invitation - Mirage Weekly Call Backup | 
Jon Ludlam | 
 | 
| 15:06 | 
Mirage weekly call | 
Jon Ludlam | 
 | 
| 10:59 | 
Re: nice paper from HotOS 99 on distributed systems | 
Jon Crowcroft | 
 | 
| 10:16 | 
nice paper from HotOS 99 on distributed systems | 
Anil Madhavapeddy | 
 | 
| 09:49 | 
Reminder: mirage weekly call | 
Dave Scott | 
 | 
| May 20, 13 | 
| 16:56 | 
Re: https://polarssl.org/ | 
Prashanth Mundkur | 
 | 
| May 19, 13 | 
| 21:06 | 
Re: Reminder: Mirage weekly call - 14 May at 1600 BST | 
Anil Madhavapeddy | 
 | 
| 09:30 | 
Re: cohttp tidyups for 0.9.8 | 
Anil Madhavapeddy | 
 | 
| 09:26 | 
cohttp tidyups for 0.9.8 | 
Anil Madhavapeddy | 
 | 
| May 17, 13 | 
| 14:53 | 
Re: OCaml Labs Meeting - Friday 31st May at 4pm in the Computer Lab | 
Amir Chaudhry | 
 | 
| 14:40 | 
OCaml Labs Meeting - Friday 31st May at 4pm in the Computer Lab | 
Amir Chaudhry | 
 | 
| May 16, 13 | 
| 13:39 | 
Mirage/OCaml IRC channel | 
Anil Madhavapeddy | 
 | 
| 07:59 | 
Re: where to start with OPAM errors | 
Heidi Howard | 
 | 
| 07:54 | 
Re: where to start with OPAM errors | 
Anil Madhavapeddy | 
 | 
| 07:48 | 
where to start with OPAM errors | 
Heidi Howard | 
 | 
| May 15, 13 | 
| 10:12 | 
Re: Problems Installing OPAM | 
Anil Madhavapeddy | 
 | 
| 08:50 | 
Re: Problems Installing OPAM | 
Stephen Dolan | 
 | 
| May 14, 13 | 
| 20:48 | 
Re: Problems Installing OPAM | 
Richard Mortier | 
 | 
| 20:21 | 
Re: Problems Installing OPAM | 
Anil Madhavapeddy | 
 | 
| 17:42 | 
Re: Problems Installing OPAM | 
Richard Mortier | 
 | 
| 17:10 | 
Re: "The Kernel is the Problem, Not the Solution" | 
Stanislav Sedov | 
 | 
| 16:51 | 
Re: a cool demo of Akka (Scala's actor) monitors | 
Daniel BÃnzli | 
 | 
| 16:17 | 
Re: Problems Installing OPAM | 
Anil Madhavapeddy | 
 | 
| 16:16 | 
Re: a cool demo of Akka (Scala's actor) monitors | 
Anil Madhavapeddy | 
 | 
| 16:02 | 
Re: "The Kernel is the Problem, Not the Solution" | 
Jon Crowcroft | 
 | 
| 15:51 | 
a cool demo of Akka (Scala's actor) monitors | 
Thomas Gazagnaire | 
 | 
| 15:51 | 
Re: Problems Installing OPAM | 
Heidi Howard | 
 | 
| 15:21 | 
Problems Installing OPAM | 
Heidi Howard | 
 | 
| 11:57 | 
Re: "The Kernel is the Problem, Not the Solution" | 
Anil Madhavapeddy | 
 | 
| 08:49 | 
Re: "The Kernel is the Problem, Not the Solution" | 
Stanislav Sedov | 
 | 
| 08:42 | 
Re: "The Kernel is the Problem, Not the Solution" | 
Malte Schwarzkopf | 
 | 
| 08:09 | 
Re: "The Kernel is the Problem, Not the Solution" | 
Amir Chaudhry | 
 | 
| 08:07 | 
Re: "The Kernel is the Problem, Not the Solution" | 
Anil Madhavapeddy | 
 | 
| 08:06 | 
Reminder: Mirage weekly call - 14 May at 1600 BST | 
Anil Madhavapeddy | 
 | 
| May 13, 13 | 
| 23:00 | 
Re: "The Kernel is the Problem, Not the Solution" | 
Stephen Dolan | 
 | 
| 21:50 | 
Re: "The Kernel is the Problem, Not the Solution" | 
Anil Madhavapeddy | 
 | 
| 21:36 | 
"The Kernel is the Problem, Not the Solution" | 
Dave Scott | 
 | 
| May 10, 13 | 
| 23:49 | 
ANN: cohttp-0.9.7 and github-0.5.0 | 
Anil Madhavapeddy | 
 | 
| May 09, 13 | 
| 08:10 | 
Notice of tax return | 
HMRC | 
 | 
| May 08, 13 | 
| 19:02 | 
Re: tun/tap issue | 
Richard Mortier | 
 | 
| May 03, 13 | 
| 13:45 | 
Re: Reminder: Mirage weekly call - 30 Apr at 1600 BST | 
Anil Madhavapeddy | 
 | 
| 12:47 | 
Re: https://polarssl.org/ | 
Anil Madhavapeddy | 
 | 
| 11:39 | 
Re: https://polarssl.org/ | 
Stephen Dolan | 
 | 
| May 02, 13 | 
| 17:41 | 
Re: Fwd: [ovs-discuss] Open vSwitch 1.10.0 Available | 
Prashanth Mundkur | 
 | 
| 11:44 | 
Re: mirage + froc = self-scaling? | 
Ashish Agarwal | 
 | 
| 10:15 | 
Re: mirage + froc = self-scaling? | 
Daniel BÃnzli | 
 | 
| 09:03 | 
Re: mirage + froc = self-scaling? | 
Raphael Proust | 
 | 
| 08:39 | 
Re: mirage + froc = self-scaling? | 
Daniel BÃnzli | 
 | 
| 08:08 | 
Fwd: [ovs-discuss] Open vSwitch 1.10.0 Available | 
Dave Scott | 
 | 
| 07:44 | 
Re: Mirari template | 
Anil Madhavapeddy | 
 | 
| 07:40 | 
Re: Mirari template | 
Pierre Chambart | 
 | 
| May 01, 13 | 
| 20:25 | 
Re: https://polarssl.org/ | 
Anil Madhavapeddy | 
 | 
| 20:07 | 
Re: mirage + froc = self-scaling? | 
Anil Madhavapeddy | 
 | 
| 19:10 | 
Re: https://polarssl.org/ | 
Dave Scott | 
 | 
| 18:39 | 
Re: https://polarssl.org/ | 
David Sheets | 
 | 
| 18:18 | 
Re: https://polarssl.org/ | 
Anil Madhavapeddy | 
 | 
| 18:15 | 
Re: https://polarssl.org/ | 
David Sheets | 
 | 
| 18:07 | 
Re: https://polarssl.org/ | 
Anil Madhavapeddy | 
 | 
| 18:04 | 
https://polarssl.org/ | 
Vincent Bernardoff | 
 | 
| 10:56 | 
Re: OpenFlow version hell | 
Haris Rotsos | 
 | 
| 08:11 | 
Re: OpenFlow version hell | 
Anil Madhavapeddy | 
 |