#racket on 2020-07-02 — 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:23 aidalgol_dir is now known as aidalgol

00:36 notzmv has quit [Ping timeout: 240 seconds]

00:50 catonano has quit [Ping timeout: 265 seconds]

01:18 badkins has quit [Remote host closed the connection]

01:19 badkins has joined #racket

01:19 badkins has quit [Remote host closed the connection]

01:20 badkins has joined #racket

01:25 badkins has quit [Ping timeout: 258 seconds]

02:12 orivej has quit [Ping timeout: 240 seconds]

02:13 orivej has joined #racket

02:41 orivej has quit [Ping timeout: 258 seconds]

02:42 orivej has joined #racket

02:51 YuGiOhJCJ has joined #racket

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

02:58 orivej has joined #racket

03:21 badkins has joined #racket

03:26 badkins has quit [Ping timeout: 240 seconds]

03:29 orivej has quit [Ping timeout: 246 seconds]

03:36 notzmv has joined #racket

04:26 endformationage has quit [Quit: WeeChat 2.7.1]

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

04:53 YuGiOhJCJ has quit [Remote host closed the connection]

04:53 YuGiOhJCJ has joined #racket

05:34 bocaneri has joined #racket

06:24 aidalgol has joined #racket

06:32 rgherdt has joined #racket

06:35 orivej has joined #racket

07:11 nebunez has quit [Ping timeout: 246 seconds]

07:15 catonano has joined #racket

07:23 badkins has joined #racket

07:24 orivej has quit [Ping timeout: 258 seconds]

07:24 orivej has joined #racket

07:26 srji has quit [Ping timeout: 246 seconds]

07:26 srji has joined #racket

07:28 badkins has quit [Ping timeout: 264 seconds]

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

07:47 orivej has joined #racket

07:52 nikita` has joined #racket

07:57 Bjarno has joined #racket

08:03 epony has quit [Quit: reconfigure]

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

08:05 orivej has joined #racket

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

08:13 orivej has joined #racket

08:17 aidalgol has quit [Quit: ZNC 1.7.2+deb3 - https://znc.in]

08:18 aidalgol has joined #racket

09:02 epony has joined #racket

09:02 Bjarno has quit [Remote host closed the connection]

09:18 Lowl3v3l has quit [Remote host closed the connection]

09:21 orivej has quit [Ping timeout: 258 seconds]

09:21 orivej has joined #racket

09:22 aidalgol has quit [Quit: ZNC 1.7.2+deb3 - https://znc.in]

09:23 aidalgol has joined #racket

09:24 badkins has joined #racket

09:26 Lowl3v3l has joined #racket

09:29 badkins has quit [Ping timeout: 256 seconds]

09:30 zv has quit [Ping timeout: 265 seconds]

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

09:44 orivej has joined #racket

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

09:54 orivej has joined #racket

10:13 orivej has quit [Ping timeout: 246 seconds]

10:13 orivej has joined #racket

10:18 epony has quit [Ping timeout: 258 seconds]

10:22 orivej has quit [Ping timeout: 264 seconds]

10:22 orivej_ has joined #racket

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

10:55 orivej has joined #racket

11:03 catonano has quit [Quit: catonano]

11:04 orivej has quit [Ping timeout: 265 seconds]

11:04 orivej has joined #racket

11:12 orivej has quit [Ping timeout: 264 seconds]

11:13 orivej has joined #racket

11:18 TCZ has joined #racket

11:19 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

11:25 TCZ has quit [Ping timeout: 256 seconds]

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

11:32 orivej has joined #racket

11:59 TCZ has joined #racket

12:06 nikita` has quit [Quit: leaving]

12:07 TCZ has quit [Ping timeout: 240 seconds]

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

12:13 orivej has joined #racket

12:34 orivej_ has joined #racket

12:37 orivej has quit [Ping timeout: 246 seconds]

12:52 badkins has joined #racket

12:57 orivej_ has quit [Quit: No Ping reply in 180 seconds.]

12:58 orivej has joined #racket

13:07 orivej has quit [Ping timeout: 260 seconds]

13:07 orivej_ has joined #racket

13:12 TCZ has joined #racket

13:13 simendsjo has joined #racket

13:14 orivej_ has quit [Quit: No Ping reply in 180 seconds.]

13:15 orivej has joined #racket

13:23 Lowl3v3l has quit [Quit: Leaving.]

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

13:34 orivej has joined #racket

13:47 orivej has quit [Ping timeout: 256 seconds]

13:47 orivej has joined #racket

13:49 efm has joined #racket

14:14 TCZ has quit [Quit: Leaving]

14:17 TCZ has joined #racket

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

14:18 badkins has joined #racket

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

14:19 orivej has joined #racket

14:23 badkins has quit [Ping timeout: 264 seconds]

14:27 badkins has joined #racket

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

14:28 orivej has joined #racket

14:30 simendsjo has quit [Remote host closed the connection]

14:45 simendsjo has joined #racket

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

15:12 TCZ2 has joined #racket

15:12 ermo_ has joined #racket

15:13 badkins_ has joined #racket

15:13 orivej has joined #racket

15:13 rgherdt_ has joined #racket

15:13 wild_buf1 has joined #racket

15:14 ermo has quit [Ping timeout: 264 seconds]

15:14 edmoore has quit [Ping timeout: 264 seconds]

15:14 elcaro has quit [Ping timeout: 264 seconds]

15:14 wild_buffalo has quit [Ping timeout: 264 seconds]

15:14 mbrndtgn has quit [Ping timeout: 264 seconds]

15:15 edmoore_ has joined #racket

15:15 ermo_ is now known as ermo

15:15 badkins has quit [Ping timeout: 246 seconds]

15:15 rgherdt has quit [Ping timeout: 246 seconds]

15:15 Ekho has quit [Remote host closed the connection]

15:15 TCZ has quit [Ping timeout: 264 seconds]

15:15 mbrndtgn has joined #racket

15:19 TCZ has joined #racket

15:19 TCZ2 has quit [Quit: Leaving]

15:33 _whitelogger has joined #racket

15:46 badkins_ has quit [Remote host closed the connection]

15:46 badkins has joined #racket

15:50 evdubs has quit [Remote host closed the connection]

15:50 evdubs has joined #racket

15:51 badkins has quit [Ping timeout: 260 seconds]

15:54 orivej has quit [Ping timeout: 258 seconds]

15:54 orivej has joined #racket

16:14 TCZ has quit [Quit: Leaving]

16:16 orivej has quit [Ping timeout: 260 seconds]

16:16 orivej_ has joined #racket

16:18 endformationage has joined #racket

16:36 efm has quit [Quit: Konversation terminated!]

16:48 orivej_ has quit [Ping timeout: 244 seconds]

16:49 orivej has joined #racket

16:49 dbmikus has joined #racket

16:53 badkins has joined #racket

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

17:01 orivej has joined #racket

17:29 zv has joined #racket

17:41 mason has joined #racket

17:41 DGASAU has quit [Ping timeout: 256 seconds]

18:01 gknauth has joined #racket

18:01 orivej has quit [Quit: No Ping reply in 210 seconds.]

18:02 orivej has joined #racket

18:10 selimcan has joined #racket

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

18:15 orivej has joined #racket

18:24 DGASAU has joined #racket

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

18:27 orivej has quit [Ping timeout: 246 seconds]

18:28 orivej has joined #racket

18:40 gknauth has quit [Quit: gknauth]

18:47 epony has joined #racket

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

18:50 orivej has joined #racket

18:50 nikita` has joined #racket

18:54 TestNasm has quit [Quit: Connection closed for inactivity]

19:00 gknauth has joined #racket

19:15 gknauth has quit [Quit: gknauth]

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

19:17 orivej has joined #racket

19:19 TestNasm has joined #racket

19:25 <dzoe> samth: any hints on how to debug disassemble? I am looking into some flonums code on CS and the results are terrible. Judging from the comments in fcdisasm.rkt it is not a bug but rather a feature ...

19:25 <samth> dzoe: i'm not sure what you mean. what's the problem? does it crash?

19:26 <dzoe> Well, there's not a single flonum instruction there :)

19:26 <dzoe> And the code it produces is way longer than it should be (about 100x)

19:27 <samth> dzoe: is this on racketcs? are you using the nasm backend or the in-racket backend?

19:27 <dzoe> Yet looking at the x86-opcodes, it should get those fmul/fdiv and others.

19:27 <dzoe> Yes, racketcs, latest master, in-racket backend.

19:31 <samth> ok, so that sounds like there's a problem with getting the bytes of the function

19:31 <samth> do you have a (small) example I can try?

19:31 <dzoe> Yes, I do

19:32 <dzoe> http://pasterack.org/pastes/58091

19:32 <dzoe> Oh, forgot (require racket/unsafe/ops) in the paste, sorry.

19:33 <dzoe> Dammit

19:33 <dzoe> I forgot it in my test as well and it just silently ignored that mistake!?!

19:34 <dzoe> Ok, sorry, my bad. It works as expected. It is just that racketcs does not report any error when I forget racket/unsafe/ops here apparently.

19:35 <samth> I get an error if I do that ...

19:35 <samth> I don't see any fdiv or fmul, but I see a lot of fp instructions

19:36 <dzoe> Yes, CS uses SSE2.

19:37 <dzoe> Although it is interesting that CS allows me to define the function and does not yell at me about missing unsafe-fl* and unsafe-fl+

19:38 <samth> I consistently get an error if I leave out the require

19:39 TCZ has joined #racket

19:39 <dzoe> I don't: #<procedure:mat4*mat4!/let>

19:40 <dzoe> I am running that in REPL though.

19:40 <dzoe> (Just tried with a fresh one)

19:44 <samth> oh, the repl will do that

19:45 orivej has quit [Ping timeout: 246 seconds]

19:45 <samth> unbound variables aren't an error at the repl

19:45 <samth> rudybot: hopeless

19:45 <rudybot> samth: https://gist.github.com/samth/3083053

19:45 orivej has joined #racket

19:46 <dzoe> Yes, the top level is hopeless, right? :)

19:47 <samth> dzoe: that's the content of all of those links

19:47 <dzoe> samth: I know, I've read them all once.

19:48 <dzoe> I just didn't know I'll run into an actual problem with that :)

19:49 <dzoe> And now I am willing to test how to extend allocable fp registers from xmm8 and xmm9 to xmm8-xmm15 ...

19:49 <dzoe> The x86_64.ss is rather interesting part of CS.

19:51 <samth> dzoe: that would certainly be a nice improvement. note that cs needs various annoying tricks to be able to use "newer" instructions (see the discussion about popcnt a while back)

19:52 badkins has quit [Remote host closed the connection]

19:52 <dzoe> samth: My current discussion with Matthew is about my intent to try to extend it to AVX2 and beyond ...

19:53 <dzoe> And although I know a lot about all the little SIMD tricks, I need to learn a lot about how it is done in CS.

19:53 badkins has joined #racket

19:55 <samth> dzoe: i am excited to see extensions to AVX. do you want to generate vector instructions automatically? or provide multiple-value operations as racket operations?

19:56 <dzoe> samth: I want to state clearly, that I am not into the "vectorize all loops" attitude that has been everywhere a few years ago.

19:56 nullman has quit [Ping timeout: 265 seconds]

19:56 <dzoe> samth: But that said, I would REALLY love to automatically generate vector instructions for certain non-loop constructs.

19:56 <samth> right, that's what i'm thinking of

19:57 <dzoe> That is why matrix multiplication is my test.

19:57 <dzoe> If you know the dependencies of operations, you can run a lot in parallel.

19:57 badkins has quit [Ping timeout: 246 seconds]

19:57 <dzoe> The simple case being 4 muls and 3 adds afterwards.

19:58 <dzoe> And given the functional nature of most "mathematics" code, it should be feasible.

19:58 badkins has joined #racket

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

20:00 orivej has joined #racket

20:06 izh_ has joined #racket

20:10 selimcan has quit [Ping timeout: 272 seconds]

20:23 nullman has joined #racket

20:31 <dzoe> samth: where did the popcnt discussion took place? racket-dev@?

20:31 <samth> dzoe: https://github.com/racket/racket/issues/3150#issuecomment-625302206

20:37 vraid has joined #racket

20:42 efm has joined #racket

20:44 sagax has quit [Excess Flood]

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

20:53 badkins has joined #racket

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

20:57 orivej has joined #racket

20:58 badkins has quit [Ping timeout: 264 seconds]

21:02 badkins has joined #racket

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

21:03 badkins has joined #racket

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

21:21 izh_ has quit [Quit: Leaving]

21:36 ermo has quit [Quit: ZNC 1.8.0 - https://znc.in]

21:36 ermo has joined #racket

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

21:38 orivej has joined #racket

21:47 orivej has quit [Ping timeout: 256 seconds]

21:47 orivej has joined #racket

21:54 orivej has quit [Quit: No Ping reply in 210 seconds.]

21:55 <dzoe> samth: thanks

21:56 orivej has joined #racket

21:56 <jcowan> I am trying to put together a list of R5RS features that do not work in #lang racket. So far I know about mutable pairs and strings, and about transcript-{on,off}.

21:59 emacsomancer has quit [Read error: Connection reset by peer]

21:59 emacsomancer has joined #racket

22:04 orivej has quit [Ping timeout: 264 seconds]

22:04 orivej has joined #racket

22:12 simendsjo has quit [Ping timeout: 256 seconds]

22:16 rgherdt_ has quit [Quit: Leaving]

22:22 TCZ has quit [Quit: Leaving]

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

22:24 orivej has joined #racket

22:44 <jcowan> Looks like the list is the environment procedures, set-car! and set-cdr!, and transcript on and off

22:44 TestNasm has quit [Quit: Connection closed for inactivity]

22:52 orivej has quit [Ping timeout: 244 seconds]

22:53 orivej has joined #racket

23:04 MetaHertz has joined #racket

23:04 badkins has joined #racket

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

23:11 TCZ has joined #racket

23:12 ArthurStrong has joined #racket

23:29 orivej has quit [Ping timeout: 244 seconds]

23:29 orivej has joined #racket

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

23:39 orivej_ has joined #racket

23:42 efm has quit [Read error: Connection reset by peer]

23:45 efm has joined #racket

23:46 TCZ has quit [Ping timeout: 244 seconds]

23:49 efm has quit [Ping timeout: 246 seconds]

23:57 FreeFull has quit []

23:58 orivej_ has quit [Quit: No Ping reply in 180 seconds.]

23:58 FreeFull has joined #racket