| 2025-03-19 00:03:10 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-19 00:04:08 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-03-19 00:06:55 +0000 | kh0d | (~kh0d@212.200.181.151) |
| 2025-03-19 00:10:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 00:12:33 +0000 | xff0x | (~xff0x@2405:6580:b080:900:b08c:1e92:87c1:3f68) (Ping timeout: 248 seconds) |
| 2025-03-19 00:15:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-19 00:15:39 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-03-19 00:16:46 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2025-03-19 00:17:11 +0000 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-03-19 00:17:33 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 00:17:59 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f8808e167a733e40eac.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-03-19 00:21:03 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-19 00:21:54 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-19 00:24:04 +0000 | LainExperiments6 | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-03-19 00:24:06 +0000 | LainExperiments | (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds) |
| 2025-03-19 00:25:17 +0000 | ph88 | (~ph88@2a02:8109:9e26:c800:ca47:fcbc:9b57:28e4) (Quit: Leaving) |
| 2025-03-19 00:25:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 00:32:46 +0000 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-03-19 00:32:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-19 00:33:04 +0000 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 2025-03-19 00:33:04 +0000 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 244 seconds) |
| 2025-03-19 00:35:36 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-03-19 00:44:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 00:48:18 +0000 | hattckory | (~hattckory@184.146.98.182) |
| 2025-03-19 00:49:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-19 00:51:31 +0000 | sprotte24 | (~sprotte24@p200300d16f2b0f0091a07214a15713f4.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-03-19 00:52:49 +0000 | hattckory | (~hattckory@184.146.98.182) (Ping timeout: 260 seconds) |
| 2025-03-19 00:58:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 01:00:44 +0000 | kh0d | (~kh0d@212.200.181.151) |
| 2025-03-19 01:01:03 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-03-19 01:02:57 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 01:03:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-19 01:05:25 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-03-19 01:06:24 +0000 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 260 seconds) |
| 2025-03-19 01:07:34 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-19 01:09:02 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-03-19 01:14:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 01:16:04 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-19 01:16:33 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 01:17:13 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2025-03-19 01:19:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-19 01:19:55 +0000 | puke | (~puke@user/puke) puke |
| 2025-03-19 01:25:22 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-19 01:29:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 01:34:04 +0000 | kh0d | (~kh0d@212.200.181.151) |
| 2025-03-19 01:35:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-19 01:35:45 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-19 01:37:28 +0000 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-19 01:38:30 +0000 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 252 seconds) |
| 2025-03-19 01:38:35 +0000 | Ikosit | (~Ikosit@user/ikosit) (Quit: Ping timeout (120 seconds)) |
| 2025-03-19 01:38:52 +0000 | Ikosit | (~Ikosit@user/ikosit) Ikosit |
| 2025-03-19 01:40:23 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-03-19 01:41:49 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Ping timeout: 260 seconds) |
| 2025-03-19 01:42:24 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2025-03-19 01:43:24 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-03-19 01:45:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 01:45:58 +0000 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-19 01:47:58 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2025-03-19 01:48:11 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2025-03-19 01:48:26 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Client Quit) |
| 2025-03-19 01:48:41 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 01:49:13 +0000 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2025-03-19 01:50:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-19 01:50:58 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2025-03-19 01:52:04 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-03-19 01:52:48 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-19 02:01:01 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 02:01:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 02:03:29 +0000 | LainExperiments6 | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2025-03-19 02:06:22 +0000 | kh0d | (~kh0d@212.200.181.151) |
| 2025-03-19 02:08:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-19 02:11:09 +0000 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 260 seconds) |
| 2025-03-19 02:18:03 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-19 02:19:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 02:22:35 +0000 | kh0d | (~kh0d@212.200.181.151) kh0d |
| 2025-03-19 02:22:43 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-03-19 02:23:02 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-19 02:24:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-19 02:28:00 +0000 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 252 seconds) |
| 2025-03-19 02:34:05 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 02:35:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 02:38:16 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-19 02:40:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-19 02:40:55 +0000 | kh0d | (~kh0d@212.200.181.151) |
| 2025-03-19 02:41:09 +0000 | darkstardevx | (~darkstard@50.53.3.2) darkstardevx |
| 2025-03-19 02:44:58 +0000 | darkstardevx | (~darkstard@50.53.3.2) (Remote host closed the connection) |
| 2025-03-19 02:45:35 +0000 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 252 seconds) |
| 2025-03-19 02:51:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 02:54:06 +0000 | euleritian | (~euleritia@95.90.214.149) (Read error: Connection reset by peer) |
| 2025-03-19 02:54:36 +0000 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-19 02:55:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-19 02:55:41 +0000 | euleritian | (~euleritia@95.90.214.149) (Read error: Connection reset by peer) |
| 2025-03-19 02:55:49 +0000 | euleritian | (~euleritia@dynamic-176-006-136-027.176.6.pool.telefonica.de) |
| 2025-03-19 02:56:10 +0000 | euleritian | (~euleritia@dynamic-176-006-136-027.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-19 02:56:28 +0000 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-19 02:56:47 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 03:01:09 +0000 | euleritian | (~euleritia@95.90.214.149) (Read error: Connection reset by peer) |
| 2025-03-19 03:01:21 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 03:04:17 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-19 03:07:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 03:12:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-19 03:13:11 +0000 | kh0d | (~kh0d@212.200.181.151) kh0d |
| 2025-03-19 03:19:57 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 03:20:09 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 03:23:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 03:24:29 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-19 03:28:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-19 03:29:08 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-03-19 03:31:56 +0000 | tavare | (~tavare@150.129.88.189) tavare |
| 2025-03-19 03:31:56 +0000 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-03-19 03:31:56 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-19 03:32:44 +0000 | kh0d_ | (~kh0d@212.200.247.168) |
| 2025-03-19 03:35:28 +0000 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 252 seconds) |
| 2025-03-19 03:36:42 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-19 03:39:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 03:46:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-19 03:51:09 +0000 | hattckory | (~hattckory@184.146.98.182) |
| 2025-03-19 03:51:54 +0000 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-03-19 03:54:02 +0000 | ftzm2 | (~ftzm@085080243028.dynamic.telenor.dk) ftzm |
| 2025-03-19 03:55:54 +0000 | ftzm | (~ftzm@085081035209.dynamic.telenor.dk) (Ping timeout: 244 seconds) |
| 2025-03-19 03:55:54 +0000 | ftzm2 | ftzm |
| 2025-03-19 03:57:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 04:01:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-19 04:05:53 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 04:10:26 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-19 04:12:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 04:13:19 +0000 | statusbot9 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2025-03-19 04:13:27 +0000 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
| 2025-03-19 04:17:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-19 04:23:17 +0000 | kh0d_ | (~kh0d@212.200.247.168) (Ping timeout: 248 seconds) |
| 2025-03-19 04:27:24 +0000 | <Axman6> | Which parsing library would youse use for parsing binary protocols today? I would usually look at attoparsec, but it's definitely more aimed at textual parsing. Binary is possibly ok, but I'm wondering if there's any other options these days |
| 2025-03-19 04:28:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 04:28:35 +0000 | <Axman6> | (I'm Australian, youse is an important word in our culture) |
| 2025-03-19 04:32:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-19 04:36:06 +0000 | kh0d | (~kh0d@212.200.247.168) kh0d |
| 2025-03-19 04:39:15 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-03-19 04:40:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-19 04:41:39 +0000 | kh0d | (~kh0d@212.200.247.168) (Ping timeout: 260 seconds) |
| 2025-03-19 04:43:12 +0000 | <jackdk> | Axman6: I think youz'll find that it's spelt "yooz" |
| 2025-03-19 04:43:33 +0000 | <Axman6> | bloody bogans |
| 2025-03-19 04:43:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 04:43:49 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-03-19 04:44:15 +0000 | aforemny | (~aforemny@2001:9e8:6ce6:a700:9c3f:a849:8d9b:359a) aforemny |
| 2025-03-19 04:44:59 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc7:6b00:b975:f736:215a:5f1e) (Ping timeout: 260 seconds) |
| 2025-03-19 04:46:56 +0000 | <jackdk> | I usually consider attoparsec suitable for binary formats. Last time I did binary parsing I used package `binary` over `cereal` but I couldn't tell you why. Maybe the more recent upload date? |
| 2025-03-19 04:47:47 +0000 | <Axman6> | A big thing that was missing was parsing integers of fixed sizes and endianesses, which I'm sure surprises me every timeI try to use it for binary parsing |
| 2025-03-19 04:48:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-19 04:49:19 +0000 | <jackdk> | I wonder if https://hackage.haskell.org/package/attoparsec-binary-0.2 still works? Some very ambitious bounds and a 2012 upload date |
| 2025-03-19 04:51:17 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 04:52:13 +0000 | a_fantom | (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-03-19 04:52:27 +0000 | michalz | (~michalz@185.246.207.193) |
| 2025-03-19 04:52:34 +0000 | hattckory | (~hattckory@184.146.98.182) (Ping timeout: 260 seconds) |
| 2025-03-19 04:53:57 +0000 | <jackdk> | Huh, I found a 3.5yo PR of mine against cereal still open, perhaps that's why I switched to `binary`. |
| 2025-03-19 04:55:30 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-19 04:55:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 04:56:22 +0000 | kh0d | (~kh0d@212.200.247.168) |
| 2025-03-19 05:00:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-19 05:01:00 +0000 | kh0d | (~kh0d@212.200.247.168) (Ping timeout: 252 seconds) |
| 2025-03-19 05:06:28 +0000 | tavare | (~tavare@user/tavare) (Ping timeout: 272 seconds) |
| 2025-03-19 05:11:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 05:13:11 +0000 | fantom | (~fantom@2.219.56.221) |
| 2025-03-19 05:13:36 +0000 | kh0d | (~kh0d@212.200.247.168) kh0d |
| 2025-03-19 05:15:35 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-19 05:16:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-19 05:18:03 +0000 | fantom | (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-03-19 05:18:15 +0000 | fantom | (~fantom@2.219.56.221) |
| 2025-03-19 05:18:22 +0000 | kh0d | (~kh0d@212.200.247.168) (Ping timeout: 265 seconds) |
| 2025-03-19 05:19:35 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-03-19 05:21:21 +0000 | Googulator3 | (~Googulato@80-95-93-233.pool.digikabel.hu) |
| 2025-03-19 05:22:28 +0000 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-03-19 05:23:13 +0000 | Googulator3 | (~Googulato@80-95-93-233.pool.digikabel.hu) (Client Quit) |
| 2025-03-19 05:23:30 +0000 | Googulator3 | (~Googulato@80-95-93-233.pool.digikabel.hu) |
| 2025-03-19 05:27:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 05:33:39 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 05:34:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-19 05:36:20 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 05:37:54 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-19 05:41:09 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-19 05:45:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 05:46:32 +0000 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-19 05:48:11 +0000 | kh0d | (~kh0d@212.200.247.168) kh0d |
| 2025-03-19 05:49:34 +0000 | <haskellbridge> | <Bowuigi> IIRC flatparse can work with binary stuff, but not sure how good it is at that |
| 2025-03-19 05:50:15 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 2025-03-19 05:50:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-19 05:50:33 +0000 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-19 05:53:20 +0000 | kh0d | (~kh0d@212.200.247.168) (Ping timeout: 252 seconds) |
| 2025-03-19 05:58:10 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2025-03-19 05:59:43 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-03-19 06:00:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 06:00:53 +0000 | hattckory | (~hattckory@184.146.98.182) |
| 2025-03-19 06:05:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-19 06:06:38 +0000 | kh0d | (~kh0d@212.200.247.168) |
| 2025-03-19 06:08:18 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2025-03-19 06:10:23 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-03-19 06:12:02 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-19 06:14:58 +0000 | kh0d | (~kh0d@212.200.247.168) (Ping timeout: 245 seconds) |
| 2025-03-19 06:16:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 06:17:54 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-03-19 06:18:35 +0000 | euleritian | (~euleritia@dynamic-176-006-139-018.176.6.pool.telefonica.de) |
| 2025-03-19 06:19:47 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-19 06:20:39 +0000 | hattckory | (~hattckory@184.146.98.182) (Ping timeout: 260 seconds) |
| 2025-03-19 06:21:25 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 06:21:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-19 06:23:18 +0000 | euleritian | (~euleritia@dynamic-176-006-139-018.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-19 06:23:36 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 06:25:53 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-19 06:28:23 +0000 | kh0d | (~kh0d@212.200.247.168) |
| 2025-03-19 06:32:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 06:33:40 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 06:34:46 +0000 | kh0d | (~kh0d@212.200.247.168) (Ping timeout: 252 seconds) |
| 2025-03-19 06:37:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-19 06:40:16 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-03-19 06:40:42 +0000 | euleritian | (~euleritia@dynamic-176-000-131-013.176.0.pool.telefonica.de) |
| 2025-03-19 06:47:09 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-03-19 06:48:09 +0000 | kh0d | (~kh0d@212.200.247.168) |
| 2025-03-19 06:48:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 06:49:21 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-03-19 06:52:49 +0000 | kh0d | (~kh0d@212.200.247.168) (Ping timeout: 244 seconds) |
| 2025-03-19 06:53:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-19 07:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-19 07:01:01 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-19 07:05:28 +0000 | kh0d | (~kh0d@212.200.247.168) |
| 2025-03-19 07:06:48 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 07:10:41 +0000 | kh0d | (~kh0d@212.200.247.168) (Ping timeout: 252 seconds) |
| 2025-03-19 07:11:51 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-03-19 07:14:16 +0000 | <dminuoso> | Axman6: I would use flatparse without hesitation. |
| 2025-03-19 07:14:19 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-03-19 07:14:54 +0000 | <dminuoso> | It's has ultra high performance, has simple and yet powerful error/backtracking powers, and can be interleaved with IO easily. |
| 2025-03-19 07:15:07 +0000 | <dminuoso> | And none of the typeclass nonsense. |
| 2025-03-19 07:15:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 07:15:34 +0000 | ash3en | (~Thunderbi@149.222.149.43) ash3en |
| 2025-03-19 07:16:27 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-19 07:16:51 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-03-19 07:17:58 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-03-19 07:18:27 +0000 | <dminuoso> | (Or you can even run it over ST if you want) |
| 2025-03-19 07:19:02 +0000 | <dminuoso> | s/would use/do use/ |
| 2025-03-19 07:20:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-19 07:29:31 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-03-19 07:30:32 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 244 seconds) |
| 2025-03-19 07:30:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 07:35:15 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-19 07:35:31 +0000 | euleritian | (~euleritia@dynamic-176-000-131-013.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-19 07:35:55 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 07:37:20 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-03-19 07:39:14 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-19 07:39:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-19 07:40:06 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-03-19 07:41:00 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 07:42:22 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2025-03-19 07:43:25 +0000 | <Axman6> | Hmm, that looks good, and I think I looked into it, though it doesn't appear to support incremental parsing right? I'm not sure if I need that, but it would be nice |
| 2025-03-19 07:43:37 +0000 | <Axman6> | I think there's a 70% chance I will need that actually |
| 2025-03-19 07:47:31 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-03-19 07:49:21 +0000 | <Axman6> | But it might also be possible to just repeatedly run a parser |
| 2025-03-19 07:50:25 +0000 | remexre | (~remexre@user/remexre) (Read error: Connection reset by peer) |
| 2025-03-19 07:50:33 +0000 | remexre | (~remexre@user/remexre) remexre |
| 2025-03-19 07:51:52 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 07:52:24 +0000 | ash3en | (~Thunderbi@149.222.149.43) (Ping timeout: 260 seconds) |
| 2025-03-19 07:52:25 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-03-19 07:52:52 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-03-19 07:55:02 +0000 | ash3en | (~Thunderbi@149.222.149.43) ash3en |
| 2025-03-19 07:56:48 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-19 07:57:02 +0000 | rvalue- | rvalue |
| 2025-03-19 07:57:36 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-19 07:59:46 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 08:01:33 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f862485bf1876153744.dip0.t-ipconnect.de) acidjnk |
| 2025-03-19 08:03:08 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-03-19 08:03:26 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 08:04:34 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-19 08:05:55 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-03-19 08:06:38 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 08:14:39 +0000 | kh0d | (~kh0d@89.216.103.150) |
| 2025-03-19 08:19:49 +0000 | kh0d | (~kh0d@89.216.103.150) (Ping timeout: 260 seconds) |
| 2025-03-19 08:28:02 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-03-19 08:30:27 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-19 08:31:55 +0000 | kh0d | (~kh0d@89.216.103.150) |
| 2025-03-19 08:31:59 +0000 | ft | (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-03-19 08:36:05 +0000 | ash3en | (~Thunderbi@149.222.149.43) (Ping timeout: 248 seconds) |
| 2025-03-19 08:36:20 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-19 08:36:44 +0000 | kh0d | (~kh0d@89.216.103.150) (Ping timeout: 260 seconds) |
| 2025-03-19 08:39:33 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 08:39:33 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-03-19 08:40:19 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 08:43:39 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-03-19 08:44:19 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-19 08:47:36 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 08:48:27 +0000 | ash3en | (~Thunderbi@149.222.149.43) ash3en |
| 2025-03-19 08:52:19 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-03-19 09:01:57 +0000 | dhil | (~dhil@2a0c:b381:52e:3600:e6af:ac8c:7aa:72f4) dhil |
| 2025-03-19 09:11:20 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 2025-03-19 09:11:25 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-03-19 09:12:09 +0000 | <dminuoso> | Axman6: Can you refine a bit your idea of incremental parsing? |
| 2025-03-19 09:12:26 +0000 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-03-19 09:12:56 +0000 | <Axman6> | being able to indicate that the parser has consumed the input its been given and then continue by feeding in more chunks |
| 2025-03-19 09:13:39 +0000 | <jackdk> | https://hackage.haskell.org/package/attoparsec-0.14.4/docs/Data-Attoparsec-ByteString.html#t:IResult Like the `Partial` constructor in attoparsec's result type |
| 2025-03-19 09:14:05 +0000 | <dminuoso> | Ah okay, flatparse has no builtin support for streaming currently. |
| 2025-03-19 09:15:09 +0000 | <dminuoso> | It can deal with unconsumed input, so you have some options to resume parsing with that. |
| 2025-03-19 09:15:24 +0000 | <dminuoso> | But it cannot deal with missing input |
| 2025-03-19 09:15:54 +0000 | synchromesh | (~john@116.251.144.215) (Quit: WeeChat 4.1.1) |
| 2025-03-19 09:16:07 +0000 | <dminuoso> | Which could still be fine, if you're fine with retrying every time you have a new chunk until you can do partial parses |
| 2025-03-19 09:19:22 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 09:19:26 +0000 | <dminuoso> | It's an interesting thought, I think we could easily build this into flatparse from a technical perspective |
| 2025-03-19 09:19:56 +0000 | <dminuoso> | Retaining compatibility with existing code that builds manual parsers should be doable with pattern synonyms |
| 2025-03-19 09:20:52 +0000 | <dminuoso> | But it does mean tragging an continuation through all the parsers. So I guess the main concern would be whether that would degrade performance |
| 2025-03-19 09:24:01 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-19 09:24:57 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 09:28:21 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-03-19 09:29:09 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-19 09:31:50 +0000 | Digitteknohippie | (~user@user/digit) (Ping timeout: 272 seconds) |
| 2025-03-19 09:35:26 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-03-19 09:35:50 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 09:36:49 +0000 | saimazoon | (~hrtz@user/haritz) (Ping timeout: 248 seconds) |
| 2025-03-19 09:37:53 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-03-19 09:40:09 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-03-19 09:45:33 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-19 09:50:17 +0000 | Guest48 | (~Guest29@62.175.65.102.dyn.user.ono.com) |
| 2025-03-19 09:54:49 +0000 | kh0d | (~kh0d@89.216.103.150) kh0d |
| 2025-03-19 10:00:58 +0000 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 272 seconds) |
| 2025-03-19 10:01:11 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-03-19 10:01:19 +0000 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-03-19 10:01:49 +0000 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) jonrh |
| 2025-03-19 10:02:22 +0000 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2025-03-19 10:03:05 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 10:10:04 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-03-19 10:10:21 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 10:10:21 +0000 | chele | (~chele@user/chele) chele |
| 2025-03-19 10:15:09 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-19 10:16:17 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-19 10:18:06 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-03-19 10:23:30 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-19 10:28:30 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-19 10:29:03 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-03-19 10:31:55 +0000 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-19 10:35:38 +0000 | Guest48 | (~Guest29@62.175.65.102.dyn.user.ono.com) (Quit: Client closed) |
| 2025-03-19 10:37:50 +0000 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-19 10:39:06 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-19 10:43:13 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-19 10:45:50 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 10:47:41 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-03-19 10:48:49 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-03-19 10:49:59 +0000 | euleritian | (~euleritia@dynamic-176-006-131-187.176.6.pool.telefonica.de) |
| 2025-03-19 10:50:25 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-19 10:51:29 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-03-19 10:51:45 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-03-19 10:54:05 +0000 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-03-19 10:55:05 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-19 10:55:24 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 10:58:56 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9bbf:bdfa:79d2:c598) |
| 2025-03-19 10:59:10 +0000 | babo67_ | (~babo67@user/babo67) (Remote host closed the connection) |
| 2025-03-19 10:59:15 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-03-19 10:59:20 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-03-19 10:59:31 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-19 10:59:57 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-03-19 11:00:04 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-19 11:02:20 +0000 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2025-03-19 11:03:54 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-03-19 11:04:33 +0000 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-03-19 11:04:49 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-19 11:09:13 +0000 | tromp | (~textual@2a02:a210:cba:8500:f085:be23:3f4e:4a7a) |
| 2025-03-19 11:09:59 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-03-19 11:15:14 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9bbf:bdfa:79d2:c598) (Ping timeout: 260 seconds) |
| 2025-03-19 11:19:11 +0000 | <[exa]> | morning all! is there some canonical good way to make argmax-style functions in repa? (e.g., given a matrix, which column index has the maximum in each row?) I thought this would be pretty obvious from documentation but I'm struggling to find anything relatable. |
| 2025-03-19 11:19:41 +0000 | <[exa]> | (except for implementing this very manually with Repa.transpose, but that doesn't seem to nest quite right) |
| 2025-03-19 11:19:46 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 11:20:00 +0000 | <[exa]> | s/transpose/traverse/ oops |
| 2025-03-19 11:21:16 +0000 | <[exa]> | I thought about 1] use traverse to add indices and 2] use fold to find the maxima 3] then strip indices again, but would love to have this somewhat confirmed as a way to go |
| 2025-03-19 11:23:21 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-19 11:23:34 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-19 11:24:31 +0000 | euleritian | (~euleritia@dynamic-176-006-131-187.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-19 11:24:49 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 11:26:28 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 11:29:23 +0000 | <tomsmeding> | [exa]: zipping with fromFunction to add indices is probably faster than traverse |
| 2025-03-19 11:30:15 +0000 | <tomsmeding> | oh I misread 'traverse', perhaps it's roughly the same thing in the end |
| 2025-03-19 11:30:24 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-03-19 11:31:24 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-19 11:31:54 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-03-19 11:32:06 +0000 | <tomsmeding> | [exa]: but yes from looking at the docs I wouldn't be surprised if that's the way to go |
| 2025-03-19 11:34:47 +0000 | <tomsmeding> | pity that repa doesn't seem to have a commutative fold primitive |
| 2025-03-19 11:35:40 +0000 | <tomsmeding> | (fold with a commutative (and cheap, vectorisable) operator can be multiple times as fast as a fold with a merely associative operator) |
| 2025-03-19 11:35:43 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-03-19 11:36:40 +0000 | <tomsmeding> | but perhaps in this case because it's a normal haskell function, things aren't vectorised anyway, so it doesn't matter much |
| 2025-03-19 11:41:49 +0000 | <tomsmeding> | [exa]: for curiosity, why repa and not massiv? (I have used neither, but I was under the impression that massiv was more recent) |
| 2025-03-19 11:44:48 +0000 | Otong | (~Otong@user/Otong) Otong |
| 2025-03-19 11:45:19 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-19 11:45:20 +0000 | Otong | (~Otong@user/Otong) (Client Quit) |
| 2025-03-19 11:45:30 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 11:49:37 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-19 11:50:02 +0000 | ash3en | (~Thunderbi@149.222.149.43) (Quit: ash3en) |
| 2025-03-19 11:51:41 +0000 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-03-19 11:52:51 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-03-19 11:52:58 +0000 | <lxsameer> | hey folks, have you ever used brick with images? |
| 2025-03-19 11:55:35 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-03-19 12:02:23 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-03-19 12:03:31 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 12:04:14 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 2025-03-19 12:07:10 +0000 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2025-03-19 12:07:12 +0000 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2025-03-19 12:07:12 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-03-19 12:10:46 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-03-19 12:11:34 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 12:14:09 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-03-19 12:14:22 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2025-03-19 12:14:42 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
| 2025-03-19 12:15:48 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-03-19 12:17:11 +0000 | xff0x | (~xff0x@2405:6580:b080:900:810c:5794:3404:58c8) |
| 2025-03-19 12:19:00 +0000 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2025-03-19 12:20:06 +0000 | jespada | (~jespada@2800:a4:22b1:d100:35b4:3b88:942b:d1c6) jespada |
| 2025-03-19 12:20:33 +0000 | jespada | (~jespada@2800:a4:22b1:d100:35b4:3b88:942b:d1c6) (Client Quit) |
| 2025-03-19 12:23:15 +0000 | jespada | (~jespada@2800:a4:22b1:d100:35b4:3b88:942b:d1c6) jespada |
| 2025-03-19 12:24:50 +0000 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2025-03-19 12:25:05 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-03-19 12:28:55 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-03-19 12:29:45 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 12:30:39 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2025-03-19 12:31:48 +0000 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2025-03-19 12:31:48 +0000 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2025-03-19 12:31:48 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-03-19 12:36:08 +0000 | yago | (~yago@2a0c:5a82:1708:200:7fc2:8e4a:8482:1f21) |
| 2025-03-19 12:36:35 +0000 | yago | (~yago@2a0c:5a82:1708:200:7fc2:8e4a:8482:1f21) (Client Quit) |
| 2025-03-19 12:36:52 +0000 | yago | (~yago@2a0c:5a82:1708:200:7fc2:8e4a:8482:1f21) |
| 2025-03-19 12:39:08 +0000 | <__monty__> | Fair warning, image support is very terminal emulator dependent. |
| 2025-03-19 12:45:05 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-03-19 12:50:23 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-03-19 12:52:13 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-03-19 12:52:38 +0000 | <lxsameer> | __monty__: thank you, I'm aware of that |
| 2025-03-19 12:57:39 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 13:00:55 +0000 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-19 13:01:34 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2025-03-19 13:02:09 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-19 13:07:08 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-03-19 13:07:11 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-03-19 13:14:19 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-19 13:14:20 +0000 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2025-03-19 13:15:06 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-03-19 13:17:24 +0000 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 246 seconds) |
| 2025-03-19 13:20:06 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-19 13:21:53 +0000 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) PotatoGim |
| 2025-03-19 13:24:13 +0000 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-19 13:24:45 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-03-19 13:27:00 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-03-19 13:27:01 +0000 | yago | (~yago@2a0c:5a82:1708:200:7fc2:8e4a:8482:1f21) (Ping timeout: 265 seconds) |
| 2025-03-19 13:27:24 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-19 13:29:50 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-03-19 13:33:15 +0000 | kh0d | (~kh0d@89.216.103.150) (Remote host closed the connection) |
| 2025-03-19 13:34:20 +0000 | kh0d | (~kh0d@89.216.103.150) kh0d |
| 2025-03-19 13:36:25 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-19 13:37:06 +0000 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 2025-03-19 13:37:24 +0000 | ash3en | (~Thunderbi@31.16.203.214) ash3en |
| 2025-03-19 13:39:06 +0000 | kh0d | (~kh0d@89.216.103.150) (Ping timeout: 246 seconds) |
| 2025-03-19 13:40:39 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f862485bf1876153744.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-03-19 13:40:51 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-03-19 13:43:23 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 13:46:26 +0000 | astra | (sid289983@user/amish) (Ping timeout: 272 seconds) |
| 2025-03-19 13:47:04 +0000 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) (Ping timeout: 272 seconds) |
| 2025-03-19 13:47:25 +0000 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 252 seconds) |
| 2025-03-19 13:47:30 +0000 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) (Ping timeout: 246 seconds) |
| 2025-03-19 13:48:17 +0000 | Digit | (~user@user/digit) Digit |
| 2025-03-19 13:48:21 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-03-19 13:49:36 +0000 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 246 seconds) |
| 2025-03-19 13:49:36 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (Ping timeout: 272 seconds) |
| 2025-03-19 13:49:37 +0000 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 248 seconds) |
| 2025-03-19 13:50:01 +0000 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) rubin55 |
| 2025-03-19 13:50:11 +0000 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) gaze__ |
| 2025-03-19 13:50:44 +0000 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) shawwwn |
| 2025-03-19 13:50:52 +0000 | edm | (sid147314@id-147314.hampstead.irccloud.com) (Ping timeout: 272 seconds) |
| 2025-03-19 13:51:13 +0000 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
| 2025-03-19 13:52:46 +0000 | unlucy | (sid572875@user/unlucy) (Ping timeout: 272 seconds) |
| 2025-03-19 13:53:06 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) alanz |
| 2025-03-19 13:53:08 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-19 13:53:24 +0000 | unlucy | (sid572875@user/unlucy) unlucy |
| 2025-03-19 13:53:29 +0000 | alinab | (sid468903@id-468903.helmsley.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-03-19 13:53:42 +0000 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) SrPx |
| 2025-03-19 13:53:47 +0000 | edm | (sid147314@id-147314.hampstead.irccloud.com) |
| 2025-03-19 13:54:16 +0000 | fp1 | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-03-19 13:55:26 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-03-19 13:55:43 +0000 | alinab | (sid468903@id-468903.helmsley.irccloud.com) |
| 2025-03-19 13:55:44 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 13:56:11 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-03-19 13:56:11 +0000 | Digit | Digitteknohippie |
| 2025-03-19 13:56:18 +0000 | Digitteknohippie | Digit |
| 2025-03-19 13:56:28 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 13:57:14 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-03-19 13:57:32 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 13:57:49 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-03-19 14:10:13 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-19 14:12:46 +0000 | kh0d | (~kh0d@212.200.247.168) |
| 2025-03-19 14:14:34 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-03-19 14:16:24 +0000 | infohazards | (~user@user/fmira) (Remote host closed the connection) |
| 2025-03-19 14:16:24 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-03-19 14:16:24 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-03-19 14:16:24 +0000 | gmg | (~user@user/gehmehgeh) (Read error: Connection reset by peer) |
| 2025-03-19 14:16:24 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2025-03-19 14:16:51 +0000 | califax | (~califax@user/califx) califx |
| 2025-03-19 14:17:01 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-19 14:17:12 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-19 14:17:13 +0000 | infohazards | (~user@user/fmira) fmira |
| 2025-03-19 14:18:34 +0000 | kh0d | (~kh0d@212.200.247.168) (Ping timeout: 260 seconds) |
| 2025-03-19 14:18:48 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f869945a39c2a143247.dip0.t-ipconnect.de) acidjnk |
| 2025-03-19 14:21:53 +0000 | Guest47 | (~Guest47@2600:387:f:7e1b::3) |
| 2025-03-19 14:22:25 +0000 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Changing host) |
| 2025-03-19 14:22:25 +0000 | tomsmeding | (~tomsmedin@user/tomsmeding) tomsmeding |
| 2025-03-19 14:22:43 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-03-19 14:24:52 +0000 | Guest47 | (~Guest47@2600:387:f:7e1b::3) (Client Quit) |
| 2025-03-19 14:27:02 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-19 14:30:18 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-03-19 14:30:27 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 14:31:17 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-19 14:34:03 +0000 | kh0d | (~kh0d@212.200.247.168) kh0d |
| 2025-03-19 14:34:30 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-19 14:36:03 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-03-19 14:36:22 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-03-19 14:39:33 +0000 | alx741 | (~alx741@186.33.188.229) |
| 2025-03-19 14:40:58 +0000 | alx741 | (~alx741@186.33.188.229) (Client Quit) |
| 2025-03-19 14:42:25 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-03-19 14:43:10 +0000 | kh0d | (~kh0d@212.200.247.168) (Ping timeout: 252 seconds) |
| 2025-03-19 14:43:51 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-03-19 14:43:57 +0000 | kh0d | (~kh0d@212.200.247.168) kh0d |
| 2025-03-19 14:45:20 +0000 | Square | (~Square4@user/square) Square |
| 2025-03-19 15:02:34 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-03-19 15:07:03 +0000 | ash3en | (~Thunderbi@31.16.203.214) (Ping timeout: 244 seconds) |
| 2025-03-19 15:09:20 +0000 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) Everything |
| 2025-03-19 15:11:32 +0000 | sprotte24 | (~sprotte24@p200300d16f414f00583a1f6903ca2819.dip0.t-ipconnect.de) |
| 2025-03-19 15:11:56 +0000 | manwithluck | (~manwithlu@2a09:bac5:5085:2dc::49:de) (Ping timeout: 272 seconds) |
| 2025-03-19 15:15:51 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 15:19:54 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-19 15:24:19 +0000 | kh0d | (~kh0d@212.200.247.168) (Ping timeout: 244 seconds) |
| 2025-03-19 15:26:13 +0000 | jespada | (~jespada@2800:a4:22b1:d100:35b4:3b88:942b:d1c6) (Ping timeout: 245 seconds) |
| 2025-03-19 15:26:26 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-03-19 15:28:55 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-03-19 15:29:46 +0000 | jespada | (~jespada@2800:a4:22a5:eb00:d0e6:7a9a:56c8:f73b) jespada |
| 2025-03-19 15:38:42 +0000 | kh0d | (~kh0d@212.200.247.168) |
| 2025-03-19 15:38:54 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 2025-03-19 15:42:53 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-03-19 15:43:57 +0000 | kh0d | (~kh0d@212.200.247.168) (Ping timeout: 244 seconds) |
| 2025-03-19 15:55:46 +0000 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-03-19 15:56:57 +0000 | sprotte24 | (~sprotte24@p200300d16f414f00583a1f6903ca2819.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-03-19 15:57:52 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-03-19 16:00:18 +0000 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2025-03-19 16:02:16 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 16:03:11 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:c1b9:805:b7a6:91b1) |
| 2025-03-19 16:03:41 +0000 | jespada | (~jespada@2800:a4:22a5:eb00:d0e6:7a9a:56c8:f73b) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-03-19 16:04:34 +0000 | Digitteknohippie | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-03-19 16:05:44 +0000 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2025-03-19 16:07:03 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-19 16:10:29 +0000 | bionade24 | (~quassel@2a03:4000:33:45b::1) (Ping timeout: 248 seconds) |
| 2025-03-19 16:11:24 +0000 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
| 2025-03-19 16:12:09 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-03-19 16:13:48 +0000 | kh0d | (~kh0d@212.200.247.168) |
| 2025-03-19 16:14:30 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-03-19 16:14:45 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-03-19 16:17:46 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-03-19 16:19:49 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-03-19 16:20:18 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2025-03-19 16:21:00 +0000 | Guest68 | (~Guest68@2405:201:4005:3009:c82a:b371:a77c:3fd2) |
| 2025-03-19 16:22:43 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-03-19 16:24:34 +0000 | kh0d | (~kh0d@212.200.247.168) (Ping timeout: 260 seconds) |
| 2025-03-19 16:25:28 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2025-03-19 16:26:07 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2025-03-19 16:33:32 +0000 | kh0d | (~kh0d@109.111.226.14) kh0d |
| 2025-03-19 16:45:18 +0000 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-03-19 16:48:21 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 16:52:36 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-19 16:52:57 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-19 16:58:55 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-03-19 17:00:43 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-03-19 17:03:28 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-19 17:03:47 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-03-19 17:05:18 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-03-19 17:05:40 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 17:05:49 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-03-19 17:07:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-03-19 17:09:21 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-03-19 17:10:04 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2025-03-19 17:10:32 +0000 | euleritian | (~euleritia@dynamic-176-006-143-238.176.6.pool.telefonica.de) |
| 2025-03-19 17:12:56 +0000 | alp | (~alp@2001:861:8ca0:4940:77c4:3560:6515:b78c) |
| 2025-03-19 17:14:40 +0000 | euleritian | (~euleritia@dynamic-176-006-143-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-19 17:14:57 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 17:15:34 +0000 | ft | (~ft@p508db463.dip0.t-ipconnect.de) ft |
| 2025-03-19 17:16:16 +0000 | Digit | (~user@user/digit) Digit |
| 2025-03-19 17:18:49 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f869945a39c2a143247.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-03-19 17:24:29 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2025-03-19 17:25:44 +0000 | LainExperiments | (~LainExper@user/LainExperiments) (Quit: Client closed) |
| 2025-03-19 17:25:55 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-03-19 17:26:18 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-03-19 17:29:19 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-03-19 17:30:42 +0000 | praneyak | (~praneyak@2405:201:4005:3009:c82a:b371:a77c:3fd2) |
| 2025-03-19 17:34:40 +0000 | praneyak | (~praneyak@2405:201:4005:3009:c82a:b371:a77c:3fd2) (Changing host) |
| 2025-03-19 17:34:40 +0000 | praneyak | (~praneyak@user/praneyak) praneyak |
| 2025-03-19 17:34:45 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 17:35:28 +0000 | Googulator3 | (~Googulato@80-95-93-233.pool.digikabel.hu) (Quit: Client closed) |
| 2025-03-19 17:35:48 +0000 | Googulator3 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 2025-03-19 17:37:50 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-03-19 17:39:04 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-19 17:40:12 +0000 | <EvanR> | the main data type in GHC.Core is data Expr b = ... where it says b is the type of binder. Which it uses directly in the lambda and case constructors. So the Expr is tagged with a type in the host language? Then reviewing the whole type, it seems odd there is no way to change the b deeper in the expression tree |
| 2025-03-19 17:40:33 +0000 | <EvanR> | if there's a sublambda, it'll have the same b as the top level lambda? |
| 2025-03-19 17:41:53 +0000 | praneyak | (~praneyak@user/praneyak) (Quit: Client closed) |
| 2025-03-19 17:45:14 +0000 | praneyak | (~praneyak@2405:201:4005:3009:c82a:b371:a77c:3fd2) |
| 2025-03-19 17:46:14 +0000 | praneyak | (~praneyak@2405:201:4005:3009:c82a:b371:a77c:3fd2) (Changing host) |
| 2025-03-19 17:46:14 +0000 | praneyak | (~praneyak@user/praneyak) praneyak |
| 2025-03-19 17:51:33 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-03-19 17:52:36 +0000 | euleritian | (~euleritia@dynamic-176-006-143-238.176.6.pool.telefonica.de) |
| 2025-03-19 17:53:17 +0000 | praneyak | (~praneyak@user/praneyak) (Quit: Client closed) |
| 2025-03-19 17:53:18 +0000 | Guest68 | (~Guest68@2405:201:4005:3009:c82a:b371:a77c:3fd2) (Quit: Client closed) |
| 2025-03-19 18:01:26 +0000 | malte | (~malte@mal.tc) malte |
| 2025-03-19 18:06:01 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-03-19 18:09:18 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-03-19 18:09:37 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-03-19 18:09:42 +0000 | Digit | (~user@user/digit) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2025-03-19 18:09:42 +0000 | Digitteknohippie | Digit |
| 2025-03-19 18:09:59 +0000 | Digit | Digitteknohippie |
| 2025-03-19 18:10:36 +0000 | Guest7584 | (~user@153.144.208.46.dyn.plus.net) |
| 2025-03-19 18:11:07 +0000 | Digitteknohippie | (~user@user/digit) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50)) |
| 2025-03-19 18:11:20 +0000 | Guest7584 | (~user@153.144.208.46.dyn.plus.net) (Remote host closed the connection) |
| 2025-03-19 18:12:53 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-03-19 18:14:34 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-03-19 18:16:44 +0000 | Digitteknohippie | Digit |
| 2025-03-19 18:19:27 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f869945a39c2a143247.dip0.t-ipconnect.de) acidjnk |
| 2025-03-19 18:20:49 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 18:21:25 +0000 | Googulator3 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-03-19 18:21:38 +0000 | Googulator3 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 2025-03-19 18:22:44 +0000 | jespada | (~jespada@2800:a4:22a5:eb00:d0e6:7a9a:56c8:f73b) jespada |
| 2025-03-19 18:25:03 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-19 18:26:06 +0000 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Ping timeout: 246 seconds) |
| 2025-03-19 18:27:40 +0000 | JV | (~JV@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-03-19 18:38:35 +0000 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:14e6:e5d:241a:b56c) (Quit: No Ping reply in 180 seconds.) |
| 2025-03-19 18:39:15 +0000 | fp1 | (~Thunderbi@2001:708:20:1406::1370) (Quit: fp1) |
| 2025-03-19 18:39:40 +0000 | fp1 | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-03-19 18:39:50 +0000 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:52d3:ce67:1ea3:7bc7) fun-safe-math |
| 2025-03-19 18:48:01 +0000 | euleritian | (~euleritia@dynamic-176-006-143-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-19 18:48:18 +0000 | euleritian | (~euleritia@217.92.21.14) |
| 2025-03-19 18:54:04 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-03-19 18:55:51 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-19 18:55:55 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-19 18:58:20 +0000 | soyr` | (~user@194.171.56.13) |
| 2025-03-19 18:59:10 +0000 | haile | (~haile@194.171.56.13) |
| 2025-03-19 19:00:03 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-19 19:00:43 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-19 19:01:35 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-03-19 19:03:23 +0000 | haile | (~haile@194.171.56.13) (Remote host closed the connection) |
| 2025-03-19 19:03:23 +0000 | soyr` | (~user@194.171.56.13) (Remote host closed the connection) |
| 2025-03-19 19:05:53 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 19:06:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-19 19:10:42 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f869945a39c2a143247.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-03-19 19:10:49 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-19 19:13:03 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-19 19:13:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-03-19 19:16:05 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-19 19:18:11 +0000 | <[exa]> | tomsmeding: thanks a lot! re massiv, in the end repa seems somewhat more lightweight&transparent but no strong opinion in there |
| 2025-03-19 19:20:46 +0000 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2025-03-19 19:21:29 +0000 | haile | (~haile@user/haile) haile |
| 2025-03-19 19:25:51 +0000 | haile | (~haile@user/haile) (Ping timeout: 252 seconds) |
| 2025-03-19 19:28:29 +0000 | AlexZenon | (~alzenon@94.233.240.210) (Ping timeout: 244 seconds) |
| 2025-03-19 19:35:47 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-19 19:36:41 +0000 | kh0d | (~kh0d@109.111.226.14) (Remote host closed the connection) |
| 2025-03-19 19:36:47 +0000 | JV | (~JV@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 2025-03-19 19:37:03 +0000 | AlexZenon | (~alzenon@94.233.240.210) |
| 2025-03-19 19:37:12 +0000 | kh0d | (~kh0d@109.111.226.14) kh0d |
| 2025-03-19 19:40:54 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-19 19:42:00 +0000 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 252 seconds) |
| 2025-03-19 19:42:08 +0000 | euleritian | (~euleritia@217.92.21.14) (Ping timeout: 244 seconds) |
| 2025-03-19 19:42:58 +0000 | euleritian | (~euleritia@dynamic-176-006-143-238.176.6.pool.telefonica.de) |
| 2025-03-19 19:43:39 +0000 | kh0d | (~kh0d@212.200.247.168) kh0d |
| 2025-03-19 19:48:33 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f869945a39c2a143247.dip0.t-ipconnect.de) acidjnk |
| 2025-03-19 19:50:36 +0000 | euleritian | (~euleritia@dynamic-176-006-143-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-19 19:51:09 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 19:52:06 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-03-19 19:52:19 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 19:53:00 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-03-19 19:53:20 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-03-19 19:53:28 +0000 | euleritian | (~euleritia@dynamic-176-006-143-238.176.6.pool.telefonica.de) |
| 2025-03-19 19:53:50 +0000 | euleritian | (~euleritia@dynamic-176-006-143-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-19 19:54:39 +0000 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-03-19 19:54:41 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 19:56:37 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-19 19:58:42 +0000 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2025-03-19 20:00:03 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-03-19 20:03:01 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2025-03-19 20:07:37 +0000 | sprotte24 | (~sprotte24@p200300d16f414f00d95fa8d2f58ba4f5.dip0.t-ipconnect.de) |
| 2025-03-19 20:15:35 +0000 | <tomsmeding> | EvanR: look at `type CoreExpr = Expr CoreBndr` |
| 2025-03-19 20:15:44 +0000 | <tomsmeding> | that b is the type of variable references |
| 2025-03-19 20:16:10 +0000 | <tomsmeding> | [exa]: I see! |
| 2025-03-19 20:16:32 +0000 | <[exa]> | tomsmeding: ok I rechecked the massiv guide just now and now I can't really tell whats the main difference between the packages :D |
| 2025-03-19 20:16:40 +0000 | <tomsmeding> | they look similar to me too |
| 2025-03-19 20:16:45 +0000 | <tomsmeding> | probably in the details there are differences |
| 2025-03-19 20:17:06 +0000 | <EvanR> | I see, it's not any old type |
| 2025-03-19 20:17:15 +0000 | <tomsmeding> | [exa]: massiv seems to have a few more representation types? |
| 2025-03-19 20:17:28 +0000 | TheCoffeMaker_ | (~TheCoffeM@186.136.173.70) (Ping timeout: 245 seconds) |
| 2025-03-19 20:18:39 +0000 | <[exa]> | yeah all searches basically say "a little richer and more maintained" |
| 2025-03-19 20:18:47 +0000 | <[exa]> | ok good, sold, thanks! |
| 2025-03-19 20:19:55 +0000 | <tomsmeding> | repa is definitely not being actively maintained |
| 2025-03-19 20:20:06 +0000 | <tomsmeding> | not sure it _matters_ so much if it works |
| 2025-03-19 20:20:51 +0000 | <tomsmeding> | wait a sec repa has updates? TIL |
| 2025-03-19 20:21:36 +0000 | dhil | (~dhil@2a0c:b381:52e:3600:e6af:ac8c:7aa:72f4) (Ping timeout: 246 seconds) |
| 2025-03-19 20:23:45 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-03-19 20:27:06 +0000 | <[exa]> | tomsmeding: looks a bit weird there, github says last release 4.1.0.1 in 2015, hackage has 3.4.2.0 as latest |
| 2025-03-19 20:27:37 +0000 | [exa] | confused |
| 2025-03-19 20:27:41 +0000 | <tomsmeding> | perhaps they didn't create github tags for the releases? |
| 2025-03-19 20:27:58 +0000 | <[exa]> | nah more like they didn't release on hackage |
| 2025-03-19 20:28:06 +0000 | <tomsmeding> | uh |
| 2025-03-19 20:28:12 +0000 | <tomsmeding> | isn't it hackage that has the new versions? |
| 2025-03-19 20:28:36 +0000 | <tomsmeding> | oh |
| 2025-03-19 20:28:38 +0000 | <tomsmeding> | wait |
| 2025-03-19 20:28:46 +0000 | <[exa]> | didn't look to me like that but maybe 3.4 is newer than 4.1 because of some versioning LTS strategy or what |
| 2025-03-19 20:28:47 +0000 | <tomsmeding> | this is highly confusing |
| 2025-03-19 20:29:15 +0000 | <[exa]> | well |
| 2025-03-19 20:29:17 +0000 | <[exa]> | https://groups.google.com/g/haskell-repa/c/ULjCQC8nJL8 |
| 2025-03-19 20:29:27 +0000 | <tomsmeding> | ok those github releases just make no sense, perhaps? |
| 2025-03-19 20:30:08 +0000 | <tomsmeding> | right |
| 2025-03-19 20:30:16 +0000 | <[exa]> | I'm confused all the way to massiv now |
| 2025-03-19 20:30:36 +0000 | <tomsmeding> | I don't think this is a reason to move from repa though, however many others there may be |
| 2025-03-19 20:30:48 +0000 | <tomsmeding> | it seems maintained with a new release just a few months ago |
| 2025-03-19 20:30:58 +0000 | <tomsmeding> | that 4.1.0.1 release on github was an experiment, apparently |
| 2025-03-19 20:31:08 +0000 | <tomsmeding> | with 3.4 being the main branch |
| 2025-03-19 20:31:10 +0000 | <[exa]> | yes they're on this trac thing, not github |
| 2025-03-19 20:31:40 +0000 | <tomsmeding> | those remarks about vectorisation apply just as well to massiv |
| 2025-03-19 20:32:35 +0000 | <tomsmeding> | any array library in haskell with higher-order operations like map/fold/scan/etc. will not be super-fast |
| 2025-03-19 20:33:05 +0000 | <tomsmeding> | first-order operations like sum, add-two-arrays-elementwise, multiply-two-arrays-elementwise, etc. can be fast just fine by writing and FFI'ing in some C code |
| 2025-03-19 20:33:12 +0000 | <tomsmeding> | hmatrix does that |
| 2025-03-19 20:33:53 +0000 | <tomsmeding> | accelerate retains the higher-order array operations (SOACs, in the lingo in the field) but ceases being a "normal" library, being a deeply embedded DSL instead |
| 2025-03-19 20:34:24 +0000 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-19 20:34:32 +0000 | <tomsmeding> | to get around the fact that GHC is not good at compiling fast numerical code |
| 2025-03-19 20:35:05 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-03-19 20:35:20 +0000 | <tomsmeding> | I'm hacking on something that can be seen as a competitor to hmatrix, but it's not stable enough yet |
| 2025-03-19 20:37:24 +0000 | <[exa]> | that would be great tbh |
| 2025-03-19 20:37:49 +0000 | <[exa]> | like, for numerical things I still just go to julia |
| 2025-03-19 20:38:03 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 20:38:23 +0000 | <[exa]> | this above is the first attempt because I want a few computers to talk to each other about what they compute and I don't see myself debugging this without usable types |
| 2025-03-19 20:40:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 20:40:29 +0000 | fp1 | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 260 seconds) |
| 2025-03-19 20:42:30 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-19 20:46:36 +0000 | <tomsmeding> | protip: if you are having computers talk to each other about what they compute, you should instead say "I'm doing distributed computing", that sounds cooler |
| 2025-03-19 20:46:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-19 20:48:13 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-19 20:51:20 +0000 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-19 20:51:24 +0000 | <haskellbridge> | <magic_rb> Even better if you call it a "HPC cluster" |
| 2025-03-19 20:51:24 +0000 | <haskellbridge> | <magic_rb> Or smth like |
| 2025-03-19 20:51:59 +0000 | <[exa]> | tomsmeding: it doesn't really classify, it's got a centralized coordinator and I ignore any failure etc. |
| 2025-03-19 20:52:57 +0000 | <[exa]> | "distributed computing" somehow means to me "I'm proud that my programs can resynchronize after 6 years of lag and the user doesn't notice the outage" |
| 2025-03-19 20:53:08 +0000 | <haskellbridge> | <magic_rb> Its a still cluster, just a bad one |
| 2025-03-19 20:53:28 +0000 | <haskellbridge> | <magic_rb> Kubernetes is "distributed computing" and kubernetes barely works on a single node let alone 30 |
| 2025-03-19 20:53:31 +0000 | <tomsmeding> | [exa]: that just means you have standards |
| 2025-03-19 20:53:33 +0000 | <davean> | Just because you suck at it doesn't mean you aren't doing it. Actualyl being failure tolerant is usaully a good strategy |
| 2025-03-19 20:53:36 +0000 | <[exa]> | I'm okay with "bad cluster computing" |
| 2025-03-19 20:53:39 +0000 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
| 2025-03-19 20:53:44 +0000 | <haskellbridge> | <magic_rb> Lmao |
| 2025-03-19 20:54:15 +0000 | <[exa]> | c'mon guys I have standards, the comparison to kubes hurt :D |
| 2025-03-19 20:54:48 +0000 | <haskellbridge> | <magic_rb> Hey if your things works without requiring a Phd in it, its already surpassed k8s |
| 2025-03-19 20:54:51 +0000 | <davean> | magic_rb: Everyone knows LPC is healthier for you |
| 2025-03-19 20:55:13 +0000 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-19 20:55:27 +0000 | <haskellbridge> | <magic_rb> You dont like the sound of whirring servers and harddrives ?? Weird |
| 2025-03-19 20:55:51 +0000 | <haskellbridge> | <magic_rb> Its what i play when im trying to fall asleep, (unironically) |
| 2025-03-19 20:56:13 +0000 | <[exa]> | davean: somehow I first read that as "being failure tolerant as a distributed computing user is a good strategy". Which is truly eternal. |
| 2025-03-19 20:58:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 21:04:15 +0000 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) zenstoic |
| 2025-03-19 21:04:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-03-19 21:06:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-19 21:06:24 +0000 | killy | (~killy@terminal-3-187.retsat1.com.pl) (Quit: leaving) |
| 2025-03-19 21:07:03 +0000 | jespada | (~jespada@2800:a4:22a5:eb00:d0e6:7a9a:56c8:f73b) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-03-19 21:11:21 +0000 | Googulator88 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 2025-03-19 21:13:11 +0000 | Googulator3 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-03-19 21:13:20 +0000 | <[exa]> | tomsmeding: btw anything specific in that hmatrix-like package? |
| 2025-03-19 21:13:32 +0000 | [exa] | looking forward |
| 2025-03-19 21:14:10 +0000 | <tomsmeding> | [exa]: it tries to be fancy in ways that you probably don't need, but you made me have a stab at separating out the core array routines (which are sometimes faster than hmatrix by little more than having a clue how C compilers work) |
| 2025-03-19 21:15:13 +0000 | <tomsmeding> | the full thing is essentially Data.Vector.Unbox, but with multidimensional arrays, and support for nested arrays (as long as they are all the same shape, so it's fairly restricted) |
| 2025-03-19 21:15:47 +0000 | <tomsmeding> | and also it has a rank-typed array type (type-indexed by a Nat), a shape-typed array type (type-indexed by [Nat]) and a mixed one that generalises the two (type-indexed by [Maybe Nat]) |
| 2025-03-19 21:15:57 +0000 | <tomsmeding> | and you can use them intermixed |
| 2025-03-19 21:16:12 +0000 | <tomsmeding> | the result is that the API for shapes and indices is verbose and a little awkward |
| 2025-03-19 21:16:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 21:16:38 +0000 | <tomsmeding> | because there's like 6 different things floating around ({index,shape} for {ranked,shaped,mixed} array) |
| 2025-03-19 21:17:16 +0000 | <tomsmeding> | [exa]: it's here but no guarantees whatsoever about stability https://git.tomsmeding.com/ox-arrays |
| 2025-03-19 21:20:27 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-19 21:21:13 +0000 | swistak | (~swistak@185.21.216.141) (Ping timeout: 245 seconds) |
| 2025-03-19 21:21:21 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-03-19 21:21:48 +0000 | swistak | (~swistak@185.21.216.141) |
| 2025-03-19 21:21:50 +0000 | <tomsmeding> | `tail (scanr (*) 1 sh)` "Warning: This is a partial function" |
| 2025-03-19 21:22:10 +0000 | <tomsmeding> | I bloody KNOW |
| 2025-03-19 21:22:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-19 21:22:54 +0000 | <tomsmeding> | I have complained about this before but you can't even disable this warning with an OPTIONS easily because it's a very new warning and then you get a warning about "unknown warning" on non-bleeding-edge GHCs |
| 2025-03-19 21:24:07 +0000 | <tomsmeding> | ah yes you could {-# OPTIONS_GHC -Wno-unrecognised-warning-flags -Wno-x-partial #-} |
| 2025-03-19 21:24:52 +0000 | <EvanR> | there's a warning about partial functions now? |
| 2025-03-19 21:24:56 +0000 | <EvanR> | generally? |
| 2025-03-19 21:24:59 +0000 | <EvanR> | interesting |
| 2025-03-19 21:25:01 +0000 | <tomsmeding> | no, for head and tail specifically |
| 2025-03-19 21:25:04 +0000 | <EvanR> | oh |
| 2025-03-19 21:25:06 +0000 | <tomsmeding> | it's stupid |
| 2025-03-19 21:25:08 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-03-19 21:25:20 +0000 | <EvanR> | head and tail are the classic "hold my beer I know what I'm doing" functions |
| 2025-03-19 21:25:29 +0000 | <EvanR> | a warning label would be obnoxious! |
| 2025-03-19 21:25:36 +0000 | <tomsmeding> | it only helps super green programmers |
| 2025-03-19 21:26:02 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-19 21:26:06 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 21:26:16 +0000 | <tomsmeding> | probably this was suppose to be a lint, but hlint is too opinionated and there's no alternative, so they squirmed their way to a warning in base |
| 2025-03-19 21:26:47 +0000 | <EvanR> | give me all or nothing |
| 2025-03-19 21:26:57 +0000 | <EvanR> | warn me about every partial function ever please |
| 2025-03-19 21:27:01 +0000 | <EvanR> | or shut the hell up xD |
| 2025-03-19 21:27:26 +0000 | <tomsmeding> | https://github.com/haskell/core-libraries-committee/issues/87 |
| 2025-03-19 21:28:41 +0000 | <tomsmeding> | I don't want `drop 1`, I want `tail`, because if the list is empty, something is seriously broken and I want to know about it |
| 2025-03-19 21:29:08 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Remote host closed the connection) |
| 2025-03-19 21:29:13 +0000 | <haskellbridge> | <Jade> what's hindering you from using "NonEmpty" |
| 2025-03-19 21:30:04 +0000 | <EvanR> | if you have a list you know is non-empty, then converting it to NonEmpty just so you can use head or tail won't help |
| 2025-03-19 21:30:15 +0000 | <EvanR> | since that conversion has an impossible case, just kicking the can down the road |
| 2025-03-19 21:30:21 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-19 21:30:23 +0000 | <tomsmeding> | Jade: I have a list and I want tail (scanr (*) 1 list), how do I use nonempty? |
| 2025-03-19 21:30:32 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-19 21:31:03 +0000 | <EvanR> | :t scanr1 |
| 2025-03-19 21:31:04 +0000 | <lambdabot> | (a -> a -> a) -> [a] -> [a] |
| 2025-03-19 21:31:09 +0000 | <EvanR> | hmm |
| 2025-03-19 21:31:15 +0000 | <tomsmeding> | if you're idealistic about totality (which is okay), it's scanr that you should tackle here |
| 2025-03-19 21:31:16 +0000 | <EvanR> | wrong direction |
| 2025-03-19 21:31:20 +0000 | <tomsmeding> | yep |
| 2025-03-19 21:31:44 +0000 | <tomsmeding> | this is sometimes called prescanr, but Data.List doesn't have it |
| 2025-03-19 21:32:02 +0000 | <EvanR> | scanr :: Foldable f => (a -> b -> b) -> b -> f a -> NonEmpty b |
| 2025-03-19 21:32:32 +0000 | <haskellbridge> | <Jade> "Data.List.NonEmpty" has "scanr :: Foldable f => (a -> b -> b) -> b -> f a -> NonEmpty b" |
| 2025-03-19 21:33:03 +0000 | <EvanR> | and then |
| 2025-03-19 21:33:06 +0000 | <tomsmeding> | ah! |
| 2025-03-19 21:33:07 +0000 | <EvanR> | tail :: NonEmpty a -> [a] |
| 2025-03-19 21:33:10 +0000 | <EvanR> | I guess |
| 2025-03-19 21:33:11 +0000 | <tomsmeding> | yep, nice |
| 2025-03-19 21:33:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 21:33:20 +0000 | <tomsmeding> | okay that works |
| 2025-03-19 21:34:10 +0000 | <EvanR> | the code for scanr internally does fromList |
| 2025-03-19 21:34:16 +0000 | <EvanR> | which crashes on an empty list xD |
| 2025-03-19 21:34:21 +0000 | <EvanR> | but I guess we don't need to know that |
| 2025-03-19 21:34:29 +0000 | <tomsmeding> | but it's encapsulated in a safe API, much of FP is like that |
| 2025-03-19 21:34:35 +0000 | <tomsmeding> | it's the premise of ST |
| 2025-03-19 21:34:59 +0000 | <EvanR> | I was hoping it would just write scanr without doing that |
| 2025-03-19 21:35:08 +0000 | <EvanR> | but performance |
| 2025-03-19 21:35:12 +0000 | <[exa]> | the tail&head warnings are not super useful for newbies tbh |
| 2025-03-19 21:35:28 +0000 | <tomsmeding> | if they aren't, then who _are_ they useful for |
| 2025-03-19 21:35:53 +0000 | <[exa]> | tomsmeding: the ox arrays look cool thanks |
| 2025-03-19 21:36:05 +0000 | <EvanR> | the API is safe because of an invisible proof about the implementation, but if it was written slightly different the proof would not be invisible |
| 2025-03-19 21:36:14 +0000 | <EvanR> | and would be checked by the compiler |
| 2025-03-19 21:36:47 +0000 | <tomsmeding> | perhaps people have rewrite RULES on Data.List.scanr and delegating to that preserves the RULES' effect? |
| 2025-03-19 21:37:12 +0000 | <EvanR> | it does look like a rewritable thing as is |
| 2025-03-19 21:37:28 +0000 | <EvanR> | unsafe stages in the processing are faster! |
| 2025-03-19 21:37:44 +0000 | <EvanR> | xD |
| 2025-03-19 21:38:49 +0000 | <tomsmeding> | INTERCAL vibes, except "unsafe" makes your code faster |
| 2025-03-19 21:39:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-19 21:43:50 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-19 21:49:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 21:50:11 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-19 21:50:38 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-03-19 21:52:28 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-03-19 21:52:52 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-19 21:53:02 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:c1b9:805:b7a6:91b1) (Read error: Connection reset by peer) |
| 2025-03-19 21:54:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-19 21:55:05 +0000 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
| 2025-03-19 21:55:42 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:28cb:4a01:fb92:fda0) |
| 2025-03-19 21:55:57 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-03-19 21:59:40 +0000 | tromp | (~textual@2a02:a210:cba:8500:f085:be23:3f4e:4a7a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-03-19 22:00:34 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-03-19 22:01:51 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2025-03-19 22:05:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 22:05:37 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-19 22:05:57 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 268 seconds) |
| 2025-03-19 22:10:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-19 22:11:16 +0000 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 2025-03-19 22:12:10 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 22:14:24 +0000 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2025-03-19 22:16:22 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-19 22:19:46 +0000 | visilii | (~visilii@85.94.26.83) |
| 2025-03-19 22:21:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 22:22:57 +0000 | visilii_ | (~visilii@85.172.77.105) (Ping timeout: 252 seconds) |
| 2025-03-19 22:25:30 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:28cb:4a01:fb92:fda0) (Remote host closed the connection) |
| 2025-03-19 22:25:52 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:28cb:4a01:fb92:fda0) |
| 2025-03-19 22:26:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-19 22:35:45 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-19 22:37:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 22:43:33 +0000 | prasad | (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) (Ping timeout: 248 seconds) |
| 2025-03-19 22:43:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-19 22:43:56 +0000 | euleritian | (~euleritia@95.90.214.149) (Read error: Connection reset by peer) |
| 2025-03-19 22:44:10 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-19 22:44:59 +0000 | euleritian | (~euleritia@dynamic-176-006-135-145.176.6.pool.telefonica.de) |
| 2025-03-19 22:45:31 +0000 | euleritian | (~euleritia@dynamic-176-006-135-145.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-19 22:45:46 +0000 | mange | (~user@user/mange) mange |
| 2025-03-19 22:46:25 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-03-19 22:46:25 +0000 | ljdarj1 | ljdarj |
| 2025-03-19 22:47:37 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-19 22:55:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 22:55:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-03-19 22:58:34 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 23:00:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-19 23:00:16 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2025-03-19 23:00:22 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Remote host closed the connection) |
| 2025-03-19 23:01:34 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-19 23:02:54 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-19 23:08:29 +0000 | kh0d | (~kh0d@212.200.247.168) (Remote host closed the connection) |
| 2025-03-19 23:11:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 23:12:04 +0000 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 2025-03-19 23:15:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-19 23:17:28 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-03-19 23:17:42 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-03-19 23:23:49 +0000 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-03-19 23:26:28 +0000 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2025-03-19 23:29:38 +0000 | <yin> | TIL i can specify package names in import statements |
| 2025-03-19 23:29:40 +0000 | malte | (~malte@mal.tc) malte |
| 2025-03-19 23:30:01 +0000 | <yin> | and that "this" is a reserved name |
| 2025-03-19 23:32:29 +0000 | <tomsmeding> | yin: is "this" a reserved name? Are you sure you did not end up in C++ accidentally? |
| 2025-03-19 23:34:19 +0000 | <int-e> | "The special package name this can be used to refer to the current package being built." |
| 2025-03-19 23:34:32 +0000 | <int-e> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/package_qualified_imports.html#pack… |
| 2025-03-19 23:34:53 +0000 | <tomsmeding> | ah, for packages -- TIL |
| 2025-03-19 23:34:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 23:36:52 +0000 | <yin> | i'm not sure of anything these days |
| 2025-03-19 23:38:30 +0000 | <int-e> | . o O ( I doubt, therefore I might be. ) |
| 2025-03-19 23:39:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-19 23:43:38 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-19 23:45:05 +0000 | <yin> | as the area of your knowledge grows, so does the perimeter with ignorance |
| 2025-03-19 23:46:35 +0000 | <EvanR> | with great power comes great I²R |
| 2025-03-19 23:47:30 +0000 | <int-e> | hmm drop the linearity and you might have a light bulb moment |
| 2025-03-19 23:48:06 +0000 | int-e | ohms and coughs ;-) |
| 2025-03-19 23:48:06 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-19 23:50:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-19 23:52:45 +0000 | <yin> | resistence is futile |
| 2025-03-19 23:55:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-19 23:56:26 +0000 | <yin> | we should stay grounded and avoid heated arguments |
| 2025-03-19 23:56:28 +0000 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-03-19 23:57:28 +0000 | euleritian | (~euleritia@dynamic-176-006-135-145.176.6.pool.telefonica.de) |