#ponylang on 2018-04-07 — irc logs at freenode.irclog.whitequark.org

2016-11-09 00:11 jemc changed the topic of #ponylang to: Welcome! Please check out our Code of Conduct => https://github.com/ponylang/ponyc/blob/master/CODE_OF_CONDUCT.md | Public IRC logs are available => http://irclog.whitequark.org/ponylang | Please consider participating in our mailing lists => https://pony.groups.io/g/pony

00:22 jemc has quit [Ping timeout: 260 seconds]

00:42 jemc has joined #ponylang

01:27 acarrico has joined #ponylang

01:47 jemc has quit [Ping timeout: 240 seconds]

01:55 jemc has joined #ponylang

02:38 endformationage has quit [Ping timeout: 260 seconds]

02:40 endformationage has joined #ponylang

03:00 endformationage has quit [Ping timeout: 264 seconds]

03:04 endformationage has joined #ponylang

03:10 endformationage has quit [Ping timeout: 276 seconds]

03:11 endformationage has joined #ponylang

03:29 endformationage has quit [Ping timeout: 256 seconds]

03:31 endformationage has joined #ponylang

03:36 endformationage has quit [Ping timeout: 260 seconds]

03:38 endformationage has joined #ponylang

03:59 endformationage has quit [Ping timeout: 240 seconds]

04:03 endformationage has joined #ponylang

04:19 endformationage has quit [Ping timeout: 260 seconds]

04:22 endformationage has joined #ponylang

04:27 endformationage has quit [Ping timeout: 260 seconds]

04:28 endformationage has joined #ponylang

05:05 khan has joined #ponylang

05:18 rurban has joined #ponylang

05:37 endformationage has quit [Quit: WeeChat 1.9.1]

05:51 rurban has quit [Quit: Leaving.]

07:02 acarrico has quit [Ping timeout: 264 seconds]

07:31 jemc has quit [Ping timeout: 240 seconds]

07:59 khan has quit [Quit: khan]

08:20 infinitary has joined #ponylang

08:25 infinitary has quit [Client Quit]

08:48 <Sargun> Is there a built-in optional in Pony, a la: type Optional[K] is (None | K)

09:34 atk has quit [Quit: Well this is unexpected.]

09:35 atk has joined #ponylang

09:37 SenasOzys has quit [Read error: Connection reset by peer]

09:38 SenasOzys has joined #ponylang

10:02 <Sargun> Is there an RCU mechanism in Pony (https://en.wikipedia.org/wiki/Read-copy-update)

10:02 <Sargun> for the C part

10:10 <Sargun> libponyrt

11:00 viknet_ has joined #ponylang

11:00 viknet_ has quit [Client Quit]

11:11 viknet has quit [Quit: leaving]

11:22 viknet has joined #ponylang

12:15 khan has joined #ponylang

12:19 <SeanTAllen> Sargun... no option type, use (None | K)

12:21 <SeanTAllen> there's no RCU in plcae

13:20 SenasOzys_ has joined #ponylang

13:22 SenasOzys has quit [Ping timeout: 260 seconds]

13:41 vaninwagen has joined #ponylang

14:27 acarrico has joined #ponylang

14:29 jemc has joined #ponylang

14:48 khan has quit [Quit: khan]

14:48 khan has joined #ponylang

14:53 khan has quit [Client Quit]

14:54 khan has joined #ponylang

15:01 viknet has quit [Quit: WeeChat 1.4]

15:03 viknet has joined #ponylang

15:17 acarrico has quit [Ping timeout: 240 seconds]

15:27 acarrico has joined #ponylang

15:35 acarrico has quit [Ping timeout: 240 seconds]

15:59 acarrico has joined #ponylang

16:11 vaninwagen has quit [Quit: Connection closed for inactivity]

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

17:28 jemc has quit [Read error: Connection reset by peer]

17:33 khan has quit [Quit: khan]

17:33 khan has joined #ponylang

17:38 khan has quit [Client Quit]

17:39 khan has joined #ponylang

17:47 atk has quit [Remote host closed the connection]

17:48 SenasOzys_ has quit [Quit: Leaving]

17:48 SenasOzys has joined #ponylang

17:49 atk has joined #ponylang

17:55 SenasOzys has quit [Read error: Connection reset by peer]

17:55 SenasOzys has joined #ponylang

18:02 vaninwagen has joined #ponylang

18:03 SenasOzys has quit [Quit: Leaving]

18:04 SenasOzys has joined #ponylang

18:07 SenasOzys has quit [Client Quit]

18:07 SenasOzys has joined #ponylang

19:48 khan has quit [Quit: khan]

19:49 khan has joined #ponylang

19:53 khan has quit [Client Quit]

19:53 khan has joined #ponylang

20:16 _whitelogger has joined #ponylang

20:28 khan has quit [Quit: khan]

20:29 khan has joined #ponylang

20:33 khan has quit [Client Quit]

20:33 khan has joined #ponylang

20:41 SenasOzys has quit [Remote host closed the connection]

20:41 SenasOzys has joined #ponylang

21:33 khan has quit [Quit: khan]

22:02 vaninwagen has quit [Quit: Connection closed for inactivity]

23:14 acarrico has joined #ponylang

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

23:30 SenasOzys has joined #ponylang