2024/11/07

Newest at the top

2024-11-07 07:33:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-11-07 07:31:48 +0100euleritian(~euleritia@dynamic-176-004-249-001.176.4.pool.telefonica.de)
2024-11-07 07:31:38 +0100euleritian(~euleritia@77.22.252.56) (Ping timeout: 255 seconds)
2024-11-07 07:28:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-07 07:26:08 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-07 07:25:14 +0100longlongdouble(~longlongd@169.150.196.103) (Ping timeout: 252 seconds)
2024-11-07 07:17:56 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-11-07 07:17:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-11-07 07:16:03 +0100longlongdouble(~longlongd@169.150.196.103)
2024-11-07 07:15:45 +0100longlongdouble(~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer)
2024-11-07 07:12:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-07 07:09:41 +0100chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2024-11-07 07:09:05 +0100chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-11-07 07:01:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-07 07:01:02 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2024-11-07 07:00:19 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-11-07 06:58:06 +0100 <famubu> Axman6: +1
2024-11-07 06:57:27 +0100califax(~califax@user/califx) califx
2024-11-07 06:57:10 +0100califax(~califax@user/califx) (Remote host closed the connection)
2024-11-07 06:56:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-07 06:52:43 +0100michalz(~michalz@185.246.207.221)
2024-11-07 06:52:16 +0100stiell_(~stiell@gateway/tor-sasl/stiell) stiell
2024-11-07 06:51:57 +0100pavonia(~user@user/siracusa) siracusa
2024-11-07 06:51:53 +0100stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2024-11-07 06:51:38 +0100pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2024-11-07 06:51:32 +0100 <Axman6> not sure how I feel about the use of round, I feel like it's likely to be doing more than just numerator would, which we know is the right value
2024-11-07 06:51:31 +0100ryanbooker(uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-11-07 06:49:39 +0100 <Axman6> famubu: some things worth noting from probie's code, functions like null, head, tail etc. are often better replaced by case statements which allow you to perform the check (null) and also name the values you want (the head of the list) in one, efficient statement
2024-11-07 06:46:26 +0100 <famubu> Axman6: Oh.. didn't know that. Will keep that in mind.
2024-11-07 06:45:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-11-07 06:45:34 +0100 <famubu> probie: Thanks. :)
2024-11-07 06:44:53 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-11-07 06:42:03 +0100 <Axman6> famubu: you can make multiple definitions inside a let block: let mfn = ...\n bs = ...\n bb = ...\nin
2024-11-07 06:41:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-07 06:40:57 +0100 <probie> fambu: Perhaps something like https://paste.tomsmeding.com/oA1DYLzQ
2024-11-07 06:39:09 +0100 <Axman6> Leary: nice, definitely simpler than the index monad version
2024-11-07 06:34:06 +0100 <famubu> The `foo` function feels a bit messy. Any suggestions to make it better? More readable?
2024-11-07 06:32:26 +0100 <famubu> It works.
2024-11-07 06:32:23 +0100 <famubu> Modified it to https://bpa.st/HQC4O
2024-11-07 06:32:17 +0100 <famubu> probie: Oh yeah.. Thanks!
2024-11-07 06:30:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-07 06:29:45 +0100 <EvanR> floats... so alluring... so deadly
2024-11-07 06:29:02 +0100 <EvanR> there is a // operator for integer division but it is doing the equivalent of `quot` instead of div
2024-11-07 06:28:29 +0100 <EvanR> was just musing with this bog standard python code for 36028797018963968 `div` 5... which is apparently int(36028797018963968 / 5), which round trips through float and gets the wrong answer xD
2024-11-07 06:26:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-07 06:25:55 +0100 <probie> Why are you roundtripping via `Float`? Surely `isInt` could be more easily defined as `isInt x = denominator x == 1`. With that (and removing `fromRational`) I get correct answers with your code
2024-11-07 06:19:23 +0100 <famubu> should've been [2,15,825,725,1925,2275,425,390,
2024-11-07 06:19:09 +0100 <famubu> It's giving [2,15,825,725,1925,2275,425,25
2024-11-07 06:18:51 +0100 <famubu> Result is still incorrect though..
2024-11-07 06:18:41 +0100 <famubu> Made a version using Integer instead of Int: https://bpa.st/WT4TU