| 2024-11-30 00:01:24 +0100 | <haskellbridge> | <magic_rb> okay, now i managed to parse the whole thing https://paste.tomsmeding.com/63azmd5r |
| 2024-11-30 00:03:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 00:07:50 +0100 | banner | (~banner@202.137.173.5) (Remote host closed the connection) |
| 2024-11-30 00:08:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 00:08:19 +0100 | banner | (~banner@202.137.173.5) |
| 2024-11-30 00:17:29 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-30 00:19:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 00:20:35 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-30 00:22:40 +0100 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 00:24:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 00:31:56 +0100 | zero | zzz |
| 2024-11-30 00:34:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 00:39:22 +0100 | <haskellbridge> | <magic_rb> https://git.redalder.org/magic_rb/zfs-hs |
| 2024-11-30 00:39:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 00:40:41 +0100 | <haskellbridge> | <magic_rb> Oh it made it private, idk why |
| 2024-11-30 00:40:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 00:41:06 +0100 | ham2 | ham |
| 2024-11-30 00:41:17 +0100 | <haskellbridge> | <magic_rb> fixed |
| 2024-11-30 00:45:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 00:55:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 01:03:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 01:08:38 +0100 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) |
| 2024-11-30 01:10:02 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2024-11-30 01:11:17 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-30 01:14:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 01:15:01 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2024-11-30 01:17:20 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2024-11-30 01:17:36 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
| 2024-11-30 01:17:55 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2024-11-30 01:18:19 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f88d901269a61474092.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-11-30 01:19:34 +0100 | lol_ | (~lol@2603:3016:1e01:b9c0:cd28:d74a:e341:a3ea) |
| 2024-11-30 01:19:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 01:23:17 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:198d:38f1:39b:cb75) (Ping timeout: 248 seconds) |
| 2024-11-30 01:23:19 +0100 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) (Ping timeout: 245 seconds) |
| 2024-11-30 01:23:25 +0100 | thaumavorio | (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-30 01:25:33 +0100 | thaumavorio | (~thaumavor@thaumavor.io) thaumavorio |
| 2024-11-30 01:26:20 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2024-11-30 01:30:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 01:32:59 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-30 01:33:02 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-30 01:35:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 01:36:42 +0100 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) tdammers |
| 2024-11-30 01:37:29 +0100 | Everything | (~Everythin@46-133-37-211.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-30 01:43:50 +0100 | hammond | (proscan@user/hammond2) hammond2 |
| 2024-11-30 01:44:12 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-11-30 01:44:13 +0100 | sprotte24 | (~sprotte24@p200300d16f1c6f00b8bd5c1e150d1569.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-30 01:44:53 +0100 | <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 01:45:15 +0100 | bsima | (~bsima@143.198.118.179) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-30 01:45:36 +0100 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) bsima |
| 2024-11-30 01:45:39 +0100 | <hammond> | I was doing this before clean = drop 1 . dropWhile (/= ':') . drop 1 but then that was before I found IPv6 message. |
| 2024-11-30 01:45:42 +0100 | gvg | (~dcd@user/gvg) (Ping timeout: 276 seconds) |
| 2024-11-30 01:46:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 01:46:51 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-30 01:47:22 +0100 | gvg | (~dcd@user/gvg) gvg |
| 2024-11-30 01:47:35 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-11-30 01:51:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 01:51:28 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-11-30 01:52:32 +0100 | banner | (~banner@202.137.173.5) (Remote host closed the connection) |
| 2024-11-30 01:52:33 +0100 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-30 01:52:53 +0100 | bsima | (~bsima@143.198.118.179) bsima |
| 2024-11-30 01:53:02 +0100 | banner | (~banner@202.137.173.5) |
| 2024-11-30 01:53:06 +0100 | <probie> | > reverse . takeWhile (/=':') . reverse $ "Ipv6 23232:232323:2323232:...." |
| 2024-11-30 01:53:07 +0100 | <lambdabot> | "...." |
| 2024-11-30 01:54:39 +0100 | <hammond> | nice |
| 2024-11-30 02:01:08 +0100 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 02:02:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 02:02:22 +0100 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) |
| 2024-11-30 02:03:22 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-30 02:07:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 02:08:42 +0100 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 02:11:31 +0100 | <probie> | > ($ []) . foldl' (\acc x -> if x==':'then id else (acc . (x:))) id $ "Ipv6 23232:232323:2323232:...." -- for a single pass |
| 2024-11-30 02:11:32 +0100 | <lambdabot> | "...." |
| 2024-11-30 02:13:00 +0100 | <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 02:13:02 +0100 | <lambdabot> | "...." |
| 2024-11-30 02:14:40 +0100 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 265 seconds) |
| 2024-11-30 02:17:15 +0100 | geekosaur | wonders if it's always a /112 |
| 2024-11-30 02:17:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 02:21:34 +0100 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) |
| 2024-11-30 02:24:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 02:29:27 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2024-11-30 02:32:10 +0100 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2024-11-30 02:35:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 02:38:29 +0100 | Alleria_ | (~Alleria@user/alleria) (Remote host closed the connection) |
| 2024-11-30 02:39:38 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-30 02:40:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 02:41:54 +0100 | alp_ | (~alp@128-79-174-146.hfc.dyn.abo.bbox.fr) |
| 2024-11-30 02:45:05 +0100 | alp | (~alp@2001:861:8ca0:4940:c4a2:dad0:8587:ee9d) (Ping timeout: 260 seconds) |
| 2024-11-30 02:51:08 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-11-30 02:51:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 02:56:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 02:56:44 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-30 03:07:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 03:12:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 03:16:27 +0100 | banner | (~banner@202.137.173.5) (Ping timeout: 252 seconds) |
| 2024-11-30 03:16:59 +0100 | <koala_man> | hey, I forgot how to update package bounds for existing packages. How did that work again? |
| 2024-11-30 03:17:14 +0100 | <koala_man> | for dependencies that is |
| 2024-11-30 03:18:17 +0100 | foul_owl | (~kerry@185.219.141.161) (Ping timeout: 255 seconds) |
| 2024-11-30 03:23:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 03:28:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 03:31:12 +0100 | foul_owl | (~kerry@185.219.141.161) foul_owl |
| 2024-11-30 03:39:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 03:39:40 +0100 | <monochrom> | cabal oudated |
| 2024-11-30 03:44:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 03:52:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 03:59:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 04:05:34 +0100 | gvg | (~dcd@user/gvg) (Read error: Connection reset by peer) |
| 2024-11-30 04:09:05 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b90f:ed1c:a9d8:6a75) (Ping timeout: 260 seconds) |
| 2024-11-30 04:09:12 +0100 | gvg | (~dcd@user/gvg) gvg |
| 2024-11-30 04:11:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 04:11:54 +0100 | td_ | (~td@i5387093D.versanet.de) (Ping timeout: 252 seconds) |
| 2024-11-30 04:12:11 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-30 04:13:44 +0100 | td_ | (~td@i5387090F.versanet.de) td_ |
| 2024-11-30 04:14:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2024-11-30 04:15:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 04:25:54 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-30 04:26:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 04:32:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 04:35:13 +0100 | 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 04:40:34 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b90f:ed1c:a9d8:6a75) |
| 2024-11-30 04:42:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 04:47:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 04:48:44 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-30 04:58:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 05:03:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 05:14:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 05:15:26 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 265 seconds) |
| 2024-11-30 05:17:08 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-11-30 05:19:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 05:20:54 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
| 2024-11-30 05:21:23 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2024-11-30 05:27:50 +0100 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-11-30 05:29:22 +0100 | agent314 | (~quassel@68.235.46.203) agent314 |
| 2024-11-30 05:29:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 05:35:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 05:36:03 +0100 | aforemny_ | (~aforemny@i577B135C.versanet.de) aforemny |
| 2024-11-30 05:36:42 +0100 | aforemny | (~aforemny@2001:9e8:6cdc:2b00:6753:61f2:45c1:85e) (Ping timeout: 265 seconds) |
| 2024-11-30 05:45:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 05:50:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 05:53:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 05:58:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 05:59:06 +0100 | banner | (~banner@202.137.173.5) |
| 2024-11-30 05:59:29 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 248 seconds) |
| 2024-11-30 06:08:38 +0100 | finsternis | (~X@23.226.237.192) finsternis |
| 2024-11-30 06:09:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 06:17:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-30 06:28:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 06:32:13 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-11-30 06:33:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 06:38:32 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:3504:b367:1fbc:1943) (Quit: WeeChat 4.4.1) |
| 2024-11-30 06:40:59 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:da2c:87ec:c4d8:e670) jle` |
| 2024-11-30 06:41:19 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:da2c:87ec:c4d8:e670) (Client Quit) |
| 2024-11-30 06:44:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 06:44:25 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-11-30 06:50:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 06:54:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 06:59:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 07:05:30 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 276 seconds) |
| 2024-11-30 07:10:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 07:10:29 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-30 07:16:54 +0100 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-11-30 07:19:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 07:20:49 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 07:26:23 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2024-11-30 07:30:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 07:33:21 +0100 | banner | (~banner@202.137.173.5) (Ping timeout: 248 seconds) |
| 2024-11-30 07:34:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 07:38:54 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 260 seconds) |
| 2024-11-30 07:44:49 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 2024-11-30 07:45:37 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2024-11-30 07:45:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 07:46:07 +0100 | <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 07:48:23 +0100 | 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:48:47 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 07:48:59 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-30 07:50:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 07:53:25 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2024-11-30 07:53:59 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 07:54:08 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-30 07:56:46 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Max SendQ exceeded) |
| 2024-11-30 07:58:10 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 07:59:26 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-30 08:00:14 +0100 | JamesMowery43 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-11-30 08:00:15 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2024-11-30 08:00:31 +0100 | JamesMowery43 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2024-11-30 08:00:57 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-30 08:03:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-30 08:04:55 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2024-11-30 08:05:39 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 08:12:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 08:13:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-30 08:14:59 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Ping timeout: 252 seconds) |
| 2024-11-30 08:15:39 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 260 seconds) |
| 2024-11-30 08:16:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 08:17:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 08:17:22 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-30 08:19:37 +0100 | Xe | (~Xe@perl/impostor/xe) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-11-30 08:19:55 +0100 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2024-11-30 08:21:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 08:22:19 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 08:22:49 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2024-11-30 08:24:01 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 08:32:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 08:36:02 +0100 | 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 08:36:11 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-11-30 08:36:27 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 08:37:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 08:38:29 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-30 08:39:06 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-11-30 08:42:39 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-11-30 08:48:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 08:50:13 +0100 | Alleria | (~Alleria@user/alleria) (Read error: Connection reset by peer) |
| 2024-11-30 08:56:09 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-30 08:57:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 08:58:41 +0100 | turlando | (~turlando@user/turlando) (Ping timeout: 248 seconds) |
| 2024-11-30 08:58:59 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2024-11-30 09:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-30 09:00:39 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-30 09:12:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 09:15:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-30 09:17:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-30 09:20:37 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 248 seconds) |
| 2024-11-30 09:24:15 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2024-11-30 09:25:06 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-30 09:28:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 09:28:56 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-30 09:33:52 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-11-30 09:35:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 09:43:26 +0100 | Typedfern | (~Typedfern@59.red-83-37-27.dynamicip.rima-tde.net) (Ping timeout: 272 seconds) |
| 2024-11-30 09:46:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 09:47:05 +0100 | Typedfern | (~Typedfern@108.red-83-37-46.dynamicip.rima-tde.net) typedfern |
| 2024-11-30 09:48:19 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Read error: Connection reset by peer) |
| 2024-11-30 09:48:36 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 09:49:06 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) acidjnk |
| 2024-11-30 09:52:53 +0100 | Typedfern | (~Typedfern@108.red-83-37-46.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2024-11-30 09:53:12 +0100 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2024-11-30 09:53:56 +0100 | Typedfern | (~Typedfern@108.red-83-37-46.dynamicip.rima-tde.net) typedfern |
| 2024-11-30 09:54:41 +0100 | banner | (~banner@202.137.173.5) |
| 2024-11-30 09:55:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 09:55:40 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-30 09:58:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 10:00:01 +0100 | ubert | (~Thunderbi@178.165.179.0.wireless.dyn.drei.com) ubert |
| 2024-11-30 10:02:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 10:13:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 10:14:05 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-30 10:18:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 10:19:17 +0100 | AlexZenon | (~alzenon@178.34.162.156) (Ping timeout: 248 seconds) |
| 2024-11-30 10:22:01 +0100 | briandaed | (~root@user/briandaed) briandaed |
| 2024-11-30 10:23:33 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-30 10:25:29 +0100 | AlexZenon | (~alzenon@178.34.162.156) |
| 2024-11-30 10:29:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 10:32:21 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-30 10:33:49 +0100 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2024-11-30 10:34:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-30 10:37:24 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-11-30 10:43:57 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-11-30 10:44:40 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-30 10:45:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 10:50:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 10:58:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 11:01:06 +0100 | banner | (~banner@202.137.173.5) (Ping timeout: 246 seconds) |
| 2024-11-30 11:01:33 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2024-11-30 11:02:16 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 11:03:49 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-30 11:03:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 11:03:50 +0100 | alp_ | (~alp@128-79-174-146.hfc.dyn.abo.bbox.fr) (Remote host closed the connection) |
| 2024-11-30 11:04:14 +0100 | alp_ | (~alp@2001:861:8ca0:4940:1a77:cbd6:a927:4965) |
| 2024-11-30 11:14:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 11:16:00 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-30 11:16:29 +0100 | td_ | (~td@i5387090F.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-11-30 11:20:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-30 11:20:49 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-11-30 11:21:00 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-30 11:27:07 +0100 | td_ | (~td@i5387090F.versanet.de) |
| 2024-11-30 11:27:26 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-30 11:28:56 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-30 11:29:54 +0100 | 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 11:30:16 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-30 11:30:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 11:30:34 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 11:31:06 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-30 11:33:06 +0100 | img | (~img@user/img) img |
| 2024-11-30 11:33:12 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-11-30 11:33:45 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-30 11:35:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 11:37:04 +0100 | sprotte24 | (~sprotte24@p200300d16f2525006d115fd3ccbcd03f.dip0.t-ipconnect.de) |
| 2024-11-30 11:37:18 +0100 | sprotte24 | (~sprotte24@p200300d16f2525006d115fd3ccbcd03f.dip0.t-ipconnect.de) (Client Quit) |
| 2024-11-30 11:37:52 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-30 11:43:31 +0100 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2024-11-30 11:45:29 +0100 | FragByte | (~christian@user/fragbyte) FragByte |
| 2024-11-30 11:46:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 11:50:06 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-30 11:51:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-30 11:51:26 +0100 | img | (~img@user/img) img |
| 2024-11-30 11:53:22 +0100 | Guest43 | (~Guest43@85.254.74.29) |
| 2024-11-30 11:54:00 +0100 | gvg | (~dcd@user/gvg) (Ping timeout: 260 seconds) |
| 2024-11-30 11:59:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 12:00:32 +0100 | gvg | (~dcd@user/gvg) gvg |
| 2024-11-30 12:04:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 12:05:11 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2024-11-30 12:05:40 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 12:07:26 +0100 | Guest43 | (~Guest43@85.254.74.29) (Quit: Client closed) |
| 2024-11-30 12:09:18 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) billchenchina |
| 2024-11-30 12:11:17 +0100 | agent314 | (~quassel@68.235.46.203) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-11-30 12:12:27 +0100 | agent314 | (~quassel@68.235.46.203) agent314 |
| 2024-11-30 12:13:44 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-11-30 12:15:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 12:17:41 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-30 12:18:25 +0100 | agent314 | (~quassel@68.235.46.203) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-11-30 12:18:50 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-30 12:19:33 +0100 | sprotte24 | (~sprotte24@p200300d16f2525006d115fd3ccbcd03f.dip0.t-ipconnect.de) |
| 2024-11-30 12:19:54 +0100 | agent314 | (~quassel@68.235.46.203) agent314 |
| 2024-11-30 12:22:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 12:25:34 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-30 12:33:46 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-30 12:33:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 12:34:04 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Ping timeout: 260 seconds) |
| 2024-11-30 12:39:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-11-30 12:49:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 12:52:26 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 12:54:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 12:57:52 +0100 | dilaver_ | (~dilaver_@user/dilaver-:32218) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-30 12:58:23 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-30 13:00:08 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-30 13:00:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 13:02:14 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-30 13:03:33 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-30 13:06:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 13:16:21 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-11-30 13:16:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 13:19:38 +0100 | <haskellbridge> | <magic_rb> whats the way to load unboxed types? |
| 2024-11-30 13:19:46 +0100 | <haskellbridge> | <magic_rb> i mean peek, from a "Ptr a" |
| 2024-11-30 13:21:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-30 13:24:10 +0100 | <tomsmeding> | magic_rb: https://hackage.haskell.org/package/base-4.19.0.0/docs/GHC-Exts.html#v:readWord32OffAddr-35- |
| 2024-11-30 13:24:42 +0100 | <haskellbridge> | <magic_rb> tf is State# |
| 2024-11-30 13:25:23 +0100 | <tomsmeding> | % :i IO |
| 2024-11-30 13:25:23 +0100 | <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 13:25:41 +0100 | <tomsmeding> | % :i Control.Monad.ST.ST |
| 2024-11-30 13:25:41 +0100 | <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 13:25:48 +0100 | <tomsmeding> | % :i Control.Monad.ST.STRep |
| 2024-11-30 13:25:48 +0100 | <yahb2> | <interactive>:1:1: error: [GHC-76037] ; Not in scope: data constructor ‘Control.Monad.ST.STRep’ |
| 2024-11-30 13:25:52 +0100 | <tomsmeding> | % :i GHC.ST.STRep |
| 2024-11-30 13:25:52 +0100 | <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 13:26:27 +0100 | <haskellbridge> | <magic_rb> okay i think ill tackle this detail later |
| 2024-11-30 13:26:40 +0100 | <tomsmeding> | magic_rb: IO a = State# RealWorld -> (# State# RealWorld, a #) |
| 2024-11-30 13:27:09 +0100 | <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 13:27:26 +0100 | <tomsmeding> | % import GHC.Exts |
| 2024-11-30 13:27:26 +0100 | <yahb2> | <no output> |
| 2024-11-30 13:27:45 +0100 | <tomsmeding> | % import GHC.IO |
| 2024-11-30 13:27:46 +0100 | <yahb2> | <no output> |
| 2024-11-30 13:27:57 +0100 | <tomsmeding> | % :set -XMagicHash |
| 2024-11-30 13:27:58 +0100 | <yahb2> | <no output> |
| 2024-11-30 13:28:40 +0100 | <tomsmeding> | % :t \addr off -> IO (\s -> case readWord32OffAddr# addr off s of (# s', w #) -> (# s', W32# w #)) |
| 2024-11-30 13:28:40 +0100 | <yahb2> | <interactive>:1:63: error: [GHC-72516] Parse error in pattern: #s' |
| 2024-11-30 13:28:48 +0100 | <tomsmeding> | % :set -XUnboxedTuples |
| 2024-11-30 13:28:48 +0100 | <yahb2> | <no output> |
| 2024-11-30 13:28:51 +0100 | <tomsmeding> | % :t \addr off -> IO (\s -> case readWord32OffAddr# addr off s of (# s', w #) -> (# s', W32# w #)) |
| 2024-11-30 13:28:51 +0100 | <yahb2> | <interactive>:1:84: error: [GHC-88464] ; Data constructor not in scope: W32# :: Word32# -> a |
| 2024-11-30 13:28:59 +0100 | <tomsmeding> | % import GHC.Word |
| 2024-11-30 13:28:59 +0100 | <yahb2> | <no output> |
| 2024-11-30 13:29:01 +0100 | <tomsmeding> | % :t \addr off -> IO (\s -> case readWord32OffAddr# addr off s of (# s', w #) -> (# s', W32# w #)) |
| 2024-11-30 13:29:01 +0100 | <yahb2> | \addr off -> IO (\s -> case readWord32OffAddr# addr off s of (# s', w #) -> (# s', W32# w #)) ; :: Addr# -> Int# -> IO Word32 |
| 2024-11-30 13:29:17 +0100 | <tomsmeding> | magic_rb: the kind of IO is * -> *, so you can' return an unboxed type in IO |
| 2024-11-30 13:29:30 +0100 | <tomsmeding> | *can't |
| 2024-11-30 13:29:39 +0100 | <haskellbridge> | <magic_rb> ah so you kind of have to go lower level |
| 2024-11-30 13:29:40 +0100 | <haskellbridge> | <magic_rb> faer |
| 2024-11-30 13:29:43 +0100 | <haskellbridge> | <magic_rb> *fair |
| 2024-11-30 13:30:56 +0100 | <tomsmeding> | magic_rb: but double-check that GHC won't just unpack all your Word32s if you use boxed ones |
| 2024-11-30 13:31:06 +0100 | <tomsmeding> | you may not need the unboxed primops |
| 2024-11-30 13:31:08 +0100 | <haskellbridge> | <magic_rb> word64 and 16 of them |
| 2024-11-30 13:31:20 +0100 | <tomsmeding> | s/Word32/Word64/g |
| 2024-11-30 13:31:27 +0100 | <haskellbridge> | <magic_rb> i need to also do a lot of masking and shifting around |
| 2024-11-30 13:31:49 +0100 | <tomsmeding> | if all the code is visible and inlined, GHC does quite a good job at eliminating all the boxes |
| 2024-11-30 13:32:14 +0100 | <haskellbridge> | <magic_rb> id rather be explicit about this |
| 2024-11-30 13:32:19 +0100 | <haskellbridge> | <magic_rb> this struct is the core pointer of zfs |
| 2024-11-30 13:32:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 13:32:43 +0100 | <tomsmeding> | use {-# UNPACK #-}? |
| 2024-11-30 13:33:01 +0100 | <haskellbridge> | <magic_rb> no i mean like |
| 2024-11-30 13:33:02 +0100 | <haskellbridge> | <magic_rb> #define MASK_AND_SHIFT(field, mask, shift) |
| 2024-11-30 13:33:02 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/jskWMePmmCHXJreRVztYXSIf/czpDqECIcEA (3 lines) |
| 2024-11-30 13:33:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-30 13:33:15 +0100 | <haskellbridge> | <magic_rb> i have that to extract out the things |
| 2024-11-30 13:33:56 +0100 | <tomsmeding> | what happens if you just make a boxed wrapper of that uncheckedShiftRL64# |
| 2024-11-30 13:34:01 +0100 | <tomsmeding> | and mark it {-# INLINE #-} |
| 2024-11-30 13:34:13 +0100 | <tomsmeding> | likely that will result in the same Core after optimisation |
| 2024-11-30 13:34:18 +0100 | <tomsmeding> | profile first, optimise later :p |
| 2024-11-30 13:34:20 +0100 | <haskellbridge> | <magic_rb> you lost me, boxed wrapper of what? |
| 2024-11-30 13:34:31 +0100 | <tomsmeding> | I'm referring to the code you just posted |
| 2024-11-30 13:34:40 +0100 | <haskellbridge> | <magic_rb> oh |
| 2024-11-30 13:34:47 +0100 | <haskellbridge> | <magic_rb> so define actual functions not macros |
| 2024-11-30 13:34:53 +0100 | <tomsmeding> | no |
| 2024-11-30 13:35:02 +0100 | <tomsmeding> | uncheckShiftRL64# works on unboxed types |
| 2024-11-30 13:35:05 +0100 | <tomsmeding> | make a boxed version of it |
| 2024-11-30 13:35:14 +0100 | <tomsmeding> | Word64 -> Int -> Word64 |
| 2024-11-30 13:35:18 +0100 | <tomsmeding> | mark it {-# INLINE #-} |
| 2024-11-30 13:35:46 +0100 | <tomsmeding> | and then juts write #define MASK_AND_SHIFT(field, mask, shift) (field .&. mask) `uncheckedShiftRL64` shift |
| 2024-11-30 13:35:58 +0100 | <haskellbridge> | <magic_rb> oh |
| 2024-11-30 13:36:00 +0100 | <tomsmeding> | profile first, optimise later |
| 2024-11-30 13:36:07 +0100 | <haskellbridge> | <magic_rb> very fair :) |
| 2024-11-30 13:36:41 +0100 | <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 13:37:06 +0100 | <tomsmeding> | then look at your Core |
| 2024-11-30 13:37:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 13:37:36 +0100 | <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 13:38:38 +0100 | <haskellbridge> | <magic_rb> okay ill keep this in mind |
| 2024-11-30 13:38:45 +0100 | <haskellbridge> | <magic_rb> i already have the explicitly unboxed code |
| 2024-11-30 13:38:49 +0100 | <tomsmeding> | right |
| 2024-11-30 13:38:51 +0100 | <haskellbridge> | <magic_rb> i might swap it later |
| 2024-11-30 13:39:52 +0100 | <tomsmeding> | sometimes using explicit unboxing does help, I've seen it help in some code I wrote in the past |
| 2024-11-30 13:40:01 +0100 | <tomsmeding> | but the effect wasn't huge |
| 2024-11-30 13:40:17 +0100 | <tomsmeding> | and that was code where GHC probably wasn't able to inline everything relevant |
| 2024-11-30 13:41:54 +0100 | <tomsmeding> | the intuition you should I think have about GHC's auto-unboxing is two things: |
| 2024-11-30 13:43:32 +0100 | <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 13:44:33 +0100 | <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 13:44:51 +0100 | <tomsmeding> | (1.) does intra-procedural unboxing, (2.) does inter-procedural unboxing |
| 2024-11-30 13:45:06 +0100 | <tomsmeding> | (using Int for illustration purposes here) |
| 2024-11-30 13:45:33 +0100 | <tomsmeding> | if your code is simple enough, this is very effective |
| 2024-11-30 13:46:01 +0100 | <tomsmeding> | the more data structure indirection you have, or non-inlined polymorphism, etc., the less well it works |
| 2024-11-30 13:47:12 +0100 | <haskellbridge> | <magic_rb> right |
| 2024-11-30 13:47:19 +0100 | <haskellbridge> | <magic_rb> okay so marking all of it inline should be goodenough |
| 2024-11-30 13:48:10 +0100 | <haskellbridge> | <magic_rb> ill commit the unboxed version then rewrite |
| 2024-11-30 13:48:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 13:50:01 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-30 13:52:04 +0100 | <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 13:52:29 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Ping timeout: 245 seconds) |
| 2024-11-30 13:53:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 13:54:16 +0100 | <tomsmeding> | if it's immutable, why have an IORef at all |
| 2024-11-30 13:54:35 +0100 | <tomsmeding> | so yes I would say that is bad, design your types to fit the usage :p |
| 2024-11-30 13:54:47 +0100 | <haskellbridge> | <magic_rb> its immutable |
| 2024-11-30 13:54:54 +0100 | <haskellbridge> | <magic_rb> but it needs to lazy load and thats an IO op |
| 2024-11-30 13:54:58 +0100 | <haskellbridge> | <magic_rb> from disk |
| 2024-11-30 13:55:13 +0100 | <tomsmeding> | why not have a pure (non-IORef) value that you create using unsafeInterleaveIO |
| 2024-11-30 13:55:21 +0100 | <haskellbridge> | <magic_rb> oh i tried that last time |
| 2024-11-30 13:55:23 +0100 | <haskellbridge> | <magic_rb> and it was hell |
| 2024-11-30 13:55:25 +0100 | <tomsmeding> | perhaps unsafePerformIO is good enough |
| 2024-11-30 13:55:43 +0100 | <haskellbridge> | <magic_rb> because i had absolutely no idea when ghc would decide to load a thing |
| 2024-11-30 13:55:46 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-30 13:55:49 +0100 | <tomsmeding> | when you evaluate it ;) |
| 2024-11-30 13:55:53 +0100 | <tomsmeding> | but yes |
| 2024-11-30 13:56:15 +0100 | <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 13:56:25 +0100 | <tomsmeding> | if you're doing stuff like this, is your FS implementation really safer than whatever C did? |
| 2024-11-30 13:56:35 +0100 | <haskellbridge> | <magic_rb> so yeah i need to be explicit here i think |
| 2024-11-30 13:56:36 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-30 13:56:45 +0100 | <haskellbridge> | <magic_rb> honestly, not sure |
| 2024-11-30 13:56:58 +0100 | <tomsmeding> | unboxing is not unsafe, it just looks scary with all the # |
| 2024-11-30 13:57:03 +0100 | <haskellbridge> | <magic_rb> but id do the same in rust, so i guess so |
| 2024-11-30 13:57:30 +0100 | <haskellbridge> | <magic_rb> we'll see, im experimenting right now |
| 2024-11-30 13:57:35 +0100 | <tomsmeding> | if that Show instance is really only for debugging I guess you can do it |
| 2024-11-30 13:57:36 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 276 seconds) |
| 2024-11-30 13:57:40 +0100 | <tomsmeding> | but please please only for debugging |
| 2024-11-30 13:58:00 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) acidjnk |
| 2024-11-30 13:58:27 +0100 | <haskellbridge> | <magic_rb> yeah its only for debugging |
| 2024-11-30 13:59:04 +0100 | tomsmeding | afk |
| 2024-11-30 14:01:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 14:07:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 14:13:39 +0100 | SlackCoder | (~SlackCode@208.26.70.132) SlackCoder |
| 2024-11-30 14:13:57 +0100 | SlackCoder | (~SlackCode@208.26.70.132) (Client Quit) |
| 2024-11-30 14:17:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 14:22:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 14:33:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 14:34:34 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-11-30 14:38:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 14:38:38 +0100 | AlexZenon | (~alzenon@178.34.162.156) (Quit: ;-) |
| 2024-11-30 14:39:59 +0100 | AlexNoo | (~AlexNoo@178.34.162.156) (Quit: Leaving) |
| 2024-11-30 14:49:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 14:49:27 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) acidjnk |
| 2024-11-30 14:51:40 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-30 14:53:56 +0100 | agent314 | (~quassel@68.235.46.203) (Ping timeout: 252 seconds) |
| 2024-11-30 14:54:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-30 14:57:40 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-11-30 15:00:04 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-30 15:02:39 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-30 15:02:41 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) billchenchina |
| 2024-11-30 15:02:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 15:05:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-30 15:10:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 15:14:06 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-11-30 15:20:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 15:25:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-30 15:25:43 +0100 | agent314 | (~quassel@68.235.46.203) agent314 |
| 2024-11-30 15:27:27 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-11-30 15:29:27 +0100 | <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 15:30:36 +0100 | <sshine> | hammond, there is https://hackage.haskell.org/package/regex-applicative |
| 2024-11-30 15:32:49 +0100 | <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 15:32:54 +0100 | <hammond> | sshine: are they using the common regex languages? it seems diff |
| 2024-11-30 15:34:35 +0100 | <tomsmeding> | hammond: in what way do they "not work"? |
| 2024-11-30 15:34:55 +0100 | <hammond> | i may be jst waking up, but it looks diff than regex syntax. |
| 2024-11-30 15:35:09 +0100 | <tomsmeding> | it does, but what did you mean with "some cases where they don't work"? |
| 2024-11-30 15:36:04 +0100 | <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 15:36:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 15:36:44 +0100 | <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 15:36:52 +0100 | <tomsmeding> | and if it fails for large files, that also sounds like a bug |
| 2024-11-30 15:37:13 +0100 | <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 15:37:44 +0100 | <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 15:37:56 +0100 | <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 15:38:04 +0100 | <tomsmeding> | grep != grep -E != javascript != python |
| 2024-11-30 15:38:29 +0100 | <tomsmeding> | do you know which flags it was missing? |
| 2024-11-30 15:39:06 +0100 | <tomsmeding> | (and which PCRE library did you use?) |
| 2024-11-30 15:39:37 +0100 | <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 15:41:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 15:41:38 +0100 | <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 15:42:25 +0100 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 15:42:45 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-30 15:46:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-30 15:46:57 +0100 | <hellwolf> | https://gitlab.haskell.org/ghc/ghc/-/issues/19477 <-- do notation syntax question... why they are different |
| 2024-11-30 15:47:08 +0100 | <hellwolf> | sorry wrong link |
| 2024-11-30 15:47:13 +0100 | <hellwolf> | https://paste.tomsmeding.com/AqnDNmS6 <-- tis |
| 2024-11-30 15:47:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-30 15:47:57 +0100 | <tomsmeding> | hellwolf: if a line in a do-block is not indented, it is the start of a new statement |
| 2024-11-30 15:48:53 +0100 | <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 15:49:09 +0100 | <tomsmeding> | the parentheses are unnecessary, but the indentation is |
| 2024-11-30 15:52:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 15:53:20 +0100 | hammond | (proscan@user/hammond2) (Ping timeout: 252 seconds) |
| 2024-11-30 15:56:42 +0100 | <hellwolf> | I see, and that makes sense. I didn't know about this little syntax thing. |
| 2024-11-30 15:57:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 15:57:33 +0100 | <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 15:57:42 +0100 | <hellwolf> | *this rule |
| 2024-11-30 15:58:24 +0100 | hammond | (proscan@user/hammond2) hammond2 |
| 2024-11-30 15:58:49 +0100 | <hammond> | i spilled coffee on my keyboard what was the end of that convo |
| 2024-11-30 16:00:05 +0100 | <tomsmeding> | hammond: https://ircbrowse.tomsmeding.com/browse/lchaskell |
| 2024-11-30 16:01:24 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-11-30 16:01:53 +0100 | <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 16:01:59 +0100 | euleritian | (~euleritia@dynamic-176-006-139-000.176.6.pool.telefonica.de) |
| 2024-11-30 16:01:59 +0100 | <hammond> | lemmi see ur link |
| 2024-11-30 16:03:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 16:05:42 +0100 | <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 16:05:45 +0100 | <hammond> | btw |
| 2024-11-30 16:06:44 +0100 | <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 16:07:33 +0100 | <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 16:07:38 +0100 | <hammond> | and I liked the =~ "regex_here" :: [[String]] |
| 2024-11-30 16:08:07 +0100 | <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 16:08:17 +0100 | <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 16:08:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 16:09:05 +0100 | <hammond> | tomsmeding: I can try and replicate the bug I suppose. |
| 2024-11-30 16:17:27 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) acidjnk |
| 2024-11-30 16:19:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 16:21:30 +0100 | <hammond> | https://pastebin.com/S6rUMkXC there |
| 2024-11-30 16:23:31 +0100 | <tomsmeding> | apparently regex-tdfa doesn't do \s |
| 2024-11-30 16:23:38 +0100 | <tomsmeding> | `" " =~ "\\s" :: [[String]]` yields [] |
| 2024-11-30 16:23:39 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-30 16:24:18 +0100 | <hammond> | idk even with the spaces it may not work. lemmi check |
| 2024-11-30 16:24:23 +0100 | <tomsmeding> | ah, regex-tdfa claims to implement posix extended regular expressions |
| 2024-11-30 16:24:57 +0100 | <tomsmeding> | hammond: if I change your regex to "PRIVMSG +[^ ]+ +:(.*)" then it yields "Test" |
| 2024-11-30 16:25:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 16:26:10 +0100 | <hammond> | tomsmeding: |
| 2024-11-30 16:26:14 +0100 | <hammond> | fair enough |
| 2024-11-30 16:30:31 +0100 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) tdammers |
| 2024-11-30 16:32:10 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-30 16:32:40 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-11-30 16:34:45 +0100 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 16:35:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 16:37:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-30 16:39:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-30 16:43:38 +0100 | <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 16:43:58 +0100 | <hellwolf> | Just need the QualifiedDo. |
| 2024-11-30 16:44:37 +0100 | <hellwolf> | • Couldn't match type ‘vd0’ |
| 2024-11-30 16:44:37 +0100 | <hellwolf> | with ‘vd0 ghc-internal-9.1001.0:GHC.Internal.TypeNats.+ 1’ |
| 2024-11-30 16:44:37 +0100 | <hellwolf> | arising from a use of ‘call'l’ |
| 2024-11-30 16:44:37 +0100 | <hellwolf> | ^-- need to improve this error message, but it's working in principle. |
| 2024-11-30 16:44:45 +0100 | <hellwolf> | I will post the LinearVersionMonad: |
| 2024-11-30 16:45:55 +0100 | <hellwolf> | https://paste.tomsmeding.com/C2K92fPD |
| 2024-11-30 16:48:07 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-11-30 16:49:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-30 16:51:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 16:55:56 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-11-30 16:56:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 16:56:12 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-11-30 16:57:46 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-30 17:00:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 17:08:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-30 17:08:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 17:08:42 +0100 | ubert | (~Thunderbi@178.165.179.0.wireless.dyn.drei.com) (Ping timeout: 276 seconds) |
| 2024-11-30 17:14:15 +0100 | euleritian | (~euleritia@dynamic-176-006-139-000.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-30 17:14:32 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-30 17:22:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 17:27:33 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-11-30 17:27:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 17:38:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 17:40:35 +0100 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) tdammers |
| 2024-11-30 17:42:37 +0100 | sudden | (~cat@user/sudden) (Ping timeout: 244 seconds) |
| 2024-11-30 17:43:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-30 17:43:41 +0100 | sudden | (~cat@user/sudden) sudden |
| 2024-11-30 17:53:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 18:00:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 18:02:07 +0100 | 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 18:05:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 18:08:41 +0100 | AlexNoo | (~AlexNoo@5.139.233.9) |
| 2024-11-30 18:12:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 18:12:51 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2024-11-30 18:16:17 +0100 | AlexZenon | (~alzenon@5.139.233.9) |
| 2024-11-30 18:21:39 +0100 | troojg | (~troojg@user/troojg) troojg |
| 2024-11-30 18:22:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 18:27:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 18:29:17 +0100 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2024-11-30 18:31:47 +0100 | Square | (~Square@user/square) Square |
| 2024-11-30 18:33:43 +0100 | <haskellbridge> | <hellwolf> What's the goal of the optimization? |
| 2024-11-30 18:38:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 18:40:20 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-30 18:43:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-30 18:46:46 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-11-30 18:46:57 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-11-30 18:49:04 +0100 | euleritian | (~euleritia@dynamic-176-001-251-152.176.1.pool.telefonica.de) |
| 2024-11-30 18:52:00 +0100 | euleritian | (~euleritia@dynamic-176-001-251-152.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-30 18:52:17 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-30 18:54:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 18:56:25 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2024-11-30 18:57:14 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 18:59:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 19:03:24 +0100 | agent314 | (~quassel@68.235.46.203) (Ping timeout: 246 seconds) |
| 2024-11-30 19:04:19 +0100 | Xe | (~Xe@perl/impostor/xe) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-11-30 19:04:37 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-11-30 19:05:18 +0100 | Logio | (em@kapsi.fi) (Remote host closed the connection) |
| 2024-11-30 19:05:46 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-30 19:05:56 +0100 | ent | (entgod@kapsi.fi) (Remote host closed the connection) |
| 2024-11-30 19:06:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 19:06:21 +0100 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2024-11-30 19:06:28 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2024-11-30 19:06:35 +0100 | Piedro | (~Piedro@84.15.223.200) Piedro |
| 2024-11-30 19:07:07 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-11-30 19:07:15 +0100 | Piedro | (~Piedro@84.15.223.200) (Remote host closed the connection) |
| 2024-11-30 19:07:28 +0100 | Piedro | (~Piedro@84.15.223.200) Piedro |
| 2024-11-30 19:11:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-30 19:15:05 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2024-11-30 19:15:38 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-30 19:20:06 +0100 | <bwe> | hellwolf: mainly the right data type for the actual number, implementation of the normalise function including testing. |
| 2024-11-30 19:21:57 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) acidjnk |
| 2024-11-30 19:22:00 +0100 | michalz | (~michalz@185.246.207.200) |
| 2024-11-30 19:23:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 19:27:07 +0100 | ent | (entgod@kapsi.fi) ent |
| 2024-11-30 19:28:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-30 19:38:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 19:49:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 19:54:58 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-30 19:55:56 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 2024-11-30 19:59:40 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-11-30 19:59:41 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-30 20:01:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 20:02:51 +0100 | rvalue- | rvalue |
| 2024-11-30 20:04:03 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-11-30 20:06:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-11-30 20:17:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 20:21:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 20:22:41 +0100 | <hellwolf> | bwe: I see. Do we really need the Dim type? |
| 2024-11-30 20:23:47 +0100 | <hellwolf> | Ah, it is for the 1000 scaling per each label. |
| 2024-11-30 20:23:49 +0100 | <hellwolf> | Hmm, okay. |
| 2024-11-30 20:26:21 +0100 | Piedro | (~Piedro@84.15.223.200) (Remote host closed the connection) |
| 2024-11-30 20:26:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-30 20:26:41 +0100 | Piedro | (~Piedro@84.15.223.200) Piedro |
| 2024-11-30 20:26:53 +0100 | banner | (~banner@202.137.173.5) |
| 2024-11-30 20:28:44 +0100 | 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 20:30:04 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-30 20:33:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 20:33:54 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-30 20:36:13 +0100 | Piedro | (~Piedro@84.15.223.200) (Remote host closed the connection) |
| 2024-11-30 20:37:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-30 20:48:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 20:53:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 20:54:34 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-11-30 21:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-30 21:00:37 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-30 21:03:27 +0100 | flounders | (~flounders@173.246.200.74) (Quit: WeeChat 4.4.2) |
| 2024-11-30 21:03:39 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-30 21:03:49 +0100 | euphores | (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
| 2024-11-30 21:12:44 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) acidjnk |
| 2024-11-30 21:14:19 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-11-30 21:14:40 +0100 | <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 21:20:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 21:25:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 21:29:57 +0100 | <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 21:29:57 +0100 | <markasoftware> | then convert to an encoding) |
| 2024-11-30 21:30:09 +0100 | simendsjo | (~user@84.211.91.108) simendsjo |
| 2024-11-30 21:30:39 +0100 | <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 21:33:33 +0100 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2024-11-30 21:35:46 +0100 | <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 21:36:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 21:41:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-30 21:46:16 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-11-30 21:48:28 +0100 | <hellwolf> | Alright, answering my own question: replaced unsafeAxiom with "Dict \\ (leTrans @va @vb @vc) \\ alteb \\ bltec". That was convoluted. |
| 2024-11-30 21:51:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 21:54:43 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-30 21:55:05 +0100 | <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 21:57:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 22:03:17 +0100 | hellwolf | (~user@f887-92f8-0256-c4f3-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds) |
| 2024-11-30 22:06:15 +0100 | <sprotte24> | Hi |
| 2024-11-30 22:07:44 +0100 | <sprotte24> | I have a problem with ghci. I wanted ti design an infitite list. But my ghci hangs from infinite |
| 2024-11-30 22:07:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 22:09:22 +0100 | <sprotte24> | avalanche :: [Integer] |
| 2024-11-30 22:09:23 +0100 | <sprotte24> | avalanche = sort [5^i * 7^j * 11^k | i <- [0..9], j <- [0..9], k <- [0..9]] |
| 2024-11-30 22:10:21 +0100 | <sprotte24> | this program runs, but when I remove the upper limit 9 for i, j, k, the system hangs |
| 2024-11-30 22:10:36 +0100 | hellwolf | (~user@0cc0-3799-5822-4beb-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2024-11-30 22:10:39 +0100 | <sprotte24> | [0 ..] |
| 2024-11-30 22:12:02 +0100 | <hellwolf> | huh, how can you sort an infinite list? |
| 2024-11-30 22:12:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 22:14:49 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-30 22:15:28 +0100 | <sprotte24> | yes, this is a problem, as I cannot sort without endless waiting? |
| 2024-11-30 22:17:53 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2024-11-30 22:18:20 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2024-11-30 22:18:26 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2024-11-30 22:19:08 +0100 | <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 22:19:52 +0100 | <sprotte24> | but not wir out restrict the exponents |
| 2024-11-30 22:19:53 +0100 | <tomsmeding> | sprotte24: how can sort know what the first element to return is, if it can't see the full list? |
| 2024-11-30 22:20:26 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2024-11-30 22:20:26 +0100 | <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 22:22:41 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-11-30 22:23:03 +0100 | <geekosaur> | (updating docker) |
| 2024-11-30 22:23:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 22:23:34 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-11-30 22:23:34 +0100 | ChanServ | +v haskellbridge |
| 2024-11-30 22:30:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-30 22:33:56 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Remote host closed the connection) |
| 2024-11-30 22:35:21 +0100 | <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 22:38:06 +0100 | <hellwolf> | are you asking GHC to do math proof? |
| 2024-11-30 22:38:32 +0100 | <geekosaur> | wolfram alpha or similar symbolic algebra package might be able to work that out; haskell is not such a system |
| 2024-11-30 22:38:37 +0100 | <hellwolf> | btw, what's the context, why are you tackling this problem, and what is the problem statement? |
| 2024-11-30 22:39:14 +0100 | <geekosaur> | `sort` has no clue that you're handing it exponents that form a mathematical pattern |
| 2024-11-30 22:39:38 +0100 | <geekosaur> | it knows you're handing it values of a type with an `Ord` instance, period |
| 2024-11-30 22:39:56 +0100 | <sprotte24> | It is my homework from our university |
| 2024-11-30 22:41:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 22:41:42 +0100 | <geekosaur> | what is the actual assignment? perhaps you're going about this the wrong way |
| 2024-11-30 22:41:59 +0100 | <geekosaur> | similarly to how trying to solve Euler problems via brute force is almost always a mistake |
| 2024-11-30 22:44:02 +0100 | anon65078839 | (~anon65078@81.98.188.70) |
| 2024-11-30 22:46:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-30 22:47:33 +0100 | <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 22:48:06 +0100 | <geekosaur> | you are missing my point |
| 2024-11-30 22:48:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 22:48:29 +0100 | <geekosaur> | sort does not know that you are doing that |
| 2024-11-30 22:48:39 +0100 | <geekosaur> | it knows it's been given a bunch of numbers |
| 2024-11-30 22:49:52 +0100 | <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 22:50:18 +0100 | <geekosaur> | > filter (<5) [1..] |
| 2024-11-30 22:50:24 +0100 | <lambdabot> | mueval-core: Time limit exceeded |
| 2024-11-30 22:51:01 +0100 | <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 22:51:10 +0100 | <geekosaur> | haskell is not a computer algebra system |
| 2024-11-30 22:54:00 +0100 | Everything | (~Everythin@46.211.64.83) Everything |
| 2024-11-30 22:54:38 +0100 | <sprotte24> | also Microsoft Copilot (AI) presentetd no working solution |
| 2024-11-30 22:56:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-11-30 22:56:44 +0100 | <sprotte24> | perhaps I could use deep search to find the path to the next number. |
| 2024-11-30 22:57:57 +0100 | <anon65078839> | hi - what's everyone working on? |
| 2024-11-30 23:04:40 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-30 23:06:27 +0100 | <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 23:08:16 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2024-11-30 23:09:53 +0100 | simendsjo | (~user@84.211.91.108) (Ping timeout: 265 seconds) |
| 2024-11-30 23:13:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 23:17:00 +0100 | <ski> | > powers_5_7_11 -- sprotte24 |
| 2024-11-30 23:17:01 +0100 | <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 23:17:44 +0100 | banner | (~banner@202.137.173.5) (Ping timeout: 252 seconds) |
| 2024-11-30 23:18:00 +0100 | <ski> | (using a similar technique to fibonacci numbers defined using `zipWith' ..) |
| 2024-11-30 23:25:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-30 23:25:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 23:27:01 +0100 | <hellwolf> | aha, i have a guess now: so the assignment was to produce an infinite sorted list :) |
| 2024-11-30 23:27:29 +0100 | <hellwolf> | now that makes sense :) one should really share the context before asking others to check your solution. |
| 2024-11-30 23:29:26 +0100 | <geekosaur> | they were specifically asked to do so multiple times by multiple people |
| 2024-11-30 23:29:31 +0100 | <geekosaur> | the result was silence |
| 2024-11-30 23:29:58 +0100 | <hellwolf> | time changes. |
| 2024-11-30 23:30:02 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-11-30 23:30:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-30 23:30:29 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-11-30 23:31:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-11-30 23:33:25 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-11-30 23:33:38 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2024-11-30 23:33:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-30 23:36:36 +0100 | sprotte24 | (~sprotte24@p200300d16f2525006d115fd3ccbcd03f.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-30 23:36:54 +0100 | sprotte24 | (~sprotte24@p200300d16f2525006d115fd3ccbcd03f.dip0.t-ipconnect.de) |
| 2024-11-30 23:41:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 23:42:00 +0100 | ski | looks at sprotte24 |
| 2024-11-30 23:43:40 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:5110:3f6f:fbf2:ee63) jle` |
| 2024-11-30 23:46:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-30 23:48:14 +0100 | anon65078839 | (~anon65078@81.98.188.70) (Remote host closed the connection) |
| 2024-11-30 23:53:54 +0100 | Logio | (em@kapsi.fi) Logio |
| 2024-11-30 23:54:11 +0100 | Logio | (em@kapsi.fi) (Client Quit) |
| 2024-11-30 23:54:37 +0100 | Logio | (em@kapsi.fi) Logio |
| 2024-11-30 23:55:24 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-11-30 23:56:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-30 23:57:52 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |