#racket on 2020-06-09 — irc logs at freenode.irclog.whitequark.org

2020-05-03 17:48 samth changed the topic of #racket to: Racket v7.7 has been released: https://blog.racket-lang.org/2020/05/racket-v7-7.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

00:17 orivej has quit [Quit: No Ping reply in 180 seconds.]

00:19 orivej has joined #racket

00:23 nullcone has quit [Quit: Connection closed for inactivity]

00:25 libertyprime has joined #racket

00:32 vraid has quit [Ping timeout: 258 seconds]

00:32 orivej_ has joined #racket

00:35 orivej has quit [Ping timeout: 260 seconds]

00:49 aidalgol has quit [Remote host closed the connection]

00:50 orivej_ has quit [Read error: Connection reset by peer]

00:50 orivej has joined #racket

00:50 aidalgol has joined #racket

01:01 orivej_ has joined #racket

01:04 orivej has quit [Ping timeout: 256 seconds]

01:05 ephemera_ has quit [Ping timeout: 260 seconds]

01:09 orivej_ has quit [Ping timeout: 264 seconds]

01:13 lockywolf has joined #racket

01:23 lockywolf_ has joined #racket

01:23 orivej has joined #racket

01:25 lockywolf has quit [Ping timeout: 272 seconds]

01:36 orivej has quit [Ping timeout: 256 seconds]

01:36 orivej_ has joined #racket

01:43 <samth> dzoe: for entirely-typed code, the TR optimizer should do a pretty good job

01:43 <samth> there are other sources of potential slowdown, but principally contract boundaries

01:55 orivej has joined #racket

01:57 orivej_ has quit [Ping timeout: 256 seconds]

02:11 orivej has quit [Ping timeout: 246 seconds]

02:11 orivej has joined #racket

02:21 orivej_ has joined #racket

02:23 orivej has quit [Ping timeout: 264 seconds]

02:33 orivej_ has quit [Ping timeout: 246 seconds]

02:33 orivej has joined #racket

02:45 nullcone has joined #racket

02:49 ephemera_ has joined #racket

03:03 orivej has quit [Quit: No Ping reply in 180 seconds.]

03:03 efm has joined #racket

03:04 orivej has joined #racket

03:06 Codaraxis has joined #racket

03:36 orivej has quit [Ping timeout: 256 seconds]

03:36 orivej has joined #racket

03:43 orivej has quit [Quit: No Ping reply in 180 seconds.]

03:44 orivej has joined #racket

03:53 dddddd has quit [Ping timeout: 256 seconds]

04:17 lavaflow has quit [Ping timeout: 264 seconds]

04:21 orivej has quit [Quit: No Ping reply in 180 seconds.]

04:23 orivej has joined #racket

04:24 KindTwo has joined #racket

04:24 KindOne has quit [Ping timeout: 272 seconds]

04:25 lavaflow has joined #racket

04:29 KindTwo is now known as KindOne

04:32 orivej has quit [Ping timeout: 260 seconds]

04:33 orivej has joined #racket

04:40 orivej has quit [Quit: No Ping reply in 180 seconds.]

04:41 orivej has joined #racket

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

04:42 lavaflow has quit [Ping timeout: 264 seconds]

04:46 narimiran has joined #racket

04:49 orivej has quit [Ping timeout: 256 seconds]

04:50 orivej has joined #racket

04:58 lavaflow has joined #racket

05:00 orivej has quit [Ping timeout: 246 seconds]

05:01 orivej has joined #racket

05:08 orivej has quit [Quit: No Ping reply in 180 seconds.]

05:09 nullcone has quit [Quit: Connection closed for inactivity]

05:10 orivej has joined #racket

05:11 libertyprime has quit [Ping timeout: 260 seconds]

05:20 orivej_ has joined #racket

05:21 orivej has quit [Read error: Connection reset by peer]

05:25 sauvin has joined #racket

05:29 orivej has joined #racket

05:29 orivej_ has quit [Read error: Connection reset by peer]

05:36 libertyprime has joined #racket

05:41 orivej_ has joined #racket

05:41 orivej has quit [Ping timeout: 264 seconds]

05:50 orivej has joined #racket

05:50 orivej_ has quit [Read error: Connection reset by peer]

05:52 aidalgol has joined #racket

06:10 <dzoe> samth: it does pretty good job, that's not a problems - it's just that my workload always needs more :)

06:10 <dzoe> I'll what will be the results

06:10 orivej has quit [Ping timeout: 265 seconds]

06:11 orivej has joined #racket

06:13 nullcone has joined #racket

06:13 libertyprime has quit [Quit: leaving]

06:41 orivej has quit [Ping timeout: 264 seconds]

06:41 orivej has joined #racket

06:56 orivej has quit [Ping timeout: 260 seconds]

06:56 orivej has joined #racket

06:56 rgherdt has joined #racket

07:01 orivej has quit [Read error: Connection reset by peer]

07:02 orivej_ has joined #racket

07:09 rgherdt has quit [Quit: Leaving]

07:10 orivej_ has quit [Quit: No Ping reply in 180 seconds.]

07:11 orivej has joined #racket

07:11 rgherdt has joined #racket

07:18 libertyprime has joined #racket

07:19 orivej_ has joined #racket

07:21 orivej has quit [Ping timeout: 264 seconds]

07:27 orivej_ has quit [Ping timeout: 264 seconds]

07:28 orivej has joined #racket

07:35 orivej has quit [Ping timeout: 246 seconds]

07:37 orivej has joined #racket

07:52 orivej has quit [Ping timeout: 256 seconds]

07:52 orivej has joined #racket

07:56 SGASAU has quit [Ping timeout: 246 seconds]

08:13 rgherdt has quit [Ping timeout: 258 seconds]

08:17 rgherdt has joined #racket

08:33 orivej has quit [Quit: No Ping reply in 180 seconds.]

08:34 orivej has joined #racket

08:49 orivej has quit [Ping timeout: 260 seconds]

08:49 orivej_ has joined #racket

08:57 orivej_ has quit [Ping timeout: 258 seconds]

08:58 orivej has joined #racket

09:10 lockywolf__ has joined #racket

09:11 TCZ has joined #racket

09:12 lockywolf_ has quit [Ping timeout: 240 seconds]

09:19 Sgeo has quit [Read error: Connection reset by peer]

09:25 lockywolf_ has joined #racket

09:26 lockywolf_ has quit [Max SendQ exceeded]

09:27 lockywolf_ has joined #racket

09:27 lockywolf__ has quit [Read error: Connection reset by peer]

09:28 lockywolf_ has quit [Max SendQ exceeded]

09:29 rgherdt has quit [Ping timeout: 265 seconds]

09:30 jellie has joined #racket

09:30 narimiran has quit [Ping timeout: 264 seconds]

09:31 lockywolf_ has joined #racket

09:31 lockywolf_ has quit [Max SendQ exceeded]

09:33 jellie has quit [Read error: Connection reset by peer]

09:34 jellie has joined #racket

09:35 rgherdt has joined #racket

09:39 cantstanya has quit [Remote host closed the connection]

09:40 cantstanya has joined #racket

09:40 jellie has quit [Read error: Connection reset by peer]

09:42 narimiran has joined #racket

09:42 jellie has joined #racket

09:54 orivej has quit [Ping timeout: 260 seconds]

09:54 orivej_ has joined #racket

09:55 TCZ has quit [Quit: Leaving]

10:29 nullcone has quit [Quit: Connection closed for inactivity]

10:39 iyzsong has joined #racket

10:57 rgherdt has quit [Quit: Leaving]

10:57 rgherdt has joined #racket

10:58 cantstanya has quit [Remote host closed the connection]

10:59 cantstanya has joined #racket

11:17 jellie has quit [Read error: Connection reset by peer]

11:18 jellie has joined #racket

11:20 jellie has quit [Read error: Connection reset by peer]

11:22 jellie has joined #racket

11:36 jellie has quit [Read error: Connection reset by peer]

11:38 jellie has joined #racket

11:45 jellie has quit [Read error: Connection reset by peer]

11:46 jellie has joined #racket

11:51 dddddd has joined #racket

11:54 orivej_ has quit [Ping timeout: 264 seconds]

11:54 orivej has joined #racket

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

12:06 efm has joined #racket

12:12 jellie has quit [Read error: Connection reset by peer]

12:12 orivej has quit [Ping timeout: 256 seconds]

12:12 jellie has joined #racket

12:13 orivej has joined #racket

12:20 orivej has quit [Read error: Connection reset by peer]

12:20 dmiles has quit [Ping timeout: 246 seconds]

12:21 orivej has joined #racket

12:28 dmiles has joined #racket

12:29 jellie has quit [Read error: Connection reset by peer]

12:30 jellie has joined #racket

12:30 orivej has quit [Ping timeout: 260 seconds]

12:31 orivej_ has joined #racket

12:39 <samth> dzoe: i'm interested to see

12:51 TCZ has joined #racket

12:57 jellie has quit [Read error: Connection reset by peer]

12:58 jellie has joined #racket

12:58 jellie has quit [Read error: Connection reset by peer]

12:58 jellie has joined #racket

13:12 pilne has joined #racket

13:13 pilne has quit [Client Quit]

13:13 jellie has quit [Ping timeout: 260 seconds]

13:20 orivej_ has quit [Ping timeout: 258 seconds]

13:21 orivej has joined #racket

13:22 lockywolf has joined #racket

13:23 lockywolf has quit [Max SendQ exceeded]

13:24 lockywolf has joined #racket

13:28 TCZ has quit [Quit: Leaving]

13:30 orivej has quit [Read error: Connection reset by peer]

13:31 orivej has joined #racket

13:34 lockywolf_ has joined #racket

13:36 lockywolf_ has quit [Max SendQ exceeded]

13:36 lockywolf_ has joined #racket

13:37 lockywolf_ has quit [Remote host closed the connection]

13:37 lockywolf has quit [Ping timeout: 260 seconds]

13:37 lockywolf_ has joined #racket

13:39 lockywolf_ has quit [Max SendQ exceeded]

13:39 lockywolf_ has joined #racket

13:40 lockywolf_ has quit [Remote host closed the connection]

13:41 lockywolf_ has joined #racket

13:41 lockywolf_ has quit [Remote host closed the connection]

13:42 lockywolf_ has joined #racket

13:43 lockywolf_ has quit [Max SendQ exceeded]

13:44 lockywolf_ has joined #racket

13:44 lockywolf_ has quit [Remote host closed the connection]

13:45 lockywolf_ has joined #racket

13:46 jellie has joined #racket

13:46 lockywolf_ has quit [Remote host closed the connection]

13:46 lockywolf_ has joined #racket

13:47 lockywolf_ has quit [Max SendQ exceeded]

13:48 lockywolf_ has joined #racket

13:49 jellie has quit [Read error: Connection reset by peer]

13:49 lockywolf_ has quit [Max SendQ exceeded]

13:50 lockywolf_ has joined #racket

13:50 orivej has quit [Quit: No Ping reply in 180 seconds.]

13:50 lockywolf_ has quit [Remote host closed the connection]

13:51 lockywolf_ has joined #racket

13:51 orivej has joined #racket

13:53 lockywolf_ has quit [Max SendQ exceeded]

13:53 lockywolf_ has joined #racket

13:55 lockywolf_ has quit [Max SendQ exceeded]

13:55 lockywolf_ has joined #racket

13:56 lockywolf_ has quit [Remote host closed the connection]

13:57 lockywolf_ has joined #racket

13:59 lockywolf__ has joined #racket

14:00 lockywolf__ has quit [Max SendQ exceeded]

14:01 lockywolf__ has joined #racket

14:01 orivej has quit [Ping timeout: 240 seconds]

14:01 lockywolf__ has quit [Remote host closed the connection]

14:02 orivej has joined #racket

14:02 lockywolf__ has joined #racket

14:03 lockywolf_ has quit [Ping timeout: 265 seconds]

14:03 lockywolf__ has quit [Max SendQ exceeded]

14:03 lockywolf__ has joined #racket

14:04 jellie has joined #racket

14:08 lockywolf__ has quit [Ping timeout: 260 seconds]

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

14:14 jellie has quit [Read error: Connection reset by peer]

14:17 jellie has joined #racket

14:34 efm has quit [Ping timeout: 256 seconds]

14:35 DGASAU has quit [Read error: Connection reset by peer]

14:36 DGASAU has joined #racket

14:36 efm has joined #racket

14:50 orivej has quit [Ping timeout: 265 seconds]

14:50 orivej has joined #racket

14:51 rgherdt has quit [Ping timeout: 272 seconds]

15:07 orivej has quit [Ping timeout: 256 seconds]

15:08 orivej has joined #racket

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

15:29 rgherdt has joined #racket

15:30 DGASAU has quit [Read error: Connection reset by peer]

15:34 DGASAU has joined #racket

15:46 Sgeo has joined #racket

15:49 narimiran has quit [Ping timeout: 264 seconds]

15:49 orivej_ has joined #racket

15:50 orivej has quit [Ping timeout: 264 seconds]

15:58 rgherdt has quit [Remote host closed the connection]

16:00 orivej_ has quit [Ping timeout: 264 seconds]

16:00 orivej has joined #racket

16:08 nullcone has joined #racket

16:13 orivej has quit [Ping timeout: 264 seconds]

16:24 refpga has joined #racket

16:34 rgherdt has joined #racket

16:35 KindTwo has joined #racket

16:37 KindOne has quit [Ping timeout: 265 seconds]

16:39 <refpga> Hello, I

16:40 <refpga> I just started programming in racket today. Is there any way to install packages from the repl?

16:40 KindTwo is now known as KindOne

16:41 <rgherdt> hi refpga! Yes, check https://docs.racket-lang.org/pkg/cmdline.html

16:41 <rgherdt> raco pkg install ...

16:42 <refpga> I mean the racket repl.

16:43 <refpga> Thanks.

16:45 <rgherdt> ah ok, sorry. https://docs.racket-lang.org/pkg/Functions_for_raco_pkg.html

16:45 <refpga> Yes, that's what I needed.

16:46 Codaraxis_ has quit [Quit: Leaving]

17:14 juanfra_1 is now known as juanfra_

17:42 narimiran has joined #racket

17:54 dustyweb has quit [Ping timeout: 260 seconds]

18:05 refpga has quit [Remote host closed the connection]

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

18:44 even4void has joined #racket

18:54 vraid has joined #racket

19:01 dustyweb has joined #racket

19:07 even4void has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

19:09 aidalgol has quit [Remote host closed the connection]

19:16 lavaflow has quit [Quit: WeeChat 2.8]

19:17 lavaflow has joined #racket

19:55 pilne has joined #racket

20:11 even4void has joined #racket

20:12 endformationage has joined #racket

20:12 even4void has quit [Client Quit]

20:14 epony has quit [Remote host closed the connection]

20:15 epony has joined #racket

20:16 rgherdt has quit [Ping timeout: 272 seconds]

20:18 rgherdt has joined #racket

20:26 narimiran has quit [Quit: leaving]

21:04 aidalgol has joined #racket

21:11 Codaraxis_ has joined #racket

21:13 Codaraxis has quit [Ping timeout: 260 seconds]

21:26 efm has joined #racket

21:32 TCZ has joined #racket

21:34 xgqt has quit [Ping timeout: 260 seconds]

21:38 SGASAU has joined #racket

22:12 jellie has quit [Ping timeout: 264 seconds]

22:13 rgherdt has quit [Ping timeout: 272 seconds]

22:19 jellie has joined #racket

22:23 jellie has quit [Ping timeout: 256 seconds]

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

22:42 vraid has quit [Ping timeout: 240 seconds]

22:42 SGASAU has joined #racket

22:47 libertyprime has quit [Ping timeout: 258 seconds]

22:59 TCZ has quit [Quit: Leaving]

23:00 libertyprime has joined #racket

23:03 SGASAU has quit [Remote host closed the connection]

23:04 SGASAU has joined #racket

23:19 idstam has quit [Ping timeout: 256 seconds]

23:22 SGASAU has quit [Remote host closed the connection]

23:23 SGASAU has joined #racket

23:33 idstam has joined #racket

23:36 libertyprime has quit [Ping timeout: 256 seconds]

23:37 SGASAU has quit [Remote host closed the connection]

23:38 SGASAU has joined #racket

23:38 libertyprime has joined #racket