#racket on 2018-10-11 — irc logs at freenode.irclog.whitequark.org

00:00 dented42 has quit [Ping timeout: 252 seconds]

00:08 acarrico has joined #racket

00:10 mejja has quit [Read error: Connection reset by peer]

00:12 dented42 has joined #racket

00:12 mr_yogurt has quit [Ping timeout: 252 seconds]

00:19 dented42 has quit [Ping timeout: 268 seconds]

00:22 ubLIX has quit [Quit: ubLIX]

00:24 epony has quit [Quit: QUIT]

00:24 dented42 has joined #racket

00:31 dented42 has quit [Ping timeout: 252 seconds]

00:33 epony has joined #racket

00:55 <samth> rntz: two distinct structure types are never `equal?`

01:00 lockywolf has joined #racket

01:01 lockywolf has quit [Remote host closed the connection]

01:01 lockywolf has joined #racket

01:09 lockywolf has quit [Ping timeout: 250 seconds]

01:10 Arcaelyx has joined #racket

01:10 badkins_ has joined #racket

01:12 badkins has quit [Ping timeout: 252 seconds]

01:29 Guest88437 is now known as X-Scale

01:35 ZombieChicken has quit [Disconnected by services]

01:35 forgottenwizard has joined #racket

01:38 siel has quit [Ping timeout: 252 seconds]

01:39 forgottenwizard is now known as ZombieChicken

01:44 siel has joined #racket

01:44 Guest66038 has joined #racket

01:45 pie__ has joined #racket

01:46 pie__ has quit [Remote host closed the connection]

01:46 pie__ has joined #racket

01:49 pie_ has quit [Ping timeout: 252 seconds]

01:51 NB0X-Matt-CA has quit [Ping timeout: 268 seconds]

01:57 siel has quit [Ping timeout: 250 seconds]

01:58 Guest66038 has quit [Ping timeout: 252 seconds]

02:02 keep_learning has joined #racket

02:11 acarrico has quit [Ping timeout: 245 seconds]

02:12 Arcaelyx has quit [Quit: Textual IRC Client: www.textualapp.com]

02:12 Guest66038 has joined #racket

02:33 lockywolf has joined #racket

02:38 epony has quit [Quit: QUIT]

02:47 _whitelogger has joined #racket

02:59 DGASAU has quit [Read error: Connection reset by peer]

03:14 dan_f has joined #racket

03:15 epony has joined #racket

03:21 siel has joined #racket

03:36 DGASAU has joined #racket

03:51 lockywolf has quit [Read error: Connection reset by peer]

03:52 lockywolf has joined #racket

03:53 sauvin has joined #racket

03:53 lockywolf_ has joined #racket

03:53 lockywolf has quit [Remote host closed the connection]

03:57 dan_f has quit [Quit: dan_f]

04:00 NB0X-Matt-CA has joined #racket

04:08 epony has quit [Quit: QUIT]

04:08 epony has joined #racket

04:12 pie__ has quit [Ping timeout: 252 seconds]

04:46 lockywolf_ has quit [Ping timeout: 250 seconds]

04:51 g00s has joined #racket

05:02 kPb_in has joined #racket

05:07 lockywolf has joined #racket

05:09 lockywolf has quit [Remote host closed the connection]

05:09 lockywolf has joined #racket

05:10 kPb_in has quit [Quit: kPb_in]

05:14 lockywolf has quit [Remote host closed the connection]

05:30 libertyprime has quit [Ping timeout: 245 seconds]

05:31 kPb_in has joined #racket

05:40 kPb_in has quit [Quit: kPb_in]

05:47 libertyprime has joined #racket

05:52 libertyprime has quit [Ping timeout: 252 seconds]

05:58 kPb_in has joined #racket

05:59 dented42 has joined #racket

06:35 dented42 has quit [Ping timeout: 272 seconds]

06:55 widp has joined #racket

07:06 kPb_in has quit [Quit: kPb_in]

07:11 orivej has joined #racket

07:21 widp has quit [Ping timeout: 250 seconds]

07:26 orivej has quit [Ping timeout: 252 seconds]

07:44 slemonide has joined #racket

07:45 slemonide has quit [Client Quit]

07:45 lavaflow has quit [Ping timeout: 246 seconds]

07:57 X-Scale has quit [Read error: Connection reset by peer]

08:06 kPb_in has joined #racket

08:18 vraid has joined #racket

08:24 widp has joined #racket

08:24 dented42 has joined #racket

08:32 pie__ has joined #racket

08:50 _whitelogger has joined #racket

08:53 dented42 has quit [Ping timeout: 252 seconds]

09:05 fridim has quit [Ping timeout: 252 seconds]

09:07 fridim has joined #racket

09:15 dddddd has joined #racket

09:31 mzan has left #racket [#racket]

09:36 ubLIX has joined #racket

09:39 peddie1 has quit [Ping timeout: 264 seconds]

09:39 peddie1 has joined #racket

09:53 dented42 has joined #racket

10:14 g00s has quit [Quit: Textual IRC Client: www.textualapp.com]

10:24 dented42 has quit [Ping timeout: 250 seconds]

10:37 dented42 has joined #racket

10:46 kPb_in has quit [Quit: kPb_in]

10:46 ubLIX has quit [Quit: ubLIX]

10:57 iyzsong has joined #racket

11:09 dented42 has quit [Ping timeout: 276 seconds]

11:29 mzan has joined #racket

11:34 ubLIX has joined #racket

11:37 ubLIX has quit [Client Quit]

11:50 libertyprime has joined #racket

11:50 libertyprime has quit [Client Quit]

12:03 acarrico has joined #racket

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

12:05 zigpaw has joined #racket

12:07 dented42 has joined #racket

12:15 hjek has joined #racket

12:34 hjek has left #racket [#racket]

12:38 dented42 has quit [Ping timeout: 268 seconds]

13:13 ZombieChicken has quit [Ping timeout: 256 seconds]

13:21 orivej has joined #racket

13:28 sleepnap has joined #racket

13:29 dan_f has joined #racket

13:38 cpup has quit [Quit: Breaking stuff]

13:44 badkins_ is now known as badkins

13:47 SenasOzys has quit [Ping timeout: 245 seconds]

14:11 SenasOzys has joined #racket

14:13 iyzsong has quit [Quit: ZNC 1.7.1 - https://znc.in]

14:28 dented42 has joined #racket

14:40 <mrm> Apropos of nothing, here's a kind of neat derivation of the 4 major variants of the Y-combinator http://pasterack.org/pastes/41893

14:41 <rain2> very nice

14:46 <mrm> The polyvaradic versions are derived from oleg, but I think the choice of combinators is original (afaik at least).

14:48 <rain2> I don't think so

14:48 <rain2> its just named instead of written out in full

14:50 ubLIX has joined #racket

14:51 <mrm> There are quite a few different ways to break it down into combinators.

15:00 dented42 has quit [Ping timeout: 245 seconds]

15:02 <mrm> Specifically, representing the difference between the four of them as just differences in the composition function is something I hadn't seen before.

15:04 cpup has joined #racket

15:07 <rain2> it's really elegant!

15:13 <mrm> Thanks :-)

15:15 <mrm> At the very least, it's a handy mnemonic.

15:15 orivej has quit [Ping timeout: 252 seconds]

15:21 Bunogi has quit [Ping timeout: 252 seconds]

15:21 widp has quit [Ping timeout: 268 seconds]

15:21 widp has joined #racket

15:22 sleepnap has quit [Quit: Leaving.]

15:25 Bunogi has joined #racket

15:32 dan_f has quit [Quit: dan_f]

15:36 dan_f has joined #racket

15:51 vraid has quit [Disconnected by services]

16:02 dan_f has quit [Quit: dan_f]

16:06 dan_f has joined #racket

16:06 SenasOzys has quit [Ping timeout: 276 seconds]

16:11 dan_f has quit [Quit: dan_f]

16:14 lavaflow has joined #racket

16:14 SenasOzys has joined #racket

16:28 cpup has quit [Ping timeout: 268 seconds]

16:38 dented42 has joined #racket

16:45 florilege has joined #racket

16:56 mwnaylor has quit [Quit: ERC (IRC client for Emacs 26.1)]

17:04 pera has joined #racket

17:05 ubLIX has quit [Quit: ubLIX]

17:07 epony has quit [Quit: QUIT]

17:07 dented42 has quit [Ping timeout: 252 seconds]

17:07 vraid has joined #racket

17:11 ziyourenxiang has quit [Ping timeout: 268 seconds]

17:13 dented42 has joined #racket

17:15 sauvin has quit [Read error: Connection reset by peer]

17:19 dan_f has joined #racket

17:31 pera has quit [Ping timeout: 252 seconds]

17:43 dented42 has quit [Ping timeout: 245 seconds]

17:44 widp has quit [Ping timeout: 244 seconds]

17:45 pera has joined #racket

17:48 mzan has left #racket [#racket]

17:57 widp has joined #racket

18:20 davidl has quit [Ping timeout: 252 seconds]

18:25 mzan has joined #racket

18:34 orivej has joined #racket

18:34 davidl has joined #racket

18:38 dented42 has joined #racket

18:52 Fare has joined #racket

18:57 Fare has quit [Ping timeout: 252 seconds]

19:12 davidl has quit [Ping timeout: 244 seconds]

19:26 Fare has joined #racket

19:31 davidl has joined #racket

19:33 slemonide has joined #racket

19:34 slemonide has quit [Client Quit]

19:39 ubLIX has joined #racket

19:40 dented42 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

19:45 dented42 has joined #racket

20:10 ZombieChicken has joined #racket

20:20 libertyprime has joined #racket

20:23 Fare has quit [Ping timeout: 250 seconds]

20:28 dented42_ has joined #racket

20:30 dented42 has quit [Ping timeout: 250 seconds]

20:45 dented42_ has quit [Ping timeout: 268 seconds]

20:46 dented42 has joined #racket

21:04 SenasOzys has quit [Ping timeout: 252 seconds]

21:05 badkins has quit [Ping timeout: 246 seconds]

21:06 badkins has joined #racket

21:08 dan_f has quit [Quit: dan_f]

21:11 badkins has quit [Ping timeout: 245 seconds]

21:12 badkins has joined #racket

21:20 dented42 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:38 <zenspider> mrm: timely. I was just trying to figure out the difference between the classical Y and applicative Y yesterday

21:49 Guest66038 is now known as s455wang

21:50 Fare has joined #racket

21:50 georges-duperon has joined #racket

21:55 Fare has quit [Ping timeout: 252 seconds]

22:18 Diagon has joined #racket

22:48 vraid has quit [Ping timeout: 256 seconds]

23:02 florilege has quit [Ping timeout: 252 seconds]

23:23 epony has joined #racket

23:41 ubLIX has quit [Quit: ubLIX]