| 2024-11-30 00:03:55 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 00:08:38 +0000 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) |
| 2024-11-30 00:10:02 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2024-11-30 00:11:17 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-30 00:14:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 00:15:01 +0000 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2024-11-30 00:17:20 +0000 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2024-11-30 00:17:36 +0000 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
| 2024-11-30 00:17:55 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2024-11-30 00:18:19 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f88d901269a61474092.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-11-30 00:19:34 +0000 | lol_ | (~lol@2603:3016:1e01:b9c0:cd28:d74a:e341:a3ea) |
| 2024-11-30 00:19:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 00:23:17 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:198d:38f1:39b:cb75) (Ping timeout: 248 seconds) |
| 2024-11-30 00:23:19 +0000 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) (Ping timeout: 245 seconds) |
| 2024-11-30 00:23:25 +0000 | thaumavorio | (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-30 00:25:33 +0000 | thaumavorio | (~thaumavor@thaumavor.io) thaumavorio |
| 2024-11-30 00:26:20 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2024-11-30 00:30:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 00:32:59 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-30 00:33:02 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-30 00:35:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 00:36:42 +0000 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) tdammers |
| 2024-11-30 00:37:29 +0000 | Everything | (~Everythin@46-133-37-211.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-30 00:43:50 +0000 | hammond | (proscan@user/hammond2) hammond2 |
| 2024-11-30 00:44:12 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-11-30 00:44:13 +0000 | sprotte24 | (~sprotte24@p200300d16f1c6f00b8bd5c1e150d1569.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-30 00:44:53 +0000 | <hammond> | I have an Ipv6 23232:232323:2323232:.... and I want to drop all of the that and get the the stuf that comes after the last : |
| 2024-11-30 00:45:15 +0000 | bsima | (~bsima@143.198.118.179) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-30 00:45:36 +0000 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) bsima |
| 2024-11-30 00:45:39 +0000 | <hammond> | I was doing this before clean = drop 1 . dropWhile (/= ':') . drop 1 but then that was before I found IPv6 message. |
| 2024-11-30 00:45:42 +0000 | gvg | (~dcd@user/gvg) (Ping timeout: 276 seconds) |
| 2024-11-30 00:46:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 00:46:51 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-30 00:47:22 +0000 | gvg | (~dcd@user/gvg) gvg |
| 2024-11-30 00:47:35 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-11-30 00:51:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 00:51:28 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-11-30 00:52:32 +0000 | banner | (~banner@202.137.173.5) (Remote host closed the connection) |
| 2024-11-30 00:52:33 +0000 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-30 00:52:53 +0000 | bsima | (~bsima@143.198.118.179) bsima |
| 2024-11-30 00:53:02 +0000 | banner | (~banner@202.137.173.5) |
| 2024-11-30 00:53:06 +0000 | <probie> | > reverse . takeWhile (/=':') . reverse $ "Ipv6 23232:232323:2323232:...." |
| 2024-11-30 00:53:07 +0000 | <lambdabot> | "...." |
| 2024-11-30 00:54:39 +0000 | <hammond> | nice |
| 2024-11-30 01:01:08 +0000 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 01:02:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 01:02:22 +0000 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) |
| 2024-11-30 01:03:22 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-30 01:07:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 01:08:42 +0000 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 01:11:31 +0000 | <probie> | > ($ []) . foldl' (\acc x -> if x==':'then id else (acc . (x:))) id $ "Ipv6 23232:232323:2323232:...." -- for a single pass |
| 2024-11-30 01:11:32 +0000 | <lambdabot> | "...." |
| 2024-11-30 01:13:00 +0000 | <Leary> | > let post c xs = case dropWhile (/= c) xs of { [] -> xs; _:xs' -> post c xs' } in post ':' "Ipv6 23232:232323:2323232:...." -- Or recurse on `dropWhile`. |
| 2024-11-30 01:13:02 +0000 | <lambdabot> | "...." |
| 2024-11-30 01:14:40 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 265 seconds) |
| 2024-11-30 01:17:15 +0000 | geekosaur | wonders if it's always a /112 |
| 2024-11-30 01:17:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 01:21:34 +0000 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) |
| 2024-11-30 01:24:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 01:29:27 +0000 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2024-11-30 01:32:10 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2024-11-30 01:35:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 01:38:29 +0000 | Alleria_ | (~Alleria@user/alleria) (Remote host closed the connection) |
| 2024-11-30 01:39:38 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-30 01:40:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 01:41:54 +0000 | alp_ | (~alp@128-79-174-146.hfc.dyn.abo.bbox.fr) |
| 2024-11-30 01:45:05 +0000 | alp | (~alp@2001:861:8ca0:4940:c4a2:dad0:8587:ee9d) (Ping timeout: 260 seconds) |
| 2024-11-30 01:51:08 +0000 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-11-30 01:51:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 01:56:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 01:56:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-30 02:07:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 02:12:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 02:16:27 +0000 | banner | (~banner@202.137.173.5) (Ping timeout: 252 seconds) |
| 2024-11-30 02:16:59 +0000 | <koala_man> | hey, I forgot how to update package bounds for existing packages. How did that work again? |
| 2024-11-30 02:17:14 +0000 | <koala_man> | for dependencies that is |
| 2024-11-30 02:18:17 +0000 | foul_owl | (~kerry@185.219.141.161) (Ping timeout: 255 seconds) |
| 2024-11-30 02:23:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 02:28:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 02:31:12 +0000 | foul_owl | (~kerry@185.219.141.161) foul_owl |
| 2024-11-30 02:39:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 02:39:40 +0000 | <monochrom> | cabal oudated |
| 2024-11-30 02:44:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 02:52:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 02:59:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 03:05:34 +0000 | gvg | (~dcd@user/gvg) (Read error: Connection reset by peer) |
| 2024-11-30 03:09:05 +0000 | xff0x | (~xff0x@2405:6580:b080:900:b90f:ed1c:a9d8:6a75) (Ping timeout: 260 seconds) |
| 2024-11-30 03:09:12 +0000 | gvg | (~dcd@user/gvg) gvg |
| 2024-11-30 03:11:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 03:11:54 +0000 | td_ | (~td@i5387093D.versanet.de) (Ping timeout: 252 seconds) |
| 2024-11-30 03:12:11 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-30 03:13:44 +0000 | td_ | (~td@i5387090F.versanet.de) td_ |
| 2024-11-30 03:14:44 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2024-11-30 03:15:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 03:25:54 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-30 03:26:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 03:32:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 03:35:13 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there. https://files.catbox.moe/4yru45.pdf) |
| 2024-11-30 03:40:34 +0000 | xff0x | (~xff0x@2405:6580:b080:900:b90f:ed1c:a9d8:6a75) |
| 2024-11-30 03:42:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 03:47:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 03:48:44 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-30 03:58:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 04:03:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 04:14:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 04:15:26 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 265 seconds) |
| 2024-11-30 04:17:08 +0000 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-30 04:19:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 04:20:54 +0000 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-30 04:21:23 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2024-11-30 04:27:50 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-11-30 04:29:22 +0000 | agent314 | (~quassel@68.235.46.203) agent314 |
| 2024-11-30 04:29:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 04:35:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 04:36:03 +0000 | aforemny_ | (~aforemny@i577B135C.versanet.de) aforemny |
| 2024-11-30 04:36:42 +0000 | aforemny | (~aforemny@2001:9e8:6cdc:2b00:6753:61f2:45c1:85e) (Ping timeout: 265 seconds) |
| 2024-11-30 04:45:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 04:50:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 04:53:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 04:58:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 04:59:06 +0000 | banner | (~banner@202.137.173.5) |
| 2024-11-30 04:59:29 +0000 | troydm | (~troydm@user/troydm) (Ping timeout: 248 seconds) |
| 2024-11-30 05:08:38 +0000 | finsternis | (~X@23.226.237.192) finsternis |
| 2024-11-30 05:09:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 05:17:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-30 05:28:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 05:32:13 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-11-30 05:33:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 05:38:32 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:3504:b367:1fbc:1943) (Quit: WeeChat 4.4.1) |
| 2024-11-30 05:40:59 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:da2c:87ec:c4d8:e670) jle` |
| 2024-11-30 05:41:19 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:da2c:87ec:c4d8:e670) (Client Quit) |
| 2024-11-30 05:44:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 05:44:25 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-11-30 05:50:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 05:54:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 05:59:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 06:05:30 +0000 | Alleria | (~Alleria@user/alleria) (Ping timeout: 276 seconds) |
| 2024-11-30 06:10:23 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 06:10:29 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-30 06:16:54 +0000 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-11-30 06:19:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 06:20:49 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 06:26:23 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2024-11-30 06:30:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 06:33:21 +0000 | banner | (~banner@202.137.173.5) (Ping timeout: 248 seconds) |
| 2024-11-30 06:34:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 06:38:54 +0000 | Alleria | (~Alleria@user/alleria) (Ping timeout: 260 seconds) |
| 2024-11-30 06:44:49 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 2024-11-30 06:45:37 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2024-11-30 06:45:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 06:46:07 +0000 | <c_wraith> | and if you're using a freeze file, specify it with --v2-freeze-file to get your outdated transitive dependencies. |
| 2024-11-30 06:48:23 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there. https://files.catbox.moe/4yru45.pdf) |
| 2024-11-30 06:48:47 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 06:48:59 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-30 06:50:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 06:53:25 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2024-11-30 06:53:59 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 06:54:08 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-30 06:56:46 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Max SendQ exceeded) |
| 2024-11-30 06:58:10 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 06:59:26 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-30 07:00:14 +0000 | JamesMowery43 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-11-30 07:00:15 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2024-11-30 07:00:31 +0000 | JamesMowery43 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2024-11-30 07:00:57 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-30 07:03:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-30 07:04:55 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2024-11-30 07:05:39 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 07:12:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 07:13:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-30 07:14:59 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Ping timeout: 252 seconds) |
| 2024-11-30 07:15:39 +0000 | Alleria | (~Alleria@user/alleria) (Ping timeout: 260 seconds) |
| 2024-11-30 07:16:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 07:17:22 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 07:17:22 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-30 07:19:37 +0000 | Xe | (~Xe@perl/impostor/xe) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-11-30 07:19:55 +0000 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2024-11-30 07:21:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 07:22:19 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 07:22:49 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2024-11-30 07:24:01 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 07:32:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 07:36:02 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there. https://files.catbox.moe/4yru45.pdf) |
| 2024-11-30 07:36:11 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-11-30 07:36:27 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 07:37:44 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 07:38:29 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-30 07:39:06 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-11-30 07:42:39 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-11-30 07:48:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 07:50:13 +0000 | Alleria | (~Alleria@user/alleria) (Read error: Connection reset by peer) |
| 2024-11-30 07:56:09 +0000 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-30 07:57:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 07:58:41 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 248 seconds) |
| 2024-11-30 07:58:59 +0000 | turlando | (~turlando@user/turlando) turlando |
| 2024-11-30 08:00:03 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-30 08:00:39 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-30 08:12:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 08:15:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-30 08:17:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-30 08:20:37 +0000 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 248 seconds) |
| 2024-11-30 08:24:15 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2024-11-30 08:25:06 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-30 08:28:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 08:28:56 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-30 08:33:52 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-11-30 08:35:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 08:43:26 +0000 | Typedfern | (~Typedfern@59.red-83-37-27.dynamicip.rima-tde.net) (Ping timeout: 272 seconds) |
| 2024-11-30 08:46:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 08:47:05 +0000 | Typedfern | (~Typedfern@108.red-83-37-46.dynamicip.rima-tde.net) typedfern |
| 2024-11-30 08:48:19 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Read error: Connection reset by peer) |
| 2024-11-30 08:48:36 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 08:49:06 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) acidjnk |
| 2024-11-30 08:52:53 +0000 | Typedfern | (~Typedfern@108.red-83-37-46.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2024-11-30 08:53:12 +0000 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2024-11-30 08:53:56 +0000 | Typedfern | (~Typedfern@108.red-83-37-46.dynamicip.rima-tde.net) typedfern |
| 2024-11-30 08:54:41 +0000 | banner | (~banner@202.137.173.5) |
| 2024-11-30 08:55:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 08:55:40 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-30 08:58:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 09:00:01 +0000 | ubert | (~Thunderbi@178.165.179.0.wireless.dyn.drei.com) ubert |
| 2024-11-30 09:02:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 09:13:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 09:14:05 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-30 09:18:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 09:19:17 +0000 | AlexZenon | (~alzenon@178.34.162.156) (Ping timeout: 248 seconds) |
| 2024-11-30 09:22:01 +0000 | briandaed | (~root@user/briandaed) briandaed |
| 2024-11-30 09:23:33 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-30 09:25:29 +0000 | AlexZenon | (~alzenon@178.34.162.156) |
| 2024-11-30 09:29:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 09:32:21 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-30 09:33:49 +0000 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2024-11-30 09:34:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-30 09:37:24 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-11-30 09:43:57 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-11-30 09:44:40 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-30 09:45:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 09:50:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 09:58:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 10:01:06 +0000 | banner | (~banner@202.137.173.5) (Ping timeout: 246 seconds) |
| 2024-11-30 10:01:33 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2024-11-30 10:02:16 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 10:03:49 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-30 10:03:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 10:03:50 +0000 | alp_ | (~alp@128-79-174-146.hfc.dyn.abo.bbox.fr) (Remote host closed the connection) |
| 2024-11-30 10:04:14 +0000 | alp_ | (~alp@2001:861:8ca0:4940:1a77:cbd6:a927:4965) |
| 2024-11-30 10:14:44 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 10:16:00 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-30 10:16:29 +0000 | td_ | (~td@i5387090F.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-11-30 10:20:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-30 10:20:49 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-11-30 10:21:00 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-30 10:27:07 +0000 | td_ | (~td@i5387090F.versanet.de) |
| 2024-11-30 10:27:26 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-30 10:28:56 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-30 10:29:54 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there. https://files.catbox.moe/4yru45.pdf) |
| 2024-11-30 10:30:16 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-30 10:30:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 10:30:34 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 10:31:06 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-30 10:33:06 +0000 | img | (~img@user/img) img |
| 2024-11-30 10:33:12 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-11-30 10:33:45 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-30 10:35:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 10:37:04 +0000 | sprotte24 | (~sprotte24@p200300d16f2525006d115fd3ccbcd03f.dip0.t-ipconnect.de) |
| 2024-11-30 10:37:18 +0000 | sprotte24 | (~sprotte24@p200300d16f2525006d115fd3ccbcd03f.dip0.t-ipconnect.de) (Client Quit) |
| 2024-11-30 10:37:52 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-30 10:43:31 +0000 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2024-11-30 10:45:29 +0000 | FragByte | (~christian@user/fragbyte) FragByte |
| 2024-11-30 10:46:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 10:50:06 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-30 10:51:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-30 10:51:26 +0000 | img | (~img@user/img) img |
| 2024-11-30 10:53:22 +0000 | Guest43 | (~Guest43@85.254.74.29) |
| 2024-11-30 10:54:00 +0000 | gvg | (~dcd@user/gvg) (Ping timeout: 260 seconds) |
| 2024-11-30 10:59:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 11:00:32 +0000 | gvg | (~dcd@user/gvg) gvg |
| 2024-11-30 11:04:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 11:05:11 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2024-11-30 11:05:40 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 11:07:26 +0000 | Guest43 | (~Guest43@85.254.74.29) (Quit: Client closed) |
| 2024-11-30 11:09:18 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) billchenchina |
| 2024-11-30 11:11:17 +0000 | agent314 | (~quassel@68.235.46.203) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-11-30 11:12:27 +0000 | agent314 | (~quassel@68.235.46.203) agent314 |
| 2024-11-30 11:13:44 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-11-30 11:15:55 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 11:17:41 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-30 11:18:25 +0000 | agent314 | (~quassel@68.235.46.203) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-11-30 11:18:50 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-30 11:19:33 +0000 | sprotte24 | (~sprotte24@p200300d16f2525006d115fd3ccbcd03f.dip0.t-ipconnect.de) |
| 2024-11-30 11:19:54 +0000 | agent314 | (~quassel@68.235.46.203) agent314 |
| 2024-11-30 11:22:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 11:25:34 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-30 11:33:46 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-30 11:33:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 11:34:04 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Ping timeout: 260 seconds) |
| 2024-11-30 11:39:07 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-11-30 11:49:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 11:52:26 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 11:54:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 11:57:52 +0000 | dilaver_ | (~dilaver_@user/dilaver-:32218) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-30 11:58:23 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-30 12:00:08 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-30 12:00:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 12:02:14 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-30 12:03:33 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-30 12:06:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 12:16:21 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-11-30 12:16:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 12:19:38 +0000 | <haskellbridge> | <magic_rb> whats the way to load unboxed types? |
| 2024-11-30 12:19:46 +0000 | <haskellbridge> | <magic_rb> i mean peek, from a "Ptr a" |
| 2024-11-30 12:21:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-30 12:24:10 +0000 | <tomsmeding> | magic_rb: https://hackage.haskell.org/package/base-4.19.0.0/docs/GHC-Exts.html#v:readWord32OffAddr-35- |
| 2024-11-30 12:24:42 +0000 | <haskellbridge> | <magic_rb> tf is State# |
| 2024-11-30 12:25:23 +0000 | <tomsmeding> | % :i IO |
| 2024-11-30 12:25:23 +0000 | <yahb2> | type IO :: * -> * ; newtype IO a ; = GHC.Types.IO (GHC.Prim.State# GHC.Prim.RealWorld ; -> (# GHC.Prim.State# GHC.Prim.RealWorld, a #)) ; -- Defined in ‘GHC.Types’ ; instance... |
| 2024-11-30 12:25:41 +0000 | <tomsmeding> | % :i Control.Monad.ST.ST |
| 2024-11-30 12:25:41 +0000 | <yahb2> | type role GHC.Internal.ST.ST nominal representational ; type GHC.Internal.ST.ST :: * -> * -> * ; newtype GHC.Internal.ST.ST s a ; = GHC.Internal.ST.ST (GHC.Internal.ST.STRep s a) ; -- Defined ... |
| 2024-11-30 12:25:48 +0000 | <tomsmeding> | % :i Control.Monad.ST.STRep |
| 2024-11-30 12:25:48 +0000 | <yahb2> | <interactive>:1:1: error: [GHC-76037] ; Not in scope: data constructor ‘Control.Monad.ST.STRep’ |
| 2024-11-30 12:25:52 +0000 | <tomsmeding> | % :i GHC.ST.STRep |
| 2024-11-30 12:25:52 +0000 | <yahb2> | type GHC.Internal.ST.STRep :: * -> * -> * ; type GHC.Internal.ST.STRep s a = ; GHC.Prim.State# s -> (# GHC.Prim.State# s, a #) ; -- Defined in ‘GHC.Internal.ST’ |
| 2024-11-30 12:26:27 +0000 | <haskellbridge> | <magic_rb> okay i think ill tackle this detail later |
| 2024-11-30 12:26:40 +0000 | <tomsmeding> | magic_rb: IO a = State# RealWorld -> (# State# RealWorld, a #) |
| 2024-11-30 12:27:09 +0000 | <tomsmeding> | State# is nothing, its runtime representation is empty, but it's there so that GHC is forced to thread stuff through properly and not swap your IO operations around |
| 2024-11-30 12:27:26 +0000 | <tomsmeding> | % import GHC.Exts |
| 2024-11-30 12:27:26 +0000 | <yahb2> | <no output> |
| 2024-11-30 12:27:45 +0000 | <tomsmeding> | % import GHC.IO |
| 2024-11-30 12:27:46 +0000 | <yahb2> | <no output> |
| 2024-11-30 12:27:57 +0000 | <tomsmeding> | % :set -XMagicHash |
| 2024-11-30 12:27:58 +0000 | <yahb2> | <no output> |
| 2024-11-30 12:28:40 +0000 | <tomsmeding> | % :t \addr off -> IO (\s -> case readWord32OffAddr# addr off s of (# s', w #) -> (# s', W32# w #)) |
| 2024-11-30 12:28:40 +0000 | <yahb2> | <interactive>:1:63: error: [GHC-72516] Parse error in pattern: #s' |
| 2024-11-30 12:28:48 +0000 | <tomsmeding> | % :set -XUnboxedTuples |
| 2024-11-30 12:28:48 +0000 | <yahb2> | <no output> |
| 2024-11-30 12:28:51 +0000 | <tomsmeding> | % :t \addr off -> IO (\s -> case readWord32OffAddr# addr off s of (# s', w #) -> (# s', W32# w #)) |
| 2024-11-30 12:28:51 +0000 | <yahb2> | <interactive>:1:84: error: [GHC-88464] ; Data constructor not in scope: W32# :: Word32# -> a |
| 2024-11-30 12:28:59 +0000 | <tomsmeding> | % import GHC.Word |
| 2024-11-30 12:28:59 +0000 | <yahb2> | <no output> |
| 2024-11-30 12:29:01 +0000 | <tomsmeding> | % :t \addr off -> IO (\s -> case readWord32OffAddr# addr off s of (# s', w #) -> (# s', W32# w #)) |
| 2024-11-30 12:29:01 +0000 | <yahb2> | \addr off -> IO (\s -> case readWord32OffAddr# addr off s of (# s', w #) -> (# s', W32# w #)) ; :: Addr# -> Int# -> IO Word32 |
| 2024-11-30 12:29:17 +0000 | <tomsmeding> | magic_rb: the kind of IO is * -> *, so you can' return an unboxed type in IO |
| 2024-11-30 12:29:30 +0000 | <tomsmeding> | *can't |
| 2024-11-30 12:29:39 +0000 | <haskellbridge> | <magic_rb> ah so you kind of have to go lower level |
| 2024-11-30 12:29:40 +0000 | <haskellbridge> | <magic_rb> faer |
| 2024-11-30 12:29:43 +0000 | <haskellbridge> | <magic_rb> *fair |
| 2024-11-30 12:30:56 +0000 | <tomsmeding> | magic_rb: but double-check that GHC won't just unpack all your Word32s if you use boxed ones |
| 2024-11-30 12:31:06 +0000 | <tomsmeding> | you may not need the unboxed primops |
| 2024-11-30 12:31:08 +0000 | <haskellbridge> | <magic_rb> word64 and 16 of them |
| 2024-11-30 12:31:20 +0000 | <tomsmeding> | s/Word32/Word64/g |
| 2024-11-30 12:31:27 +0000 | <haskellbridge> | <magic_rb> i need to also do a lot of masking and shifting around |
| 2024-11-30 12:31:49 +0000 | <tomsmeding> | if all the code is visible and inlined, GHC does quite a good job at eliminating all the boxes |
| 2024-11-30 12:32:14 +0000 | <haskellbridge> | <magic_rb> id rather be explicit about this |
| 2024-11-30 12:32:19 +0000 | <haskellbridge> | <magic_rb> this struct is the core pointer of zfs |
| 2024-11-30 12:32:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 12:32:43 +0000 | <tomsmeding> | use {-# UNPACK #-}? |
| 2024-11-30 12:33:01 +0000 | <haskellbridge> | <magic_rb> no i mean like |
| 2024-11-30 12:33:02 +0000 | <haskellbridge> | <magic_rb> #define MASK_AND_SHIFT(field, mask, shift) |
| 2024-11-30 12:33:02 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/jskWMePmmCHXJreRVztYXSIf/czpDqECIcEA (3 lines) |
| 2024-11-30 12:33:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-30 12:33:15 +0000 | <haskellbridge> | <magic_rb> i have that to extract out the things |
| 2024-11-30 12:33:56 +0000 | <tomsmeding> | what happens if you just make a boxed wrapper of that uncheckedShiftRL64# |
| 2024-11-30 12:34:01 +0000 | <tomsmeding> | and mark it {-# INLINE #-} |
| 2024-11-30 12:34:13 +0000 | <tomsmeding> | likely that will result in the same Core after optimisation |
| 2024-11-30 12:34:18 +0000 | <tomsmeding> | profile first, optimise later :p |
| 2024-11-30 12:34:20 +0000 | <haskellbridge> | <magic_rb> you lost me, boxed wrapper of what? |
| 2024-11-30 12:34:31 +0000 | <tomsmeding> | I'm referring to the code you just posted |
| 2024-11-30 12:34:40 +0000 | <haskellbridge> | <magic_rb> oh |
| 2024-11-30 12:34:47 +0000 | <haskellbridge> | <magic_rb> so define actual functions not macros |
| 2024-11-30 12:34:53 +0000 | <tomsmeding> | no |
| 2024-11-30 12:35:02 +0000 | <tomsmeding> | uncheckShiftRL64# works on unboxed types |
| 2024-11-30 12:35:05 +0000 | <tomsmeding> | make a boxed version of it |
| 2024-11-30 12:35:14 +0000 | <tomsmeding> | Word64 -> Int -> Word64 |
| 2024-11-30 12:35:18 +0000 | <tomsmeding> | mark it {-# INLINE #-} |
| 2024-11-30 12:35:46 +0000 | <tomsmeding> | and then juts write #define MASK_AND_SHIFT(field, mask, shift) (field .&. mask) `uncheckedShiftRL64` shift |
| 2024-11-30 12:35:58 +0000 | <haskellbridge> | <magic_rb> oh |
| 2024-11-30 12:36:00 +0000 | <tomsmeding> | profile first, optimise later |
| 2024-11-30 12:36:07 +0000 | <haskellbridge> | <magic_rb> very fair :) |
| 2024-11-30 12:36:41 +0000 | <tomsmeding> | sure, putting boxed words in a data type is probably a bad idea if you're going to do (implicitly unboxed) arithmetic on them, so mark them {-# UNPACK #-} |
| 2024-11-30 12:37:06 +0000 | <tomsmeding> | then look at your Core |
| 2024-11-30 12:37:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 12:37:36 +0000 | <tomsmeding> | I'm not sure, never used it myself, but you might even be able to use inspection-testing in some clever way to write a test that a certain computation does not allocate |
| 2024-11-30 12:38:38 +0000 | <haskellbridge> | <magic_rb> okay ill keep this in mind |
| 2024-11-30 12:38:45 +0000 | <haskellbridge> | <magic_rb> i already have the explicitly unboxed code |
| 2024-11-30 12:38:49 +0000 | <tomsmeding> | right |
| 2024-11-30 12:38:51 +0000 | <haskellbridge> | <magic_rb> i might swap it later |
| 2024-11-30 12:39:52 +0000 | <tomsmeding> | sometimes using explicit unboxing does help, I've seen it help in some code I wrote in the past |
| 2024-11-30 12:40:01 +0000 | <tomsmeding> | but the effect wasn't huge |
| 2024-11-30 12:40:17 +0000 | <tomsmeding> | and that was code where GHC probably wasn't able to inline everything relevant |
| 2024-11-30 12:41:54 +0000 | <tomsmeding> | the intuition you should I think have about GHC's auto-unboxing is two things: |
| 2024-11-30 12:43:32 +0000 | <tomsmeding> | 1. the primitive arithmetic operations are implemented in terms of ones on unboxed values, so if e.g. (+) is inlined, it resolves to something like `case x of I# a -> case y of I# b -> I# (a + b)` in Core. Then add the standard case-of-known-constructor optimisation: `case I# x of I# a -> E` to `E[a := x]` |
| 2024-11-30 12:44:33 +0000 | <tomsmeding> | 2. the worker-wrapper transformation: if a function has type Int -> Int, and it's strict, then GHC defines a "worker" function with type Int# -> Int# that does the actual work and a "wrapper" function that is marked INLINE and calls the worker |
| 2024-11-30 12:44:51 +0000 | <tomsmeding> | (1.) does intra-procedural unboxing, (2.) does inter-procedural unboxing |
| 2024-11-30 12:45:06 +0000 | <tomsmeding> | (using Int for illustration purposes here) |
| 2024-11-30 12:45:33 +0000 | <tomsmeding> | if your code is simple enough, this is very effective |
| 2024-11-30 12:46:01 +0000 | <tomsmeding> | the more data structure indirection you have, or non-inlined polymorphism, etc., the less well it works |
| 2024-11-30 12:47:12 +0000 | <haskellbridge> | <magic_rb> right |
| 2024-11-30 12:47:19 +0000 | <haskellbridge> | <magic_rb> okay so marking all of it inline should be goodenough |
| 2024-11-30 12:48:10 +0000 | <haskellbridge> | <magic_rb> ill commit the unboxed version then rewrite |
| 2024-11-30 12:48:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 12:50:01 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-30 12:52:04 +0000 | <haskellbridge> | <magic_rb> assuming that everything on disk is immutable (and therefore only read once) how bad of an idea is to define "Show (IORef (Maybe Object)))" using "unsafePerformIO" |
| 2024-11-30 12:52:29 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Ping timeout: 245 seconds) |
| 2024-11-30 12:53:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 12:54:16 +0000 | <tomsmeding> | if it's immutable, why have an IORef at all |
| 2024-11-30 12:54:35 +0000 | <tomsmeding> | so yes I would say that is bad, design your types to fit the usage :p |
| 2024-11-30 12:54:47 +0000 | <haskellbridge> | <magic_rb> its immutable |
| 2024-11-30 12:54:54 +0000 | <haskellbridge> | <magic_rb> but it needs to lazy load and thats an IO op |
| 2024-11-30 12:54:58 +0000 | <haskellbridge> | <magic_rb> from disk |
| 2024-11-30 12:55:13 +0000 | <tomsmeding> | why not have a pure (non-IORef) value that you create using unsafeInterleaveIO |
| 2024-11-30 12:55:21 +0000 | <haskellbridge> | <magic_rb> oh i tried that last time |
| 2024-11-30 12:55:23 +0000 | <haskellbridge> | <magic_rb> and it was hell |
| 2024-11-30 12:55:25 +0000 | <tomsmeding> | perhaps unsafePerformIO is good enough |
| 2024-11-30 12:55:43 +0000 | <haskellbridge> | <magic_rb> because i had absolutely no idea when ghc would decide to load a thing |
| 2024-11-30 12:55:46 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-30 12:55:49 +0000 | <tomsmeding> | when you evaluate it ;) |
| 2024-11-30 12:55:53 +0000 | <tomsmeding> | but yes |
| 2024-11-30 12:56:15 +0000 | <haskellbridge> | <magic_rb> and also i might have to abort a load if the transaction number changes because then i might return stale data |
| 2024-11-30 12:56:25 +0000 | <tomsmeding> | if you're doing stuff like this, is your FS implementation really safer than whatever C did? |
| 2024-11-30 12:56:35 +0000 | <haskellbridge> | <magic_rb> so yeah i need to be explicit here i think |
| 2024-11-30 12:56:36 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-30 12:56:45 +0000 | <haskellbridge> | <magic_rb> honestly, not sure |
| 2024-11-30 12:56:58 +0000 | <tomsmeding> | unboxing is not unsafe, it just looks scary with all the # |
| 2024-11-30 12:57:03 +0000 | <haskellbridge> | <magic_rb> but id do the same in rust, so i guess so |
| 2024-11-30 12:57:30 +0000 | <haskellbridge> | <magic_rb> we'll see, im experimenting right now |
| 2024-11-30 12:57:35 +0000 | <tomsmeding> | if that Show instance is really only for debugging I guess you can do it |
| 2024-11-30 12:57:36 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 276 seconds) |
| 2024-11-30 12:57:40 +0000 | <tomsmeding> | but please please only for debugging |
| 2024-11-30 12:58:00 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) acidjnk |
| 2024-11-30 12:58:27 +0000 | <haskellbridge> | <magic_rb> yeah its only for debugging |
| 2024-11-30 12:59:04 +0000 | tomsmeding | afk |
| 2024-11-30 13:01:56 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 13:07:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 13:13:39 +0000 | SlackCoder | (~SlackCode@208.26.70.132) SlackCoder |
| 2024-11-30 13:13:57 +0000 | SlackCoder | (~SlackCode@208.26.70.132) (Client Quit) |
| 2024-11-30 13:17:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 13:22:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 13:33:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 13:34:34 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-11-30 13:38:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 13:38:38 +0000 | AlexZenon | (~alzenon@178.34.162.156) (Quit: ;-) |
| 2024-11-30 13:39:59 +0000 | AlexNoo | (~AlexNoo@178.34.162.156) (Quit: Leaving) |
| 2024-11-30 13:49:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 13:49:27 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) acidjnk |
| 2024-11-30 13:51:40 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-30 13:53:56 +0000 | agent314 | (~quassel@68.235.46.203) (Ping timeout: 252 seconds) |
| 2024-11-30 13:54:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-30 13:57:40 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-11-30 14:00:04 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-30 14:02:39 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-30 14:02:41 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) billchenchina |
| 2024-11-30 14:02:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 14:05:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-30 14:10:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 14:14:06 +0000 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-11-30 14:20:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 14:25:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-30 14:25:43 +0000 | agent314 | (~quassel@68.235.46.203) agent314 |
| 2024-11-30 14:27:27 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-11-30 14:29:27 +0000 | <hammond> | how does haskell implement regex, I tried PCRE and the TFDA libs and they seem to have some cases where they dont work. |
| 2024-11-30 14:30:36 +0000 | <sshine> | hammond, there is https://hackage.haskell.org/package/regex-applicative |
| 2024-11-30 14:32:49 +0000 | <sshine> | hammond, here's an example: https://dev.to/sshine/comment/1501a -- compare it to how you would write the same parser using Megaparsec: https://dev.to/sshine/comment/1502i |
| 2024-11-30 14:32:54 +0000 | <hammond> | sshine: are they using the common regex languages? it seems diff |
| 2024-11-30 14:34:35 +0000 | <tomsmeding> | hammond: in what way do they "not work"? |
| 2024-11-30 14:34:55 +0000 | <hammond> | i may be jst waking up, but it looks diff than regex syntax. |
| 2024-11-30 14:35:09 +0000 | <tomsmeding> | it does, but what did you mean with "some cases where they don't work"? |
| 2024-11-30 14:36:04 +0000 | <hammond> | tomsmeding: i wrote a regex to parse a hostname yesterday, and it had ipv6 init, and it didn't work, on other places i tried it worked. and sometimes the PCRE didnt work because I had large files to parse, where I had to switch to TFDA |
| 2024-11-30 14:36:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 14:36:44 +0000 | <tomsmeding> | did you check the documentation for exactly what syntax they require? If it just "fails" for a certain regex that sounds like a bug |
| 2024-11-30 14:36:52 +0000 | <tomsmeding> | and if it fails for large files, that also sounds like a bug |
| 2024-11-30 14:37:13 +0000 | <sshine> | hammond, what is "the common regex languages"? regex-applicative is regular, if that's what you mean. do you mean if they're using the common regex syntax? no, it's an embedded DSL using combinators. |
| 2024-11-30 14:37:44 +0000 | <tomsmeding> | there is no standard regex, even if they use the traditional string syntax; essentially every implementation has slightly different choices regarding which symbols require a backslash and which don't |
| 2024-11-30 14:37:56 +0000 | <hammond> | tomsmeding: i felt that they were porting this from C and never set some of the flags or something like this, so this is why i was wondering if it was fully written in Haskell or something else. |
| 2024-11-30 14:38:04 +0000 | <tomsmeding> | grep != grep -E != javascript != python |
| 2024-11-30 14:38:29 +0000 | <tomsmeding> | do you know which flags it was missing? |
| 2024-11-30 14:39:06 +0000 | <tomsmeding> | (and which PCRE library did you use?) |
| 2024-11-30 14:39:37 +0000 | <hammond> | no, I tried very hard to figure out what was wrong, by trail and error, and after a while this notion washed over me. I have no hard evidence to speak of however. |
| 2024-11-30 14:41:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 14:41:38 +0000 | <tomsmeding> | (there is no "PCRE" library on Hackage, but there is pcre-light, regex-pcre, pcre-heavy, pcre2, and more -- which did you try?) |
| 2024-11-30 14:42:25 +0000 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 14:42:45 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-30 14:46:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-30 14:46:57 +0000 | <hellwolf> | https://gitlab.haskell.org/ghc/ghc/-/issues/19477 <-- do notation syntax question... why they are different |
| 2024-11-30 14:47:08 +0000 | <hellwolf> | sorry wrong link |
| 2024-11-30 14:47:13 +0000 | <hellwolf> | https://paste.tomsmeding.com/AqnDNmS6 <-- tis |
| 2024-11-30 14:47:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-30 14:47:57 +0000 | <tomsmeding> | hellwolf: if a line in a do-block is not indented, it is the start of a new statement |
| 2024-11-30 14:48:53 +0000 | <tomsmeding> | the first snippet should mean the same as putting mkUnit directly below 'val' like in the second snippet, but indenting the & lines like in the first |
| 2024-11-30 14:49:09 +0000 | <tomsmeding> | the parentheses are unnecessary, but the indentation is |
| 2024-11-30 14:52:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 14:53:20 +0000 | hammond | (proscan@user/hammond2) (Ping timeout: 252 seconds) |
| 2024-11-30 14:56:42 +0000 | <hellwolf> | I see, and that makes sense. I didn't know about this little syntax thing. |
| 2024-11-30 14:57:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 14:57:33 +0000 | <hellwolf> | But I am getting rid of this reverse pipeline syntax anyways. Not only because this syntax is a bit surprising, it seems not mixing well with do notation anyhow. |
| 2024-11-30 14:57:42 +0000 | <hellwolf> | *this rule |
| 2024-11-30 14:58:24 +0000 | hammond | (proscan@user/hammond2) hammond2 |
| 2024-11-30 14:58:49 +0000 | <hammond> | i spilled coffee on my keyboard what was the end of that convo |
| 2024-11-30 15:00:05 +0000 | <tomsmeding> | hammond: https://ircbrowse.tomsmeding.com/browse/lchaskell |
| 2024-11-30 15:01:24 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-11-30 15:01:53 +0000 | <hammond> | this chart shows who has native implementation and who hasn't and which type of regex is supported https://wiki.haskell.org/Regular_expressions |
| 2024-11-30 15:01:59 +0000 | euleritian | (~euleritia@dynamic-176-006-139-000.176.6.pool.telefonica.de) |
| 2024-11-30 15:01:59 +0000 | <hammond> | lemmi see ur link |
| 2024-11-30 15:03:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 15:05:42 +0000 | <hammond> | tomsmeding: I was using the PCRE and the TFDA found inside of Text.Regex https://hackage.haskell.org/package/regex-pcre |
| 2024-11-30 15:05:45 +0000 | <hammond> | btw |
| 2024-11-30 15:06:44 +0000 | <tomsmeding> | I think regex-pcre is relatively popular when it comes to haskell regex libraries, so if you've found a bug, definitely report it |
| 2024-11-30 15:07:33 +0000 | <haskellbridge> | <magic_rb> I was looking at that one too for parsing of log lines from different services, kind of like telegraf |
| 2024-11-30 15:07:38 +0000 | <hammond> | and I liked the =~ "regex_here" :: [[String]] |
| 2024-11-30 15:08:07 +0000 | <tomsmeding> | (sorry for pushing the conversation towards "what is the bug" but without a concrete issue, I feel there's not much to discuss :p) |
| 2024-11-30 15:08:17 +0000 | <hammond> | But if the regex grouping is nested in that above there ^ more than 2 times it would be a mess i think. |
| 2024-11-30 15:08:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 15:09:05 +0000 | <hammond> | tomsmeding: I can try and replicate the bug I suppose. |
| 2024-11-30 15:17:27 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) acidjnk |
| 2024-11-30 15:19:44 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 15:21:30 +0000 | <hammond> | https://pastebin.com/S6rUMkXC there |
| 2024-11-30 15:23:31 +0000 | <tomsmeding> | apparently regex-tdfa doesn't do \s |
| 2024-11-30 15:23:38 +0000 | <tomsmeding> | `" " =~ "\\s" :: [[String]]` yields [] |
| 2024-11-30 15:23:39 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-30 15:24:18 +0000 | <hammond> | idk even with the spaces it may not work. lemmi check |
| 2024-11-30 15:24:23 +0000 | <tomsmeding> | ah, regex-tdfa claims to implement posix extended regular expressions |
| 2024-11-30 15:24:57 +0000 | <tomsmeding> | hammond: if I change your regex to "PRIVMSG +[^ ]+ +:(.*)" then it yields "Test" |
| 2024-11-30 15:25:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 15:26:10 +0000 | <hammond> | tomsmeding: |
| 2024-11-30 15:26:14 +0000 | <hammond> | fair enough |
| 2024-11-30 15:30:31 +0000 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) tdammers |
| 2024-11-30 15:32:10 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-30 15:32:40 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-11-30 15:34:45 +0000 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 15:35:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 15:37:12 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-30 15:39:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-30 15:43:38 +0000 | <hellwolf> | OMG, I made a safe linear versioned monad working. Which, in short words, data that retrieved from side effects (storage or external calls) are versioned: if you use a data that are from a previous revision, where the current revision is always required, it is a type-error in compile time! |
| 2024-11-30 15:43:58 +0000 | <hellwolf> | Just need the QualifiedDo. |
| 2024-11-30 15:44:37 +0000 | <hellwolf> | • Couldn't match type ‘vd0’ |
| 2024-11-30 15:44:37 +0000 | <hellwolf> | with ‘vd0 ghc-internal-9.1001.0:GHC.Internal.TypeNats.+ 1’ |
| 2024-11-30 15:44:37 +0000 | <hellwolf> | arising from a use of ‘call'l’ |
| 2024-11-30 15:44:37 +0000 | <hellwolf> | ^-- need to improve this error message, but it's working in principle. |
| 2024-11-30 15:44:45 +0000 | <hellwolf> | I will post the LinearVersionMonad: |
| 2024-11-30 15:45:55 +0000 | <hellwolf> | https://paste.tomsmeding.com/C2K92fPD |
| 2024-11-30 15:48:07 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-11-30 15:49:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-30 15:51:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 15:55:56 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-11-30 15:56:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 15:56:12 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-11-30 15:57:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-30 16:00:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 16:08:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-30 16:08:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 16:08:42 +0000 | ubert | (~Thunderbi@178.165.179.0.wireless.dyn.drei.com) (Ping timeout: 276 seconds) |
| 2024-11-30 16:14:15 +0000 | euleritian | (~euleritia@dynamic-176-006-139-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-30 16:14:32 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-30 16:22:22 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 16:27:33 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-11-30 16:27:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 16:38:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 16:40:35 +0000 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) tdammers |
| 2024-11-30 16:42:37 +0000 | sudden | (~cat@user/sudden) (Ping timeout: 244 seconds) |
| 2024-11-30 16:43:11 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-30 16:43:41 +0000 | sudden | (~cat@user/sudden) sudden |
| 2024-11-30 16:53:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 17:00:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 17:02:07 +0000 | bwe | is currently playing around with implementing a simple Mass system: https://paste.tomsmeding.com/XNRLIH0s <- how can I optimise it further? |
| 2024-11-30 17:05:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 17:08:41 +0000 | AlexNoo | (~AlexNoo@5.139.233.9) |
| 2024-11-30 17:12:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 17:12:51 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2024-11-30 17:16:17 +0000 | AlexZenon | (~alzenon@5.139.233.9) |
| 2024-11-30 17:21:39 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-11-30 17:22:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 17:27:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 17:29:17 +0000 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2024-11-30 17:31:47 +0000 | Square | (~Square@user/square) Square |
| 2024-11-30 17:33:43 +0000 | <haskellbridge> | <hellwolf> What's the goal of the optimization? |
| 2024-11-30 17:38:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 17:40:20 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-30 17:43:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-30 17:46:46 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-11-30 17:46:57 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-11-30 17:49:04 +0000 | euleritian | (~euleritia@dynamic-176-001-251-152.176.1.pool.telefonica.de) |
| 2024-11-30 17:52:00 +0000 | euleritian | (~euleritia@dynamic-176-001-251-152.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-30 17:52:17 +0000 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-30 17:54:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 17:56:25 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2024-11-30 17:57:14 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 17:59:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 18:03:24 +0000 | agent314 | (~quassel@68.235.46.203) (Ping timeout: 246 seconds) |
| 2024-11-30 18:04:19 +0000 | Xe | (~Xe@perl/impostor/xe) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-11-30 18:04:37 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-11-30 18:05:18 +0000 | Logio | (em@kapsi.fi) (Remote host closed the connection) |
| 2024-11-30 18:05:46 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-30 18:05:56 +0000 | ent | (entgod@kapsi.fi) (Remote host closed the connection) |
| 2024-11-30 18:06:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 18:06:21 +0000 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2024-11-30 18:06:28 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2024-11-30 18:06:35 +0000 | Piedro | (~Piedro@84.15.223.200) Piedro |
| 2024-11-30 18:07:07 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-11-30 18:07:15 +0000 | Piedro | (~Piedro@84.15.223.200) (Remote host closed the connection) |
| 2024-11-30 18:07:28 +0000 | Piedro | (~Piedro@84.15.223.200) Piedro |
| 2024-11-30 18:11:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 18:15:05 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2024-11-30 18:15:38 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 18:20:06 +0000 | <bwe> | hellwolf: mainly the right data type for the actual number, implementation of the normalise function including testing. |
| 2024-11-30 18:21:57 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) acidjnk |
| 2024-11-30 18:22:00 +0000 | michalz | (~michalz@185.246.207.200) |
| 2024-11-30 18:23:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 18:27:07 +0000 | ent | (entgod@kapsi.fi) ent |
| 2024-11-30 18:28:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 18:38:55 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 18:49:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 18:54:58 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-30 18:55:56 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 2024-11-30 18:59:40 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-11-30 18:59:41 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-30 19:01:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 19:02:51 +0000 | rvalue- | rvalue |
| 2024-11-30 19:04:03 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-11-30 19:06:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-11-30 19:17:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 19:21:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 19:22:41 +0000 | <hellwolf> | bwe: I see. Do we really need the Dim type? |
| 2024-11-30 19:23:47 +0000 | <hellwolf> | Ah, it is for the 1000 scaling per each label. |
| 2024-11-30 19:23:49 +0000 | <hellwolf> | Hmm, okay. |
| 2024-11-30 19:26:21 +0000 | Piedro | (~Piedro@84.15.223.200) (Remote host closed the connection) |
| 2024-11-30 19:26:29 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-30 19:26:41 +0000 | Piedro | (~Piedro@84.15.223.200) Piedro |
| 2024-11-30 19:26:53 +0000 | banner | (~banner@202.137.173.5) |
| 2024-11-30 19:28:44 +0000 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there. https://files.catbox.moe/4yru45.pdf) |
| 2024-11-30 19:30:04 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-30 19:33:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 19:33:54 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-30 19:36:13 +0000 | Piedro | (~Piedro@84.15.223.200) (Remote host closed the connection) |
| 2024-11-30 19:37:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-30 19:48:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 19:53:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 19:54:34 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-11-30 20:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-30 20:00:37 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-30 20:03:27 +0000 | flounders | (~flounders@173.246.200.74) (Quit: WeeChat 4.4.2) |
| 2024-11-30 20:03:39 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-30 20:03:49 +0000 | euphores | (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
| 2024-11-30 20:12:44 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) acidjnk |
| 2024-11-30 20:14:19 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-11-30 20:14:40 +0000 | <hellwolf> | really don't know how to use constraits withDict \\ Sub Dict, etc... still. Anyone got a good example code to look at? |
| 2024-11-30 20:20:23 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 20:25:10 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 20:29:57 +0000 | <markasoftware> | In Aeson, if I have a custom "enum" data type, eg `data ColorTheme = Light | Dark` and I want it to serialize as "light" or "dark" in JSON, is the right thing to do just create a `ToJSON` instance for my type with `toJSON` specified? Is there any benefit to be gained from implementing `toEncoding` in this case? It seems any toEncoding implementation I could write would amount to doing the exact same thing that Aeson will do anyway (just call toJSON |
| 2024-11-30 20:29:57 +0000 | <markasoftware> | then convert to an encoding) |
| 2024-11-30 20:30:09 +0000 | simendsjo | (~user@84.211.91.108) simendsjo |
| 2024-11-30 20:30:39 +0000 | <markasoftware> | or more generally, am I correct in understanding that the only time one should implement toEncoding is for objects and arrays? |
| 2024-11-30 20:33:33 +0000 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2024-11-30 20:35:46 +0000 | <probie> | `toEncoding` exists for performance reasons. It lets you go straight from your type to serialised JSON without going through the `JSON` datatype in the middle |
| 2024-11-30 20:36:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 20:41:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-30 20:46:16 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-11-30 20:48:28 +0000 | <hellwolf> | Alright, answering my own question: replaced unsafeAxiom with "Dict \\ (leTrans @va @vb @vc) \\ alteb \\ bltec". That was convoluted. |
| 2024-11-30 20:51:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 20:54:43 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-30 20:55:05 +0000 | <hellwolf> | leTrans is to prove when vb <= vc (as in alteb Dict) and va <= vc (as in bltec Dict), it can entail va <= vc. Obviously. Not sure if it provides more benefit than just hand wave with unsafeAxiom. |
| 2024-11-30 20:57:10 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 21:03:17 +0000 | hellwolf | (~user@f887-92f8-0256-c4f3-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds) |
| 2024-11-30 21:06:15 +0000 | <sprotte24> | Hi |
| 2024-11-30 21:07:44 +0000 | <sprotte24> | I have a problem with ghci. I wanted ti design an infitite list. But my ghci hangs from infinite |
| 2024-11-30 21:07:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 21:09:22 +0000 | <sprotte24> | avalanche :: [Integer] |
| 2024-11-30 21:09:23 +0000 | <sprotte24> | avalanche = sort [5^i * 7^j * 11^k | i <- [0..9], j <- [0..9], k <- [0..9]] |
| 2024-11-30 21:10:21 +0000 | <sprotte24> | this program runs, but when I remove the upper limit 9 for i, j, k, the system hangs |
| 2024-11-30 21:10:36 +0000 | hellwolf | (~user@0cc0-3799-5822-4beb-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2024-11-30 21:10:39 +0000 | <sprotte24> | [0 ..] |
| 2024-11-30 21:12:02 +0000 | <hellwolf> | huh, how can you sort an infinite list? |
| 2024-11-30 21:12:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 21:14:49 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-30 21:15:28 +0000 | <sprotte24> | yes, this is a problem, as I cannot sort without endless waiting? |
| 2024-11-30 21:17:53 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2024-11-30 21:18:20 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2024-11-30 21:18:26 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2024-11-30 21:19:08 +0000 | <sprotte24> | If I use ghci> take 10 avalache it works an I get [1,5,7,11,25,35,49,55,77,121] |
| 2024-11-30 21:19:52 +0000 | <sprotte24> | but not wir out restrict the exponents |
| 2024-11-30 21:19:53 +0000 | <tomsmeding> | sprotte24: how can sort know what the first element to return is, if it can't see the full list? |
| 2024-11-30 21:20:26 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2024-11-30 21:20:26 +0000 | <tomsmeding> | the first element of the result of 'sort' must be the minimum, but sort can't know if a smaller value will appear after a billion elements |
| 2024-11-30 21:22:41 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-11-30 21:23:03 +0000 | <geekosaur> | (updating docker) |
| 2024-11-30 21:23:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 21:23:34 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-11-30 21:23:34 +0000 | ChanServ | +v haskellbridge |
| 2024-11-30 21:30:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 21:33:56 +0000 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Remote host closed the connection) |
| 2024-11-30 21:35:21 +0000 | <sprotte24> | for the lowest base 5, 5⁴ = 625. so we can be sure, that with exponent 4 the lowest number is 625*1*1. |
| 2024-11-30 21:38:06 +0000 | <hellwolf> | are you asking GHC to do math proof? |
| 2024-11-30 21:38:32 +0000 | <geekosaur> | wolfram alpha or similar symbolic algebra package might be able to work that out; haskell is not such a system |
| 2024-11-30 21:38:37 +0000 | <hellwolf> | btw, what's the context, why are you tackling this problem, and what is the problem statement? |
| 2024-11-30 21:39:14 +0000 | <geekosaur> | `sort` has no clue that you're handing it exponents that form a mathematical pattern |
| 2024-11-30 21:39:38 +0000 | <geekosaur> | it knows you're handing it values of a type with an `Ord` instance, period |
| 2024-11-30 21:39:56 +0000 | <sprotte24> | It is my homework from our university |
| 2024-11-30 21:41:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 21:41:42 +0000 | <geekosaur> | what is the actual assignment? perhaps you're going about this the wrong way |
| 2024-11-30 21:41:59 +0000 | <geekosaur> | similarly to how trying to solve Euler problems via brute force is almost always a mistake |
| 2024-11-30 21:44:02 +0000 | anon65078839 | (~anon65078@81.98.188.70) |
| 2024-11-30 21:46:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-30 21:47:33 +0000 | <sprotte24> | yes, exponent [0..] is brute force. I have to iterate all three exponents to find the next numer greater than the last. |
| 2024-11-30 21:48:06 +0000 | <geekosaur> | you are missing my point |
| 2024-11-30 21:48:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 21:48:29 +0000 | <geekosaur> | sort does not know that you are doing that |
| 2024-11-30 21:48:39 +0000 | <geekosaur> | it knows it's been given a bunch of numbers |
| 2024-11-30 21:49:52 +0000 | <geekosaur> | what is your actual problem? the correct solution probably involves taking advantage of how the numbers are being geenerated, not blindly throwing them at sort |
| 2024-11-30 21:50:18 +0000 | <geekosaur> | > filter (<5) [1..] |
| 2024-11-30 21:50:24 +0000 | <lambdabot> | mueval-core: Time limit exceeded |
| 2024-11-30 21:51:01 +0000 | <geekosaur> | just as sort doesn't know you're working with exponents, filter doesn't know that there will never be another value less than 5 from [1..] |
| 2024-11-30 21:51:10 +0000 | <geekosaur> | haskell is not a computer algebra system |
| 2024-11-30 21:54:00 +0000 | Everything | (~Everythin@46.211.64.83) Everything |
| 2024-11-30 21:54:38 +0000 | <sprotte24> | also Microsoft Copilot (AI) presentetd no working solution |
| 2024-11-30 21:56:26 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-11-30 21:56:44 +0000 | <sprotte24> | perhaps I could use deep search to find the path to the next number. |
| 2024-11-30 21:57:57 +0000 | <anon65078839> | hi - what's everyone working on? |
| 2024-11-30 22:04:40 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-30 22:06:27 +0000 | <hellwolf> | ^-- apparently the effect system thread in the discourse is getting heated again, lots of references to read into... but no time for now. |
| 2024-11-30 22:08:16 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2024-11-30 22:09:53 +0000 | simendsjo | (~user@84.211.91.108) (Ping timeout: 265 seconds) |
| 2024-11-30 22:13:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 22:17:00 +0000 | <ski> | > powers_5_7_11 -- sprotte24 |
| 2024-11-30 22:17:01 +0000 | <lambdabot> | [1,5,7,11,25,35,35,49,55,55,77,77,121,125,175,175,175,245,245,245,275,275,27... |
| 2024-11-30 22:17:44 +0000 | banner | (~banner@202.137.173.5) (Ping timeout: 252 seconds) |
| 2024-11-30 22:18:00 +0000 | <ski> | (using a similar technique to fibonacci numbers defined using `zipWith' ..) |
| 2024-11-30 22:25:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-30 22:25:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 22:27:01 +0000 | <hellwolf> | aha, i have a guess now: so the assignment was to produce an infinite sorted list :) |
| 2024-11-30 22:27:29 +0000 | <hellwolf> | now that makes sense :) one should really share the context before asking others to check your solution. |
| 2024-11-30 22:29:26 +0000 | <geekosaur> | they were specifically asked to do so multiple times by multiple people |
| 2024-11-30 22:29:31 +0000 | <geekosaur> | the result was silence |
| 2024-11-30 22:29:58 +0000 | <hellwolf> | time changes. |
| 2024-11-30 22:30:02 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-11-30 22:30:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 22:30:29 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-11-30 22:31:53 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-11-30 22:33:25 +0000 | talisman` | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-11-30 22:33:38 +0000 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2024-11-30 22:33:39 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-30 22:36:36 +0000 | sprotte24 | (~sprotte24@p200300d16f2525006d115fd3ccbcd03f.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-30 22:36:54 +0000 | sprotte24 | (~sprotte24@p200300d16f2525006d115fd3ccbcd03f.dip0.t-ipconnect.de) |
| 2024-11-30 22:41:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 22:42:00 +0000 | ski | looks at sprotte24 |
| 2024-11-30 22:43:40 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:5110:3f6f:fbf2:ee63) jle` |
| 2024-11-30 22:46:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 22:48:14 +0000 | anon65078839 | (~anon65078@81.98.188.70) (Remote host closed the connection) |
| 2024-11-30 22:53:54 +0000 | Logio | (em@kapsi.fi) Logio |
| 2024-11-30 22:54:11 +0000 | Logio | (em@kapsi.fi) (Client Quit) |
| 2024-11-30 22:54:37 +0000 | Logio | (em@kapsi.fi) Logio |
| 2024-11-30 22:55:24 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-11-30 22:56:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 22:57:52 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-30 23:00:25 +0000 | haskellbridge | hellwolf are just someone else's cheap LLM |
| 2024-11-30 23:01:35 +0000 | <haskellbridge> | <hellwolf> $ echo "are you offended, if I never care to recall our conversations?" | chatgpt |
| 2024-11-30 23:01:35 +0000 | <haskellbridge> | No, I don't have feelings as I am an artificial intelligence program, so I can't be offended. I don't have the ability to remember previous interactions due to privacy reasons; I am designed to forget each conversation after it finishes. |
| 2024-11-30 23:01:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 23:08:51 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2024-11-30 23:09:03 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2024-11-30 23:10:48 +0000 | kimiamania | (~924ba01d@user/kimiamania) (Quit: PegeLinux) |
| 2024-11-30 23:12:06 +0000 | kimiamania | (~65804703@user/kimiamania) kimiamania |
| 2024-11-30 23:12:11 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-11-30 23:12:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 23:18:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-30 23:25:10 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-11-30 23:28:23 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 23:29:05 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-11-30 23:32:47 +0000 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2024-11-30 23:35:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 23:37:32 +0000 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-30 23:38:20 +0000 | Everything | (~Everythin@46.211.64.83) (Ping timeout: 265 seconds) |
| 2024-11-30 23:39:15 +0000 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
| 2024-11-30 23:40:13 +0000 | Everything | (~Everythin@46-133-155-212.mobile.vf-ua.net) Everything |
| 2024-11-30 23:44:39 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 246 seconds) |
| 2024-11-30 23:46:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 23:46:52 +0000 | alp_ | (~alp@2001:861:8ca0:4940:1a77:cbd6:a927:4965) (Remote host closed the connection) |
| 2024-11-30 23:47:02 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-11-30 23:47:10 +0000 | alp_ | (~alp@2001:861:8ca0:4940:5b75:5d46:1a69:cb09) |
| 2024-11-30 23:48:33 +0000 | alp_ | (~alp@2001:861:8ca0:4940:5b75:5d46:1a69:cb09) (Remote host closed the connection) |
| 2024-11-30 23:48:51 +0000 | alp_ | (~alp@2001:861:8ca0:4940:3654:a728:bf82:4fe1) |
| 2024-11-30 23:50:14 +0000 | alp_ | (~alp@2001:861:8ca0:4940:3654:a728:bf82:4fe1) (Remote host closed the connection) |
| 2024-11-30 23:50:32 +0000 | alp_ | (~alp@2001:861:8ca0:4940:2046:fb12:bff1:eeef) |
| 2024-11-30 23:51:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 23:52:15 +0000 | alp__ | (~alp@2001:861:8ca0:4940:7530:fb66:f943:36d6) |
| 2024-11-30 23:52:48 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-11-30 23:52:54 +0000 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2024-11-30 23:53:03 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2024-11-30 23:53:37 +0000 | alp__ | (~alp@2001:861:8ca0:4940:7530:fb66:f943:36d6) (Remote host closed the connection) |
| 2024-11-30 23:53:55 +0000 | alp__ | (~alp@2001:861:8ca0:4940:131:fdc9:8128:f2fa) |
| 2024-11-30 23:55:19 +0000 | alp__ | (~alp@2001:861:8ca0:4940:131:fdc9:8128:f2fa) (Remote host closed the connection) |
| 2024-11-30 23:55:37 +0000 | alp__ | (~alp@2001:861:8ca0:4940:9566:a396:9b4e:73c6) |
| 2024-11-30 23:55:40 +0000 | alp_ | (~alp@2001:861:8ca0:4940:2046:fb12:bff1:eeef) (Ping timeout: 260 seconds) |
| 2024-11-30 23:57:19 +0000 | alp_ | (~alp@2001:861:8ca0:4940:d620:d983:3335:d85c) |
| 2024-11-30 23:58:28 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-11-30 23:58:44 +0000 | alp_ | (~alp@2001:861:8ca0:4940:d620:d983:3335:d85c) (Remote host closed the connection) |
| 2024-11-30 23:59:01 +0000 | alp_ | (~alp@2001:861:8ca0:4940:b571:f1ab:171:de89) |