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) |