2025/07/16

2025-07-16 00:01:32 +0200 <EvanR> it works on most OS that I use
2025-07-16 00:01:48 +0200 <EvanR> 100% local success rate
2025-07-16 00:04:27 +0200lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409)
2025-07-16 00:10:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 00:11:45 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 00:12:12 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 00:15:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 00:16:58 +0200notzmv(~umar@user/notzmv) notzmv
2025-07-16 00:17:28 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 00:18:24 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 00:25:39 +0200 <c_wraith> huh. `cabal test' is sort of silly.
2025-07-16 00:25:58 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-07-16 00:26:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 00:26:07 +0200 <c_wraith> I can't pass command-line arguments to the test program using it. But I can with `cabal run test'
2025-07-16 00:27:11 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 00:27:29 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection)
2025-07-16 00:27:32 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 00:30:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-16 00:31:09 +0200 <geekosaur> --test-options
2025-07-16 00:31:37 +0200 <c_wraith> that's... so awkward. why would I ever use that instead of `cabal run test'?
2025-07-16 00:32:34 +0200 <geekosaur> you want --test-show-details
2025-07-16 00:41:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 00:45:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-16 00:46:45 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 00:47:03 +0200jespada(~jespada@r190-133-37-150.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds)
2025-07-16 00:51:19 +0200jespada(~jespada@r179-25-43-70.dialup.adsl.anteldata.net.uy) jespada
2025-07-16 00:51:50 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-07-16 00:54:32 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 00:56:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 00:57:08 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 01:03:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-16 01:14:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 01:17:09 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-07-16 01:19:20 +0200mange(~mange@user/mange) mange
2025-07-16 01:20:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-16 01:20:37 +0200lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) (Remote host closed the connection)
2025-07-16 01:20:44 +0200lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409)
2025-07-16 01:25:52 +0200lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) (Ping timeout: 276 seconds)
2025-07-16 01:26:39 +0200nicole(ilbelkyr@libera/staff/ilbelkyr) ilbelkyr
2025-07-16 01:26:45 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 01:28:10 +0200kaskal-(~kaskal@2a02:8388:15bf:c200:3d7a:b666:bd24:83ab)
2025-07-16 01:28:43 +0200kaskal(~kaskal@84-115-231-2.cable.dynamic.surfer.at) (Ping timeout: 245 seconds)
2025-07-16 01:30:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 01:30:17 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 01:30:36 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 01:30:57 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 01:34:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-16 01:35:14 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-16 01:36:52 +0200lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409)
2025-07-16 01:37:15 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-16 01:37:46 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 01:38:57 +0200notzmv(~umar@user/notzmv) (Ping timeout: 276 seconds)
2025-07-16 01:41:56 +0200lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) (Ping timeout: 272 seconds)
2025-07-16 01:45:06 +0200sprotte24(~sprotte24@p200300d16f26a20094405b788619da0b.dip0.t-ipconnect.de) (Quit: Leaving)
2025-07-16 01:45:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 01:48:00 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 01:50:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 01:50:56 +0200peutri(~peutri@bobo.desast.re) (Server closed connection)
2025-07-16 01:51:04 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 01:51:06 +0200peutri(~peutri@bobo.desast.re) peutri
2025-07-16 01:53:40 +0200lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409)
2025-07-16 01:54:02 +0200hiredman(~hiredman@frontier1.downey.family) hiredman
2025-07-16 01:54:18 +0200caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-07-16 02:00:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 02:04:34 +0200jespada(~jespada@r179-25-43-70.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds)
2025-07-16 02:06:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-16 02:07:18 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 02:09:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 02:14:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-16 02:14:51 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 02:15:45 +0200acidjnk(~acidjnk@p200300d6e70b6602dc09300ac5aeb77e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-07-16 02:20:56 +0200falafel(~falafel@79.117.174.28) falafel
2025-07-16 02:22:01 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-07-16 02:22:04 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-07-16 02:24:27 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
2025-07-16 02:25:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 02:25:57 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-07-16 02:26:38 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-07-16 02:29:48 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 02:30:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-16 02:31:23 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 02:34:41 +0200caubert(~caubert@user/caubert) (Ping timeout: 265 seconds)
2025-07-16 02:38:28 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: "Bonsoir")
2025-07-16 02:40:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 02:43:38 +0200falafel(~falafel@79.117.174.28) (Remote host closed the connection)
2025-07-16 02:44:04 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 02:46:56 +0200xff0x(~xff0x@2405:6580:b080:900:6880:5402:2c94:d08f) (Ping timeout: 268 seconds)
2025-07-16 02:47:33 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 02:47:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-07-16 02:54:08 +0200caubert(~caubert@user/caubert) (Ping timeout: 272 seconds)
2025-07-16 02:57:41 +0200trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 02:57:55 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 02:58:25 +0200lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) (Ping timeout: 248 seconds)
2025-07-16 02:58:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 03:03:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 03:04:05 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 03:09:24 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-16 03:10:32 +0200lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409)
2025-07-16 03:10:45 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2025-07-16 03:12:43 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-16 03:13:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 03:15:33 +0200lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) (Ping timeout: 248 seconds)
2025-07-16 03:15:54 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 03:16:15 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 03:19:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-16 03:22:29 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2025-07-16 03:24:37 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-16 03:26:33 +0200lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409)
2025-07-16 03:28:55 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 03:29:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 03:32:08 +0200lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) (Ping timeout: 272 seconds)
2025-07-16 03:33:21 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 276 seconds)
2025-07-16 03:33:32 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-16 03:34:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-16 03:37:30 +0200dtman34(~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:42:28 +0200lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409)
2025-07-16 03:44:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 03:49:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 03:51:03 +0200notzmv(~umar@user/notzmv) notzmv
2025-07-16 03:51:41 +0200ystael(~ystael@user/ystael) (Ping timeout: 268 seconds)
2025-07-16 03:53:29 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 03:57:05 +0200lfr(~user@2001:9e8:ace:1100:40af:b5c:7ecf:409) (Ping timeout: 248 seconds)
2025-07-16 03:59:58 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Ping timeout: 245 seconds)
2025-07-16 04:00:00 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 276 seconds)
2025-07-16 04:00:09 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) smalltalkman
2025-07-16 04:04:33 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-16 04:05:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 04:08:25 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-07-16 04:08:44 +0200Axma55379(~Axman6@user/axman6) Axman6
2025-07-16 04:10:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 04:10:49 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 250 seconds)
2025-07-16 04:20:36 +0200potatoespotatoes(~quassel@130.44.147.204)
2025-07-16 04:20:36 +0200potatoespotatoes(~quassel@130.44.147.204) (Changing host)
2025-07-16 04:20:36 +0200potatoespotatoes(~quassel@user/potatoespotatoes) potatoespotatoes
2025-07-16 04:21:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 04:22:41 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 04:26:17 +0200tinjamin4(~tinjamin@banshee.h4x0r.space) (Remote host closed the connection)
2025-07-16 04:28:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-16 04:28:51 +0200tinjamin4(~tinjamin@banshee.h4x0r.space)
2025-07-16 04:31:23 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 04:32:43 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 04:36:15 +0200td_(~td@i5387093F.versanet.de) (Ping timeout: 252 seconds)
2025-07-16 04:36:44 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-07-16 04:37:35 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 04:38:17 +0200td_(~td@i53870934.versanet.de) td_
2025-07-16 04:39:06 +0200phma(phma@2001:5b0:210b:8188:9a43:d163:c332:6ed3) (Read error: Connection reset by peer)
2025-07-16 04:39:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 04:43:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 04:54:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 04:59:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 05:05:08 +0200phma(~phma@host-67-44-208-39.hnremote.net)
2025-07-16 05:08:26 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-16 05:10:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 05:14:31 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 05:14:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 05:15:40 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 05:16:57 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-07-16 05:19:00 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-07-16 05:19:27 +0200dtman34(~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:21:21 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 05:22:44 +0200notzmv(~umar@user/notzmv) (Ping timeout: 260 seconds)
2025-07-16 05:25:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 05:28:10 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: Leaving)
2025-07-16 05:29:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-16 05:30:56 +0200auri(~auri@fsf/member/auri) (Server closed connection)
2025-07-16 05:31:06 +0200auri(~auri@fsf/member/auri) auri
2025-07-16 05:34:34 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-07-16 05:36:26 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 05:39:40 +0200FANTOM_(~fantom@33be818f.skybroadband.com)
2025-07-16 05:39:56 +0200monochrom(~trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build2 - https://znc.in)
2025-07-16 05:40:00 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 05:41:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 05:41:10 +0200FANTOM(~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds)
2025-07-16 05:43:45 +0200dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-07-16 05:44:27 +0200aforemny_(~aforemny@2001:9e8:6cea:7700:a76c:242b:21df:a2c1) aforemny
2025-07-16 05:44:45 +0200dutchie(~dutchie@user/dutchie) dutchie
2025-07-16 05:45:00 +0200aforemny(~aforemny@2001:9e8:6ccb:7200:bbb6:f190:e352:f00a) (Ping timeout: 244 seconds)
2025-07-16 05:45:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 05:49:07 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 276 seconds)
2025-07-16 05:51:34 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 05:53:25 +0200monochrom(trebla@216.138.220.146)
2025-07-16 05:56:21 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-16 05:56:37 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds)
2025-07-16 06:06:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 06:07:48 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 06:09:18 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 06:10:31 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 06:11:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 06:11:44 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 06:12:10 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 06:12:33 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds)
2025-07-16 06:15:34 +0200caubert(~caubert@user/caubert) (Ping timeout: 265 seconds)
2025-07-16 06:17:23 +0200dtman34(~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:18:14 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 06:21:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 06:24:18 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 06:26:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-07-16 06:27:03 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-07-16 06:27:13 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-07-16 06:27:17 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-07-16 06:28:12 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2025-07-16 06:28:33 +0200Lord_of_Life_Lord_of_Life
2025-07-16 06:29:45 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 06:34:43 +0200michalz(~michalz@185.246.207.197)
2025-07-16 06:36:24 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-16 06:37:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 06:41:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-07-16 06:44:08 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-07-16 06:48:47 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 06:52:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 06:56:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 07:07:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 07:09:52 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 07:12:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 07:15:19 +0200perr_(~aaron@syn-072-191-245-069.res.spectrum.com) (Ping timeout: 260 seconds)
2025-07-16 07:20:18 +0200trickard_trickard
2025-07-16 07:22:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 07:29:09 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 07:29:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-16 07:30:39 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 260 seconds)
2025-07-16 07:35:23 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 07:36:38 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 07:41:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 07:41:43 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 07:42:07 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 07:44:15 +0200PoolloverNathan(~nathan@user/PoolloverNathan) (Ping timeout: 276 seconds)
2025-07-16 07:45:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-16 07:46:26 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds)
2025-07-16 07:53:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 07:57:56 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 07:58:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-16 08:01:19 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 08:03:12 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 272 seconds)
2025-07-16 08:04:12 +0200mfc_kbs(~keibisoft@mail.keibisoft.com) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2025-07-16 08:04:31 +0200mfc_kbs(~keibisoft@2a06:1fc0:0:1::1cd)
2025-07-16 08:07:29 +0200dtman34(~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:08:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 08:11:29 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-07-16 08:12:26 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-16 08:13:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-07-16 08:14:29 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 08:18:24 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection)
2025-07-16 08:18:30 +0200trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 08:18:30 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 08:18:43 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 08:19:31 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-07-16 08:23:49 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 276 seconds)
2025-07-16 08:24:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 08:27:32 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 08:28:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 08:32:26 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-07-16 08:33:00 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-07-16 08:34:50 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 08:38:16 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-07-16 08:39:19 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-16 08:39:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 08:39:46 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds)
2025-07-16 08:42:31 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 08:44:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-16 08:47:44 +0200igemnace(~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2025-07-16 08:50:13 +0200igemnace(~igemnace@user/igemnace) igemnace
2025-07-16 08:50:58 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 08:54:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 08:55:49 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 260 seconds)
2025-07-16 08:56:31 +0200tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01)
2025-07-16 09:00:00 +0200caconym74(~caconym@user/caconym) (Quit: bye)
2025-07-16 09:00:10 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 09:00:41 +0200caconym74(~caconym@user/caconym) caconym
2025-07-16 09:00:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-16 09:04:09 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-07-16 09:05:51 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 09:05:51 +0200igemnace(~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
2025-07-16 09:06:12 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 09:07:08 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 09:07:33 +0200igemnace(~igemnace@user/igemnace) igemnace
2025-07-16 09:11:37 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 09:12:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 09:17:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-16 09:21:29 +0200perro(~aaron@164.sub-174-197-65.myvzw.com)
2025-07-16 09:21:59 +0200trickard_trickard
2025-07-16 09:26:40 +0200caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-07-16 09:28:44 +0200JamesMowery177(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Ping timeout (120 seconds))
2025-07-16 09:29:15 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-07-16 09:29:16 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-16 09:30:52 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 09:31:14 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 09:31:25 +0200ludat(~ludat@2800:810:443:12c8:adbf:f34f:326a:c9d4) ludat
2025-07-16 09:32:06 +0200JamesMowery177(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-07-16 09:35:24 +0200trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 09:35:39 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 09:36:39 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 09:42:01 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 09:44:28 +0200sprotte24(~sprotte24@p200300d16f055c002408fd05648795dd.dip0.t-ipconnect.de)
2025-07-16 09:45:27 +0200 <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 09:46:49 +0200caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-07-16 09:48:03 +0200ft(~ft@p3e9bc89f.dip0.t-ipconnect.de) (Quit: leaving)
2025-07-16 09:49:20 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 09:49:50 +0200rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-07-16 09:50:27 +0200Square(~Square@user/square) Square
2025-07-16 09:51:14 +0200rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 260 seconds)
2025-07-16 09:55:32 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-07-16 09:56:17 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 09:56:56 +0200rvalue-rvalue
2025-07-16 09:58:08 +0200puke(~puke@user/puke) puke
2025-07-16 09:59:51 +0200perro(~aaron@164.sub-174-197-65.myvzw.com) (Read error: Connection reset by peer)
2025-07-16 10:03:48 +0200perro(~aaron@2600:100c:b211:ed4b:3db6:9b92:a883:df07)
2025-07-16 10:05:00 +0200__monty__(~toonn@user/toonn) toonn
2025-07-16 10:10:32 +0200dtman34(~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:11:35 +0200merijn(~merijn@77.242.116.146) merijn
2025-07-16 10:13:48 +0200pabs3(~pabs3@user/pabs3) (Read error: Connection reset by peer)
2025-07-16 10:14:45 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-07-16 10:22:38 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 10:28:25 +0200dtman34(~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:29:21 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 10:35:08 +0200tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-16 10:36:49 +0200acidjnk(~acidjnk@p200300d6e70b66275c4a48d94f205259.dip0.t-ipconnect.de) acidjnk
2025-07-16 10:37:34 +0200vanishingideal(~vanishing@user/vanishingideal) (Remote host closed the connection)
2025-07-16 10:39:21 +0200tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01)
2025-07-16 10:43:11 +0200perr_(~aaron@2600:100c:b211:ed4b:d044:44a4:8621:c686)
2025-07-16 10:43:12 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-16 10:44:01 +0200perro(~aaron@2600:100c:b211:ed4b:3db6:9b92:a883:df07) (Ping timeout: 248 seconds)
2025-07-16 10:50:57 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-07-16 10:55:36 +0200merijn(~merijn@77.242.116.146) merijn
2025-07-16 10:57:19 +0200dtman34(~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:37 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 10:59:51 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 11:01:13 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 245 seconds)
2025-07-16 11:03:17 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 11:07:42 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection)
2025-07-16 11:07:50 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 11:08:14 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-07-16 11:08:57 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2025-07-16 11:11:32 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection)
2025-07-16 11:11:40 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 11:15:25 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection)
2025-07-16 11:15:33 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 11:18:26 +0200merijn(~merijn@77.242.116.146) merijn
2025-07-16 11:19:15 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection)
2025-07-16 11:19:22 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 11:33:19 +0200trickard_trickard
2025-07-16 11:43:08 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-07-16 11:45:24 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-16 11:45:29 +0200comerijn(~merijn@77.242.116.146) merijn
2025-07-16 11:48:12 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-07-16 11:51:58 +0200kqr(~kqr@static.143.81.108.65.clients.your-server.de) (Changing host)
2025-07-16 11:51:58 +0200kqr(~kqr@user/kqr) kqr
2025-07-16 11:55:04 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-07-16 11:58:17 +0200poscat(~poscat@user/poscat) poscat
2025-07-16 11:58:42 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 12:03:32 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 12:04:54 +0200Rembane(~Rembane@user/Rembane) (Quit: WeeChat 4.1.1)
2025-07-16 12:05:35 +0200Rembane(~Rembane@user/Rembane) Rembane
2025-07-16 12:05:38 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2025-07-16 12:20:30 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 276 seconds)
2025-07-16 12:22:25 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 12:23:27 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 12:25:25 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-07-16 12:31:16 +0200dtman34(~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:33:19 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 12:35:00 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-07-16 12:35:26 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 12:37:18 +0200poscat(~poscat@user/poscat) poscat
2025-07-16 12:37:34 +0200merijn(~merijn@77.242.116.146) merijn
2025-07-16 12:42:24 +0200fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp
2025-07-16 12:58:32 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 12:59:02 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 13:01:53 +0200jespada(~jespada@r167-61-130-183.dialup.adsl.anteldata.net.uy) jespada
2025-07-16 13:02:15 +0200xff0x(~xff0x@2405:6580:b080:900:31f8:e5f1:cf3:b71f)
2025-07-16 13:03:16 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 13:04:45 +0200tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-16 13:04:57 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 13:05:18 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 13:06:18 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 13:08:13 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Client Quit)
2025-07-16 13:11:39 +0200tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01)
2025-07-16 13:13:18 +0200perr_(~aaron@2600:100c:b211:ed4b:d044:44a4:8621:c686) (Ping timeout: 245 seconds)
2025-07-16 13:13:33 +0200perro(~aaron@syn-072-178-186-089.res.spectrum.com)
2025-07-16 13:16:07 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-07-16 13:23:05 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection)
2025-07-16 13:23:12 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 13:26:54 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Remote host closed the connection)
2025-07-16 13:27:01 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 13:27:30 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 13:29:17 +0200mjacob(~mjacob@adrastea.uberspace.de) (Remote host closed the connection)
2025-07-16 13:43:10 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 13:46:48 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 13:51:35 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 13:52:09 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 276 seconds)
2025-07-16 13:52:27 +0200lfr`(~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11)
2025-07-16 13:52:37 +0200Everything(~Everythin@5.248.237.239) Everything
2025-07-16 14:04:20 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 14:06:17 +0200trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 14:06:30 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 14:21:58 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 14:23:23 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 14:24:12 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-07-16 14:26:17 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Client Quit)
2025-07-16 14:26:30 +0200ludat(~ludat@2800:810:443:12c8:adbf:f34f:326a:c9d4) (Quit: Client closed)
2025-07-16 14:28:52 +0200AlexZenon(~alzenon@178.34.150.30) (Quit: ;-)
2025-07-16 14:31:12 +0200AlexNoo(~AlexNoo@178.34.150.30) (Quit: Leaving)
2025-07-16 14:34:01 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-07-16 14:44:25 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) (Quit: The Lounge - https://thelounge.chat)
2025-07-16 14:46:17 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 14:48:41 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 14:48:54 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 14:51:31 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 14:52:31 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 15:02:53 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 265 seconds)
2025-07-16 15:05:29 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd
2025-07-16 15:05:32 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 15:06:35 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 15:07:38 +0200 <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 15:09:03 +0200 <mauke> https://play.haskell.org/saved/bdSjmYP3
2025-07-16 15:09:14 +0200tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-16 15:10:34 +0200trickard_trickard
2025-07-16 15:12:36 +0200ystael(~ystael@user/ystael) ystael
2025-07-16 15:14:07 +0200tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01)
2025-07-16 15:17:06 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-16 15:23:34 +0200 <absence> mauke: Oh wow, that looks a bit controversial. Thanks though!
2025-07-16 15:25:26 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 268 seconds)
2025-07-16 15:37:00 +0200noctux(~noctux@user/noctux) (Remote host closed the connection)
2025-07-16 15:37:33 +0200 <probie> if you want the `null` on the same line as `\case`, you could even do `(. null) $ \case`
2025-07-16 15:39:23 +0200noctux(~noctux@user/noctux) noctux
2025-07-16 15:40:14 +0200mauke(~mauke@user/mauke) (Remote host closed the connection)
2025-07-16 15:40:14 +0200preflex(~preflex@user/mauke/bot/preflex) (Remote host closed the connection)
2025-07-16 15:41:59 +0200preflex(~preflex@user/mauke/bot/preflex) preflex
2025-07-16 15:46:15 +0200mange(~mange@user/mange) (Remote host closed the connection)
2025-07-16 15:46:25 +0200tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-16 15:46:25 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-07-16 15:52:37 +0200tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01)
2025-07-16 15:53:28 +0200mauke(~mauke@user/mauke) mauke
2025-07-16 15:57:53 +0200notzmv(~umar@user/notzmv) notzmv
2025-07-16 15:58:58 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 16:13:06 +0200AlexZenon(~alzenon@178.34.150.30)
2025-07-16 16:13:41 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-07-16 16:15:09 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
2025-07-16 16:17:05 +0200ubert(~Thunderbi@178.115.53.153.wireless.dyn.drei.com) ubert
2025-07-16 16:17:37 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-07-16 16:27:00 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 16:27:21 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 16:29:30 +0200 <EvanR> null & \case ...
2025-07-16 16:29:50 +0200 <EvanR> err
2025-07-16 16:29:54 +0200 <Leary> `null >>> \case`?
2025-07-16 16:39:24 +0200fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 260 seconds)
2025-07-16 16:41:30 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 16:55:00 +0200 <__monty__> Is there a way to match with a Text literal, similar to how Strings allow this, `case myString of {"abc" -> ": )"; _ -> ": ("}`?
2025-07-16 16:55:57 +0200 <__monty__> Does OverloadedStrings enable this behavior?
2025-07-16 16:57:36 +0200 <Leary> Yes.
2025-07-16 16:58:27 +0200 <ski> it would be nice if you could use `ViewPatterns' here, without having to pay cost for invoking `null' two times
2025-07-16 16:59:02 +0200 <Leary> ski: Won't they be commoned?
2025-07-16 16:59:16 +0200 <ski> maybe with enough optimization
2025-07-16 16:59:41 +0200 <ski> i tried a simple `-ddump-simpl', didn't seem to happen there
2025-07-16 17:00:08 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 17:00:17 +0200 <ski> and i know GHC often doesn't want to do CSE, in order to avoid introducing space leaks
2025-07-16 17:01:02 +0200 <ski> in Agda, you have `with' patterns, which imply a single call
2025-07-16 17:01:21 +0200 <ski> test xs with null xs
2025-07-16 17:01:40 +0200 <ski> test xs | False = "empty"
2025-07-16 17:01:50 +0200 <ski> test xs | True = "not empty"
2025-07-16 17:02:34 +0200 <ski> but
2025-07-16 17:02:45 +0200 <ski> test (null -> False) = "empty"
2025-07-16 17:02:51 +0200 <ski> test (null -> True ) = "not empty"
2025-07-16 17:02:56 +0200 <ski> would look pretty neat
2025-07-16 17:04:26 +0200 <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 17:04:28 +0200 <lambdabot> ["not empty","empty","empty"]
2025-07-16 17:05:53 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-07-16 17:07:52 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 17:11:18 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 17:13:48 +0200Everything(~Everythin@5.248.237.239) (Ping timeout: 252 seconds)
2025-07-16 17:14:26 +0200prdak(~Thunderbi@user/prdak) prdak
2025-07-16 17:15:42 +0200Everything(~Everythin@46.211.88.66) Everything
2025-07-16 17:16:46 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 17:17:46 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 17:18:24 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 17:18:55 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 17:19:53 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 17:20:49 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-07-16 17:24:49 +0200ski. o O ( `test (null -> case s of {"empty" -> False ; "not empty" -> True })) = s' )
2025-07-16 17:26:39 +0200trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 17:26:52 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 17:33:09 +0200merijn(~merijn@77.242.116.146) merijn
2025-07-16 17:34:27 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 17:35:37 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-07-16 17:37:45 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-07-16 17:42:18 +0200tromp(~textual@2001:1c00:3487:1b00:207a:b700:e4:7b01) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-16 17:43:45 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-16 17:44:04 +0200prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2025-07-16 17:44:46 +0200athan(~athan@syn-047-132-161-157.res.spectrum.com) athan
2025-07-16 17:53:27 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 17:58:29 +0200dtman34(~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:59:03 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 18:02:14 +0200Square(~Square@user/square) (Ping timeout: 260 seconds)
2025-07-16 18:03:17 +0200tromp(~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d)
2025-07-16 18:03:46 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds)
2025-07-16 18:04:06 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-07-16 18:04:23 +0200acidjnk(~acidjnk@p200300d6e70b66275c4a48d94f205259.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-07-16 18:06:28 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-07-16 18:12:38 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2025-07-16 18:13:43 +0200notzmv(~umar@user/notzmv) (Ping timeout: 245 seconds)
2025-07-16 18:17:11 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-07-16 18:19:06 +0200fp(~Thunderbi@89-209-68-31.mobile.vf-ua.net) fp
2025-07-16 18:19:31 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-07-16 18:22:28 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-16 18:29:54 +0200euphores(~SASL_euph@user/euphores) euphores
2025-07-16 18:32:45 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-16 18:32:50 +0200Everything(~Everythin@46.211.88.66) (Quit: leaving)
2025-07-16 18:34:42 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 18:35:32 +0200ft(~ft@p3e9bc89f.dip0.t-ipconnect.de) ft
2025-07-16 18:35:56 +0200Flow(~none@gentoo/developer/flow) (Server closed connection)
2025-07-16 18:36:14 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-16 18:36:36 +0200Flow(~none@gentoo/developer/flow) flow
2025-07-16 18:39:41 +0200caubert(~caubert@user/caubert) (Ping timeout: 268 seconds)
2025-07-16 18:47:09 +0200hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 260 seconds)
2025-07-16 18:52:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-07-16 18:52:49 +0200caubert(~caubert@user/caubert) caubert
2025-07-16 18:58:05 +0200hiredman(~hiredman@frontier1.downey.family) hiredman
2025-07-16 19:00:57 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-07-16 19:03:13 +0200hiredman(~hiredman@frontier1.downey.family) (Remote host closed the connection)
2025-07-16 19:06:50 +0200Everything(~Everythin@46.211.88.66) Everything
2025-07-16 19:07:26 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 19:07:40 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-16 19:10:47 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-16 19:12:10 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 19:12:31 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 19:14:26 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-07-16 19:18:37 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-16 19:23:21 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-16 19:24:32 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 19:24:38 +0200hiredman(~hiredman@frontier1.downey.family) hiredman
2025-07-16 19:27:36 +0200jespada(~jespada@r167-61-130-183.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-07-16 19:29:12 +0200hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 252 seconds)
2025-07-16 19:29:53 +0200hiredman(~hiredman@frontier1.downey.family) hiredman
2025-07-16 19:33:37 +0200fp(~Thunderbi@89-209-68-31.mobile.vf-ua.net) (Ping timeout: 248 seconds)
2025-07-16 19:34:49 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-16 19:36:21 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-07-16 19:43:14 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-16 19:46:19 +0200tromp(~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-16 19:46:55 +0200Square(~Square@user/square) Square
2025-07-16 19:47:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-16 19:51:34 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal)
2025-07-16 19:52:03 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-16 19:54:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-07-16 19:54:30 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-16 19:57:05 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-16 19:57:19 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-16 19:59:55 +0200trickard_trickard
2025-07-16 20:04:32 +0200tromp(~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d)
2025-07-16 20:12:19 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds)
2025-07-16 20:14:11 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-16 20:14:56 +0200weary-traveler(~user@user/user363627) user363627