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

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

00:25 badkins has joined #racket

00:29 badkins has quit [Ping timeout: 246 seconds]

00:53 ur5us has joined #racket

00:59 badkins has joined #racket

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

01:06 badkins has joined #racket

01:14 badkins has quit [Ping timeout: 260 seconds]

01:36 badkins has joined #racket

01:40 badkins has quit [Ping timeout: 246 seconds]

01:53 schulze has quit [Ping timeout: 246 seconds]

02:23 wwalker has joined #racket

02:23 kengruven has quit [Remote host closed the connection]

02:59 badkins has joined #racket

03:01 capfredf has joined #racket

03:04 badkins has quit [Ping timeout: 260 seconds]

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

03:33 kengruven has joined #racket

03:39 capfredf has joined #racket

03:50 capfredf has quit [Ping timeout: 272 seconds]

03:54 gproto23 has joined #racket

03:56 notzmv has quit [Ping timeout: 268 seconds]

04:04 notzmv has joined #racket

04:12 ur5us has quit [Ping timeout: 260 seconds]

04:36 badkins has joined #racket

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

04:49 capfredf has joined #racket

04:54 capfredf has quit [Ping timeout: 260 seconds]

06:17 tonyg has quit [Quit: Ping timeout (120 seconds)]

06:17 tonyg has joined #racket

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

06:19 xgqt has joined #racket

06:33 Algernon69 has joined #racket

06:37 badkins has joined #racket

06:37 capfredf has joined #racket

06:41 badkins has quit [Ping timeout: 260 seconds]

06:43 capfredf has quit [Ping timeout: 272 seconds]

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

07:29 Codaraxis_ has joined #racket

07:33 Codaraxis has quit [Ping timeout: 260 seconds]

07:40 s-liao has joined #racket

09:33 s-liao has quit [Quit: Ping timeout (120 seconds)]

10:13 capfredf has joined #racket

10:16 badkins has joined #racket

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

10:21 badkins has quit [Ping timeout: 240 seconds]

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

10:27 gproto23_ has joined #racket

10:56 Algernon69 has quit [Ping timeout: 250 seconds]

11:02 capfredf has joined #racket

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

11:30 tonyg has quit [Quit: The Lounge - https://thelounge.chat]

11:40 s-liao has joined #racket

11:54 gproto23_ has quit [Ping timeout: 272 seconds]

11:55 gproto23 has joined #racket

12:03 Algernon69 has joined #racket

12:08 capfredf has joined #racket

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

12:12 Algernon91 has joined #racket

12:17 Algernon69 has quit [Ping timeout: 256 seconds]

12:29 tonyg has joined #racket

12:35 tonyg7 has joined #racket

12:35 tonyg has quit [Ping timeout: 256 seconds]

12:35 tonyg7 is now known as tonyg

12:41 tonyg has quit [Quit: The Lounge - https://thelounge.chat]

12:42 schulze has joined #racket

12:49 schulze has quit [Quit: zzz]

12:52 badkins has joined #racket

12:57 badkins has quit [Ping timeout: 246 seconds]

13:25 badkins has joined #racket

13:28 kengruven has quit [Remote host closed the connection]

13:28 kengruven has joined #racket

13:33 kengruven has quit [Ping timeout: 260 seconds]

13:44 s-liao has quit [Ping timeout: 250 seconds]

13:46 Algernon91 has quit [Quit: Leaving]

13:47 szkl has quit [Quit: Connection closed for inactivity]

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

13:57 badkins has joined #racket

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

14:43 gproto23 has quit [Remote host closed the connection]

14:44 gproto23 has joined #racket

14:49 gproto23 has quit [Remote host closed the connection]

14:49 gproto23 has joined #racket

15:02 badkins has joined #racket

15:04 capfredf has joined #racket

15:16 capfredf has quit [Ping timeout: 260 seconds]

15:21 gproto23 has quit [Ping timeout: 260 seconds]

15:29 gproto23 has joined #racket

15:47 tonyg has joined #racket

16:08 capfredf has joined #racket

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

16:26 TCZ has joined #racket

16:27 capfredf has quit [Remote host closed the connection]

16:27 capfredf has joined #racket

16:30 badkins has joined #racket

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

16:33 capfredf has quit [Ping timeout: 272 seconds]

16:45 nihilazo has joined #racket

16:47 <nihilazo> hi, I've been going through htdp and I've decided to start building a project in racket proper while I work through it. What's the easiest way in #lang racket to make tests in the similar way to HTDP's languages (like check-expect) or what is the best way to do the tests-as-function-specification thing that htdp does?

16:49 ermo has quit [Read error: Connection reset by peer]

16:54 ermo has joined #racket

17:00 badkins has joined #racket

17:01 skapata has joined #racket

17:01 skapata has quit [Changing host]

17:04 TCZ has quit [Quit: Leaving]

17:04 <b625e17> nihilazo: I'https://github.com/branneman/adventofcode/blob/main/2015/17/eggnog-containers.rkt#L44-L85

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

17:05 badkins has joined #racket

17:05 <b625e17> I'm writing tests like this - the check-equal? and check-false and such procedures help a lot

17:05 <b625e17> can you give an example of what tests-as-function-specification thing you're talking about?

17:07 monkey_ has joined #racket

17:10 badkins has quit [Ping timeout: 246 seconds]

17:11 gproto23 has quit [Remote host closed the connection]

17:13 <nihilazo> oh, rackunit tests seem to be able to do what I'd like to do

17:13 <nihilazo> sorry, rackunit tests

17:25 badkins has joined #racket

17:30 monkey_ has quit [Ping timeout: 260 seconds]

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

17:34 badkins has joined #racket

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

17:55 Codaraxis_ has quit [Ping timeout: 246 seconds]

18:00 capfredf has joined #racket

18:02 badkins has joined #racket

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

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

18:12 badkins has joined #racket

18:19 saorge has joined #racket

19:03 Codaraxis has joined #racket

19:30 kengruven has joined #racket

19:35 kengruven has quit [Ping timeout: 252 seconds]

19:40 TCZ has joined #racket

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

19:46 badkins has joined #racket

19:52 badkins has quit [Ping timeout: 240 seconds]

19:54 badkins has joined #racket

19:58 badkins has quit [Ping timeout: 246 seconds]

20:06 Avichi has quit [Quit: Client closed]

20:11 ur5us has joined #racket

20:12 kenran has joined #racket

20:17 jao has joined #racket

20:24 Codaraxis has quit [Remote host closed the connection]

20:25 Codaraxis has joined #racket

20:38 badkins has joined #racket

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

20:54 Codaraxis has quit [Remote host closed the connection]

20:55 Codaraxis has joined #racket

20:59 mon_aaraj has quit [Ping timeout: 272 seconds]

21:01 mon_aaraj has joined #racket

21:01 badkins has joined #racket

21:05 epony has quit [Quit: QUIT]

21:06 badkins has quit [Ping timeout: 260 seconds]

21:09 mon_aaraj has quit [Ping timeout: 245 seconds]

21:12 mon_aaraj has joined #racket

21:15 msiism has joined #racket

21:15 Avichi has joined #racket

21:16 <msiism> So, I've found what is probably a better way to transform a bunch of input lines into a hash table: https://paste.debian.net/plainh/5303104d

21:17 <msiism> The problem with this is probably that it doesn't give the hash table as a stored value that I can then manipulate reliably.

21:19 <msiism> Previously, I defined an empty hash at the beginning and then filled that with data from the list, using hash-set!.

21:21 <msiism> What I'm generaly trying to do is: Read lines from a file, transform them into a working copy in the form of a hash table, manipulate values, and then write back out to update the file.

21:22 badkins has joined #racket

21:25 capfredf has joined #racket

21:27 badkins has quit [Ping timeout: 240 seconds]

21:28 msiism has quit [Remote host closed the connection]

21:28 msiism has joined #racket

21:29 codingquark has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

21:30 codingquark has joined #racket

21:37 TCZ has quit [Quit: Leaving]

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

21:42 capfredf has joined #racket

21:42 kenran has quit [Quit: WeeChat info:version]

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

21:51 badkins has joined #racket

21:57 badkins has quit [Ping timeout: 240 seconds]

22:04 msiism has quit [Ping timeout: 260 seconds]

22:06 badkins has joined #racket

22:10 badkins has quit [Ping timeout: 246 seconds]

22:25 badkins has joined #racket

22:30 badkins has quit [Ping timeout: 260 seconds]

22:30 kengruven has joined #racket

23:01 ur5us has quit [Ping timeout: 260 seconds]

23:07 Avichi has quit [Ping timeout: 250 seconds]

23:47 badkins has joined #racket

23:47 libertyprime has joined #racket

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