#racket on 2022-12-14 — 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:07 badkins has joined #racket

00:27 szkl has quit [Quit: Connection closed for inactivity]

00:51 ttree has joined #racket

01:24 notzmv has quit [Ping timeout: 256 seconds]

02:08 jeosol has joined #racket

02:11 ec has quit [Remote host closed the connection]

02:11 ec has joined #racket

02:15 FreeFull has quit []

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

03:08 badkins has joined #racket

03:14 badkins has quit [Ping timeout: 272 seconds]

03:35 notzmv has joined #racket

04:20 mdhughes has quit [Remote host closed the connection]

04:21 mdhughes has joined #racket

05:04 ur5us_ has quit [Ping timeout: 256 seconds]

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

05:18 badkins has joined #racket

05:23 badkins has quit [Ping timeout: 252 seconds]

05:27 mdhughes has quit [Quit: Returning to Simulacron-1]

05:56 mdhughes has joined #racket

05:59 aliasless has quit [Ping timeout: 248 seconds]

07:19 badkins has joined #racket

07:22 jeosol has quit [Ping timeout: 260 seconds]

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

07:31 ec has quit [Ping timeout: 255 seconds]

07:32 ec has joined #racket

07:56 ur5us_ has joined #racket

08:34 ttree has quit [Ping timeout: 252 seconds]

09:33 to-hu has joined #racket

09:40 ur5us_ has quit [Ping timeout: 252 seconds]

09:54 to-hu has quit [Remote host closed the connection]

09:58 TCZ has joined #racket

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

10:20 xgqt has joined #racket

12:01 badkins has joined #racket

12:05 badkins has quit [Ping timeout: 252 seconds]

12:58 TCZ has quit [Quit: Leaving]

13:10 badkins has joined #racket

13:15 sxn has joined #racket

13:15 sxn has quit [Client Quit]

13:48 morte_ has joined #racket

15:16 jeosol has joined #racket

16:04 sxn has joined #racket

16:14 sxn has quit [Remote host closed the connection]

16:14 sxn has joined #racket

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

16:21 badkins has joined #racket

16:22 nij- has joined #racket

16:22 <nij-> Does racket has a community wiki like archlinux's archwiki?

16:23 <nij-> Also, is there a de factor framework racket people write documentation? Common lisp's spec was in the form of tex and horrible macros.. hopefully that will change soon by learning to racket community.

16:31 <leah2> racket uses scribble

16:32 <nij->

16:32 <nij-> Thanks! Lemme take a look :)

16:38 sxn has quit [Ping timeout: 260 seconds]

16:42 sxn has joined #racket

16:57 sxn has quit [Quit: sxn]

16:58 <nij-> Scribble looks pretty neat. I wonder why hasn't anyone used it to write a thesis with it.

16:59 <nij-> I mean, using scribble as a backend, and generate tex+pdf with it.

17:08 <leah2> idk, i could think of some people that did this :D

17:08 ec has quit [Ping timeout: 255 seconds]

17:09 <nij-> OH!!! https://prl.ccs.neu.edu/blog/2019/02/17/writing-a-paper-with-scribble/

17:09 <nij-> I'm fed with tex... hopefully this is really something that could help me get away with tex for good.

17:09 ec has joined #racket

17:15 TCZ has joined #racket

17:29 d3mon has quit [Quit: nyaa~]

17:50 <samth> nij-: people use the github wiki here: https://github.com/racket/racket/wiki/

18:11 nij- has quit [Ping timeout: 252 seconds]

18:14 ttree has joined #racket

18:23 FreeFull has joined #racket

18:34 TCZ has quit [Quit: Leaving]

18:35 FreeFull has quit [Quit: rebooting]

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

18:50 <ec> Getting an error when using refinement types: https://ghostbin.me/639a1aee9589c

18:51 <ec> Why can't the predicate have the expt expression?

18:55 <samth> ec: refinements only support linear arithmetic (which is what the error message is saying)

18:57 <ec> I see, good to know

18:57 <ec> What about `(Refine (b : Bytes) (= (bytes-length b) 32)))`

19:04 nisstyre has quit [Ping timeout: 256 seconds]

19:05 badkins has joined #racket

19:06 jeosol has quit [Ping timeout: 260 seconds]

19:17 nisstyre has joined #racket

19:18 skapata has joined #racket

19:26 sxn has joined #racket

19:40 FreeFull has joined #racket

19:50 runrin has quit [Quit: leaving]

19:51 jeosol has joined #racket

19:52 runrin has joined #racket

19:53 ur5us_ has joined #racket

20:05 jeosol has quit [Ping timeout: 260 seconds]

20:12 morte_ has quit [Ping timeout: 252 seconds]

21:14 TCZ has joined #racket

21:35 jeosol has joined #racket

22:04 ur5us_ has quit [Read error: Connection reset by peer]

22:05 ur5us_ has joined #racket

22:23 random-jellyfish has joined #racket

22:33 sxn has quit [Ping timeout: 256 seconds]

22:33 random-jellyfish has quit [Ping timeout: 260 seconds]

23:00 sxn has joined #racket

23:07 random-jellyfish has joined #racket

23:08 sxn has quit [Ping timeout: 252 seconds]

23:16 random-jellyfish has quit [Quit: Client closed]

23:22 random-jellyfish has joined #racket

23:27 random-jellyfish has quit [Quit: Client closed]

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

23:40 sxn has joined #racket

23:48 sxn has quit [Ping timeout: 256 seconds]

23:51 TCZ has quit [Quit: Leaving]

23:53 brettgilio has quit [Quit: The Lounge - https://thelounge.chat]