| 2025-08-27 00:00:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-27 00:09:20 +0000 | acidjnk | (~acidjnk@p200300d6e7171900c8d1e26a04eb2053.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-08-27 00:10:07 +0000 | synner | (~david@64-251-141-60.fidnet.com) |
| 2025-08-27 00:10:29 +0000 | synner | (~david@64-251-141-60.fidnet.com) (Leaving) |
| 2025-08-27 00:10:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-08-27 00:11:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 00:16:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 00:23:08 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-27 00:26:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 00:31:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-27 00:40:36 +0000 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2025-08-27 00:41:03 +0000 | xff0x | (~xff0x@2405:6580:b080:900:83a1:9d1e:34ac:9163) |
| 2025-08-27 00:42:06 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-27 00:42:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 00:46:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 00:53:40 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-27 00:54:55 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-08-27 00:57:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 00:58:57 +0000 | xff0x | (~xff0x@2405:6580:b080:900:83a1:9d1e:34ac:9163) (Quit: xff0x) |
| 2025-08-27 00:59:28 +0000 | Googulator | (~Googulato@2a01:36d:106:28ad:d14e:68ce:c41e:4464) |
| 2025-08-27 01:02:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 01:02:36 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a6f3:8715:1520:fbd) |
| 2025-08-27 01:05:32 +0000 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 2025-08-27 01:07:52 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a6f3:8715:1520:fbd) (Ping timeout: 255 seconds) |
| 2025-08-27 01:08:08 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-08-27 01:09:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 01:12:51 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-27 01:13:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 01:14:34 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-27 01:14:47 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-27 01:18:28 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-08-27 01:22:44 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
| 2025-08-27 01:24:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 01:26:48 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-08-27 01:28:48 +0000 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 2025-08-27 01:28:53 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-08-27 01:28:57 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
| 2025-08-27 01:29:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-27 01:34:18 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-27 01:35:24 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-08-27 01:36:15 +0000 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 2025-08-27 01:36:39 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-27 01:40:14 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-08-27 01:40:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 01:40:18 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-08-27 01:41:44 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-08-27 01:41:49 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-08-27 01:42:52 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-27 01:43:03 +0000 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2025-08-27 01:43:44 +0000 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-08-27 01:43:44 +0000 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 2025-08-27 01:44:38 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-27 01:46:18 +0000 | trickard_ | trickard |
| 2025-08-27 01:47:02 +0000 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 2025-08-27 01:47:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 01:53:59 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-27 01:54:53 +0000 | <Axman6> | I asked yesterday about whether there was a cbrt function, which exists in C++ at least, and apparently x**(1/3) is the best we can do. I thought I would take a look at what LLVM does, thinking "how hard could it be". Never mind: https://github.com/llvm/llvm-project/blob/main/libc/src/__support/math/cbrt.h |
| 2025-08-27 01:58:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 02:01:12 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-08-27 02:02:29 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-08-27 02:03:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 02:04:02 +0000 | haskellman | (~haskellma@2a01:e0a:16a:7710:fd55:5b5c:cc6f:c422) |
| 2025-08-27 02:04:08 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 2025-08-27 02:04:23 +0000 | <haskellman> | Hello, how to do formal proofs of Haskell programs ? |
| 2025-08-27 02:06:03 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-08-27 02:06:50 +0000 | <geekosaur> | Axman6: have you considered using FFI to an existing one? |
| 2025-08-27 02:06:58 +0000 | speedycoder | (uid644440@user/speedycoder) speedycoder |
| 2025-08-27 02:07:57 +0000 | <haskellbridge> | <Axman6> That feels overkill for this particular problem, I’m just trying to add a new colour space to the Color package. |
| 2025-08-27 02:09:34 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-27 02:11:58 +0000 | <Leary> | Axman6: https://hackage.haskell.org/package/numeric-extras-0.1/docs/Numeric-Extras.html#v:cbrt |
| 2025-08-27 02:12:02 +0000 | crazazy | (~crazazy@tilde.town) (Ping timeout: 256 seconds) |
| 2025-08-27 02:13:08 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-27 02:13:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 02:18:11 +0000 | haskellman | (~haskellma@2a01:e0a:16a:7710:fd55:5b5c:cc6f:c422) (Ping timeout: 250 seconds) |
| 2025-08-27 02:18:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-27 02:18:32 +0000 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 256 seconds) |
| 2025-08-27 02:20:17 +0000 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-08-27 02:22:48 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 248 seconds) |
| 2025-08-27 02:25:39 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 258 seconds) |
| 2025-08-27 02:27:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 02:28:00 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-08-27 02:28:21 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-08-27 02:31:17 +0000 | haskellman | (~haskellma@2a01:e0a:16a:7710:8e5d:8bc6:7f23:6d6d) |
| 2025-08-27 02:31:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 02:32:29 +0000 | <haskellman> | Hello everyone, Which prover should I choose to prove my Haskell program. Why can't Ijust import Haskell into the prover and have that as part of the compilation step ? How efficient is the code produced ? Thank you. |
| 2025-08-27 02:34:30 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-08-27 02:38:40 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-08-27 02:42:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 02:47:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 02:56:19 +0000 | shapr | (~user@130.44.148.32) (Ping timeout: 258 seconds) |
| 2025-08-27 02:56:39 +0000 | <geekosaur> | there are no provers designed to take unmodified Haskell code. the closest you get is to modify Haskell code for Agda or Idris. |
| 2025-08-27 02:57:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 02:59:34 +0000 | <geekosaur> | (dons modified XMonad.StackSet for Agda and proved it there, although I'm not sure if that's still online anywhere (I'm not finding it on a quick check) |
| 2025-08-27 03:00:16 +0000 | <geekosaur> | (Wouter Swierstra also reimplemented it in Rocq to formally verify it, but that's a much larger transformation than Idris would be) |
| 2025-08-27 03:00:45 +0000 | <geekosaur> | https://webspace.science.uu.nl/~swier004/publications/2012-haskell.pdf |
| 2025-08-27 03:02:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 03:07:57 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-27 03:10:07 +0000 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-08-27 03:11:06 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-08-27 03:11:20 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2025-08-27 03:13:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 03:17:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 03:26:08 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-27 03:26:48 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-08-27 03:28:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 03:29:24 +0000 | aforemny | (~aforemny@2001:9e8:6cc0:e200:af3c:2230:d3c7:66cc) aforemny |
| 2025-08-27 03:29:48 +0000 | aforemny_ | (~aforemny@2001:9e8:6ce0:b400:b37:e7d1:7c56:28e9) (Ping timeout: 244 seconds) |
| 2025-08-27 03:31:51 +0000 | haskellman | (~haskellma@2a01:e0a:16a:7710:8e5d:8bc6:7f23:6d6d) (Ping timeout: 250 seconds) |
| 2025-08-27 03:35:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 03:38:25 +0000 | xff0x_ | xff0x |
| 2025-08-27 03:38:32 +0000 | vetkat9 | (~vetkat@user/vetkat) vetkat |
| 2025-08-27 03:40:01 +0000 | vetkat | (~vetkat@user/vetkat) (Ping timeout: 258 seconds) |
| 2025-08-27 03:40:01 +0000 | vetkat9 | vetkat |
| 2025-08-27 03:40:43 +0000 | sp1ff | (~user@c-24-21-190-184.hsd1.wa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-08-27 03:41:04 +0000 | sp1ff | (~user@c-24-21-190-184.hsd1.wa.comcast.net) sp1ff |
| 2025-08-27 03:41:06 +0000 | catties | (~catties@user/meow/catties) (Server closed connection) |
| 2025-08-27 03:41:07 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-08-27 03:41:26 +0000 | catties | (~catties@user/meow/catties) catties |
| 2025-08-27 03:43:40 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-08-27 03:46:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 03:51:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-27 03:54:54 +0000 | nitrix_ | nitrix |
| 2025-08-27 03:55:47 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-08-27 03:58:15 +0000 | crazazy | (~crazazy@tilde.town) crazazy |
| 2025-08-27 04:00:24 +0000 | noctux | (~noctux@user/noctux) (Server closed connection) |
| 2025-08-27 04:00:33 +0000 | noctux | (~noctux@user/noctux) noctux |
| 2025-08-27 04:01:29 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 258 seconds) |
| 2025-08-27 04:12:42 +0000 | visilii | (~visilii@213.24.125.93) |
| 2025-08-27 04:13:44 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-08-27 04:23:42 +0000 | crazazy | (~crazazy@tilde.town) (Quit: WeeChat 4.6.3) |
| 2025-08-27 04:28:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 04:32:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 04:32:55 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
| 2025-08-27 04:41:40 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-08-27 04:43:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 04:44:05 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-08-27 04:45:48 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-08-27 04:45:57 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-08-27 04:46:10 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-08-27 04:47:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-27 04:49:42 +0000 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
| 2025-08-27 04:50:03 +0000 | pierrot | (~pi@user/pierrot) pierrot |
| 2025-08-27 04:50:03 +0000 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 2025-08-27 04:51:35 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 245 seconds) |
| 2025-08-27 04:53:13 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-08-27 04:53:36 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-08-27 04:53:36 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-27 04:56:59 +0000 | FragByte | (~christian@user/fragbyte) (Server closed connection) |
| 2025-08-27 04:57:11 +0000 | FragByte | (~christian@user/fragbyte) FragByte |
| 2025-08-27 04:58:01 +0000 | michalz | (~michalz@185.246.207.221) |
| 2025-08-27 04:58:21 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 256 seconds) |
| 2025-08-27 04:58:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 04:59:52 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-27 05:00:20 +0000 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 2025-08-27 05:02:01 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-27 05:03:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 05:04:44 +0000 | leah2 | (~leah@vuxu.org) (Server closed connection) |
| 2025-08-27 05:05:08 +0000 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-08-27 05:06:11 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-27 05:06:25 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-08-27 05:13:40 +0000 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 245 seconds) |
| 2025-08-27 05:14:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 05:14:42 +0000 | speedycoder | (uid644440@user/speedycoder) (Quit: Connection closed for inactivity) |
| 2025-08-27 05:18:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 05:20:41 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-08-27 05:28:59 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-08-27 05:29:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 05:33:29 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-08-27 05:36:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 05:40:46 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-08-27 05:43:51 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-08-27 05:44:34 +0000 | takuan | (~takuan@d8d86b9e9.access.telenet.be) |
| 2025-08-27 05:47:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 05:49:34 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-27 05:49:48 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-27 05:51:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 06:01:19 +0000 | Guest3761 | (jinsun@here.and.ready-to.party) (Server closed connection) |
| 2025-08-27 06:01:30 +0000 | jinsun | (jinsun@here.and.ready-to.party) |
| 2025-08-27 06:01:54 +0000 | jinsun | Guest1285 |
| 2025-08-27 06:02:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 06:07:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 06:10:27 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-27 06:11:10 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-08-27 06:11:30 +0000 | biberu | (~biberu@user/biberu) biberu |
| 2025-08-27 06:15:08 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2025-08-27 06:17:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 06:18:53 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-08-27 06:25:29 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-08-27 06:25:47 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-08-27 06:29:16 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-08-27 06:36:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 06:37:59 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-27 06:38:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 06:40:35 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Server closed connection) |
| 2025-08-27 06:40:43 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2025-08-27 06:41:53 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-08-27 06:44:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 06:45:01 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-27 06:45:14 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-27 06:45:35 +0000 | paul | (~paul@p200300d0c724c99a612f58614c2690c9.dip0.t-ipconnect.de) |
| 2025-08-27 06:45:39 +0000 | paul | Guest1336 |
| 2025-08-27 06:50:18 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-08-27 06:52:49 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-08-27 06:54:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 06:55:35 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-27 07:00:02 +0000 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-27 07:00:42 +0000 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-27 07:01:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 07:04:58 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-27 07:07:03 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-27 07:13:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 07:17:59 +0000 | Square3 | (~Square4@user/square) Square |
| 2025-08-27 07:18:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 07:21:40 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-08-27 07:25:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 07:27:20 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-08-27 07:30:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 07:33:30 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-08-27 07:36:47 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-27 07:38:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-27 07:41:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 07:48:18 +0000 | acidjnk | (~acidjnk@p200300d6e7171900a9f37d216dcd4f2e.dip0.t-ipconnect.de) acidjnk |
| 2025-08-27 07:48:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 07:49:42 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-08-27 07:50:42 +0000 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-08-27 07:54:34 +0000 | bgtdsword | (b968c1779f@user/titibandit) (Server closed connection) |
| 2025-08-27 07:54:44 +0000 | bgtdsword | (b968c1779f@user/titibandit) titibandit |
| 2025-08-27 07:55:54 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-27 07:57:09 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-27 07:57:16 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-08-27 07:58:34 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
| 2025-08-27 07:59:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 08:01:27 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-08-27 08:04:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 08:05:44 +0000 | aforemny | (~aforemny@2001:9e8:6cc0:e200:af3c:2230:d3c7:66cc) (Ping timeout: 248 seconds) |
| 2025-08-27 08:06:20 +0000 | aforemny | (~aforemny@2001:9e8:6cc5:2e00:296d:a9d3:b7bc:dd10) aforemny |
| 2025-08-27 08:09:59 +0000 | ridcully | (~ridcully@p508ac666.dip0.t-ipconnect.de) (Server closed connection) |
| 2025-08-27 08:10:22 +0000 | ridcully | (~ridcully@p508ac666.dip0.t-ipconnect.de) ridcully |
| 2025-08-27 08:13:18 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-27 08:13:52 +0000 | xnyhps | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (Server closed connection) |
| 2025-08-27 08:14:04 +0000 | xnyhps | (~xnyhps@s.xnyhps.nl) |
| 2025-08-27 08:15:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 08:19:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 08:22:42 +0000 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-08-27 08:23:04 +0000 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw |
| 2025-08-27 08:23:12 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2025-08-27 08:24:11 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Server closed connection) |
| 2025-08-27 08:24:19 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2025-08-27 08:25:22 +0000 | kuribas | (~user@2a02-1810-2825-6000-1263-84d5-2db5-c188.ip6.access.telenet.be) kuribas |
| 2025-08-27 08:27:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 08:32:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 08:35:50 +0000 | chele | (~chele@user/chele) chele |
| 2025-08-27 08:37:31 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-27 08:43:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 08:50:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 09:00:46 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-08-27 09:01:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 09:02:35 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-27 09:06:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 09:10:29 +0000 | Rain_ | (\@user/Rain-:22721) Rain_ |
| 2025-08-27 09:13:35 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-08-27 09:15:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 09:16:54 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-08-27 09:20:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 09:22:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 09:27:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 09:30:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 09:33:03 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-08-27 09:33:53 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-27 09:35:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 09:38:25 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-08-27 09:41:07 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-08-27 09:41:08 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-27 09:41:22 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-08-27 09:44:36 +0000 | xal | (~xal@mx1.xal.systems) (Server closed connection) |
| 2025-08-27 09:44:51 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2025-08-27 09:46:09 +0000 | trickard_ | trickard |
| 2025-08-27 09:46:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 09:53:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 09:54:16 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
| 2025-08-27 10:00:01 +0000 | bionade24 | (~quassel@server2.oscloud.info) (Server closed connection) |
| 2025-08-27 10:00:13 +0000 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
| 2025-08-27 10:00:45 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2025-08-27 10:04:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 10:06:11 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-27 10:09:08 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-27 10:09:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 10:16:56 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-08-27 10:17:25 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
| 2025-08-27 10:18:08 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-27 10:20:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 10:25:05 +0000 | septimi | (9f60f4cb70@user/septimi) (Server closed connection) |
| 2025-08-27 10:25:13 +0000 | septimi | (9f60f4cb70@user/septimi) septimi |
| 2025-08-27 10:25:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 10:28:27 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-08-27 10:31:36 +0000 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2025-08-27 10:34:42 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-27 10:35:02 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-08-27 10:36:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 10:36:12 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-08-27 10:37:33 +0000 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-08-27 10:40:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-27 10:44:54 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-27 10:46:35 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds) |
| 2025-08-27 10:48:02 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-08-27 10:49:16 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-08-27 10:51:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 10:53:06 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2025-08-27 10:54:30 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-27 10:54:43 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-27 10:56:47 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-08-27 10:57:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 10:57:53 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-27 11:01:44 +0000 | xff0x | (~xff0x@2405:6580:b080:900:13b:339d:e634:5db3) |
| 2025-08-27 11:05:40 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-27 11:05:47 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-08-27 11:07:16 +0000 | crazazy | (crazazy@tilde.town) crazazy |
| 2025-08-27 11:07:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 11:10:26 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2025-08-27 11:14:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 11:15:08 +0000 | sprotte24 | (~sprotte24@p200300d16f05d70019dbd74b079549bc.dip0.t-ipconnect.de) |
| 2025-08-27 11:16:36 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2025-08-27 11:19:46 +0000 | sm2n | (ae95cb1267@user/sm2n) (Server closed connection) |
| 2025-08-27 11:19:56 +0000 | sm2n | (ae95cb1267@user/sm2n) sm2n |
| 2025-08-27 11:22:43 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-08-27 11:22:56 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-27 11:23:38 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-27 11:23:39 +0000 | divlamir | zhelezov |
| 2025-08-27 11:23:50 +0000 | zhelezov | divlamir |
| 2025-08-27 11:25:42 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-27 11:25:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 11:25:56 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-27 11:26:16 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-08-27 11:30:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-27 11:33:39 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-27 11:35:45 +0000 | ubert1 | (~Thunderbi@178.115.39.91.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 2025-08-27 11:38:53 +0000 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-08-27 11:39:22 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
| 2025-08-27 11:41:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 11:45:42 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-27 11:46:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-27 11:49:35 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-27 11:50:18 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-08-27 11:56:54 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-08-27 11:57:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 11:59:40 +0000 | img | (~img@user/img) img |
| 2025-08-27 12:02:03 +0000 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2025-08-27 12:02:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 12:02:35 +0000 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-08-27 12:04:03 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-27 12:06:01 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-27 12:06:35 +0000 | haritz | (~hrtz@209.35.65.79) |
| 2025-08-27 12:06:35 +0000 | haritz | (~hrtz@209.35.65.79) (Changing host) |
| 2025-08-27 12:06:35 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-08-27 12:10:21 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-27 12:10:53 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-08-27 12:12:56 +0000 | trickard_ | trickard |
| 2025-08-27 12:13:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 12:14:25 +0000 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-27 12:14:45 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-08-27 12:15:57 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-27 12:16:10 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-27 12:16:37 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-27 12:17:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-27 12:19:04 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-08-27 12:20:27 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-27 12:28:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 12:32:09 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-27 12:32:36 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-08-27 12:33:19 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-27 12:33:52 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-08-27 12:34:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-27 12:34:23 +0000 | AlexNoo | (~AlexNoo@5.139.233.33) (Read error: Connection reset by peer) |
| 2025-08-27 12:34:47 +0000 | AlexNoo | (~AlexNoo@5.139.233.33) |
| 2025-08-27 12:37:06 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-27 12:38:21 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-08-27 12:39:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 12:40:25 +0000 | Square3 | (~Square4@user/square) Square |
| 2025-08-27 12:40:50 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-08-27 12:41:29 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-08-27 12:43:54 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-27 12:44:26 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-08-27 12:47:04 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-08-27 12:47:50 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2025-08-27 12:53:44 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-08-27 12:54:21 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-27 12:54:35 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-27 12:55:14 +0000 | Lycurgus | (~juan@user/Lycurgus) (Read error: Connection reset by peer) |
| 2025-08-27 13:00:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 13:03:40 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-27 13:04:57 +0000 | califax | (~califax@user/califx) califx |
| 2025-08-27 13:06:50 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-27 13:11:20 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2025-08-27 13:11:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 13:16:33 +0000 | trickard_ | trickard |
| 2025-08-27 13:18:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 13:29:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 13:33:30 +0000 | mange | (~mange@user/mange) (Remote host closed the connection) |
| 2025-08-27 13:34:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 13:45:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 13:45:52 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-27 13:49:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 13:55:19 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-08-27 14:00:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 14:04:29 +0000 | drlkf | (~drlkf@chat-1.drlkf.net) (Server closed connection) |
| 2025-08-27 14:04:54 +0000 | drlkf | (~drlkf@chat-1.drlkf.net) drlkf |
| 2025-08-27 14:05:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-27 14:06:40 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-08-27 14:14:06 +0000 | xff0x | (~xff0x@2405:6580:b080:900:13b:339d:e634:5db3) (Remote host closed the connection) |
| 2025-08-27 14:14:08 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Server closed connection) |
| 2025-08-27 14:14:28 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-08-27 14:15:06 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ea4b:3270:9e7c:9f54) |
| 2025-08-27 14:15:56 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ea4b:3270:9e7c:9f54) (Client Quit) |
| 2025-08-27 14:16:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 14:18:57 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c3c2:5734:3789:d6a1) |
| 2025-08-27 14:21:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 14:26:52 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-08-27 14:32:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 14:32:57 +0000 | <bwe> | What's the proper way to run `cabal repl` with `n` threads? `cabal repl --ghc-options='+RTS -N5'` does not show that it's run in threaded mode, should it? |
| 2025-08-27 14:33:49 +0000 | Guest1336 | (~paul@p200300d0c724c99a612f58614c2690c9.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2025-08-27 14:36:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 14:40:18 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-27 14:45:52 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-08-27 14:47:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 14:49:46 +0000 | <EvanR> | maybe this https://jezenthomas.com/2025/03/10x-speedup-in-ghci/ |
| 2025-08-27 14:50:00 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-08-27 14:52:44 +0000 | biberu\ | (~biberu@user/biberu) biberu |
| 2025-08-27 14:53:06 +0000 | <bwe> | Should ghc should show me whether it starts in threaded mode or not? |
| 2025-08-27 14:53:07 +0000 | AlexNoo_ | (~AlexNoo@5.139.233.33) |
| 2025-08-27 14:53:31 +0000 | chele_ | (~chele@user/chele) chele |
| 2025-08-27 14:53:50 +0000 | zarakshR1 | (~Thunderbi@2a02:c7c:7641:a500:b260:88ff:fe0b:ae5f) zarakshR |
| 2025-08-27 14:54:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 14:54:57 +0000 | haritzondo | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-08-27 14:56:05 +0000 | <EvanR> | threaded or not is a compile time thing |
| 2025-08-27 14:56:26 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-08-27 14:56:29 +0000 | <bwe> | so, how can I check whether my options worked? |
| 2025-08-27 14:57:25 +0000 | ent-_ | (~entgod@kapsi.fi) ent |
| 2025-08-27 14:57:28 +0000 | <EvanR> | according to this stackoverflow there is rtsSupportsBoundThreads in Control.Concurrent |
| 2025-08-27 14:57:44 +0000 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-08-27 14:58:06 +0000 | <EvanR> | which isn't literally the same question but might work |
| 2025-08-27 14:58:32 +0000 | <bwe> | it returns True for me |
| 2025-08-27 14:59:16 +0000 | <EvanR> | in ghci? |
| 2025-08-27 14:59:22 +0000 | <bwe> | yes |
| 2025-08-27 14:59:31 +0000 | <EvanR> | I wonder if that's talking about the ghci program |
| 2025-08-27 14:59:43 +0000 | <EvanR> | not your program |
| 2025-08-27 14:59:55 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-08-27 15:00:00 +0000 | <EvanR> | either way, you ought to have your threads |
| 2025-08-27 15:00:12 +0000 | <EvanR> | capabilities > 1 |
| 2025-08-27 15:00:48 +0000 | <bwe> | where do I find that? |
| 2025-08-27 15:01:16 +0000 | <bwe> | it's really a pity, having a pure language yet the interface to use threads is so so user-unfriendly. I just want to turn it on in ghci and know whether it's actually turned on, so I can just focus on my code. |
| 2025-08-27 15:02:00 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | karenw | (~karenw@user/karenw) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | AlexNoo | (~AlexNoo@5.139.233.33) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | haritz | (~hrtz@user/haritz) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | tremon | (~tremon@83.80.159.219) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | chele | (~chele@user/chele) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | biberu | (~biberu@user/biberu) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | visilii | (~visilii@213.24.125.93) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | pabs3 | (~pabs3@user/pabs3) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | noctuks | (eCIc2Rhff8@user/noctux) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | nitrix | (~nitrix@user/meow/nitrix) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | nicole | (ilbelkyr@libera/staff/ilbelkyr) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | n3t | (~n3t@user/n3t) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | ent- | (entgod@kapsi.fi) (*.net *.split) |
| 2025-08-27 15:02:00 +0000 | zarakshR1 | zarakshR |
| 2025-08-27 15:02:03 +0000 | biberu\ | biberu |
| 2025-08-27 15:02:49 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-08-27 15:02:57 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-27 15:02:57 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-08-27 15:02:57 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-27 15:02:57 +0000 | visilii | (~visilii@213.24.125.93) |
| 2025-08-27 15:02:57 +0000 | noctuks | (eCIc2Rhff8@user/noctux) noctux |
| 2025-08-27 15:02:57 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-08-27 15:02:57 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2025-08-27 15:02:57 +0000 | nicole | (ilbelkyr@libera/staff/ilbelkyr) ilbelkyr |
| 2025-08-27 15:02:57 +0000 | n3t | (~n3t@user/n3t) n3t |
| 2025-08-27 15:08:18 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-08-27 15:08:48 +0000 | <EvanR> | bwe, you just determined the threaded runtime "is on" |
| 2025-08-27 15:09:00 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-08-27 15:09:30 +0000 | <EvanR> | there is another thing in Control.Concurrent to set number of capabilities at runtime, which only works if you're using the threaded runtime |
| 2025-08-27 15:09:33 +0000 | <EvanR> | setNumCapabilities |
| 2025-08-27 15:09:33 +0000 | Everything | (~Everythin@31.144.53.103) Everything |
| 2025-08-27 15:09:50 +0000 | <EvanR> | see documentation |
| 2025-08-27 15:13:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 15:13:49 +0000 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 2025-08-27 15:15:28 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-08-27 15:17:40 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
| 2025-08-27 15:17:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 15:18:15 +0000 | <bwe> | oh, it works -- thanks, EvanR! |
| 2025-08-27 15:19:49 +0000 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-08-27 15:19:49 +0000 | ChanServ | +v haskellbridge |
| 2025-08-27 15:21:42 +0000 | inline_ | inline |
| 2025-08-27 15:21:54 +0000 | turlando_ | (~turlando@user/turlando) () |
| 2025-08-27 15:28:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 15:30:02 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-27 15:34:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 15:35:42 +0000 | visilii | (~visilii@213.24.125.93) (Ping timeout: 258 seconds) |
| 2025-08-27 15:44:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 15:49:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 15:50:03 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-08-27 15:50:38 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-27 15:51:37 +0000 | AlexZenon | (~alzenon@5.139.233.33) (Ping timeout: 260 seconds) |
| 2025-08-27 15:56:36 +0000 | AlexZenon | (~alzenon@5.139.233.33) |
| 2025-08-27 15:58:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 16:01:31 +0000 | AlexZenon | (~alzenon@5.139.233.33) (Ping timeout: 248 seconds) |
| 2025-08-27 16:04:55 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-27 16:07:49 +0000 | sprotte24 | (~sprotte24@p200300d16f05d70019dbd74b079549bc.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-08-27 16:09:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 16:10:07 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
| 2025-08-27 16:12:24 +0000 | Googulator | (~Googulato@2a01:36d:106:28ad:d14e:68ce:c41e:4464) (Quit: Client closed) |
| 2025-08-27 16:12:41 +0000 | Googulator | (~Googulato@2a01-036d-0106-28ad-d14e-68ce-c41e-4464.pool6.digikabel.hu) |
| 2025-08-27 16:14:04 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Client Quit) |
| 2025-08-27 16:18:05 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2025-08-27 16:22:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 16:24:29 +0000 | orcus | (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-08-27 16:24:29 +0000 | dispater | (~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-08-27 16:25:21 +0000 | Xe | (~Xe@perl/impostor/xe) (Server closed connection) |
| 2025-08-27 16:25:37 +0000 | chele_ | (~chele@user/chele) (Remote host closed the connection) |
| 2025-08-27 16:26:14 +0000 | dispater | (~dispater@user/brprice) brprice |
| 2025-08-27 16:26:44 +0000 | orcus | (~orcus@user/brprice) brprice |
| 2025-08-27 16:26:57 +0000 | orcus | (~orcus@user/brprice) (Client Quit) |
| 2025-08-27 16:26:57 +0000 | dispater | (~dispater@user/brprice) (Client Quit) |
| 2025-08-27 16:26:57 +0000 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-08-27 16:26:58 +0000 | AlexZenon | (~alzenon@5.139.233.33) |
| 2025-08-27 16:27:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 16:28:21 +0000 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 2025-08-27 16:28:26 +0000 | dispater | (~dispater@user/brprice) brprice |
| 2025-08-27 16:28:26 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-08-27 16:28:56 +0000 | orcus | (~orcus@user/brprice) brprice |
| 2025-08-27 16:30:42 +0000 | zarakshR | (~Thunderbi@2a02:c7c:7641:a500:b260:88ff:fe0b:ae5f) (Ping timeout: 252 seconds) |
| 2025-08-27 16:33:50 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-08-27 16:34:06 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-08-27 16:36:45 +0000 | AlexZenon | (~alzenon@5.139.233.33) (Ping timeout: 252 seconds) |
| 2025-08-27 16:37:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 16:38:51 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-08-27 16:40:47 +0000 | dispater | (~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-08-27 16:40:47 +0000 | orcus | (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-08-27 16:42:39 +0000 | dispater | (~dispater@user/brprice) brprice |
| 2025-08-27 16:43:09 +0000 | orcus | (~orcus@user/brprice) brprice |
| 2025-08-27 16:44:30 +0000 | dispater | (~dispater@user/brprice) (Client Quit) |
| 2025-08-27 16:44:30 +0000 | orcus | (~orcus@user/brprice) (Client Quit) |
| 2025-08-27 16:44:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 16:46:17 +0000 | dispater | (~dispater@user/brprice) brprice |
| 2025-08-27 16:46:47 +0000 | orcus | (~orcus@user/brprice) brprice |
| 2025-08-27 16:47:44 +0000 | AlexZenon | (~alzenon@5.139.233.33) |
| 2025-08-27 16:47:54 +0000 | AlexNoo_ | AlexNoo |
| 2025-08-27 16:48:46 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-08-27 16:51:46 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-08-27 16:55:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 16:59:03 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-08-27 16:59:17 +0000 | AlexZenon | (~alzenon@5.139.233.33) (Ping timeout: 260 seconds) |
| 2025-08-27 16:59:47 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-27 17:03:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 17:04:25 +0000 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) zarakshR |
| 2025-08-27 17:08:36 +0000 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-08-27 17:08:53 +0000 | emperori | (~emperori@2401:4900:4df9:1889:95c:a6c1:f7d0:215) |
| 2025-08-27 17:09:13 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-08-27 17:11:23 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-08-27 17:14:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 17:17:39 +0000 | AlexZenon | (~alzenon@5.139.233.33) |
| 2025-08-27 17:19:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 17:20:28 +0000 | emperori | (~emperori@2401:4900:4df9:1889:95c:a6c1:f7d0:215) (Read error: Connection reset by peer) |
| 2025-08-27 17:20:51 +0000 | emperori | (~emperori@106.195.33.134) |
| 2025-08-27 17:21:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-27 17:28:53 +0000 | AlexZenon | (~alzenon@5.139.233.33) (Ping timeout: 256 seconds) |
| 2025-08-27 17:29:38 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
| 2025-08-27 17:30:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 17:30:42 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2025-08-27 17:36:01 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-08-27 17:38:06 +0000 | Square2 | (~Square@user/square) Square |
| 2025-08-27 17:39:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-27 17:40:18 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-27 17:41:54 +0000 | AlexZenon | (~alzenon@5.139.233.33) |
| 2025-08-27 17:41:55 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2025-08-27 17:42:33 +0000 | bliminse | (~bliminse@user/bliminse) (Server closed connection) |
| 2025-08-27 17:42:48 +0000 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-08-27 17:44:25 +0000 | Alex_test_ | (~al_test@5.139.233.33) |
| 2025-08-27 17:44:30 +0000 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) (Ping timeout: 258 seconds) |
| 2025-08-27 17:49:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2025-08-27 17:51:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 17:53:19 +0000 | Alex_test_ | (~al_test@5.139.233.33) (Ping timeout: 258 seconds) |
| 2025-08-27 17:53:19 +0000 | AlexZenon | (~alzenon@5.139.233.33) (Ping timeout: 258 seconds) |
| 2025-08-27 17:54:23 +0000 | Everything | (~Everythin@31.144.53.103) (Ping timeout: 256 seconds) |
| 2025-08-27 17:56:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 17:59:42 +0000 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) zarakshR |
| 2025-08-27 18:00:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 18:02:08 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-27 18:02:43 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-08-27 18:03:41 +0000 | AlexZenon | (~alzenon@5.139.233.33) |
| 2025-08-27 18:05:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 18:08:42 +0000 | AlexZenon | (~alzenon@5.139.233.33) (Ping timeout: 260 seconds) |
| 2025-08-27 18:15:23 +0000 | lbseale | (~quassel@user/ep1ctetus) (Server closed connection) |
| 2025-08-27 18:15:40 +0000 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-08-27 18:16:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 18:17:37 +0000 | sprotte24 | (~sprotte24@p200300d16f05d70019dbd74b079549bc.dip0.t-ipconnect.de) |
| 2025-08-27 18:18:09 +0000 | AlexZenon | (~alzenon@5.139.233.33) |
| 2025-08-27 18:21:25 +0000 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) ft |
| 2025-08-27 18:22:27 +0000 | kuribas | (~user@2a02-1810-2825-6000-1263-84d5-2db5-c188.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-08-27 18:22:41 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-08-27 18:23:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 18:23:52 +0000 | AlexZenon | (~alzenon@5.139.233.33) (Ping timeout: 260 seconds) |
| 2025-08-27 18:31:47 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-08-27 18:32:09 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-27 18:34:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 18:38:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-27 18:39:11 +0000 | visilii | (~visilii@213.24.125.93) |
| 2025-08-27 18:39:34 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-27 18:39:48 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-27 18:40:09 +0000 | AlexZenon | (~alzenon@5.139.233.33) |
| 2025-08-27 18:47:20 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-08-27 18:47:20 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-08-27 18:49:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 18:53:16 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-27 18:54:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 18:56:32 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-27 18:57:07 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-08-27 18:57:07 +0000 | ljdarj1 | ljdarj |
| 2025-08-27 18:57:39 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-27 18:57:50 +0000 | AlexZenon | (~alzenon@5.139.233.33) (Ping timeout: 245 seconds) |
| 2025-08-27 18:59:38 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 2025-08-27 19:00:04 +0000 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-27 19:00:25 +0000 | sus | (1b7af6299f@user/zeromomentum) (Server closed connection) |
| 2025-08-27 19:00:33 +0000 | sus | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2025-08-27 19:00:44 +0000 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-27 19:01:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 19:02:06 +0000 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 256 seconds) |
| 2025-08-27 19:02:42 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2025-08-27 19:04:05 +0000 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-08-27 19:05:07 +0000 | dpk | (~dpk@jains.nonceword.org) (Remote host closed the connection) |
| 2025-08-27 19:06:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-27 19:10:27 +0000 | emperori | (~emperori@106.195.33.134) (Remote host closed the connection) |
| 2025-08-27 19:10:27 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-27 19:10:47 +0000 | emperori | (~emperori@106.195.33.134) |
| 2025-08-27 19:11:20 +0000 | AlexZenon | (~alzenon@5.139.233.33) |
| 2025-08-27 19:11:53 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-27 19:12:33 +0000 | trickard_ | trickard |
| 2025-08-27 19:14:39 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-08-27 19:16:24 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-27 19:17:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 19:17:50 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2025-08-27 19:17:54 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
| 2025-08-27 19:18:43 +0000 | Googulator88 | (~Googulato@2a01-036d-0106-28ad-d14e-68ce-c41e-4464.pool6.digikabel.hu) |
| 2025-08-27 19:20:22 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-27 19:20:35 +0000 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-08-27 19:22:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 19:22:35 +0000 | Googulator | (~Googulato@2a01-036d-0106-28ad-d14e-68ce-c41e-4464.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-08-27 19:25:37 +0000 | AlexZenon | (~alzenon@5.139.233.33) (Ping timeout: 256 seconds) |
| 2025-08-27 19:27:32 +0000 | dpk | (~dpk@jains.nonceword.org) |
| 2025-08-27 19:32:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 19:34:54 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-08-27 19:37:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 19:41:44 +0000 | Googulator68 | (~Googulato@2a01-036d-0106-28ad-d14e-68ce-c41e-4464.pool6.digikabel.hu) |
| 2025-08-27 19:42:29 +0000 | segfaultfizzbuzz | (~segfaultf@142.254.125.158) segfaultfizzbuzz |
| 2025-08-27 19:44:43 +0000 | AlexZenon | (~alzenon@5.139.233.33) |
| 2025-08-27 19:44:54 +0000 | emperori | (~emperori@106.195.33.134) (Read error: Connection reset by peer) |
| 2025-08-27 19:45:33 +0000 | Googulator88 | (~Googulato@2a01-036d-0106-28ad-d14e-68ce-c41e-4464.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-08-27 19:48:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 19:52:55 +0000 | AlexZenon | (~alzenon@5.139.233.33) (Ping timeout: 258 seconds) |
| 2025-08-27 19:52:59 +0000 | segfaultfizzbuzz | (~segfaultf@142.254.125.158) (Ping timeout: 248 seconds) |
| 2025-08-27 19:53:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-27 19:55:00 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-08-27 19:55:23 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-27 19:55:35 +0000 | sus0 | (zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net) |
| 2025-08-27 19:55:37 +0000 | end | (~end@user/end/x-0094621) (Quit: end) |
| 2025-08-27 19:55:37 +0000 | bcksl | (~bcksl@user/bcksl) (Quit: \) |
| 2025-08-27 19:58:56 +0000 | eron | (~eron@152.250.226.217) lidenbrock |
| 2025-08-27 20:00:26 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-27 20:02:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 20:04:15 +0000 | AlexZenon | (~alzenon@5.139.233.33) |
| 2025-08-27 20:04:45 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Server closed connection) |
| 2025-08-27 20:04:54 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) ursa-major |
| 2025-08-27 20:08:27 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-08-27 20:09:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 20:11:11 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Server closed connection) |
| 2025-08-27 20:11:19 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) chaitlatte0 |
| 2025-08-27 20:12:12 +0000 | thenightmail | (~thelounge@user/thenightmail) (The Lounge - https://thelounge.chat) |
| 2025-08-27 20:12:40 +0000 | AlexZenon | (~alzenon@5.139.233.33) (Ping timeout: 256 seconds) |
| 2025-08-27 20:12:50 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-08-27 20:18:00 +0000 | trickard_ | trickard |
| 2025-08-27 20:20:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 20:24:24 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-08-27 20:25:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 20:29:40 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-08-27 20:31:38 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 258 seconds) |
| 2025-08-27 20:35:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 20:41:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 20:48:55 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-27 20:50:19 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-08-27 20:51:26 +0000 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) mreh |
| 2025-08-27 20:51:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 20:54:01 +0000 | eron | (~eron@152.250.226.217) (Ping timeout: 250 seconds) |
| 2025-08-27 20:54:22 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-27 20:56:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-27 20:58:24 +0000 | <tomsmeding> | why does exposed-modules: in a cabal file accept a comma-less list of module names, but not reexported-modules: |
| 2025-08-27 21:02:19 +0000 | <hellwolf> | | Some fields take lists of values, which are optionally separated by commas, except for the build-depends field, where the commas are mandatory. |
| 2025-08-27 21:02:37 +0000 | <hellwolf> | nothing said about "reexported-modules", though. |
| 2025-08-27 21:02:50 +0000 | <hellwolf> | very arbitrary... |
| 2025-08-27 21:03:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 21:04:56 +0000 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-08-27 21:05:08 +0000 | trickard__ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-08-27 21:06:48 +0000 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-08-27 21:07:36 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-27 21:07:40 +0000 | Square2 | (~Square@user/square) (Ping timeout: 258 seconds) |
| 2025-08-27 21:08:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 21:09:05 +0000 | down200 | (~down200@shell.lug.mtu.edu) (Server closed connection) |
| 2025-08-27 21:10:34 +0000 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-08-27 21:16:28 +0000 | takuan | (~takuan@d8d86b9e9.access.telenet.be) (Remote host closed the connection) |
| 2025-08-27 21:19:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 21:20:04 +0000 | <int-e> | tomsmeding: it's because you can have stuff like `reexported-modules: containers:Data.Map as DataMap` so spaces aren't good separators |
| 2025-08-27 21:21:03 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-27 21:21:58 +0000 | <int-e> | (or at least you could when https://github.com/haskell/cabal/commit/62450f9a81bb7efccf1325a6addb15f693dcf755 landed; I have not actually checked whether that has changed) |
| 2025-08-27 21:22:11 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-27 21:23:00 +0000 | <tomsmeding> | int-e: :o that saves me a mixins clause |
| 2025-08-27 21:24:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 21:24:47 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-08-27 21:26:34 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-08-27 21:27:02 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-27 21:27:43 +0000 | lyxia | (~lyxia@poisson.chat) (Server closed connection) |
| 2025-08-27 21:27:44 +0000 | <tomsmeding> | okay it doesn't actually work for me |
| 2025-08-27 21:28:00 +0000 | lyxia | (~lyxia@poisson.chat) |
| 2025-08-27 21:28:13 +0000 | <tomsmeding> | the modules to rename come from a sublibrary, and I want the renamed modules to be available inside the library itself too; somehow this is making ghc very confused |
| 2025-08-27 21:28:36 +0000 | <tomsmeding> | it tells me "could not load module 'renamed name'; it is a member of the hidden package 'sublibrary name'" |
| 2025-08-27 21:28:58 +0000 | <tomsmeding> | 1. no it's not, the original name is; 2. you should not be looking for it in the sublibrary, it's a reexport of yourself, dammit |
| 2025-08-27 21:29:07 +0000 | <tomsmeding> | but with mixins it did work so I'll use that instead :p |
| 2025-08-27 21:29:32 +0000 | <int-e> | it doesn't sound like a *re*export |
| 2025-08-27 21:30:09 +0000 | <int-e> | (I have no experience whatsoever with that feature, I just traced some repository history) |
| 2025-08-27 21:31:32 +0000 | <tomsmeding> | but thank you in any case, that does explain the required commas :) |
| 2025-08-27 21:31:43 +0000 | <tomsmeding> | although it would technically be unambiguous since "as" starts with a lowercase letter, and modules don't |
| 2025-08-27 21:32:04 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-08-27 21:32:04 +0000 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-08-27 21:33:21 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-08-27 21:33:49 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-08-27 21:33:50 +0000 | <geekosaur> | tomsmeding, could you open a ticket about that? |
| 2025-08-27 21:34:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 21:35:00 +0000 | <tomsmeding> | geekosaur: I don't even know if what I'm doing is supposed to work, and in any case, if possible I'd like to stay within the subset of features that stack also supports |
| 2025-08-27 21:35:27 +0000 | <geekosaur> | you blew that with mixins 🙂 |
| 2025-08-27 21:35:35 +0000 | <tomsmeding> | I think stack supports mixins |
| 2025-08-27 21:35:59 +0000 | <tomsmeding> | otherwise why would people complain that `stack repl` fails at a particular use of them, but not in general? https://github.com/commercialhaskell/stack/issues/5077 |
| 2025-08-27 21:37:47 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-27 21:38:44 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-27 21:39:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 21:41:28 +0000 | jmcantrell_ | jmcantrell |
| 2025-08-27 21:41:54 +0000 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Quit: Lost terminal) |
| 2025-08-27 21:50:04 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-27 21:50:25 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-27 21:50:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 21:54:00 +0000 | asivitz | (uid178348@id-178348.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-08-27 21:55:37 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-08-27 21:56:11 +0000 | segfaultfizzbuzz | (~segfaultf@142.254.125.158) segfaultfizzbuzz |
| 2025-08-27 21:57:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-27 22:00:34 +0000 | segfaultfizzbuzz | (~segfaultf@142.254.125.158) (Ping timeout: 258 seconds) |
| 2025-08-27 22:00:37 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-08-27 22:01:00 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-08-27 22:15:08 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 2025-08-27 22:15:55 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-08-27 22:16:52 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-27 22:19:17 +0000 | hc | (~hc@mail.hce.li) (Server closed connection) |
| 2025-08-27 22:19:31 +0000 | hc | (~hc@mail.hce.li) hc |
| 2025-08-27 22:20:50 +0000 | peutri | (~peutri@bobo.desast.re) (Server closed connection) |
| 2025-08-27 22:21:00 +0000 | peutri | (~peutri@bobo.desast.re) peutri |
| 2025-08-27 22:30:36 +0000 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-08-27 22:37:54 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-27 22:40:34 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-27 22:44:32 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-08-27 22:44:32 +0000 | ljdarj1 | ljdarj |
| 2025-08-27 22:44:58 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-27 22:50:57 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-08-27 22:58:11 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-08-27 22:59:36 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c3c2:5734:3789:d6a1) (Ping timeout: 248 seconds) |
| 2025-08-27 23:00:32 +0000 | xff0x | (~xff0x@2405:6580:b080:900:19de:4997:404:5625) |
| 2025-08-27 23:01:21 +0000 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-27 23:08:02 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2025-08-27 23:10:24 +0000 | sprotte24 | (~sprotte24@p200300d16f05d70019dbd74b079549bc.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-08-27 23:11:56 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 244 seconds) |
| 2025-08-27 23:19:37 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-27 23:20:02 +0000 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-08-27 23:21:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 23:21:48 +0000 | Axman9593 | (~Axman6@user/axman6) Axman6 |
| 2025-08-27 23:23:57 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-27 23:26:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-27 23:26:49 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2025-08-27 23:30:22 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-27 23:30:45 +0000 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2025-08-27 23:32:16 +0000 | lol_ | (~lol@2603:3016:1e01:b960:14c0:7a30:3283:d6ed) |
| 2025-08-27 23:32:40 +0000 | trickard__ | trickard |
| 2025-08-27 23:34:57 +0000 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 2025-08-27 23:36:06 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b960:a521:2571:4042:b249) (Ping timeout: 256 seconds) |
| 2025-08-27 23:37:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 23:41:17 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-08-27 23:42:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-27 23:44:53 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-08-27 23:45:16 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-27 23:51:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-27 23:56:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |