2025-08-27 00:00:39 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-08-27 00:01:22 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-08-27 00:03:20 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-27 00:03:33 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
2025-08-27 00:06:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-08-27 00:08:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 00:09:24 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-08-27 00:12:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 00:15:37 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-08-27 00:20:53 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-27 00:21:21 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-08-27 00:21:28 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-08-27 00:21:56 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-08-27 00:22:55 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
2025-08-27 00:23:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 00:24:33 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Server closed connection) |
2025-08-27 00:24:50 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
2025-08-27 00:27:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 00:28:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-27 00:35:09 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-27 00:35:16 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-08-27 00:35:23 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
2025-08-27 00:38:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 00:43:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-27 00:48:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
2025-08-27 00:48:41 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-27 00:54:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 00:55:27 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-08-27 00:56:41 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-08-27 00:57:25 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-08-27 00:59:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 01:01:04 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
2025-08-27 01:02:47 +0200 | nitrix_ | (~nitrix@user/meow/nitrix) nitrix |
2025-08-27 01:03:29 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 272 seconds) |
2025-08-27 01:04:24 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-08-27 01:04:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-08-27 01:07:02 +0200 | noctuks | (aVjnm6iDRi@user/noctux) (Server closed connection) |
2025-08-27 01:07:21 +0200 | noctuks | (eCIc2Rhff8@user/noctux) noctux |
2025-08-27 01:09:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 01:10:15 +0200 | yushyin | (rAA5wfgz8R@mail.karif.server-speed.net) (Server closed connection) |
2025-08-27 01:10:39 +0200 | yushyin | (8jcHYEVNqp@mail.karif.server-speed.net) yushyin |
2025-08-27 01:12:47 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-27 01:13:28 +0200 | s4msung | (gjllrwEMMC@user/s4msung) (Server closed connection) |
2025-08-27 01:13:47 +0200 | s4msung | (Ci2aDJRib8@user/s4msung) s4msung |
2025-08-27 01:14:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 01:14:27 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-08-27 01:15:04 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-08-27 01:24:14 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-08-27 01:25:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 01:29:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 01:31:40 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
2025-08-27 01:37:00 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
2025-08-27 01:37:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-27 01:39:23 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-08-27 01:40:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 01:41:18 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-27 01:41:32 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
2025-08-27 01:42:04 +0200 | sprotte24 | (~sprotte24@p200300d16f0e5a00c5b8a13e20fc3383.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-08-27 01:44:04 +0200 | mange | (~mange@user/mange) mange |
2025-08-27 01:44:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-27 01:44:16 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-08-27 01:44:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-27 01:47:04 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
2025-08-27 01:48:40 +0200 | kaol | (~kaol@94-237-45-144.nl-ams1.upcloud.host) (Ping timeout: 245 seconds) |
2025-08-27 01:49:41 +0200 | kaol | (~kaol@94-237-45-144.nl-ams1.upcloud.host) |
2025-08-27 01:56:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 01:56:56 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bd9c:270d:261:4d07) (Ping timeout: 244 seconds) |
2025-08-27 01:58:57 +0200 | trickard_ | trickard |
2025-08-27 02:00:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-27 02:09:20 +0200 | acidjnk | (~acidjnk@p200300d6e7171900c8d1e26a04eb2053.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2025-08-27 02:10:07 +0200 | synner | (~david@64-251-141-60.fidnet.com) |
2025-08-27 02:10:29 +0200 | synner | (~david@64-251-141-60.fidnet.com) (Leaving) |
2025-08-27 02:10:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-08-27 02:11:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 02:16:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 02:23:08 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-08-27 02:26:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 02:31:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-27 02:40:36 +0200 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
2025-08-27 02:41:03 +0200 | xff0x | (~xff0x@2405:6580:b080:900:83a1:9d1e:34ac:9163) |
2025-08-27 02:42:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-27 02:42:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 02:46:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-27 02:53:40 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-08-27 02:54:55 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-08-27 02:57:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 02:58:57 +0200 | xff0x | (~xff0x@2405:6580:b080:900:83a1:9d1e:34ac:9163) (Quit: xff0x) |
2025-08-27 02:59:28 +0200 | Googulator | (~Googulato@2a01:36d:106:28ad:d14e:68ce:c41e:4464) |
2025-08-27 03:02:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 03:02:36 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a6f3:8715:1520:fbd) |
2025-08-27 03:05:32 +0200 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
2025-08-27 03:07:52 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a6f3:8715:1520:fbd) (Ping timeout: 255 seconds) |
2025-08-27 03:08:08 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
2025-08-27 03:09:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 03:12:51 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-08-27 03:13:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-27 03:14:34 +0200 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-27 03:14:47 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
2025-08-27 03:18:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2025-08-27 03:22:44 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
2025-08-27 03:24:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 03:26:48 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2025-08-27 03:28:48 +0200 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
2025-08-27 03:28:53 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-08-27 03:28:57 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
2025-08-27 03:29:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-27 03:34:18 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-08-27 03:35:24 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
2025-08-27 03:36:15 +0200 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
2025-08-27 03:36:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-08-27 03:40:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-08-27 03:40:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 03:40:18 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
2025-08-27 03:41:44 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
2025-08-27 03:41:49 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-08-27 03:42:52 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-08-27 03:43:03 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2025-08-27 03:43:44 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
2025-08-27 03:43:44 +0200 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
2025-08-27 03:44:38 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-08-27 03:46:18 +0200 | trickard_ | trickard |
2025-08-27 03:47:02 +0200 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
2025-08-27 03:47:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 03:53:59 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-08-27 03:54:53 +0200 | <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 03:58:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 04:01:12 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
2025-08-27 04:02:29 +0200 | ec | (~ec@gateway/tor-sasl/ec) ec |
2025-08-27 04:03:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-27 04:04:02 +0200 | haskellman | (~haskellma@2a01:e0a:16a:7710:fd55:5b5c:cc6f:c422) |
2025-08-27 04:04:08 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
2025-08-27 04:04:23 +0200 | <haskellman> | Hello, how to do formal proofs of Haskell programs ? |
2025-08-27 04:06:03 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-08-27 04:06:50 +0200 | <geekosaur> | Axman6: have you considered using FFI to an existing one? |
2025-08-27 04:06:58 +0200 | speedycoder | (uid644440@user/speedycoder) speedycoder |
2025-08-27 04:07:57 +0200 | <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 04:09:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-27 04:11:58 +0200 | <Leary> | Axman6: https://hackage.haskell.org/package/numeric-extras-0.1/docs/Numeric-Extras.html#v:cbrt |
2025-08-27 04:12:02 +0200 | crazazy | (~crazazy@tilde.town) (Ping timeout: 256 seconds) |
2025-08-27 04:13:08 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-08-27 04:13:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 04:18:11 +0200 | haskellman | (~haskellma@2a01:e0a:16a:7710:fd55:5b5c:cc6f:c422) (Ping timeout: 250 seconds) |
2025-08-27 04:18:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-27 04:18:32 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 256 seconds) |
2025-08-27 04:20:17 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
2025-08-27 04:22:48 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 248 seconds) |
2025-08-27 04:25:39 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 258 seconds) |
2025-08-27 04:27:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 04:28:00 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2025-08-27 04:28:21 +0200 | ec | (~ec@gateway/tor-sasl/ec) ec |
2025-08-27 04:31:17 +0200 | haskellman | (~haskellma@2a01:e0a:16a:7710:8e5d:8bc6:7f23:6d6d) |
2025-08-27 04:31:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 04:32:29 +0200 | <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 04:34:30 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-08-27 04:38:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-08-27 04:42:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 04:47:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-27 04:56:19 +0200 | shapr | (~user@130.44.148.32) (Ping timeout: 258 seconds) |
2025-08-27 04:56:39 +0200 | <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 04:57:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 04:59:34 +0200 | <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 05:00:16 +0200 | <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 05:00:45 +0200 | <geekosaur> | https://webspace.science.uu.nl/~swier004/publications/2012-haskell.pdf |
2025-08-27 05:02:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-27 05:07:57 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-08-27 05:10:07 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-08-27 05:11:06 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-08-27 05:11:20 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
2025-08-27 05:13:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 05:17:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-27 05:26:08 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-08-27 05:26:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-08-27 05:28:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 05:29:24 +0200 | aforemny | (~aforemny@2001:9e8:6cc0:e200:af3c:2230:d3c7:66cc) aforemny |
2025-08-27 05:29:48 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce0:b400:b37:e7d1:7c56:28e9) (Ping timeout: 244 seconds) |
2025-08-27 05:31:51 +0200 | haskellman | (~haskellma@2a01:e0a:16a:7710:8e5d:8bc6:7f23:6d6d) (Ping timeout: 250 seconds) |
2025-08-27 05:35:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 05:38:25 +0200 | xff0x_ | xff0x |
2025-08-27 05:38:32 +0200 | vetkat9 | (~vetkat@user/vetkat) vetkat |
2025-08-27 05:40:01 +0200 | vetkat | (~vetkat@user/vetkat) (Ping timeout: 258 seconds) |
2025-08-27 05:40:01 +0200 | vetkat9 | vetkat |
2025-08-27 05:40:43 +0200 | sp1ff | (~user@c-24-21-190-184.hsd1.wa.comcast.net) (Ping timeout: 256 seconds) |
2025-08-27 05:41:04 +0200 | sp1ff | (~user@c-24-21-190-184.hsd1.wa.comcast.net) sp1ff |
2025-08-27 05:41:06 +0200 | catties | (~catties@user/meow/catties) (Server closed connection) |
2025-08-27 05:41:07 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
2025-08-27 05:41:26 +0200 | catties | (~catties@user/meow/catties) catties |
2025-08-27 05:43:40 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
2025-08-27 05:46:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 05:51:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-27 05:54:54 +0200 | nitrix_ | nitrix |
2025-08-27 05:55:47 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
2025-08-27 05:58:15 +0200 | crazazy | (~crazazy@tilde.town) crazazy |
2025-08-27 06:00:24 +0200 | noctux | (~noctux@user/noctux) (Server closed connection) |
2025-08-27 06:00:33 +0200 | noctux | (~noctux@user/noctux) noctux |
2025-08-27 06:01:29 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 258 seconds) |
2025-08-27 06:12:42 +0200 | visilii | (~visilii@213.24.125.93) |
2025-08-27 06:13:44 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
2025-08-27 06:23:42 +0200 | crazazy | (~crazazy@tilde.town) (Quit: WeeChat 4.6.3) |
2025-08-27 06:28:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 06:32:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-27 06:32:55 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
2025-08-27 06:41:40 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-08-27 06:43:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 06:44:05 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
2025-08-27 06:45:48 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2025-08-27 06:45:57 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-08-27 06:46:10 +0200 | ec | (~ec@gateway/tor-sasl/ec) ec |
2025-08-27 06:47:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-27 06:49:42 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
2025-08-27 06:50:03 +0200 | pierrot | (~pi@user/pierrot) pierrot |
2025-08-27 06:50:03 +0200 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
2025-08-27 06:51:35 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 245 seconds) |
2025-08-27 06:53:13 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-08-27 06:53:36 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-08-27 06:53:36 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-08-27 06:56:59 +0200 | FragByte | (~christian@user/fragbyte) (Server closed connection) |
2025-08-27 06:57:11 +0200 | FragByte | (~christian@user/fragbyte) FragByte |
2025-08-27 06:58:01 +0200 | michalz | (~michalz@185.246.207.221) |
2025-08-27 06:58:21 +0200 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 256 seconds) |
2025-08-27 06:58:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 06:59:52 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-08-27 07:00:20 +0200 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
2025-08-27 07:02:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-27 07:03:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 07:04:44 +0200 | leah2 | (~leah@vuxu.org) (Server closed connection) |
2025-08-27 07:05:08 +0200 | leah2 | (~leah@vuxu.org) leah2 |
2025-08-27 07:06:11 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-08-27 07:06:25 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
2025-08-27 07:13:40 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 245 seconds) |
2025-08-27 07:14:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 07:14:42 +0200 | speedycoder | (uid644440@user/speedycoder) (Quit: Connection closed for inactivity) |
2025-08-27 07:18:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 07:20:41 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
2025-08-27 07:28:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-08-27 07:29:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 07:33:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-08-27 07:36:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 07:40:46 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-08-27 07:43:51 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Read error: Connection reset by peer) |
2025-08-27 07:44:34 +0200 | takuan | (~takuan@d8d86b9e9.access.telenet.be) |
2025-08-27 07:47:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 07:49:34 +0200 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-27 07:49:48 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
2025-08-27 07:51:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-27 08:01:19 +0200 | Guest3761 | (jinsun@here.and.ready-to.party) (Server closed connection) |
2025-08-27 08:01:30 +0200 | jinsun | (jinsun@here.and.ready-to.party) |
2025-08-27 08:01:54 +0200 | jinsun | Guest1285 |
2025-08-27 08:02:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 08:07:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-27 08:10:27 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-08-27 08:11:10 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-08-27 08:11:30 +0200 | biberu | (~biberu@user/biberu) biberu |
2025-08-27 08:15:08 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
2025-08-27 08:17:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 08:18:53 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-08-27 08:25:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-08-27 08:25:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-08-27 08:29:16 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-08-27 08:36:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 08:37:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2025-08-27 08:38:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 08:40:35 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Server closed connection) |
2025-08-27 08:40:43 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
2025-08-27 08:41:53 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-08-27 08:44:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-27 08:45:01 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-27 08:45:14 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
2025-08-27 08:45:35 +0200 | paul | (~paul@p200300d0c724c99a612f58614c2690c9.dip0.t-ipconnect.de) |
2025-08-27 08:45:39 +0200 | paul | Guest1336 |
2025-08-27 08:50:18 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-08-27 08:52:49 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
2025-08-27 08:54:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 08:55:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-27 09:00:02 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-08-27 09:00:42 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-08-27 09:01:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-27 09:04:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2025-08-27 09:07:03 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-27 09:13:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 09:17:59 +0200 | Square3 | (~Square4@user/square) Square |
2025-08-27 09:18:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 09:21:40 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
2025-08-27 09:25:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 09:27:20 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-08-27 09:30:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 09:33:30 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-08-27 09:36:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2025-08-27 09:38:09 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-27 09:41:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 09:48:18 +0200 | acidjnk | (~acidjnk@p200300d6e7171900a9f37d216dcd4f2e.dip0.t-ipconnect.de) acidjnk |
2025-08-27 09:48:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-27 09:49:42 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-08-27 09:50:42 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
2025-08-27 09:54:34 +0200 | bgtdsword | (b968c1779f@user/titibandit) (Server closed connection) |
2025-08-27 09:54:44 +0200 | bgtdsword | (b968c1779f@user/titibandit) titibandit |
2025-08-27 09:55:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-27 09:57:09 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-08-27 09:57:16 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-08-27 09:58:34 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
2025-08-27 09:59:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 10:01:27 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-08-27 10:04:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 10:05:44 +0200 | aforemny | (~aforemny@2001:9e8:6cc0:e200:af3c:2230:d3c7:66cc) (Ping timeout: 248 seconds) |
2025-08-27 10:06:20 +0200 | aforemny | (~aforemny@2001:9e8:6cc5:2e00:296d:a9d3:b7bc:dd10) aforemny |
2025-08-27 10:09:59 +0200 | ridcully | (~ridcully@p508ac666.dip0.t-ipconnect.de) (Server closed connection) |
2025-08-27 10:10:22 +0200 | ridcully | (~ridcully@p508ac666.dip0.t-ipconnect.de) ridcully |
2025-08-27 10:13:18 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-08-27 10:13:52 +0200 | xnyhps | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (Server closed connection) |
2025-08-27 10:14:04 +0200 | xnyhps | (~xnyhps@s.xnyhps.nl) |
2025-08-27 10:15:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 10:19:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 10:22:42 +0200 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
2025-08-27 10:23:04 +0200 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw |
2025-08-27 10:23:12 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
2025-08-27 10:24:11 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Server closed connection) |
2025-08-27 10:24:19 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
2025-08-27 10:25:22 +0200 | kuribas | (~user@2a02-1810-2825-6000-1263-84d5-2db5-c188.ip6.access.telenet.be) kuribas |
2025-08-27 10:27:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 10:32:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-27 10:35:50 +0200 | chele | (~chele@user/chele) chele |
2025-08-27 10:37:31 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-08-27 10:43:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 10:50:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 11:00:46 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-08-27 11:01:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 11:02:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-27 11:06:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-27 11:10:29 +0200 | Rain_ | (\@user/Rain-:22721) Rain_ |
2025-08-27 11:13:35 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
2025-08-27 11:15:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 11:16:54 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
2025-08-27 11:20:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-27 11:22:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 11:27:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-27 11:30:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 11:33:03 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-08-27 11:33:53 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-27 11:35:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 11:38:25 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-08-27 11:41:07 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-08-27 11:41:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-27 11:41:22 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-08-27 11:44:36 +0200 | xal | (~xal@mx1.xal.systems) (Server closed connection) |
2025-08-27 11:44:51 +0200 | xal | (~xal@mx1.xal.systems) xal |
2025-08-27 11:46:09 +0200 | trickard_ | trickard |
2025-08-27 11:46:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 11:53:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-27 11:54:16 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
2025-08-27 12:00:01 +0200 | bionade24 | (~quassel@server2.oscloud.info) (Server closed connection) |
2025-08-27 12:00:13 +0200 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
2025-08-27 12:00:45 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
2025-08-27 12:04:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 12:06:11 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-27 12:09:08 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-08-27 12:09:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 12:16:56 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-08-27 12:17:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
2025-08-27 12:18:08 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-27 12:20:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 12:25:05 +0200 | septimi | (9f60f4cb70@user/septimi) (Server closed connection) |
2025-08-27 12:25:13 +0200 | septimi | (9f60f4cb70@user/septimi) septimi |
2025-08-27 12:25:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-27 12:28:27 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 260 seconds) |
2025-08-27 12:31:36 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2025-08-27 12:34:42 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-08-27 12:35:02 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-08-27 12:36:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 12:36:12 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-08-27 12:37:33 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
2025-08-27 12:40:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-27 12:44:54 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-08-27 12:46:35 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds) |
2025-08-27 12:48:02 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-08-27 12:49:16 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-08-27 12:51:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 12:53:06 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
2025-08-27 12:54:30 +0200 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-27 12:54:43 +0200 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) |
2025-08-27 12:56:47 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-08-27 12:57:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-27 12:57:53 +0200 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-27 13:01:44 +0200 | xff0x | (~xff0x@2405:6580:b080:900:13b:339d:e634:5db3) |
2025-08-27 13:05:40 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
2025-08-27 13:05:47 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-08-27 13:07:16 +0200 | crazazy | (crazazy@tilde.town) crazazy |
2025-08-27 13:07:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 13:10:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
2025-08-27 13:14:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-27 13:15:08 +0200 | sprotte24 | (~sprotte24@p200300d16f05d70019dbd74b079549bc.dip0.t-ipconnect.de) |
2025-08-27 13:16:36 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
2025-08-27 13:19:46 +0200 | sm2n | (ae95cb1267@user/sm2n) (Server closed connection) |
2025-08-27 13:19:56 +0200 | sm2n | (ae95cb1267@user/sm2n) sm2n |
2025-08-27 13:22:43 +0200 | tremon | (~tremon@83.80.159.219) tremon |
2025-08-27 13:22:56 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-27 13:23:38 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-27 13:23:39 +0200 | divlamir | zhelezov |
2025-08-27 13:23:50 +0200 | zhelezov | divlamir |
2025-08-27 13:25:42 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-27 13:25:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 13:25:56 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
2025-08-27 13:26:16 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
2025-08-27 13:30:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-27 13:33:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-27 13:35:45 +0200 | ubert1 | (~Thunderbi@178.115.39.91.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
2025-08-27 13:38:53 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
2025-08-27 13:39:22 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) |
2025-08-27 13:41:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 13:45:42 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-08-27 13:46:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-27 13:49:35 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-08-27 13:50:18 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
2025-08-27 13:56:54 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-08-27 13:57:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 13:59:40 +0200 | img | (~img@user/img) img |
2025-08-27 14:02:03 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2025-08-27 14:02:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-27 14:02:35 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
2025-08-27 14:04:03 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-27 14:06:01 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-27 14:06:35 +0200 | haritz | (~hrtz@209.35.65.79) |
2025-08-27 14:06:35 +0200 | haritz | (~hrtz@209.35.65.79) (Changing host) |
2025-08-27 14:06:35 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-08-27 14:10:21 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2025-08-27 14:10:53 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-08-27 14:12:56 +0200 | trickard_ | trickard |
2025-08-27 14:13:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 14:14:25 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
2025-08-27 14:14:45 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-08-27 14:15:57 +0200 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-27 14:16:10 +0200 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) |
2025-08-27 14:16:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e4be:35da:9f42:3b49) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-27 14:17:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-27 14:19:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-08-27 14:20:27 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-27 14:28:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 14:32:09 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-08-27 14:32:36 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-08-27 14:33:19 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-27 14:33:52 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-08-27 14:34:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-27 14:34:23 +0200 | AlexNoo | (~AlexNoo@5.139.233.33) (Read error: Connection reset by peer) |
2025-08-27 14:34:47 +0200 | AlexNoo | (~AlexNoo@5.139.233.33) |
2025-08-27 14:37:06 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-08-27 14:38:21 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-08-27 14:39:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 14:40:25 +0200 | Square3 | (~Square4@user/square) Square |
2025-08-27 14:40:50 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-08-27 14:41:29 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-08-27 14:43:54 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-08-27 14:44:26 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-08-27 14:47:04 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-08-27 14:47:50 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
2025-08-27 14:53:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-08-27 14:54:21 +0200 | trickard | (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-27 14:54:35 +0200 | trickard_ | (~trickard@cpe-63-98-47-163.wireline.com.au) |
2025-08-27 14:55:14 +0200 | Lycurgus | (~juan@user/Lycurgus) (Read error: Connection reset by peer) |
2025-08-27 15:00:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-27 15:03:40 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-27 15:04:57 +0200 | califax | (~califax@user/califx) califx |
2025-08-27 15:06:50 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-08-27 15:11:20 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
2025-08-27 15:11:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 15:16:33 +0200 | trickard_ | trickard |
2025-08-27 15:18:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-27 15:29:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 15:33:30 +0200 | mange | (~mange@user/mange) (Remote host closed the connection) |
2025-08-27 15:34:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-27 15:45:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 15:45:52 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-08-27 15:49:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-27 15:55:19 +0200 | karenw | (~karenw@user/karenw) karenw |
2025-08-27 16:00:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 16:04:29 +0200 | drlkf | (~drlkf@chat-1.drlkf.net) (Server closed connection) |
2025-08-27 16:04:54 +0200 | drlkf | (~drlkf@chat-1.drlkf.net) drlkf |
2025-08-27 16:05:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-27 16:06:40 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-08-27 16:14:06 +0200 | xff0x | (~xff0x@2405:6580:b080:900:13b:339d:e634:5db3) (Remote host closed the connection) |
2025-08-27 16:14:08 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Server closed connection) |
2025-08-27 16:14:28 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
2025-08-27 16:15:06 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ea4b:3270:9e7c:9f54) |
2025-08-27 16:15:56 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ea4b:3270:9e7c:9f54) (Client Quit) |
2025-08-27 16:16:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 16:18:57 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c3c2:5734:3789:d6a1) |
2025-08-27 16:21:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-27 16:26:52 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-08-27 16:32:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-27 16:32:57 +0200 | <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 16:33:49 +0200 | Guest1336 | (~paul@p200300d0c724c99a612f58614c2690c9.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
2025-08-27 16:36:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |