2025/07/16

2025-07-16 00:00:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 00:04:34 +0000jespada(~jespada@r179-25-43-70.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds)
2025-07-16 00:06:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-16 00:07:18 +0000caubert(~caubert@user/caubert) caubert
2025-07-16 00:09:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 00:14:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-16 00:14:51 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 00:15:45 +0000acidjnk(~acidjnk@p200300d6e70b6602dc09300ac5aeb77e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-07-16 00:20:56 +0000falafel(~falafel@79.117.174.28) falafel
2025-07-16 00:22:01 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-07-16 00:22:04 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-07-16 00:24:27 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
2025-07-16 00:25:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 00:25:57 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-07-16 00:26:38 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-07-16 00:29:48 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 00:30:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-16 00:31:23 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 00:34:41 +0000caubert(~caubert@user/caubert) (Ping timeout: 265 seconds)
2025-07-16 00:38:28 +0000ttybitnik(~ttybitnik@user/wolper) (Quit: "Bonsoir")
2025-07-16 00:40:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 00:43:38 +0000falafel(~falafel@79.117.174.28) (Remote host closed the connection)
2025-07-16 00:44:04 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 00:46:56 +0000xff0x(~xff0x@2405:6580:b080:900:6880:5402:2c94:d08f) (Ping timeout: 268 seconds)
2025-07-16 00:47:33 +0000caubert(~caubert@user/caubert) caubert
2025-07-16 00:47:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-07-16 00:54:08 +0000caubert(~caubert@user/caubert) (Ping timeout: 272 seconds)
2025-07-16 00:57:41 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 00:57:55 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 00:58:25 +0000lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) (Ping timeout: 248 seconds)
2025-07-16 00:58:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 01:03:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 01:04:05 +0000caubert(~caubert@user/caubert) caubert
2025-07-16 01:09:24 +0000emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-16 01:10:32 +0000lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409)
2025-07-16 01:10:45 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2025-07-16 01:12:43 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-16 01:13:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 01:15:33 +0000lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) (Ping timeout: 248 seconds)
2025-07-16 01:15:54 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 01:16:15 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 01:19:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-16 01:22:29 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2025-07-16 01:24:37 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-16 01:26:33 +0000lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409)
2025-07-16 01:28:55 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 01:29:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 01:32:08 +0000lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) (Ping timeout: 272 seconds)
2025-07-16 01:33:21 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 276 seconds)
2025-07-16 01:33:32 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-16 01:34:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-16 01:37:30 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 01:42:28 +0000lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409)
2025-07-16 01:44:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 01:49:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 01:51:03 +0000notzmv(~umar@user/notzmv) notzmv
2025-07-16 01:51:41 +0000ystael(~ystael@user/ystael) (Ping timeout: 268 seconds)
2025-07-16 01:53:29 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 01:57:05 +0000lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) (Ping timeout: 248 seconds)
2025-07-16 01:59:58 +0000smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Ping timeout: 245 seconds)
2025-07-16 02:00:00 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 276 seconds)
2025-07-16 02:00:09 +0000smalltalkman(uid545680@id-545680.hampstead.irccloud.com) smalltalkman
2025-07-16 02:04:33 +0000caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-16 02:05:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 02:08:25 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-07-16 02:08:44 +0000Axma55379(~Axman6@user/axman6) Axman6
2025-07-16 02:10:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 02:10:49 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 250 seconds)
2025-07-16 02:20:36 +0000potatoespotatoes(~quassel@130.44.147.204)
2025-07-16 02:20:36 +0000potatoespotatoes(~quassel@130.44.147.204) (Changing host)
2025-07-16 02:20:36 +0000potatoespotatoes(~quassel@user/potatoespotatoes) potatoespotatoes
2025-07-16 02:21:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 02:22:41 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 02:26:17 +0000tinjamin4(~tinjamin@banshee.h4x0r.space) (Remote host closed the connection)
2025-07-16 02:28:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-16 02:28:51 +0000tinjamin4(~tinjamin@banshee.h4x0r.space)
2025-07-16 02:31:23 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 02:32:43 +0000caubert(~caubert@user/caubert) caubert
2025-07-16 02:36:15 +0000td_(~td@i5387093F.versanet.de) (Ping timeout: 252 seconds)
2025-07-16 02:36:44 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-07-16 02:37:35 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 02:38:17 +0000td_(~td@i53870934.versanet.de) td_
2025-07-16 02:39:06 +0000phma(phma@2001:5b0:210b:8188:9a43:d163:c332:6ed3) (Read error: Connection reset by peer)
2025-07-16 02:39:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 02:43:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 02:54:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 02:59:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 03:05:08 +0000phma(~phma@host-67-44-208-39.hnremote.net)
2025-07-16 03:08:26 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-16 03:10:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 03:14:31 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 03:14:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 03:15:40 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 03:16:57 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-07-16 03:19:00 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-07-16 03:19:27 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 03:21:21 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 03:22:44 +0000notzmv(~umar@user/notzmv) (Ping timeout: 260 seconds)
2025-07-16 03:25:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 03:28:10 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Quit: Leaving)
2025-07-16 03:29:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-16 03:30:56 +0000auri(~auri@fsf/member/auri) (Server closed connection)
2025-07-16 03:31:06 +0000auri(~auri@fsf/member/auri) auri
2025-07-16 03:34:34 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-07-16 03:36:26 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 03:39:40 +0000FANTOM_(~fantom@33be818f.skybroadband.com)
2025-07-16 03:39:56 +0000monochrom(~trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build2 - https://znc.in)
2025-07-16 03:40:00 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 03:41:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 03:41:10 +0000FANTOM(~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds)
2025-07-16 03:43:45 +0000dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-07-16 03:44:27 +0000aforemny_(~aforemny@2001:9e8:6cea:7700:a76c:242b:21df:a2c1) aforemny
2025-07-16 03:44:45 +0000dutchie(~dutchie@user/dutchie) dutchie
2025-07-16 03:45:00 +0000aforemny(~aforemny@2001:9e8:6ccb:7200:bbb6:f190:e352:f00a) (Ping timeout: 244 seconds)
2025-07-16 03:45:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 03:49:07 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 276 seconds)
2025-07-16 03:51:34 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 03:53:25 +0000monochrom(trebla@216.138.220.146)
2025-07-16 03:56:21 +0000caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-16 03:56:37 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds)
2025-07-16 04:06:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 04:07:48 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 04:09:18 +0000caubert(~caubert@user/caubert) caubert
2025-07-16 04:10:31 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 04:11:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 04:11:44 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 04:12:10 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 04:12:33 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds)
2025-07-16 04:15:34 +0000caubert(~caubert@user/caubert) (Ping timeout: 265 seconds)
2025-07-16 04:17:23 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 04:18:14 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 04:21:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 04:24:18 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 04:26:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-07-16 04:27:03 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-07-16 04:27:13 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-07-16 04:27:17 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-07-16 04:28:12 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2025-07-16 04:28:33 +0000Lord_of_Life_Lord_of_Life
2025-07-16 04:29:45 +0000caubert(~caubert@user/caubert) caubert
2025-07-16 04:34:43 +0000michalz(~michalz@185.246.207.197)
2025-07-16 04:36:24 +0000caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-16 04:37:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 04:41:50 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-07-16 04:44:08 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-07-16 04:48:47 +0000caubert(~caubert@user/caubert) caubert
2025-07-16 04:52:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 04:56:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 05:07:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 05:09:52 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 05:12:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 05:15:19 +0000perr_(~aaron@syn-072-191-245-069.res.spectrum.com) (Ping timeout: 260 seconds)
2025-07-16 05:20:18 +0000trickard_trickard
2025-07-16 05:22:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 05:29:09 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 05:29:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-16 05:30:39 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 260 seconds)
2025-07-16 05:35:23 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 05:36:38 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 05:41:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 05:41:43 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 05:42:07 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 05:44:15 +0000PoolloverNathan(~nathan@user/PoolloverNathan) (Ping timeout: 276 seconds)
2025-07-16 05:45:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-16 05:46:26 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds)
2025-07-16 05:53:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 05:57:56 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 05:58:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-16 06:01:19 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 06:03:12 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 272 seconds)
2025-07-16 06:04:12 +0000mfc_kbs(~keibisoft@mail.keibisoft.com) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2025-07-16 06:04:31 +0000mfc_kbs(~keibisoft@2a06:1fc0:0:1::1cd)
2025-07-16 06:07:29 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 06:08:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 06:11:29 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-07-16 06:12:26 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-16 06:13:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-07-16 06:14:29 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 06:18:24 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection)
2025-07-16 06:18:30 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 06:18:30 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 06:18:43 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 06:19:31 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-07-16 06:23:49 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 276 seconds)
2025-07-16 06:24:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 06:27:32 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 06:28:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 06:32:26 +0000chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-07-16 06:33:00 +0000chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-07-16 06:34:50 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 06:38:16 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-07-16 06:39:19 +0000caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-16 06:39:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 06:39:46 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds)
2025-07-16 06:42:31 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 06:44:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-16 06:47:44 +0000igemnace(~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2025-07-16 06:50:13 +0000igemnace(~igemnace@user/igemnace) igemnace
2025-07-16 06:50:58 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 06:54:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 06:55:49 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 260 seconds)
2025-07-16 06:56:31 +0000tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01)
2025-07-16 07:00:00 +0000caconym74(~caconym@user/caconym) (Quit: bye)
2025-07-16 07:00:10 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 07:00:41 +0000caconym74(~caconym@user/caconym) caconym
2025-07-16 07:00:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-16 07:04:09 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-07-16 07:05:51 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 07:05:51 +0000igemnace(~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2025-07-16 07:06:12 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 07:07:08 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 07:07:33 +0000igemnace(~igemnace@user/igemnace) igemnace
2025-07-16 07:11:37 +0000caubert(~caubert@user/caubert) caubert
2025-07-16 07:12:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 07:17:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 07:21:29 +0000perro(~aaron@164.sub-174-197-65.myvzw.com)
2025-07-16 07:21:59 +0000trickard_trickard
2025-07-16 07:26:40 +0000caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-07-16 07:28:44 +0000JamesMowery177(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Ping timeout (120 seconds))
2025-07-16 07:29:15 +0000lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-07-16 07:29:16 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-16 07:30:52 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 07:31:14 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 07:31:25 +0000ludat(~ludat@2800:810:443:12c8:adbf:f34f:326a:c9d4) ludat
2025-07-16 07:32:06 +0000JamesMowery177(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-07-16 07:35:24 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 07:35:39 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 07:36:39 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 07:42:01 +0000caubert(~caubert@user/caubert) caubert
2025-07-16 07:44:28 +0000sprotte24(~sprotte24@p200300d16f055c002408fd05648795dd.dip0.t-ipconnect.de)
2025-07-16 07:45:27 +0000 <ludat> hi everyone, I was trying to optimize my ci caching stuff and I just noticed that the contents of .stack have a bunch of absolute paths, is that right? (so they can't be moved and have stack point at it)
2025-07-16 07:46:49 +0000caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-07-16 07:48:03 +0000ft(~ft@p3e9bc89f.dip0.t-ipconnect.de) (Quit: leaving)
2025-07-16 07:49:20 +0000caubert(~caubert@user/caubert) caubert
2025-07-16 07:49:50 +0000rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-07-16 07:50:27 +0000Square(~Square@user/square) Square
2025-07-16 07:51:14 +0000rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 260 seconds)
2025-07-16 07:55:32 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-07-16 07:56:17 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 07:56:56 +0000rvalue-rvalue
2025-07-16 07:58:08 +0000puke(~puke@user/puke) puke
2025-07-16 07:59:51 +0000perro(~aaron@164.sub-174-197-65.myvzw.com) (Read error: Connection reset by peer)
2025-07-16 08:03:48 +0000perro(~aaron@2600:100c:b211:ed4b:3db6:9b92:a883:df07)
2025-07-16 08:05:00 +0000__monty__(~toonn@user/toonn) toonn
2025-07-16 08:10:32 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 08:11:35 +0000merijn(~merijn@77.242.116.146) merijn
2025-07-16 08:13:48 +0000pabs3(~pabs3@user/pabs3) (Read error: Connection reset by peer)
2025-07-16 08:14:45 +0000pabs3(~pabs3@user/pabs3) pabs3
2025-07-16 08:22:38 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 08:28:25 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 08:29:21 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 08:35:08 +0000tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-16 08:36:49 +0000acidjnk(~acidjnk@p200300d6e70b66275c4a48d94f205259.dip0.t-ipconnect.de) acidjnk
2025-07-16 08:37:34 +0000vanishingideal(~vanishing@user/vanishingideal) (Remote host closed the connection)
2025-07-16 08:39:21 +0000tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01)
2025-07-16 08:43:11 +0000perr_(~aaron@2600:100c:b211:ed4b:d044:44a4:8621:c686)
2025-07-16 08:43:12 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-16 08:44:01 +0000perro(~aaron@2600:100c:b211:ed4b:3db6:9b92:a883:df07) (Ping timeout: 248 seconds)
2025-07-16 08:50:57 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-07-16 08:55:36 +0000merijn(~merijn@77.242.116.146) merijn
2025-07-16 08:57:19 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 08:59:37 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 08:59:51 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 09:01:13 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 245 seconds)
2025-07-16 09:03:17 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 09:07:42 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection)
2025-07-16 09:07:50 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 09:08:14 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-07-16 09:08:57 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2025-07-16 09:11:32 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection)
2025-07-16 09:11:40 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 09:15:25 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection)
2025-07-16 09:15:33 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 09:18:26 +0000merijn(~merijn@77.242.116.146) merijn
2025-07-16 09:19:15 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection)
2025-07-16 09:19:22 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 09:33:19 +0000trickard_trickard
2025-07-16 09:43:08 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-07-16 09:45:24 +0000caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-16 09:45:29 +0000comerijn(~merijn@77.242.116.146) merijn
2025-07-16 09:48:12 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-07-16 09:51:58 +0000kqr(~kqr@static.143.81.108.65.clients.your-server.de) (Changing host)
2025-07-16 09:51:58 +0000kqr(~kqr@user/kqr) kqr
2025-07-16 09:55:04 +0000poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-07-16 09:58:17 +0000poscat(~poscat@user/poscat) poscat
2025-07-16 09:58:42 +0000caubert(~caubert@user/caubert) caubert
2025-07-16 10:03:32 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 10:04:54 +0000Rembane(~Rembane@user/Rembane) (Quit: WeeChat 4.1.1)
2025-07-16 10:05:35 +0000Rembane(~Rembane@user/Rembane) Rembane
2025-07-16 10:05:38 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2025-07-16 10:20:30 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 276 seconds)
2025-07-16 10:22:25 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 10:23:27 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 10:25:25 +0000comerijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-07-16 10:31:16 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 10:33:19 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 10:35:00 +0000poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-07-16 10:35:26 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 10:37:18 +0000poscat(~poscat@user/poscat) poscat
2025-07-16 10:37:34 +0000merijn(~merijn@77.242.116.146) merijn
2025-07-16 10:42:24 +0000fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp
2025-07-16 10:58:32 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 10:59:02 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 11:01:53 +0000jespada(~jespada@r167-61-130-183.dialup.adsl.anteldata.net.uy) jespada
2025-07-16 11:02:15 +0000xff0x(~xff0x@2405:6580:b080:900:31f8:e5f1:cf3:b71f)
2025-07-16 11:03:16 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 11:04:45 +0000tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-16 11:04:57 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 11:05:18 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 11:06:18 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 11:08:13 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Client Quit)
2025-07-16 11:11:39 +0000tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01)
2025-07-16 11:13:18 +0000perr_(~aaron@2600:100c:b211:ed4b:d044:44a4:8621:c686) (Ping timeout: 245 seconds)
2025-07-16 11:13:33 +0000perro(~aaron@syn-072-178-186-089.res.spectrum.com)
2025-07-16 11:16:07 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-07-16 11:23:05 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection)
2025-07-16 11:23:12 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 11:26:54 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection)
2025-07-16 11:27:01 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 11:27:30 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 11:29:17 +0000mjacob(~mjacob@adrastea.uberspace.de) (Remote host closed the connection)
2025-07-16 11:43:10 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 11:46:48 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 11:51:35 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 11:52:09 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 276 seconds)
2025-07-16 11:52:27 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 11:52:37 +0000Everything(~Everythin@5.248.237.239) Everything
2025-07-16 12:04:20 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 12:06:17 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 12:06:30 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 12:21:58 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 12:23:23 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 12:24:12 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-07-16 12:26:17 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Client Quit)
2025-07-16 12:26:30 +0000ludat(~ludat@2800:810:443:12c8:adbf:f34f:326a:c9d4) (Quit: Client closed)
2025-07-16 12:28:52 +0000AlexZenon(~alzenon@178.34.150.30) (Quit: ;-)
2025-07-16 12:31:12 +0000AlexNoo(~AlexNoo@178.34.150.30) (Quit: Leaving)
2025-07-16 12:34:01 +0000ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-07-16 12:44:25 +0000nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) (Quit: The Lounge - https://thelounge.chat)
2025-07-16 12:46:17 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 12:48:41 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 12:48:54 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 12:51:31 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 12:52:31 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 13:02:53 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 265 seconds)
2025-07-16 13:05:29 +0000nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd
2025-07-16 13:05:32 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 13:06:35 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 13:07:38 +0000 <absence> Is there a way to supply the cases in this contrived example, or is it just a syntax edge case that lets it compile at all? https://play.haskell.org/saved/FgfNLLWB
2025-07-16 13:09:03 +0000 <mauke> https://play.haskell.org/saved/bdSjmYP3
2025-07-16 13:09:14 +0000tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-16 13:10:34 +0000trickard_trickard
2025-07-16 13:12:36 +0000ystael(~ystael@user/ystael) ystael
2025-07-16 13:14:07 +0000tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01)
2025-07-16 13:17:06 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-16 13:23:34 +0000 <absence> mauke: Oh wow, that looks a bit controversial. Thanks though!
2025-07-16 13:25:26 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 268 seconds)
2025-07-16 13:37:00 +0000noctux(~noctux@user/noctux) (Remote host closed the connection)
2025-07-16 13:37:33 +0000 <probie> if you want the `null` on the same line as `\case`, you could even do `(. null) $ \case`
2025-07-16 13:39:23 +0000noctux(~noctux@user/noctux) noctux
2025-07-16 13:40:14 +0000mauke(~mauke@user/mauke) (Remote host closed the connection)
2025-07-16 13:40:14 +0000preflex(~preflex@user/mauke/bot/preflex) (Remote host closed the connection)
2025-07-16 13:41:59 +0000preflex(~preflex@user/mauke/bot/preflex) preflex
2025-07-16 13:46:15 +0000mange(~mange@user/mange) (Remote host closed the connection)
2025-07-16 13:46:25 +0000tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-16 13:46:25 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-07-16 13:52:37 +0000tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01)
2025-07-16 13:53:28 +0000mauke(~mauke@user/mauke) mauke
2025-07-16 13:57:53 +0000notzmv(~umar@user/notzmv) notzmv
2025-07-16 13:58:58 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 14:13:06 +0000AlexZenon(~alzenon@178.34.150.30)
2025-07-16 14:13:41 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2025-07-16 14:15:09 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
2025-07-16 14:17:05 +0000ubert(~Thunderbi@178.115.53.153.wireless.dyn.drei.com) ubert
2025-07-16 14:17:37 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-07-16 14:27:00 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 14:27:21 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 14:29:30 +0000 <EvanR> null & \case ...
2025-07-16 14:29:50 +0000 <EvanR> err
2025-07-16 14:29:54 +0000 <Leary> `null >>> \case`?
2025-07-16 14:39:24 +0000fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 260 seconds)
2025-07-16 14:41:30 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 14:55:00 +0000 <__monty__> Is there a way to match with a Text literal, similar to how Strings allow this, `case myString of {"abc" -> ": )"; _ -> ": ("}`?
2025-07-16 14:55:57 +0000 <__monty__> Does OverloadedStrings enable this behavior?
2025-07-16 14:57:36 +0000 <Leary> Yes.
2025-07-16 14:58:27 +0000 <ski> it would be nice if you could use `ViewPatterns' here, without having to pay cost for invoking `null' two times
2025-07-16 14:59:02 +0000 <Leary> ski: Won't they be commoned?
2025-07-16 14:59:16 +0000 <ski> maybe with enough optimization
2025-07-16 14:59:41 +0000 <ski> i tried a simple `-ddump-simpl', didn't seem to happen there
2025-07-16 15:00:08 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 15:00:17 +0000 <ski> and i know GHC often doesn't want to do CSE, in order to avoid introducing space leaks
2025-07-16 15:01:02 +0000 <ski> in Agda, you have `with' patterns, which imply a single call
2025-07-16 15:01:21 +0000 <ski> test xs with null xs
2025-07-16 15:01:40 +0000 <ski> test xs | False = "empty"
2025-07-16 15:01:50 +0000 <ski> test xs | True = "not empty"
2025-07-16 15:02:34 +0000 <ski> but
2025-07-16 15:02:45 +0000 <ski> test (null -> False) = "empty"
2025-07-16 15:02:51 +0000 <ski> test (null -> True ) = "not empty"
2025-07-16 15:02:56 +0000 <ski> would look pretty neat
2025-07-16 15:04:26 +0000 <ski> > let ((. null) -> test) = \case False -> "empty"; True -> "not empty" in map test ["","a","bc"] -- this is another option, absence. looks kinda weird, though
2025-07-16 15:04:28 +0000 <lambdabot> ["not empty","empty","empty"]
2025-07-16 15:05:53 +0000caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-07-16 15:07:52 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 15:11:18 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 15:13:48 +0000Everything(~Everythin@5.248.237.239) (Ping timeout: 252 seconds)
2025-07-16 15:14:26 +0000prdak(~Thunderbi@user/prdak) prdak
2025-07-16 15:15:42 +0000Everything(~Everythin@46.211.88.66) Everything
2025-07-16 15:16:46 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 15:17:46 +0000caubert(~caubert@user/caubert) caubert
2025-07-16 15:18:24 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 15:18:55 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 15:19:53 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 15:20:49 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-07-16 15:24:49 +0000ski. o O ( `test (null -> case s of {"empty" -> False ; "not empty" -> True })) = s' )
2025-07-16 15:26:39 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 15:26:52 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 15:33:09 +0000merijn(~merijn@77.242.116.146) merijn
2025-07-16 15:34:27 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 15:35:37 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-07-16 15:37:45 +0000ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-07-16 15:42:18 +0000tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-16 15:43:45 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-16 15:44:04 +0000prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2025-07-16 15:44:46 +0000athan(~athan@syn-047-132-161-157.res.spectrum.com) athan
2025-07-16 15:53:27 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 15:58:29 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 15:59:03 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 16:02:14 +0000Square(~Square@user/square) (Ping timeout: 260 seconds)
2025-07-16 16:03:17 +0000tromp(~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d)
2025-07-16 16:03:46 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds)
2025-07-16 16:04:06 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-07-16 16:04:23 +0000acidjnk(~acidjnk@p200300d6e70b66275c4a48d94f205259.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-07-16 16:06:28 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-07-16 16:12:38 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2025-07-16 16:13:43 +0000notzmv(~umar@user/notzmv) (Ping timeout: 245 seconds)
2025-07-16 16:17:11 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-07-16 16:19:06 +0000fp(~Thunderbi@89-209-68-31.mobile.vf-ua.net) fp
2025-07-16 16:19:31 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-07-16 16:22:28 +0000caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-16 16:29:54 +0000euphores(~SASL_euph@user/euphores) euphores
2025-07-16 16:32:45 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 16:32:50 +0000Everything(~Everythin@46.211.88.66) (Quit: leaving)
2025-07-16 16:34:42 +0000caubert(~caubert@user/caubert) caubert
2025-07-16 16:35:32 +0000ft(~ft@p3e9bc89f.dip0.t-ipconnect.de) ft
2025-07-16 16:35:56 +0000Flow(~none@gentoo/developer/flow) (Server closed connection)
2025-07-16 16:36:14 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-16 16:36:36 +0000Flow(~none@gentoo/developer/flow) flow
2025-07-16 16:39:41 +0000caubert(~caubert@user/caubert) (Ping timeout: 268 seconds)
2025-07-16 16:47:09 +0000hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 260 seconds)
2025-07-16 16:52:24 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-07-16 16:52:49 +0000caubert(~caubert@user/caubert) caubert
2025-07-16 16:58:05 +0000hiredman(~hiredman@frontier1.downey.family) hiredman
2025-07-16 17:00:57 +0000ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-07-16 17:03:13 +0000hiredman(~hiredman@frontier1.downey.family) (Remote host closed the connection)
2025-07-16 17:06:50 +0000Everything(~Everythin@46.211.88.66) Everything
2025-07-16 17:07:26 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 17:07:40 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 17:10:47 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 17:12:10 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 17:12:31 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 17:14:26 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-07-16 17:18:37 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-16 17:23:21 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-16 17:24:32 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 17:24:38 +0000hiredman(~hiredman@frontier1.downey.family) hiredman
2025-07-16 17:27:36 +0000jespada(~jespada@r167-61-130-183.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-07-16 17:29:12 +0000hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 252 seconds)
2025-07-16 17:29:53 +0000hiredman(~hiredman@frontier1.downey.family) hiredman
2025-07-16 17:33:37 +0000fp(~Thunderbi@89-209-68-31.mobile.vf-ua.net) (Ping timeout: 248 seconds)
2025-07-16 17:34:49 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-16 17:36:21 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-07-16 17:43:14 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 17:46:19 +0000tromp(~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-16 17:46:55 +0000Square(~Square@user/square) Square
2025-07-16 17:47:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 17:51:34 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal)
2025-07-16 17:52:03 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-16 17:54:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-07-16 17:54:30 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 17:57:05 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 17:57:19 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-16 17:59:55 +0000trickard_trickard
2025-07-16 18:04:32 +0000tromp(~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d)
2025-07-16 18:12:19 +0000lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds)
2025-07-16 18:14:11 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 18:14:56 +0000weary-traveler(~user@user/user363627) user363627
2025-07-16 18:19:00 +0000Jerryeee(~Thunderbi@user/Jerryeee) Jerryeee
2025-07-16 18:19:00 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Client Quit)
2025-07-16 18:20:24 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 18:23:21 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-16 18:26:44 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-07-16 18:29:59 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-07-16 18:30:34 +0000Everything(~Everythin@46.211.88.66) (Quit: leaving)
2025-07-16 18:40:32 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-16 18:40:56 +0000noctuks(d32f0pjuYL@user/noctux) (Server closed connection)
2025-07-16 18:41:03 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 18:41:13 +0000noctuks(~noctux@user/noctux) noctux
2025-07-16 18:42:08 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 18:44:41 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-07-16 18:45:25 +0000tromp(~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-16 18:47:45 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 18:52:17 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2025-07-16 18:53:26 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 18:59:02 +0000acidjnk(~acidjnk@p200300d6e70b661810c0baac8c5eeb00.dip0.t-ipconnect.de) acidjnk
2025-07-16 19:00:01 +0000caconym74(~caconym@user/caconym) (Quit: bye)
2025-07-16 19:00:41 +0000caconym74(~caconym@user/caconym) caconym
2025-07-16 19:04:28 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-07-16 19:05:34 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-16 19:06:08 +0000lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-07-16 19:08:47 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus)
2025-07-16 19:12:12 +0000lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds)
2025-07-16 19:13:49 +0000yin(~zero@user/zero) (Killed (NickServ (GHOST command used by yin_!~yin@a89-153-191-69.cpe.netcabo.pt)))
2025-07-16 19:15:45 +0000yin_(~zero@user/zero) zero
2025-07-16 19:18:47 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-07-16 19:21:09 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-07-16 19:21:09 +0000ljdarj1ljdarj
2025-07-16 19:27:09 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-07-16 19:27:46 +0000Square(~Square@user/square) (Ping timeout: 248 seconds)
2025-07-16 19:29:52 +0000prdak(~Thunderbi@user/prdak) prdak
2025-07-16 19:30:15 +0000tromp(~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d)
2025-07-16 19:31:36 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-16 19:32:47 +0000prdak1(~Thunderbi@user/prdak) prdak
2025-07-16 19:34:13 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
2025-07-16 19:36:12 +0000notzmv(~umar@user/notzmv) notzmv
2025-07-16 19:37:22 +0000prdak1(~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
2025-07-16 19:45:27 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-07-16 19:46:46 +0000img(~img@user/img) img
2025-07-16 19:47:28 +0000pavonia(~user@user/siracusa) siracusa
2025-07-16 19:51:29 +0000Natch(~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 260 seconds)
2025-07-16 19:55:58 +0000Jerryeee(~Thunderbi@user/Jerryeee) (Quit: Jerryeee)
2025-07-16 20:04:07 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-07-16 20:10:24 +0000notzmv(~umar@user/notzmv) (Remote host closed the connection)
2025-07-16 20:12:26 +0000Natch(~natch@c-92-34-15-120.bbcust.telenor.se) Natch
2025-07-16 20:16:08 +0000jespada(~jespada@2800:a4:2283:2700:b478:a910:7fc4:f05e) jespada
2025-07-16 20:22:05 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-07-16 20:22:38 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 272 seconds)
2025-07-16 20:30:06 +0000jespada_(~jespada@2800:a4:2283:2700:35b7:45e4:9371:d1ef) jespada
2025-07-16 20:32:49 +0000jespada(~jespada@2800:a4:2283:2700:b478:a910:7fc4:f05e) (Ping timeout: 248 seconds)
2025-07-16 20:33:57 +0000oneeyedalien(~oneeyedal@user/oneeyedalien) oneeyedalien
2025-07-16 20:35:18 +0000jespada(~jespada@2800:a4:2283:2700:4d56:5313:eb6:35c4) jespada
2025-07-16 20:39:13 +0000jespada_(~jespada@2800:a4:2283:2700:35b7:45e4:9371:d1ef) (Ping timeout: 276 seconds)
2025-07-16 20:42:48 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-16 20:43:55 +0000michalz(~michalz@185.246.207.197) (Remote host closed the connection)
2025-07-16 20:53:09 +0000Square(~Square@user/square) Square
2025-07-16 21:00:06 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-07-16 21:17:14 +0000tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 260 seconds)
2025-07-16 21:18:53 +0000tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier
2025-07-16 21:22:44 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 268 seconds)
2025-07-16 21:22:49 +0000oneeyedalien(~oneeyedal@user/oneeyedalien) (Quit: Leaving)
2025-07-16 21:22:55 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-07-16 21:25:09 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-07-16 21:30:45 +0000Guest43(~Guest43@2a02:8108:6a14:e300::d6c4)
2025-07-16 21:31:29 +0000tromp(~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-16 21:33:18 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 21:37:53 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 245 seconds)
2025-07-16 21:38:40 +0000Guest43(~Guest43@2a02:8108:6a14:e300::d6c4) (Quit: Client closed)
2025-07-16 21:39:44 +0000notzmv(~umar@user/notzmv) notzmv
2025-07-16 21:40:18 +0000tromp(~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d)
2025-07-16 21:40:45 +0000sim590(~simon@2001:18c0:a82:2400::9fb)
2025-07-16 21:42:36 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-07-16 21:44:49 +0000notzmv(~umar@user/notzmv) (Ping timeout: 248 seconds)
2025-07-16 21:46:56 +0000prdak(~Thunderbi@user/prdak) prdak
2025-07-16 21:49:14 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 21:51:04 +0000trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 21:51:16 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
2025-07-16 21:51:18 +0000trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-16 21:53:53 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds)
2025-07-16 21:54:11 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 252 seconds)
2025-07-16 21:54:33 +0000sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 245 seconds)
2025-07-16 21:55:07 +0000Angelz(Angelz@user/angelz) (Read error: Connection reset by peer)
2025-07-16 22:02:41 +0000sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff
2025-07-16 22:04:58 +0000tromp(~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-16 22:05:30 +0000lfr`(~user@i59F7AEE4.versanet.de)
2025-07-16 22:09:15 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-07-16 22:10:57 +0000lfr`(~user@i59F7AEE4.versanet.de) (Ping timeout: 276 seconds)
2025-07-16 22:14:42 +0000trickard_trickard
2025-07-16 22:16:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 22:20:26 +0000sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2025-07-16 22:21:05 +0000Square(~Square@user/square) (Ping timeout: 248 seconds)
2025-07-16 22:21:30 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 22:23:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 22:26:19 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-07-16 22:26:29 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds)
2025-07-16 22:29:16 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-07-16 22:29:16 +0000ljdarj1ljdarj
2025-07-16 22:34:50 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 22:37:16 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 22:37:23 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-07-16 22:39:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-07-16 22:41:00 +0000 <Unicorn_Princess> in cases where both work, do you prefer case expressions, or just function definition pattern matching? (e.g. f (Just x) = .., f Nothing = ..)
2025-07-16 22:41:22 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-16 22:42:13 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 252 seconds)
2025-07-16 22:42:24 +0000euphores(~SASL_euph@user/euphores) (Ping timeout: 260 seconds)
2025-07-16 22:43:24 +0000 <geekosaur> the latter
2025-07-16 22:43:39 +0000 <Unicorn_Princess> any reason?
2025-07-16 22:45:11 +0000 <Unicorn_Princess> personally i guess i don't like repeating the function name, but on the other hand, it is conceptually simpler..
2025-07-16 22:45:18 +0000Angelz(Angelz@Angelz.oddprotocol.org)
2025-07-16 22:45:33 +0000falafel(~falafel@79.117.174.28) falafel
2025-07-16 22:45:50 +0000 <geekosaur> most people consider it writing what you mean, although I will add the observation that it's only true if you're used to mathematical notation
2025-07-16 22:45:58 +0000 <geekosaur> where functions are often defined that way
2025-07-16 22:46:26 +0000 <geekosaur> you might have nnoticed that the mathies kinda rule in the Haskell realm 🙂
2025-07-16 22:48:09 +0000falafel(~falafel@79.117.174.28) (Remote host closed the connection)
2025-07-16 22:48:09 +0000sprotte24(~sprotte24@p200300d16f055c002408fd05648795dd.dip0.t-ipconnect.de) (Quit: Leaving)
2025-07-16 22:50:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 22:53:07 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 22:54:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-16 22:56:12 +0000 <Unicorn_Princess> makes sense, thanks
2025-07-16 22:58:19 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 268 seconds)
2025-07-16 22:58:54 +0000 <jackdk> `f = \case ...` (Requires `{-# LANGUAGE LambdaCase #-}`
2025-07-16 23:02:38 +0000tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 268 seconds)
2025-07-16 23:03:31 +0000acidjnk(~acidjnk@p200300d6e70b661810c0baac8c5eeb00.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-07-16 23:05:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 23:06:31 +0000tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-07-16 23:09:12 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 23:10:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-16 23:12:42 +0000caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-16 23:13:57 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds)
2025-07-16 23:17:18 +0000poscat0x04(~poscat@user/poscat) poscat
2025-07-16 23:19:07 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 23:19:20 +0000poscat(~poscat@user/poscat) (Ping timeout: 272 seconds)
2025-07-16 23:19:25 +0000V(~v@ircpuzzles/2022/april/winner/V) V
2025-07-16 23:20:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 23:24:19 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 276 seconds)
2025-07-16 23:24:46 +0000V(~v@ircpuzzles/2022/april/winner/V) (Quit: We're here. We're queer. Connection reset by peer)
2025-07-16 23:24:52 +0000caubert(~caubert@user/caubert) caubert
2025-07-16 23:25:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-16 23:35:17 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 23:36:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 23:40:15 +0000lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 268 seconds)
2025-07-16 23:41:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-07-16 23:44:56 +0000weary-traveler(~user@user/user363627) user363627
2025-07-16 23:44:59 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-07-16 23:51:19 +0000lfr`(~user@i59F7AEE4.versanet.de)
2025-07-16 23:51:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 23:55:56 +0000lfr`(~user@i59F7AEE4.versanet.de) (Ping timeout: 252 seconds)
2025-07-16 23:58:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)