#racket on 2021-04-30 — irc logs at freenode.irclog.whitequark.org

2021-04-02 07:28 dzoe changed the topic of #racket to: Racket :: Racket v8.0 has been released: https://blog.racket-lang.org/2021/02/racket-v8-0.html | 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/ | Next meetup - Sat, 3 Apr 2021 UTC at 20:00 https://gather.town/app/wH1EDG3McffL

00:41 rj has quit [Ping timeout: 240 seconds]

01:15 badkins has joined #racket

01:27 badkins has quit [Ping timeout: 252 seconds]

01:28 YuGiOhJCJ has joined #racket

01:31 aquijoule_ has joined #racket

01:33 richbridger has quit [Ping timeout: 265 seconds]

01:40 <astronavt> thanks NieDzejkob

01:42 <astronavt> did refinement types never catch on in typed racket? there was a blog post about them being added (experimentally) in 2017 https://blog.racket-lang.org/2017/11/adding-refinement-types.html

01:43 <astronavt> looks like they are still in the experimental feature set https://docs.racket-lang.org/ts-reference/Experimental_Features.html

01:43 <astronavt> ill have to dig into this... i have been playing with idris lately, dependent types are wild

01:53 phillbush has quit [Quit: Leaving]

01:56 phillbush has joined #racket

02:34 AkechiShiro has quit [Quit: WeeChat 2.9]

02:34 AkechiShiro has joined #racket

02:45 phillbush has quit [Quit: Leaving]

03:01 evdubs_ has joined #racket

03:04 evdubs has quit [Ping timeout: 260 seconds]

03:06 aeth has quit [Ping timeout: 265 seconds]

03:08 aeth has joined #racket

04:01 orivej has quit [Ping timeout: 240 seconds]

04:10 evdubs_ is now known as evdubs

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

04:42 andrei-n has joined #racket

04:43 endformationage has quit [Quit: WeeChat 2.9]

05:13 narimiran has joined #racket

05:18 notzmv has quit [Ping timeout: 252 seconds]

05:27 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

05:40 kaytwo has quit []

05:47 ridik has joined #racket

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

06:25 aeth has joined #racket

06:42 notzmv has joined #racket

07:04 notzmv has quit [Ping timeout: 252 seconds]

07:08 zzappie has joined #racket

07:11 zap1 has joined #racket

07:13 zzappie has quit [Ping timeout: 240 seconds]

07:25 badkins has joined #racket

07:29 zap1 is now known as zzappie

07:29 badkins has quit [Ping timeout: 246 seconds]

07:32 pmatos[m]1 has joined #racket

07:32 pmatos[m]1 has left #racket [#racket]

07:33 pmatos[m]1 has joined #racket

07:36 pmatos[m]1 has quit [Client Quit]

07:36 pmatos[m]1 has joined #racket

07:37 c2f0 has joined #racket

07:39 c2f00 has joined #racket

07:40 badkins has joined #racket

07:41 c2f0 has quit [Ping timeout: 252 seconds]

07:45 badkins has quit [Ping timeout: 252 seconds]

08:03 evdubs has quit [Read error: Connection reset by peer]

08:04 evdubs has joined #racket

08:12 evdubs_ has joined #racket

08:15 evdubs has quit [Ping timeout: 240 seconds]

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

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

09:13 notzmv has joined #racket

09:13 notzmv is now known as Guest72431

09:36 sz0 has quit [Quit: Connection closed for inactivity]

09:54 orivej has joined #racket

10:20 nperez has quit [Ping timeout: 276 seconds]

10:39 nperez has joined #racket

10:40 rgherdt has joined #racket

10:44 Guest72431 is now known as notzmv

11:11 notzmv has quit [Read error: Connection reset by peer]

11:14 notzmv has joined #racket

11:22 m1dnight__ has quit [Quit: WeeChat 2.4]

11:22 m1dnight_ has joined #racket

11:42 badkins has joined #racket

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

11:49 caente has joined #racket

12:33 phillbush has joined #racket

12:48 badkins has joined #racket

12:57 badkins has quit [Ping timeout: 240 seconds]

12:58 badkins has joined #racket

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

13:16 zgrep has quit [Quit: It's a quitter's world.]

13:18 zgrep has joined #racket

13:19 badkins has joined #racket

13:22 narimiran has quit [Remote host closed the connection]

13:23 narimiran has joined #racket

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

13:26 orivej has quit [Ping timeout: 240 seconds]

13:32 aeth has quit [Ping timeout: 268 seconds]

14:00 badkins has joined #racket

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

14:23 aeth has joined #racket

14:25 endformationage has joined #racket

14:37 badkins has joined #racket

14:42 badkins has quit [Ping timeout: 246 seconds]

15:11 badkins has joined #racket

15:14 Sgeo has joined #racket

15:21 badkins has quit [Ping timeout: 268 seconds]

15:29 casmajavi has joined #racket

15:30 aeth has quit [Ping timeout: 260 seconds]

15:32 aeth has joined #racket

15:35 badkins has joined #racket

16:09 aeth has quit [Quit: ...]

16:10 aeth has joined #racket

16:53 orivej has joined #racket

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

17:04 orivej has joined #racket

17:08 c2f00 has quit [Ping timeout: 248 seconds]

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

17:52 c2f00 has joined #racket

17:53 ridik has quit [Read error: Connection reset by peer]

17:56 irc_user has joined #racket

18:04 kaytwo has joined #racket

18:04 evdubs_ has quit [*.net *.split]

18:04 sagax has quit [*.net *.split]

18:04 sudden has quit [*.net *.split]

18:04 Ekho has quit [*.net *.split]

18:04 paddymahoney has quit [*.net *.split]

18:07 sagax has joined #racket

18:07 sudden has joined #racket

18:07 paddymahoney has joined #racket

18:07 evdubs_ has joined #racket

18:07 sagax has quit [Max SendQ exceeded]

18:09 srandon1112 has joined #racket

18:10 Ekho has joined #racket

18:11 andrei-n has quit [Quit: Leaving]

18:18 orivej has joined #racket

18:19 rj has joined #racket

18:31 <kaytwo> is there a built-in/standard way to convert integer->integer-bytes for widths > 8?

18:36 kaytwo has quit [Ping timeout: 276 seconds]

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

18:37 badkins has joined #racket

18:42 kaytwo has joined #racket

18:44 dataangel has joined #racket

18:45 badkins has quit [Ping timeout: 252 seconds]

18:57 badkins has joined #racket

19:03 evdubs_ is now known as evdubs

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

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

19:07 ohama has quit [Ping timeout: 260 seconds]

19:09 orivej has joined #racket

19:09 ohama has joined #racket

19:15 TCZ has joined #racket

19:22 badkins has joined #racket

19:23 kaytwo has quit [Ping timeout: 276 seconds]

19:25 nperez has quit [Ping timeout: 260 seconds]

19:27 casmajavi has quit [Quit: Connection closed]

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

19:27 badkins_ has joined #racket

19:45 nperez has joined #racket

20:00 kaytwo has joined #racket

20:00 TCZ is now known as figurine

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

20:05 aeth has joined #racket

20:13 orivej has quit [Ping timeout: 240 seconds]

20:56 irc_user has quit [Quit: Connection closed for inactivity]

21:08 narimiran has quit [Quit: leaving]

21:51 figurine has quit [Quit: ...]

22:29 nperez has quit [Ping timeout: 265 seconds]

22:49 nperez has joined #racket

22:52 badkins_ has quit [Remote host closed the connection]

22:57 badkins has joined #racket

23:03 badkins has quit [Ping timeout: 252 seconds]

23:16 c2f0 has joined #racket

23:18 c2f00 has quit [Ping timeout: 248 seconds]

23:21 c2f00 has joined #racket

23:24 c2f0 has quit [Ping timeout: 240 seconds]

23:25 badkins has joined #racket

23:27 GreaseMonkey has joined #racket

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

23:41 c2f00 has quit [Ping timeout: 252 seconds]

23:43 orivej has joined #racket