#racket on 2022-06-26 — irc logs at libera.irclog.whitequark.org

2022-05-25 08:19 tonyg changed the topic of #racket to: The Racket Programming Language -- https://racket-lang.org/ -- https://gather.town/app/wH1EDG3McffLjrs0/racket-users -- http://pasterack.org -- logged at https://libera.irclog.whitequark.org/racket/ -- This is the right place to ask for help with (Dr)Racket. Remember to wait around for an answer!

00:03 jao has joined #racket

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

00:52 badkins has joined #racket

00:55 ttree has joined #racket

00:59 badkins has quit [Ping timeout: 248 seconds]

01:38 monkey_ has quit [Remote host closed the connection]

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

02:19 monkey_ has joined #racket

02:36 irc_user has joined #racket

02:37 <irc_user> If I use `raco exe hello-world.rkt`, the resulting executable takes a full second to run. Is there a way to optimize further?

03:20 monkey_ has quit [Ping timeout: 256 seconds]

05:47 mon_aaraj has quit [Ping timeout: 268 seconds]

05:47 mon_aaraj has joined #racket

05:50 notzmv has quit [Ping timeout: 248 seconds]

06:06 irc_user has quit [Quit: Connection closed for inactivity]

06:28 Avichi has joined #racket

07:49 <casaca> with racket/base i get: 0.08s user 0.03s system 99% cpu 0.110 total

07:50 <casaca> without it: 0.24s user 0.05s system 99% cpu 0.293 total

07:52 <casaca> `#lang racket/base

07:53 <casaca> (displayln 'hello) in a file and raco exe file.rkt

07:53 <casaca> ignore the backtick, sorry

07:58 notzmv has joined #racket

08:10 <casaca> also very cool: the racket/base file is 1.9MB. and the full racket onet 12MB

08:18 kengruven has quit [Quit: Leaving.]

08:36 Avichi has quit [Quit: Client closed]

09:03 aidalgol has quit [Ping timeout: 256 seconds]

09:04 aidalgol has joined #racket

09:31 Avichi has joined #racket

09:42 Avichi has quit [Quit: Client closed]

09:49 mon_aaraj has quit [Ping timeout: 246 seconds]

10:01 mon_aaraj has joined #racket

10:29 ttree has quit [Ping timeout: 255 seconds]

10:39 <bremner> hmm. a second sounds like a pretty slow machine. Or maybe a pretty slow disk. I also get < 0.3s for #lang racket, on this not-super-fast machine (but with ssd)

10:58 mon_aaraj has quit [Ping timeout: 255 seconds]

11:00 mon_aaraj has joined #racket

11:04 badkins has joined #racket

11:15 mon_aaraj has quit [Ping timeout: 268 seconds]

11:17 mon_aaraj has joined #racket

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

11:43 pono has quit [Ping timeout: 248 seconds]

11:44 pono has joined #racket

11:58 mon_aaraj has quit [Ping timeout: 246 seconds]

12:04 badkins has joined #racket

12:10 badkins has quit [Ping timeout: 248 seconds]

12:20 badkins has joined #racket

12:27 badkins has quit [Ping timeout: 248 seconds]

12:29 badkins has joined #racket

12:36 badkins has quit [Ping timeout: 244 seconds]

12:48 jao has joined #racket

12:55 rekahsoft has joined #racket

12:55 rekahsoft has quit [Remote host closed the connection]

12:55 rekahsoft has joined #racket

12:58 mon_aaraj has joined #racket

13:14 rekahsoft has quit [Ping timeout: 255 seconds]

13:18 rekahsoft has joined #racket

13:42 badkins has joined #racket

14:10 irc_user has joined #racket

14:29 xgqt has quit [Ping timeout: 255 seconds]

14:30 xgqt has joined #racket

14:41 runrin has quit [Ping timeout: 272 seconds]

14:50 kengruven has joined #racket

15:11 livoreno has joined #racket

15:25 monkey_ has joined #racket

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

15:42 hhhapz has joined #racket

15:46 badkins_ has joined #racket

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

15:49 monkey_ has quit [Quit: ERC (IRC client for Emacs 28.0.50)]

15:50 badkins has joined #racket

15:51 monkey_ has joined #racket

15:56 <kengruven> when i define a struct, can i also define a default way for it to be printed?

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

16:07 runrin has joined #racket

16:14 monkey_ has quit [Ping timeout: 256 seconds]

16:16 <hhhapz> kengruven, I believe this is possible using gen:custom-write https://docs.racket-lang.org/reference/Printer_Extension.html

16:17 badkins has joined #racket

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

16:21 badkins has quit [Ping timeout: 248 seconds]

16:32 lewisje has joined #racket

16:33 lewisje has quit [Remote host closed the connection]

16:37 lewisje has joined #racket

17:01 badkins has joined #racket

17:04 <kengruven> hhhapz: thanks, but i should have specified typed/racket. t/r doesn't seem to support #:methods, unfortunately.

17:06 badkins has quit [Ping timeout: 244 seconds]

17:14 notzmv has quit [Ping timeout: 272 seconds]

17:35 rudybot has quit [Remote host closed the connection]

17:35 rudybot has joined #racket

17:35 rudybot has quit [Remote host closed the connection]

17:35 rudybot has joined #racket

17:45 ttree has joined #racket

17:47 monkey_ has joined #racket

17:48 monkey_ has quit [Remote host closed the connection]

17:50 hhhapz has quit [Ping timeout: 248 seconds]

17:53 monkey_ has joined #racket

17:59 mason is now known as ChibaPet

17:59 ChibaPet is now known as mason

18:07 hhhapz has joined #racket

18:10 notzmv has joined #racket

18:12 <casaca> my <0.3 runs where on a corei5 6440HQ.

18:12 <casaca> #lang racket (displayln 'hello) on openbsd arm64 >2secs. so ~1sec for linux seems

18:13 <casaca> raspberry pi4 usb3 connected m2 ssd

18:14 hhhapz has quit [Ping timeout: 248 seconds]

18:15 hhhapz has joined #racket

18:25 livoreno has quit [Ping timeout: 268 seconds]

19:00 badkins has joined #racket

19:12 irc_user has joined #racket

19:24 badkins has quit [Ping timeout: 248 seconds]

19:28 monkey_ has quit [Ping timeout: 255 seconds]

19:30 badkins has joined #racket

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

20:02 badkins has joined #racket

20:11 badkins has quit [Ping timeout: 244 seconds]

20:18 badkins has joined #racket

20:23 badkins has quit [Ping timeout: 248 seconds]

20:53 aidalgol has quit [Ping timeout: 255 seconds]

20:53 aidalgol_ has joined #racket

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

21:06 badkins has joined #racket

21:16 ur5us has joined #racket

21:19 adium has quit [Quit: Stable ZNC by #bnc4you]

21:27 adium has joined #racket

21:45 dos__^^ has quit [Ping timeout: 240 seconds]

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

22:01 badkins has joined #racket

22:05 badkins has quit [Ping timeout: 248 seconds]

22:07 mon_aaraj has joined #racket

22:19 lowak has joined #racket

22:19 lowak_ has quit [Ping timeout: 268 seconds]

22:41 mon_aaraj has quit [Ping timeout: 246 seconds]

22:42 badkins has joined #racket

22:43 livoreno has joined #racket

22:44 monkey_ has joined #racket

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

23:07 monkey_ has quit [Ping timeout: 240 seconds]

23:10 badkins has joined #racket

23:15 badkins has quit [Ping timeout: 248 seconds]

23:22 kengruven has quit [Quit: Leaving.]

23:57 kengruven has joined #racket