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