#sandstorm on 2017-11-16 — irc logs at freenode.irclog.whitequark.org

2017-06-04 23:24 kentonv changed the topic of #sandstorm to: Welcome to #sandstorm: home of all things sandstorm.io. Say hi! | Have a question but no one is here? Try asking in the discussion group: https://groups.google.com/group/sandstorm-dev | Public logs at https://botbot.me/freenode/sandstorm/

00:59 frigginglorious has quit [Ping timeout: 260 seconds]

01:08 pie_ has quit [Ping timeout: 240 seconds]

01:21 TheJH_ has quit [Remote host closed the connection]

01:22 TheJH has joined #sandstorm

01:22 Mitar has quit [*.net *.split]

01:22 Lionel_Debroux has quit [*.net *.split]

01:22 zarvox has quit [*.net *.split]

01:22 ocdtrekkie has quit [*.net *.split]

01:22 limbo_ has quit [*.net *.split]

01:22 liam has quit [*.net *.split]

01:22 HalfEatenPie has quit [*.net *.split]

01:26 TheJH has quit [Remote host closed the connection]

01:27 TheJH has joined #sandstorm

01:28 liam has joined #sandstorm

01:28 Mitar has joined #sandstorm

01:28 zarvox has joined #sandstorm

01:28 HalfEatenPie has joined #sandstorm

01:28 Lionel_Debroux has joined #sandstorm

01:28 ocdtrekkie has joined #sandstorm

01:28 limbo_ has joined #sandstorm

01:32 TheJH has quit [Remote host closed the connection]

01:32 TheJH has joined #sandstorm

01:36 TheJH has quit [Remote host closed the connection]

01:37 TheJH has joined #sandstorm

01:50 harish has joined #sandstorm

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

02:12 TheJH has quit [Remote host closed the connection]

02:12 TheJH has joined #sandstorm

02:34 <ocdtrekkie> georgeowell: I've had no issues with TTRSS and use it daily, but I use it pretty much exclusively via the API now.

02:35 <ocdtrekkie> The Windows 10 TTRSS client I use is vastly better than the actual web interface, and it works on both my phone and PCs.

02:36 <ocdtrekkie> Do you have any browser extensions that might interfere?

02:42 TheJH has quit [Remote host closed the connection]

02:42 TheJH has joined #sandstorm

03:12 TheJH has quit [Remote host closed the connection]

03:12 TheJH has joined #sandstorm

03:18 harish has joined #sandstorm

03:42 TheJH has quit [Remote host closed the connection]

03:42 TheJH has joined #sandstorm

04:05 <kentonv> simpson: if you mean mutually-dependent types (e.g. Foo has a field of type Bar, and Bar has a field of type Foo), yes, those are possible.

04:07 <simpson> kentonv: Okay, then the letrec was necessary and good. Great.

04:09 Lionel_Debroux_ has joined #sandstorm

04:09 Lionel_Debroux has quit [Ping timeout: 240 seconds]

04:12 TheJH has quit [Remote host closed the connection]

04:12 TheJH has joined #sandstorm

04:26 harish has quit [Ping timeout: 250 seconds]

04:42 TheJH has quit [Remote host closed the connection]

04:42 TheJH has joined #sandstorm

05:12 TheJH has quit [Remote host closed the connection]

05:12 TheJH has joined #sandstorm

05:37 harish has joined #sandstorm

05:42 TheJH has quit [Remote host closed the connection]

05:42 TheJH has joined #sandstorm

06:12 TheJH has quit [Remote host closed the connection]

06:12 TheJH has joined #sandstorm

06:45 <fundies> how can I set a list of enums?

06:46 <fundies> http://paste.debian.net/996011/

06:46 <fundies> how do i set moves[0] there

06:47 <fundies> auto moves = state.initPreviousMoves(1);

06:48 <fundies> moves[0]...

06:48 <fundies> what goes there?

06:53 <fundies> initMoves(1)*

07:23 sugarpuff has quit [Ping timeout: 255 seconds]

07:24 lounge-user48 has joined #sandstorm

07:24 lounge-user48 is now known as e-fish

07:25 sugarpuff has joined #sandstorm

07:42 TheJH has quit [Remote host closed the connection]

07:42 TheJH has joined #sandstorm

07:42 jemc has quit [Ping timeout: 248 seconds]

07:44 harish has quit [Ping timeout: 240 seconds]

07:49 harish has joined #sandstorm

08:12 TheJH has quit [Remote host closed the connection]

08:12 TheJH has joined #sandstorm

08:12 frigginglorious has joined #sandstorm

08:17 frigginglorious has quit [Ping timeout: 240 seconds]

08:19 AZero has quit [Ping timeout: 240 seconds]

08:19 AZero has joined #sandstorm

08:37 ecloud_wfh is now known as ecloud

08:42 TheJH has quit [Remote host closed the connection]

08:42 TheJH has joined #sandstorm

08:56 <fundies> anyone about?

09:12 TheJH has quit [Remote host closed the connection]

09:12 TheJH has joined #sandstorm

09:40 harish has quit [Ping timeout: 250 seconds]

10:12 TheJH has quit [Remote host closed the connection]

10:12 TheJH has joined #sandstorm

10:12 frigginglorious has joined #sandstorm

10:17 frigginglorious has quit [Ping timeout: 248 seconds]

10:37 samba_ has joined #sandstorm

10:38 samba_ has quit [Client Quit]

10:42 TheJH has quit [Remote host closed the connection]

10:42 TheJH has joined #sandstorm

10:47 samba_ has joined #sandstorm

10:56 <JonTheNiceGuy> I'm here, but I might not be any help!

10:56 <JonTheNiceGuy> :)

11:12 TheJH has quit [Remote host closed the connection]

11:12 TheJH has joined #sandstorm

11:15 pie_ has joined #sandstorm

11:42 TheJH has quit [Remote host closed the connection]

11:42 TheJH has joined #sandstorm

12:07 harish has joined #sandstorm

12:12 TheJH has quit [Remote host closed the connection]

12:12 TheJH has joined #sandstorm

12:28 frigginglorious has joined #sandstorm

12:33 frigginglorious has quit [Ping timeout: 248 seconds]

12:42 TheJH has quit [Remote host closed the connection]

12:42 TheJH has joined #sandstorm

13:04 ogres has joined #sandstorm

13:12 TheJH has quit [Remote host closed the connection]

13:12 TheJH has joined #sandstorm

13:42 TheJH has quit [Remote host closed the connection]

13:42 TheJH has joined #sandstorm

14:11 samba_ has quit [Ping timeout: 240 seconds]

14:12 TheJH has quit [Remote host closed the connection]

14:12 TheJH has joined #sandstorm

14:31 jemc has joined #sandstorm

14:42 TheJH has quit [Remote host closed the connection]

14:42 TheJH has joined #sandstorm

15:11 harish has quit [Remote host closed the connection]

15:12 TheJH has quit [Remote host closed the connection]

15:12 TheJH has joined #sandstorm

15:13 jemc has quit [Ping timeout: 255 seconds]

15:13 jemc has joined #sandstorm

15:14 samba_ has joined #sandstorm

15:14 harish has joined #sandstorm

15:15 harish has quit [Remote host closed the connection]

15:15 pie_ has quit [Ping timeout: 248 seconds]

15:15 harish has joined #sandstorm

15:27 pie_ has joined #sandstorm

15:40 _whitelogger has joined #sandstorm

15:42 TheJH has quit [Remote host closed the connection]

15:43 TheJH has joined #sandstorm

15:43 rolig has quit [Ping timeout: 240 seconds]

15:51 ogres has quit [Quit: Connection closed for inactivity]

16:01 rolig has joined #sandstorm

16:12 TheJH has quit [Remote host closed the connection]

16:13 TheJH has joined #sandstorm

16:35 ogres has joined #sandstorm

17:03 pie_ has quit [Remote host closed the connection]

17:03 pie_ has joined #sandstorm

17:12 TheJH has quit [Remote host closed the connection]

17:12 TheJH has joined #sandstorm

17:29 frigginglorious has joined #sandstorm

17:33 pie_ has quit [Remote host closed the connection]

17:33 pie_ has joined #sandstorm

17:42 TheJH has quit [Remote host closed the connection]

17:42 TheJH has joined #sandstorm

17:50 pie_ has quit [Ping timeout: 248 seconds]

17:56 jemc has quit [Ping timeout: 240 seconds]

17:59 jemc has joined #sandstorm

18:21 meta-coder has quit [Quit: Bye.]

18:25 metaphysician has joined #sandstorm

18:30 pie_ has joined #sandstorm

18:42 TheJH has quit [Remote host closed the connection]

18:42 TheJH has joined #sandstorm

18:44 Telesight has joined #sandstorm

18:59 larjona has quit [Quit: No Ping reply in 180 seconds.]

19:01 larjona has joined #sandstorm

19:12 TheJH has quit [Remote host closed the connection]

19:12 TheJH has joined #sandstorm

19:32 jemc has quit [Ping timeout: 258 seconds]

19:42 TheJH has quit [Remote host closed the connection]

19:42 TheJH has joined #sandstorm

19:53 jemc has joined #sandstorm

20:12 TheJH has quit [Remote host closed the connection]

20:12 TheJH has joined #sandstorm

20:42 TheJH has quit [Remote host closed the connection]

20:42 TheJH has joined #sandstorm

21:40 isd has joined #sandstorm

21:42 TheJH has quit [Remote host closed the connection]

21:43 TheJH has joined #sandstorm

21:48 jemc has quit [Quit: WeeChat 1.9]

21:48 jemc has joined #sandstorm

22:03 zopsi has quit [Ping timeout: 250 seconds]

22:04 ogres has quit [Quit: Connection closed for inactivity]

22:07 zopsi has joined #sandstorm

22:12 TheJH has quit [Remote host closed the connection]

22:13 TheJH has joined #sandstorm

22:20 Telesight has quit [Read error: Connection reset by peer]

22:42 TheJH has quit [Remote host closed the connection]

22:43 TheJH has joined #sandstorm

22:49 samba_ has quit [Ping timeout: 240 seconds]

22:57 zopsi has quit [Ping timeout: 240 seconds]

22:59 zopsi has joined #sandstorm

23:11 pie_ has quit [Ping timeout: 248 seconds]

23:12 TheJH has quit [Remote host closed the connection]

23:13 TheJH has joined #sandstorm

23:14 harish has quit [Ping timeout: 240 seconds]

23:17 pie_ has joined #sandstorm

23:22 frigginglorious has quit [Ping timeout: 240 seconds]

23:25 frigginglorious has joined #sandstorm

23:34 n8a has quit [Ping timeout: 250 seconds]

23:36 jemc has quit [Ping timeout: 248 seconds]

23:42 n8a has joined #sandstorm

23:42 TheJH has quit [Remote host closed the connection]

23:42 NwS has quit [Ping timeout: 248 seconds]

23:43 TheJH has joined #sandstorm

23:46 jemc has joined #sandstorm

23:47 n8a has quit [Ping timeout: 255 seconds]

23:52 isd has quit [Quit: Leaving.]

23:57 frew has quit [Ping timeout: 240 seconds]