#racket on 2020-06-30 — 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:02 dbmikus has joined #racket

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

00:14 badkins has joined #racket

00:19 badkins has quit [Ping timeout: 260 seconds]

00:29 orivej_ has quit [Ping timeout: 246 seconds]

00:30 orivej has joined #racket

00:46 Oxyd has quit [Ping timeout: 256 seconds]

00:47 Oxyd has joined #racket

00:48 catonano_ has joined #racket

00:52 catonano has quit [Ping timeout: 264 seconds]

00:52 catonano_ is now known as catonano

00:55 efm has joined #racket

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

01:22 vraid has quit [Remote host closed the connection]

01:23 orivej has joined #racket

01:43 orivej_ has joined #racket

01:44 orivej has quit [Ping timeout: 264 seconds]

02:15 badkins has joined #racket

02:17 dbmikus has quit [Ping timeout: 246 seconds]

02:20 badkins has quit [Ping timeout: 260 seconds]

02:36 greghendershott has quit [Ping timeout: 272 seconds]

02:38 ullbeking has quit [Ping timeout: 272 seconds]

02:38 greghendershott has joined #racket

02:41 ullbeking has joined #racket

02:42 ullbeking has quit [Max SendQ exceeded]

02:45 orivej_ has quit [Ping timeout: 256 seconds]

02:48 ullbeking has joined #racket

02:59 dddddd has quit [Ping timeout: 244 seconds]

03:06 Codaraxis__ has joined #racket

03:10 Codaraxis_ has quit [Ping timeout: 258 seconds]

03:55 ullbeking has quit [Ping timeout: 256 seconds]

03:56 ullbeking has joined #racket

04:16 badkins has joined #racket

04:18 narimiran has joined #racket

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

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

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

05:18 DGASAU has joined #racket

05:48 bocaneri has joined #racket

05:52 aidalgol has joined #racket

05:54 narimiran has quit [Ping timeout: 246 seconds]

06:14 orivej has joined #racket

06:17 badkins has joined #racket

06:22 badkins has quit [Ping timeout: 256 seconds]

06:27 rgherdt has joined #racket

06:42 rgherdt has quit [Read error: Connection reset by peer]

06:43 young has joined #racket

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

06:46 rgherdt has joined #racket

06:53 narimiran has joined #racket

06:59 young has quit [Remote host closed the connection]

07:31 buyfn has joined #racket

08:18 badkins has joined #racket

08:19 buyfn has quit [Ping timeout: 260 seconds]

08:23 badkins has quit [Ping timeout: 260 seconds]

08:25 buyfn has joined #racket

08:40 dvdmuckle has quit [Ping timeout: 245 seconds]

08:44 dvdmuckle has joined #racket

09:30 orivej has joined #racket

09:57 orivej has quit [Ping timeout: 246 seconds]

10:04 <dzoe> Strange days indeed ... RacketCS 7.6 without flonum inlining outperforms all my other variants of Racket on heavily-optimized 4x4 flonum matrix multiplication - even though it is still with boxed flonums.

10:05 <dzoe> I think it is time to start using CS master HEAD as well.

10:11 buyfn has quit [Quit: buyfn]

10:19 badkins has joined #racket

10:23 badkins has quit [Ping timeout: 246 seconds]

10:28 <dzoe> Hmhm

10:28 <dzoe> Anyone here with experience with compiling Racket CS?

10:29 <dzoe> Either I'm doing something wrong or there's a bug in the bootstrap process using racket as it fails to generate ChezScheme/nanopass/nanopass/implementation-helpers.ikarus.ss file (I've got Racket ChezScheme branch sources and the directory nanopass is there - just empty)

10:43 buyfn has joined #racket

10:44 aidalgol has quit [Read error: Connection reset by peer]

10:49 buyfn has quit [Ping timeout: 246 seconds]

11:23 TCZ has joined #racket

11:30 simendsjo has joined #racket

12:17 rgherdt has quit [Quit: Leaving]

12:17 rgherdt has joined #racket

12:20 badkins has joined #racket

12:24 badkins has quit [Ping timeout: 258 seconds]

12:28 nikita` has joined #racket

12:34 TCZ has quit [Quit: Leaving]

12:36 badkins has joined #racket

12:44 overflow has joined #racket

12:47 lavaflow has quit [Ping timeout: 264 seconds]

12:57 dustyweb has quit [Remote host closed the connection]

13:04 TCZ has joined #racket

13:05 ivan` has joined #racket

13:12 ivan` has quit [Quit: ivan`]

13:31 orivej has joined #racket

13:39 TCZ has quit [Quit: Leaving]

13:48 notzmv has quit [Ping timeout: 246 seconds]

13:53 acarrico has quit [Ping timeout: 260 seconds]

13:55 <samth> dzoe: you need to do `git submodule init`

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

13:57 badkins has joined #racket

13:58 acarrico has joined #racket

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

14:03 badkins has joined #racket

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

14:14 simendsjo has quit [Ping timeout: 256 seconds]

14:15 notzmv has joined #racket

14:15 badkins has joined #racket

14:17 badkins has quit [Remote host closed the connection]

14:17 badkins_ has joined #racket

14:32 TCZ has joined #racket

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

14:40 nebunez has joined #racket

14:53 dustyweb has joined #racket

15:01 acarrico has quit [Ping timeout: 258 seconds]

15:14 lavaflow has joined #racket

15:38 dddddd has joined #racket

15:43 efm has quit [Ping timeout: 256 seconds]

15:47 simendsjo has joined #racket

15:48 efm has joined #racket

15:52 orivej has quit [Ping timeout: 265 seconds]

15:53 orivej_ has joined #racket

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

16:02 orivej has joined #racket

16:06 badkins_ has quit [Remote host closed the connection]

16:07 badkins has joined #racket

16:11 Bjarno has joined #racket

16:12 badkins has quit [Ping timeout: 265 seconds]

16:30 dbmikus has joined #racket

16:34 TCZ has quit [Quit: Leaving]

16:56 simendsjo has quit [Ping timeout: 260 seconds]

17:02 buyfn has joined #racket

17:05 orivej has quit [Ping timeout: 260 seconds]

17:05 orivej has joined #racket

17:14 orivej_ has joined #racket

17:14 orivej has quit [Ping timeout: 264 seconds]

17:23 badkins has joined #racket

17:29 badkins has quit [Ping timeout: 260 seconds]

17:54 emacsomancer has quit [Read error: Connection reset by peer]

17:58 iyzsong has quit [Quit: ZNC 1.7.5 - https://znc.in]

17:59 iyzsong has joined #racket

18:00 buyfn has quit [Quit: buyfn]

18:01 orivej_ has quit [Ping timeout: 260 seconds]

18:01 orivej has joined #racket

18:03 emacsomancer has joined #racket

18:22 bocaneri has quit [Read error: Connection reset by peer]

18:27 acarrico has joined #racket

18:46 simendsjo has joined #racket

18:50 simendsjo has quit [Ping timeout: 240 seconds]

18:52 buyfn has joined #racket

19:00 badkins has joined #racket

19:40 efm has quit [Read error: Connection reset by peer]

19:48 TCZ has joined #racket

19:51 efm has joined #racket

19:59 orivej has quit [Ping timeout: 240 seconds]

20:00 <dzoe> samth: is it documented somewhere? I went through all READMEs in racket/ChezScheme and racket/racket repositories (with detail in racket/src/cs/) and failed miserably.

20:00 orivej has joined #racket

20:00 <dzoe> samth: I'll try that though and probably write a short article for others to jump easily on the same train

20:08 dbmikus has quit [Ping timeout: 256 seconds]

20:18 dbmikus has joined #racket

20:29 orivej has quit [Ping timeout: 260 seconds]

20:29 orivej has joined #racket

20:41 aidalgol has joined #racket

20:44 buyfn has quit [Quit: buyfn]

20:58 buyfn has joined #racket

21:13 narimiran has quit [Ping timeout: 240 seconds]

21:14 zv has joined #racket

21:15 travv0 has quit [Read error: Connection reset by peer]

21:15 travv0 has joined #racket

21:20 buyfn has quit [Quit: buyfn]

21:22 orivej has quit [Ping timeout: 246 seconds]

21:22 orivej has joined #racket

21:48 TCZ has quit [Quit: Leaving]

21:51 badkins has quit [Remote host closed the connection]

21:52 badkins has joined #racket

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

22:08 nikita` has quit [Quit: leaving]

22:09 thallada has quit [Ping timeout: 260 seconds]

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

22:34 orivej has quit [Ping timeout: 240 seconds]

22:34 badkins has joined #racket

22:34 orivej has joined #racket

22:36 jcowan has joined #racket

22:36 <jcowan> Is there a paper about Racket units? Dr. Google not helpful today.

22:41 efm has quit [Read error: Connection reset by peer]

22:42 efm has joined #racket

22:48 thallada has joined #racket

22:57 Bjarno has quit [Ping timeout: 258 seconds]

23:15 TCZ has joined #racket

23:25 efm has quit [Remote host closed the connection]

23:26 efm has joined #racket

23:32 TCZ has quit [Quit: Leaving]

23:32 aeth has quit [Read error: Connection reset by peer]

23:34 aeth has joined #racket

23:46 <samth> jcowan: search for units here: http://www.cs.utah.edu/~mflatt/publications/index.html

23:47 <jcowan> Thanks!

23:48 <samth> also http://www.ccs.neu.edu/scheme/pubs/gpce05-cof.pdf and https://www2.ccs.neu.edu/racket/pubs/#thesis-flatt

23:48 <samth> dzoe: i think probably the best fix is a check in that makefile that errors with a useful message

23:54 <samth> jcowan: is there something in particular that you want to know? that's a lot of papers to look through

23:54 <jcowan> No, just trawling for interesting ideas

23:54 <jcowan> I wish there was a unified Racket bibliography, though

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

23:56 orivej has joined #racket

23:59 badkins has quit [Remote host closed the connection]