#racket on 2020-04-13 — irc logs at freenode.irclog.whitequark.org

2020-02-20 18:27 samth changed the topic of #racket to: Racket v7.6 has been released: https://blog.racket-lang.org/2020/02/racket-v7-6.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

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

00:33 FreeFull has quit [Read error: Connection reset by peer]

01:10 orivej has quit [Ping timeout: 250 seconds]

02:18 SGASAU has joined #racket

02:38 brendyyn has joined #racket

02:40 iyzsong has joined #racket

02:50 efm has quit [Remote host closed the connection]

02:50 efm has joined #racket

02:52 SGASAU has quit [Remote host closed the connection]

02:52 SGASAU has joined #racket

03:00 travv0 has joined #racket

03:13 nebunez has quit [Ping timeout: 260 seconds]

03:24 orivej has joined #racket

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

05:09 dmiles has quit [Read error: Connection reset by peer]

05:11 endformationage has quit [Quit: WeeChat 2.6]

05:12 libertyprime has joined #racket

05:13 dmiles has joined #racket

05:25 dmiles has quit [Read error: Connection reset by peer]

05:29 dmiles has joined #racket

05:30 narimiran has joined #racket

05:52 jellie has joined #racket

05:57 jellie has quit [Ping timeout: 250 seconds]

06:10 dddddd has quit [Remote host closed the connection]

06:26 jellie has joined #racket

06:32 orivej has joined #racket

07:04 Sgeo_ has joined #racket

07:08 Sgeo__ has quit [Ping timeout: 264 seconds]

07:41 jellie has quit [Ping timeout: 265 seconds]

07:42 jellie has joined #racket

07:47 jellie has quit [Ping timeout: 264 seconds]

07:48 jellie has joined #racket

07:53 jellie has quit [Ping timeout: 264 seconds]

08:03 AMDphreak has joined #racket

08:06 AMD_phreak has quit [Ping timeout: 260 seconds]

08:07 jellie has joined #racket

08:12 jellie has quit [Ping timeout: 240 seconds]

08:14 jellie has joined #racket

08:18 jellie has quit [Ping timeout: 258 seconds]

08:33 AMD_phreak has joined #racket

08:36 AMD_phreak has quit [Read error: Connection reset by peer]

08:36 AMDphreak has quit [Ping timeout: 260 seconds]

08:36 AMD_phreak has joined #racket

08:37 jellie has joined #racket

08:41 jellie has quit [Ping timeout: 260 seconds]

08:43 jellie has joined #racket

09:04 AMDphreak has joined #racket

09:07 AMD_phreak has quit [Ping timeout: 260 seconds]

09:15 jellie has quit [Ping timeout: 250 seconds]

09:17 jellie has joined #racket

09:23 Sgeo__ has joined #racket

09:24 jellie has quit [Ping timeout: 256 seconds]

09:26 Sgeo_ has quit [Ping timeout: 256 seconds]

09:27 jellie has joined #racket

09:34 AMD_phreak has joined #racket

09:36 AMD_phreak has quit [Read error: Connection reset by peer]

09:36 AMD_phreak has joined #racket

09:38 AMDphreak has quit [Ping timeout: 260 seconds]

09:39 jellie has quit [Ping timeout: 265 seconds]

09:47 jellie has joined #racket

09:53 jellie has quit [Ping timeout: 265 seconds]

09:58 lavaflow has quit [Ping timeout: 256 seconds]

10:04 jellie has joined #racket

10:06 AMDphreak has joined #racket

10:08 AMD_phreak has quit [Ping timeout: 260 seconds]

10:09 jellie has quit [Ping timeout: 240 seconds]

10:35 AMD_phreak has joined #racket

10:37 AMD_phreak has quit [Read error: Connection reset by peer]

10:37 AMD_phreak has joined #racket

10:38 AMDphreak has quit [Ping timeout: 246 seconds]

10:42 narimiran has quit [Ping timeout: 260 seconds]

10:46 jellie has joined #racket

10:54 SGASAU has quit [Remote host closed the connection]

10:55 SGASAU has joined #racket

11:07 AMDphreak has joined #racket

11:09 AMD_phreak has quit [Ping timeout: 260 seconds]

11:36 AMD_phreak has joined #racket

11:38 AMD_phreak_ has joined #racket

11:40 AMDphreak has quit [Ping timeout: 260 seconds]

11:43 AMD_phreak has quit [Ping timeout: 256 seconds]

11:54 dddddd has joined #racket

11:58 jellie has quit [Ping timeout: 240 seconds]

12:08 AMDphreak has joined #racket

12:11 AMD_phreak_ has quit [Ping timeout: 260 seconds]

12:14 wingsorc has joined #racket

12:34 SGASAU has quit [Ping timeout: 265 seconds]

12:36 jellie has joined #racket

12:37 SGASAU has joined #racket

12:38 AMD_phreak has joined #racket

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

12:40 AMD_phreak has joined #racket

12:42 AMDphreak has quit [Ping timeout: 260 seconds]

13:10 AMDphreak has joined #racket

13:12 AMD_phreak has quit [Ping timeout: 260 seconds]

13:17 narimiran has joined #racket

13:39 AMD_phreak has joined #racket

13:41 FreeFull has joined #racket

13:42 AMD_phreak_ has joined #racket

13:43 AMDphreak has quit [Ping timeout: 272 seconds]

13:46 AMD_phreak has quit [Ping timeout: 256 seconds]

13:49 sagax has quit [Ping timeout: 258 seconds]

14:05 iyzsong has quit [Ping timeout: 256 seconds]

14:11 AMDphreak has joined #racket

14:14 AMD_phreak_ has quit [Ping timeout: 260 seconds]

14:23 brendyyn has quit [Ping timeout: 265 seconds]

14:40 AMD_phreak has joined #racket

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

14:42 efm has joined #racket

14:42 AMD_phreak_ has joined #racket

14:44 AMDphreak has quit [Ping timeout: 260 seconds]

14:46 AMD_phreak has quit [Ping timeout: 240 seconds]

14:47 sagax has joined #racket

15:12 AMDphreak has joined #racket

15:15 AMD_phreak_ has quit [Ping timeout: 260 seconds]

15:42 AMD_phreak has joined #racket

15:43 AMD_phreak has quit [Read error: Connection reset by peer]

15:44 AMD_phreak has joined #racket

15:46 AMDphreak has quit [Ping timeout: 272 seconds]

15:54 <sarna> can I specify parameters to a struct constructor via keywords? I searched for this and stumbled upon a blog post, nothing in the official docs

16:02 ebsen has joined #racket

16:05 <samth> sarna: there's a package that does that, see https://docs.racket-lang.org/struct-plus-plus/index.html?q=struct-key

16:11 lavaflow has joined #racket

16:15 <sarna> samth: I can substitute it for normal struct as long as my structure doesn’t have a mutable field? what are these limitations :D

16:18 <sarna> oh the one about mutability is arbitrary, lol. thanks for the link though, I will definitely use it :)

16:21 efm has quit [Remote host closed the connection]

16:22 jellie has quit [Ping timeout: 250 seconds]

16:28 efm has joined #racket

16:38 efm has quit [Remote host closed the connection]

16:50 ebsen has quit [Quit: Textual IRC Client: www.textualapp.com]

16:53 efm has joined #racket

17:08 jellie has joined #racket

17:30 AMDphreak has joined #racket

17:33 AMD_phreak has quit [Ping timeout: 260 seconds]

17:35 zenspider has quit [Ping timeout: 258 seconds]

17:44 ArthurStrong has joined #racket

17:49 zenspider has joined #racket

18:00 AMD_phreak has joined #racket

18:02 AMD_phreak_ has joined #racket

18:04 AMDphreak has quit [Ping timeout: 260 seconds]

18:05 AMD_phreak has quit [Ping timeout: 250 seconds]

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

18:24 jellie has quit [Ping timeout: 250 seconds]

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

18:33 wild_buffalo has quit [Quit: WeeChat 2.3]

18:38 efm has joined #racket

18:42 dddddd has quit [Ping timeout: 240 seconds]

18:57 jellie has joined #racket

19:10 bbuccianti has joined #racket

19:17 7YUAAD074 is now known as ober

19:25 libertyprime has quit [Read error: No route to host]

19:40 wingsorc has quit [Quit: Leaving]

20:00 jellie has quit [Ping timeout: 265 seconds]

20:40 SGASAU has quit [Remote host closed the connection]

20:41 SGASAU has joined #racket

20:45 dzoe has joined #racket

20:46 <dzoe> Is there a way to require typed racket code in untyped one without installing the contracts at the boundary?

20:46 <dzoe> It looks like it is not - but maybe I am missing something.

20:48 narimiran has quit [Ping timeout: 258 seconds]

20:50 <lexi-lambda> dzoe: You can use unsafe-provide from the TR side, but it is, as the name implies, profoundly unsafe.

20:51 <dzoe> Mmmm

20:51 <dzoe> That would mean I can use math/matrix ...

20:51 <dzoe> Well... I am already pulling in most of racket/unsafe/ops anyway

20:52 <dzoe> Let's see if that helps.

20:52 <dzoe> I still need to create custom matrix multiplication in order to measure the speed of both solutions.

20:52 <dzoe> lexi-lambda: thank you!

20:57 ArthurStrong has left #racket [#racket]

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

21:40 teardown has quit [Ping timeout: 256 seconds]

21:42 teardown has joined #racket

21:48 davidl_ has quit [Quit: WeeChat 2.3]

21:55 ermo has quit [Quit: ZNC 1.7.5 - https://znc.in]

22:22 efm has quit [Remote host closed the connection]

22:24 efm has joined #racket

22:31 efm has quit [Ping timeout: 256 seconds]

23:00 dddddd has joined #racket

23:02 ermo has joined #racket

23:06 orivej has quit [Ping timeout: 256 seconds]

23:07 orivej has joined #racket

23:11 AMDphreak has joined #racket

23:12 endformationage has joined #racket

23:14 AMD_phreak_ has quit [Ping timeout: 260 seconds]

23:21 nebunez has joined #racket

23:28 orivej has quit [Ping timeout: 265 seconds]

23:35 efm has joined #racket

23:40 efm has quit [Ping timeout: 260 seconds]

23:50 rmnull has joined #racket

23:59 gabot has quit [Ping timeout: 240 seconds]