| 2024-05-02 00:02:48 +0200 | talismanick | (~user@2601:644:937c:ed10:536b:7670:fffc:851a) |
| 2024-05-02 00:12:29 +0200 | waldo | (~waldo@user/waldo) |
| 2024-05-02 00:14:52 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 268 seconds) |
| 2024-05-02 00:17:02 +0200 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 2024-05-02 00:17:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-02 00:19:10 +0200 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2024-05-02 00:21:16 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-02 00:22:40 +0200 | off^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-05-02 00:22:44 +0200 | leah2 | (~leah@vuxu.org) |
| 2024-05-02 00:25:20 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-05-02 00:31:05 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:7613:7f5a:3f36:628c) |
| 2024-05-02 00:31:31 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: vnskdjkd) |
| 2024-05-02 00:35:51 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 255 seconds) |
| 2024-05-02 00:37:50 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-05-02 00:38:38 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-02 00:43:40 +0200 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2024-05-02 00:44:48 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds) |
| 2024-05-02 00:46:14 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 01:03:48 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-02 01:06:17 +0200 | sprout | (~quassel@84-80-106-227.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2024-05-02 01:08:30 +0200 | waldo | (~waldo@user/waldo) (Quit: waldo) |
| 2024-05-02 01:17:53 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
| 2024-05-02 01:22:11 +0200 | aforemny_ | (~aforemny@i59F516D1.versanet.de) |
| 2024-05-02 01:22:59 +0200 | aforemny | (~aforemny@2001:9e8:6cea:d00:aab5:d1b:ca3e:df36) (Ping timeout: 260 seconds) |
| 2024-05-02 01:24:30 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 245 seconds) |
| 2024-05-02 01:25:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-02 01:33:17 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Ping timeout: 272 seconds) |
| 2024-05-02 01:34:30 +0200 | as_ | (~as@2800:a4:2f2:ee00:2a7d:f1f0:f562:40ce) |
| 2024-05-02 01:39:40 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-02 01:45:31 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 268 seconds) |
| 2024-05-02 01:48:11 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
| 2024-05-02 01:54:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-02 02:03:05 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-05-02 02:04:50 +0200 | yin | (~yin@user/zero) |
| 2024-05-02 02:17:00 +0200 | waldo | (~waldo@user/waldo) |
| 2024-05-02 02:24:14 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-02 02:26:35 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 245 seconds) |
| 2024-05-02 02:29:00 +0200 | k`` | (~k``@136.54.34.25) |
| 2024-05-02 02:29:43 +0200 | yin | (~yin@user/zero) (Ping timeout: 255 seconds) |
| 2024-05-02 02:38:46 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-02 02:42:02 +0200 | waldo | (~waldo@user/waldo) (Quit: waldo) |
| 2024-05-02 02:43:15 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2024-05-02 02:46:35 +0200 | lockna | (~lockna@2a01:4f8:10b:14f1::2) (Ping timeout: 245 seconds) |
| 2024-05-02 02:47:27 +0200 | lockna | (~lockna@2a01:4f8:10b:14f1::2) |
| 2024-05-02 03:03:51 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2024-05-02 03:10:32 +0200 | haskellbridge | (~haskellbr@69.135.3.34) (Remote host closed the connection) |
| 2024-05-02 03:12:45 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
| 2024-05-02 03:12:45 +0200 | ChanServ | +v haskellbridge |
| 2024-05-02 03:13:38 +0200 | k`` | (~k``@136.54.34.25) (Ping timeout: 250 seconds) |
| 2024-05-02 03:13:59 +0200 | causal | (~eric@50.35.88.207) |
| 2024-05-02 03:22:31 +0200 | Axma88620 | (~Axman6@user/axman6) |
| 2024-05-02 03:22:52 +0200 | Axma43234 | (~Axman6@user/axman6) |
| 2024-05-02 03:24:36 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 244 seconds) |
| 2024-05-02 03:25:07 +0200 | Axma89310 | (~Axman6@user/axman6) (Ping timeout: 244 seconds) |
| 2024-05-02 03:26:39 +0200 | otto_s | (~user@p4ff27c65.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-05-02 03:27:52 +0200 | otto_s | (~user@p5b04466a.dip0.t-ipconnect.de) |
| 2024-05-02 03:38:22 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-05-02 03:48:55 +0200 | <haskellbridge> | <sm> gitlab search: unusable by me... |
| 2024-05-02 03:53:11 +0200 | <geekosaur> | or anyone else, from what I've heard |
| 2024-05-02 04:03:27 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-02 04:03:46 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-05-02 04:09:36 +0200 | <monochrom> | tomsmeding: I don't teach existential types. I just teach Haskell 2010; even then maybe only a basic subset. |
| 2024-05-02 04:11:21 +0200 | <monochrom> | I think I can summarize what I cover as Hindley-Milner plus single-param type classes up to classes of * -> * kinds so I can cover Foldable. |
| 2024-05-02 04:14:22 +0200 | tabemann_ | (~tabemann@2600:1700:7990:24e0:24f2:d535:ef6d:1b9a) |
| 2024-05-02 04:15:34 +0200 | ell | (~ellie@user/ellie) |
| 2024-05-02 04:15:45 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2024-05-02 04:24:12 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-05-02 04:24:16 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2024-05-02 04:24:29 +0200 | Axma88620 | (~Axman6@user/axman6) (Ping timeout: 258 seconds) |
| 2024-05-02 04:24:52 +0200 | Axma43234 | (~Axman6@user/axman6) (Ping timeout: 258 seconds) |
| 2024-05-02 04:24:56 +0200 | Axma84850 | (~Axman6@user/axman6) |
| 2024-05-02 04:27:01 +0200 | td_ | (~td@i53870927.versanet.de) (Ping timeout: 256 seconds) |
| 2024-05-02 04:27:26 +0200 | <bsima> | is there a way to tell ghc or haddock to error if a function or type isn't documented? |
| 2024-05-02 04:28:29 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-05-02 04:28:29 +0200 | td_ | (~td@i5387093e.versanet.de) |
| 2024-05-02 04:30:46 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-05-02 04:39:18 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-05-02 04:42:21 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-02 05:00:55 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:7613:7f5a:3f36:628c) (Quit: Leaving) |
| 2024-05-02 05:08:15 +0200 | bgt32 | (~keutoi@223.184.79.113) |
| 2024-05-02 05:12:10 +0200 | <bgt32> | I'm getting a 'Non type-variable argument in the constraint: MArray (STUArray s) a (ST s)' error, but only in older version of haskell ~ 8.10.1. This isn't happening in 9.2.8. Any idea why? |
| 2024-05-02 05:14:53 +0200 | <monochrom> | haddock reports how many things are undocumented, but I don't know how to make it an error. |
| 2024-05-02 05:15:59 +0200 | rdcdr_ | (~rdcdr@75-172-82-76.tukw.qwest.net) |
| 2024-05-02 05:16:10 +0200 | rdcdr | (~rdcdr@user/rdcdr) (Ping timeout: 245 seconds) |
| 2024-05-02 05:17:16 +0200 | <monochrom> | New GHCs default to implicit {-# language GHC2021 #-} which implies FlexibleContexts allowing those constraints. |
| 2024-05-02 05:18:19 +0200 | <c_wraith> | bgt32: in addition to monochrom's answer, see https://downloads.haskell.org/ghc/9.8.2/docs/users_guide/exts/flexible_contexts.html |
| 2024-05-02 05:18:24 +0200 | <bgt32> | monochrom: thank you |
| 2024-05-02 05:18:59 +0200 | <c_wraith> | bgt32: the GHC2021 thing is a link, which gives a list of all the things on by default now |
| 2024-05-02 05:21:50 +0200 | <bgt32> | Wow, many changes. I should have suspected something when tuplesections worked without the extension enabled. |
| 2024-05-02 05:22:08 +0200 | off^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-05-02 05:22:30 +0200 | <monochrom> | :) That's also one of them. |
| 2024-05-02 05:25:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-05-02 05:26:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-02 05:39:51 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-05-02 05:40:29 +0200 | Pixi` | Pixi |
| 2024-05-02 05:58:01 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-05-02 05:58:53 +0200 | aforemny | (~aforemny@2001:9e8:6cd3:1d00:230b:c373:dfe7:68c3) |
| 2024-05-02 05:59:10 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2024-05-02 05:59:56 +0200 | aforemny_ | (~aforemny@i59F516D1.versanet.de) (Ping timeout: 260 seconds) |
| 2024-05-02 06:01:27 +0200 | tomku | (~tomku@user/tomku) |
| 2024-05-02 06:02:08 +0200 | tomku|two | (~tomku@user/tomku) (Ping timeout: 256 seconds) |
| 2024-05-02 06:06:26 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-05-02 06:06:57 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-02 06:16:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-02 06:16:38 +0200 | Axma84850 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-05-02 06:17:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-02 06:26:10 +0200 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-05-02 06:39:19 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-02 06:44:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-05-02 06:44:44 +0200 | as__ | (~as@2800:a4:2c7:9600:4168:6667:410d:d0ba) |
| 2024-05-02 06:47:01 +0200 | tabemann_ | (~tabemann@2600:1700:7990:24e0:24f2:d535:ef6d:1b9a) (Remote host closed the connection) |
| 2024-05-02 06:47:07 +0200 | as_ | (~as@2800:a4:2f2:ee00:2a7d:f1f0:f562:40ce) (Ping timeout: 255 seconds) |
| 2024-05-02 06:47:19 +0200 | tabemann_ | (~tabemann@2600:1700:7990:24e0:1855:3a30:76c0:62ca) |
| 2024-05-02 06:58:02 +0200 | tabemann_ | (~tabemann@2600:1700:7990:24e0:1855:3a30:76c0:62ca) (Remote host closed the connection) |
| 2024-05-02 06:58:19 +0200 | tabemann_ | (~tabemann@2600:1700:7990:24e0:f2fd:c0bd:8a82:7af3) |
| 2024-05-02 07:07:41 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 272 seconds) |
| 2024-05-02 07:09:53 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds) |
| 2024-05-02 07:11:58 +0200 | michalz | (~michalz@185.246.207.205) |
| 2024-05-02 07:12:36 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 07:13:42 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-02 07:14:07 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 07:16:53 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-02 07:17:31 +0200 | tabemann_ | (~tabemann@2600:1700:7990:24e0:f2fd:c0bd:8a82:7af3) (Remote host closed the connection) |
| 2024-05-02 07:17:34 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 07:17:43 +0200 | tabemann_ | (~tabemann@2600:1700:7990:24e0:ee7e:48a3:1361:6ba6) |
| 2024-05-02 07:18:36 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-02 07:21:30 +0200 | img | (~img@user/img) |
| 2024-05-02 07:28:03 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-05-02 07:29:21 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-02 07:30:01 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-02 07:33:56 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-05-02 07:34:23 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-02 07:34:54 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-02 07:37:17 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2024-05-02 07:37:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-05-02 07:38:26 +0200 | euleritian | (~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de) |
| 2024-05-02 07:50:57 +0200 | talismanick | (~user@2601:644:937c:ed10:536b:7670:fffc:851a) (Read error: Connection reset by peer) |
| 2024-05-02 07:56:01 +0200 | bilegeek | (~bilegeek@2600:1008:b09c:cc45:af3c:c61e:6890:be8f) |
| 2024-05-02 08:05:00 +0200 | acidjnk | (~acidjnk@p200300d6e714dc31f1fc423ebb03a89f.dip0.t-ipconnect.de) |
| 2024-05-02 08:12:45 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-05-02 08:17:33 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2024-05-02 08:17:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-02 08:18:14 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-05-02 08:28:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-02 08:42:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-02 08:45:25 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 256 seconds) |
| 2024-05-02 08:51:20 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-02 08:52:51 +0200 | euleritian | (~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-02 08:53:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-02 08:54:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-02 08:55:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-02 09:02:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-05-02 09:02:19 +0200 | euleritian | (~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de) |
| 2024-05-02 09:06:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-02 09:06:16 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-05-02 09:11:42 +0200 | euleritian | (~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-02 09:11:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-02 09:16:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-05-02 09:16:34 +0200 | euleritian | (~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de) |
| 2024-05-02 09:21:07 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-05-02 09:21:32 +0200 | danse-nr3 | (~danse-nr3@151.43.230.153) |
| 2024-05-02 09:22:28 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds) |
| 2024-05-02 09:22:42 +0200 | euleritian | (~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-02 09:22:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-02 09:24:09 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 09:26:15 +0200 | <tomsmeding> | monochrom: sounds good! How often do you think "if only I had a compiler that supported just Haskell2010 and gave error messages that don't jump outside that fragment"? |
| 2024-05-02 09:26:49 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-02 09:27:53 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-02 09:31:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-05-02 09:32:40 +0200 | euleritian | (~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de) |
| 2024-05-02 09:33:19 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) |
| 2024-05-02 09:35:13 +0200 | euleritian | (~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-02 09:35:14 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 09:35:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-02 09:42:32 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds) |
| 2024-05-02 09:43:11 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 09:44:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-02 09:44:14 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2024-05-02 09:46:39 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-02 09:46:42 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-05-02 09:47:02 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 09:47:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-02 09:48:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-02 09:49:19 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-02 09:49:41 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 09:54:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-02 09:56:24 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
| 2024-05-02 10:03:13 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-02 10:04:29 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 240 seconds) |
| 2024-05-02 10:04:36 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-02 10:04:39 +0200 | sprout | (~quassel@2a02-a448-3a80-0-5c1b-ee26-e387-5025.fixed6.kpn.net) |
| 2024-05-02 10:06:37 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
| 2024-05-02 10:09:55 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 245 seconds) |
| 2024-05-02 10:13:14 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-02 10:15:08 +0200 | raoul | (~raoul@95.179.203.88) |
| 2024-05-02 10:15:17 +0200 | bilegeek | (~bilegeek@2600:1008:b09c:cc45:af3c:c61e:6890:be8f) (Quit: Leaving) |
| 2024-05-02 10:21:03 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 268 seconds) |
| 2024-05-02 10:21:04 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 10:22:17 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-02 10:22:44 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 10:33:11 +0200 | akegalj | (~akegalj@180-51.dsl.iskon.hr) |
| 2024-05-02 10:35:52 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-05-02 10:41:23 +0200 | danse-nr3 | (~danse-nr3@151.43.230.153) (Ping timeout: 264 seconds) |
| 2024-05-02 10:41:34 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 255 seconds) |
| 2024-05-02 10:41:48 +0200 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) |
| 2024-05-02 10:44:14 +0200 | danse-nr3 | (~danse-nr3@151.43.230.153) |
| 2024-05-02 10:44:24 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-02 10:49:30 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-05-02 10:52:49 +0200 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) (Ping timeout: 268 seconds) |
| 2024-05-02 10:55:32 +0200 | chele | (~chele@user/chele) |
| 2024-05-02 11:00:27 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 255 seconds) |
| 2024-05-02 11:00:41 +0200 | TMA | (tma@twin.jikos.cz) |
| 2024-05-02 11:00:53 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 11:02:38 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-02 11:03:42 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 11:04:49 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-02 11:08:21 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 11:15:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-02 11:16:50 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-02 11:21:10 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-05-02 11:24:34 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds) |
| 2024-05-02 11:24:53 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) (Ping timeout: 268 seconds) |
| 2024-05-02 11:36:25 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 11:36:55 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) |
| 2024-05-02 11:39:12 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-02 11:39:33 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 11:44:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-02 11:47:08 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds) |
| 2024-05-02 11:50:53 +0200 | agent314 | (~quassel@104.193.135.218) |
| 2024-05-02 11:50:53 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) |
| 2024-05-02 11:53:04 +0200 | mikess | (~mikess@user/mikess) |
| 2024-05-02 11:54:01 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 11:57:26 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2024-05-02 11:58:03 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-02 12:06:12 +0200 | destituion | (~destituio@85.221.111.174) |
| 2024-05-02 12:06:23 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-05-02 12:08:54 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) (Remote host closed the connection) |
| 2024-05-02 12:13:18 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-05-02 12:13:40 +0200 | mwnaylor | (~user@2601:5cf:837e:2bb0::9c1d) (Ping timeout: 245 seconds) |
| 2024-05-02 12:15:17 +0200 | euleritian | (~euleritia@dynamic-176-001-009-078.176.1.pool.telefonica.de) |
| 2024-05-02 12:23:13 +0200 | euleritian | (~euleritia@dynamic-176-001-009-078.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-02 12:23:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-02 12:24:15 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 12:29:01 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds) |
| 2024-05-02 12:31:06 +0200 | bgt32 | (~keutoi@223.184.79.113) (Ping timeout: 252 seconds) |
| 2024-05-02 12:35:37 +0200 | danse-nr3 | (~danse-nr3@151.43.230.153) (Read error: Connection reset by peer) |
| 2024-05-02 12:36:43 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 268 seconds) |
| 2024-05-02 12:36:59 +0200 | danse-nr3 | (~danse-nr3@151.19.252.164) |
| 2024-05-02 12:37:04 +0200 | TMA | (tma@twin.jikos.cz) |
| 2024-05-02 12:43:28 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 12:44:18 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-02 12:46:18 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-05-02 12:48:17 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-05-02 12:50:20 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 12:50:23 +0200 | danse-nr3 | (~danse-nr3@151.19.252.164) (Ping timeout: 264 seconds) |
| 2024-05-02 12:53:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-05-02 12:55:06 +0200 | euleritian | (~euleritia@dynamic-176-001-009-078.176.1.pool.telefonica.de) |
| 2024-05-02 12:57:54 +0200 | euleritian | (~euleritia@dynamic-176-001-009-078.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-02 12:59:43 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-02 13:00:15 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 2024-05-02 13:02:55 +0200 | Square3 | (~Square4@user/square) |
| 2024-05-02 13:07:44 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 13:08:38 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-02 13:09:02 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 13:15:36 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2024-05-02 13:15:56 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 13:19:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-02 13:25:00 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-05-02 13:29:15 +0200 | danse-nr3 | (~danse-nr3@151.35.226.248) |
| 2024-05-02 13:29:35 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds) |
| 2024-05-02 13:31:36 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 268 seconds) |
| 2024-05-02 13:33:52 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
| 2024-05-02 13:34:21 +0200 | danse-nr3 | (~danse-nr3@151.35.226.248) (Ping timeout: 252 seconds) |
| 2024-05-02 13:34:51 +0200 | k`` | (~k``@136.54.34.25) |
| 2024-05-02 13:35:20 +0200 | danse-nr3 | (~danse-nr3@151.35.226.248) |
| 2024-05-02 13:39:05 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 245 seconds) |
| 2024-05-02 13:42:02 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 252 seconds) |
| 2024-05-02 13:44:07 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
| 2024-05-02 13:44:45 +0200 | thaliaa | (uid486183@id-486183.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-02 13:44:52 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-05-02 13:45:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-02 13:50:49 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 13:52:39 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-02 13:53:17 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-05-02 13:59:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-02 13:59:55 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-05-02 14:03:47 +0200 | Guest95 | (~Guest95@217.7.130.9) |
| 2024-05-02 14:03:50 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2024-05-02 14:04:48 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 260 seconds) |
| 2024-05-02 14:05:31 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-05-02 14:06:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-05-02 14:12:37 +0200 | oneeyedalien_ | (~oneeyedal@user/oneeyedalien) |
| 2024-05-02 14:13:47 +0200 | euleritian | (~euleritia@dynamic-176-001-009-078.176.1.pool.telefonica.de) |
| 2024-05-02 14:15:06 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 256 seconds) |
| 2024-05-02 14:19:47 +0200 | connrs | (~connrs@user/connrs) (Ping timeout: 264 seconds) |
| 2024-05-02 14:23:50 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-05-02 14:25:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-02 14:28:58 +0200 | connrs | (~connrs@user/connrs) |
| 2024-05-02 14:32:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-02 14:36:40 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 256 seconds) |
| 2024-05-02 14:42:40 +0200 | oneeyedalien_ | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-05-02 14:45:56 +0200 | hseg | (~gesh@77.137.75.224) |
| 2024-05-02 14:48:05 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 256 seconds) |
| 2024-05-02 14:54:03 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-02 14:54:46 +0200 | Guest95 | (~Guest95@217.7.130.9) (Ping timeout: 250 seconds) |
| 2024-05-02 15:00:09 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 252 seconds) |
| 2024-05-02 15:02:07 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-05-02 15:05:29 +0200 | ystael | (~ystael@user/ystael) |
| 2024-05-02 15:06:12 +0200 | danse-nr3 | (~danse-nr3@151.35.226.248) (Ping timeout: 252 seconds) |
| 2024-05-02 15:13:14 +0200 | danse-nr3 | (~danse-nr3@151.35.226.248) |
| 2024-05-02 15:15:36 +0200 | danse-nr3 | (~danse-nr3@151.35.226.248) (Remote host closed the connection) |
| 2024-05-02 15:15:58 +0200 | danse-nr3 | (~danse-nr3@151.35.226.248) |
| 2024-05-02 15:18:13 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-05-02 15:19:39 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-05-02 15:19:42 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-02 15:21:21 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 2024-05-02 15:25:22 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-05-02 15:26:49 +0200 | euleritian | (~euleritia@dynamic-176-001-009-078.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-02 15:28:39 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-02 15:29:45 +0200 | mikess | (~mikess@user/mikess) |
| 2024-05-02 15:33:59 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 256 seconds) |
| 2024-05-02 15:40:05 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds) |
| 2024-05-02 15:43:21 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-02 15:44:31 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Ping timeout: 246 seconds) |
| 2024-05-02 15:45:27 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-05-02 15:47:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-02 15:54:22 +0200 | <haskellbridge> | <magic_rb> tomsmeding: you dont happen to be at the utrecht university campus |
| 2024-05-02 15:55:01 +0200 | <haskellbridge> | <magic_rb> *science park ig |
| 2024-05-02 15:59:29 +0200 | yin | (~yin@user/zero) |
| 2024-05-02 16:02:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-02 16:03:25 +0200 | danse-nr3 | (~danse-nr3@151.35.226.248) (Ping timeout: 246 seconds) |
| 2024-05-02 16:12:16 +0200 | danse-nr3 | (~danse-nr3@151.35.226.248) |
| 2024-05-02 16:15:37 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-05-02 16:22:04 +0200 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2024-05-02 16:23:00 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-02 16:24:01 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2024-05-02 16:25:51 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2024-05-02 16:25:51 +0200 | haritz | (~hrtz@user/haritz) |
| 2024-05-02 16:27:49 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 256 seconds) |
| 2024-05-02 16:32:13 +0200 | as__ | (~as@2800:a4:2c7:9600:4168:6667:410d:d0ba) (Quit: Leaving) |
| 2024-05-02 16:36:12 +0200 | <tomsmeding> | magic_rb: I do |
| 2024-05-02 16:37:11 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-05-02 16:37:40 +0200 | <tomsmeding> | But I kind of have a paper deadline in like 5 days so :p |
| 2024-05-02 16:40:14 +0200 | <haskellbridge> | <magic_rb> We already dipped sadly |
| 2024-05-02 16:41:52 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-02 16:43:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-02 16:51:02 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-05-02 16:52:15 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-02 16:59:55 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb2 - https://znc.in) |
| 2024-05-02 17:01:55 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2024-05-02 17:02:14 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-05-02 17:03:48 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2024-05-02 17:03:48 +0200 | haritz | (~hrtz@user/haritz) |
| 2024-05-02 17:08:07 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-05-02 17:08:26 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-05-02 17:10:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-02 17:11:06 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 2024-05-02 17:14:09 +0200 | danse-nr3 | (~danse-nr3@151.35.226.248) (Ping timeout: 256 seconds) |
| 2024-05-02 17:15:01 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-05-02 17:17:22 +0200 | danse-nr3 | (~danse-nr3@151.35.226.248) |
| 2024-05-02 17:20:41 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-05-02 17:21:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-02 17:24:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-02 17:29:32 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-05-02 17:31:31 +0200 | danse-nr3 | (~danse-nr3@151.35.226.248) (Ping timeout: 272 seconds) |
| 2024-05-02 17:36:05 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-05-02 17:38:37 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2024-05-02 17:39:38 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-05-02 17:45:08 +0200 | <hseg> | Trying to compile my code with -pie unsuccessfully -- no matter what combination of flags I pass it, ld complains and advises passing -fPIE. Advice? |
| 2024-05-02 17:45:46 +0200 | <tomsmeding> | hseg: trying to compile haskell code or C code? |
| 2024-05-02 17:45:49 +0200 | <hseg> | haskell |
| 2024-05-02 17:46:03 +0200 | <tomsmeding> | what special linking are you doing |
| 2024-05-02 17:46:05 +0200 | <tomsmeding> | > |
| 2024-05-02 17:46:07 +0200 | <tomsmeding> | * ? |
| 2024-05-02 17:46:34 +0200 | <tomsmeding> | if you don't have any C sources in your project and are just 'cabal build'ing, and you get an error from ld, something fishy is going on |
| 2024-05-02 17:46:40 +0200 | <hseg> | actually, there might be C components in deps |
| 2024-05-02 17:46:54 +0200 | <tomsmeding> | can you post the full output of your build command? |
| 2024-05-02 17:48:34 +0200 | <hseg> | https://0x0.st/XXen.txt |
| 2024-05-02 17:49:32 +0200 | <hseg> | I've tried with/without --enable-shared, with/without -fPIE, nothing works |
| 2024-05-02 17:51:01 +0200 | <tomsmeding> | hseg: have you tried without that entire second line of the configure command? (Make sure you're deleting any config files created by the configure command) |
| 2024-05-02 17:51:04 +0200 | <tomsmeding> | er |
| 2024-05-02 17:51:09 +0200 | <tomsmeding> | without the third line of that command |
| 2024-05-02 17:51:33 +0200 | <hseg> | without the third line things build perfectly |
| 2024-05-02 17:51:39 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-05-02 17:51:47 +0200 | <tomsmeding> | (side note, `cabal configure` is unnecessary here, you can just pass those flags to `cabal build` -- and why are you doing `v2-build`? `build` should work fine with non-ancient cabal) |
| 2024-05-02 17:51:55 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 246 seconds) |
| 2024-05-02 17:52:00 +0200 | yin | (~yin@user/zero) (Ping timeout: 245 seconds) |
| 2024-05-02 17:52:16 +0200 | <tomsmeding> | is that a solution then? |
| 2024-05-02 17:52:17 +0200 | <hseg> | ah, that's probably cargo-culted from an old build script |
| 2024-05-02 17:52:46 +0200 | <tomsmeding> | the -O is also redundant (it's default), and the --jobs is also default |
| 2024-05-02 17:52:52 +0200 | <hseg> | also, I'm configuring since in a later step I also run tests and install it into a directory to be zipped up into a package |
| 2024-05-02 17:53:01 +0200 | <tomsmeding> | `cabal build --prefix=/usr --docdir=... --enable-tests` should do the job |
| 2024-05-02 17:53:12 +0200 | <hseg> | (presumably, those need the configuration to carry over?) |
| 2024-05-02 17:53:13 +0200 | <tomsmeding> | I see |
| 2024-05-02 17:53:16 +0200 | <tomsmeding> | yeah |
| 2024-05-02 17:53:19 +0200 | gmg | (~user@user/gehmehgeh) (Killed (NickServ (Forcing logout gmg -> gehmehgeh))) |
| 2024-05-02 17:53:20 +0200 | gehmehgeh | gmg |
| 2024-05-02 17:53:20 +0200 | <tomsmeding> | still, those three flags should be enough |
| 2024-05-02 17:53:50 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-05-02 17:55:08 +0200 | <hseg> | except the resulting code doesn't have relro or pie enabled (building to double check) |
| 2024-05-02 17:55:14 +0200 | <tomsmeding> | is that a problem? |
| 2024-05-02 17:55:20 +0200 | <tomsmeding> | it's an executable, right? |
| 2024-05-02 17:55:32 +0200 | <hseg> | yeah, it's executable |
| 2024-05-02 17:56:06 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-02 17:56:06 +0200 | <tomsmeding> | as far as I understand, those flags are typically relevant if you want to build libraries dynamically |
| 2024-05-02 17:56:28 +0200 | <tomsmeding> | but haskell libraries are usually linked statically into haskell executables |
| 2024-05-02 17:56:40 +0200 | <hseg> | ah, OK. Was worried since the packaging system was yelling at me |
| 2024-05-02 17:56:49 +0200 | <hseg> | https://wiki.archlinux.org/title/Arch_package_guidelines/Security is the relevant policy |
| 2024-05-02 17:56:52 +0200 | <tomsmeding> | with sufficient magic you can make that go dynamically too, but there is typically no good reason for that |
| 2024-05-02 17:56:57 +0200 | <tomsmeding> | that is pointless for haskell |
| 2024-05-02 17:57:22 +0200 | <tomsmeding> | the usual security reason for dynamic libraries (disclaimer: I haven't read that specific page) is that you can update dynamic libraries without updating the executable |
| 2024-05-02 17:57:32 +0200 | <tomsmeding> | hence allowing one to distribute security updates without having to rebuild the world |
| 2024-05-02 17:57:46 +0200 | <tomsmeding> | but GHC doesn't have a stable ABI so that doesn't work for haskell, you have to rebuild dependents anyway |
| 2024-05-02 17:57:46 +0200 | <hseg> | right, which given ghc's cross-module optimizations, is irrelevant for ghc haskell |
| 2024-05-02 17:57:49 +0200 | <tomsmeding> | so you might as well static link |
| 2024-05-02 17:57:58 +0200 | <hseg> | sniped |
| 2024-05-02 17:58:13 +0200 | <tomsmeding> | optimisations too, but that's mostly irrelevant to the point -- even without optimisations it would be pointless |
| 2024-05-02 17:58:20 +0200 | <tomsmeding> | the only reason would be to save a bit of disk space |
| 2024-05-02 17:58:46 +0200 | <tomsmeding> | but in the haskell community that's a considered a meager win versus the significant increased hassle of dynamic linking |
| 2024-05-02 17:58:49 +0200 | <tomsmeding> | (for haskell) |
| 2024-05-02 17:58:53 +0200 | danso_o | danso |
| 2024-05-02 17:58:54 +0200 | <hseg> | oh? I thought the ABI instability was caused by the libraries getting infected with the build plans? |
| 2024-05-02 17:58:59 +0200 | <tomsmeding> | note that system libs are still linked dynamically |
| 2024-05-02 17:59:05 +0200 | <tomsmeding> | e.g. libc, zlib, gmp, etc |
| 2024-05-02 17:59:12 +0200 | <tomsmeding> | yeah also |
| 2024-05-02 17:59:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-02 17:59:49 +0200 | <tomsmeding> | but if you recompile a new version of a library, even if the haskell-level interface is compatible, the binary interface is probably not |
| 2024-05-02 17:59:56 +0200 | <tomsmeding> | GHC makes no guarantees there |
| 2024-05-02 18:00:05 +0200 | <tomsmeding> | so you have to rebuild dependent libraries and executables anyway |
| 2024-05-02 18:00:26 +0200 | <tomsmeding> | (this is different from the C world, where C-level compatibility implies ABI-level compatibility if you have the same compiler) |
| 2024-05-02 18:00:35 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-02 18:00:56 +0200 | <hseg> | hrm. What causes that instability? |
| 2024-05-02 18:01:07 +0200 | <tomsmeding> | just that there's no effort at stability |
| 2024-05-02 18:01:19 +0200 | <tomsmeding> | the reason for which is, indeed, cross-module optimisations |
| 2024-05-02 18:01:54 +0200 | <tomsmeding> | so indirectly it's because of optimisations, but the direct cause is lack of ABI stability |
| 2024-05-02 18:02:01 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-05-02 18:02:27 +0200 | <hseg> | ah -- because a haskell-compatible library edit might expose new optimizations, which might change the effective ABI? |
| 2024-05-02 18:02:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-02 18:02:39 +0200 | <tomsmeding> | yep |
| 2024-05-02 18:02:52 +0200 | <hseg> | eg you'd get a function dropped since it gets inlined everywhere? |
| 2024-05-02 18:02:52 +0200 | califax | (~califax@user/califx) |
| 2024-05-02 18:03:12 +0200 | <tomsmeding> | more that the types of the arguments might change on the assembly level |
| 2024-05-02 18:03:14 +0200 | <tomsmeding> | names too |
| 2024-05-02 18:03:25 +0200 | <hseg> | oh, because of specialization? |
| 2024-05-02 18:03:39 +0200 | <tomsmeding> | the haskell interface file (.hi) produced by GHC as a side effect of compilation describes where the code is and what it looks like in the object file |
| 2024-05-02 18:03:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-02 18:03:55 +0200 | <tomsmeding> | e.g. specialisation, but also worker-wrapper transformation |
| 2024-05-02 18:04:28 +0200 | <tomsmeding> | (if you write `foo :: Int -> Int`, that converts into `foo :: Int -> Int ; foo (I# i) = I# (foo$w i) where foo$w :: Int# -> Int#`) |
| 2024-05-02 18:04:38 +0200 | <hseg> | right, and that transformation can change intermediate types even if the worker's type doesn't |
| 2024-05-02 18:04:44 +0200 | <tomsmeding> | where the outer foo just does wrapping in data constructors and the inner foo$w works on unboxed values |
| 2024-05-02 18:04:55 +0200 | <tomsmeding> | the outer foo doesn't have any code generated because it is intended to be inlined everywhere |
| 2024-05-02 18:05:15 +0200 | <tomsmeding> | the type of foo$w is dependent on the implementation of foo, unlike the type of foo itself which is independent on foo's implementation |
| 2024-05-02 18:05:21 +0200 | <hseg> | ohhh and so everyone will be calling the worker, whose type can change between recompilations? |
| 2024-05-02 18:05:24 +0200 | <tomsmeding> | yes |
| 2024-05-02 18:05:40 +0200 | <hseg> | ah yeah that would definitely be a problem |
| 2024-05-02 18:06:06 +0200 | <hseg> | and it's fundamental enough I can't even picture what an ABI-stable GHC is anymore |
| 2024-05-02 18:06:11 +0200 | <tomsmeding> | :) |
| 2024-05-02 18:06:20 +0200 | <tomsmeding> | I mean, it wouldn't be that hard |
| 2024-05-02 18:06:49 +0200 | <tomsmeding> | you'd have to define some standard calling convention, and use that to define additional wrapper functions that _are_ materialised in the object files, and just unused whenever GHC can see the interface file |
| 2024-05-02 18:07:03 +0200 | <tomsmeding> | then you'd have to convince GHC to use those wrappers instead of the workers directly |
| 2024-05-02 18:07:17 +0200 | <tomsmeding> | conceptually this isn't very difficult, but it would be a lot of engineering |
| 2024-05-02 18:07:23 +0200 | <hseg> | but wouldn't that lose optimization opportunities? |
| 2024-05-02 18:07:25 +0200 | <tomsmeding> | yes |
| 2024-05-02 18:07:40 +0200 | <hseg> | right, because now the workers will be opaque |
| 2024-05-02 18:07:45 +0200 | <tomsmeding> | indeed |
| 2024-05-02 18:07:54 +0200 | <tomsmeding> | worker-wrapper is one thing I know of where this plays a role |
| 2024-05-02 18:08:07 +0200 | <tomsmeding> | there may well me more reasons for ABI instability that I'm not aware of -- I'm not a ghc hacker |
| 2024-05-02 18:08:22 +0200 | <hseg> | fair enough |
| 2024-05-02 18:08:31 +0200 | <tomsmeding> | but compiling a standardised wrapper function would theoretically be possible always |
| 2024-05-02 18:08:36 +0200 | <EvanR> | IANAGH |
| 2024-05-02 18:08:37 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-02 18:08:52 +0200 | <tomsmeding> | question is whether it would be worth the effort and the potential loss of some performance (to be measured) |
| 2024-05-02 18:09:13 +0200 | <hseg> | just realized -- this has nothing to do with reproducible builds, that is something GHC *could* theoretically guarantee (and that is something that's more desireable to me) |
| 2024-05-02 18:09:24 +0200 | <tomsmeding> | indeed |
| 2024-05-02 18:09:31 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-05-02 18:09:50 +0200 | <tomsmeding> | same code with same compiler and same flags could, in principle, produce the same object code |
| 2024-05-02 18:10:14 +0200 | <tomsmeding> | it probably doesn't for the standard reasons why builds are not reproducible, timestamps, paths etc |
| 2024-05-02 18:10:21 +0200 | <hseg> | right |
| 2024-05-02 18:11:23 +0200 | <tomsmeding> | EvanR: makes me think of this guy's name https://hackage.haskell.org/user/IanLynagh |
| 2024-05-02 18:11:32 +0200 | <tomsmeding> | (random page with the name on it) |
| 2024-05-02 18:12:06 +0200 | <hseg> | wait, isn't *PIC* for dynamic libraries, but *PIE* for any executable? |
| 2024-05-02 18:12:20 +0200 | <hseg> | after all, it enables ASLR |
| 2024-05-02 18:12:30 +0200 | <tomsmeding> | I guess? I don't know too much about this |
| 2024-05-02 18:12:41 +0200 | <EvanR> | randomly clicking utf8-string on that page makes me think there should be a note about how Text is utf8 now |
| 2024-05-02 18:12:48 +0200 | <tomsmeding> | haskell executables do link dynamically against C libraries though |
| 2024-05-02 18:13:08 +0200 | <hseg> | right, but that means that even statically-linked haskell should benefit from -pie |
| 2024-05-02 18:13:22 +0200 | <hseg> | (and relro, but that's a separate thing) |
| 2024-05-02 18:13:54 +0200 | <tomsmeding> | isn't an executable already PIE if it's dynamically linking against stuff? |
| 2024-05-02 18:14:26 +0200 | califax | (~califax@user/califx) |
| 2024-05-02 18:14:42 +0200 | <tomsmeding> | about worker-wrapper, by the way: here https://play.haskell.org/saved/yjnPTDnN if you click on "Core" you see 'foo' at the bottom with annotations that say that it can be inlined; the NOINLINE is on M.$wfoo right above |
| 2024-05-02 18:14:51 +0200 | <tomsmeding> | despite the NOINLINE on foo in the source |
| 2024-05-02 18:14:54 +0200 | <hseg> | nope -- PIC is for libraries, PIE is for executables AFAIK |
| 2024-05-02 18:15:49 +0200 | <tomsmeding> | debian has given up on that for haskell apparently https://wiki.debian.org/StaticLinking#Haskell |
| 2024-05-02 18:16:54 +0200 | <hseg> | on dynamic linking, yes |
| 2024-05-02 18:17:03 +0200 | <hseg> | have they given up on ASLR for haskell? |
| 2024-05-02 18:17:50 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2024-05-02 18:19:07 +0200 | <hseg> | in any case, that does put pie and relro back on the table for me |
| 2024-05-02 18:19:15 +0200 | yin | (~yin@user/zero) |
| 2024-05-02 18:19:19 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-05-02 18:23:01 +0200 | <tomsmeding> | hseg: is 'ELF 64-bit LSB pie executable' in file(1) output what you're looking for? |
| 2024-05-02 18:23:11 +0200 | <tomsmeding> | try cabal configure --enable-shared --ghc-options='-pie -dynamic' |
| 2024-05-02 18:23:35 +0200 | <tomsmeding> | don't even need the --enable-shared |
| 2024-05-02 18:23:50 +0200 | <hseg> | testing... |
| 2024-05-02 18:24:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-05-02 18:24:31 +0200 | <int-e> | s/--enable-shared/-fPIE/ I think (different from -pie, you need that for linking) |
| 2024-05-02 18:24:54 +0200 | <hseg> | tried --ghc-options='-pie -fPIE', didn't work |
| 2024-05-02 18:25:01 +0200 | <tomsmeding> | I can compile an executable that gives the aforementioned string in file(1) output with just `-pie -dynamic`, nothing else |
| 2024-05-02 18:25:14 +0200 | <tomsmeding> | I added a non-boot dependency to be sure that that works too, in principle |
| 2024-05-02 18:25:15 +0200 | euleritian | (~euleritia@dynamic-176-001-008-240.176.1.pool.telefonica.de) |
| 2024-05-02 18:27:17 +0200 | <int-e> | And the trouble you'll run into is that the base libraries won't be compiled with the requisite -fPIE flag. |
| 2024-05-02 18:27:17 +0200 | euleritian | (~euleritia@dynamic-176-001-008-240.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-02 18:27:41 +0200 | <hseg> | https://0x0.st/XX23.txt |
| 2024-05-02 18:28:30 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer) |
| 2024-05-02 18:28:43 +0200 | euleritian | (~euleritia@dynamic-176-001-008-240.176.1.pool.telefonica.de) |
| 2024-05-02 18:29:40 +0200 | <int-e> | That's when trying to link statically; with -dynamic -pie I get a PIE executable that's dynamically linked. (Just a simple hello world, no `cabal` involved) |
| 2024-05-02 18:29:56 +0200 | <tomsmeding> | I see |
| 2024-05-02 18:30:19 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-02 18:30:31 +0200 | tomsmeding | gives up |
| 2024-05-02 18:30:34 +0200 | <hseg> | I'm confused -- why is it linking statically? |
| 2024-05-02 18:30:51 +0200 | <tomsmeding> | int-e was referring to the -fPIE note |
| 2024-05-02 18:31:06 +0200 | <hseg> | ah |
| 2024-05-02 18:31:14 +0200 | <int-e> | hseg: I'm on my own tangent which may or may not intersect with yours, sorry. |
| 2024-05-02 18:31:55 +0200 | <tomsmeding> | but yeah sorry, I thought I knew enough to help but I don't |
| 2024-05-02 18:31:59 +0200 | <int-e> | The reason why Haskell libraries are generally linked statically is that there's no ABI compatibility between recompiled versions of the same library. |
| 2024-05-02 18:32:10 +0200 | <tomsmeding> | we've gone over that :) |
| 2024-05-02 18:32:19 +0200 | <int-e> | <s>Ask me about Arch</s> |
| 2024-05-02 18:32:24 +0200 | <tomsmeding> | hseg's question now is "even if I link statically, can I at least get the security benefits of PIE" |
| 2024-05-02 18:32:48 +0200 | <tomsmeding> | the answer seems to be, nothing is set up for that so you're on your own? |
| 2024-05-02 18:33:18 +0200 | <hseg> | int-e: indeed, which is why I've been building all my haskell programs statically on Arch, sidestepping their entire haskell ecosystem |
| 2024-05-02 18:33:24 +0200 | <int-e> | But I imagine you can still build GHC such that it builds the base libraries with -fPIE. So that's the tangent I'm on right now... but it will take a while to try. |
| 2024-05-02 18:34:16 +0200 | <tomsmeding> | hseg: that's what everyone here does, ignore anything haskell-related in the arch package repository and just use cabal/stack/whatever |
| 2024-05-02 18:34:19 +0200 | <tomsmeding> | "cabal install cabal-fmt" |
| 2024-05-02 18:35:45 +0200 | hseg | (~gesh@77.137.75.224) (Read error: Connection reset by peer) |
| 2024-05-02 18:35:59 +0200 | <tomsmeding> | bye :p |
| 2024-05-02 18:36:06 +0200 | hseg | (~gesh@77.137.75.224) |
| 2024-05-02 18:36:16 +0200 | <hseg> | Apologies, computer crashed |
| 2024-05-02 18:36:21 +0200 | <tomsmeding> | O.o |
| 2024-05-02 18:36:35 +0200 | <tomsmeding> | logs link in topic if necessary |
| 2024-05-02 18:38:17 +0200 | <hseg> | just missed your last three messages |
| 2024-05-02 18:38:45 +0200 | <hseg> | yeah, so I integrate my haskell-related stuff *slightly* in arch so pacman can track the files |
| 2024-05-02 18:38:50 +0200 | <hseg> | but not for much else |
| 2024-05-02 18:39:02 +0200 | <hseg> | (eg am depending on cabal/stack for dependency resolution) |
| 2024-05-02 18:39:08 +0200 | <tomsmeding> | right |
| 2024-05-02 18:39:31 +0200 | <tomsmeding> | unless you want to either make your life very difficult, or do the same and also evangelise in the haskell community, I'd recommend skipping PIE :p |
| 2024-05-02 18:39:41 +0200 | <tomsmeding> | I concede there is something to be won here |
| 2024-05-02 18:41:40 +0200 | califax | (~califax@user/califx) |
| 2024-05-02 18:43:11 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |