2014-11-12 23:09
avsm changed the topic of #mirage to: mirage 2 released! party on!
00:20
AltGr has joined #mirage
01:10
mort___ has left #mirage [#mirage]
01:26
burr is now known as poka
01:58
seangrove has quit [Ping timeout: 264 seconds]
02:29
seangrove has joined #mirage
02:45
brson has quit [Quit: leaving]
03:48
pierpa has quit [Ping timeout: 240 seconds]
03:58
yegods has quit [Remote host closed the connection]
04:02
yegods has joined #mirage
04:19
yegods has quit [Remote host closed the connection]
04:19
dograt has quit [Ping timeout: 256 seconds]
04:23
yegods has joined #mirage
04:25
tomboy65 has joined #mirage
04:25
dograt has joined #mirage
04:25
tomboy64 has quit [Ping timeout: 250 seconds]
04:26
seangrove has quit [Ping timeout: 245 seconds]
06:01
AltGr has left #mirage [#mirage]
07:13
yegods has quit [Remote host closed the connection]
07:14
tomboy64 has joined #mirage
07:15
tomboy65 has quit [Ping timeout: 272 seconds]
08:00
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
08:13
yegods has joined #mirage
08:19
nullcat has joined #mirage
08:19
yegods has quit [Ping timeout: 256 seconds]
10:08
mort___ has joined #mirage
11:31
lars_kurth has joined #mirage
11:50
musha68k has joined #mirage
11:56
yegods has joined #mirage
12:00
yegods has quit [Ping timeout: 240 seconds]
13:06
yegods has joined #mirage
13:24
lars_kurth has quit [Ping timeout: 256 seconds]
13:32
lars_kurth has joined #mirage
13:34
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
13:57
lars_kurth has quit [Ping timeout: 264 seconds]
14:02
lars_kurth has joined #mirage
14:07
mort___1 has joined #mirage
14:08
mort___ has quit [Ping timeout: 252 seconds]
14:10
mort___1 has quit [Client Quit]
14:15
pablo__ has joined #mirage
14:22
pierpa has joined #mirage
14:24
lars_kurth has quit [Ping timeout: 260 seconds]
14:36
mort___ has joined #mirage
14:48
pablo__ has quit [Remote host closed the connection]
15:12
mort___ has quit [Ping timeout: 252 seconds]
15:17
mort___ has joined #mirage
15:20
pablo_ has joined #mirage
15:56
amirmc has joined #mirage
16:00
mort___ has quit [Quit: Leaving.]
16:01
<
hannes >
anyone @CL joining?
16:03
mort___ has joined #mirage
16:30
noddy has joined #mirage
17:00
<
hannes >
pablo_: hey! :)
17:00
<
hannes >
sorry for me not having too much time for reviewing it, but just dropping random comments
17:00
<
pablo_ >
didn't want to continue trying to "fix" any of those before knowing if they are really something that need to be fixed in the first place :)
17:01
<
pablo_ >
no problem at all. I'm having fun time reading the tcp code together with the RFC, on my spare time. Nice project!
17:05
noddy has quit [Ping timeout: 240 seconds]
17:10
yegods has quit [Remote host closed the connection]
17:41
seangrove has joined #mirage
17:43
noddy has joined #mirage
17:50
<
hannes >
pablo_: the current problem seems to be that the TCP/IP stack is not well maintained (and nobody feels in charge of it) -- I'm slowly reviving
https://github.com/PeterSewell/netsem to get some testing of TCP from there..
17:53
amirmc has quit [Quit: Leaving.]
18:01
mort___ has quit [Ping timeout: 252 seconds]
18:01
mort___ has joined #mirage
18:02
mort___1 has joined #mirage
18:02
mort___ has quit [Read error: Connection reset by peer]
18:02
<
mort___1 >
(that's one of the reasons i proposed that as a hackathon topic :)
18:05
amirmc has joined #mirage
18:05
<
pablo_ >
let me know if I can help on something
18:09
amirmc has quit [Client Quit]
18:09
amirmc has joined #mirage
18:10
<
pablo_ >
wish I could
18:11
amirmc has quit [Client Quit]
18:19
noddy has quit [Ping timeout: 240 seconds]
18:43
mort___1 has quit [Quit: Leaving.]
18:46
noddy has joined #mirage
18:49
brson has joined #mirage
18:57
seangrove has quit [Ping timeout: 264 seconds]
19:31
seangrove has joined #mirage
19:37
seangrove has quit [Ping timeout: 256 seconds]
20:22
nullcat has joined #mirage
20:29
mort___ has joined #mirage
20:45
brson has quit [Ping timeout: 250 seconds]
20:50
mort___ has quit [Quit: Leaving.]
20:52
brson has joined #mirage
21:17
yegods has joined #mirage
21:29
lobo has joined #mirage
21:50
dograt has quit [Ping timeout: 264 seconds]
22:12
pablo_ has quit [Remote host closed the connection]
22:19
brson has quit [Ping timeout: 252 seconds]
22:27
seangrove has joined #mirage
22:32
yegods has quit [Remote host closed the connection]
23:01
lobo has quit [Quit: leaving]
23:04
nano- has joined #mirage
23:04
brson has joined #mirage
23:09
dezzy has quit [Ping timeout: 276 seconds]
23:12
dezzy has joined #mirage
23:33
yegods has joined #mirage
23:37
yegods has quit [Ping timeout: 245 seconds]