#racket on 2021-05-11 — irc logs at freenode.irclog.whitequark.org

2021-05-01 07:25 dzoe changed the topic of #racket to: Racket :: Next meetup - today/tonight Sat, 1 May 2021 UTC at 20:00 https://gather.town/app/wH1EDG3McffLjrs0/racket-users | https://racket-lang.org | https://pkgs.racket-lang.org | Paste at http://pasterack.org | This is the right place to ask for help with (Dr)Racket. Remember to wait around for an answer! | https://racket-news.com/

00:07 evdubs_ has joined #racket

00:10 evdubs__ has quit [Ping timeout: 268 seconds]

00:12 rj has quit [Quit: rj]

00:13 cobax has joined #racket

00:15 badkins has joined #racket

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

00:16 badkins_ has joined #racket

00:19 c2f0 has quit [Ping timeout: 246 seconds]

00:19 nebunez has joined #racket

00:31 evdubs__ has joined #racket

00:33 evdubs_ has quit [Ping timeout: 240 seconds]

00:42 caente has quit [Remote host closed the connection]

00:43 Codaraxis_ has joined #racket

00:44 caente has joined #racket

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

00:47 Codaraxis has quit [Ping timeout: 246 seconds]

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

01:16 countvajhula has joined #racket

01:24 countvajhula has quit [Ping timeout: 245 seconds]

01:35 undvrainbowvita8 has joined #racket

01:47 evdubs_ has joined #racket

01:48 nebunez has quit [Ping timeout: 252 seconds]

01:50 evdubs__ has quit [Ping timeout: 260 seconds]

02:55 phillbush has quit [Quit: Leaving]

03:01 evdubs__ has joined #racket

03:04 evdubs_ has quit [Ping timeout: 240 seconds]

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

04:05 caente has quit [Ping timeout: 265 seconds]

04:38 narimiran has joined #racket

05:06 aeth has quit [Ping timeout: 260 seconds]

05:08 aeth has joined #racket

05:20 kaytwo has quit []

05:26 cantstanya has quit [Remote host closed the connection]

05:27 cantstanya has joined #racket

05:28 DGASAU has quit [Remote host closed the connection]

05:28 endformationage has quit [Ping timeout: 252 seconds]

05:29 endformationage has joined #racket

05:47 badkins has joined #racket

05:51 endformationage has quit [Quit: WeeChat 2.9]

05:52 badkins has quit [Ping timeout: 240 seconds]

05:53 evdubs_ has joined #racket

05:53 rgherdt has joined #racket

05:55 ridik has joined #racket

05:56 evdubs__ has quit [Ping timeout: 240 seconds]

06:17 drakonis has joined #racket

06:31 orivej has joined #racket

06:39 yoctocell has joined #racket

06:40 yoctocell has left #racket [#racket]

06:56 Lowl3v3l has joined #racket

06:58 undvrainbowvita8 has quit [Remote host closed the connection]

07:00 irc_user has joined #racket

07:20 undvrainbowvita8 has joined #racket

07:22 Sgeo has quit [Read error: Connection reset by peer]

07:50 orivej has quit [Ping timeout: 252 seconds]

07:58 c2f0 has joined #racket

08:04 badkins has joined #racket

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

08:36 winny has quit [Ping timeout: 246 seconds]

08:44 winny has joined #racket

09:07 cobax has quit [Quit: Connection closed]

09:26 libertyprime has quit [Read error: Connection reset by peer]

09:40 irc_user has quit [Quit: Connection closed for inactivity]

09:54 c2f00 has joined #racket

09:56 c2f0 has quit [Ping timeout: 240 seconds]

10:05 badkins has joined #racket

10:09 cobax has joined #racket

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

10:36 libertyprime has joined #racket

10:41 c2f0 has joined #racket

10:43 c2f00 has quit [Ping timeout: 260 seconds]

11:06 deeglaze has quit [Remote host closed the connection]

11:11 c2f00 has joined #racket

11:14 c2f0 has quit [Ping timeout: 260 seconds]

11:17 niflce has joined #racket

11:21 badkins has joined #racket

11:24 c2f0 has joined #racket

11:25 c2f00 has quit [Ping timeout: 260 seconds]

11:26 badkins has quit [Ping timeout: 252 seconds]

11:26 caente has joined #racket

11:27 eMBee has joined #racket

11:29 badkins has joined #racket

11:34 badkins has quit [Ping timeout: 252 seconds]

11:35 badkins has joined #racket

11:37 orivej has joined #racket

11:40 badkins has quit [Ping timeout: 246 seconds]

11:46 phillbush has joined #racket

11:49 notzmv has quit [Ping timeout: 252 seconds]

11:55 c2f00 has joined #racket

11:57 c2f0 has quit [Ping timeout: 246 seconds]

12:07 c2f0 has joined #racket

12:09 c2f00 has quit [Ping timeout: 260 seconds]

12:10 badkins has joined #racket

12:20 badkins has quit [Ping timeout: 252 seconds]

12:22 badkins has joined #racket

12:26 richbridger has joined #racket

12:28 ridik_ has joined #racket

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

12:31 ridik has quit [Ping timeout: 246 seconds]

12:36 c2f00 has joined #racket

12:39 c2f0 has quit [Ping timeout: 265 seconds]

12:40 c2f0 has joined #racket

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

12:50 badkins has joined #racket

13:01 dbohdan has joined #racket

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

13:08 notzmv has joined #racket

13:08 notzmv is now known as Guest84063

13:11 badkins has joined #racket

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

13:15 badkins has joined #racket

13:19 Guest84063 is now known as ntzmv

13:20 ntzmv is now known as notzmv

13:27 orivej has quit [Ping timeout: 265 seconds]

13:49 narimiran has quit [Ping timeout: 260 seconds]

14:11 nebunez has joined #racket

14:12 niflce has quit [Ping timeout: 246 seconds]

14:29 Sgeo has joined #racket

14:41 m1dnight1 is now known as m1dnight_

14:58 Steeve has joined #racket

15:03 endformationage has joined #racket

15:22 nebunez has quit [Ping timeout: 252 seconds]

15:23 nebunez has joined #racket

15:25 orivej has joined #racket

15:26 niflce has joined #racket

15:30 badkins has quit [Remote host closed the connection]

15:30 badkins has joined #racket

15:35 badkins has quit [Ping timeout: 252 seconds]

15:35 niflce has quit [Ping timeout: 268 seconds]

15:36 badkins has joined #racket

15:37 kaytwo has joined #racket

15:54 catern has joined #racket

15:54 nebunez has quit [Ping timeout: 265 seconds]

15:55 nebunez has joined #racket

15:59 <catern> I thought I recalled that one known technique for adding static type checking to a dynamic system like Lisp, was to do it through staging; static type checks become dynamic type checks in a staged code generator. Anyone have any papers/good examples of this in action?

16:02 c2f00 has joined #racket

16:04 c2f0 has quit [Ping timeout: 240 seconds]

16:11 <kaytwo> is it possible to make the racket-mode repl reset its font-lock-mode after a point where it gets confused?

16:11 <drakonis> https://github.com/zyrolasting/xiden the things you can look up when bored

16:23 niflce has joined #racket

16:36 niflce has quit [Remote host closed the connection]

16:44 niflce has joined #racket

16:47 nebunez has quit [Ping timeout: 240 seconds]

16:48 nebunez has joined #racket

16:53 nebunez has quit [Ping timeout: 240 seconds]

16:55 nebunez has joined #racket

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

17:09 badkins has joined #racket

17:11 cobax has quit [Quit: Connection closed]

17:13 badkins has quit [Ping timeout: 252 seconds]

17:28 niflce has quit [Ping timeout: 240 seconds]

17:29 niflce has joined #racket

17:33 badkins has joined #racket

17:44 notzmv has quit [Ping timeout: 240 seconds]

17:56 badkins has quit []

18:00 niflce has quit [Remote host closed the connection]

18:01 niflce has joined #racket

18:09 niflce has quit [Ping timeout: 252 seconds]

18:13 nebunez has quit [Ping timeout: 246 seconds]

18:14 nebunez has joined #racket

18:25 nebunez has quit [Ping timeout: 268 seconds]

18:25 nebunez has joined #racket

18:26 notzmv has joined #racket

18:40 aeth has quit [Ping timeout: 240 seconds]

18:42 aeth has joined #racket

18:45 notzmv has quit [Ping timeout: 260 seconds]

18:46 narimiran has joined #racket

18:50 notzmv has joined #racket

18:50 srandon111 has joined #racket

18:51 srandon111 has left #racket [#racket]

19:05 Noisytoot is now known as Sigyn

19:05 Sigyn is now known as Noisytoot

19:07 jmiven has quit [Quit: bye]

19:08 jmiven has joined #racket

19:15 niflce has joined #racket

19:15 lavaflow has joined #racket

19:25 nebunez has quit [Ping timeout: 252 seconds]

19:26 nebunez has joined #racket

19:33 nebunez has quit [Ping timeout: 240 seconds]

19:34 nebunez has joined #racket

19:40 dustyweb has quit [Remote host closed the connection]

19:50 aidalgol has quit [Ping timeout: 246 seconds]

19:51 nebunez has quit [Ping timeout: 252 seconds]

19:52 aidalgol has joined #racket

19:55 Steeve has quit [Ping timeout: 246 seconds]

19:57 narimiran has quit [Ping timeout: 268 seconds]

19:57 phoe has left #racket [#racket]

20:04 tonyg has quit [Ping timeout: 245 seconds]

20:06 rubic88 has quit [Ping timeout: 245 seconds]

20:07 rubic88 has joined #racket

20:09 catern has quit [*.net *.split]

20:09 jcowan has quit [*.net *.split]

20:09 JJJollyjim has quit [*.net *.split]

20:12 notzmv has quit [Ping timeout: 240 seconds]

20:13 catern has joined #racket

20:13 jcowan has joined #racket

20:13 JJJollyjim has joined #racket

20:13 catern has quit [Max SendQ exceeded]

20:16 yurb has quit [Ping timeout: 246 seconds]

20:17 biotim has quit [Ping timeout: 245 seconds]

20:17 pmatos[m]1 has quit [Ping timeout: 245 seconds]

20:18 JJJollyjim has quit [Ping timeout: 276 seconds]

20:21 ormaaj[m] has quit [Ping timeout: 248 seconds]

20:35 ridik_ has quit [Read error: Connection reset by peer]

20:42 pmatos[m]1 has joined #racket

20:52 yurb has joined #racket

20:52 psilotor_ has joined #racket

20:57 pmatos[m]1 has quit [Ping timeout: 245 seconds]

21:02 yurb has quit [Ping timeout: 245 seconds]

21:16 biotim has joined #racket

21:16 JJJollyjim has joined #racket

21:23 pmatos[m]1 has joined #racket

21:28 yurb has joined #racket

21:32 rj has joined #racket

21:33 rgherdt has quit [Ping timeout: 246 seconds]

21:38 niflce has quit [Ping timeout: 240 seconds]

21:49 c2f0 has joined #racket

21:51 c2f00 has quit [Ping timeout: 260 seconds]

21:52 rj has quit [Ping timeout: 240 seconds]

21:59 rj has joined #racket

22:16 notzmv has joined #racket

22:24 aeth has quit [Ping timeout: 252 seconds]

22:26 aeth has joined #racket

22:36 rj has quit [Ping timeout: 240 seconds]

22:37 orivej has quit [Ping timeout: 260 seconds]

22:42 rj has joined #racket

23:04 rj has quit [Quit: rj]

23:16 c2f0 has quit [Ping timeout: 246 seconds]

23:32 libertyprime has quit [Remote host closed the connection]

23:42 evdubs__ has joined #racket

23:44 evdubs_ has quit [Ping timeout: 260 seconds]

23:46 phillbush has quit [Quit: Leaving]

23:57 psilotor_ has quit [Remote host closed the connection]

23:59 phillbush has joined #racket