2014-11-12 23:09
avsm changed the topic of #mirage to: mirage 2 released! party on!
00:08
mcclurmc has joined #mirage
00:13
mcclurmc has quit [Ping timeout: 250 seconds]
00:53
brson has joined #mirage
01:02
AltGr has joined #mirage
01:49
noddy has quit [Ping timeout: 245 seconds]
02:09
mcclurmc has joined #mirage
02:14
brson has quit [Quit: leaving]
02:14
mcclurmc has quit [Ping timeout: 265 seconds]
03:11
mcclurmc has joined #mirage
03:15
mcclurmc has quit [Ping timeout: 240 seconds]
03:43
javamonn has joined #mirage
03:56
javamonn has quit [Remote host closed the connection]
04:00
javamonn has joined #mirage
04:48
noddy has joined #mirage
04:54
javamonn has quit [Remote host closed the connection]
06:22
_whitelogger has joined #mirage
06:53
jonludlam has joined #mirage
07:12
jonludlam has quit [Ping timeout: 244 seconds]
07:51
avsm has quit [Quit: Leaving.]
08:29
mort___ has joined #mirage
08:33
avsm1 has joined #mirage
08:42
avsm1 has quit [Quit: Leaving.]
08:54
dsheets has quit [Ping timeout: 256 seconds]
09:02
jonludlam has joined #mirage
09:09
andreas1 has quit [Ping timeout: 264 seconds]
09:14
dsheets has joined #mirage
09:17
AltGr has left #mirage [#mirage]
10:09
thomasga has joined #mirage
10:27
andreas has joined #mirage
10:42
larhat has joined #mirage
11:21
<
mort___ >
# File "lib/HTTP.ml", line 63, characters 69-75:
11:21
<
mort___ >
# Error: Signature mismatch:
11:21
<
mort___ >
# The value `sexp_of_ctx' is required but not provided
11:22
<
mort___ >
any ideas which constraint should i change? (assuming that's the answer)
11:28
larhat has quit [Read error: Connection reset by peer]
11:29
avsm has joined #mirage
11:33
larhat has joined #mirage
11:49
avsm has quit [Quit: Leaving.]
11:57
nojb has joined #mirage
12:06
justincormack has quit [Ping timeout: 256 seconds]
12:18
justincormack has joined #mirage
12:24
avsm has joined #mirage
12:26
mort___ has quit [Ping timeout: 265 seconds]
12:30
avsm has quit [Quit: Leaving.]
12:31
amirmc has joined #mirage
12:44
larhat has quit [Quit: Leaving.]
12:48
mort___ has joined #mirage
12:48
avsm has joined #mirage
12:49
avsm1 has joined #mirage
12:53
avsm has quit [Ping timeout: 256 seconds]
12:54
mort___ has quit [Ping timeout: 240 seconds]
13:10
amirmc has quit [Quit: Leaving.]
13:20
mcclurmc has joined #mirage
13:44
justincormack has quit [Ping timeout: 256 seconds]
14:05
nojb has quit [Quit: nojb]
14:07
nojb has joined #mirage
14:11
nojb has quit [Client Quit]
14:37
avsm1 has quit [Quit: Leaving.]
15:02
kdef has joined #mirage
15:07
tlockney_away is now known as tlockney
15:15
MrScout has joined #mirage
15:17
M__ has joined #mirage
15:28
avsm has joined #mirage
15:29
avsm1 has joined #mirage
15:31
nojb has joined #mirage
15:32
avsm has quit [Ping timeout: 240 seconds]
15:35
kdef has quit [Quit: Leaving]
15:35
jonludlam has quit [Ping timeout: 264 seconds]
15:47
avsm1 has quit [Quit: Leaving.]
15:49
larhat has joined #mirage
15:49
jonludlam has joined #mirage
15:54
avsm has joined #mirage
16:03
mattg has joined #mirage
16:06
<
mattg >
i was about to send a mail to the list
16:06
<
avsm >
mattg: looks like fun — i'm just next door in UCL in the afternoon, so its really convenient!
16:10
<
mattg >
yes, i think it will be fun - I'm going to talk about it from a personal / learning perspective, but if it's OK i might run some of general "intro to MirageOS" slides by you / rest of the list if that's OK?
16:11
jonludlam has quit [Ping timeout: 264 seconds]
16:11
<
avsm >
mattg: absolutely. we should have TLS released by then as well, if you want to show off a secure HorseOS :-)
16:12
<
mattg >
excellent, I will try!
16:12
nojb has quit [Quit: nojb]
16:12
dsheets has quit [Ping timeout: 246 seconds]
16:15
<
avsm >
mattg: do you have a Cubieboard or do you use something else for the Xen hosting?
16:15
nojb has joined #mirage
16:15
<
mattg >
avsm: I've hosted horseos in AWS
16:16
<
mattg >
avsm: I do the testing in a vagrant vm
16:17
<
avsm >
I really want to cleanup the OCaml AWS bindings. we have about 3 half working ones
16:19
<
mattg >
The problem i guess is that AWS is such a massive api, it's hard to write and test bindings for all of it
16:20
<
avsm >
Yeah, need to autogenerate them.
16:22
<
mattg >
Which of the existing bindings is the closest to fully working would you say?
16:23
jonludlam has joined #mirage
16:23
<
avsm >
she did for GSoC and got things booting
16:34
andreas has quit [Quit: Leaving.]
16:34
<
mattg >
cool, I'll have a play with them
16:35
brson has joined #mirage
16:37
nojb has quit [Quit: nojb]
16:37
thomasga has quit [Ping timeout: 256 seconds]
16:38
avsm has quit [Quit: Leaving.]
16:39
kdef has joined #mirage
16:43
nojb has joined #mirage
16:44
nojb has quit [Client Quit]
16:53
jonludlam has quit [Ping timeout: 264 seconds]
17:01
mattg has quit [Ping timeout: 250 seconds]
18:11
mort___ has joined #mirage
18:43
tlockney is now known as tlockney_away
18:46
brson has quit [Quit: leaving]
18:46
brson has joined #mirage
18:51
jonludlam has joined #mirage
19:12
mort___ has quit [Quit: Leaving.]
19:18
mort___ has joined #mirage
19:23
M__ has quit [Ping timeout: 246 seconds]
19:27
tlockney_away is now known as tlockney
19:36
kdef has quit [Ping timeout: 250 seconds]
19:52
thomasga has joined #mirage
20:09
kdef has joined #mirage
20:10
larhat has quit [Ping timeout: 276 seconds]
20:10
larhat has joined #mirage
20:12
justincormack has joined #mirage
20:47
javamonn has joined #mirage
21:03
mort___ has quit [Quit: Leaving.]
21:05
avsm has joined #mirage
22:13
javamonn has quit [Remote host closed the connection]
22:29
javamonn has joined #mirage
22:31
javamonn has quit [Read error: Connection reset by peer]
22:32
javamonn has joined #mirage
23:09
avsm has quit [Quit: Leaving.]
23:17
javamonn has quit [Remote host closed the connection]
23:26
javamonn has joined #mirage
23:30
brson has quit [Quit: leaving]
23:32
brson has joined #mirage
23:38
brson has quit [Quit: leaving]
23:38
brson has joined #mirage
23:57
thomasga has quit [Quit: Leaving.]