#mirage on 2015-12-09 — 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:44 nullcat has joined #mirage

00:51 nullcat_ has joined #mirage

00:52 nullcat has quit [Ping timeout: 240 seconds]

01:19 nullcat_ has quit [Read error: Connection reset by peer]

01:19 nullcat has joined #mirage

01:26 nullcat has quit [Read error: Connection reset by peer]

01:28 nullcat has joined #mirage

01:33 nullcat has quit [Read error: Connection reset by peer]

01:36 nullcat has joined #mirage

01:47 nullcat has quit [Read error: Connection reset by peer]

01:48 nullcat has joined #mirage

01:59 nullcat has quit [Read error: Connection reset by peer]

02:01 nullcat has joined #mirage

02:15 nullcat has quit [Read error: Connection reset by peer]

02:16 nullcat has joined #mirage

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

02:22 nullcat has joined #mirage

02:35 nullcat has quit [Read error: Connection reset by peer]

02:35 nullcat has joined #mirage

02:41 nullcat has quit [Read error: Connection reset by peer]

02:45 nullcat has joined #mirage

02:50 nullcat has quit [Read error: Connection reset by peer]

02:52 nullcat has joined #mirage

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

03:42 nullcat has joined #mirage

03:49 yegods has quit [Remote host closed the connection]

03:56 brson has joined #mirage

04:53 brson has quit [Quit: leaving]

06:34 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

06:35 nullcat has joined #mirage

06:40 nullcat_ has joined #mirage

06:40 nullcat has quit [Ping timeout: 250 seconds]

07:30 nullcat has joined #mirage

07:31 nullcat_ has quit [Ping timeout: 250 seconds]

07:33 nullcat has quit [Read error: Connection reset by peer]

07:35 nullcat has joined #mirage

08:14 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

08:45 jonludlam has quit [Ping timeout: 240 seconds]

08:49 andreas23 has joined #mirage

10:04 dsheets has joined #mirage

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

10:05 dsheets_ has joined #mirage

10:20 jonludlam has joined #mirage

10:52 yegods has joined #mirage

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

11:48 dsheets_ has quit [Ping timeout: 272 seconds]

12:18 mort___ has joined #mirage

14:50 yomimono has joined #mirage

15:00 yomimono has quit [Ping timeout: 240 seconds]

15:09 brson has joined #mirage

15:35 yomimono has joined #mirage

15:38 yegods has joined #mirage

15:43 nullcat has joined #mirage

15:45 andreas23 has quit [Quit: Leaving.]

15:47 nullcat has quit [Client Quit]

15:59 yomimono has quit [Quit: Leaving]

16:29 mort___ has quit [Ping timeout: 240 seconds]

16:46 mort___ has joined #mirage

17:16 nordwp_home has joined #mirage

17:19 brson has quit [Ping timeout: 240 seconds]

17:26 jonludlam has quit [Remote host closed the connection]

17:48 brson has joined #mirage

18:04 yegods has quit [Remote host closed the connection]

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

18:48 brson has joined #mirage

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

19:00 jonludlam has joined #mirage

19:03 brson_ has joined #mirage

19:03 brson_ has quit [Client Quit]

19:03 brson has quit [Ping timeout: 240 seconds]

19:03 brson_ has joined #mirage

19:08 brson_ has quit [Client Quit]

19:08 brson has joined #mirage

19:10 jonludlam has quit [Ping timeout: 250 seconds]

19:16 brson has quit [Ping timeout: 240 seconds]

19:26 tg has quit [Ping timeout: 245 seconds]

19:45 nullcat has joined #mirage

19:46 brson has joined #mirage

19:48 nullcat has quit [Read error: Connection reset by peer]

19:49 nullcat has joined #mirage

19:51 brson has quit [Client Quit]

19:51 brson has joined #mirage

20:00 brson has quit [Ping timeout: 256 seconds]

20:06 brson has joined #mirage

20:36 tg has joined #mirage

20:45 nullcat has quit [Read error: Connection reset by peer]

20:46 nullcat has joined #mirage

21:05 lobo has joined #mirage

21:16 yegods has joined #mirage

21:36 yomimono has joined #mirage

21:47 bugabinga has joined #mirage

22:34 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

22:39 brson has quit [Ping timeout: 240 seconds]

23:06 yomimono has quit [Quit: Leaving]

23:15 user404d has joined #mirage

23:15 <user404d> hello~

23:16 <user404d> I have a question that maybe someone here may be able to answer

23:18 <user404d> would it be possible to have a sandboxed(maybe not the right term) version of firefox built on/in a mirageOS unikernel?

23:20 <Drup> that doesn't make much sens, mirage unikernel are composed of OCaml code (and C). firefox is composed of a lot of things. (it is also not really designed to do that)

23:20 <Drup> there are lots of general purpose isolation techniques, why not use those ?

23:22 <user404d> mm, I was curious about unikernels and mirageOS and thought I might look into trying to do something like this with it

23:23 <user404d> but yea I figured as much after reading through some of the docs and other material available on mirage.io

23:24 <user404d> the idea wasn't really super well thought out, but ended up being a proposal for a project in a course I'm taking

23:25 <user404d> so I will probably map out what would need to be done and explain why it wouldn't be practical etc

23:25 <user404d> thanks for your input though, I appreciate it

23:27 <hannes> user404d: you might enjoy building firefox on top of a rumpkernel... but it's a huge amount of stuff you need, including X11..

23:29 <user404d> yea... after I made the proposal I was just thinking of all the dependencies that most modern browsers have

23:29 <user404d> and I was like 'what the hell was I thinking?'

23:29 <user404d> haha

23:29 <Drup> user404d: maybe do links instead ? :]

23:29 <user404d> links?

23:29 <Drup> http://links.twibright.com/

23:30 <hannes> or lynx or w3m.. that'd actually be a nice project

23:30 yegods has quit [Remote host closed the connection]

23:30 <hannes> or starting with a html rendering on a terminal in OCaml :)

23:30 <Drup> step 1: parse html. Aaaaah

23:30 <Drup> x)

23:31 <user404d> lol

23:32 <user404d> well thanks for the ideas guys, I really appreciate it

23:36 <hannes> Drup: step 2: implement a JS engine

23:36 <user404d> oh god

23:37 <Drup> hannes: does lynx/links handles js ?

23:40 <user404d> nope, doesn't look like it

23:41 <user404d> oh wait

23:41 <user404d> maybe links does

23:42 <user404d> looks like it's not available by default

23:47 <user404d> bye~

23:47 <user404d> thanks again for the help

23:47 user404d has quit [Quit: Page closed]

23:50 lobo has quit [Quit: leaving]