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

00:03 notzmv has quit [Ping timeout: 240 seconds]

00:04 monkey_ has quit [Ping timeout: 240 seconds]

00:53 monkey_ has joined #racket

01:10 Codaraxis__ has quit [Ping timeout: 256 seconds]

01:30 capfredf has joined #racket

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

01:39 ur5us has joined #racket

01:44 badkins has joined #racket

01:47 Codaraxis has joined #racket

02:04 philip has quit [Ping timeout: 260 seconds]

02:22 notzmv has joined #racket

02:24 jao has quit [Remote host closed the connection]

02:26 Everything has joined #racket

02:27 jao has joined #racket

02:40 capfredf has quit [Remote host closed the connection]

02:41 capfredf has joined #racket

02:45 capfredf has quit [Ping timeout: 240 seconds]

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

02:52 ur5us has quit [Read error: Connection reset by peer]

03:12 philip has joined #racket

03:15 capfredf has joined #racket

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

03:34 mon_aaraj has quit [Ping timeout: 256 seconds]

03:36 mon_aaraj has joined #racket

03:39 Codaraxis_ has joined #racket

03:43 Codaraxis has quit [Ping timeout: 260 seconds]

03:53 capfredf has joined #racket

03:57 capfredf has quit [Ping timeout: 240 seconds]

04:22 monkey_ has quit [Ping timeout: 256 seconds]

04:23 philip has quit [Ping timeout: 256 seconds]

04:39 countvaj` has quit [Ping timeout: 240 seconds]

04:49 badkins has joined #racket

04:49 monkey_ has joined #racket

04:49 monkey_` has joined #racket

04:50 monkey_` has quit [Client Quit]

04:51 monkey_ has quit [Remote host closed the connection]

04:52 monkey_ has joined #racket

04:53 badkins has quit [Ping timeout: 240 seconds]

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

05:07 mon_aaraj has joined #racket

05:13 countvaj` has joined #racket

05:13 capfredf has joined #racket

05:18 AkechiShiro has quit [Quit: WeeChat 3.2.1]

05:19 countvaj` has quit [Ping timeout: 240 seconds]

05:19 capfredf has quit [Ping timeout: 240 seconds]

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

05:29 mon_aaraj has joined #racket

05:30 monkey_ has quit [Ping timeout: 256 seconds]

05:38 jao has quit [Ping timeout: 240 seconds]

05:48 countvaj` has joined #racket

05:52 countvaj` has quit [Ping timeout: 240 seconds]

05:54 capfredf has joined #racket

05:58 capfredf has quit [Ping timeout: 260 seconds]

06:09 countvaj` has joined #racket

06:14 countvaj` has quit [Ping timeout: 252 seconds]

06:29 GreaseMonkey has quit [Read error: Connection reset by peer]

06:52 meinside has quit [Quit: Connection closed for inactivity]

07:05 capfredf has joined #racket

07:11 countvaj` has joined #racket

07:12 capfredf has quit [Ping timeout: 272 seconds]

07:14 countvaj` has quit [Remote host closed the connection]

07:15 countvaj` has joined #racket

07:19 Everything has quit [Ping timeout: 240 seconds]

07:19 countvaj` has quit [Ping timeout: 240 seconds]

07:20 Everything has joined #racket

07:22 countvaj` has joined #racket

07:54 gproto23 has joined #racket

07:54 countvaj` has quit [Ping timeout: 240 seconds]

07:59 countvaj` has joined #racket

08:03 notzmv has quit [Ping timeout: 240 seconds]

08:09 lwhjp has joined #racket

08:11 countvaj` has quit [Ping timeout: 256 seconds]

08:13 Everything has quit [Quit: leaving]

08:34 badkins has joined #racket

08:35 mon_aaraj has quit [Ping timeout: 256 seconds]

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

08:37 mon_aaraj has joined #racket

08:39 badkins has quit [Ping timeout: 260 seconds]

08:46 countvaj` has joined #racket

08:53 countvaj` has quit [Ping timeout: 240 seconds]

08:54 capfredf has joined #racket

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

09:00 countvaj` has joined #racket

09:02 s-liao has joined #racket

09:05 countvaj` has quit [Ping timeout: 245 seconds]

09:16 joel135 has joined #racket

09:27 mon_aaraj has quit [Ping timeout: 272 seconds]

09:29 mon_aaraj has joined #racket

09:47 mon_aaraj has quit [Ping timeout: 250 seconds]

09:49 mon_aaraj has joined #racket

09:50 meinside has joined #racket

10:18 notzmv has joined #racket

10:22 TCZ has joined #racket

10:26 tonyg5 has joined #racket

10:29 tonyg has quit [Ping timeout: 260 seconds]

10:29 tonyg5 is now known as tonyg

10:42 capfredf has joined #racket

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

11:05 mon_aaraj has quit [Ping timeout: 272 seconds]

11:06 badkins has joined #racket

11:06 mon_aaraj has joined #racket

11:11 badkins has quit [Ping timeout: 260 seconds]

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

11:38 mon_aaraj has joined #racket

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

12:01 capfredf has joined #racket

12:04 Avichi has joined #racket

12:17 s-liao has joined #racket

12:51 dongdigua has joined #racket

12:52 dongdigua has quit [Client Quit]

13:05 capfredf has quit [Ping timeout: 272 seconds]

13:21 badkins has joined #racket

13:23 mon_aaraj has quit [Ping timeout: 272 seconds]

13:24 TCZ has quit [Quit: Leaving]

13:24 mon_aaraj has joined #racket

13:25 badkins has quit [Ping timeout: 240 seconds]

13:27 cwebber has joined #racket

13:57 ec has joined #racket

14:15 capfredf has joined #racket

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

14:30 m5zs7k has quit [Read error: Connection reset by peer]

14:31 m5zs7k_ has joined #racket

14:31 m5zs7k_ is now known as m5zs7k

14:33 badkins has joined #racket

14:37 badkins has quit [Ping timeout: 240 seconds]

14:41 capfredf has joined #racket

14:51 <jA_cOp> I wonder if Rash https://rash-lang.org/ does anything special to reduce startup times, I haven't really tried it, but maybe worth checking out

14:53 <jA_cOp> I use plain Racket for some types of scripts and even though the startup time isn't really all that important for my use cases, it would give me some peace of mind if Racket was more efficient for short scripts, cron jobs etc. :)

14:56 mon_aaraj has quit [Ping timeout: 256 seconds]

14:58 mon_aaraj has joined #racket

15:01 badkins has joined #racket

15:07 badkins has quit [Ping timeout: 265 seconds]

15:09 badkins has joined #racket

15:13 badkins has quit [Ping timeout: 240 seconds]

15:14 countvaj` has joined #racket

15:27 <jboy> Hy is another option for a scripting lisp.

15:27 rekahsoft has joined #racket

15:34 s-liao has quit [Quit: Client closed]

16:23 mon_aaraj has quit [Ping timeout: 240 seconds]

16:24 rekahsoft has quit [Ping timeout: 240 seconds]

16:25 mon_aaraj has joined #racket

16:46 apg has quit [Ping timeout: 272 seconds]

16:50 badkins has joined #racket

16:51 countvaj` has quit [Ping timeout: 240 seconds]

16:58 countvaj` has joined #racket

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

17:15 mon_aaraj has joined #racket

17:22 countvaj` has quit [Ping timeout: 252 seconds]

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

17:29 capfredf has joined #racket

17:32 skapata has joined #racket

17:32 skapata has quit [Changing host]

17:32 skapata has joined #racket

17:34 capfredf has quit [Ping timeout: 240 seconds]

17:37 jao has joined #racket

17:39 mon_aaraj has quit [Ping timeout: 272 seconds]

17:40 mon_aaraj has joined #racket

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

17:57 badkins has joined #racket

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

18:03 capfredf has joined #racket

18:11 capfredf has quit [Ping timeout: 260 seconds]

18:13 mon_aaraj has quit [Ping timeout: 256 seconds]

18:14 mon_aaraj has joined #racket

18:30 <lagash> jboy: Hy, as in, the Python thing?

18:31 Codaraxis__ has joined #racket

18:36 Codaraxis_ has quit [Ping timeout: 272 seconds]

18:48 ur5us has joined #racket

18:51 capfredf has joined #racket

18:56 capfredf has quit [Ping timeout: 240 seconds]

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

19:08 mon_aaraj has joined #racket

19:33 ur5us has quit [Ping timeout: 240 seconds]

19:56 capfredf has joined #racket

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

20:05 philip has joined #racket

20:07 simendsjo has joined #racket

20:08 gproto23 has quit [Quit: Leaving]

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

20:30 badkins has joined #racket

20:38 monkey_ has joined #racket

20:50 greaser|q has joined #racket

20:51 greaser|q has quit [Changing host]

20:52 greaser|q has joined #racket

20:52 greaser|q is now known as GreaseMonkey

20:57 capfredf has joined #racket

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

21:03 Avichi has quit [Ping timeout: 256 seconds]

21:04 ur5us has joined #racket

21:04 capfredf has joined #racket

21:05 monkey_ has quit [Remote host closed the connection]

21:08 simendsjo has quit [Ping timeout: 240 seconds]

21:13 ur5us has quit [Ping timeout: 240 seconds]

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

21:13 capfredf has joined #racket

21:15 simendsjo has joined #racket

21:18 countvajhula has joined #racket

21:19 capfredf has quit [Ping timeout: 260 seconds]

21:22 simendsjo has quit [Ping timeout: 260 seconds]

21:33 Codaraxis__ has quit [Ping timeout: 245 seconds]

21:41 mon_aaraj has quit [Ping timeout: 240 seconds]

21:44 mon_aaraj has joined #racket

21:48 capfredf has joined #racket

21:49 Codaraxis__ has joined #racket

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

21:53 Codaraxis__ has quit [Remote host closed the connection]

21:53 Codaraxis__ has joined #racket

21:54 badkins has joined #racket

21:59 dnm has quit [Quit: Connection closed for inactivity]

22:05 Codaraxis__ has quit [Remote host closed the connection]

22:07 mon_aaraj has quit [Ping timeout: 272 seconds]

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

22:08 mon_aaraj has joined #racket

22:08 capfredf has joined #racket

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

22:13 capfredf has quit [Ping timeout: 252 seconds]

22:25 countvajhula has quit [Ping timeout: 240 seconds]

22:38 countvajhula has joined #racket

22:46 capfredf has joined #racket

22:50 capfredf has quit [Ping timeout: 240 seconds]

22:51 <countvajhula> is there a way to find out the names of the bindings exported by a module?

22:51 <countvajhula> something like `(binding-list "my-module.rkt")`?

22:58 <countvajhula> i found module->namespace which seems related: https://docs.racket-lang.org/reference/Namespaces.html#%28def._%28%28quote._~23~25kernel%29._module-~3enamespace%29%29

22:58 <rudybot> The URL shortener is feeling poorly today: 502 (Bad Gateway)

22:59 <countvajhula> not sure how to extract the bindings from a namespace though. Is there a way to convert a namespace into a hash, for instance?

23:06 ur5us has joined #racket

23:08 <countvajhula> i found `namespace-mapped-symbols` which returns a large list of all bindings in the module. So close yet so far! I only want the names of the bindings _provided_ by the module...

23:10 <countvajhula> the list of bindings returned by this API has length 2521 :) but the `provide`d bindings which I'm interested in are on the order of a handful

23:12 xgqt has quit [Ping timeout: 260 seconds]

23:12 xgqt has joined #racket

23:16 monkey_ has joined #racket

23:27 mon_aaraj has quit [Ping timeout: 240 seconds]

23:29 mon_aaraj has joined #racket

23:32 ur5us has quit [Ping timeout: 240 seconds]

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

23:43 monkey_` has joined #racket

23:43 monkey_` has quit [Remote host closed the connection]

23:46 monkey_ has joined #racket