| 2025-04-12 00:02:07 +0200 | peterbecich1 | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-12 00:03:29 +0200 | <tomsmeding> | has there been a time when GHC.Generics did not produce balanced trees but instead a right- or left-leaning tree? |
| 2025-04-12 00:04:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-12 00:04:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-04-12 00:08:56 +0200 | peterbecich1 | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-12 00:11:52 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-04-12 00:12:17 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d08a:2428:1bec:2dd5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-12 00:12:52 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-04-12 00:15:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 00:21:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 00:22:25 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-04-12 00:25:14 +0200 | sayurc | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 2025-04-12 00:25:51 +0200 | <geekosaur> | now, aiui |
| 2025-04-12 00:26:06 +0200 | <geekosaur> | my understanding is that if you want balanced trees you want sop-generics |
| 2025-04-12 00:26:12 +0200 | <tomsmeding> | other way round |
| 2025-04-12 00:26:22 +0200 | <tomsmeding> | sop-generics produces a list of lists; GHC.Generics produces balanced trees |
| 2025-04-12 00:26:34 +0200 | <tomsmeding> | % :seti -XDeriveGeneric |
| 2025-04-12 00:26:34 +0200 | <yahb2> | <no output> |
| 2025-04-12 00:26:50 +0200 | <tomsmeding> | % data T = A | B | C | D | E | F deriving (Show, Generic) |
| 2025-04-12 00:26:50 +0200 | <yahb2> | <interactive>:61:48: error: [GHC-76037] ; Not in scope: type constructor or class ‘Generic’ |
| 2025-04-12 00:26:55 +0200 | <tomsmeding> | % import GHC.Generics |
| 2025-04-12 00:26:55 +0200 | <yahb2> | <no output> |
| 2025-04-12 00:26:57 +0200 | <tomsmeding> | % data T = A | B | C | D | E | F deriving (Show, Generic) |
| 2025-04-12 00:26:57 +0200 | <yahb2> | <no output> |
| 2025-04-12 00:27:05 +0200 | <tomsmeding> | % :k! Rep T () |
| 2025-04-12 00:27:05 +0200 | <yahb2> | Rep T () :: * ; = M1 ; D ; (MetaData "T" "Ghci13" "interactive" False) ; ((M1 C (MetaCons "A" PrefixI False) U1 ; :+: (M1 C (MetaCons "B" PrefixI False) U1 ; :+: M1 C (... |
| 2025-04-12 00:27:08 +0200 | <tomsmeding> | meh |
| 2025-04-12 00:27:26 +0200 | <tomsmeding> | %% :k! Rep T () |
| 2025-04-12 00:27:27 +0200 | <yahb2> | https://paste.tomsmeding.com/PlhqwSXT |
| 2025-04-12 00:28:07 +0200 | <tomsmeding> | (A + (B + C)) + (D + (E + F)) |
| 2025-04-12 00:28:51 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2025-04-12 00:28:54 +0200 | <tomsmeding> | geekosaur: the "sop" in sop-generics is "sum-of-products", where "sum" is used a contrastive to "plus", like `sum` vs (+) |
| 2025-04-12 00:31:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 00:35:14 +0200 | gawen | (~gawen@user/gawen) gawen |
| 2025-04-12 00:36:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-12 00:39:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-12 00:42:05 +0200 | <emojelly> | pipes is so, so, so much faster than coroutines... |
| 2025-04-12 00:42:19 +0200 | <EvanR> | pipes, haven't heard about that one for a minute |
| 2025-04-12 00:43:38 +0200 | <emojelly> | For my specific needs it seems quite fitting. |
| 2025-04-12 00:43:57 +0200 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2025-04-12 00:44:08 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-12 00:44:42 +0200 | <EvanR> | > p (const Z) N Err "(a b ? d e f)" |
| 2025-04-12 00:44:48 +0200 | <EvanR> | N [Z,Z,Err] |
| 2025-04-12 00:44:54 +0200 | <EvanR> | this is not great for reasons |
| 2025-04-12 00:45:13 +0200 | <EvanR> | though it is kind of lazy |
| 2025-04-12 00:47:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 00:50:33 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2025-04-12 00:53:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 00:56:24 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-04-12 00:56:46 +0200 | gawen | (~gawen@user/gawen) gawen |
| 2025-04-12 01:01:33 +0200 | <EvanR> | if you can get away with folding over tokens then clearly there is more laziness |
| 2025-04-12 01:03:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 01:06:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-12 01:08:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 01:09:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-12 01:11:33 +0200 | polyphem | (~rod@pd9fbfc2f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-12 01:16:55 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-12 01:20:05 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-12 01:23:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-04-12 01:23:07 +0200 | ljdarj1 | ljdarj |
| 2025-04-12 01:32:49 +0200 | prolic_ | (~sasa@181.122.135.9) prolic_ |
| 2025-04-12 01:37:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 01:41:18 +0200 | ft | (~ft@p508db594.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-04-12 01:41:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-12 01:42:29 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft |
| 2025-04-12 01:50:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 01:51:53 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-12 01:54:44 +0200 | sprotte24 | (~sprotte24@p200300d16f1c5b003c76b51cf90902ef.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-12 01:55:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-12 01:59:33 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-12 02:03:01 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f3781d551119ad8c4a9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-12 02:04:21 +0200 | jespada | (~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-04-12 02:08:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 02:13:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-12 02:22:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-04-12 02:23:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 02:25:52 +0200 | prolic_ | (~sasa@181.122.135.9) (Remote host closed the connection) |
| 2025-04-12 02:28:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-12 02:32:34 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-12 02:34:05 +0200 | califax | (~califax@user/califx) califx |
| 2025-04-12 02:39:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 02:44:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-12 02:52:12 +0200 | euleritian | (~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Remote host closed the connection) |
| 2025-04-12 02:53:04 +0200 | euleritian | (~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) |
| 2025-04-12 02:55:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 02:57:13 +0200 | otto_s | (~user@p5de2fd33.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-12 02:58:25 +0200 | otto_s | (~user@p4ff27f53.dip0.t-ipconnect.de) |
| 2025-04-12 03:01:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 03:11:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 03:16:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-12 03:27:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 03:27:12 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-04-12 03:32:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 03:42:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 03:47:39 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 2025-04-12 03:48:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 03:48:48 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-04-12 03:52:34 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) hgolden |
| 2025-04-12 03:57:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-12 03:58:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 04:00:24 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) (Remote host closed the connection) |
| 2025-04-12 04:03:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-12 04:14:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 04:15:22 +0200 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-04-12 04:15:56 +0200 | myxokephale | (~myxos@172.93.132.85) myxokephale |
| 2025-04-12 04:17:34 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-04-12 04:18:38 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-12 04:18:46 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-12 04:19:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-12 04:32:19 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-04-12 04:34:04 +0200 | myxokephale | (~myxos@172.93.132.85) (Ping timeout: 276 seconds) |
| 2025-04-12 04:40:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-04-12 04:45:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 04:46:29 +0200 | euleritian | (~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-12 04:47:22 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-04-12 04:50:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-12 04:54:37 +0200 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-04-12 04:59:06 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:a8ba:1089:2e3e:b3d1) (Read error: Connection reset by peer) |
| 2025-04-12 05:00:24 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) hgolden |
| 2025-04-12 05:00:52 +0200 | <haskellbridge> | <Liamzee> why doesn't this get passed around much these days? https://www.cs.rice.edu/~javaplt/411/24-spring/Readings/WhyFunctionalProrammingMattered.pdf |
| 2025-04-12 05:01:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 05:03:22 +0200 | <geekosaur> | nobody wants to hear it |
| 2025-04-12 05:06:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 05:10:40 +0200 | dottily | (~user@user/dottily) dottily |
| 2025-04-12 05:15:46 +0200 | <EvanR> | and the filename was misspelled |
| 2025-04-12 05:16:46 +0200 | <haskellbridge> | <Liamzee> the link's mistitled |
| 2025-04-12 05:16:47 +0200 | <haskellbridge> | <Liamzee> https://academic.oup.com/nsr/article/2/3/349/1427872 |
| 2025-04-12 05:17:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 05:17:39 +0200 | <haskellbridge> | <Liamzee> Since it's more John Hughes' student alongside John Hughes seemingly running an update to Why Functional Programming Matters |
| 2025-04-12 05:18:44 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-04-12 05:18:49 +0200 | <haskellbridge> | <Liamzee> Well, not really. I guess the title just sucks, otherwise it'd probably be passed around more. |
| 2025-04-12 05:19:51 +0200 | <EvanR> | promoting stuff, even good stuff, gets tiring |
| 2025-04-12 05:20:00 +0200 | <EvanR> | especially if you're not paid to do it |
| 2025-04-12 05:22:20 +0200 | <haskellbridge> | <Liamzee> I mean in reference to the fact that I see the original Why Functional Programming Matters paper around more. But w/e, not here to annoy. |
| 2025-04-12 05:22:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-12 05:23:07 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-04-12 05:25:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-12 05:33:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 05:35:28 +0200 | ludihan | (~ludihan@189.36.207.182) |
| 2025-04-12 05:38:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 05:44:55 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-04-12 05:45:57 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-04-12 05:46:44 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd3:8d00:395c:e354:5e4c:23ac) aforemny |
| 2025-04-12 05:46:59 +0200 | aforemny | (~aforemny@2001:9e8:6cf4:300:5306:52f:8502:4ee0) (Ping timeout: 260 seconds) |
| 2025-04-12 05:49:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 05:53:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-12 05:58:16 +0200 | ludihan | (~ludihan@189.36.207.182) (Quit: ludihan) |
| 2025-04-12 06:03:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-04-12 06:04:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 06:10:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 06:12:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 06:16:07 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 276 seconds) |
| 2025-04-12 06:17:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-12 06:28:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 06:33:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-12 06:35:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-12 06:39:08 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-04-12 06:39:46 +0200 | euleritian | (~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) |
| 2025-04-12 06:42:45 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-04-12 06:43:55 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-12 06:44:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 06:49:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-12 06:59:07 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) |
| 2025-04-12 06:59:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 07:04:17 +0200 | inca | (~inca@71.30.233.213) |
| 2025-04-12 07:04:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 07:09:32 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 268 seconds) |
| 2025-04-12 07:15:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 07:20:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-12 07:22:41 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
| 2025-04-12 07:23:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 07:28:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-12 07:29:28 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 244 seconds) |
| 2025-04-12 07:37:55 +0200 | euleritian | (~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-12 07:38:13 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-04-12 07:39:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 07:44:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-12 07:51:01 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-04-12 07:51:20 +0200 | euleritian | (~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) |
| 2025-04-12 07:52:46 +0200 | euleritian | (~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-12 07:52:50 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) (Remote host closed the connection) |
| 2025-04-12 07:53:04 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-04-12 07:55:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-04-12 07:55:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 07:59:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-12 08:10:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 08:18:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-12 08:29:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 08:33:54 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) hgolden |
| 2025-04-12 08:34:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 08:35:15 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1) |
| 2025-04-12 08:45:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 08:47:34 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-04-12 08:48:24 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2025-04-12 08:50:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 08:52:23 +0200 | rvalue- | rvalue |
| 2025-04-12 08:59:08 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f37896c69e30b3a7fdf.dip0.t-ipconnect.de) acidjnk |
| 2025-04-12 08:59:21 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-12 08:59:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-12 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-12 09:00:16 +0200 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2025-04-12 09:00:33 +0200 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-04-12 09:00:48 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-04-12 09:00:53 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-12 09:01:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 09:03:02 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-04-12 09:04:53 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-12 09:06:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 09:06:48 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-04-12 09:09:39 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-12 09:13:42 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-12 09:14:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 09:18:10 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
| 2025-04-12 09:18:19 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-12 09:19:00 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-04-12 09:19:04 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-04-12 09:19:27 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-04-12 09:19:42 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-04-12 09:19:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-12 09:30:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 09:34:23 +0200 | sayurc | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 2025-04-12 09:35:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 09:38:55 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f37896c69e30b3a7fdf.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-12 09:46:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 09:50:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-12 09:52:15 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-04-12 10:01:00 +0200 | fp1 | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-04-12 10:01:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 10:06:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 10:11:30 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-12 10:11:31 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-04-12 10:15:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 10:21:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 10:21:56 +0200 | emojelly | (~eselber_p@user/endojelly) (Ping timeout: 268 seconds) |
| 2025-04-12 10:31:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 10:31:57 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-12 10:34:28 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2025-04-12 10:36:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-12 10:44:04 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-04-12 10:44:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-04-12 10:47:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 10:49:12 +0200 | fp1 | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 244 seconds) |
| 2025-04-12 10:49:26 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-04-12 10:53:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 10:56:20 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f12896c69e30b3a7fdf.dip0.t-ipconnect.de) acidjnk |
| 2025-04-12 11:03:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 11:10:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-12 11:15:06 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-04-12 11:16:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 11:19:14 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-04-12 11:21:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-12 11:32:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 11:35:24 +0200 | raym | (~ray@user/raym) (Quit: kernel update, rebooting...) |
| 2025-04-12 11:37:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 11:39:34 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-12 11:45:45 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 276 seconds) |
| 2025-04-12 11:46:10 +0200 | jco | (~jco@78-70-217-44-no600.tbcn.telia.com) jco |
| 2025-04-12 11:48:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 11:53:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 11:56:42 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-04-12 12:00:16 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-04-12 12:01:44 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-04-12 12:04:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 12:08:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-12 12:13:07 +0200 | <haskellbridge> | <hellwolf> FP matters to whom it might concern. |
| 2025-04-12 12:13:24 +0200 | <haskellbridge> | <hellwolf> Though, it seems no longer a concern to the vibe coding generation. |
| 2025-04-12 12:14:05 +0200 | <haskellbridge> | <thirdofmay18081814goya> is there a package out there that has all the stuff in the datatypes a la carte paper already written out for us? |
| 2025-04-12 12:14:31 +0200 | <haskellbridge> | <thirdofmay18081814goya> the subsignature class and instances mostly |
| 2025-04-12 12:15:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-04-12 12:17:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 12:19:08 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-04-12 12:19:48 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-12 12:21:00 +0200 | [dpk] | (~dpk@jains.nonceword.org) |
| 2025-04-12 12:21:49 +0200 | euleritian | (~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de) |
| 2025-04-12 12:21:50 +0200 | dpk | (~dpk@jains.nonceword.org) (Ping timeout: 252 seconds) |
| 2025-04-12 12:21:54 +0200 | astroanax | (~astroanax@cosmic.voyage) (Ping timeout: 252 seconds) |
| 2025-04-12 12:22:13 +0200 | euleritian | (~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-12 12:22:16 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-04-12 12:22:19 +0200 | astroanax | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) |
| 2025-04-12 12:22:31 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-04-12 12:22:38 +0200 | ski | (~ski@remote11.chalmers.se) (Ping timeout: 252 seconds) |
| 2025-04-12 12:22:40 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-04-12 12:22:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-12 12:22:52 +0200 | ski | (~ski@remote11.chalmers.se) |
| 2025-04-12 12:24:42 +0200 | carburetant | (~dottily@user/dottily) dottily |
| 2025-04-12 12:25:02 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-04-12 12:28:26 +0200 | [dpk] | dpk |
| 2025-04-12 12:29:29 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-04-12 12:33:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 12:38:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 12:42:53 +0200 | sprotte24 | (~sprotte24@p200300d16f06d10029108a248c300455.dip0.t-ipconnect.de) |
| 2025-04-12 12:49:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 12:51:58 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-04-12 12:52:12 +0200 | euleritian | (~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de) |
| 2025-04-12 12:54:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 13:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-12 13:00:37 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
| 2025-04-12 13:02:11 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-12 13:02:11 +0200 | jespada | (~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-12 13:04:41 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-04-12 13:05:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 13:10:06 +0200 | inca | (~inca@71.30.233.213) |
| 2025-04-12 13:10:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-12 13:13:08 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-12 13:14:48 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 252 seconds) |
| 2025-04-12 13:18:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 13:23:32 +0200 | <hellwolf> | I crashed GHC again, having done that too often lately. |
| 2025-04-12 13:23:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 13:25:13 +0200 | <tomsmeding> | worth reporting the crash? |
| 2025-04-12 13:25:27 +0200 | sprotte24 | (~sprotte24@p200300d16f06d10029108a248c300455.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-12 13:25:41 +0200 | <hellwolf> | need to check if it was due to my fault. But I don't think I used unsafe feature here. |
| 2025-04-12 13:25:57 +0200 | <tomsmeding> | using things like unsafePerformIO should not crash _GHC_, typically |
| 2025-04-12 13:26:14 +0200 | <tomsmeding> | though I have made GHC emit invalid assembly at some point with unsafeCoerce# |
| 2025-04-12 13:26:26 +0200 | <hellwolf> | yea, but I haven't even used that. I did use Overlappable |
| 2025-04-12 13:26:41 +0200 | <tomsmeding> | that should _definitely_ not crash GHC |
| 2025-04-12 13:26:59 +0200 | <tomsmeding> | what's the crash report? |
| 2025-04-12 13:27:35 +0200 | <hellwolf> | segfault :D |
| 2025-04-12 13:27:47 +0200 | <hellwolf> | oh, not GHC crashing, the runtime rather. I am sorry. |
| 2025-04-12 13:27:51 +0200 | <tomsmeding> | oh. |
| 2025-04-12 13:28:17 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-04-12 13:28:22 +0200 | <tomsmeding> | still, a haskell program segfaulting should only happen if you used some C code via FFI |
| 2025-04-12 13:28:30 +0200 | <tomsmeding> | or unsafeCoerce |
| 2025-04-12 13:28:48 +0200 | <tomsmeding> | overlappable type class instances should not be bad enough for that |
| 2025-04-12 13:28:51 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-04-12 13:31:27 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-04-12 13:34:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 13:39:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-12 13:40:53 +0200 | <hellwolf> | it was my fault. I do have one place with unsafeCoerce. |
| 2025-04-12 13:41:00 +0200 | <hellwolf> | very subtle. |
| 2025-04-12 13:44:09 +0200 | <tomsmeding> | nice :) |
| 2025-04-12 13:48:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-12 13:57:12 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-12 14:03:34 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds) |
| 2025-04-12 14:05:27 +0200 | <hellwolf> | no, I don't have such a unsafeCoerce. I am confused. |
| 2025-04-12 14:05:36 +0200 | <hellwolf> | something is fishy... I will investigate more. |
| 2025-04-12 14:05:45 +0200 | <hellwolf> | could be interesting. |
| 2025-04-12 14:06:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 14:07:47 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-12 14:08:14 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-12 14:09:24 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-12 14:13:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 14:14:50 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 2025-04-12 14:18:48 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-12 14:19:09 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-12 14:19:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 14:24:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 14:34:38 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2025-04-12 14:34:40 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f12896c69e30b3a7fdf.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-12 14:35:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 14:40:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-12 14:51:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 14:56:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 15:07:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 15:07:27 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-12 15:09:07 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-12 15:09:13 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f12896c69e30b3a7fdf.dip0.t-ipconnect.de) acidjnk |
| 2025-04-12 15:10:42 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-12 15:11:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-12 15:11:56 +0200 | catties | Catty |
| 2025-04-12 15:15:42 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 276 seconds) |
| 2025-04-12 15:20:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 15:23:05 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-04-12 15:23:28 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-12 15:24:24 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-12 15:25:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 15:29:57 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-04-12 15:32:44 +0200 | jco | (~jco@78-70-217-44-no600.tbcn.telia.com) (Remote host closed the connection) |
| 2025-04-12 15:36:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 15:44:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 15:47:42 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-04-12 15:51:41 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:9c0e:3384:b3dd:3798) |
| 2025-04-12 15:53:06 +0200 | jespada | (~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-04-12 15:54:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 15:55:57 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-04-12 15:56:23 +0200 | divya | (divya@140.238.251.170) (Ping timeout: 252 seconds) |
| 2025-04-12 15:58:11 +0200 | jespada | (~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-12 15:59:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-12 16:02:14 +0200 | divya | (divya@140.238.251.170) divya |
| 2025-04-12 16:04:37 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f12896c69e30b3a7fdf.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-12 16:09:45 +0200 | michals | (~michals@dynamic-2a00-1028-838a-582e-1fea-709e-7606-44f4.ipv6.o2.cz) laxmik |
| 2025-04-12 16:10:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 16:10:30 +0200 | michals | (~michals@dynamic-2a00-1028-838a-582e-1fea-709e-7606-44f4.ipv6.o2.cz) (Client Quit) |
| 2025-04-12 16:15:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-12 16:18:36 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-12 16:18:50 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-04-12 16:21:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 16:27:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 16:37:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 16:42:36 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-04-12 16:42:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 16:51:31 +0200 | <feetwind> | you can get segfaults with lots of functions that are tantalisingly close at hand, like unsafeIndex from array/vector |
| 2025-04-12 16:51:49 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2025-04-12 16:53:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 16:54:57 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f1254b4b0d3bf20cc26.dip0.t-ipconnect.de) acidjnk |
| 2025-04-12 16:58:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 17:05:28 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 276 seconds) |
| 2025-04-12 17:09:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 17:12:11 +0200 | xdej | (~xdej@quatramaran.salle-s.org) (Remote host closed the connection) |
| 2025-04-12 17:14:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 17:22:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 17:29:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 17:31:38 +0200 | tabemann_ | tabemann |
| 2025-04-12 17:32:05 +0200 | mulk | (~mulk@pd95149c0.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-12 17:41:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 17:46:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 17:47:11 +0200 | tired | (~tired@user/tired) (Remote host closed the connection) |
| 2025-04-12 17:48:26 +0200 | tired | (~tired@user/tired) tired |
| 2025-04-12 17:55:31 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-12 17:56:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 17:57:01 +0200 | tired | (~tired@user/tired) (Remote host closed the connection) |
| 2025-04-12 17:58:14 +0200 | tired | (~tired@user/tired) tired |
| 2025-04-12 18:01:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-12 18:03:22 +0200 | sprotte24 | (~sprotte24@p200300d16f06d10029108a248c300455.dip0.t-ipconnect.de) |
| 2025-04-12 18:12:22 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-04-12 18:12:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 18:17:32 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-04-12 18:17:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 18:23:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 18:23:59 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-04-12 18:25:36 +0200 | tired | (~tired@user/tired) (Quit: /) |
| 2025-04-12 18:28:29 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-04-12 18:28:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 18:30:52 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.0) |
| 2025-04-12 18:31:10 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-12 18:36:32 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f1254b4b0d3bf20cc26.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-04-12 18:37:55 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-04-12 18:38:38 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-12 18:39:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 18:42:17 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-12 18:43:09 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-04-12 18:43:24 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-04-12 18:44:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 18:55:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 19:00:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-12 19:08:13 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-12 19:10:16 +0200 | jespada | (~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
| 2025-04-12 19:10:32 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-12 19:10:40 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-04-12 19:11:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 19:15:37 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.6.0) |
| 2025-04-12 19:18:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-12 19:24:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 19:25:14 +0200 | mulk | (~mulk@pd95149c0.dip0.t-ipconnect.de) mulk |
| 2025-04-12 19:25:52 +0200 | euleritian | (~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-12 19:26:21 +0200 | euleritian | (~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de) |
| 2025-04-12 19:27:10 +0200 | jespada | (~jespada@r190-133-42-141.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-12 19:29:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 19:37:00 +0200 | ludihan | (~ludihan@189.36.207.182) |
| 2025-04-12 19:37:17 +0200 | <hellwolf> | "ErrorWithoutFlag Can't find interface-file declaration for type constructor or class" |
| 2025-04-12 19:37:30 +0200 | <hellwolf> | I isolated to a very small changeset: this is the run-time error I got. |
| 2025-04-12 19:38:08 +0200 | <hellwolf> | but nevermind, I rebuilt everything, it is now okay. |
| 2025-04-12 19:39:44 +0200 | <hellwolf> | I have some customized built process to speed up things, using packagedb built by cabal; I do notice sometimes I create issues with it, but usually as linker errors. This time is worse, it linked, but runtime failed. |
| 2025-04-12 19:40:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 19:40:43 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-12 19:42:22 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) (Remote host closed the connection) |
| 2025-04-12 19:45:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-12 19:46:08 +0200 | pera | (~pera@user/pera) pera |
| 2025-04-12 19:46:16 +0200 | pera | (~pera@user/pera) (Client Quit) |
| 2025-04-12 19:55:20 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-04-12 19:56:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 19:58:41 +0200 | tired | (~tired@user/tired) tired |
| 2025-04-12 19:58:56 +0200 | Square2 | Square |
| 2025-04-12 20:01:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 20:02:01 +0200 | ludihan | (~ludihan@189.36.207.182) (Quit: ludihan) |
| 2025-04-12 20:12:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 20:17:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-12 20:18:15 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-12 20:25:16 +0200 | enjoythem | (~userx@180.242.71.235) |
| 2025-04-12 20:25:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 20:25:54 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-04-12 20:28:59 +0200 | jespada | (~jespada@r190-133-42-141.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 2025-04-12 20:29:28 +0200 | enjoythem | (~userx@180.242.71.235) (Quit: WeeChat 3.5) |
| 2025-04-12 20:30:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-12 20:30:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 20:34:15 +0200 | kanijo27 | (~kanijo27@208.115.237.186) |
| 2025-04-12 20:34:49 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-04-12 20:35:44 +0200 | kanijo27 | (~kanijo27@208.115.237.186) (Client Quit) |
| 2025-04-12 20:41:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 20:48:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 20:51:06 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-12 20:54:00 +0200 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2025-04-12 20:59:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 21:00:05 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-12 21:00:37 +0200 | aforemny | (~aforemny@2001:9e8:6cd9:c500:3214:96fc:c5d9:25f4) aforemny |
| 2025-04-12 21:00:46 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd3:8d00:395c:e354:5e4c:23ac) (Ping timeout: 276 seconds) |
| 2025-04-12 21:00:48 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-12 21:01:07 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f1280c5cc93734c0928.dip0.t-ipconnect.de) |
| 2025-04-12 21:02:07 +0200 | inca | (~inca@71.30.233.213) |
| 2025-04-12 21:04:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 21:11:49 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 248 seconds) |
| 2025-04-12 21:14:14 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-12 21:15:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 21:19:48 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 2025-04-12 21:20:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 21:26:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 21:26:47 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-04-12 21:31:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-12 21:31:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-12 21:34:13 +0200 | aforemny | (~aforemny@2001:9e8:6cd9:c500:3214:96fc:c5d9:25f4) (Ping timeout: 248 seconds) |
| 2025-04-12 21:35:26 +0200 | aforemny | (~aforemny@2001:9e8:6cd9:f900:ab6f:ff57:4715:5eec) aforemny |
| 2025-04-12 21:36:40 +0200 | tromp | (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) |
| 2025-04-12 21:39:13 +0200 | inca | (~inca@71.30.233.213) |
| 2025-04-12 21:42:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 21:45:16 +0200 | euleritian | (~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-12 21:45:35 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-04-12 21:47:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-12 21:50:45 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-12 21:59:01 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-12 22:10:18 +0200 | tromp | (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-12 22:11:50 +0200 | AlexZenon | (~alzenon@178.34.160.239) (Ping timeout: 265 seconds) |
| 2025-04-12 22:12:03 +0200 | AlexNoo | (~AlexNoo@178.34.160.239) (Ping timeout: 245 seconds) |
| 2025-04-12 22:12:19 +0200 | AlexNoo | (~AlexNoo@94.233.240.249) |
| 2025-04-12 22:13:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 22:16:05 +0200 | AlexZenon | (~alzenon@94.233.240.249) |
| 2025-04-12 22:18:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-12 22:20:47 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 2025-04-12 22:28:02 +0200 | inca | (~inca@71.30.233.213) |
| 2025-04-12 22:29:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 22:29:38 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-04-12 22:30:30 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-04-12 22:30:48 +0200 | sayurc_ | (~sayurc@177.136.41.195) sayurc |
| 2025-04-12 22:31:31 +0200 | raym | (~ray@user/raym) raym |
| 2025-04-12 22:32:08 +0200 | sayurc | (~sayurc@169.150.203.34) (Ping timeout: 272 seconds) |
| 2025-04-12 22:32:48 +0200 | raym | (~ray@user/raym) (Read error: Connection reset by peer) |
| 2025-04-12 22:32:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) |
| 2025-04-12 22:33:44 +0200 | Square2 | (~Square4@user/square) Square |
| 2025-04-12 22:34:36 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-04-12 22:36:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-12 22:36:46 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-12 22:36:58 +0200 | Square | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2025-04-12 22:38:09 +0200 | raym | (~ray@user/raym) raym |
| 2025-04-12 22:38:55 +0200 | Square2 | Square |
| 2025-04-12 22:47:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 22:51:22 +0200 | tromp | (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-12 22:52:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-12 22:54:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) |
| 2025-04-12 22:56:06 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) hgolden |
| 2025-04-12 22:59:32 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-04-12 23:02:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 23:05:27 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-12 23:05:53 +0200 | tromp | (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-12 23:06:36 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2025-04-12 23:07:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 23:14:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) |
| 2025-04-12 23:18:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 23:18:44 +0200 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: OftenFaded) |
| 2025-04-12 23:19:21 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-12 23:21:00 +0200 | <[exa]> | Is there any good way to have multiple independent "groups" of options parsed by optparse-applicative? I'd love to have something that allows people to specify a group of hostnames with some optional extras (non-default ports etc). |
| 2025-04-12 23:22:56 +0200 | <[exa]> | E.g. for a commandline like `./myprogram hostname1 -p 12345 hostname2 hostname3 hostname4 --do-this` I'd get something like this in pseudohaskell: [(hostname1, port=12345), (hostname2), (hostname3), (hostname4, this=True)] |
| 2025-04-12 23:23:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 23:24:50 +0200 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 2025-04-12 23:26:33 +0200 | <[exa]> | (whew, kinda wondering if `many . subparser` would just work) |
| 2025-04-12 23:27:38 +0200 | ludihan | (~ludihan@189.36.207.182) |
| 2025-04-12 23:32:01 +0200 | inca | (~inca@71.30.233.213) |
| 2025-04-12 23:32:30 +0200 | <[exa]> | ok wow it works literally by type tetris, thanks for rubberducking everyone |
| 2025-04-12 23:34:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 23:35:14 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-12 23:36:59 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-04-12 23:38:28 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-04-12 23:39:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 23:40:47 +0200 | <monochrom> | That's an interesting trick. |
| 2025-04-12 23:47:44 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-04-12 23:49:55 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2025-04-12 23:49:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-12 23:55:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-12 23:57:21 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |