Logs: liberachat/#haskell
| 2025-10-12 08:18:44 | × | ProofTechnique_ quits (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection) |
| 2025-10-12 08:18:53 | → | ProofTechnique_ joins (sid79547@id-79547.ilkley.irccloud.com) |
| 2025-10-12 08:21:13 | × | trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-12 08:25:11 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-12 08:27:43 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-10-12 08:28:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 08:29:38 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-12 08:30:34 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-12 08:32:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-12 08:39:03 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-12 08:39:17 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-12 08:41:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 08:41:49 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-12 08:46:14 | × | thatonelutenist quits (8216c46202@2a03:6000:1812:100::fb3) (Server closed connection) |
| 2025-10-12 08:46:22 | → | thatonelutenist joins (8216c46202@2a03:6000:1812:100::fb3) |
| 2025-10-12 08:48:07 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-10-12 08:48:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-12 08:51:16 | × | tromp quits (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-12 08:54:32 | → | craunts795335 joins (~craunts@136.158.7.194) |
| 2025-10-12 08:56:05 | × | trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-12 08:56:19 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-12 08:57:38 | trickard_ | is now known as trickard |
| 2025-10-12 08:59:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 09:02:32 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-12 09:03:54 | × | pandeyan quits (~pandeyan@192-184-251-101.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-10-12 09:04:13 | → | anpad joins (~pandeyan@user/anpad) |
| 2025-10-12 09:05:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-12 09:05:23 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-10-12 09:06:42 | → | FragByte_ joins (~christian@user/fragbyte) |
| 2025-10-12 09:07:59 | × | FragByte quits (~christian@user/fragbyte) (Ping timeout: 244 seconds) |
| 2025-10-12 09:07:59 | FragByte_ | is now known as FragByte |
| 2025-10-12 09:08:44 | × | earthy quits (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Server closed connection) |
| 2025-10-12 09:09:08 | → | earthy joins (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2025-10-12 09:12:09 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 2025-10-12 09:15:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 09:19:54 | × | AlexZenon quits (~alzenon@178.34.151.169) (Ping timeout: 265 seconds) |
| 2025-10-12 09:20:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-12 09:21:26 | → | AlexZenon joins (~alzenon@178.34.151.169) |
| 2025-10-12 09:31:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 09:36:13 | → | qqe joins (~qqq@185.54.23.200) |
| 2025-10-12 09:36:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-12 09:42:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 09:48:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-12 09:53:21 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-12 09:53:41 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-12 09:59:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 10:00:01 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-12 10:00:36 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-12 10:02:05 | × | acidjnk quits (~acidjnk@p200300d6e717191975703e7db5c33433.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-10-12 10:02:29 | → | acidjnk joins (~acidjnk@p200300d6e717191975703e7db5c33433.dip0.t-ipconnect.de) |
| 2025-10-12 10:04:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-12 10:05:22 | → | chenjf joins (~chenjf@vmi2417424.contaboserver.net) |
| 2025-10-12 10:06:42 | × | chenjf quits (~chenjf@vmi2417424.contaboserver.net) (Client Quit) |
| 2025-10-12 10:09:46 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-10-12 10:11:09 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-10-12 10:13:42 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-12 10:15:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 10:20:19 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-12 10:20:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-12 10:20:47 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-12 10:25:02 | → | inline__ joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-12 10:28:22 | × | inline_ quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2025-10-12 10:30:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 10:35:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-12 10:43:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 10:48:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-12 10:52:15 | × | keinbock quits (~pepsi@129.80.237.116) (Quit: Lost terminal) |
| 2025-10-12 10:52:54 | × | mniip quits (mniip@libera/staff/mniip) (Server closed connection) |
| 2025-10-12 10:53:07 | → | mniip joins (mniip@libera/staff/mniip) |
| 2025-10-12 10:54:06 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) |
| 2025-10-12 10:57:27 | → | inline_ joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-12 10:59:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 11:00:39 | × | inline__ quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2025-10-12 11:00:57 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2025-10-12 11:03:44 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 2025-10-12 11:04:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-12 11:05:52 | → | FragByte joins (~christian@user/fragbyte) |
| 2025-10-12 11:15:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 11:17:43 | × | yin quits (~zero@user/zero) (Ping timeout: 240 seconds) |
| 2025-10-12 11:19:59 | → | inline__ joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-12 11:20:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-12 11:21:14 | × | firesquidwao quits (~a@put.gay) (Server closed connection) |
| 2025-10-12 11:21:27 | → | tuxpaint joins (~a@2600:3c06::f03c:93ff:fea6:ef0e) |
| 2025-10-12 11:23:20 | × | inline_ quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2025-10-12 11:25:53 | → | yin joins (~zero@user/zero) |
| 2025-10-12 11:31:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 11:36:01 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-10-12 11:36:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-12 11:36:21 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2025-10-12 11:38:53 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-10-12 11:44:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 11:49:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-12 12:00:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 12:08:02 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-10-12 12:08:58 | → | Square2 joins (~Square@user/square) |
| 2025-10-12 12:10:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-12 12:15:22 | × | synchromesh quits (~john@2406:5a00:2412:2c00:94c0:b471:5a7e:6f3a) (Read error: Connection reset by peer) |
| 2025-10-12 12:16:50 | → | synchromesh joins (~john@2406:5a00:2412:2c00:94c0:b471:5a7e:6f3a) |
| 2025-10-12 12:18:14 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-10-12 12:21:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC.