#mirage on 2019-04-23 — irc logs at freenode.irclog.whitequark.org

2019-03-21 12:11 hannes changed the topic of #mirage to: https://mirage.io - https://github.com/mirage/mirage-www/wiki/Call-Agenda - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.5.0 is released - happy hacking!

03:21 _whitelogger has joined #mirage

07:43 <ehirdoy1> Hello, is there any way to measure/estimate how much RAM is needed on MirageOS at runtime? I hit some out-of-memory(OOM) and I have managed to avoid this with Gc.compact but still I'd like to know how much I could reduce the RAM size for certain processing.

08:35 mort___ has joined #mirage

08:38 mort___ has quit [Client Quit]

08:45 pie_ has quit [Remote host closed the connection]

08:45 pie_ has joined #mirage

08:58 pie_ has quit [Ping timeout: 258 seconds]

09:15 mort___ has joined #mirage

09:21 mort___ has quit [Quit: Leaving.]

10:06 pie_ has joined #mirage

10:12 pie__ has joined #mirage

10:14 pie_ has quit [Ping timeout: 244 seconds]

10:39 mort___ has joined #mirage

10:57 hannes` is now known as hannes

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

11:06 mort___ has joined #mirage

11:07 mort___ has quit [Client Quit]

11:07 mort___ has joined #mirage

11:10 mort___ has quit [Client Quit]

11:11 mort___ has joined #mirage

12:07 jerith_ is now known as jerith

12:29 mort___ has quit [Quit: Leaving.]

12:30 mort___ has joined #mirage

12:51 _whitelogger has joined #mirage

12:53 yomimono has quit [Ping timeout: 250 seconds]

13:06 yomimono has joined #mirage

13:36 mort___ has left #mirage [#mirage]

13:47 mort___1 has joined #mirage

14:02 yomimono has quit [Ping timeout: 250 seconds]

14:09 mort___ has joined #mirage

14:09 mort___1 has quit [Ping timeout: 264 seconds]

14:27 lars_kurth_ is now known as lars_kurth

15:10 mort___ has quit [Quit: Leaving.]

15:12 mort___ has joined #mirage

15:29 pie_ has joined #mirage

15:31 pie__ has quit [Ping timeout: 258 seconds]

15:35 pie_ has quit [Ping timeout: 245 seconds]

15:40 yomimono has joined #mirage

15:47 mort___ has left #mirage [#mirage]

17:16 pie_ has joined #mirage

18:21 mort___ has joined #mirage

18:21 yomimono has quit [Ping timeout: 258 seconds]

19:05 pie__ has joined #mirage

19:07 pie___ has quit [Remote host closed the connection]

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

19:25 pie_ has quit [Remote host closed the connection]

19:25 pie_ has joined #mirage

19:31 mort___ has joined #mirage

19:31 pie_ has quit [Ping timeout: 246 seconds]

20:14 pie_ has joined #mirage

20:35 mort___ has quit [Quit: Leaving.]

21:07 Haudegen has joined #mirage

23:01 Haudegen has quit [Read error: Connection reset by peer]