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

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

00:07 badkins has joined #racket

00:12 badkins has quit [Ping timeout: 250 seconds]

00:38 ur5us has joined #racket

00:45 mon_aaraj has quit [Ping timeout: 250 seconds]

00:46 badkins has joined #racket

00:46 ur5us has quit [Quit: Leaving]

00:47 mon_aaraj has joined #racket

00:50 ur5us has joined #racket

01:11 mon_aaraj has quit [Ping timeout: 240 seconds]

01:13 mon_aaraj has joined #racket

01:15 capfredf has joined #racket

01:19 capfredf has quit [Ping timeout: 256 seconds]

01:22 Fare has quit [Ping timeout: 256 seconds]

01:43 mon_aaraj has quit [Ping timeout: 240 seconds]

01:47 mon_aaraj has joined #racket

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

01:51 s-liao has joined #racket

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

01:58 badkins has joined #racket

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

02:29 Guest3959 has quit [Quit: QUIT]

02:34 epony has joined #racket

03:53 johnjaye has joined #racket

04:15 mon_aaraj has quit [Remote host closed the connection]

04:15 mon_aaraj has joined #racket

04:20 mon_aaraj has quit [Ping timeout: 240 seconds]

04:22 mon_aaraj has joined #racket

04:30 capfredf has joined #racket

04:30 mon_aaraj has quit [Ping timeout: 256 seconds]

04:35 capfredf has quit [Ping timeout: 240 seconds]

04:37 mon_aaraj has joined #racket

04:44 ur5us has quit [Ping timeout: 240 seconds]

05:03 mon_aaraj has quit [Ping timeout: 240 seconds]

05:05 mon_aaraj has joined #racket

05:31 s-liao has quit [Ping timeout: 256 seconds]

05:37 s-liao has joined #racket

05:47 notzmv has quit [Ping timeout: 250 seconds]

05:49 badkins has joined #racket

05:50 badkins has quit [Remote host closed the connection]

05:50 badkins has joined #racket

05:59 s-liao has quit [Ping timeout: 256 seconds]

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

06:04 notzmv has joined #racket

06:04 badkins_ has joined #racket

06:10 badkins_ has quit [Remote host closed the connection]

06:11 badkins has joined #racket

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

06:17 mon_aaraj has quit [Ping timeout: 256 seconds]

06:18 badkins has joined #racket

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

06:24 badkins has joined #racket

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

06:30 badkins has joined #racket

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

06:37 badkins has joined #racket

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

06:44 badkins has joined #racket

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

06:50 badkins has joined #racket

06:51 cynomys has quit [Ping timeout: 256 seconds]

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

06:57 badkins has joined #racket

06:58 cynomys has joined #racket

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

07:03 badkins has joined #racket

07:09 badkins has quit [Remote host closed the connection]

07:10 badkins has joined #racket

07:16 badkins_ has joined #racket

07:21 Algernon69 has joined #racket

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

07:23 badkins_ has joined #racket

07:25 Boarders_ has quit [*.net *.split]

07:25 gabot has quit [*.net *.split]

07:25 samth has quit [*.net *.split]

07:25 badkins has quit [*.net *.split]

07:25 xgqt has quit [*.net *.split]

07:25 Guest6340 has quit [*.net *.split]

07:25 aidalgol has quit [*.net *.split]

07:25 codingquark has quit [*.net *.split]

07:25 ASau has quit [*.net *.split]

07:25 jboy has quit [*.net *.split]

07:25 williewillus has quit [*.net *.split]

07:25 lazr_ has quit [*.net *.split]

07:25 dustinm has quit [*.net *.split]

07:25 plane has quit [*.net *.split]

07:25 wingo has quit [*.net *.split]

07:28 Guest6340 has joined #racket

07:28 codingquark has joined #racket

07:28 ASau has joined #racket

07:28 williewillus has joined #racket

07:28 jboy has joined #racket

07:28 dustinm has joined #racket

07:28 lazr_ has joined #racket

07:28 wingo has joined #racket

07:28 plane has joined #racket

07:28 Boarders_ has joined #racket

07:28 gabot has joined #racket

07:28 samth has joined #racket

07:28 xgqt has joined #racket

07:28 aidalgol has joined #racket

07:28 badkins_ has quit [Remote host closed the connection]

07:29 badkins has joined #racket

07:31 mon_aaraj has joined #racket

07:34 Algernon91 has joined #racket

07:35 badkins has quit [Remote host closed the connection]

07:36 badkins has joined #racket

07:37 Algernon69 has quit [Ping timeout: 250 seconds]

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

07:42 badkins has joined #racket

07:48 badkins has quit [Remote host closed the connection]

07:49 badkins has joined #racket

07:51 snits has quit [Ping timeout: 240 seconds]

07:52 mon_aaraj has quit [Ping timeout: 256 seconds]

07:54 mon_aaraj has joined #racket

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

07:55 badkins has joined #racket

07:56 snits has joined #racket

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

08:02 badkins has joined #racket

08:06 rgherdt_ has joined #racket

08:07 capfredf has joined #racket

08:07 mon_aaraj has quit [Ping timeout: 240 seconds]

08:07 badkins has quit [Remote host closed the connection]

08:08 badkins has joined #racket

08:09 mon_aaraj has joined #racket

08:13 capfredf has quit [Ping timeout: 256 seconds]

08:14 badkins has quit [Remote host closed the connection]

08:15 badkins has joined #racket

08:19 rgherdt__ has joined #racket

08:21 rgherdt_ has quit [Ping timeout: 250 seconds]

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

08:24 badkins has joined #racket

08:25 mon_aaraj has quit [Ping timeout: 240 seconds]

08:27 mon_aaraj has joined #racket

08:29 badkins has quit [Remote host closed the connection]

08:30 badkins has joined #racket

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

08:37 badkins has joined #racket

08:43 badkins has quit [Remote host closed the connection]

08:43 badkins_ has joined #racket

08:49 s-liao has joined #racket

08:49 badkins_ has quit [Remote host closed the connection]

08:50 badkins has joined #racket

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

08:56 badkins has joined #racket

08:57 undltd has joined #racket

08:57 <undltd> curious if there is a way to make a type that behaves like `#f` in all boolean tests?

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

09:03 s-liao has quit [Quit: Client closed]

09:03 badkins has joined #racket

09:09 badkins has quit [Remote host closed the connection]

09:10 badkins has joined #racket

09:11 lewisje has quit [Quit: Leaving]

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

09:16 badkins has joined #racket

09:18 s-liao has joined #racket

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

09:22 badkins has joined #racket

09:26 Avichi has joined #racket

09:28 badkins has quit [Remote host closed the connection]

09:29 badkins_ has joined #racket

09:35 badkins_ has quit [Remote host closed the connection]

09:36 badkins has joined #racket

09:40 s-liao has quit [Ping timeout: 256 seconds]

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

09:42 badkins_ has joined #racket

09:48 badkins_ has quit [Remote host closed the connection]

09:49 badkins has joined #racket

09:49 s-liao has joined #racket

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

09:55 badkins has joined #racket

09:55 rgherdt__ has quit [Ping timeout: 256 seconds]

09:57 capfredf has joined #racket

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

10:01 capfredf has quit [Ping timeout: 240 seconds]

10:01 badkins has joined #racket

10:07 badkins has quit [Remote host closed the connection]

10:08 badkins has joined #racket

10:14 badkins has quit [Remote host closed the connection]

10:14 badkins has joined #racket

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

10:20 <tonyg> I don't think so. Both `not` and `if` are hard-coded to `#f`, iiuc. You could make a `#lang` where `if` did something more loosey-goosey, but it would only apply to code written in that `#lang` and not to any library code etc.

10:20 jA_cOp has joined #racket

10:20 edmrk[m] has joined #racket

10:20 kadoban has joined #racket

10:20 jryans has joined #racket

10:20 ormaaj has joined #racket

10:20 seabass_ has joined #racket

10:20 dlozeve[m] has joined #racket

10:20 shtumf[m] has joined #racket

10:20 reed[m] has joined #racket

10:20 scubagear[m] has joined #racket

10:20 rojetto has joined #racket

10:20 burst[m] has joined #racket

10:20 linjian has joined #racket

10:20 sitiom has joined #racket

10:20 ifs[m] has joined #racket

10:21 badkins has joined #racket

10:21 gproto23 has joined #racket

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

10:27 badkins has joined #racket

10:27 s-liao has quit [Ping timeout: 256 seconds]

10:30 skapata has joined #racket

10:30 skapata has quit [Changing host]

10:31 apg has quit [Ping timeout: 240 seconds]

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

10:34 badkins has joined #racket

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

10:40 badkins has joined #racket

10:46 badkins has quit [Remote host closed the connection]

10:47 badkins has joined #racket

10:52 badkins has quit [Remote host closed the connection]

10:53 badkins has joined #racket

10:56 rgherdt has joined #racket

10:58 s-liao has joined #racket

10:59 badkins has quit [Remote host closed the connection]

10:59 badkins has joined #racket

11:05 badkins has quit [Remote host closed the connection]

11:06 badkins has joined #racket

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

11:13 badkins has joined #racket

11:14 rgherdt_ has joined #racket

11:18 rgherdt has quit [Ping timeout: 256 seconds]

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

11:19 badkins has joined #racket

11:23 skapata has quit [Remote host closed the connection]

11:24 rgherdt__ has joined #racket

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

11:26 badkins has joined #racket

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

11:31 s-liao has quit [Ping timeout: 256 seconds]

11:32 badkins has quit [Remote host closed the connection]

11:32 badkins has joined #racket

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

11:39 badkins has joined #racket

11:45 badkins has quit [Remote host closed the connection]

11:45 badkins has joined #racket

11:49 rgherdt_ has joined #racket

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

11:52 badkins has joined #racket

11:52 rgherdt__ has quit [Ping timeout: 256 seconds]

11:57 badkins has quit [Remote host closed the connection]

11:58 badkins has joined #racket

12:04 johnjaye has quit [Ping timeout: 256 seconds]

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

12:05 badkins has joined #racket

12:07 snits has quit [Ping timeout: 256 seconds]

12:09 snits has joined #racket

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

12:11 badkins has joined #racket

12:17 Algernon91 has quit [Ping timeout: 250 seconds]

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

12:18 badkins has joined #racket

12:21 cynomys has quit [Ping timeout: 256 seconds]

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

12:24 badkins has quit [Remote host closed the connection]

12:25 badkins has joined #racket

12:27 s-liao has joined #racket

12:27 Algernon91 has joined #racket

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

12:31 badkins has joined #racket

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

12:38 badkins has joined #racket

12:38 s-liao has quit [Ping timeout: 256 seconds]

12:39 s-liao has joined #racket

12:42 patrice has joined #racket

12:44 badkins has quit [Remote host closed the connection]

12:44 badkins has joined #racket

12:50 badkins has quit [Remote host closed the connection]

12:51 badkins has joined #racket

12:51 rgherdt_ has quit [Ping timeout: 240 seconds]

12:57 badkins has quit [Remote host closed the connection]

12:57 badkins has joined #racket

13:00 capfredf has joined #racket

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

13:04 badkins has joined #racket

13:06 capfredf has quit [Ping timeout: 256 seconds]

13:07 patrice has quit [Quit: Leaving]

13:08 rgherdt has joined #racket

13:10 rgherdt_ has joined #racket

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

13:10 badkins has joined #racket

13:12 rgherdt has quit [Ping timeout: 250 seconds]

13:16 s-liao has quit [Ping timeout: 256 seconds]

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

13:17 badkins has joined #racket

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

13:23 rgherdt__ has joined #racket

13:23 s-liao has joined #racket

13:24 badkins has joined #racket

13:26 rgherdt_ has quit [Ping timeout: 250 seconds]

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

13:30 badkins has joined #racket

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

13:37 badkins has joined #racket

13:39 s-liao has quit [Ping timeout: 256 seconds]

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

13:43 badkins has joined #racket

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

13:50 badkins has joined #racket

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

13:56 badkins has joined #racket

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

14:02 badkins_ has joined #racket

14:08 badkins_ has quit [Remote host closed the connection]

14:09 badkins has joined #racket

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

14:15 badkins has joined #racket

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

14:21 johnjaye has joined #racket

14:22 badkins has joined #racket

14:27 Fare has joined #racket

14:28 badkins has quit [Remote host closed the connection]

14:28 badkins has joined #racket

14:34 mon_aaraj has quit [Ping timeout: 240 seconds]

14:35 badkins has quit [Remote host closed the connection]

14:35 badkins has joined #racket

14:36 rgherdt__ has quit [Ping timeout: 250 seconds]

14:41 badkins has quit [Remote host closed the connection]

14:42 badkins has joined #racket

14:47 mon_aaraj has joined #racket

14:47 badkins has quit [Remote host closed the connection]

14:48 badkins has joined #racket

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

14:54 badkins has joined #racket

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

15:01 badkins_ has joined #racket

15:20 mon_aaraj has quit [Ping timeout: 240 seconds]

15:22 mon_aaraj has joined #racket

15:59 badkins_ has quit [Remote host closed the connection]

16:00 badkins has joined #racket

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

16:18 gproto23 has quit [Remote host closed the connection]

16:39 badkins has joined #racket

16:44 badkins has quit [Ping timeout: 256 seconds]

16:49 ph88 has joined #racket

16:50 <ph88> hey guys, is it possible to change inputs to a function like it was a pointer ? so after function call is done the input argument value was changed

16:53 <winny> ph88: box might work there https://docs.racket-lang.org/reference/boxes.html

16:56 <ph88> thanks winny

16:57 Avichi has quit [Ping timeout: 256 seconds]

17:05 mon_aaraj has quit [Ping timeout: 240 seconds]

17:10 capfredf has joined #racket

17:28 mon_aaraj has joined #racket

17:33 mon_aaraj has quit [Ping timeout: 256 seconds]

17:34 capfredf has quit [Remote host closed the connection]

17:35 capfredf has joined #racket

17:35 mon_aaraj has joined #racket

17:38 snits has joined #racket

17:39 capfredf has quit [Ping timeout: 256 seconds]

18:00 ns12 has quit [Quit: bye]

18:01 ns12 has joined #racket

18:02 Algernon666 has joined #racket

18:05 Algernon91 has quit [Ping timeout: 250 seconds]

18:10 cwebber has quit [Remote host closed the connection]

18:12 apg has joined #racket

18:14 capfredf has joined #racket

18:29 rgherdt has joined #racket

18:36 rgherdt_ has joined #racket

18:37 jfred_ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

18:37 jfred has joined #racket

18:38 rgherdt has quit [Ping timeout: 240 seconds]

18:41 rgherdt__ has joined #racket

18:42 capfredf has quit [Ping timeout: 250 seconds]

18:43 rgherdt has joined #racket

18:43 rgherdt_ has quit [Ping timeout: 240 seconds]

18:46 rgherdt__ has quit [Ping timeout: 256 seconds]

18:46 rgherdt_ has joined #racket

18:48 rgherdt__ has joined #racket

18:48 rgherdt has quit [Ping timeout: 256 seconds]

18:50 capfredf has joined #racket

18:51 rgherdt_ has quit [Ping timeout: 256 seconds]

18:53 rgherdt__ has quit [Ping timeout: 250 seconds]

18:57 Algernon666 has quit [Ping timeout: 250 seconds]

19:33 Fare has quit [Ping timeout: 256 seconds]

19:35 cynomys has joined #racket

19:51 cwebber has joined #racket

19:56 schulze has joined #racket

20:00 Avichi has joined #racket

20:05 ur5us has joined #racket

20:09 badkins has joined #racket

20:11 ec has joined #racket

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

20:35 rgherdt has joined #racket

20:39 schulze has quit [Quit: schulze]

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

21:00 capfredf has joined #racket

21:09 cynomys has quit [Quit: Lost terminal]

21:55 Fare has joined #racket

22:05 Algernon666 has joined #racket

22:10 capfredf has quit [Remote host closed the connection]

22:10 capfredf has joined #racket

22:16 apg has quit [Ping timeout: 256 seconds]

22:17 Algernon91 has joined #racket

22:18 capfredf has quit [Ping timeout: 256 seconds]

22:20 Algernon666 has quit [Ping timeout: 250 seconds]

22:31 patrice has joined #racket

22:37 rgherdt has quit [Ping timeout: 240 seconds]

22:53 badkins has joined #racket

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

23:09 capfredf has joined #racket

23:15 Algernon91 has quit [Read error: Network is unreachable]

23:15 Algernon91 has joined #racket

23:23 kengruven has joined #racket

23:28 Algernon91 has quit [Ping timeout: 250 seconds]

23:29 capfredf has quit [Remote host closed the connection]

23:29 capfredf has joined #racket

23:35 capfredf has quit [Ping timeout: 240 seconds]

23:38 evdubs has quit [Quit: Leaving]

23:39 badkins has joined #racket

23:41 patrice has quit [Ping timeout: 256 seconds]

23:43 badkins has quit [Ping timeout: 240 seconds]

23:55 evdubs has joined #racket