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.) |
2024-05-02 18:46:42 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-02 18:46:53 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-02 18:47:25 +0200 | califax | (~califax@user/califx) |
2024-05-02 18:50:23 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-02 18:51:19 +0200 | <int-e> | hseg: I remember using Arch's ghc to build my own, then uninstalling the Arch one. So it was good enough for bootstrapping. |
2024-05-02 18:52:20 +0200 | <hseg> | Right. I'm testing using a statically linked cabal-install and a ghcup-versioned ghc |
2024-05-02 18:53:42 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b940:e453:9e02:8346:816a) (Read error: Connection reset by peer) |
2024-05-02 18:53:50 +0200 | <hseg> | hrm. enabling relro (with --ld-options='-Wl,-z,relro,-z,now') still complains RELRO is only partially enabled |
2024-05-02 18:53:55 +0200 | <hseg> | but at least it builds |
2024-05-02 18:54:19 +0200 | <hseg> | given that that's no different from the previous behaviour, I'm tempted to drop it |
2024-05-02 18:54:28 +0200 | <hseg> | pie is still a puzzle though |
2024-05-02 18:56:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-02 19:04:27 +0200 | pavonia | (~user@user/siracusa) |
2024-05-02 19:05:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-02 19:08:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-02 19:08:19 +0200 | <hseg> | giving up and opening this up to comments from the users of the package |
2024-05-02 19:08:41 +0200 | <hseg> | if they're concerned, let them share the burden of finding a workable build |
2024-05-02 19:19:42 +0200 | jamesmartinez | (uid6451@id-6451.helmsley.irccloud.com) |
2024-05-02 19:37:59 +0200 | <int-e> | hseg: Well, this worked: https://paste.tomsmeding.com/cbI4u3Qk |
2024-05-02 19:39:04 +0200 | <hseg> | hrm, testing |
2024-05-02 19:39:13 +0200 | <int-e> | hseg: note that I rebuilt ghc for this |
2024-05-02 19:39:46 +0200 | <int-e> | (with the settings at the end of that paste) |
2024-05-02 19:40:11 +0200 | euleritian | (~euleritia@dynamic-176-001-008-240.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-02 19:40:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-05-02 19:40:25 +0200 | <int-e> | I'm not sure why I needed -fPIC when compiling the final program, and not -fPIE. |
2024-05-02 19:40:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-02 19:40:49 +0200 | <hseg> | no dice |
2024-05-02 19:41:07 +0200 | <hseg> | at least, not with cabal --ghc-options=-pie --ghc-options=-fPIC |
2024-05-02 19:41:31 +0200 | <hseg> | ah, wait |
2024-05-02 19:41:33 +0200 | <hseg> | one moment |
2024-05-02 19:43:57 +0200 | hseg | (~gesh@77.137.75.224) (Read error: Connection reset by peer) |
2024-05-02 19:44:35 +0200 | hseg | (~gesh@77.137.75.224) |
2024-05-02 19:44:41 +0200 | <hseg> | ... and *another* crash |
2024-05-02 19:45:37 +0200 | <hseg> | ironic timing aside, was going to say the problematic case here was compiled with the wrong ghc, trying the correct one, one moment |
2024-05-02 19:47:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-02 19:47:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2024-05-02 19:48:13 +0200 | euleritian | (~euleritia@dynamic-176-001-008-240.176.1.pool.telefonica.de) |
2024-05-02 19:55:06 +0200 | zetef | (~quassel@5.14.202.140) |
2024-05-02 19:55:08 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
2024-05-02 19:55:47 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-05-02 19:57:04 +0200 | k`` | (~k``@136.54.34.25) (Remote host closed the connection) |
2024-05-02 19:57:21 +0200 | k`` | (~k``@136.54.34.25) |
2024-05-02 20:03:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-05-02 20:04:30 +0200 | zetef | (~quassel@5.14.202.140) (Ping timeout: 245 seconds) |
2024-05-02 20:08:24 +0200 | <monochrom> | tomsmeding: I haven't wished for a Haskell-2010-only compiler for error message purposes. Even within Haskell 2010, the Num class is already bad enough for that purpose, banning Foldable (for example) is not going to really help. (And I actually teach Foldable after the basics.) |
2024-05-02 20:12:20 +0200 | <tomsmeding> | monochrom: right, overloaded int/float literals are definitely inconvenient for teaching (and frankly sometimes for programming too) |
2024-05-02 20:13:01 +0200 | <tomsmeding> | for curiosity, do you not run into ghc flinging FlexibleConstraints, DataKinds, AllowAmbiguousTypes, RankNTypes, etc. in your students' faces? |
2024-05-02 20:13:18 +0200 | <tomsmeding> | if they made an innocent mistake |
2024-05-02 20:14:05 +0200 | <monochrom> | Here is where I show my laziness. I haven't polled students for what they are going through! |
2024-05-02 20:14:35 +0200 | <Rembane> | monochrom: How much have they told you without polls? |
2024-05-02 20:14:37 +0200 | <tomsmeding> | if you've taught enough students on this topic you'd have received complaints from their side if they're running into it a lot :) |
2024-05-02 20:15:05 +0200 | <monochrom> | But those who came to my office hours have never showed me error messages of that kind. But that is a biased data pool. |
2024-05-02 20:15:19 +0200 | <tomsmeding> | it is indeed, but it says something |
2024-05-02 20:16:22 +0200 | <hseg> | int-e: ... and that's a no for -pie -fPIC via cabal: https://0x0.st/XXLc.txt |
2024-05-02 20:16:24 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 252 seconds) |
2024-05-02 20:17:02 +0200 | <monochrom> | It is also possible that I only ask them to do basic low-tech things so it is very hard to even randomly wander into the high-tech error space. |
2024-05-02 20:17:39 +0200 | <tomsmeding> | the fact that such a low-tech space exists is good, and mostly what I was asking for :) |
2024-05-02 20:18:10 +0200 | <hseg> | thanks for the help, but ig I'll stick to my previous giving up |
2024-05-02 20:18:11 +0200 | <tomsmeding> | when I do haskelling myself I sometimes marvel at the inscrutability of error messages I get when doing seemingly harmless things that even beginners could do |
2024-05-02 20:27:00 +0200 | hseg | (~gesh@77.137.75.224) (Ping timeout: 260 seconds) |
2024-05-02 20:28:11 +0200 | yin | (~yin@user/zero) |
2024-05-02 20:29:08 +0200 | k`` | (~k``@136.54.34.25) (Remote host closed the connection) |
2024-05-02 20:29:25 +0200 | k`` | (~k``@136.54.34.25) |
2024-05-02 20:32:06 +0200 | jamesmartinez | (uid6451@id-6451.helmsley.irccloud.com) () |
2024-05-02 20:36:01 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-02 20:41:28 +0200 | euleritian | (~euleritia@dynamic-176-001-008-240.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-02 20:41:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-02 20:42:29 +0200 | califax | (~califax@user/califx) |
2024-05-02 20:45:35 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-05-02 20:50:57 +0200 | danza | (~francesco@151.37.226.214) |
2024-05-02 20:51:10 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-02 20:51:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-05-02 20:54:26 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
2024-05-02 20:57:13 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2024-05-02 21:12:28 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 246 seconds) |
2024-05-02 21:13:33 +0200 | califax | (~califax@user/califx) |
2024-05-02 21:13:51 +0200 | rvalue- | (~rvalue@user/rvalue) |
2024-05-02 21:14:15 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
2024-05-02 21:14:51 +0200 | Square | (~Square@user/square) |
2024-05-02 21:17:52 +0200 | rvalue- | rvalue |
2024-05-02 21:19:47 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-05-02 21:20:32 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-02 21:21:01 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-02 21:21:04 +0200 | zetef | (~quassel@5.14.202.140) |
2024-05-02 21:23:57 +0200 | danza | (~francesco@151.37.226.214) (Ping timeout: 272 seconds) |
2024-05-02 21:26:00 +0200 | <int-e> | @tell hseg Building with cabal-install works too if one sets the program flags in the config file (I did it for gcc (-fPIC), ghc (-fPIC and -fPIE), and ld (-pie)); I'm not sure how that translates to command line options. |
2024-05-02 21:26:00 +0200 | <lambdabot> | Consider it noted. |
2024-05-02 21:27:49 +0200 | zetef | (~quassel@5.14.202.140) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-05-02 21:29:08 +0200 | mwnaylor | (~user@2601:5cf:837e:2bb0::9c1d) |
2024-05-02 21:30:58 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-05-02 21:37:06 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-05-02 21:47:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-02 21:55:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-02 22:00:59 +0200 | k`` | (~k``@136.54.34.25) (Remote host closed the connection) |
2024-05-02 22:01:17 +0200 | k`` | (~k``@136.54.34.25) |
2024-05-02 22:03:29 +0200 | hseg | (~gesh@77.137.75.224) |
2024-05-02 22:08:59 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
2024-05-02 22:09:56 +0200 | yin | (~yin@user/zero) |
2024-05-02 22:10:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
2024-05-02 22:10:49 +0200 | hseg | (~gesh@77.137.75.224) (Quit: WeeChat 4.2.2) |
2024-05-02 22:16:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-02 22:24:55 +0200 | mwnaylor | (~user@2601:5cf:837e:2bb0::9c1d) (Ping timeout: 245 seconds) |
2024-05-02 22:31:01 +0200 | akegalj | (~akegalj@180-51.dsl.iskon.hr) (Quit: leaving) |
2024-05-02 22:31:11 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-05-02 22:31:19 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
2024-05-02 22:31:25 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b940:2cfa:366f:20cb:2703) |
2024-05-02 22:45:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-02 22:48:10 +0200 | yin | (~yin@user/zero) |
2024-05-02 22:51:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-02 22:52:14 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-02 22:59:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-02 23:06:04 +0200 | k`` | (~k``@136.54.34.25) (Remote host closed the connection) |
2024-05-02 23:15:58 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-05-02 23:18:44 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-02 23:28:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-02 23:38:31 +0200 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-02 23:48:01 +0200 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
2024-05-02 23:48:40 +0200 | yin | (~yin@user/zero) (Ping timeout: 245 seconds) |
2024-05-02 23:49:57 +0200 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 255 seconds) |
2024-05-02 23:50:42 +0200 | yin | (~yin@user/zero) |
2024-05-02 23:51:04 +0200 | Square3 | (~Square4@user/square) |
2024-05-02 23:53:38 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2024-05-02 23:59:59 +0200 | acidjnk | (~acidjnk@p200300d6e714dc31f1fc423ebb03a89f.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |