#racket on 2021-01-21 — irc logs at freenode.irclog.whitequark.org

2021-01-03 04:01 samth changed the topic of #racket to: Racket v7.9 has been released: https://blog.racket-lang.org/2020/11/racket-v7-9.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

00:04 juanfra has quit [Ping timeout: 256 seconds]

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

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

00:31 badkins has joined #racket

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

00:33 badkins has joined #racket

00:37 Lowl3v3l has quit [Ping timeout: 272 seconds]

00:50 Lowl3v3l has joined #racket

01:11 tilpner_ has joined #racket

01:14 tilpner has quit [Ping timeout: 265 seconds]

01:14 tilpner_ is now known as tilpner

01:16 nullman has joined #racket

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

01:46 dbmikus has quit [Ping timeout: 240 seconds]

01:49 badkins has joined #racket

01:51 mirrorbird has quit [Quit: Leaving]

02:03 dbmikus has joined #racket

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

02:08 dbmikus has joined #racket

02:18 dbmikus has quit [Quit: WeeChat 3.0]

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

02:34 badkins has joined #racket

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

02:36 badkins has joined #racket

03:11 phillbush has quit [Remote host closed the connection]

03:26 blankhart has joined #racket

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

03:41 casaca has quit [Remote host closed the connection]

03:42 aspr has joined #racket

03:55 casaca has joined #racket

04:01 orivej has joined #racket

04:16 rj_ has quit [Ping timeout: 246 seconds]

04:18 bitmapper has quit [Quit: Connection closed for inactivity]

04:19 caente has quit [Ping timeout: 246 seconds]

04:36 rj_ has joined #racket

04:53 rj_ has quit [Ping timeout: 256 seconds]

04:54 rj_ has joined #racket

05:04 rj_ has quit [Ping timeout: 240 seconds]

05:05 aeth has quit [Ping timeout: 264 seconds]

05:07 aeth has joined #racket

05:13 blankhart has quit [Quit: WeeChat 2.8]

05:17 sagax has joined #racket

05:19 badkins has joined #racket

05:24 badkins has quit [Ping timeout: 256 seconds]

05:34 endformationage has quit [Ping timeout: 240 seconds]

06:12 orivej has quit [Ping timeout: 265 seconds]

06:12 orivej has joined #racket

06:35 Sgeo has quit [Read error: Connection reset by peer]

06:50 andreyorst` has joined #racket

06:50 andreyorst` has quit [Remote host closed the connection]

06:54 andreyorst` has joined #racket

07:06 narimiran has joined #racket

07:08 rgherdt has joined #racket

07:11 orivej has quit [Ping timeout: 256 seconds]

07:20 badkins has joined #racket

07:25 badkins has quit [Ping timeout: 256 seconds]

07:37 orivej has joined #racket

07:58 nperez has quit [Remote host closed the connection]

08:03 orivej has quit [Ping timeout: 264 seconds]

08:06 nullman has quit [Ping timeout: 240 seconds]

08:28 rgherdt has quit [Remote host closed the connection]

08:28 rgherdt has joined #racket

09:21 badkins has joined #racket

09:25 orivej has joined #racket

09:26 badkins has quit [Ping timeout: 264 seconds]

10:22 Urchin[emacs] has joined #racket

11:22 badkins has joined #racket

11:27 badkins has quit [Ping timeout: 256 seconds]

11:49 nperez has joined #racket

12:28 badkins has joined #racket

12:32 badkins has quit [Ping timeout: 246 seconds]

12:37 caente has joined #racket

13:27 rj_ has joined #racket

13:29 Sgeo has joined #racket

14:22 badkins has joined #racket

14:34 kawzeg has quit [Remote host closed the connection]

14:34 kawzeg has joined #racket

14:59 nullman has joined #racket

14:59 sm2n_ has quit [Read error: Connection reset by peer]

15:00 sm2n_ has joined #racket

15:08 bitmapper has joined #racket

15:19 yurb has quit [Quit: Bridge terminating on SIGTERM]

15:19 haskal has quit [Quit: Bridge terminating on SIGTERM]

15:19 BitPuffin has quit [Quit: Bridge terminating on SIGTERM]

15:19 willghatch has quit [Quit: Bridge terminating on SIGTERM]

15:20 deselby has quit [Quit: Bridge terminating on SIGTERM]

15:20 peddie has quit [Quit: Bridge terminating on SIGTERM]

15:20 Codaraxis__ has quit [Remote host closed the connection]

15:20 Codaraxis__ has joined #racket

15:30 peddie has joined #racket

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

15:39 badkins has joined #racket

15:44 badkins has quit [Ping timeout: 264 seconds]

15:48 badkins has joined #racket

15:51 BitPuffin has joined #racket

15:51 haskal has joined #racket

15:51 deselby has joined #racket

15:51 yurb has joined #racket

15:51 willghatch has joined #racket

15:58 orivej has quit [Ping timeout: 265 seconds]

16:03 aeth_ has joined #racket

16:03 aeth has quit [Disconnected by services]

16:03 aeth_ is now known as aeth

16:27 andreyorst` has quit [Quit: andreyorst`]

16:30 Codaraxis_ has joined #racket

16:30 Codaraxis__ has quit [Read error: Connection reset by peer]

16:30 Sgeo_ has joined #racket

16:33 Sgeo has quit [Ping timeout: 256 seconds]

16:50 gproto23 has joined #racket

16:51 gproto23 has quit [Client Quit]

16:57 orivej has joined #racket

17:07 phillbush has joined #racket

17:07 endformationage has joined #racket

17:11 nullcone has quit [Quit: Connection closed for inactivity]

17:39 nullcone has joined #racket

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

17:54 badkins has joined #racket

18:00 badkins has quit [Ping timeout: 260 seconds]

18:11 badkins has joined #racket

18:34 phillbush has quit [Quit: Leaving]

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

18:50 <dzoe> samth: Wow, it actually helped - I am glad there's (although just small) possible improvement to TR based on my experiments. Thanks for going through all the examples!

18:50 <samth> dzoe: there is also some advice that I think will help with further use of TR

18:52 <dzoe> samth: Yes - I completely overlooked `ann' for example :) As I clearly stated at the beginning, my exprience with TR is very limited - or more likely "was", now it is better and although I do not plan on using TR everywhere, for certain tasks it is awesome tool!

18:54 <dzoe> I've got some ideas to work on "automatically suggesting exceptions" where #f (or some other placeholder value) is used and then never actually checked for.

18:55 <dzoe> This is something that TR uncovered by static analysis - otherwise it (as expected) resulted in very improbable (but sometimes happening) runtime errors.

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

19:01 caente has joined #racket

19:07 badkins has joined #racket

19:11 phillbush has joined #racket

19:14 caente has quit [Read error: Connection reset by peer]

19:14 caente has joined #racket

19:15 caente has quit [Client Quit]

19:28 ncl3 has quit [*.net *.split]

19:28 ncl3_ has joined #racket

19:44 tgbugs has joined #racket

20:06 aspr has quit [Ping timeout: 264 seconds]

20:12 Sgeo__ has joined #racket

20:14 rj_ has quit [Ping timeout: 256 seconds]

20:15 rj_ has joined #racket

20:15 Sgeo_ has quit [Ping timeout: 256 seconds]

20:19 Urchin[emacs] has quit [Ping timeout: 240 seconds]

20:58 juanfra has joined #racket

21:12 aeth has quit [Ping timeout: 240 seconds]

21:14 aeth has joined #racket

21:26 ente has quit [Ping timeout: 246 seconds]

21:30 mirrorbird has joined #racket

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

21:35 badkins has joined #racket

21:43 narimiran has quit [Ping timeout: 260 seconds]

21:56 ente has joined #racket

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

22:21 badkins has joined #racket

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

22:51 rgherdt has quit [Ping timeout: 256 seconds]

23:04 dustyweb has quit [Quit: ERC (IRC client for Emacs 27.1)]

23:05 aeth has quit [Ping timeout: 265 seconds]

23:07 aeth has joined #racket

23:13 aquijoule_ has quit [Remote host closed the connection]

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

23:47 dustyweb has joined #racket