| 2024-12-07 00:00:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 00:01:20 +0100 | supercode | (~supercode@user/supercode) supercode |
| 2024-12-07 00:08:00 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 2024-12-07 00:08:45 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:2ce0:c5f3:a191:442e:a62a:6f1c) (Ping timeout: 260 seconds) |
| 2024-12-07 00:09:07 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:ed12:9dd2:dd5b:4b2c) |
| 2024-12-07 00:11:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 00:17:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-07 00:20:43 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-12-07 00:26:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-12-07 00:27:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 00:30:24 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:ed12:9dd2:dd5b:4b2c) (Ping timeout: 246 seconds) |
| 2024-12-07 00:31:38 +0100 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2024-12-07 00:32:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-07 00:32:50 +0100 | JeremyB99 | (~JeremyB99@128.211.252.96) |
| 2024-12-07 00:33:02 +0100 | JeremyB99 | (~JeremyB99@128.211.252.96) (Read error: Connection reset by peer) |
| 2024-12-07 00:35:54 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:406:4:6afb:20af:26a0:ecad) |
| 2024-12-07 00:38:57 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2024-12-07 00:43:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 00:43:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 248 seconds) |
| 2024-12-07 00:45:06 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2024-12-07 00:47:07 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:406:4:6afb:20af:26a0:ecad) (Read error: Connection reset by peer) |
| 2024-12-07 00:48:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-07 00:52:17 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:406:4:6afb:20af:26a0:ecad) |
| 2024-12-07 00:53:18 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:406:4:6afb:20af:26a0:ecad) (Read error: Connection reset by peer) |
| 2024-12-07 00:53:56 +0100 | sonolin | (~michael@user/sonolin) (Ping timeout: 252 seconds) |
| 2024-12-07 00:55:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 00:55:18 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-12-07 00:59:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 01:02:45 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a005:2f14:983d:6732) |
| 2024-12-07 01:02:57 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a005:2f14:983d:6732) (Read error: Connection reset by peer) |
| 2024-12-07 01:04:12 +0100 | <sprotte24> | the first part of my code works |
| 2024-12-07 01:08:52 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-07 01:10:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 01:15:07 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2d8:61ff:feaa:be45) (Remote host closed the connection) |
| 2024-12-07 01:16:16 +0100 | lol_ | (~lol@2603:3016:1e01:b9c0:d1c1:f93e:7bae:b7b4) |
| 2024-12-07 01:18:13 +0100 | JeremyB99 | (~JeremyB99@128.211.251.214) |
| 2024-12-07 01:18:18 +0100 | JeremyB99 | (~JeremyB99@128.211.251.214) (Remote host closed the connection) |
| 2024-12-07 01:18:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 01:18:31 +0100 | JeremyB99 | (~JeremyB99@128.211.251.214) |
| 2024-12-07 01:20:33 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:cd28:d74a:e341:a3ea) (Ping timeout: 276 seconds) |
| 2024-12-07 01:29:08 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2024-12-07 01:29:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 01:33:00 +0100 | JeremyB99 | (~JeremyB99@128.211.251.214) (Read error: Connection reset by peer) |
| 2024-12-07 01:33:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 01:36:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-07 01:36:12 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2024-12-07 01:38:44 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6693:c25c:bda1:35d2) |
| 2024-12-07 01:39:01 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6693:c25c:bda1:35d2) (Read error: Connection reset by peer) |
| 2024-12-07 01:44:56 +0100 | sprotte24 | (~sprotte24@p200300d16f1521002020c35b0109401f.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-12-07 01:44:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 01:45:57 +0100 | leif | (~leif@210.54.33.112) leif |
| 2024-12-07 01:46:47 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6693:c25c:bda1:35d2) |
| 2024-12-07 01:49:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 02:00:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 02:01:28 +0100 | dpratt | (~dpratt@165.225.220.148) |
| 2024-12-07 02:05:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-07 02:08:32 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-12-07 02:08:48 +0100 | <dpratt> | I asked CoPilot how to parallelize `countLoopingPaths = length . filter hasLoop` and it offered `countLoopingPaths paths = length $ parMap rseq hasLoop paths` |
| 2024-12-07 02:08:48 +0100 | <dpratt> | It compiles and runs and produces a result, but it isn't the correct/same result. What might explain this? |
| 2024-12-07 02:12:08 +0100 | <probie> | That `parMap` is `map` and not `filter` |
| 2024-12-07 02:12:26 +0100 | <dpratt> | I m dum |
| 2024-12-07 02:12:34 +0100 | <dpratt> | thanks probie |
| 2024-12-07 02:12:36 +0100 | alp | (~alp@2001:861:8ca0:4940:b0c1:7414:d62f:3e1f) (Ping timeout: 246 seconds) |
| 2024-12-07 02:12:55 +0100 | <monochrom> | "CoPilot" explains this. :) |
| 2024-12-07 02:13:48 +0100 | <monochrom> | AI is as good as its training data. There are less Haskell training data than mainstream languages. |
| 2024-12-07 02:13:55 +0100 | <glguy> | What might explain that the code compiles but is not correct? Easy, you asked an LLM |
| 2024-12-07 02:14:26 +0100 | <probie> | You also probably want to chunk it instead of naively mapping across the whole thing |
| 2024-12-07 02:16:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 02:16:32 +0100 | <dpratt> | probie oh, ok -- been a while since I've investigated parallel Haskell, but I thought it kinda handled that part, to a degree -- something like it creates a bunch of "green" threads and then schedules them |
| 2024-12-07 02:17:07 +0100 | <probie> | e.g. `countLoopingPaths = sum . parMap (length . filter hasLoop) . chunk` where chunk is something like `chunk [] = []; chunk xs = let (y, ys) = splitAt 1024 xs in (y:chunk ys)` |
| 2024-12-07 02:17:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-12-07 02:17:36 +0100 | <probie> | Haskell threads are cheap, but they're still not free |
| 2024-12-07 02:18:59 +0100 | <dpratt> | probie ah very good, thanks! |
| 2024-12-07 02:20:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 02:21:10 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f42e8f4273a1ef84d34.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-12-07 02:21:19 +0100 | <probie> | you may also need to pass options to the Haskell runtime if you want to use multiple cores (`+RTS -N` if I remember correctly) |
| 2024-12-07 02:22:42 +0100 | <monochrom> | parListChunk saves you from writing your own chunking :) |
| 2024-12-07 02:22:45 +0100 | <dpratt> | yeah, I did remember that part |
| 2024-12-07 02:23:53 +0100 | <monochrom> | OK I don't know how to make it perform parMap... |
| 2024-12-07 02:24:07 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-07 02:31:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 02:32:10 +0100 | dpratt | (~dpratt@165.225.220.148) (Ping timeout: 240 seconds) |
| 2024-12-07 02:32:40 +0100 | dpratt | (~dpratt@165.225.220.165) |
| 2024-12-07 02:35:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 02:35:53 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-07 02:36:46 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6693:c25c:bda1:35d2) (Remote host closed the connection) |
| 2024-12-07 02:36:54 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6693:c25c:bda1:35d2) |
| 2024-12-07 02:37:34 +0100 | dpratt98 | (~dpratt@165.225.220.148) |
| 2024-12-07 02:37:48 +0100 | KicksonButt | (~quassel@187.21.174.221) (Ping timeout: 246 seconds) |
| 2024-12-07 02:39:32 +0100 | dpratt | (~dpratt@165.225.220.165) (Quit: Client closed) |
| 2024-12-07 02:46:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 02:53:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-07 02:56:52 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6693:c25c:bda1:35d2) (Remote host closed the connection) |
| 2024-12-07 02:57:01 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6693:c25c:bda1:35d2) |
| 2024-12-07 02:59:42 +0100 | sindu | (~sindu@176.75.224.1) (Ping timeout: 252 seconds) |
| 2024-12-07 03:01:10 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-07 03:05:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 03:06:08 +0100 | agent314 | (~quassel@146.70.172.42) agent314 |
| 2024-12-07 03:09:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-07 03:10:42 +0100 | agent314 | (~quassel@146.70.172.42) (Ping timeout: 252 seconds) |
| 2024-12-07 03:14:42 +0100 | dpratt98 | (~dpratt@165.225.220.148) (Quit: Client closed) |
| 2024-12-07 03:20:16 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-07 03:20:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 03:23:49 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-07 03:24:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 03:31:56 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-07 03:35:32 +0100 | <Leary> | SrPx: Though none are guaranteed to work, there are a few different approaches to turning a given monad into a monad transformer. tomsmeding showed you /right composition/; his `CollapseT m = Collapse . m`. There's also left composition: `CollapseT m = m . Collapse`; church interleaved: `CollapseT m a = forall r. (Int -> m r -> m r -> m r) -> (a -> m r) -> m r`; and adjunction intra-composition (e.g. `StateT`) which I doubt can be applied here. |
| 2024-12-07 03:35:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 03:40:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 03:50:14 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2024-12-07 03:51:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 03:52:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-12-07 03:56:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-07 03:56:26 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2024-12-07 04:01:12 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2024-12-07 04:05:24 +0100 | xff0x | (~xff0x@2405:6580:b080:900:585d:f11d:d292:5d16) (Ping timeout: 260 seconds) |
| 2024-12-07 04:07:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 04:11:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 04:13:50 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-07 04:15:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-12-07 04:15:33 +0100 | ljdarj1 | ljdarj |
| 2024-12-07 04:22:43 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2024-12-07 04:22:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 04:27:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 04:32:41 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-07 04:38:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 04:39:20 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-07 04:42:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 04:53:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 04:57:06 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1b11:7569:896c:ad6b) |
| 2024-12-07 04:58:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 05:00:20 +0100 | td_ | (~td@i5387093D.versanet.de) (Ping timeout: 252 seconds) |
| 2024-12-07 05:02:12 +0100 | td_ | (~td@i5387093C.versanet.de) |
| 2024-12-07 05:03:51 +0100 | korrykatti | (~korrykatt@user/korrykatti) korrykatti |
| 2024-12-07 05:10:28 +0100 | KicksonButt | (~quassel@187.21.174.221) |
| 2024-12-07 05:13:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 05:14:15 +0100 | aforemny_ | (~aforemny@2001:9e8:6ccb:4000:5e66:f8ae:2e96:5c20) (Ping timeout: 246 seconds) |
| 2024-12-07 05:14:46 +0100 | aforemny | (~aforemny@2001:9e8:6ceb:b900:debe:28a:1148:f211) aforemny |
| 2024-12-07 05:17:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 05:18:33 +0100 | <SrPx> | Leary: ty |
| 2024-12-07 05:28:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 05:29:22 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:ad4b:6165:bf6d:b915) (Ping timeout: 265 seconds) |
| 2024-12-07 05:35:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-07 05:38:58 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-07 05:45:57 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-12-07 05:46:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 05:51:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 05:55:00 +0100 | <Leary> | Erm, flip left and right, I suppose. |
| 2024-12-07 06:01:27 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-12-07 06:02:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 06:04:39 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-12-07 06:06:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-07 06:17:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 06:20:10 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2024-12-07 06:21:09 +0100 | fmira | (~user@user/fmira) fmira |
| 2024-12-07 06:21:58 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6693:c25c:bda1:35d2) (Remote host closed the connection) |
| 2024-12-07 06:22:06 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6693:c25c:bda1:35d2) |
| 2024-12-07 06:22:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 06:29:53 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2024-12-07 06:30:00 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-12-07 06:32:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 06:36:36 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6693:c25c:bda1:35d2) (Read error: Connection reset by peer) |
| 2024-12-07 06:37:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 06:37:53 +0100 | KicksonButt | (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-12-07 06:44:48 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:2c60:8432:9516:653:bf9b:b50e) |
| 2024-12-07 06:45:31 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:2c60:8432:9516:653:bf9b:b50e) (Read error: Connection reset by peer) |
| 2024-12-07 06:48:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 06:53:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-07 06:59:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 07:02:15 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-184.resnet.purdue.edu) |
| 2024-12-07 07:02:56 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:201:a5f2:fab8:efd2:829e) billchenchina |
| 2024-12-07 07:03:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-07 07:12:46 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-184.resnet.purdue.edu) (Read error: Connection reset by peer) |
| 2024-12-07 07:14:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 07:19:11 +0100 | <iqubic> | What's the best way to write a function of type `Set [a] -> Set a`? I want to flatten this and throw out all duplicate elements. |
| 2024-12-07 07:20:33 +0100 | <probie> | :t S.fromList . concat . S.toList |
| 2024-12-07 07:20:34 +0100 | <lambdabot> | Ord a => S.Set [a] -> S.Set a |
| 2024-12-07 07:20:57 +0100 | <Leary> | :t foldMap S.fromList |
| 2024-12-07 07:20:58 +0100 | <lambdabot> | (Foldable t, Ord a) => t [a] -> S.Set a |
| 2024-12-07 07:21:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-07 07:25:19 +0100 | korrykatti | (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 2024-12-07 07:26:30 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 276 seconds) |
| 2024-12-07 07:26:35 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2024-12-07 07:32:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 07:32:32 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-07 07:32:40 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-12-07 07:33:28 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-12-07 07:36:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 07:43:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-12-07 07:47:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 07:50:50 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-12-07 07:52:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-07 08:00:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 08:00:36 +0100 | JamesMowery43 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-12-07 08:00:52 +0100 | JamesMowery439 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2024-12-07 08:01:22 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-12-07 08:03:38 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-07 08:04:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-07 08:07:07 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-12-07 08:07:49 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-07 08:11:34 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-12-07 08:16:38 +0100 | b80697192 | (~bogy997@user/b80697192) b80697192 |
| 2024-12-07 08:17:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 08:18:31 +0100 | b80697192 | (~bogy997@user/b80697192) () |
| 2024-12-07 08:19:01 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:80be:4809:6d6c:1b60:e094) |
| 2024-12-07 08:21:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-07 08:25:21 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:10e2:80be:4809:6d6c:1b60:e094) (Ping timeout: 246 seconds) |
| 2024-12-07 08:26:16 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) |
| 2024-12-07 08:32:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 08:38:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-07 08:38:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-07 08:46:17 +0100 | Guest56 | (~Guest56@216.221.27.42) |
| 2024-12-07 08:47:38 +0100 | <Guest56> | hello |
| 2024-12-07 08:48:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 08:49:20 +0100 | Guest56 | (~Guest56@216.221.27.42) (Client Quit) |
| 2024-12-07 08:53:00 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-12-07 08:54:26 +0100 | img | (~img@user/img) img |
| 2024-12-07 08:54:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-07 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-07 09:00:40 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-07 09:01:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 09:05:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 09:05:40 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) (Remote host closed the connection) |
| 2024-12-07 09:05:47 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) |
| 2024-12-07 09:17:18 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2024-12-07 09:17:41 +0100 | jrm | (~jrm@user/jrm) jrm |
| 2024-12-07 09:18:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 09:19:27 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) (Remote host closed the connection) |
| 2024-12-07 09:19:34 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) |
| 2024-12-07 09:23:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-07 09:34:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 09:34:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-12-07 09:36:47 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-12-07 09:38:18 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-07 09:38:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 09:44:57 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) (Read error: Connection reset by peer) |
| 2024-12-07 09:46:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-07 09:46:52 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) |
| 2024-12-07 09:47:09 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f31719852d6c421a6d2.dip0.t-ipconnect.de) acidjnk |
| 2024-12-07 09:48:53 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) (Read error: Connection reset by peer) |
| 2024-12-07 09:49:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 09:51:42 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 2024-12-07 09:51:55 +0100 | <r-sta> | can everyone just see what a great job chatGPT does at answering this question; |
| 2024-12-07 09:51:56 +0100 | <r-sta> | https://chatgpt.com/share/67540c81-42d4-800b-a38a-e1d83a74f84c |
| 2024-12-07 09:52:22 +0100 | <r-sta> | appart from missing two language pragmas, its perfect |
| 2024-12-07 09:53:35 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Client Quit) |
| 2024-12-07 09:53:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 10:01:25 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-12-07 10:02:01 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-07 10:02:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 10:05:25 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) |
| 2024-12-07 10:10:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 10:13:48 +0100 | cyanteeth | (~textual@host86-171-156-10.range86-171.btcentralplus.com) |
| 2024-12-07 10:13:48 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) (Read error: Connection reset by peer) |
| 2024-12-07 10:17:46 +0100 | cyanteeth | (~textual@host86-171-156-10.range86-171.btcentralplus.com) (Client Quit) |
| 2024-12-07 10:18:20 +0100 | cyanteeth | (~cyanteeth@host86-171-156-10.range86-171.btcentralplus.com) |
| 2024-12-07 10:18:54 +0100 | cyanteeth | (~cyanteeth@host86-171-156-10.range86-171.btcentralplus.com) (Client Quit) |
| 2024-12-07 10:19:17 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
| 2024-12-07 10:21:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 10:23:42 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) |
| 2024-12-07 10:25:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-07 10:26:42 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
| 2024-12-07 10:27:12 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
| 2024-12-07 10:27:54 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-07 10:30:50 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) (Read error: Connection reset by peer) |
| 2024-12-07 10:36:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 10:41:02 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) |
| 2024-12-07 10:41:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 10:42:09 +0100 | manwithluck | (~manwithlu@194.177.28.193) (Ping timeout: 276 seconds) |
| 2024-12-07 10:43:41 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) manwithluck |
| 2024-12-07 10:47:48 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) (Read error: Connection reset by peer) |
| 2024-12-07 10:52:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 10:54:42 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-12-07 10:56:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 10:57:03 +0100 | elnegro | (elnegro@r186-54-138-151.dialup.adsl.anteldata.net.uy) elnegro |
| 2024-12-07 11:01:57 +0100 | elnegro | (elnegro@r186-54-138-151.dialup.adsl.anteldata.net.uy) () |
| 2024-12-07 11:03:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 11:07:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-07 11:09:15 +0100 | korrykatti | (~korrykatt@user/korrykatti) korrykatti |
| 2024-12-07 11:13:51 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-12-07 11:14:07 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-12-07 11:15:49 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-12-07 11:21:11 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-07 11:24:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 11:25:06 +0100 | user_ | (~user@user/fmira) fmira |
| 2024-12-07 11:25:07 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2024-12-07 11:30:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 11:35:14 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-12-07 11:37:56 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-12-07 11:41:12 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) |
| 2024-12-07 11:41:53 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-07 11:42:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 11:42:06 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) (Read error: Connection reset by peer) |
| 2024-12-07 11:43:12 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-07 11:47:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-07 11:47:36 +0100 | <haskellbridge> | <hellwolf> but you missed the learning opportunity of knowing things in GHC.TypeLits: https://hackage.haskell.org/package/base-4.20.0.1/docs/GHC-TypeLits.html#t:-60--61--63- |
| 2024-12-07 11:48:22 +0100 | haskellbridge | hellwolf rant begin |
| 2024-12-07 11:48:46 +0100 | haskellbridge | hellwolf would like to tell people don't learn using chatgpt. |
| 2024-12-07 11:49:08 +0100 | <haskellbridge> | <hellwolf> But people stop listening to whom are older than you, and may even insult you as boomers. |
| 2024-12-07 11:49:44 +0100 | <haskellbridge> | <hellwolf> Instead, people listen to young influences who got their followers first before learned great deal things. |
| 2024-12-07 11:49:47 +0100 | haskellbridge | hellwolf rant end |
| 2024-12-07 11:55:16 +0100 | sprotte24 | (~sprotte24@p200300d16f1cbf00782b7bfd2f15122a.dip0.t-ipconnect.de) |
| 2024-12-07 11:57:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 12:02:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-07 12:04:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 12:06:33 +0100 | aforemny | (~aforemny@2001:9e8:6ceb:b900:debe:28a:1148:f211) (Ping timeout: 246 seconds) |
| 2024-12-07 12:09:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-07 12:21:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 12:21:41 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
| 2024-12-07 12:25:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 12:29:11 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-12-07 12:36:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 12:41:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 12:43:03 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-12-07 12:46:32 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-07 12:48:20 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Client Quit) |
| 2024-12-07 12:52:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 12:52:39 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-07 12:53:19 +0100 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) (Ping timeout: 245 seconds) |
| 2024-12-07 12:53:32 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
| 2024-12-07 12:57:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-07 13:00:09 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-07 13:02:33 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-07 13:05:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 13:05:14 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-07 13:07:00 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-07 13:11:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 13:13:24 +0100 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 246 seconds) |
| 2024-12-07 13:14:00 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2024-12-07 13:23:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 13:27:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-07 13:38:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 13:40:26 +0100 | <lxsameer> | given the following type https://dpaste.com/3S59RYR4D is it possible to extract the first `ann` without matching against all the constructors using pattern matching? |
| 2024-12-07 13:41:44 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) |
| 2024-12-07 13:41:46 +0100 | <ncf> | no. you're looking for Cofree https://hackage.haskell.org/package/free-5.2/docs/Control-Comonad-Cofree.html#t:Cofree |
| 2024-12-07 13:41:46 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
| 2024-12-07 13:42:26 +0100 | <lxsameer> | cheers |
| 2024-12-07 13:42:27 +0100 | Square | (~Square@user/square) Square |
| 2024-12-07 13:42:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 13:43:38 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2024-12-07 13:44:18 +0100 | mud | (~mud@user/kadoban) (Ping timeout: 252 seconds) |
| 2024-12-07 13:46:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-07 13:50:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-07 13:51:29 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) (Read error: Connection reset by peer) |
| 2024-12-07 13:53:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 13:58:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-07 14:06:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 14:10:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 14:11:17 +0100 | dalem | (~dalem@user/dalem) dalem |
| 2024-12-07 14:11:31 +0100 | JamesMowery439 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Ping timeout (120 seconds)) |
| 2024-12-07 14:12:52 +0100 | kadobanana | (~mud@user/kadoban) (Remote host closed the connection) |
| 2024-12-07 14:13:00 +0100 | JamesMowery439 | (~JamesMowe@68.228.212.232) JamesMowery |
| 2024-12-07 14:13:39 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2024-12-07 14:13:58 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2024-12-07 14:17:06 +0100 | Brett78 | (~Brett@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net) (Quit: Client closed) |
| 2024-12-07 14:18:16 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
| 2024-12-07 14:21:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 14:22:59 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3311-f67f-9420-9c07-8c62-44f9.rev.sfr.net) alexherbo2 |
| 2024-12-07 14:22:59 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Read error: Connection reset by peer) |
| 2024-12-07 14:25:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 14:26:32 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-12-07 14:27:34 +0100 | dalem | (~dalem@user/dalem) (Ping timeout: 252 seconds) |
| 2024-12-07 14:30:00 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2024-12-07 14:34:03 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-07 14:36:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 14:41:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 14:46:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 14:52:22 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) HarveyPwca |
| 2024-12-07 14:53:59 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Read error: Connection reset by peer) |
| 2024-12-07 14:54:47 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-12-07 14:55:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-07 15:05:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 15:07:39 +0100 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) |
| 2024-12-07 15:10:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-07 15:15:24 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-07 15:17:06 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2024-12-07 15:17:43 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2024-12-07 15:18:29 +0100 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) gdr3941 |
| 2024-12-07 15:20:13 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-12-07 15:21:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 15:25:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-12-07 15:25:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-07 15:29:20 +0100 | hellwolf | (~user@b8a6-130a-d7ff-64a1-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection) |
| 2024-12-07 15:31:11 +0100 | hellwolf | (~user@aff6-e8e3-4734-8eb1-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2024-12-07 15:45:36 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-12-07 15:51:55 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:201:a5f2:fab8:efd2:829e) (Remote host closed the connection) |
| 2024-12-07 15:52:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 15:54:05 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-07 15:57:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 16:06:48 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-12-07 16:07:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 16:09:47 +0100 | JamesMowery439 | (~JamesMowe@68.228.212.232) (Quit: Ping timeout (120 seconds)) |
| 2024-12-07 16:10:32 +0100 | tabemann_ | (~tabemann@2600:1700:7990:24e0:39a4:2ebe:705f:fb9f) (Remote host closed the connection) |
| 2024-12-07 16:11:08 +0100 | JamesMowery439 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2024-12-07 16:11:09 +0100 | kadobanana | (~mud@user/kadoban) (Remote host closed the connection) |
| 2024-12-07 16:11:40 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2024-12-07 16:12:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-07 16:13:18 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-12-07 16:13:34 +0100 | tabemann_ | (~tabemann@2600:1700:7990:24e0:39a4:2ebe:705f:fb9f) |
| 2024-12-07 16:20:37 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-12-07 16:23:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 16:28:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-07 16:30:29 +0100 | nucleus | (~grigory@77-174-131-220.fixed.kpn.net) |
| 2024-12-07 16:34:53 +0100 | nucleus | (~grigory@77-174-131-220.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2024-12-07 16:39:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 16:41:17 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-07 16:43:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 16:54:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 16:58:44 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-12-07 16:59:03 +0100 | sindu | (~sindu@176.75.224.1) |
| 2024-12-07 16:59:09 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-12-07 16:59:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 17:01:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-07 17:01:19 +0100 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2024-12-07 17:02:40 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-12-07 17:06:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 17:07:34 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) |
| 2024-12-07 17:11:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-07 17:12:19 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:a86d:3c1:f7f7:70ae) (Ping timeout: 260 seconds) |
| 2024-12-07 17:12:26 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:a2d9:cae4:701f:856a:de0b:1e2d) |
| 2024-12-07 17:22:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 17:22:27 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
| 2024-12-07 17:22:44 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:a2d9:cae4:701f:856a:de0b:1e2d) (Remote host closed the connection) |
| 2024-12-07 17:22:51 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:a2d9:cae4:701f:856a:de0b:1e2d) |
| 2024-12-07 17:27:29 +0100 | korrykatti | (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 2024-12-07 17:30:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-07 17:41:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 17:42:03 +0100 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 276 seconds) |
| 2024-12-07 17:43:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-07 17:44:03 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:a2d9:cae4:701f:856a:de0b:1e2d) (Read error: Connection reset by peer) |
| 2024-12-07 17:44:33 +0100 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2024-12-07 17:45:08 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:a2d9:cae4:701f:856a:de0b:1e2d) |
| 2024-12-07 17:48:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-07 17:48:21 +0100 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-12-07 17:48:47 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-12-07 17:49:55 +0100 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) gdr3941 |
| 2024-12-07 17:50:14 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:a2d9:cae4:701f:856a:de0b:1e2d) (Ping timeout: 260 seconds) |
| 2024-12-07 17:51:11 +0100 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) (Client Quit) |
| 2024-12-07 17:54:18 +0100 | JeremyB99 | (~JeremyB99@128.211.254.190) |
| 2024-12-07 17:54:51 +0100 | JeremyB99 | (~JeremyB99@128.211.254.190) (Read error: Connection reset by peer) |
| 2024-12-07 17:56:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 18:01:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 18:04:49 +0100 | JeremyB99 | (~JeremyB99@128.211.254.190) |
| 2024-12-07 18:05:06 +0100 | JeremyB99 | (~JeremyB99@128.211.254.190) (Read error: Connection reset by peer) |
| 2024-12-07 18:05:54 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
| 2024-12-07 18:12:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 18:15:45 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3311-f67f-9420-9c07-8c62-44f9.rev.sfr.net) (Remote host closed the connection) |
| 2024-12-07 18:17:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 18:19:57 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:d572:8348:7cad:f12a) |
| 2024-12-07 18:27:33 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) HarveyPwca |
| 2024-12-07 18:27:39 +0100 | dpratt | (~dpratt@165.225.220.148) dpratt |
| 2024-12-07 18:28:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 18:33:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 18:36:02 +0100 | <dpratt> | I went looking for other examples to compare my AoC 2024 solutions with and came across this https://github.com/Lorin-Lange/advent-of-code/blob/2efd0ae149310e46503f1a0326454d18d2203e08/AoC_20… |
| 2024-12-07 18:36:03 +0100 | <dpratt> | My own solution involved creating a Graph and doing a reverse topological sort (which I guess is essentially a depth-first search). I was kinda surprised the above works (I assume). Perhaps there's not much to say about this, but any insight is appreciated. Is the `order` function here fully equivalent to a reverse topological sort? |
| 2024-12-07 18:37:46 +0100 | <int-e> | dpratt: it turns out that the inputs are designed such that for lists that are not topologically ordered, the implied order is total |
| 2024-12-07 18:39:22 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-07 18:40:08 +0100 | <int-e> | so `sortBy` works even though it does not implement a general topological sort. |
| 2024-12-07 18:40:27 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:d572:8348:7cad:f12a) (Remote host closed the connection) |
| 2024-12-07 18:40:35 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:d572:8348:7cad:f12a) |
| 2024-12-07 18:41:50 +0100 | <dpratt> | int-e not totally sure what your first comment means, but I think I get the gist of what you're saying -- I think I recall that total orders are such that every element is definitely GT or LT every other element? |
| 2024-12-07 18:43:48 +0100 | sindu | (~sindu@176.75.224.1) (Ping timeout: 276 seconds) |
| 2024-12-07 18:44:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 18:44:43 +0100 | <int-e> | > sortBy (\x y -> if (x,y) `elem` [(1,2)] then LT else GT) [1,3,2] -- output is *not* topologically ordered according to 1 <= 2 |
| 2024-12-07 18:44:45 +0100 | <lambdabot> | [2,3,1] |
| 2024-12-07 18:45:45 +0100 | <dpratt> | int-e ah, perfect, thanks for elaborating with an example |
| 2024-12-07 18:46:00 +0100 | <int-e> | dpratt: If you take your input, and consider any of the lists that violate the given partial order, then you can check that all pairs in that list have their order given (so for all a != b in xs, either a|b or b|a is listed) |
| 2024-12-07 18:46:41 +0100 | <dpratt> | int-e makes sense, thanks! |
| 2024-12-07 18:47:51 +0100 | <dpratt> | seems kinda clever that this guy noticed that and took advantage -- or maybe this is obvious from a certain perspective, I don't know |
| 2024-12-07 18:48:47 +0100 | <int-e> | Or they did it by accident and saw that it worked (I did; I even deluded myself into believing it would be a correct topological sort until I had second thought) |
| 2024-12-07 18:48:51 +0100 | <int-e> | *thoughts |
| 2024-12-07 18:49:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-07 18:49:06 +0100 | <dpratt> | that would be funny, if so :D |
| 2024-12-07 18:51:18 +0100 | <int-e> | dpratt: it worked for the example, therefore it must be correct?! |
| 2024-12-07 18:52:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-07 18:53:53 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-12-07 18:56:39 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 245 seconds) |
| 2024-12-07 18:59:16 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:d572:8348:7cad:f12a) (Remote host closed the connection) |
| 2024-12-07 18:59:20 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-12-07 18:59:23 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:d572:8348:7cad:f12a) |
| 2024-12-07 18:59:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 19:01:50 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-12-07 19:02:57 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 248 seconds) |
| 2024-12-07 19:05:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-07 19:06:47 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
| 2024-12-07 19:08:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-07 19:09:36 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-12-07 19:09:53 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2024-12-07 19:09:54 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-12-07 19:10:24 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2024-12-07 19:10:56 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-12-07 19:16:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 19:16:23 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-07 19:20:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 19:21:02 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:d572:8348:7cad:f12a) (Remote host closed the connection) |
| 2024-12-07 19:21:10 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:d572:8348:7cad:f12a) |
| 2024-12-07 19:25:09 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-07 19:25:42 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-07 19:29:34 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:d572:8348:7cad:f12a) (Ping timeout: 245 seconds) |
| 2024-12-07 19:29:44 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:22c2:dbd:885f:e90:cb0c:363e) |
| 2024-12-07 19:31:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 19:32:25 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:22c2:dbd:885f:e90:cb0c:363e) (Remote host closed the connection) |
| 2024-12-07 19:32:33 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:22c2:dbd:885f:e90:cb0c:363e) |
| 2024-12-07 19:32:33 +0100 | <glguy> | It's AoC, it only has to work for your input.. some problems didn't even allow for a general solution |
| 2024-12-07 19:36:05 +0100 | <int-e> | I never figured out whether https://adventofcode.com/2023/day/20 (part 2) was decidable. |
| 2024-12-07 19:36:29 +0100 | <int-e> | (probably not but I don't have a proof) |
| 2024-12-07 19:36:35 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-12-07 19:37:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-07 19:39:04 +0100 | <int-e> | I did figure out that part 2 of https://adventofcode.com/2023/day/8 was NP-hard in general. |
| 2024-12-07 19:39:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-12-07 19:39:54 +0100 | <int-e> | (and solvable in a polynomial number of NP queries) |
| 2024-12-07 19:42:23 +0100 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2024-12-07 19:42:41 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:22c2:dbd:885f:e90:cb0c:363e) (Remote host closed the connection) |
| 2024-12-07 19:42:49 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:22c2:dbd:885f:e90:cb0c:363e) |
| 2024-12-07 19:47:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 19:52:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-07 19:54:58 +0100 | monochrom | creates exam question: Give an algorithm that inputs a lambda term and determines whether the input has a normal form. You may assume that the input is typeable in System F. >:) |
| 2024-12-07 19:55:37 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-07 19:56:05 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:22c2:dbd:885f:e90:cb0c:363e) (Ping timeout: 252 seconds) |
| 2024-12-07 19:56:31 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:c63:e307:a5c4:e64) |
| 2024-12-07 19:57:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 19:58:16 +0100 | korrykatti | (~korrykatt@user/korrykatti) korrykatti |
| 2024-12-07 20:02:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 20:06:58 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
| 2024-12-07 20:11:35 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Client Quit) |
| 2024-12-07 20:12:21 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
| 2024-12-07 20:13:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 20:15:29 +0100 | <int-e> | monochrom: There's a Statman paper "On The Lambda Y Calculus" that shows that having a normal form is decidable in the simply typed lambda calculus with Y : (a -> a) -> a added as a primitive. |
| 2024-12-07 20:16:35 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-07 20:16:49 +0100 | <int-e> | (technically Y_a for any conceivable a) |
| 2024-12-07 20:17:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 20:28:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 20:28:59 +0100 | <glguy> | I cleaned up and documented my AoC solution from last night. I think I've run out of things to fiddle with https://github.com/glguy/advent/blob/main/solutions/src/2024/07.hs |
| 2024-12-07 20:29:34 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-12-07 20:30:49 +0100 | <int-e> | hmm... no read (show x ++ show y) |
| 2024-12-07 20:31:14 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-12-07 20:31:38 +0100 | <int-e> | ah I see why, never mind |
| 2024-12-07 20:33:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 20:34:09 +0100 | <int-e> | (though I still used `show` shenanigans when I implemented a backwards search) |
| 2024-12-07 20:34:20 +0100 | <glguy> | If you look in my git history, I did that too |
| 2024-12-07 20:34:52 +0100 | <glguy> | I was in a rush and wanted to be done for the night :) |
| 2024-12-07 20:35:06 +0100 | hellwolf | (~user@aff6-e8e3-4734-8eb1-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 246 seconds) |
| 2024-12-07 20:35:44 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-12-07 20:36:40 +0100 | <int-e> | <3 time zones (tasks release at 6am here) |
| 2024-12-07 20:37:52 +0100 | <glguy> | I concider myself pretty fortunate that they come out at 9PM for me |
| 2024-12-07 20:38:21 +0100 | korrykatti | (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 2024-12-07 20:38:23 +0100 | <int-e> | that would be a good time indeed :) |
| 2024-12-07 20:39:34 +0100 | <glguy> | Except that that was my home-game D&D start time last month, so it's kind of cramping my style this month :) |
| 2024-12-07 20:39:50 +0100 | <int-e> | ah you did not optimize the day 6 task |
| 2024-12-07 20:40:14 +0100 | <glguy> | Like caching next turn? |
| 2024-12-07 20:40:24 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2024-12-07 20:40:43 +0100 | <int-e> | jumping straight to the next obstacle |
| 2024-12-07 20:40:52 +0100 | <int-e> | for part 2 |
| 2024-12-07 20:41:37 +0100 | <int-e> | https://paste.tomsmeding.com/S5vVsZHH |
| 2024-12-07 20:41:53 +0100 | hellwolf | (~user@fd1b-fea4-59a9-4346-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2024-12-07 20:42:00 +0100 | <glguy> | I thought about that but then I thought I'd need to duplicate the 'walk' definition, or make distance calculations more fiddly in part 1 |
| 2024-12-07 20:42:12 +0100 | <int-e> | (some egregious copy&paste but the up/down/left/right distinction is awkward with this data) |
| 2024-12-07 20:42:28 +0100 | <int-e> | it's just a 100x speedup anyway ;-) |
| 2024-12-07 20:43:17 +0100 | <int-e> | oh there's a bug. luckily the input is square... |
| 2024-12-07 20:43:37 +0100 | <glguy> | what's the runtime on your computer then? |
| 2024-12-07 20:43:55 +0100 | <int-e> | I measured 0.067s. It's essentially noise. |
| 2024-12-07 20:44:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 20:44:34 +0100 | <int-e> | compared to ~7s for my initial solution that basically had two copies of the simpler `go`, one collecting (x,y,dx,dy) tuples in a set for loop detection. |
| 2024-12-07 20:44:43 +0100 | <glguy> | Oh, since you represented your board as a sparse map of walls you can find the next wall more easily |
| 2024-12-07 20:44:46 +0100 | <glguy> | while I have to search the array |
| 2024-12-07 20:44:55 +0100 | <glguy> | My array search runs in ~300ms locally |
| 2024-12-07 20:46:23 +0100 | <int-e> | I guess that would be fast enough that I wouldn't bother with optimizaing further either |
| 2024-12-07 20:48:03 +0100 | <int-e> | using tortoise and hare for this is cute |
| 2024-12-07 20:49:53 +0100 | Everything | (~Everythin@46.211.214.172) Everything |
| 2024-12-07 20:50:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 20:52:52 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2024-12-07 20:56:48 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-07 20:58:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 21:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-07 21:00:39 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-07 21:01:16 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2024-12-07 21:03:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-07 21:06:30 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-12-07 21:14:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 21:18:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-07 21:24:53 +0100 | <haskellbridge> | <Bowuigi> monochrom every lambda expression typeable in System F has a normal form, so just saying "yes" in every case is enough. Is that what you mean? |
| 2024-12-07 21:29:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 21:30:20 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2024-12-07 21:33:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-07 21:34:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 21:35:49 +0100 | <ncf> | now prove that the algorithm is correct (draw the rest of the owl) |
| 2024-12-07 21:36:50 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Quit: WeeChat 4.4.2) |
| 2024-12-07 21:41:53 +0100 | <monochrom> | yes |
| 2024-12-07 21:43:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-07 21:45:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 21:45:56 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:c63:e307:a5c4:e64) (Read error: Connection reset by peer) |
| 2024-12-07 21:46:01 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-12-07 21:46:25 +0100 | <haskellbridge> | <Bowuigi> ncf lmao progress+preservation time |
| 2024-12-07 21:47:25 +0100 | <ncf> | artin gluing time |
| 2024-12-07 21:49:11 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:c63:e307:a5c4:e64) |
| 2024-12-07 21:49:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 21:51:01 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:c63:e307:a5c4:e64) (Read error: Connection reset by peer) |
| 2024-12-07 21:53:21 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-07 21:56:18 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:a2c9:459b:acde:8702:d05d:57a0) |
| 2024-12-07 21:56:18 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:a2c9:459b:acde:8702:d05d:57a0) (Read error: Connection reset by peer) |
| 2024-12-07 21:57:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-07 21:58:59 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-07 21:59:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 22:01:44 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-07 22:04:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-07 22:06:19 +0100 | JeremyB99 | (~JeremyB99@dhcp-248-112.resnet.purdue.edu) |
| 2024-12-07 22:08:00 +0100 | JeremyB99 | (~JeremyB99@dhcp-248-112.resnet.purdue.edu) (Read error: Connection reset by peer) |
| 2024-12-07 22:09:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-07 22:10:48 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
| 2024-12-07 22:12:54 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
| 2024-12-07 22:15:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 22:21:33 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:bca:20c4:20a4:f74e:f40a:90f0) |
| 2024-12-07 22:21:59 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:bca:20c4:20a4:f74e:f40a:90f0) (Read error: Connection reset by peer) |
| 2024-12-07 22:22:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 22:24:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-07 22:27:46 +0100 | leif | (~leif@210.54.33.112) (Read error: Connection reset by peer) |
| 2024-12-07 22:31:16 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-12-07 22:31:28 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-07 22:33:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 22:37:06 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
| 2024-12-07 22:37:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-07 22:41:21 +0100 | sonolin | (~michael@user/sonolin) sonolin |
| 2024-12-07 22:44:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-07 22:45:43 +0100 | korrykatti | (~korrykatt@user/korrykatti) korrykatti |
| 2024-12-07 22:52:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-07 22:52:51 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-12-07 22:52:59 +0100 | sonolin | (~michael@user/sonolin) (Ping timeout: 260 seconds) |
| 2024-12-07 22:54:41 +0100 | sonolin | (~michael@user/sonolin) sonolin |
| 2024-12-07 22:54:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 22:55:13 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) |
| 2024-12-07 22:55:22 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) (Read error: Connection reset by peer) |
| 2024-12-07 22:59:09 +0100 | korrykatti | (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 2024-12-07 23:00:27 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) |
| 2024-12-07 23:01:07 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) (Read error: Connection reset by peer) |
| 2024-12-07 23:03:36 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-12-07 23:03:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-07 23:04:48 +0100 | rstromlund | (~user@user/rstromlund) rstromlund |
| 2024-12-07 23:05:29 +0100 | sonolin | (~michael@user/sonolin) (Ping timeout: 244 seconds) |
| 2024-12-07 23:07:46 +0100 | sonolin | (~michael@user/sonolin) sonolin |
| 2024-12-07 23:09:10 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 2024-12-07 23:09:24 +0100 | <r-sta> | how difficult would it be to make something like a class that could go in a where block with its instances? |
| 2024-12-07 23:09:34 +0100 | <r-sta> | like where you define the class and the instances together |
| 2024-12-07 23:10:00 +0100 | <r-sta> | im always having to define at top level, classes and instances, eg when working with type level nats |
| 2024-12-07 23:10:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-07 23:11:06 +0100 | <geekosaur> | Haskell's type system becomes unsound if local classes/instances are permitted |
| 2024-12-07 23:11:37 +0100 | <r-sta> | hmm |
| 2024-12-07 23:11:48 +0100 | <r-sta> | i think this is incorrect |
| 2024-12-07 23:12:01 +0100 | <r-sta> | i have worked very successfully with local instances using the reification techniqu |
| 2024-12-07 23:12:04 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-07 23:12:08 +0100 | <int-e> | you could attach them to local (data) types |
| 2024-12-07 23:12:16 +0100 | <r-sta> | what makes you suggest this be the case? |
| 2024-12-07 23:12:22 +0100 | <r-sta> | ine-e: howd you mean? |
| 2024-12-07 23:12:28 +0100 | <geekosaur> | just for an example: Data.Set and Data.Map depend on Ord instances, because they use trees internally. What happens if you can substitute a different Ord instance locally? |
| 2024-12-07 23:12:48 +0100 | <r-sta> | you can |
| 2024-12-07 23:12:56 +0100 | <r-sta> | !? |
| 2024-12-07 23:13:00 +0100 | <int-e> | also yeah, technically it's not the type system that breaks; it's invariants in data types (which in cases like Typeable may eventually break the type system) |
| 2024-12-07 23:13:01 +0100 | <geekosaur> | (SML/NJ does have a way to protect against this, but it does so by not using a typeclass-like mechanism) |
| 2024-12-07 23:13:31 +0100 | <r-sta> | im not sure whats happening |
| 2024-12-07 23:13:34 +0100 | <r-sta> | what am i reading here |
| 2024-12-07 23:13:41 +0100 | <r-sta> | did you misunderstand the question? |
| 2024-12-07 23:13:44 +0100 | <r-sta> | im confused |
| 2024-12-07 23:13:57 +0100 | <r-sta> | is this like actually some theoretic reality im not understanding? |
| 2024-12-07 23:14:01 +0100 | <geekosaur> | it sounds like you want local typeclasses and instances |
| 2024-12-07 23:14:15 +0100 | <r-sta> | i want a syntax like a class, but that i can use in a where block |
| 2024-12-07 23:14:15 +0100 | <geekosaur> | were explaining why that is a problem |
| 2024-12-07 23:14:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 23:15:00 +0100 | <r-sta> | look here |
| 2024-12-07 23:15:00 +0100 | <r-sta> | https://pastebin.com/raw/9tdzCiSS |
| 2024-12-07 23:15:15 +0100 | <r-sta> | search "!!!" |
| 2024-12-07 23:18:40 +0100 | <r-sta> | loop of "boundedCounter" has a loop function that sits nicely in a where block, but to make the corresponding boundedCounterT has this escape to top level |
| 2024-12-07 23:18:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 23:19:01 +0100 | <r-sta> | as a class |
| 2024-12-07 23:19:16 +0100 | <r-sta> | and. despite there only being 2 instances, the instances are also at top level |
| 2024-12-07 23:19:23 +0100 | <r-sta> | kind of like an open vs closed data family |
| 2024-12-07 23:19:42 +0100 | <int-e> | Anyway. Basically nobody has done this, and if you aren't careful with what kind of local instances you allow, you can easily get incoherent instances which is something that the type system currently tries to prevent. |
| 2024-12-07 23:19:51 +0100 | <r-sta> | im arguing for something like closed class syntax, where the instances are given with the declaration of the type signature |
| 2024-12-07 23:20:06 +0100 | <r-sta> | int-e: reflection isnt even the issue here |
| 2024-12-07 23:20:12 +0100 | <r-sta> | reification* |
| 2024-12-07 23:20:29 +0100 | <r-sta> | its like, how would this different class syntax look? |
| 2024-12-07 23:20:36 +0100 | <r-sta> | where do the types go |
| 2024-12-07 23:20:58 +0100 | <r-sta> | im sure its well founded, if for no reason other than the fact that the code blocks should "look" the same |
| 2024-12-07 23:21:09 +0100 | <int-e> | meh, `where` and `let` blocks have bindings, they could have declarations too without too much trouble? |
| 2024-12-07 23:21:17 +0100 | <int-e> | syntactically speaking |
| 2024-12-07 23:21:19 +0100 | <geekosaur> | I think too much of the typeclass machinery is currently bound up in the assumption that (a) they're global (b) they're open |
| 2024-12-07 23:21:55 +0100 | <r-sta> | int-e: sure. i mean, like, they have eg ScopedTypeVariables or not, for how local scope handles type inference |
| 2024-12-07 23:21:59 +0100 | <geekosaur> | (as to local declarations, local `data` is a commonly reqyuested extension that doesn't seem to be problematic, just hasn't been done yet) |
| 2024-12-07 23:22:10 +0100 | <r-sta> | geekousaur: +1 |
| 2024-12-07 23:22:16 +0100 | <int-e> | r-sta: as I said, nobody has done that |
| 2024-12-07 23:22:48 +0100 | <r-sta> | local datatypes... |
| 2024-12-07 23:22:50 +0100 | <r-sta> | jmm |
| 2024-12-07 23:22:52 +0100 | <r-sta> | hmm* |
| 2024-12-07 23:23:22 +0100 | <geekosaur> | I think someone would need to do a lot of work to prove that closed typeclasses wouldn't cause problems, since the open world assumption is baked deeply into Haskell's type system |
| 2024-12-07 23:23:24 +0100 | <int-e> | Clearly there are a lot of questions to answer and problems to solve if you go down that path and in the meantime, the global types, classes, and instances story is fairly well figured out and useful enough for most people. |
| 2024-12-07 23:23:37 +0100 | <r-sta> | er. well ok, there are 2 issues and i guess i kind of want maybe to consider the closed class situation rather than the local business |
| 2024-12-07 23:24:02 +0100 | <r-sta> | re open world. isnt there something like a case checker? |
| 2024-12-07 23:24:17 +0100 | <r-sta> | like, you can essentially have it prove all the options are given |
| 2024-12-07 23:24:18 +0100 | <int-e> | Plus people who really want to inject type class instances have figured out how to do that with clever coercions. |
| 2024-12-07 23:24:34 +0100 | <r-sta> | like '[] vs (x':xs) and it would be like, yes thats total |
| 2024-12-07 23:25:18 +0100 | <r-sta> | int-e: i cant even remember what i was using local instances *for* all those years ago |
| 2024-12-07 23:25:49 +0100 | <geekosaur> | also I think pretty much anything you could do with a closed typeclass you can do with a closed type family? |
| 2024-12-07 23:27:10 +0100 | <r-sta> | this is the answer i was hoping for. i hope |
| 2024-12-07 23:27:26 +0100 | <r-sta> | like some way of using existing syntax |
| 2024-12-07 23:27:39 +0100 | <r-sta> | wait, no you cant use a closed type family its a value level function! |
| 2024-12-07 23:27:42 +0100 | <geekosaur> | (hang a where clause off the type family header and put the instances in it) |
| 2024-12-07 23:28:29 +0100 | <r-sta> | its like, idk, this thing im doing now basically has singleton nats |
| 2024-12-07 23:28:38 +0100 | <r-sta> | its just doing [1..n] |
| 2024-12-07 23:28:55 +0100 | <r-sta> | but like, its insane how clunky the code ends up being |
| 2024-12-07 23:29:23 +0100 | <r-sta> | im used to being able to do eg, definitions that are exactly the same at value and type level |
| 2024-12-07 23:29:30 +0100 | <r-sta> | the type family looks just like the function |
| 2024-12-07 23:29:34 +0100 | <r-sta> | idk, for (+) or something |
| 2024-12-07 23:29:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 23:29:49 +0100 | <r-sta> | but with the singletons thing, its like, it needs the corresponding value level stuff aswell |
| 2024-12-07 23:30:16 +0100 | <r-sta> | and you have to use a proper class, since nothing else can match on the types to direct the recursive self call |
| 2024-12-07 23:30:22 +0100 | <r-sta> | while also doing the value level functions |
| 2024-12-07 23:30:46 +0100 | <r-sta> | ... |
| 2024-12-07 23:31:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-07 23:31:23 +0100 | <r-sta> | and as for closed world. at term level, it would be like, you cannot have definitions being broken up by different definitions |
| 2024-12-07 23:32:06 +0100 | <r-sta> | i cant just (in this case where a closed world exists) give another pattern match case for the term level loop function, somewhere else in the code (really this is because its confined to local scope) |
| 2024-12-07 23:32:17 +0100 | <r-sta> | its like, we use local scoping to *do* a closed world style thing |
| 2024-12-07 23:32:25 +0100 | <r-sta> | i challenge this "open world" idea |
| 2024-12-07 23:33:03 +0100 | <r-sta> | classes are not "open" |
| 2024-12-07 23:33:20 +0100 | <r-sta> | i cant just extend them with extra definitions, i have to use superclass inheritance by providing a constraint |
| 2024-12-07 23:33:33 +0100 | <r-sta> | (there is a where in the class syntax) |
| 2024-12-07 23:33:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-07 23:33:59 +0100 | <r-sta> | so whats the issue about also specifying which types are given instances |
| 2024-12-07 23:34:06 +0100 | user_ | (~user@user/fmira) (Quit: user_) |
| 2024-12-07 23:34:20 +0100 | <r-sta> | if you put the only allowed instances in the same block, then you "close" the instances thing. |
| 2024-12-07 23:34:32 +0100 | <r-sta> | or, i guess, you could do this just by allowing them in where blocks] |
| 2024-12-07 23:34:53 +0100 | <r-sta> | but i didnt like the sound of Typable unpredictability breaking the compiler or something |
| 2024-12-07 23:35:09 +0100 | <r-sta> | so if there is a good reason not to have the local version, in the restricted scope |
| 2024-12-07 23:35:20 +0100 | <r-sta> | (a lot of haskell is confined to top level) |
| 2024-12-07 23:35:29 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-12-07 23:35:34 +0100 | <r-sta> | then the closed version should still be an option |
| 2024-12-07 23:35:51 +0100 | user_ | (~user@user/fmira) fmira |
| 2024-12-07 23:36:03 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-12-07 23:37:20 +0100 | user_ | (~user@user/fmira) (Remote host closed the connection) |
| 2024-12-07 23:38:07 +0100 | user_ | (~user@user/fmira) fmira |
| 2024-12-07 23:38:37 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 2024-12-07 23:39:00 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-12-07 23:39:17 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 265 seconds) |
| 2024-12-07 23:42:59 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed) |
| 2024-12-07 23:45:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-07 23:45:41 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-12-07 23:46:12 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-12-07 23:49:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-07 23:50:38 +0100 | alp | (~alp@2001:861:8ca0:4940:cf08:e593:5c4c:fc77) |
| 2024-12-07 23:53:08 +0100 | user_ | (~user@user/fmira) (Remote host closed the connection) |
| 2024-12-07 23:55:52 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-12-07 23:55:55 +0100 | user_ | (~user@user/fmira) fmira |
| 2024-12-07 23:56:01 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) |
| 2024-12-07 23:56:23 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-12-07 23:56:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2024-12-07 23:56:46 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:dd7b:1771:b0aa:68cf) (Read error: Connection reset by peer) |
| 2024-12-07 23:58:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-07 23:59:55 +0100 | user_ | (~user@user/fmira) (Client Quit) |
| 2024-12-07 23:59:56 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |