#mirage on 2014-12-15 — irc logs at freenode.irclog.whitequark.org

2014-11-12 23:09 avsm changed the topic of #mirage to: mirage 2 released! party on!

00:03 djs55 has quit [Quit: Leaving.]

00:16 rgrinberg1 has quit [Quit: Leaving.]

00:16 rgrinberg has joined #mirage

00:19 AltGr has joined #mirage

00:23 mcclurmc has quit [Remote host closed the connection]

00:23 mcclurmc has joined #mirage

00:24 mcclurmc has quit [Remote host closed the connection]

00:43 manud___ has joined #mirage

00:43 manud___ has quit [Read error: Connection reset by peer]

00:44 manud___ has joined #mirage

00:46 thomasga has quit [Quit: Leaving.]

00:49 thomasga has joined #mirage

00:52 thomasga has quit [Client Quit]

00:56 rgrinberg1 has joined #mirage

00:56 rgrinberg has quit [Read error: Connection reset by peer]

01:07 brson has joined #mirage

01:18 rgrinberg1 has quit [Quit: Leaving.]

01:34 boogie has joined #mirage

01:34 boogie has quit [Read error: Connection reset by peer]

01:34 boogie has joined #mirage

01:48 `micro_ has left #mirage [#mirage]

01:50 rgrinberg has joined #mirage

01:53 manud___ has quit [Quit: Lingo: www.lingoirc.com]

01:53 manud has joined #mirage

02:03 manud has quit [Quit: Be back later ...]

02:08 manud has joined #mirage

02:27 nojb has joined #mirage

02:36 nojb has quit [Quit: nojb]

03:28 brson has quit [Quit: leaving]

03:30 mcclurmc has joined #mirage

04:06 manud has quit [Quit: Be back later ...]

04:16 rgrinberg has quit [Quit: Leaving.]

04:18 rgrinberg has joined #mirage

04:29 larhat has quit [Quit: Leaving.]

04:29 rgrinberg has quit [Quit: Leaving.]

04:38 rgrinberg has joined #mirage

05:45 mcclurmc has quit [Remote host closed the connection]

05:55 laz` has joined #mirage

06:26 hannes has quit [Read error: Connection reset by peer]

06:26 hannes` has joined #mirage

06:27 _whitelogger has quit [Ping timeout: 260 seconds]

06:27 _whitelogger has joined #mirage

06:28 nullcat_ has joined #mirage

06:34 rgrinberg has quit [Quit: Leaving.]

06:35 rgrinberg has joined #mirage

06:45 manud has joined #mirage

06:49 andreas has joined #mirage

07:01 boogie has quit [Remote host closed the connection]

07:02 boogie has joined #mirage

07:07 boogie has quit [Ping timeout: 272 seconds]

07:28 manud has quit [Quit: Be back later ...]

07:30 manud has joined #mirage

07:49 rgrinberg has quit [Quit: Leaving.]

07:56 laz` has quit [Ping timeout: 264 seconds]

08:02 boogie has joined #mirage

08:05 manud has quit [Quit: Be back later ...]

08:07 boogie has quit [Ping timeout: 255 seconds]

08:08 larhat has joined #mirage

08:08 laz` has joined #mirage

08:18 jonludlam has quit [Quit: Coyote finally caught me]

08:23 chambart has joined #mirage

08:40 hannes` is now known as hannes

08:46 mcclurmc has joined #mirage

08:49 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

08:51 mcclurmc has quit [Ping timeout: 240 seconds]

08:53 manud has joined #mirage

09:03 boogie has joined #mirage

09:08 boogie has quit [Ping timeout: 258 seconds]

09:31 manud has quit [Quit: Be back later ...]

09:31 chambart has quit [Ping timeout: 240 seconds]

09:31 manud has joined #mirage

09:43 manud has quit [Quit: Be back later ...]

09:49 jonludlam has joined #mirage

10:04 boogie has joined #mirage

10:08 AltGr has left #mirage [#mirage]

10:09 boogie has quit [Ping timeout: 258 seconds]

10:19 andreas has quit [Ping timeout: 272 seconds]

10:55 chambart has joined #mirage

11:00 andreas has joined #mirage

11:05 boogie has joined #mirage

11:06 chambart has quit [Ping timeout: 245 seconds]

11:09 boogie has quit [Ping timeout: 244 seconds]

11:11 thomasga has joined #mirage

11:49 nojb has joined #mirage

12:05 boogie has joined #mirage

12:10 boogie has quit [Ping timeout: 256 seconds]

12:26 chambart has joined #mirage

12:27 nojb has quit [Quit: nojb]

13:06 boogie has joined #mirage

13:11 boogie has quit [Ping timeout: 256 seconds]

13:42 djs55 has joined #mirage

14:07 boogie has joined #mirage

14:11 andreas has quit [Quit: Leaving.]

14:12 boogie has quit [Ping timeout: 250 seconds]

14:34 brson has joined #mirage

14:50 mcclurmc has joined #mirage

14:56 nojb has joined #mirage

15:00 mcclurmc has quit [Remote host closed the connection]

15:01 mcclurmc has joined #mirage

15:03 nojb has quit [Quit: nojb]

15:07 mcclurmc has quit [Remote host closed the connection]

15:07 nojb has joined #mirage

15:07 boogie has joined #mirage

15:12 patojo has joined #mirage

15:12 boogie has quit [Read error: Connection reset by peer]

15:25 nojb has quit [Quit: nojb]

15:25 djs55 has quit [Quit: Leaving.]

15:25 thomasga has quit [Quit: Leaving.]

15:26 thomasga has joined #mirage

15:29 patojo has quit [Remote host closed the connection]

15:30 boogie has joined #mirage

15:30 mcclurmc has joined #mirage

15:31 djs55 has joined #mirage

15:31 djs55 has quit [Client Quit]

15:34 boogie has quit [Ping timeout: 256 seconds]

15:36 mcclurmc has quit [Remote host closed the connection]

15:37 larhat has quit [Quit: Leaving.]

15:40 thomasga has quit [Quit: Leaving.]

15:45 mcclurmc has joined #mirage

15:53 tlockney_away is now known as tlockney

15:54 mcclurmc has quit [Remote host closed the connection]

15:57 mcclurmc has joined #mirage

16:06 mcclurmc has quit [Remote host closed the connection]

16:10 mcclurmc has joined #mirage

16:15 mcclurmc has quit [Read error: Connection reset by peer]

16:16 mcclurmc has joined #mirage

16:19 nojb has joined #mirage

16:20 andreas1 has joined #mirage

16:25 djs55 has joined #mirage

16:30 boogie has joined #mirage

16:34 mcclurmc has quit [Remote host closed the connection]

16:35 boogie has quit [Ping timeout: 256 seconds]

16:37 mcclurmc has joined #mirage

16:38 laz` has quit [Ping timeout: 250 seconds]

16:47 boogie has joined #mirage

16:47 boogie has quit [Remote host closed the connection]

17:10 rgrinberg has joined #mirage

17:16 jonludlam has quit [Quit: Coyote finally caught me]

17:17 thomasga has joined #mirage

17:20 mcclurmc has quit [Remote host closed the connection]

17:20 MrScout has joined #mirage

18:00 rgrinberg has quit [Quit: Leaving.]

18:07 rgrinberg has joined #mirage

18:43 chambart has quit [Ping timeout: 258 seconds]

18:48 boogie has joined #mirage

18:48 boogie has quit [Remote host closed the connection]

18:49 patojo has joined #mirage

18:58 mcclurmc has joined #mirage

19:17 djs55 has quit [Quit: Leaving.]

19:32 larhat has joined #mirage

19:43 djs55 has joined #mirage

19:47 rgrinberg has quit [Quit: Leaving.]

19:48 rgrinberg has joined #mirage

20:02 MrScout_ has joined #mirage

20:02 manud has joined #mirage

20:02 MrScout_ has quit [Read error: Connection reset by peer]

20:03 MrScout_ has joined #mirage

20:05 MrScout has quit [Ping timeout: 258 seconds]

20:05 MrScout_ has quit [Remote host closed the connection]

20:06 MrScout has joined #mirage

20:28 mcclurmc has quit [Remote host closed the connection]

20:30 fmu has quit [*.net *.split]

20:30 maker has quit [*.net *.split]

20:30 djs55 has quit [Quit: Leaving.]

20:31 nullcat has joined #mirage

20:31 fmu has joined #mirage

20:31 maker has joined #mirage

20:31 rgrinberg has quit [Quit: Leaving.]

20:34 mcclurmc has joined #mirage

20:36 brson has quit [Quit: leaving]

20:36 brson has joined #mirage

20:37 <vbmithr> hi

20:37 <vbmithr> Do anybody knows how to obtain the _address_ of a pointer in ctypes

20:40 <nojb> Ctypes.raw_address_of_ptr ?

20:40 <nojb> https://github.com/ocamllabs/ocaml-ctypes/blob/master/src/ctypes/ctypes.mli#L492

20:53 rgrinberg has joined #mirage

20:54 MrScout has quit [Remote host closed the connection]

20:56 tlockney is now known as tlockney_away

20:56 MrScout has joined #mirage

20:58 MrScout has quit [Read error: Connection reset by peer]

20:58 MrScout_ has joined #mirage

21:04 tlockney_away is now known as tlockney

21:06 patojo has quit [Quit: Leaving...]

21:08 mcclurmc has quit [Remote host closed the connection]

21:09 mcclurmc has joined #mirage

21:09 nullcat has quit [Ping timeout: 245 seconds]

21:09 djs55 has joined #mirage

21:10 djs55 has quit [Client Quit]

21:10 rgrinberg has quit [Quit: Leaving.]

21:14 <vbmithr> no, not really

21:14 <vbmithr> I have to use allocate

21:24 djs55 has joined #mirage

21:30 jonludlam has joined #mirage

21:39 rgrinberg has joined #mirage

21:42 chambart has joined #mirage

21:44 <nojb> what’s the problem ?

22:02 mcclurmc has quit [Remote host closed the connection]

22:04 MrScout has joined #mirage

22:07 mcclurmc has joined #mirage

22:07 MrScout_ has quit [Ping timeout: 258 seconds]

22:09 MrScout has quit [Ping timeout: 258 seconds]

22:17 mcclurmc has quit [Remote host closed the connection]

22:18 brson has quit [Ping timeout: 244 seconds]

22:20 mcclurmc has joined #mirage

22:37 brson has joined #mirage

22:40 brson has quit [Client Quit]

22:41 brson has joined #mirage

22:41 rgrinberg1 has joined #mirage

22:42 rgrinberg has quit [Read error: Connection reset by peer]

22:56 nojb has quit [Quit: nojb]

23:07 djs55 has quit [Quit: Leaving.]

23:15 MrScout has joined #mirage

23:21 jonludlam has quit [Quit: Coyote finally caught me]

23:24 jonludlam has joined #mirage

23:42 rgrinberg has joined #mirage

23:42 rgrinberg1 has quit [Read error: Connection reset by peer]

23:44 cebka has quit [Ping timeout: 260 seconds]

23:45 cebka has joined #mirage

23:45 cebka has quit [Changing host]

23:45 cebka has joined #mirage

23:49 seangrove has joined #mirage