#racket on 2021-12-17 — irc logs at libera.irclog.whitequark.org

00:01 ur5us has joined #racket

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

00:06 capfredf has joined #racket

00:17 badkins has joined #racket

00:22 capfredf has quit [Ping timeout: 268 seconds]

00:30 haskal has joined #racket

00:57 capfredf has joined #racket

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

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

01:41 abrantesasf has joined #racket

01:49 stanrifkin has joined #racket

01:50 <stanrifkin> Is there an "portable" DrRacket which i can run on a thumb drive?

02:28 stanrifkin has quit [Quit: Leaving]

02:28 schulze has quit [Ping timeout: 240 seconds]

02:50 s-liao has quit [Ping timeout: 256 seconds]

02:52 s-liao has joined #racket

02:56 krono has quit [Ping timeout: 240 seconds]

02:59 krono has joined #racket

03:02 capfredf has joined #racket

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

03:20 <winny> rudybot: eval (define/contract (proc x) (list? . -> . boolean?) (if (boolean? x) x (proc #t))) (proc empty)

03:21 <winny> hmmm not sure how to motivate rubybot to run a program :) Anybody know why this results in #t, not a contract error? (In contrast, (proc #t) directly is a contract error)

03:22 wwalker has quit [Quit: leaving]

03:23 <rudybot> winny: error: with-limit: out of time

03:23 <winny> I see, thank you rudybot

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

03:24 badkins has joined #racket

03:24 wwalker has joined #racket

03:26 sts-q has quit [Ping timeout: 240 seconds]

03:29 badkins has quit [Ping timeout: 268 seconds]

03:35 sts-q has joined #racket

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

03:44 capfredf has joined #racket

03:49 capfredf has quit [Ping timeout: 256 seconds]

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

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

04:29 s-liao has joined #racket

04:30 badkins has joined #racket

04:35 badkins has quit [Ping timeout: 256 seconds]

04:43 s-liao has quit [Ping timeout: 256 seconds]

05:35 capfredf has joined #racket

05:39 capfredf has quit [Ping timeout: 245 seconds]

05:52 <samph> If you put that in DrRacket and run it through the macro stepper you can see that the (proc #t) call is pointing to a version of proc that is uncontracted.

05:53 <samph> This is probably by design so that you can still use a contracted procedure like this in a recursive loop and not have to pay the contract toll on each recursion

06:26 s-liao has joined #racket

07:22 Algernon69 has joined #racket

07:32 Algernon69 has quit [Ping timeout: 268 seconds]

07:37 capfredf has joined #racket

07:40 Algernon69 has joined #racket

07:41 Algernon91 has joined #racket

07:43 capfredf has quit [Ping timeout: 252 seconds]

07:45 Algernon69 has quit [Ping timeout: 268 seconds]

07:49 schulze has joined #racket

08:03 Avichi has joined #racket

08:27 skapata has joined #racket

08:27 skapata has quit [Changing host]

08:27 skapata has joined #racket

08:31 badkins has joined #racket

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

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

09:41 capfredf has joined #racket

09:46 capfredf has quit [Ping timeout: 268 seconds]

09:47 s-liao has joined #racket

09:51 Avichi has quit [Ping timeout: 256 seconds]

09:55 gproto23 has joined #racket

10:31 codingquark has quit [Read error: Connection reset by peer]

11:25 codingquark has joined #racket

11:37 capfredf has joined #racket

11:41 libertyprime has joined #racket

11:47 capfredf has quit [Ping timeout: 240 seconds]

12:15 Everything has joined #racket

12:32 badkins has joined #racket

12:37 badkins has quit [Ping timeout: 256 seconds]

12:51 <Everything> Hi all. Is there an API to the 'file' Unix utility? I'm looking for something like: https://github.com/ahupp/python-magic

12:51 <Everything> To detect file type automatically

12:55 <bremner> rudybot: init racket

12:56 <rudybot> bremner: your sandbox is ready

12:56 <bremner> rudybot: eval (+ 1 1)

12:56 <rudybot> bremner: ; Value: 2

12:56 <bremner> winny: rudy seems to be very slow, but otherwise working at the moment.

13:00 capfredf has joined #racket

13:00 s-liao has quit [Quit: Client closed]

13:13 libertyprime has quit [Quit: leaving]

13:21 s-liao has joined #racket

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

13:43 gproto23 has quit [Ping timeout: 240 seconds]

13:49 s-liao has joined #racket

13:50 libertyprime has joined #racket

13:55 libertyprime has quit [Ping timeout: 240 seconds]

13:57 s-liao has quit [Quit: Client closed]

14:03 gproto23 has joined #racket

14:09 monkey_ has joined #racket

14:20 cwebber has quit [Remote host closed the connection]

14:23 tyson2 has joined #racket

15:11 monkey_ has quit [Remote host closed the connection]

15:13 badkins has joined #racket

15:39 tyson2 has quit [Remote host closed the connection]

16:01 torbjornsd has joined #racket

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

16:41 badkins has joined #racket

16:42 tyson2 has joined #racket

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

16:46 badkins has quit [Ping timeout: 268 seconds]

17:02 Algernon666 has joined #racket

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

17:06 Algernon91 has quit [Ping timeout: 268 seconds]

17:06 capfredf has joined #racket

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

17:27 capfredf has joined #racket

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

18:08 badkins has joined #racket

18:17 tyson2 has quit [Remote host closed the connection]

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

18:28 notzmv has joined #racket

18:48 tyson2 has joined #racket

18:51 capfredf has joined #racket

18:57 capfredf has quit [Ping timeout: 268 seconds]

19:18 xgqt has quit [Read error: Connection reset by peer]

19:19 xgqt has joined #racket

20:11 capfredf has joined #racket

20:16 Algernon666 has quit [Read error: Connection reset by peer]

20:18 capfredf has quit [Remote host closed the connection]

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

20:20 capfredf has joined #racket

20:26 badkins has joined #racket

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

20:41 capfredf has quit [Remote host closed the connection]

20:42 capfredf has joined #racket

20:46 capfredf has quit [Ping timeout: 240 seconds]

20:53 capfredf has joined #racket

20:57 capfredf has quit [Remote host closed the connection]

20:57 capfredf has joined #racket

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

21:04 capfredf has joined #racket

21:07 capfredf_ has joined #racket

21:09 capfredf has quit [Ping timeout: 252 seconds]

21:12 tyson2 has quit [Remote host closed the connection]

21:12 capfredf_ has quit [Ping timeout: 268 seconds]

21:13 badkins has joined #racket

22:16 torbjornsd has quit [Quit: Leaving]

22:22 libertyprime has joined #racket

22:30 tyson2 has joined #racket

22:32 Algernon69 has joined #racket

22:33 Algernon91 has joined #racket

22:37 Algernon69 has quit [Ping timeout: 268 seconds]

22:39 schulze has quit [Quit: nyaa~]

22:40 schulze has joined #racket

22:40 schulze has quit [Client Quit]

22:40 schulze has joined #racket

22:41 schulze has quit [Client Quit]

22:42 schulze has joined #racket

23:19 capfredf has joined #racket

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

23:36 capfredf has joined #racket

23:41 capfredf has quit [Ping timeout: 260 seconds]