#racket on 2020-07-14 — 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

01:35 _whitelogger has joined #racket

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

01:38 badkins has joined #racket

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

01:42 badkins has joined #racket

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

01:48 aaaaaa has quit [Quit: leaving]

02:27 aaaaaa has joined #racket

02:37 nikita_ has joined #racket

02:40 nikita` has quit [Ping timeout: 272 seconds]

02:48 SYMINAL has quit [Quit: SYMINAL]

03:14 johnjay has joined #racket

03:43 badkins has joined #racket

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

04:04 cantstanya has quit [Remote host closed the connection]

04:05 cantstanya has joined #racket

04:09 orivej has joined #racket

04:10 YuGiOhJCJ has joined #racket

05:03 libertyprime has joined #racket

05:09 endformationage has quit [Quit: WeeChat 2.7.1]

05:13 narimiran has joined #racket

05:28 bocaneri has joined #racket

05:44 badkins has joined #racket

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

06:01 <libertyprime> hey guys. i've noticed there are two LSP projects out there. there is https://github.com/theia-ide/racket-language-server and https://github.com/jeapostrophe/racket-langserver

06:02 jellie has joined #racket

06:02 <libertyprime> The former project appears to have had activity around 2 years ago and the latter had most of its activity during 3 to 2 years ago, with some development in the last month

06:03 <libertyprime> the former appears to support signatureHelpProvider where the latter does not. having types appear as i'm coding is something i would find very useful. does anyone have an opinion on these two projects

06:05 <libertyprime> i now wonder if a language server proxy/combiner exists out there

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

06:24 jellie has joined #racket

06:35 jellie has quit [Ping timeout: 256 seconds]

06:39 jellie has joined #racket

06:43 SYMINAL has joined #racket

06:43 SYMINAL has quit [Remote host closed the connection]

06:50 jellie has quit [Ping timeout: 258 seconds]

06:58 jellie has joined #racket

07:02 jellie has quit [Ping timeout: 240 seconds]

07:04 nebunez has quit [Ping timeout: 272 seconds]

07:04 jellie has joined #racket

07:06 lockywolf has joined #racket

07:07 lockywolf has quit [Max SendQ exceeded]

07:08 lockywolf has joined #racket

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

07:09 lockywolf has quit [Max SendQ exceeded]

07:10 lockywolf has joined #racket

07:11 lockywolf has quit [Max SendQ exceeded]

07:13 aaaaaa has quit [Ping timeout: 264 seconds]

07:32 jellie has joined #racket

07:36 jellie has quit [Ping timeout: 260 seconds]

07:44 jellie has joined #racket

07:48 Guest57659 is now known as poga

07:48 jellie has quit [Ping timeout: 240 seconds]

07:55 jellie has joined #racket

08:19 Sgeo has quit [Read error: Connection reset by peer]

08:48 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

09:15 camelCaser has quit [Ping timeout: 265 seconds]

09:17 camelCaser has joined #racket

09:45 badkins has joined #racket

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

10:21 zenspider has quit [Ping timeout: 256 seconds]

10:22 zenspider has joined #racket

10:23 bchar has quit [Ping timeout: 244 seconds]

10:23 bchar has joined #racket

10:53 epony has quit [Quit: reconfigure-now]

10:53 epony has joined #racket

11:03 jellie has quit [Ping timeout: 256 seconds]

11:11 nikita_ is now known as nikita`

11:27 nikita` has quit [Ping timeout: 272 seconds]

11:35 mbrndtgn has quit [Quit: The Lounge - https://thelounge.chat]

11:36 mbrndtgn has joined #racket

11:38 jellie has joined #racket

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

11:47 badkins has joined #racket

11:51 badkins has quit [Ping timeout: 240 seconds]

12:11 Lowl3v3l has quit [Remote host closed the connection]

12:12 Lowl3v3l has joined #racket

12:13 Lowl3v3l has quit [Remote host closed the connection]

12:13 Lowl3v3l has joined #racket

12:26 libertyprime has quit [Quit: leaving]

12:42 jellie has joined #racket

13:25 lockywolf has joined #racket

13:27 lockywolf has quit [Read error: Connection reset by peer]

13:38 pilne has joined #racket

13:45 catonano has quit [Ping timeout: 246 seconds]

13:47 badkins has joined #racket

13:52 badkins has quit [Ping timeout: 258 seconds]

13:53 catonano has joined #racket

13:54 lucifer_h has joined #racket

13:56 ski has quit [Killed (Sigyn (Stay safe off irc))]

14:00 zv has quit [Ping timeout: 246 seconds]

14:06 zv has joined #racket

14:10 ski has joined #racket

14:17 narimiran has quit [Ping timeout: 240 seconds]

14:17 badkins has joined #racket

14:36 dataangel has quit [Ping timeout: 264 seconds]

15:40 Sgeo has joined #racket

15:44 nebunez has joined #racket

15:45 nikita` has joined #racket

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

15:57 badkins has joined #racket

16:01 TCZ has joined #racket

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

16:02 dataangel has joined #racket

16:11 badkins has joined #racket

16:14 dustyweb has quit [Read error: Connection reset by peer]

16:15 dustyweb has joined #racket

16:53 endformationage has joined #racket

17:18 jellie has quit [Ping timeout: 260 seconds]

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

17:26 badkins has joined #racket

17:31 nebunez has quit [Remote host closed the connection]

17:31 badkins has quit [Ping timeout: 272 seconds]

17:49 countvajhula has joined #racket

17:49 jellie has joined #racket

17:54 srji has quit [Ping timeout: 240 seconds]

17:58 TCZ has quit [Quit: Leaving]

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

18:02 badkins has joined #racket

18:03 iyzsong has joined #racket

18:03 jellie has quit [Ping timeout: 260 seconds]

18:05 jellie has joined #racket

19:20 _whitelogger has joined #racket

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

19:27 badkins has joined #racket

19:34 badkins has quit [Ping timeout: 240 seconds]

19:35 badkins has joined #racket

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

19:39 badkins has joined #racket

19:51 jellie has quit [Quit: WeeChat 2.8]

20:01 narimiran has joined #racket

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

20:04 badkins has joined #racket

20:08 TCZ has joined #racket

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

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

20:12 orivej has joined #racket

20:15 TCZ has quit [Quit: Leaving]

20:19 badkins has joined #racket

20:28 orivej has quit [Ping timeout: 246 seconds]

20:29 orivej has joined #racket

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

20:34 badkins has joined #racket

20:37 orivej has quit [Ping timeout: 256 seconds]

20:37 orivej_ has joined #racket

20:38 badkins has quit [Ping timeout: 240 seconds]

20:42 vraid has joined #racket

20:49 orivej has joined #racket

20:50 orivej_ has quit [Ping timeout: 264 seconds]

21:01 casaca has quit [Excess Flood]

21:01 casaca has joined #racket

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

21:06 casaca has quit [Max SendQ exceeded]

21:06 casaca has joined #racket

21:08 countvajhula has quit [Ping timeout: 260 seconds]

21:11 vraid has quit [Disconnected by services]

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

21:13 orivej has joined #racket

21:15 nikita` has quit [Quit: leaving]

21:24 notzmv has quit [Ping timeout: 256 seconds]

21:25 acarrico has quit [Ping timeout: 260 seconds]

21:27 countvajhula has joined #racket

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

21:32 orivej has joined #racket

21:34 TCZ has joined #racket

21:36 selimcan has joined #racket

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

21:45 orivej has joined #racket

21:48 TCZ has quit [Quit: Leaving]

21:50 acarrico has joined #racket

22:13 orivej_ has joined #racket

22:13 orivej has quit [Ping timeout: 272 seconds]

22:20 orivej_ has quit [Quit: No Ping reply in 180 seconds.]

22:21 orivej has joined #racket

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

22:29 orivej has joined #racket

22:35 badkins has joined #racket

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

22:52 orivej_ has joined #racket

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

23:05 orivej_ has quit [Read error: Connection reset by peer]

23:06 orivej has joined #racket

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

23:28 orivej has joined #racket

23:32 notzmv has joined #racket

23:36 orivej has quit [Ping timeout: 246 seconds]

23:37 orivej has joined #racket

23:50 badkins has joined #racket

23:52 orivej has quit [Ping timeout: 246 seconds]

23:54 orivej has joined #racket