#racket on 2022-10-02 — irc logs at libera.irclog.whitequark.org

2022-05-25 08:19 tonyg changed the topic of #racket to: The Racket Programming Language -- https://racket-lang.org/ -- https://gather.town/app/wH1EDG3McffLjrs0/racket-users -- http://pasterack.org -- logged at https://libera.irclog.whitequark.org/racket/ -- This is the right place to ask for help with (Dr)Racket. Remember to wait around for an answer!

00:05 pounce has quit [Ping timeout: 268 seconds]

00:07 ur5us has quit [Ping timeout: 244 seconds]

00:13 ur5us has joined #racket

00:15 notzmv has quit [Ping timeout: 244 seconds]

00:24 pounce has joined #racket

00:31 monkey_ has joined #racket

00:37 ur5us has quit [Ping timeout: 244 seconds]

00:40 ur5us has joined #racket

00:54 morte_ has joined #racket

01:02 morte_ has quit [Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)]

01:19 notzmv has joined #racket

01:29 badkins has joined #racket

01:33 badkins has quit [Ping timeout: 244 seconds]

01:35 jao has quit [Remote host closed the connection]

01:36 jao has joined #racket

01:43 badkins has joined #racket

01:47 badkins has quit [Ping timeout: 265 seconds]

01:49 xgqt has quit [Ping timeout: 244 seconds]

01:52 morte_ has joined #racket

02:11 ur5us has quit [Ping timeout: 244 seconds]

02:24 badkins has joined #racket

02:26 xgqt has joined #racket

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

02:46 morte_ has quit [Read error: Connection reset by peer]

02:46 monkey_ has quit [Remote host closed the connection]

02:53 terrorjack has quit [Quit: The Lounge - https://thelounge.chat]

02:55 terrorjack has joined #racket

03:13 xgqt has quit [Ping timeout: 268 seconds]

03:28 ur5us has joined #racket

03:29 xgqt has joined #racket

03:35 hrberg has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

04:15 codaraxis__ has joined #racket

04:19 codaraxis has quit [Ping timeout: 265 seconds]

05:58 badkins has joined #racket

06:04 badkins has quit [Remote host closed the connection]

06:14 jao has quit [Ping timeout: 252 seconds]

06:47 ur5us has quit [Ping timeout: 244 seconds]

08:23 TCZ has joined #racket

08:23 TCZ has quit [Quit: https://github.com/srgx]

08:23 TCZ has joined #racket

08:26 ur5us has joined #racket

08:44 skapata has quit [Remote host closed the connection]

09:24 ur5us has quit [Ping timeout: 248 seconds]

09:25 szkl has quit [Quit: Connection closed for inactivity]

10:26 simendsjo has joined #racket

10:37 FreeFull has joined #racket

11:13 TCZ has quit [K-Lined]

11:20 xgqt has quit [Ping timeout: 265 seconds]

11:20 xgqt has joined #racket

11:31 simendsjo has quit [Ping timeout: 264 seconds]

14:02 jao has joined #racket

14:13 badkins has joined #racket

14:18 badkins has quit [Ping timeout: 265 seconds]

14:33 badkins has joined #racket

14:37 badkins has quit [Ping timeout: 260 seconds]

14:40 badkins has joined #racket

14:58 rekahsoft has joined #racket

14:58 rekahsoft has quit [Remote host closed the connection]

15:03 rekahsoft has joined #racket

16:20 skapata has joined #racket

16:26 badkins has quit [Remote host closed the connection]

16:28 badkins has joined #racket

16:31 FreeFull has quit [Ping timeout: 265 seconds]

16:32 FreeFull has joined #racket

16:32 skapata has quit [Remote host closed the connection]

16:33 badkins has quit [Ping timeout: 260 seconds]

16:43 FreeFull has quit [Ping timeout: 268 seconds]

16:57 rekahsoft has quit [Ping timeout: 268 seconds]

17:04 wwalker has quit [Quit: leaving]

17:04 wwalker has joined #racket

17:42 jao has quit [Ping timeout: 252 seconds]

17:43 jao has joined #racket

18:00 skapata has joined #racket

18:12 msiism has joined #racket

18:13 <msiism> If the type of v1 and v2 in (equal? v1 v2) would allow for using eq?, will the compiler make this optimization?

18:21 badkins has joined #racket

18:25 badkins has quit [Ping timeout: 265 seconds]

18:34 gnomon has quit [Read error: Connection reset by peer]

18:45 <bremner> msiism: in general the compiler can't know the types of v1 and v2 for certain, but a speculative optimization by the JIT would make sense

18:53 <msiism> I see.

19:03 badkins has joined #racket

19:35 monkey_ has joined #racket

19:43 sagax has quit [Remote host closed the connection]

19:56 sagax has joined #racket

20:00 codaraxis___ has joined #racket

20:04 codaraxis__ has quit [Ping timeout: 265 seconds]

20:12 ur5us has joined #racket

20:29 msiism has left #racket [Konversation vaporized.]

20:30 gnomon has joined #racket

20:31 gnomon has quit [Client Quit]

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

20:50 badkins has joined #racket

20:52 gnomon has joined #racket

21:00 monkey_ has quit [Remote host closed the connection]

21:05 monkey_ has joined #racket

21:39 monkey_ has quit [Ping timeout: 252 seconds]

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

23:32 badkins has joined #racket

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

23:55 badkins has joined #racket