| 2025-03-16 00:00:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-16 00:01:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-03-16 00:11:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 00:13:30 +0100 | mhatta_ | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2025-03-16 00:16:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 00:16:30 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-03-16 00:17:19 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 00:18:05 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-03-16 00:19:17 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-16 00:20:51 +0100 | Otong | (~Otong@user/Otong) (Ping timeout: 246 seconds) |
| 2025-03-16 00:23:57 +0100 | adamCS | (~adamCS@pool-100-38-122-63.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-03-16 00:26:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 00:29:49 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2025-03-16 00:32:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 00:33:10 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-03-16 00:40:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 00:43:17 +0100 | adamCS | (~adamCS@pool-100-33-104-162.nycmny.fios.verizon.net) adamCS |
| 2025-03-16 00:43:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 00:45:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 00:48:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-16 00:56:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 00:59:02 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-03-16 01:00:00 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-16 01:01:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 01:07:11 +0100 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (Remote host closed the connection) |
| 2025-03-16 01:12:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 01:17:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 01:28:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 01:30:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 01:35:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-16 01:35:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-16 01:36:10 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-4aea-e191-7a3d-ceb6-7a1b.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-16 01:37:31 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-03-16 01:41:24 +0100 | sprotte24 | (~sprotte24@p200300d16f221b000d8698feaa5ae002.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-03-16 01:43:03 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f66b9ed5768787b7ef5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-03-16 01:46:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 01:51:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-16 01:55:48 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-03-16 01:56:18 +0100 | drdo | (~drdo@static.61.197.13.49.clients.your-server.de) drdo |
| 2025-03-16 02:01:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 02:07:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 02:16:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 02:17:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 02:21:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-16 02:22:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-16 02:25:13 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-03-16 02:30:39 +0100 | tromp | (~textual@2a02:a210:cba:8500:c991:1287:da21:7b47) |
| 2025-03-16 02:31:06 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-16 02:31:08 +0100 | tromp | (~textual@2a02:a210:cba:8500:c991:1287:da21:7b47) (Client Quit) |
| 2025-03-16 02:33:26 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:a8f9:a712:d91f:c42b) (Quit: Leaving) |
| 2025-03-16 02:33:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 02:38:12 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-03-16 02:38:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 02:49:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 02:52:05 +0100 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 02:54:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 02:55:50 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 02:56:58 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-16 03:02:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 03:02:54 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2025-03-16 03:03:33 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-03-16 03:05:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 03:06:26 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-03-16 03:06:40 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-16 03:06:57 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-16 03:11:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 03:15:25 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-03-16 03:23:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 03:28:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-16 03:30:27 +0100 | ddb | (ddb@tilde.club) |
| 2025-03-16 03:32:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2025-03-16 03:35:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-16 03:38:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 03:39:11 +0100 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) |
| 2025-03-16 03:41:48 +0100 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) (Changing host) |
| 2025-03-16 03:41:48 +0100 | vincent42 | (uid574193@user/vincent42) vincent42 |
| 2025-03-16 03:44:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 03:48:17 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 03:52:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-16 03:54:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 03:55:34 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-03-16 03:58:50 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-03-16 03:59:10 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-03-16 03:59:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 04:05:02 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-03-16 04:05:33 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-03-16 04:08:23 +0100 | Katarushisu2 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-03-16 04:10:10 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2025-03-16 04:10:10 +0100 | Katarushisu2 | Katarushisu |
| 2025-03-16 04:10:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 04:15:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-16 04:18:41 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 248 seconds) |
| 2025-03-16 04:20:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-03-16 04:20:37 +0100 | bilegeek | (~bilegeek@2600:1008:b048:db18:df2f:979a:817f:9f21) bilegeek |
| 2025-03-16 04:20:48 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-03-16 04:26:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 04:31:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 04:33:34 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-07-76-68-26-16.dsl.bell.ca) (Remote host closed the connection) |
| 2025-03-16 04:33:49 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-16 04:34:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 04:38:09 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-16 04:38:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-16 04:41:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 04:46:14 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-03-16 04:46:46 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-03-16 04:48:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-16 04:50:36 +0100 | rvalue- | rvalue |
| 2025-03-16 04:59:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 05:03:32 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-16 05:04:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 05:11:15 +0100 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2025-03-16 05:15:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 05:20:45 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 05:20:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-16 05:24:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-16 05:26:10 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-16 05:31:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 05:36:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 05:47:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 05:51:35 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-16 05:52:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 06:03:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 06:03:51 +0100 | <jle`> | `Type` is nice and all but `*` is such a cooler symbol to represent the concept |
| 2025-03-16 06:06:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 06:08:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 06:10:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-16 06:18:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 06:25:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 06:26:13 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 245 seconds) |
| 2025-03-16 06:28:56 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-03-16 06:31:56 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Quit: myxos) |
| 2025-03-16 06:32:07 +0100 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2025-03-16 06:32:27 +0100 | ell | (~ellie@user/ellie) ellie |
| 2025-03-16 06:32:48 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-16 06:33:55 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-03-16 06:36:33 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-03-16 06:36:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 06:38:04 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 260 seconds) |
| 2025-03-16 06:38:52 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-03-16 06:40:50 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-03-16 06:42:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-16 06:44:43 +0100 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-16 06:51:53 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 06:52:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 06:56:01 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-16 06:57:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 07:00:51 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 07:04:25 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 07:05:56 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 07:06:45 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 07:08:18 +0100 | raym | (~ray@user/raym) (Quit: kernel update, rebooting...) |
| 2025-03-16 07:08:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 07:09:20 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 07:13:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 07:14:15 +0100 | <haskellbridge> | <Bowuigi> I prefer `*` when there's more than one commonly used kind and kind signatures are obligatory, like on my lang; but `Type` otherwise |
| 2025-03-16 07:14:43 +0100 | Guest14 | (~Guest14@210.16.85.170) |
| 2025-03-16 07:14:54 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 07:16:00 +0100 | <Guest14> | Hi |
| 2025-03-16 07:16:09 +0100 | <Guest14> | Am I supposed to send messages here? |
| 2025-03-16 07:16:30 +0100 | <Guest14> | I'm new to Libera.chat or IRC |
| 2025-03-16 07:17:34 +0100 | Guest14 | (~Guest14@210.16.85.170) (Client Quit) |
| 2025-03-16 07:24:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 07:29:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 07:30:42 +0100 | <haskellbridge> | <dmjio> jle`: they're forcing us off "*" :( |
| 2025-03-16 07:37:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 07:38:38 +0100 | <jle`> | if you do anything non-trivial with datakinds and type families then it's nice to have the syntax rules be the same at the type and term levels, so Type makes sense |
| 2025-03-16 07:38:43 +0100 | <jle`> | but * -> * just has aura |
| 2025-03-16 07:38:53 +0100 | <jle`> | that Type -> Type does not |
| 2025-03-16 07:40:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 07:41:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-16 07:44:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 07:45:17 +0100 | <haskellbridge> | <dmjio> "Type" is Idris wannabe |
| 2025-03-16 07:47:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 07:48:53 +0100 | bilegeek | (~bilegeek@2600:1008:b048:db18:df2f:979a:817f:9f21) (Quit: Leaving) |
| 2025-03-16 07:49:12 +0100 | _xor4 | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2025-03-16 07:49:27 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-03-16 07:49:39 +0100 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 252 seconds) |
| 2025-03-16 07:49:40 +0100 | _xor4 | _xor |
| 2025-03-16 07:53:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-16 07:58:25 +0100 | _xor6 | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2025-03-16 07:59:05 +0100 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 268 seconds) |
| 2025-03-16 07:59:06 +0100 | _xor6 | _xor |
| 2025-03-16 08:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-16 08:00:07 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2025-03-16 08:01:00 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-16 08:03:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 08:03:59 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2025-03-16 08:08:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-16 08:12:51 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-16 08:13:12 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-03-16 08:14:14 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-03-16 08:18:24 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-03-16 08:18:49 +0100 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) |
| 2025-03-16 08:19:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 08:19:28 +0100 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2025-03-16 08:22:59 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 08:24:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-16 08:27:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: Lost terminal) |
| 2025-03-16 08:27:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-16 08:29:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 08:34:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 08:35:12 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-16 08:42:16 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-03-16 08:42:22 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-16 08:44:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 08:48:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-03-16 08:49:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-16 08:49:39 +0100 | <ski> | ★ → ★ |
| 2025-03-16 08:52:23 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 08:53:10 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-03-16 08:54:32 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2025-03-16 08:54:55 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2025-03-16 08:56:17 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-03-16 08:56:27 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 09:00:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 09:03:30 +0100 | kuribas | (~user@2a02:1808:4f:d2bc:b8be:2b08:e734:fbaa) kuribas |
| 2025-03-16 09:05:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 09:08:13 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 09:08:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 09:11:58 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 09:12:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-16 09:16:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 09:17:36 +0100 | vincent42 | (uid574193@user/vincent42) (Quit: Connection closed for inactivity) |
| 2025-03-16 09:20:16 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-16 09:21:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-16 09:26:40 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-16 09:30:15 +0100 | kuribas` | (~user@ptr-17d51emrd94iart11eg.18120a2.ip6.access.telenet.be) kuribas |
| 2025-03-16 09:31:20 +0100 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-03-16 09:31:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 09:32:33 +0100 | kuribas | (~user@2a02:1808:4f:d2bc:b8be:2b08:e734:fbaa) (Ping timeout: 276 seconds) |
| 2025-03-16 09:36:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 09:47:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 09:51:03 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 09:52:01 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-03-16 09:52:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-16 09:53:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 09:58:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-16 10:00:35 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f06309b9617c0b564b2.dip0.t-ipconnect.de) acidjnk |
| 2025-03-16 10:03:12 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-03-16 10:03:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 10:05:17 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-16 10:08:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-16 10:19:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 10:24:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 10:24:24 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 260 seconds) |
| 2025-03-16 10:30:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 10:33:34 +0100 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 10:34:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-16 10:38:33 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 10:39:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 10:43:31 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-03-16 10:43:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-03-16 10:45:21 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-16 10:46:28 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 10:48:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 10:50:34 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 10:53:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 11:04:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 11:09:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 11:10:04 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-03-16 11:10:45 +0100 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) |
| 2025-03-16 11:11:35 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-03-16 11:15:48 +0100 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 2025-03-16 11:20:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 11:20:39 +0100 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-03-16 11:25:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 11:27:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-16 11:29:41 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-16 11:30:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-16 11:31:04 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 11:31:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 11:33:02 +0100 | sprotte24 | (~sprotte24@p200300d16f093b00048e501ec338aa61.dip0.t-ipconnect.de) |
| 2025-03-16 11:34:46 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 11:35:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 11:37:08 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-03-16 11:46:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 11:51:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 11:55:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-16 11:58:24 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-03-16 12:02:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 12:07:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-16 12:10:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 12:14:38 +0100 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-03-16 12:15:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-16 12:17:34 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-03-16 12:17:43 +0100 | uam | (uid360535@id-360535.hampstead.irccloud.com) uam |
| 2025-03-16 12:17:55 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-03-16 12:18:00 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-16 12:18:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 12:19:33 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-03-16 12:20:23 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-16 12:22:25 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-03-16 12:23:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 12:24:34 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-03-16 12:26:30 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-16 12:30:21 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-16 12:32:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 12:37:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 12:43:27 +0100 | sprotte24 | (~sprotte24@p200300d16f093b00048e501ec338aa61.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-03-16 12:47:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 12:49:40 +0100 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 2025-03-16 12:51:48 +0100 | yi | (~yi@user/yi) yi |
| 2025-03-16 12:52:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-16 12:53:00 +0100 | yi | (~yi@user/yi) () |
| 2025-03-16 12:56:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 13:00:42 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-16 13:01:04 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-03-16 13:03:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 13:04:31 +0100 | euandreh | (~Thunderbi@189.6.105.228) (Read error: Connection reset by peer) |
| 2025-03-16 13:05:05 +0100 | krei-se | (~krei-se@tmo-125-86.customers.d1-online.com) (Ping timeout: 248 seconds) |
| 2025-03-16 13:05:23 +0100 | krei-se- | (~krei-se@tmo-125-86.customers.d1-online.com) krei-se |
| 2025-03-16 13:05:40 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-ac9c-79dd-1b5e-4969-1bba.rev.sfr.net) alexherbo2 |
| 2025-03-16 13:08:20 +0100 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-03-16 13:08:57 +0100 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2025-03-16 13:09:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-03-16 13:10:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 13:11:55 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-ac9c-79dd-1b5e-4969-1bba.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-16 13:12:43 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:51d8:861d:bb57:d7c1) dhil |
| 2025-03-16 13:18:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-03-16 13:21:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 13:27:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-16 13:30:21 +0100 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-16 13:33:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 13:35:39 +0100 | tromp | (~textual@2a02:a210:cba:8500:2c80:dbc6:3e9d:a12d) |
| 2025-03-16 13:38:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 13:38:51 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-16 13:40:02 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-16 13:42:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 13:43:58 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-03-16 13:43:58 +0100 | ljdarj1 | ljdarj |