| 2024-12-01 00:00:25 +0100 | haskellbridge | hellwolf are just someone else's cheap LLM |
| 2024-12-01 00:01:35 +0100 | <haskellbridge> | <hellwolf> $ echo "are you offended, if I never care to recall our conversations?" | chatgpt |
| 2024-12-01 00:01:35 +0100 | <haskellbridge> | No, I don't have feelings as I am an artificial intelligence program, so I can't be offended. I don't have the ability to remember previous interactions due to privacy reasons; I am designed to forget each conversation after it finishes. |
| 2024-12-01 00:01:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 00:08:51 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2024-12-01 00:09:03 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2024-12-01 00:10:48 +0100 | kimiamania | (~924ba01d@user/kimiamania) (Quit: PegeLinux) |
| 2024-12-01 00:12:06 +0100 | kimiamania | (~65804703@user/kimiamania) kimiamania |
| 2024-12-01 00:12:11 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-12-01 00:12:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 00:18:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-01 00:25:10 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-12-01 00:28:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 00:29:05 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-12-01 00:32:47 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2024-12-01 00:35:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 00:37:32 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-12-01 00:38:20 +0100 | Everything | (~Everythin@46.211.64.83) (Ping timeout: 265 seconds) |
| 2024-12-01 00:39:15 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
| 2024-12-01 00:40:13 +0100 | Everything | (~Everythin@46-133-155-212.mobile.vf-ua.net) Everything |
| 2024-12-01 00:44:39 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 246 seconds) |
| 2024-12-01 00:46:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 00:46:52 +0100 | alp_ | (~alp@2001:861:8ca0:4940:1a77:cbd6:a927:4965) (Remote host closed the connection) |
| 2024-12-01 00:47:02 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 00:47:10 +0100 | alp_ | (~alp@2001:861:8ca0:4940:5b75:5d46:1a69:cb09) |
| 2024-12-01 00:48:33 +0100 | alp_ | (~alp@2001:861:8ca0:4940:5b75:5d46:1a69:cb09) (Remote host closed the connection) |
| 2024-12-01 00:48:51 +0100 | alp_ | (~alp@2001:861:8ca0:4940:3654:a728:bf82:4fe1) |
| 2024-12-01 00:50:14 +0100 | alp_ | (~alp@2001:861:8ca0:4940:3654:a728:bf82:4fe1) (Remote host closed the connection) |
| 2024-12-01 00:50:32 +0100 | alp_ | (~alp@2001:861:8ca0:4940:2046:fb12:bff1:eeef) |
| 2024-12-01 00:51:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 00:52:15 +0100 | alp__ | (~alp@2001:861:8ca0:4940:7530:fb66:f943:36d6) |
| 2024-12-01 00:52:48 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-12-01 00:52:54 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2024-12-01 00:53:03 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2024-12-01 00:53:37 +0100 | alp__ | (~alp@2001:861:8ca0:4940:7530:fb66:f943:36d6) (Remote host closed the connection) |
| 2024-12-01 00:53:55 +0100 | alp__ | (~alp@2001:861:8ca0:4940:131:fdc9:8128:f2fa) |
| 2024-12-01 00:55:19 +0100 | alp__ | (~alp@2001:861:8ca0:4940:131:fdc9:8128:f2fa) (Remote host closed the connection) |
| 2024-12-01 00:55:37 +0100 | alp__ | (~alp@2001:861:8ca0:4940:9566:a396:9b4e:73c6) |
| 2024-12-01 00:55:40 +0100 | alp_ | (~alp@2001:861:8ca0:4940:2046:fb12:bff1:eeef) (Ping timeout: 260 seconds) |
| 2024-12-01 00:57:19 +0100 | alp_ | (~alp@2001:861:8ca0:4940:d620:d983:3335:d85c) |
| 2024-12-01 00:58:28 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-12-01 00:58:44 +0100 | alp_ | (~alp@2001:861:8ca0:4940:d620:d983:3335:d85c) (Remote host closed the connection) |
| 2024-12-01 00:59:01 +0100 | alp_ | (~alp@2001:861:8ca0:4940:b571:f1ab:171:de89) |
| 2024-12-01 01:00:26 +0100 | alp_ | (~alp@2001:861:8ca0:4940:b571:f1ab:171:de89) (Remote host closed the connection) |
| 2024-12-01 01:00:43 +0100 | alp_ | (~alp@2001:861:8ca0:4940:dd92:8f17:4695:5bbd) |
| 2024-12-01 01:00:55 +0100 | alp__ | (~alp@2001:861:8ca0:4940:9566:a396:9b4e:73c6) (Ping timeout: 260 seconds) |
| 2024-12-01 01:02:08 +0100 | alp_ | (~alp@2001:861:8ca0:4940:dd92:8f17:4695:5bbd) (Remote host closed the connection) |
| 2024-12-01 01:02:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 01:02:25 +0100 | alp_ | (~alp@2001:861:8ca0:4940:fdcf:69ee:2a8:4694) |
| 2024-12-01 01:03:50 +0100 | alp_ | (~alp@2001:861:8ca0:4940:fdcf:69ee:2a8:4694) (Remote host closed the connection) |
| 2024-12-01 01:04:07 +0100 | alp_ | (~alp@2001:861:8ca0:4940:508d:1375:1602:900b) |
| 2024-12-01 01:05:27 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-12-01 01:05:32 +0100 | alp_ | (~alp@2001:861:8ca0:4940:508d:1375:1602:900b) (Remote host closed the connection) |
| 2024-12-01 01:05:49 +0100 | alp_ | (~alp@2001:861:8ca0:4940:2049:ffcd:82c3:8153) |
| 2024-12-01 01:07:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 01:07:14 +0100 | alp_ | (~alp@2001:861:8ca0:4940:2049:ffcd:82c3:8153) (Remote host closed the connection) |
| 2024-12-01 01:07:31 +0100 | alp_ | (~alp@2001:861:8ca0:4940:4438:225:8765:d417) |
| 2024-12-01 01:09:15 +0100 | alp__ | (~alp@2001:861:8ca0:4940:5511:c38c:e2a1:f) |
| 2024-12-01 01:10:38 +0100 | alp__ | (~alp@2001:861:8ca0:4940:5511:c38c:e2a1:f) (Remote host closed the connection) |
| 2024-12-01 01:10:55 +0100 | alp__ | (~alp@2001:861:8ca0:4940:470c:b1d5:6d81:17dd) |
| 2024-12-01 01:11:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 01:12:20 +0100 | alp__ | (~alp@2001:861:8ca0:4940:470c:b1d5:6d81:17dd) (Remote host closed the connection) |
| 2024-12-01 01:12:29 +0100 | alp_ | (~alp@2001:861:8ca0:4940:4438:225:8765:d417) (Ping timeout: 252 seconds) |
| 2024-12-01 01:12:37 +0100 | alp__ | (~alp@2001:861:8ca0:4940:598f:8cc7:d414:9560) |
| 2024-12-01 01:14:20 +0100 | alp_ | (~alp@2001:861:8ca0:4940:12b0:f289:2e8c:4e93) |
| 2024-12-01 01:15:44 +0100 | alp_ | (~alp@2001:861:8ca0:4940:12b0:f289:2e8c:4e93) (Remote host closed the connection) |
| 2024-12-01 01:16:01 +0100 | alp_ | (~alp@2001:861:8ca0:4940:5cf5:d4af:8562:dcfd) |
| 2024-12-01 01:16:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 01:17:33 +0100 | alp__ | (~alp@2001:861:8ca0:4940:598f:8cc7:d414:9560) (Ping timeout: 246 seconds) |
| 2024-12-01 01:17:45 +0100 | alp__ | (~alp@2001:861:8ca0:4940:1be4:1c4c:357a:d8e4) |
| 2024-12-01 01:19:09 +0100 | alp__ | (~alp@2001:861:8ca0:4940:1be4:1c4c:357a:d8e4) (Remote host closed the connection) |
| 2024-12-01 01:19:25 +0100 | alp__ | (~alp@2001:861:8ca0:4940:9afc:6faa:952f:f6f0) |
| 2024-12-01 01:19:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 01:20:51 +0100 | alp__ | (~alp@2001:861:8ca0:4940:9afc:6faa:952f:f6f0) (Remote host closed the connection) |
| 2024-12-01 01:20:55 +0100 | alp_ | (~alp@2001:861:8ca0:4940:5cf5:d4af:8562:dcfd) (Ping timeout: 252 seconds) |
| 2024-12-01 01:21:08 +0100 | alp__ | (~alp@2001:861:8ca0:4940:502f:a80d:fc36:680b) |
| 2024-12-01 01:22:50 +0100 | alp_ | (~alp@128-79-174-146.hfc.dyn.abo.bbox.fr) |
| 2024-12-01 01:24:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-01 01:25:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 01:26:03 +0100 | alp__ | (~alp@2001:861:8ca0:4940:502f:a80d:fc36:680b) (Ping timeout: 252 seconds) |
| 2024-12-01 01:27:31 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 252 seconds) |
| 2024-12-01 01:30:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 01:31:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 01:33:39 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-12-01 01:35:35 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-12-01 01:36:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 01:36:31 +0100 | mantraofpie | (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
| 2024-12-01 01:36:56 +0100 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
| 2024-12-01 01:40:28 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-12-01 01:40:32 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-12-01 01:40:49 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-12-01 01:40:54 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-01 01:40:55 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-12-01 01:46:23 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-12-01 01:47:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 01:47:24 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-12-01 01:47:36 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-12-01 01:47:50 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-12-01 01:52:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 02:02:00 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-12-01 02:02:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 02:05:25 +0100 | KicksonButt | (~quassel@187.21.174.221) |
| 2024-12-01 02:10:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-01 02:20:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 02:24:32 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-12-01 02:29:24 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-12-01 02:29:27 +0100 | elnegro | (elnegro@r186-50-73-146.dialup.adsl.anteldata.net.uy) elnegro |
| 2024-12-01 02:31:14 +0100 | elnegro | (elnegro@r186-50-73-146.dialup.adsl.anteldata.net.uy) (Client Quit) |
| 2024-12-01 02:31:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-01 02:35:13 +0100 | zenmov_ | (~zenmov@user/zenmov) zenmov |
| 2024-12-01 02:38:06 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 276 seconds) |
| 2024-12-01 02:38:28 +0100 | sprotte24 | (~sprotte24@p200300d16f2525006d115fd3ccbcd03f.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-12-01 02:41:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-01 02:41:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 02:44:48 +0100 | <KicksonButt> | "import qualified Text as T" in the first line of a file and running :l filename.hs in ghci returns "Could not find module 'Text'" Can anyone help? |
| 2024-12-01 02:45:38 +0100 | <geekosaur> | did you want Data.Text? |
| 2024-12-01 02:46:22 +0100 | <KicksonButt> | Not sure but I can try |
| 2024-12-01 02:46:25 +0100 | <geekosaur> | https://hackage.haskell.org/package/text-2.1.2 |
| 2024-12-01 02:46:37 +0100 | <KicksonButt> | I'm following a book, it really says just Text |
| 2024-12-01 02:46:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 02:46:59 +0100 | <geekosaur> | unless they're providing their own and telling you how to install it, that book sounds wrong |
| 2024-12-01 02:47:11 +0100 | <KicksonButt> | It's from 2017 |
| 2024-12-01 02:47:28 +0100 | <geekosaur> | it was no more correct then |
| 2024-12-01 02:47:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-12-01 02:47:32 +0100 | <KicksonButt> | I see |
| 2024-12-01 02:48:50 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 2024-12-01 02:49:48 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 02:52:47 +0100 | <geekosaur> | which book is this, ooc? |
| 2024-12-01 02:57:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 03:02:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 03:04:07 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-01 03:13:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 03:13:44 +0100 | <KicksonButt> | It's in portuguese from Brazil, "Haskell: Uma Introdução à programação funcional" by Alexandre Garcia de Olveira |
| 2024-12-01 03:14:40 +0100 | <KicksonButt> | Oliveira |
| 2024-12-01 03:17:06 +0100 | <geekosaur> | hm, the only instance I see in there is "import Text.Printf" (p. 140) |
| 2024-12-01 03:17:44 +0100 | <geekosaur> | (I'm kinda faking it though; I can't read Portuguese, but that seems to be the only hit for "import Text" |
| 2024-12-01 03:18:09 +0100 | <geekosaur> | "import Data.Text" doesn't show up at all |
| 2024-12-01 03:19:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-01 03:23:40 +0100 | <davean> | KicksonButt: which page is it? |
| 2024-12-01 03:24:32 +0100 | <KicksonButt> | Page 80 |
| 2024-12-01 03:25:02 +0100 | <davean> | That should be Data.Text, not Text |
| 2024-12-01 03:25:49 +0100 | <KicksonButt> | Interesting to see you found the book |
| 2024-12-01 03:25:59 +0100 | <geekosaur> | oh, wrong search string, whoops |
| 2024-12-01 03:26:05 +0100 | <geekosaur> | and yes, as I said earlier. |
| 2024-12-01 03:26:13 +0100 | <geekosaur> | I can't find an errata page for that book, sadly |
| 2024-12-01 03:26:15 +0100 | <KicksonButt> | Yes, it worked for me with Data.Text after geekosaur said that |
| 2024-12-01 03:26:45 +0100 | <KicksonButt> | I guess "import qualified ByteString" can have something wrong also |
| 2024-12-01 03:26:50 +0100 | <geekosaur> | first hit on the title you gave us |
| 2024-12-01 03:27:14 +0100 | <geekosaur> | yes, that should probably be Data.ByteString |
| 2024-12-01 03:29:57 +0100 | <KicksonButt> | Yea, it works. Thanks |
| 2024-12-01 03:30:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 03:30:34 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-12-01 03:30:51 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-01 03:32:20 +0100 | <KicksonButt> | Even though I had to cabal install it |
| 2024-12-01 03:32:48 +0100 | <geekosaur> | uh, that should complain that it's a library, not an executable |
| 2024-12-01 03:33:40 +0100 | <geekosaur> | also both of those libraries ship with ghc these days, and have for a long time; what ghc version are you using? |
| 2024-12-01 03:33:46 +0100 | <geekosaur> | and cabal version, for that matter |
| 2024-12-01 03:35:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 03:41:56 +0100 | <KicksonButt> | ghc 9.4.8 |
| 2024-12-01 03:42:20 +0100 | <KicksonButt> | cabal 3.10.3.0 |
| 2024-12-01 03:42:33 +0100 | <KicksonButt> | Are they old |
| 2024-12-01 03:42:49 +0100 | <geekosaur> | a little, but not that old |
| 2024-12-01 03:44:43 +0100 | <geekosaur> | cabal should have said `The command "cabal install [TARGETS]" doesn't expose libraries.` or similar (although that's HEAD, not 3.10.3.0) |
| 2024-12-01 03:45:25 +0100 | <KicksonButt> | Oh, it said |
| 2024-12-01 03:45:32 +0100 | <KicksonButt> | You might have wanted to add them to a GHC environment. In this case use "cabal install --lib bytestring" |
| 2024-12-01 03:45:47 +0100 | <KicksonButt> | Makes sense? |
| 2024-12-01 03:46:20 +0100 | <geekosaur> | right, but you still don't really want to do that |
| 2024-12-01 03:46:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 03:46:31 +0100 | <KicksonButt> | Why not |
| 2024-12-01 03:46:39 +0100 | <geekosaur> | "cabal install" of libraries is a vestige from the first version of cabal, and is known to make messes |
| 2024-12-01 03:46:57 +0100 | <KicksonButt> | That's like a good reason |
| 2024-12-01 03:47:07 +0100 | <geekosaur> | "nix-style" cabal projects are preferred these days |
| 2024-12-01 03:47:07 +0100 | <KicksonButt> | sounds like* |
| 2024-12-01 03:48:31 +0100 | Alleria | (~Alleria@user/alleria) (Remote host closed the connection) |
| 2024-12-01 03:49:08 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-12-01 03:49:17 +0100 | <KicksonButt> | Does that mean people usually install packages locally per project? |
| 2024-12-01 03:49:27 +0100 | <hellwolf> | Generaly question: Is using "'" within a function name generally an okay idea? I use it often to mark certain type of functions. |
| 2024-12-01 03:49:28 +0100 | <geekosaur> | there is a global store |
| 2024-12-01 03:49:48 +0100 | <geekosaur> | local packages reference the global store as needed for dependencies |
| 2024-12-01 03:49:50 +0100 | <hellwolf> | sorry, might be interrupting the thread; I haven't read through. |
| 2024-12-01 03:50:24 +0100 | <geekosaur> | hellwolf, that seems to be soemthing of a personal thing. I tend to only use primes as suffixes, but that's me |
| 2024-12-01 03:51:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 03:51:22 +0100 | <KicksonButt> | hellwolf no problem |
| 2024-12-01 03:51:42 +0100 | <geekosaur> | KicksonButt, bytestring has shiipped with ghc for as long as it has existed (before that, it was part of ghc); text has shipped with ghc since (whoops, I can't check, forgot gitlab is down but it's been a while) |
| 2024-12-01 03:52:22 +0100 | <KicksonButt> | Ok, it seems I have to get to know that nix thing |
| 2024-12-01 03:54:34 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-12-01 03:55:23 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2024-12-01 03:57:16 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-12-01 03:58:58 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb2+b1 - https://znc.in) |
| 2024-12-01 04:02:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 04:03:01 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-12-01 04:05:02 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-12-01 04:05:33 +0100 | <geekosaur> | it's not actually nix, it just uses the same concept of a global store |
| 2024-12-01 04:05:34 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2024-12-01 04:06:01 +0100 | <geekosaur> | https://cabal.readthedocs.io/en/3.12/nix-local-build.html |
| 2024-12-01 04:07:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-01 04:10:02 +0100 | td_ | (~td@i5387090F.versanet.de) (Ping timeout: 265 seconds) |
| 2024-12-01 04:11:44 +0100 | td_ | (~td@i53870919.versanet.de) |
| 2024-12-01 04:17:19 +0100 | lol_ | jcarpenter2 |
| 2024-12-01 04:17:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 04:22:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 04:24:34 +0100 | zenmov_ | (~zenmov@user/zenmov) (Read error: Connection reset by peer) |
| 2024-12-01 04:27:24 +0100 | Everything | (~Everythin@46-133-155-212.mobile.vf-ua.net) (Quit: leaving) |
| 2024-12-01 04:30:14 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-12-01 04:33:01 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-01 04:33:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 04:35:45 +0100 | haritz | (~hrtz@user/haritz) (Ping timeout: 276 seconds) |
| 2024-12-01 04:36:05 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2024-12-01 04:36:08 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2024-12-01 04:36:08 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2024-12-01 04:37:48 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-12-01 04:38:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 04:49:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 04:49:23 +0100 | typedfern_ | (~Typedfern@125.red-83-37-32.dynamicip.rima-tde.net) typedfern |
| 2024-12-01 04:49:33 +0100 | Typedfern | (~Typedfern@108.red-83-37-46.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2024-12-01 04:55:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-01 05:07:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 05:12:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-01 05:14:56 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-01 05:23:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 05:27:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 05:27:49 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-12-01 05:28:03 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-01 05:38:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 05:43:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 05:53:47 +0100 | iqubic | (~sophia@2601:602:9201:9440:a79c:888c:bcf5:a830) iqubic |
| 2024-12-01 05:54:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 05:57:00 +0100 | jianboliu | (~jianboliu@static-68-235-46-13.cust.tzulo.com) |
| 2024-12-01 05:58:49 +0100 | jianboliu | jliu32 |
| 2024-12-01 05:59:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 06:02:58 +0100 | jliu32 | (~jianboliu@static-68-235-46-13.cust.tzulo.com) (Quit: leaving) |
| 2024-12-01 06:09:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-01 06:10:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 06:12:43 +0100 | jliu32 | (~jianboliu@static-68-235-46-13.cust.tzulo.com) jliu32 |
| 2024-12-01 06:15:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 06:21:04 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-12-01 06:26:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 06:29:12 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-12-01 06:32:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 06:33:20 +0100 | KicksonButt | (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-12-01 06:34:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 06:39:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-01 06:43:25 +0100 | <jle`> | is it possible to write a function that ie negates every item in a `Traversable t => t Int` except for the last, but that could work for infinite Traversable values? |
| 2024-12-01 06:49:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 06:49:30 +0100 | <Leary> | > snd . mapAccumR (\b x -> (True, if b then negate x else x)) False $ [1..9] |
| 2024-12-01 06:49:32 +0100 | <lambdabot> | [-1,-2,-3,-4,-5,-6,-7,-8,9] |
| 2024-12-01 06:49:41 +0100 | <Leary> | > take 9 $ snd . mapAccumR (\b x -> (True, if b then negate x else x)) False $ [1..] |
| 2024-12-01 06:49:42 +0100 | <lambdabot> | [-1,-2,-3,-4,-5,-6,-7,-8,-9] |
| 2024-12-01 06:49:46 +0100 | <Leary> | jle`: ^ |
| 2024-12-01 06:54:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 07:02:01 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-12-01 07:02:50 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 2024-12-01 07:04:27 +0100 | <jle`> | nice :o |
| 2024-12-01 07:04:41 +0100 | <jle`> | thanks! |
| 2024-12-01 07:05:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 07:05:21 +0100 | <jle`> | i need to rethink how i understand mapAccumR to work on lists wrt laziness |
| 2024-12-01 07:06:21 +0100 | rvalue- | rvalue |
| 2024-12-01 07:10:43 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-01 07:12:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 07:16:55 +0100 | banner | (~banner@202.137.173.5) |
| 2024-12-01 07:24:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 07:24:24 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-12-01 07:25:31 +0100 | euleritian | (~euleritia@dynamic-176-006-134-036.176.6.pool.telefonica.de) |
| 2024-12-01 07:26:17 +0100 | <int-e> | > foldr (\x xs -> if null xs then x : xs else -x : xs) [] [1..9] |
| 2024-12-01 07:26:19 +0100 | <lambdabot> | [-1,-2,-3,-4,-5,-6,-7,-8,9] |
| 2024-12-01 07:26:37 +0100 | <int-e> | > foldr (\x xs -> if null xs then x : xs else -x : xs) [] [1..] |
| 2024-12-01 07:26:45 +0100 | <lambdabot> | mueval-core: Time limit exceeded |
| 2024-12-01 07:26:57 +0100 | <int-e> | oooh |
| 2024-12-01 07:27:07 +0100 | <iqubic> | > take 9 $ foldr (\x xs -> if null xs then x : xs else -x : xs) [] [1..] |
| 2024-12-01 07:27:13 +0100 | <int-e> | > foldr (\x xs -> (if null xs then x else -x) : xs) [] [1..] |
| 2024-12-01 07:27:14 +0100 | <lambdabot> | mueval-core: Time limit exceeded |
| 2024-12-01 07:27:15 +0100 | <lambdabot> | [-1,-2,-3,-4,-5,-6,-7,-8,-9,-10,-11,-12,-13,-14,-15,-16,-17,-18,-19,-20,-21,... |
| 2024-12-01 07:27:33 +0100 | <iqubic> | I see what you're doing there. |
| 2024-12-01 07:27:51 +0100 | <int-e> | I think I demonstrated that this may be a bit too subtle :P |
| 2024-12-01 07:29:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 07:31:20 +0100 | <iqubic> | Also, your function technically only works with lists, due to the use of (:), whereas the `mapAccumR` version would work on any Traversable. |
| 2024-12-01 07:31:51 +0100 | <int-e> | True. |
| 2024-12-01 07:32:53 +0100 | <int-e> | Or not? It "works" on foldables ;-) |
| 2024-12-01 07:33:36 +0100 | <int-e> | I mean while we're nitpicking, you didn't specify that the output should have the same shape or type as the input, just what happens to the values :-P |
| 2024-12-01 07:34:01 +0100 | <int-e> | This may be a stretch. |
| 2024-12-01 07:35:03 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-12-01 07:37:06 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-01 07:39:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 07:40:40 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Client Quit) |
| 2024-12-01 07:44:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-01 07:46:39 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-01 07:47:45 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Remote host closed the connection) |
| 2024-12-01 07:47:46 +0100 | banner | (~banner@202.137.173.5) (Ping timeout: 252 seconds) |
| 2024-12-01 07:47:47 +0100 | euleritian | (~euleritia@dynamic-176-006-134-036.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-01 07:48:05 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-12-01 07:48:44 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-01 07:50:18 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-01 07:55:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 07:57:32 +0100 | michalz | (~michalz@185.246.207.197) |
| 2024-12-01 07:58:39 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-12-01 08:00:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-01 08:00:58 +0100 | jliu32 | (~jianboliu@static-68-235-46-13.cust.tzulo.com) (Quit: leaving) |
| 2024-12-01 08:02:56 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-01 08:09:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 08:10:47 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-12-01 08:14:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 08:15:59 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-01 08:16:44 +0100 | typedfern_ | (~Typedfern@125.red-83-37-32.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2024-12-01 08:17:14 +0100 | Typedfern | (~Typedfern@56.red-83-37-30.dynamicip.rima-tde.net) |
| 2024-12-01 08:18:58 +0100 | Typedfern | (~Typedfern@56.red-83-37-30.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2024-12-01 08:21:04 +0100 | Typedfern | (~Typedfern@56.red-83-37-30.dynamicip.rima-tde.net) typedfern |
| 2024-12-01 08:23:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-01 08:24:52 +0100 | Manideep | (~Manideep@115.97.231.193) |
| 2024-12-01 08:24:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 08:26:53 +0100 | Manideep | (~Manideep@115.97.231.193) (Client Quit) |
| 2024-12-01 08:27:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-01 08:29:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-01 08:40:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 08:44:22 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-12-01 08:45:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 08:49:00 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-01 08:51:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-01 08:56:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 09:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-01 09:00:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-12-01 09:00:42 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-01 09:01:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-01 09:01:42 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2024-12-01 09:03:40 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2024-12-01 09:07:02 +0100 | <jle`> | i guess one neat thing is that any function polymorphic over Traversables has to preserve the length or structure |
| 2024-12-01 09:07:28 +0100 | <jle`> | ie you can't add or delete keys in Map k |
| 2024-12-01 09:07:54 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-12-01 09:08:19 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-12-01 09:08:22 +0100 | son0p | (~ff@186.121.16.116) (Ping timeout: 252 seconds) |
| 2024-12-01 09:10:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 09:10:53 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-12-01 09:12:09 +0100 | banner | (~banner@202.137.173.5) |
| 2024-12-01 09:12:28 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-12-01 09:13:00 +0100 | euleritian | (~euleritia@dynamic-176-007-139-196.176.7.pool.telefonica.de) |
| 2024-12-01 09:15:53 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-01 09:17:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-01 09:28:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 09:36:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 09:37:56 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-12-01 09:40:02 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-01 09:44:44 +0100 | euleritian | (~euleritia@dynamic-176-007-139-196.176.7.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-12-01 09:48:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 09:53:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-12-01 09:55:30 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-12-01 10:03:32 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2024-12-01 10:04:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 10:08:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 10:10:31 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f8534561d86a8c80653.dip0.t-ipconnect.de) acidjnk |
| 2024-12-01 10:11:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 10:13:44 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 2024-12-01 10:17:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-01 10:22:20 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 10:27:32 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-12-01 10:28:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 10:29:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-01 10:32:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 10:38:46 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2024-12-01 10:43:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 10:48:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 10:50:52 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-01 10:51:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-01 10:52:29 +0100 | euleritian | (~euleritia@dynamic-176-007-139-196.176.7.pool.telefonica.de) |
| 2024-12-01 10:57:06 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 272 seconds) |
| 2024-12-01 10:59:09 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b90f:ed1c:a9d8:6a75) (Ping timeout: 245 seconds) |
| 2024-12-01 10:59:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 10:59:37 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 10:59:49 +0100 | gvg | (~dcd@user/gvg) (Ping timeout: 260 seconds) |
| 2024-12-01 11:04:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 11:04:55 +0100 | xff0x | (~xff0x@2405:6580:b080:900:bdb1:25e1:e64a:22aa) |
| 2024-12-01 11:11:57 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-12-01 11:12:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 11:13:15 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-01 11:18:21 +0100 | son0p | (~ff@186.121.60.109) son0p |
| 2024-12-01 11:18:54 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-12-01 11:19:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 11:30:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 11:30:47 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2024-12-01 11:32:28 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-12-01 11:34:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-01 11:35:19 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-01 11:35:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 11:36:30 +0100 | <dmj`> | :t uncurry (on zip sort) |
| 2024-12-01 11:36:31 +0100 | <lambdabot> | Ord a => ([a], [a]) -> [(a, a)] |
| 2024-12-01 11:39:01 +0100 | <int-e> | :t transpose . map sort . transpose |
| 2024-12-01 11:39:02 +0100 | <lambdabot> | Ord a => [[a]] -> [[a]] |
| 2024-12-01 11:46:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 11:47:16 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-01 11:48:39 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-12-01 11:50:05 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-01 11:50:10 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-12-01 11:51:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-01 11:53:32 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 2024-12-01 11:57:35 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-01 12:00:24 +0100 | banner | (~banner@202.137.173.5) (Ping timeout: 245 seconds) |
| 2024-12-01 12:01:00 +0100 | euleritian | (~euleritia@dynamic-176-007-139-196.176.7.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2024-12-01 12:01:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 12:03:50 +0100 | sprotte24 | (~sprotte24@p200300d16f31c000346c7ccb6d0f74ba.dip0.t-ipconnect.de) |
| 2024-12-01 12:05:46 +0100 | euleritian | (~euleritia@dynamic-176-004-007-220.176.4.pool.telefonica.de) |
| 2024-12-01 12:09:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-01 12:09:49 +0100 | <sprotte24> | https://paste.tomsmeding.com/QqClziIU |
| 2024-12-01 12:11:35 +0100 | <sprotte24> | my infinite sorted list of avalanche numbers works now |
| 2024-12-01 12:13:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 12:14:07 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2024-12-01 12:17:28 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-12-01 12:17:31 +0100 | euleritian | (~euleritia@dynamic-176-004-007-220.176.4.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-12-01 12:20:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-01 12:23:00 +0100 | euleritian | (~euleritia@dynamic-176-002-002-191.176.2.pool.telefonica.de) |
| 2024-12-01 12:24:30 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f8534561d86a8c80653.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-12-01 12:27:40 +0100 | euleritian | (~euleritia@dynamic-176-002-002-191.176.2.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-12-01 12:28:06 +0100 | euleritian | (~euleritia@dynamic-176-007-135-017.176.7.pool.telefonica.de) |
| 2024-12-01 12:28:19 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-12-01 12:32:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 12:33:24 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 2024-12-01 12:36:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-01 12:38:28 +0100 | <Square> | can you write import statements and a haskell expression on one line? |
| 2024-12-01 12:39:16 +0100 | <Hecate> | hmm I have never tried |
| 2024-12-01 12:39:55 +0100 | <Square> | My motives aren't the greatest. Just trying to make a minimal aoc |
| 2024-12-01 12:41:55 +0100 | <probie> | Square: https://play.haskell.org/saved/go5tOxoS |
| 2024-12-01 12:44:06 +0100 | <Square> | probie, thanks! |
| 2024-12-01 12:47:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 12:48:49 +0100 | euleritian | (~euleritia@dynamic-176-007-135-017.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-01 12:49:06 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-12-01 12:49:08 +0100 | <tomsmeding> | probie Square: the {} are unnecessary ;) |
| 2024-12-01 12:51:05 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-12-01 12:51:49 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 2024-12-01 12:52:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 12:59:03 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-01 12:59:28 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-01 12:59:36 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-01 13:01:51 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-12-01 13:02:22 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-12-01 13:03:21 +0100 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
| 2024-12-01 13:03:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 13:03:40 +0100 | pierrot | (~pi@user/pierrot) pierrot |
| 2024-12-01 13:08:06 +0100 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-12-01 13:08:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-12-01 13:09:05 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-01 13:11:04 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-12-01 13:13:08 +0100 | petrichor | (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
| 2024-12-01 13:14:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 13:16:03 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-12-01 13:22:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-01 13:25:02 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-01 13:29:06 +0100 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-12-01 13:29:25 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-01 13:34:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 13:35:41 +0100 | <jackdk> | probie: https://play.haskell.org/saved/ihdaAEAV |
| 2024-12-01 13:38:17 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 2024-12-01 13:39:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-01 13:39:40 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 13:44:07 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2024-12-01 13:49:59 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2024-12-01 13:50:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 13:50:32 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2024-12-01 13:51:25 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-12-01 13:55:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 14:05:18 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-12-01 14:05:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 14:05:57 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-12-01 14:09:46 +0100 | toch | (~toch@user/toch) toch |
| 2024-12-01 14:12:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-01 14:15:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 14:25:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-01 14:26:37 +0100 | thaliaa | (uid486183@id-486183.uxbridge.irccloud.com) thaliaa |
| 2024-12-01 14:36:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 14:43:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 14:47:14 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 2024-12-01 14:49:00 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 14:54:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 14:59:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-01 15:03:39 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 276 seconds) |
| 2024-12-01 15:05:30 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 15:10:11 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 255 seconds) |
| 2024-12-01 15:10:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 15:10:42 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 2024-12-01 15:15:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 15:16:14 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2024-12-01 15:16:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 15:20:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 15:24:56 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f8534561d86a8c80653.dip0.t-ipconnect.de) acidjnk |
| 2024-12-01 15:25:42 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 15:28:02 +0100 | notzmv | (~umar@user/notzmv) (Read error: Connection reset by peer) |
| 2024-12-01 15:30:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-01 15:31:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 15:32:20 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 2024-12-01 15:35:01 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-12-01 15:35:55 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds) |
| 2024-12-01 15:36:20 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-12-01 15:36:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-01 15:39:02 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-01 15:40:18 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-01 15:44:49 +0100 | petrichor | (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
| 2024-12-01 15:46:33 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-01 15:46:45 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-12-01 15:46:49 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-12-01 15:47:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 15:47:57 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 15:52:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-01 15:53:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 15:58:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 16:04:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-01 16:04:49 +0100 | zenmov | (~zenmov@user/zenmov) (Quit: leaving) |
| 2024-12-01 16:06:11 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-12-01 16:08:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 16:10:24 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 246 seconds) |
| 2024-12-01 16:11:19 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-12-01 16:11:53 +0100 | euleritian | (~euleritia@dynamic-176-006-135-133.176.6.pool.telefonica.de) |
| 2024-12-01 16:14:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-12-01 16:14:15 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-01 16:14:16 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 16:15:21 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-12-01 16:17:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 16:22:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-01 16:25:19 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 2024-12-01 16:27:40 +0100 | zenmov | (~zenmov@user/zenmov) (Quit: leaving) |
| 2024-12-01 16:32:03 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
| 2024-12-01 16:33:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 16:37:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 16:46:09 +0100 | thaliaa | (uid486183@id-486183.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-01 16:48:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 16:49:24 +0100 | tomboy65 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2024-12-01 16:49:30 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2024-12-01 16:49:42 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 16:54:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-01 16:56:06 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 265 seconds) |
| 2024-12-01 17:02:23 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-01 17:02:37 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-12-01 17:04:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 17:05:07 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 17:05:25 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2024-12-01 17:06:20 +0100 | mxs | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2024-12-01 17:09:24 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-01 17:09:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-01 17:12:26 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 2024-12-01 17:14:38 +0100 | sudden | (~cat@user/sudden) (Ping timeout: 252 seconds) |
| 2024-12-01 17:15:39 +0100 | aforemny_ | (~aforemny@i577B135C.versanet.de) (Ping timeout: 252 seconds) |
| 2024-12-01 17:15:42 +0100 | sudden | (~cat@user/sudden) sudden |
| 2024-12-01 17:16:05 +0100 | aforemny | (~aforemny@2001:9e8:6ce8:5900:38f1:325c:66f8:c9c1) aforemny |
| 2024-12-01 17:16:07 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-01 17:18:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 17:19:21 +0100 | michaelis | (~michael@user/michaelis) michaelis |
| 2024-12-01 17:20:50 +0100 | <michaelis> | Hi! I run Slackware 15 and installed ghcup through sbopkg. Running ghcup upgrade does not upgrade ghcup although it does say it's upgraded. It also states ghcup is not in PATH even though it is. Any ideas? |
| 2024-12-01 17:22:04 +0100 | aforemny | (~aforemny@2001:9e8:6ce8:5900:38f1:325c:66f8:c9c1) (Ping timeout: 245 seconds) |
| 2024-12-01 17:23:47 +0100 | <haskellbridge> | <maerwald> michaelis: delete the version from sbopkg and follow https://www.haskell.org/ghcup/ |
| 2024-12-01 17:24:22 +0100 | aforemny | (~aforemny@2001:9e8:6ce8:7100:2a57:7115:ef6a:199f) aforemny |
| 2024-12-01 17:24:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-01 17:25:11 +0100 | <michaelis> | haskellbridge: Thank you. I instead ran ghcup verbose an saw that the PATH in meaning was .ghcup in my home folder. So I exported it to PATH and am now trying to install ghc with latest ghcup. |
| 2024-12-01 17:31:28 +0100 | <spew> | it was actually maerwald _from_ the haskellbridge |
| 2024-12-01 17:33:09 +0100 | <michaelis> | spew: Meaning? I'm not familiar with haskellbridge. Completely new to this community and its workings. :) |
| 2024-12-01 17:35:08 +0100 | <spew> | it posts things here that people say from the matrix chat room |
| 2024-12-01 17:36:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 17:36:30 +0100 | <michaelis> | spew: Aha, I see. Thanks for the information. But can someone be in the matrix chat room and not here? Or do the two have no connection regarding whos logged in where? |
| 2024-12-01 17:37:49 +0100 | <spew> | no connection |
| 2024-12-01 17:39:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-12-01 17:41:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 17:45:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 17:46:08 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-12-01 17:50:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-01 17:52:19 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-12-01 17:52:51 +0100 | euleritian | (~euleritia@dynamic-176-006-135-133.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-01 17:53:08 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-12-01 17:54:38 +0100 | <geekosaur> | michaelis, there are two matrix rooms: #haskell:matrix.org is independent, #haskell-irc:matrix.org is bridged here |
| 2024-12-01 17:55:08 +0100 | <geekosaur> | you can /whois haskellbridge to get (a link to) details |
| 2024-12-01 17:59:04 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-01 18:01:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 18:04:09 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 246 seconds) |
| 2024-12-01 18:06:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-01 18:16:03 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2024-12-01 18:16:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 18:23:08 +0100 | cheater | (~Username@user/cheater) cheater |
| 2024-12-01 18:23:14 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 18:26:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-12-01 18:27:08 +0100 | cheater | (~Username@user/cheater) (Client Quit) |
| 2024-12-01 18:29:11 +0100 | cheater | (~Username@user/cheater) cheater |
| 2024-12-01 18:29:59 +0100 | cheater | (~Username@user/cheater) (Client Quit) |
| 2024-12-01 18:31:52 +0100 | cheater | (~Username@user/cheater) cheater |
| 2024-12-01 18:32:49 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2024-12-01 18:33:17 +0100 | cheater_ | (~Username@user/cheater) cheater |
| 2024-12-01 18:34:20 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Quit: Lost terminal) |
| 2024-12-01 18:34:28 +0100 | cheater_ | (~Username@user/cheater) (Client Quit) |
| 2024-12-01 18:36:34 +0100 | cheater_ | (~Username@user/cheater) cheater |
| 2024-12-01 18:36:43 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2024-12-01 18:36:49 +0100 | cheater_ | cheater |
| 2024-12-01 18:37:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 18:40:03 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-01 18:42:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-12-01 18:44:04 +0100 | semmelschwarz | (~semmelsch@41.66.98.79) |
| 2024-12-01 18:44:50 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-12-01 18:48:42 +0100 | <semmelschwarz> | Hey, folks! Can some1 please lead me into the right dir on how to type an accumulating function: `class Accum p k v f where -- | p k v -> f where↵ accum :: [(k, v)] -> p -> f↵ instance Accum () k v (() -> [(k, v)]) where↵ accum accu () = accu↵ instance (forall p'. Accum p' String v f') => Accum String String v (String -> v -> f') where↵ accum accu k v = accum ((k, v) : accu)` |
| 2024-12-01 18:51:44 +0100 | <geekosaur> | uh, couyld you use a pastebin? that was rather confusing especially when trying tot rack indentation |
| 2024-12-01 18:51:47 +0100 | <geekosaur> | @where paste |
| 2024-12-01 18:51:47 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-12-01 18:53:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 18:53:06 +0100 | <semmelschwarz> | I want `accum` to—depending on the type of 1st argument—either (a) take two separate arguments (a key and a value) and return a function that allow for further accumulation or (b) don't take further arguments after getting passed `()` and return the list of all the accumulated pairs. |
| 2024-12-01 18:54:12 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2024-12-01 18:54:13 +0100 | <semmelschwarz> | @geekosaur Thanks for engaging with my problem. I'll do so, just one sec. |
| 2024-12-01 18:54:13 +0100 | <lambdabot> | Unknown command, try @list |
| 2024-12-01 18:54:32 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-12-01 18:55:30 +0100 | <geekosaur> | this sounds like the `PrintfArg` trick. I don't recommend it as it plays havoc with type inference, but you can look at the source of the Text.Printf module in base to see how it's done (https://downloads.haskell.org/ghc/latest/docs/libraries/base-4.20.0.0-1f57/src/Text.Printf.html) |
| 2024-12-01 18:55:32 +0100 | <semmelschwarz> | https://paste.tomsmeding.com/sAZXyKlg |
| 2024-12-01 18:56:14 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-01 18:58:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-01 19:01:56 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 255 seconds) |
| 2024-12-01 19:02:06 +0100 | <michaelis> | geekosaur: Thank you for the information. |
| 2024-12-01 19:02:39 +0100 | <semmelschwarz> | @geekosaur Looks suitable so far—thank you very much so far; i'll look into it and see if I can get it to work fittingly. |
| 2024-12-01 19:02:39 +0100 | <lambdabot> | Unknown command, try @list |
| 2024-12-01 19:04:31 +0100 | semmelschwarz | (~semmelsch@41.66.98.79) (Remote host closed the connection) |
| 2024-12-01 19:06:28 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-12-01 19:08:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 19:09:37 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-12-01 19:13:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-01 19:14:50 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 2024-12-01 19:15:03 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-12-01 19:19:10 +0100 | semmelschwarz | (~semmelsch@41.66.98.79) |
| 2024-12-01 19:20:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 19:24:42 +0100 | Square | (~Square@user/square) Square |
| 2024-12-01 19:25:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 19:28:07 +0100 | <semmelschwarz> | @geekosaur I'll ding into its interplay further, but for now it's working out: https://paste.tomsmeding.com/vtfoU9mp |
| 2024-12-01 19:28:07 +0100 | <lambdabot> | Unknown command, try @list |
| 2024-12-01 19:28:46 +0100 | <semmelschwarz> | 🎉 |
| 2024-12-01 19:36:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 19:40:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 19:41:27 +0100 | <enikar> | there is no need to prefix a nick with a @ on irc to highlight a person :) |
| 2024-12-01 19:51:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 19:56:23 +0100 | <mauke> | what kind of semmel is this anyway |
| 2024-12-01 19:56:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 19:57:44 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f8534561d86a8c80653.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-12-01 19:58:35 +0100 | <semmelschwarz> | mauke It's Ignaz Semmelweis' antagonist.^^ |
| 2024-12-01 19:59:42 +0100 | <mauke> | ... Brezenbraun? Brotschwarz? |
| 2024-12-01 20:01:41 +0100 | <semmelschwarz> | mauke No need to be conformist; there's nothing wrong with black food dye in rolls. |
| 2024-12-01 20:03:39 +0100 | <mauke> | http://i2.cdn.turner.com/money/dam/assets/150928074502-burger-king-black-burger-780x439.jpg |
| 2024-12-01 20:04:28 +0100 | <int-e> | what's this, a new monad dropped? |
| 2024-12-01 20:07:01 +0100 | semmelschwarz | (~semmelsch@41.66.98.79) (Ping timeout: 256 seconds) |
| 2024-12-01 20:07:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 20:12:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-01 20:21:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 20:23:24 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-12-01 20:25:40 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2024-12-01 20:28:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-01 20:32:25 +0100 | <hellwolf> | it does bind with each other neatly. |
| 2024-12-01 20:36:45 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f8569e0cda054bb1243.dip0.t-ipconnect.de) acidjnk |
| 2024-12-01 20:38:31 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 20:39:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 20:41:57 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-01 20:44:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-01 20:44:27 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 246 seconds) |
| 2024-12-01 20:48:30 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-01 20:53:38 +0100 | poopiedookie | (~poopiedoo@syn-069-206-166-125.res.spectrum.com) |
| 2024-12-01 20:55:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 21:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-01 21:00:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 21:00:40 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-01 21:07:12 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 21:11:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 21:12:59 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-01 21:13:14 +0100 | <L29Ah> | how do ghc exceptions understand where to pass the control flow when they trigger? is there a design document or anything of sorts? |
| 2024-12-01 21:13:40 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-12-01 21:14:02 +0100 | <Rembane> | L29Ah: What kind of exceptions? The IO ones or the other? |
| 2024-12-01 21:14:13 +0100 | <Rembane> | L29Ah: Do you have a more concrete problem? |
| 2024-12-01 21:16:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-01 21:20:32 +0100 | <L29Ah> | Rembane: every ones! |
| 2024-12-01 21:20:58 +0100 | <L29Ah> | Rembane: i'm wondering whether there's any overhead at function calls due to the exception-ability of the callee |
| 2024-12-01 21:21:28 +0100 | <Rembane> | L29Ah: That's a very good question. Are you having performance problems? |
| 2024-12-01 21:22:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 21:27:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 21:28:29 +0100 | <lyxia> | L29Ah: exception handlers are special stack frames (there's a list of them in this link, although not much detail without reading the source https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/rts/storage/stack) |
| 2024-12-01 21:32:30 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-12-01 21:34:59 +0100 | andres87 | (~andres@2a09:bac2:7132:1c32::2cf:a) |
| 2024-12-01 21:35:42 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-01 21:36:38 +0100 | andres87 | (~andres@2a09:bac2:7132:1c32::2cf:a) (Client Quit) |
| 2024-12-01 21:38:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 21:39:36 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-12-01 21:43:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 21:51:22 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-12-01 21:51:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-12-01 21:53:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 21:53:57 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 2024-12-01 21:54:05 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-12-01 21:54:38 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-01 21:57:47 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-01 21:58:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 21:58:42 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-12-01 21:59:08 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-12-01 22:02:29 +0100 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2024-12-01 22:05:58 +0100 | KicksonButt | (~quassel@187.21.174.221) |
| 2024-12-01 22:08:34 +0100 | son0p | (~ff@186.121.60.109) (Quit: Leaving) |
| 2024-12-01 22:10:14 +0100 | nnm | (~nnm@79-139-165-166.dynamic.spd-mgts.ru) |
| 2024-12-01 22:10:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 22:10:31 +0100 | briandaed | (~root@user/briandaed) (Remote host closed the connection) |
| 2024-12-01 22:17:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 22:18:09 +0100 | Everything | (~Everythin@46.211.80.75) Everything |
| 2024-12-01 22:27:11 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 22:28:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 22:30:01 +0100 | nnm | (~nnm@79-139-165-166.dynamic.spd-mgts.ru) (Quit: Leaving) |
| 2024-12-01 22:33:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-01 22:37:40 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 260 seconds) |
| 2024-12-01 22:44:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 22:44:16 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2024-12-01 22:45:18 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 2024-12-01 22:46:35 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2024-12-01 22:47:12 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-12-01 22:49:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 22:50:49 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 245 seconds) |
| 2024-12-01 22:56:08 +0100 | semmelschwarz | (~semmelsch@41.66.98.79) |
| 2024-12-01 22:57:28 +0100 | semmelschwarz | (~semmelsch@41.66.98.79) (Remote host closed the connection) |
| 2024-12-01 22:58:36 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 22:59:44 +0100 | <hellwolf> | still syntactically noisy, but I am getting there: https://paste.tomsmeding.com/yOmXcCiU |
| 2024-12-01 23:00:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 23:00:07 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-12-01 23:00:29 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-12-01 23:07:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-12-01 23:08:32 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 255 seconds) |
| 2024-12-01 23:09:42 +0100 | elnegro | (elnegro@r167-57-1-126.dialup.adsl.anteldata.net.uy) elnegro |
| 2024-12-01 23:11:26 +0100 | elnegro | (elnegro@r167-57-1-126.dialup.adsl.anteldata.net.uy) () |
| 2024-12-01 23:13:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 260 seconds) |
| 2024-12-01 23:18:16 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-01 23:18:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 23:21:23 +0100 | Alleria | (~Alleria@user/alleria) (Remote host closed the connection) |
| 2024-12-01 23:22:14 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-12-01 23:23:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-01 23:25:21 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2024-12-01 23:28:30 +0100 | banner | (~banner@202.137.173.5) |
| 2024-12-01 23:34:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 23:34:20 +0100 | swamp_ | (~zmt00@user/zmt00) zmt00 |
| 2024-12-01 23:36:43 +0100 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2024-12-01 23:37:29 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 2024-12-01 23:38:44 +0100 | Barefoot | (~Barefoot@124-pond.reversedummy.arcor-ip.net) |
| 2024-12-01 23:38:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 23:39:05 +0100 | <Barefoot> | Rust is *heavily* inspired by Haskell, right? |
| 2024-12-01 23:39:42 +0100 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 265 seconds) |
| 2024-12-01 23:40:01 +0100 | <haskellbridge> | <sm> I wouldn’t say it that strongly |
| 2024-12-01 23:40:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 23:41:06 +0100 | <Rembane> | More Ocaml and C++ |
| 2024-12-01 23:41:21 +0100 | <Barefoot> | To me it was striking, that the Rust standard library is literally called prelude. Also That everything is an expression. Sure, it is not really a functional language… But it looks to me like what I’d make, if I wanted to make Haskell for kernel programming… |
| 2024-12-01 23:41:50 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-12-01 23:42:04 +0100 | <Barefoot> | Rembrane: So Rust is definitely strict, I presume… ;-) |
| 2024-12-01 23:43:35 +0100 | <Rembane> | Rust is strict indeed |
| 2024-12-01 23:44:39 +0100 | <Barefoot> | (I want to get into Linux kernel development, as I am working on creating my own OS, and the fact that Rust is growing as an accepted language just seems like the perfect opportunity to be able to contribute to Linux but keep avoiding C. (Nothing against C. It’s nice how bare metal it is. But We’ve invented a load of new stuff since it was |
| 2024-12-01 23:44:39 +0100 | <Barefoot> | created, and it’s nice to be able to use some of what Haskell offers.)) |
| 2024-12-01 23:45:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-01 23:48:18 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-12-01 23:48:55 +0100 | <Barefoot> | By the way: Where are the hotspots of the Haskell community on the globe? I know Glasgow is one, and I really like the Scottish people. But it’s far away and I wonder if it’s the only one. |
| 2024-12-01 23:49:05 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-01 23:50:00 +0100 | <KicksonButt> | I've heard Haskell is the only language in the entire computer science course in Rosario university, Argentina |
| 2024-12-01 23:50:27 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-01 23:56:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-01 23:56:52 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 2024-12-01 23:56:56 +0100 | <Barefoot> | KicksonButt: It also seems like every language nowadays tries to copy Haskell (and functional languages in general), but is limited by the language that it itself is. Which makes me wonder what other languages there are, that Haskell is a limited copy of… :D |
| 2024-12-01 23:59:15 +0100 | Everything | (~Everythin@46.211.80.75) (Ping timeout: 276 seconds) |
| 2024-12-01 23:59:28 +0100 | <KicksonButt> | Yes, that's what I've been hearing from my teachers also. That most non-functional languages have been implementing "functional features" that Haskell have had for a long time |
