2025/03/16

2025-03-16 00:00:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-03-16 00:01:51 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 276 seconds)
2025-03-16 00:11:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 00:13:30 +0100mhatta_(~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
2025-03-16 00:16:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 00:16:30 +0100mhatta(~mhatta@www21123ui.sakura.ne.jp)
2025-03-16 00:17:19 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-03-16 00:18:05 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-03-16 00:19:17 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-03-16 00:20:51 +0100Otong(~Otong@user/Otong) (Ping timeout: 246 seconds)
2025-03-16 00:23:57 +0100adamCS(~adamCS@pool-100-38-122-63.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2025-03-16 00:26:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 00:29:49 +0100poscat(~poscat@user/poscat) (Ping timeout: 260 seconds)
2025-03-16 00:32:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 00:33:10 +0100poscat(~poscat@user/poscat) poscat
2025-03-16 00:40:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 00:43:17 +0100adamCS(~adamCS@pool-100-33-104-162.nycmny.fios.verizon.net) adamCS
2025-03-16 00:43:40 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 00:45:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 00:48:39 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-16 00:56:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 00:59:02 +0100takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
2025-03-16 01:00:00 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-03-16 01:01:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 01:07:11 +0100drdo(~drdo@bl9-110-63.dsl.telepac.pt) (Remote host closed the connection)
2025-03-16 01:12:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 01:17:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 01:28:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 01:30:44 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 01:35:09 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-16 01:35:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-16 01:36:10 +0100alexherbo2(~alexherbo@2a02-8440-350b-4aea-e191-7a3d-ceb6-7a1b.rev.sfr.net) (Remote host closed the connection)
2025-03-16 01:37:31 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-03-16 01:41:24 +0100sprotte24(~sprotte24@p200300d16f221b000d8698feaa5ae002.dip0.t-ipconnect.de) (Quit: Leaving)
2025-03-16 01:43:03 +0100acidjnk(~acidjnk@p200300d6e71c4f66b9ed5768787b7ef5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-03-16 01:46:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 01:51:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-03-16 01:55:48 +0100todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-03-16 01:56:18 +0100drdo(~drdo@static.61.197.13.49.clients.your-server.de) drdo
2025-03-16 02:01:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 02:07:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 02:16:48 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 02:17:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 02:21:03 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-16 02:22:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-16 02:25:13 +0100hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92))
2025-03-16 02:30:39 +0100tromp(~textual@2a02:a210:cba:8500:c991:1287:da21:7b47)
2025-03-16 02:31:06 +0100weary-traveler(~user@user/user363627) user363627
2025-03-16 02:31:08 +0100tromp(~textual@2a02:a210:cba:8500:c991:1287:da21:7b47) (Client Quit)
2025-03-16 02:33:26 +0100notdabs(~Owner@2600:1700:69cf:9000:a8f9:a712:d91f:c42b) (Quit: Leaving)
2025-03-16 02:33:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 02:38:12 +0100hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-03-16 02:38:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 02:49:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 02:52:05 +0100j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 02:54:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 02:55:50 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 02:56:58 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-16 03:02:13 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 03:02:54 +0100poscat(~poscat@user/poscat) (Ping timeout: 244 seconds)
2025-03-16 03:03:33 +0100poscat(~poscat@user/poscat) poscat
2025-03-16 03:05:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 03:06:26 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2025-03-16 03:06:40 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-16 03:06:57 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-16 03:11:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 03:15:25 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-03-16 03:23:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 03:28:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-16 03:30:27 +0100ddb(ddb@tilde.club)
2025-03-16 03:32:14 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
2025-03-16 03:35:19 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-16 03:38:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 03:39:11 +0100vincent42(uid574193@id-574193.hampstead.irccloud.com)
2025-03-16 03:41:48 +0100vincent42(uid574193@id-574193.hampstead.irccloud.com) (Changing host)
2025-03-16 03:41:48 +0100vincent42(uid574193@user/vincent42) vincent42
2025-03-16 03:44:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 03:48:17 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 03:52:30 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-16 03:54:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 03:55:34 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-03-16 03:58:50 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2025-03-16 03:59:10 +0100EvanR(~EvanR@user/evanr) EvanR
2025-03-16 03:59:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 04:05:02 +0100op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2025-03-16 04:05:33 +0100op_4(~tslil@user/op-4/x-9116473) op_4
2025-03-16 04:08:23 +0100Katarushisu2(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu
2025-03-16 04:10:10 +0100Katarushisu(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 248 seconds)
2025-03-16 04:10:10 +0100Katarushisu2Katarushisu
2025-03-16 04:10:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 04:15:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-16 04:18:41 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 248 seconds)
2025-03-16 04:20:00 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-03-16 04:20:37 +0100bilegeek(~bilegeek@2600:1008:b048:db18:df2f:979a:817f:9f21) bilegeek
2025-03-16 04:20:48 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-03-16 04:26:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 04:31:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 04:33:34 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-07-76-68-26-16.dsl.bell.ca) (Remote host closed the connection)
2025-03-16 04:33:49 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-16 04:34:21 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 04:38:09 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-16 04:38:54 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-16 04:41:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 04:46:14 +0100rvalue-(~rvalue@user/rvalue) rvalue
2025-03-16 04:46:46 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2025-03-16 04:48:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-16 04:50:36 +0100rvalue-rvalue
2025-03-16 04:59:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 05:03:32 +0100tavare(~tavare@user/tavare) tavare
2025-03-16 05:04:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 05:11:15 +0100Square(~Square@user/square) (Ping timeout: 276 seconds)
2025-03-16 05:15:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 05:20:45 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 05:20:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-16 05:24:53 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-16 05:26:10 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-03-16 05:31:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 05:36:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 05:47:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 05:51:35 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-16 05:52:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 06:03:05 +0100merijn(~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 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 06:08:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 06:10:29 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-16 06:18:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 06:25:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 06:26:13 +0100Flow(~none@gentoo/developer/flow) (Ping timeout: 245 seconds)
2025-03-16 06:28:56 +0100weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-03-16 06:31:56 +0100myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Quit: myxos)
2025-03-16 06:32:07 +0100ell(~ellie@user/ellie) (Quit: Ping timeout (120 seconds))
2025-03-16 06:32:27 +0100ell(~ellie@user/ellie) ellie
2025-03-16 06:32:48 +0100weary-traveler(~user@user/user363627) user363627
2025-03-16 06:33:55 +0100user363627(~user@user/user363627) user363627
2025-03-16 06:36:33 +0100tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-03-16 06:36:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 06:38:04 +0100weary-traveler(~user@user/user363627) (Ping timeout: 260 seconds)
2025-03-16 06:38:52 +0100Flow(~none@gentoo/developer/flow) flow
2025-03-16 06:40:50 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-03-16 06:42:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-03-16 06:44:43 +0100user363627(~user@user/user363627) (Remote host closed the connection)
2025-03-16 06:51:53 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 06:52:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 06:56:01 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-16 06:57:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 07:00:51 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 07:04:25 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 07:05:56 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 07:06:45 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 07:08:18 +0100raym(~ray@user/raym) (Quit: kernel update, rebooting...)
2025-03-16 07:08:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 07:09:20 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 07:13:21 +0100merijn(~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 +0100Guest14(~Guest14@210.16.85.170)
2025-03-16 07:14:54 +0100j1n37(~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 +0100Guest14(~Guest14@210.16.85.170) (Client Quit)
2025-03-16 07:24:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 07:29:12 +0100merijn(~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 +0100alfiee(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 07:41:39 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-03-16 07:44:42 +0100merijn(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 07:48:53 +0100bilegeek(~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 +0100tzh(~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 +0100merijn(~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 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-03-16 08:00:07 +0100tt12310978324354(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat)
2025-03-16 08:01:00 +0100caconym(~caconym@user/caconym) caconym
2025-03-16 08:03:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 08:03:59 +0100tt12310978324354(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231
2025-03-16 08:08:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-16 08:12:51 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-03-16 08:13:12 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2025-03-16 08:14:14 +0100Lord_of_Life_Lord_of_Life
2025-03-16 08:18:24 +0100takuan(~takuan@d8D86B601.access.telenet.be)
2025-03-16 08:18:49 +0100tromp(~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl)
2025-03-16 08:19:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 08:19:28 +0100tromp(~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2025-03-16 08:22:59 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 08:24:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-16 08:27:31 +0100vanishingideal(~vanishing@user/vanishingideal) (Quit: Lost terminal)
2025-03-16 08:27:36 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-16 08:29:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 08:34:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 08:35:12 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-16 08:42:16 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-03-16 08:42:22 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-16 08:44:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 08:48:46 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-03-16 08:49:33 +0100merijn(~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 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 08:53:10 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-03-16 08:54:32 +0100kmein(~weechat@user/kmein) (Quit: ciao kakao)
2025-03-16 08:54:55 +0100kmein(~weechat@user/kmein) kmein
2025-03-16 08:56:17 +0100meinside(uid24933@id-24933.helmsley.irccloud.com) meinside
2025-03-16 08:56:27 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 09:00:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 09:03:30 +0100kuribas(~user@2a02:1808:4f:d2bc:b8be:2b08:e734:fbaa) kuribas
2025-03-16 09:05:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 09:08:13 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 09:08:24 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 09:11:58 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 09:12:33 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-16 09:16:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 09:17:36 +0100vincent42(uid574193@user/vincent42) (Quit: Connection closed for inactivity)
2025-03-16 09:20:16 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-16 09:21:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-16 09:26:40 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-16 09:30:15 +0100kuribas`(~user@ptr-17d51emrd94iart11eg.18120a2.ip6.access.telenet.be) kuribas
2025-03-16 09:31:20 +0100fp(~Thunderbi@hof1.kyla.fi) fp
2025-03-16 09:31:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 09:32:33 +0100kuribas(~user@2a02:1808:4f:d2bc:b8be:2b08:e734:fbaa) (Ping timeout: 276 seconds)
2025-03-16 09:36:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 09:47:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 09:51:03 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-03-16 09:52:01 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-03-16 09:52:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-16 09:53:48 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 09:58:21 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-16 10:00:35 +0100acidjnk(~acidjnk@p200300d6e71c4f06309b9617c0b564b2.dip0.t-ipconnect.de) acidjnk
2025-03-16 10:03:12 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds)
2025-03-16 10:03:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 10:05:17 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-03-16 10:08:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-16 10:19:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 10:24:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 10:24:24 +0100Flow(~none@gentoo/developer/flow) (Ping timeout: 260 seconds)
2025-03-16 10:30:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 10:33:34 +0100j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 10:34:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-16 10:38:33 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 10:39:32 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 10:43:31 +0100Flow(~none@gentoo/developer/flow) flow
2025-03-16 10:43:43 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 245 seconds)
2025-03-16 10:45:21 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-16 10:46:28 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 10:48:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 10:50:34 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 10:53:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-16 11:04:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 11:09:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-16 11:10:04 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-03-16 11:10:45 +0100vincent42(uid574193@id-574193.hampstead.irccloud.com)
2025-03-16 11:11:35 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-03-16 11:15:48 +0100fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds)
2025-03-16 11:20:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 11:20:39 +0100connrs(~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in)
2025-03-16 11:25:16 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-16 11:27:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-16 11:29:41 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-03-16 11:30:22 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-16 11:31:04 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-16 11:31:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-16 11:33:02 +0100sprotte24(~sprotte24@p200300d16f093b00048e501ec338aa61.dip0.t-ipconnect.de)
2025-03-16 11:34:46 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-16 11:35:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-16 11:37:08 +0100connrs(~connrs@user/connrs) connrs