#mirage on 2016-06-06 — 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:24 dsheets has joined #mirage

00:28 dsheets has quit [Ping timeout: 250 seconds]

02:14 copy` has joined #mirage

02:16 dezzy_ has quit [Ping timeout: 250 seconds]

03:35 tomboy64 has quit [Quit: Uhh ... gotta go.]

03:41 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

03:59 nullcat has joined #mirage

04:42 bsb-the-grey has quit [Ping timeout: 260 seconds]

04:43 bsb-the-grey has joined #mirage

05:03 tekacs has quit [Ping timeout: 250 seconds]

05:04 copy` has quit [Quit: Connection closed for inactivity]

05:06 tekacs has joined #mirage

05:23 insitu has joined #mirage

05:25 insitu has quit [Client Quit]

05:35 nullcat has quit [Ping timeout: 258 seconds]

05:46 jermar has quit [Ping timeout: 246 seconds]

05:58 insitu has joined #mirage

06:19 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:50 rgrinberg has quit [Ping timeout: 244 seconds]

07:31 rudenoise has joined #mirage

07:32 insitu has joined #mirage

07:39 jermar has joined #mirage

08:03 AltGr has joined #mirage

08:05 dsheets has joined #mirage

08:11 dsheets_ has joined #mirage

08:13 dsheets has quit [Ping timeout: 260 seconds]

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

08:16 AltGr has joined #mirage

08:18 rudenoise has quit [Quit: rudenoise]

08:19 rudenoise has joined #mirage

08:51 mort___1 has joined #mirage

08:58 mort___1 has left #mirage [#mirage]

09:00 mort___ has joined #mirage

09:03 mort___ has left #mirage [#mirage]

09:08 srenatus has joined #mirage

09:19 rudenoise has quit [Quit: rudenoise]

09:19 rudenoise has joined #mirage

09:26 yallop has joined #mirage

09:58 algoriddle has joined #mirage

10:13 mort___ has joined #mirage

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

10:21 dsheets_ has quit [Remote host closed the connection]

10:38 dsheets has joined #mirage

10:44 rudenoise has quit [Quit: rudenoise]

10:45 rudenoise has joined #mirage

11:15 <mattg> hiya mirage OS crew

11:15 <mattg> now camlp4 lwt syntax is no more, what's an idiomatic replacement for for_lwt ?

11:16 <mattg> looking to replace this code https://github.com/mattgray/mirage-new-clock-api-test/blob/master/unikernel.ml#L52

11:17 <Drup> mattg: for%lwt, using the ppx

11:17 dsheets has quit [Remote host closed the connection]

11:19 mort___ has quit [Quit: Leaving.]

11:20 <mattg> ah cool, thanks Drup

11:21 <reynir> Is there a tool for converting camlp4 lwt to lwt.ppx?

11:21 <Drup> yes

11:21 <Drup> camlp4toppx

11:22 <Drup> https://github.com/janestreet/camlp4-to-ppx

11:25 GitHub50 has joined #mirage

11:25 <GitHub50> [orm] samoht pushed 2 new commits to master: https://git.io/voUnk

11:25 <GitHub50> orm/master bb944ea Thomas Gazagnaire: Update CHANGES

11:25 <GitHub50> orm/master 24c2e0e Thomas Gazagnaire: Merge pull request #11 from samoht/master...

11:25 GitHub50 has left #mirage [#mirage]

11:26 dsheets has joined #mirage

11:27 GitHub35 has joined #mirage

11:27 <GitHub35> [orm] samoht tagged orm-0.7.1 at master: https://git.io/voUnl

11:27 GitHub35 has left #mirage [#mirage]

11:29 yallop has quit [Ping timeout: 246 seconds]

11:32 dsheets has quit [Remote host closed the connection]

11:35 <reynir> Awesome, thanks

11:36 <mattg> Drup - I get "Uninterpreted extention 'lwt'" - how do I tell mirage to include the ppx extension?

11:37 <Drup> add "ppx.lwt" to your list of ocamlfind packages

11:37 <Drup> (the ~libraries argument for register, most likely)

11:47 AltGr has joined #mirage

11:48 <mattg> great, that fixed it - it's "lwt.ppx"

11:48 <Drup> ah, right

11:48 <Drup> sorry

11:50 <mattg> thanks for your help :)

11:50 <Drup> no problem

12:03 copy` has joined #mirage

12:07 mort___ has joined #mirage

12:10 mort___1 has joined #mirage

12:12 mort___ has quit [Ping timeout: 260 seconds]

12:14 mort___1 has quit [Client Quit]

12:14 mort___ has joined #mirage

12:16 dsheets has joined #mirage

12:20 dsheets has quit [Ping timeout: 240 seconds]

12:22 dsheets has joined #mirage

12:24 rudenoise has quit [Quit: rudenoise]

12:24 rudenoise has joined #mirage

12:35 yallop has joined #mirage

13:22 <apache2_> k

13:23 <apache2_> oops, wrong channel. good day to everyone! :)

13:43 mcclurmc has joined #mirage

13:45 rgrinberg has joined #mirage

14:24 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

14:43 wiredsister has joined #mirage

14:43 wiredsister has quit [Client Quit]

14:44 wiredsister has joined #mirage

14:44 wiredsister has quit [Client Quit]

14:45 wiredsister has joined #mirage

15:10 dsheets has quit [Remote host closed the connection]

15:14 dsheets has joined #mirage

15:29 rudenoise has left #mirage [#mirage]

15:58 dsheets has quit [Remote host closed the connection]

15:59 dsheets has joined #mirage

16:01 dsheets has quit [Remote host closed the connection]

16:01 dsheets has joined #mirage

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

16:11 AltGr has joined #mirage

16:24 insitu has joined #mirage

16:30 yallop has quit [Ping timeout: 246 seconds]

16:37 jermar has quit [Ping timeout: 260 seconds]

16:39 mort___ has quit [Ping timeout: 260 seconds]

16:42 rgrinberg has quit [Ping timeout: 250 seconds]

16:46 dsheets has quit []

16:57 brson has joined #mirage

17:00 rgrinberg has joined #mirage

17:06 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:12 AltGr has left #mirage [#mirage]

17:12 AltGr has joined #mirage

17:43 seangrove has joined #mirage

17:51 brson has quit [Ping timeout: 260 seconds]

17:52 brson has joined #mirage

18:22 mort___ has joined #mirage

18:33 jermar has joined #mirage

18:41 seangrove has quit [Remote host closed the connection]

18:41 seangrove has joined #mirage

18:50 seangrove has quit [Ping timeout: 240 seconds]

18:50 mort___ has quit [Quit: Leaving.]

18:53 seako has quit [Quit: Connection closed for inactivity]

18:54 jonathan___ has joined #mirage

18:54 <jonathan___> hi

18:55 <jonathan___> can anyone say to what extent parts of mirageOS are formally verified?

18:57 <jonathan___> I am thinking of using F* (with OCaml codegen) to implement/verify some crucial component of MirageOS. Any suggestions on which modules may be good candidates?

18:59 insitu has joined #mirage

19:05 algoriddle has quit [Ping timeout: 264 seconds]

19:08 algoriddle has joined #mirage

19:29 rgrinberg has quit [Ping timeout: 252 seconds]

19:31 <jonathan___> Anyone?

19:31 <fds> This channel can be rather slow.

19:32 <wiredsister> TLS might be a good candidate jonathan___

19:32 <jonathan___> Well, there is already this: https://github.com/mitls

19:36 <wiredsister> as someone mentioned this channel can be slow, I suggest pinging the mailing list for a more thoughtful response.

19:37 <Drup> I'm pretty sure someone asked a similar question

19:37 <Drup> (on the mailing list)

19:49 AltGr has quit [Remote host closed the connection]

19:52 <wiredsister> for reference, here is the mailing list archive http://lists.xenproject.org/archives/html/mirageos-devel/

19:52 <wiredsister> although, this format isn't super searchable.

19:52 jonathan___ has quit [Ping timeout: 250 seconds]

20:04 rgrinberg has joined #mirage

20:44 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

20:48 srenatus has quit [Quit: Connection closed for inactivity]

21:06 seangrove has joined #mirage

21:20 rgrinberg has quit [Ping timeout: 244 seconds]

21:50 rgrinberg has joined #mirage

22:09 wiredsister has quit [Ping timeout: 276 seconds]

22:29 tomboy64 has joined #mirage

23:03 algoriddle has quit [Quit: Connection closed for inactivity]

23:19 wiredsister has joined #mirage

23:57 wiredsister has quit [Remote host closed the connection]

23:58 wiredsister has joined #mirage