#racket on 2019-10-28 — irc logs at freenode.irclog.whitequark.org

2019-09-16 20:37 samth changed the topic of #racket to: Racket v7.4 has been released: https://blog.racket-lang.org/2019/08/racket-v7-4.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

00:00 Sgeo has quit [Ping timeout: 240 seconds]

00:04 dented42 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:05 dented42 has joined #racket

00:08 Sgeo__ has joined #racket

00:12 Sgeo_ has quit [Ping timeout: 250 seconds]

00:13 FreeFull has quit []

00:29 Sgeo_ has joined #racket

00:35 _whitelogger has joined #racket

00:36 ng0 has quit [Quit: Alexa, when is the end of world?]

01:14 _whitelogger has joined #racket

01:41 Sgeo_ has quit [Read error: Connection reset by peer]

01:44 Sgeo has joined #racket

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

02:22 dented42 has joined #racket

02:39 teardown has joined #racket

03:16 efm has quit [Ping timeout: 240 seconds]

03:16 efm has joined #racket

03:19 <samth> bremner: i think no

03:20 <samth> tmg: depends what you mean by slowness, but here are the times I see:

03:20 <samth> https://www.irccloud.com/pastebin/NRMsL0kw/

03:44 Arcaelyx has joined #racket

03:46 Arcaelyx has quit [Client Quit]

03:52 dddddd has quit [Ping timeout: 240 seconds]

03:54 sword865 has joined #racket

04:29 endformationage has quit [Quit: WeeChat 2.6]

04:38 dented42 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

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

05:13 aidalgol has joined #racket

05:20 teardown has quit [Ping timeout: 265 seconds]

05:25 teardown has joined #racket

05:46 DGASAU has joined #racket

06:47 _apg has joined #racket

07:02 manualcrank has quit [Quit: WeeChat 1.9.1]

07:06 gdsg has quit [Ping timeout: 268 seconds]

07:08 _apg has quit [Remote host closed the connection]

07:32 mzan has joined #racket

07:37 _apg has joined #racket

07:49 Codaraxis_ has quit [Read error: Connection reset by peer]

07:50 Codaraxis_ has joined #racket

07:54 euhmeuh has joined #racket

08:04 Codaraxis__ has joined #racket

08:08 Codaraxis_ has quit [Ping timeout: 264 seconds]

09:04 nullman has quit [Remote host closed the connection]

09:05 nullman has joined #racket

09:45 manualcrank has joined #racket

09:51 nullman has quit [Remote host closed the connection]

09:51 nullman has joined #racket

09:55 ym has quit [Quit: Leaving]

10:24 dmiles has quit [Ping timeout: 265 seconds]

10:29 catonano_ has joined #racket

10:29 ng0 has joined #racket

10:32 iyzsong has joined #racket

10:37 <catonano_> Hello

10:37 <catonano_> I installed db-lib with raco

10:37 <catonano_> and the output mentions some "scopes"

10:38 <catonano_> nevermind

10:40 <bremner> samth: thought not, but sometimes students know more than I do ;)

10:47 iyzsong has quit [Ping timeout: 250 seconds]

10:57 dmiles has joined #racket

11:08 sarna has joined #racket

11:29 sarna has quit [Remote host closed the connection]

11:29 keep_learning has quit [Remote host closed the connection]

11:29 DGASAU has quit [Read error: Connection reset by peer]

11:29 sarna has joined #racket

11:34 DGASAU has joined #racket

12:00 badkins has quit [Remote host closed the connection]

12:13 mceier has quit [Ping timeout: 240 seconds]

12:27 mceier has joined #racket

12:51 mzan has quit [Quit: Leaving]

12:54 dddddd has joined #racket

13:15 badkins has joined #racket

13:19 dTal has joined #racket

14:24 sword865 has quit [Quit: Connection closed for inactivity]

14:49 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

15:30 sarna has quit [Remote host closed the connection]

15:38 nullman has quit [Ping timeout: 276 seconds]

15:46 badkins has quit [Ping timeout: 276 seconds]

16:07 rgherdt has joined #racket

16:35 badkins has joined #racket

16:53 travishinkelman has joined #racket

16:56 catonano_ has quit [Quit: catonano_]

17:09 pera has joined #racket

17:13 mzan has joined #racket

17:27 mzan has quit [Quit: Leaving]

17:30 casaca has quit [Ping timeout: 245 seconds]

17:32 casaca has joined #racket

17:49 badkins has quit [Ping timeout: 276 seconds]

18:06 m1dnight1 has quit [Ping timeout: 265 seconds]

18:14 orivej has quit [Ping timeout: 276 seconds]

18:24 juanfra has quit [Quit: juanfra]

18:25 FreeFull has joined #racket

18:27 sauvin has quit [Read error: Connection reset by peer]

18:27 acarrico has quit [Ping timeout: 240 seconds]

18:33 Codaraxis__ has quit [Ping timeout: 252 seconds]

18:40 badkins has joined #racket

18:54 gdsg has joined #racket

19:06 travishinkelman has quit [Quit: travishinkelman]

19:10 acarrico has joined #racket

19:10 pera has quit [Ping timeout: 264 seconds]

19:10 dented42 has joined #racket

19:12 pera has joined #racket

19:30 pera has quit [Read error: Connection reset by peer]

19:33 sagax has joined #racket

19:34 pera has joined #racket

19:49 orivej has joined #racket

19:54 teardown has quit [Ping timeout: 240 seconds]

20:01 efm has quit [Remote host closed the connection]

20:01 efm has joined #racket

20:17 teardown has joined #racket

20:29 efm has quit [Ping timeout: 240 seconds]

20:30 pie_ has joined #racket

20:32 efm has joined #racket

20:34 m1dnight_ has joined #racket

20:37 coutego has joined #racket

20:38 <coutego> hi all, I've got a very novice question about a type in typed/racket

20:38 <coutego> is it ok to post it here?

20:41 endformationage has joined #racket

20:46 mzan has joined #racket

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

21:02 pera has quit [Ping timeout: 246 seconds]

21:04 pera has joined #racket

21:30 <samth> coutego: yes

21:37 mzan has quit [Quit: Leaving]

21:55 pera has quit [Read error: Connection reset by peer]

21:55 pera_ has joined #racket

21:55 pera_ is now known as pera

22:33 ng0 has quit [Quit: Alexa, when is the end of world?]

23:00 rgherdt has quit [Ping timeout: 246 seconds]

23:10 orivej has quit [Ping timeout: 240 seconds]

23:17 coutego has quit [Remote host closed the connection]

23:50 pera has quit [Quit: leaving]

23:51 Codaraxis has joined #racket

23:58 FreeFull has quit []