Home liberachat/#haskell: Logs Calendar

Logs on 2025-01-15 (liberachat/#haskell)

00:00:32 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:04:54 → weary-traveler joins (~user@user/user363627)
00:05:04 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
00:10:23 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
00:14:12 × remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
00:15:55 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:19:09 → remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz)
00:20:30 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
00:25:21 × acidjnk_new quits (~acidjnk@p200300d6e7283f539c942177b6544d5d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
00:31:29 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:32:50 × xdminsy quits (~xdminsy@117.147.71.200) (Read error: Connection reset by peer)
00:33:42 → xdminsy joins (~xdminsy@117.147.71.200)
00:35:24 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
00:35:38 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
00:35:53 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
00:39:24 × g00gler quits (uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
00:39:24 × xff0x quits (~xff0x@2405:6580:b080:900:5599:62cc:9825:4e0a) (Ping timeout: 252 seconds)
00:39:24 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
00:39:58 × weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!)
00:44:36 → weary-traveler joins (~user@user/user363627)
00:46:42 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:49:13 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
00:51:16 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
00:51:50 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
01:02:05 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:07:21 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
01:09:48 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 264 seconds)
01:13:11 × sprotte24 quits (~sprotte24@p200300d16f2d39009dedd0cca2feaedd.dip0.t-ipconnect.de) (Quit: Leaving)
01:17:26 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:24:14 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
01:24:42 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds)
01:28:24 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
01:30:17 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
01:32:57 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
01:33:04 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
01:34:10 × otto_s quits (~user@p4ff272c8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
01:34:57 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
01:35:43 → euleritian joins (~euleritia@77.23.250.232)
01:35:48 → otto_s joins (~user@p5b044c54.dip0.t-ipconnect.de)
01:36:09 × euleritian quits (~euleritia@77.23.250.232) (Read error: Connection reset by peer)
01:36:09 × dysthesis quits (~dysthesis@user/dysthesis) (Remote host closed the connection)
01:36:53 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
01:39:14 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
01:39:18 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:39:30 → gorignak joins (~gorignak@user/gorignak)
01:42:44 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
01:44:09 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
01:44:35 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
01:44:50 → gorignak joins (~gorignak@user/gorignak)
01:45:34 → j1n37 joins (~j1n37@user/j1n37)
01:46:54 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
01:47:43 → j1n37 joins (~j1n37@user/j1n37)
01:54:38 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds)
01:54:41 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:56:24 → vanishingideal joins (~vanishing@user/vanishingideal)
01:57:25 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
01:59:11 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
01:59:55 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
02:00:12 → gorignak joins (~gorignak@user/gorignak)
02:06:35 → r-sta joins (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net)
02:10:03 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:10:37 → Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com)
02:11:17 × ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:28c7:5c1b:9c00:9e1b) (Ping timeout: 244 seconds)
02:13:54 → xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
02:14:57 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
02:19:03 → weary-traveler joins (~user@user/user363627)
02:21:13 × YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.9.1 - https://znc.in)
02:22:00 → YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7)
02:25:27 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:26:03 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection)
02:26:21 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
02:31:13 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
02:40:00 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
02:41:51 → vanishingideal joins (~vanishing@user/vanishingideal)
02:42:09 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:45:10 → Square joins (~Square@user/square)
02:45:16 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
02:45:32 → gorignak joins (~gorignak@user/gorignak)
02:45:39 × haritz quits (~hrtz@user/haritz) (Ping timeout: 246 seconds)
02:46:46 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
02:47:45 <Guest1364> What's with deepseq 1.6.0.0 (highest revision, next is 1.5.1.0) being deprecated?
02:48:53 × Square2 quits (~Square4@user/square) (Ping timeout: 248 seconds)
02:49:57 <Guest1364> nvm, searching 1.6.0.0 verbatim in the issues (not 1.6 or variations thereof) brought up https://github.com/haskell/deepseq/issues/102
02:51:04 × biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer)
02:52:48 × r-sta quits (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed)
02:52:58 → haritz joins (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737)
02:53:00 × haritz quits (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host)
02:53:00 → haritz joins (~hrtz@user/haritz)
02:56:35 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:01:42 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
03:05:38 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
03:08:31 → Sgeo joins (~Sgeo@user/sgeo)
03:12:47 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:15:22 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
03:19:45 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
03:30:48 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:35:27 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
03:36:22 → hgolden_ joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363)
03:39:43 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
03:39:43 × hgolden_ quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
03:43:01 × sayurc quits (~sayurc@169.150.203.34) (Quit: Konversation terminated!)
03:43:11 → hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363)
03:43:21 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
03:46:11 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:49:41 → dontdieych2 joins (~quassel@user/dontdieych2)
03:50:34 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
03:50:51 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
03:55:42 × rekahsoft quits (~rekahsoft@70.51.99.237) (Ping timeout: 252 seconds)
04:01:32 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:05:46 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
04:16:54 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:21:39 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
04:32:18 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:34:21 × Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com) (Quit: Leaving)
04:37:04 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
04:43:15 × xdminsy quits (~xdminsy@117.147.71.200) (Read error: Connection reset by peer)
04:43:47 → xdminsy joins (~xdminsy@117.147.71.200)
04:47:40 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:54:21 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
04:57:39 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:02:53 → JuanDaugherty joins (~juan@user/JuanDaugherty)
05:06:33 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
05:13:42 → rosco joins (~rosco@183.171.104.221)
05:15:33 → fireking04 joins (~fireking0@115.146.239.146)
05:16:55 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:17:17 × fireking04 quits (~fireking0@115.146.239.146) (Client Quit)
05:21:24 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
05:32:18 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:32:39 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
05:35:55 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
05:37:00 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
05:41:40 × dtman34 quits (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
05:45:53 × xdminsy quits (~xdminsy@117.147.71.200) (Read error: Connection reset by peer)
05:46:21 → xdminsy joins (~xdminsy@117.147.71.200)
05:47:40 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:47:52 → paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt)
05:48:53 → CrunchyFlakes_ joins (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de)
05:49:24 × CrunchyFlakes quits (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
05:52:14 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
05:52:18 × paotsaq quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 248 seconds)
05:54:53 × ft quits (~ft@p4fc2a354.dip0.t-ipconnect.de) (Quit: leaving)
05:54:55 × robertm quits (robertm@lattice.rojoma.com) (Quit: ...)
05:56:37 → robertm joins (robertm@lattice.rojoma.com)
05:58:36 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:59:16 → michalz joins (~michalz@185.246.207.203)
06:06:14 × cyphase quits (~cyphase@user/cyphase) (Ping timeout: 252 seconds)
06:07:24 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
06:09:11 → dtman34 joins (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net)
06:09:35 → tabemann_ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
06:10:59 × tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 252 seconds)
06:13:48 × rosco quits (~rosco@183.171.104.221) (Quit: Gotta go.)
06:15:09 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
06:15:09 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:15:15 → cyphase joins (~cyphase@user/cyphase)
06:17:36 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
06:17:43 × dtman34 quits (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
06:18:16 × foul_owl quits (~kerry@185.203.219.80) (Read error: Connection reset by peer)
06:18:16 → tnt1 joins (~Thunderbi@user/tnt1)
06:18:20 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:19:04 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds)
06:20:10 → dtman34 joins (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net)
06:21:35 → euleritian joins (~euleritia@dynamic-176-002-193-014.176.2.pool.telefonica.de)
06:22:41 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
06:23:19 → druchan joins (uid567859@id-567859.lymington.irccloud.com)
06:26:31 × Square quits (~Square@user/square) (Remote host closed the connection)
06:26:48 → Square joins (~Square@user/square)
06:26:58 → Square2 joins (~Square4@user/square)
06:29:45 × euleritian quits (~euleritia@dynamic-176-002-193-014.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
06:30:02 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
06:30:57 × Square quits (~Square@user/square) (Ping timeout: 244 seconds)
06:31:32 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
06:31:55 → tnt1 joins (~Thunderbi@user/tnt1)
06:32:19 → paul_j joins (~user@8.190.187.81.in-addr.arpa)
06:33:43 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:34:41 → foul_owl joins (~kerry@193.42.0.126)
06:38:39 × dtman34 quits (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
06:40:42 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
06:41:26 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
06:42:02 <Axman6> Is there an easy way to build local haddock docs for a/all dependencies of my project? I'm using a newer version than is on hackage and it seems to have changed a lot. I've tried using `cabal haddock-project` but it doesn't include my project's direct deps (but for some reason includes a bunch of packages shipped with GHC)
06:42:23 → dtman34 joins (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net)
06:45:08 <Leary> Axman6: If you're using nix, it can build you a hoogle indexing haddocks for a project and its transitive deps.
06:46:43 <jackdk> Axman6: what if you put `documentation: True` in `cabal.project{,.local}`?
06:49:59 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
06:51:45 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:52:55 → CiaoSen joins (~Jura@2a05:5800:2dd:5300:ca4b:d6ff:fec1:99da)
06:53:34 <Axman6> I have documentation: true but I can't tell where the docs should end up
06:54:24 <Axman6> I can find the docs for my package but not the deps
06:56:12 → acidjnk_new joins (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de)
06:56:36 × dtman34 quits (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
06:57:03 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
06:57:13 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
06:57:47 → euleritian joins (~euleritia@dynamic-176-003-081-004.176.3.pool.telefonica.de)
06:57:47 × euleritian quits (~euleritia@dynamic-176-003-081-004.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
06:57:59 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
06:59:38 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:59:47 → dtman34 joins (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net)
07:01:30 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
07:02:37 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
07:04:34 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
07:05:00 <Leary> I think they should just end up in the store. To find them, you can follow a link from your own haddocks or go spelunking.
07:10:54 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
07:11:15 × ystael quits (~ystael@user/ystael) (Ping timeout: 265 seconds)
07:11:26 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
07:11:29 → ystael joins (~ystael@user/ystael)
07:13:24 <haskellbridge> <maerwald> why there is no 'folding1' in lens?
07:13:56 × dtman34 quits (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
07:15:29 <haskellbridge> <maerwald> it seems the only way to create a Fold1 is through repeated, iterated and cycled
07:16:01 × p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in)
07:17:26 → dtman34 joins (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net)
07:18:04 → p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
07:20:46 <c_wraith> maerwald: you could write one by hand.
07:22:45 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:25:32 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
07:26:31 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
07:37:14 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:38:05 <haskellbridge> <maerwald> well, that was easy, now I just need to figure out how to construct the Foldable1 safely
07:38:57 <haskellbridge> <maerwald> my current structure is: folding $ \f -> f ^.. foo . bar <> f ^.. baz . fab
07:40:21 <haskellbridge> <maerwald> one of them always has an element
07:41:59 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
07:43:51 × dontdieych2 quits (~quassel@user/dontdieych2) (Ping timeout: 276 seconds)
07:45:16 → sawilagar joins (~sawilagar@user/sawilagar)
07:45:48 <c_wraith> Ah, I see. That does pose a challenge.
07:47:03 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
07:47:27 × reidrac quits (~reidrac@user/reidrac) (Quit: bye now!)
07:49:11 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
07:49:14 → reidrac joins (~reidrac@user/reidrac)
07:49:41 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
07:49:42 × CiaoSen quits (~Jura@2a05:5800:2dd:5300:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds)
07:51:00 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
07:51:00 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
07:51:57 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
07:52:37 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:55:07 → xdej joins (~xdej@quatramaran.salle-s.org)
07:55:08 × acidjnk_new quits (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
07:55:28 → Smiles joins (uid551636@id-551636.lymington.irccloud.com)
07:57:32 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
08:00:36 → kenran joins (~void@user/kenran)
08:00:36 × caconym quits (~caconym@user/caconym) (Quit: bye)
08:00:45 → caconym joins (~caconym@user/caconym)
08:06:05 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:16:23 → GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano)
08:16:52 × GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer)
08:24:33 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
08:26:21 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
08:26:54 × dtman34 quits (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
08:28:37 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
08:29:55 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
08:32:39 → ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
08:37:37 → acidjnk_new joins (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de)
08:45:52 → merijn joins (~merijn@77.242.116.146)
08:48:16 → lxsameer joins (~lxsameer@Serene/lxsameer)
08:50:32 → paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt)
08:58:12 × paotsaq quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds)
08:58:47 → machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
09:00:17 <jackdk> https://github.com/ekmett/lens/issues/1015
09:01:44 → dontdieych2 joins (~quassel@user/dontdieych2)
09:02:28 × druchan quits (uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity)
09:03:23 <Hecate> heya jackdk
09:03:23 <Hecate> what's up?
09:03:32 <jackdk> Hecate: sup?
09:03:43 → paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt)
09:05:51 <jackdk> hacking the amazonka generator, about to go for a climb, you?
09:07:02 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2)
09:08:28 × paotsaq quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 272 seconds)
09:16:25 → SlackCoder joins (~SlackCode@64-94-63-8.ip.weststar.net.ky)
09:19:49 → jespada joins (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1)
09:23:36 → paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt)
09:26:51 × lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 272 seconds)
09:31:38 → akegalj joins (~akegalj@142-231.dsl.iskon.hr)
09:32:42 → kuribas joins (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5)
09:32:42 × kuribas quits (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5) (Remote host closed the connection)
09:32:59 → kuribas joins (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5)
09:33:02 → chele joins (~chele@user/chele)
09:34:33 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds)
09:36:20 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds)
09:39:18 → dtman34 joins (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net)
09:39:54 × arahael quits (~arahael@user/arahael) (Remote host closed the connection)
09:40:50 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
09:42:19 → arahael joins (~arahael@user/arahael)
09:42:20 → Guest5652 joins (~Guest5652@2600:1700:9bfc:4000:3cc3:45f7:40d3:2f17)
09:44:47 → merijn joins (~merijn@77.242.116.146)
09:49:37 × jespada quits (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) (Quit: My Mac has gone to sleep. ZZZzzz…)
09:52:12 → dysthesis joins (~dysthesis@user/dysthesis)
09:52:18 → kuribas` joins (~user@2a02:1808:88:4bb9:e5c7:f5c0:5bb6:8cd)
09:52:37 × xdminsy quits (~xdminsy@117.147.71.200) (Read error: Connection reset by peer)
09:53:50 → ljdarj joins (~Thunderbi@user/ljdarj)
09:53:55 × kuribas quits (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5) (Ping timeout: 252 seconds)
09:53:55 → xdminsy joins (~xdminsy@117.147.71.200)
09:54:57 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
09:57:04 → vanishingideal joins (~vanishing@user/vanishingideal)
10:00:34 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds)
10:00:44 → merijn joins (~merijn@77.242.116.146)
10:04:13 × dysthesis quits (~dysthesis@user/dysthesis) (Remote host closed the connection)
10:10:23 × arahael quits (~arahael@user/arahael) (Remote host closed the connection)
10:15:28 → arahael joins (~arahael@user/arahael)
10:18:22 × Guest5652 quits (~Guest5652@2600:1700:9bfc:4000:3cc3:45f7:40d3:2f17) (Quit: Page closed)
10:20:25 → __monty__ joins (~toonn@user/toonn)
10:21:45 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
10:22:21 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Read error: Connection reset by peer)
10:23:15 × dtman34 quits (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
10:24:10 → dtman34 joins (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net)
10:28:27 → ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
10:29:36 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds)
10:31:02 → vanishingideal joins (~vanishing@user/vanishingideal)
10:32:53 → xff0x joins (~xff0x@2405:6580:b080:900:200c:61a5:cacd:b14f)
10:33:28 → kuribas`` joins (~user@ip-188-118-57-242.reverse.destiny.be)
10:35:27 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds)
10:36:45 × kuribas` quits (~user@2a02:1808:88:4bb9:e5c7:f5c0:5bb6:8cd) (Ping timeout: 276 seconds)
10:41:01 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
10:41:23 → merijn joins (~merijn@77.242.116.146)
10:47:50 × sam113101 quits (~sam@modemcable220.199-203-24.mc.videotron.ca) (Remote host closed the connection)
10:48:14 → sam113101 joins (~sam@modemcable220.199-203-24.mc.videotron.ca)
10:51:02 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
10:54:55 → Guest47 joins (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f)
10:54:55 → j1n37 joins (~j1n37@user/j1n37)
10:55:31 × xff0x quits (~xff0x@2405:6580:b080:900:200c:61a5:cacd:b14f) (Ping timeout: 265 seconds)
10:57:00 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
11:01:05 → j1n37 joins (~j1n37@user/j1n37)
11:07:17 × remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
11:09:34 → remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz)
11:12:13 × dtman34 quits (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
11:14:27 → dtman34 joins (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net)
11:14:44 → housemate joins (~housemate@146.70.66.228)
11:14:50 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
11:15:12 → euleritian joins (~euleritia@dynamic-176-006-135-210.176.6.pool.telefonica.de)
11:15:20 × euleritian quits (~euleritia@dynamic-176-006-135-210.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
11:15:31 × housemate quits (~housemate@146.70.66.228) (Remote host closed the connection)
11:15:38 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
11:16:01 → housemate joins (~housemate@146.70.66.228)
11:18:44 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds)
11:18:55 × dtman34 quits (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
11:19:09 × remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
11:19:37 → merijn joins (~merijn@77.242.116.146)
11:21:43 → dtman34 joins (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net)
11:21:59 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
11:22:25 → remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz)
11:22:43 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
11:25:15 × dtman34 quits (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
11:25:15 × housemate quits (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. I do not work for any body DIRECTLY although I do represent BOT NET.)
11:25:15 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds)
11:27:02 → dtman34 joins (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net)
11:28:39 → sprotte24 joins (~sprotte24@p200300d16f35c2000ce979728b78bb30.dip0.t-ipconnect.de)
11:30:05 → housemate joins (~housemate@146.70.66.228)
11:33:33 × dtman34 quits (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
11:35:51 → merijn joins (~merijn@77.242.116.146)
11:39:34 × sprotte24 quits (~sprotte24@p200300d16f35c2000ce979728b78bb30.dip0.t-ipconnect.de) (Quit: Leaving)
11:41:27 × kuribas`` quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 265 seconds)
11:46:23 × paul_j quits (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection)
11:48:27 × Guest47 quits (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f) (Quit: Client closed)
11:48:33 × Typedfern quits (~Typedfern@106.red-83-37-34.dynamicip.rima-tde.net) (Ping timeout: 248 seconds)
11:51:11 → dtman34 joins (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net)
11:52:56 × xdminsy quits (~xdminsy@117.147.71.200) (Read error: Connection reset by peer)
11:58:45 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds)
11:59:09 → Guest47 joins (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f)
12:01:59 → Typedfern joins (~Typedfern@85.red-83-37-40.dynamicip.rima-tde.net)
12:03:25 → comerijn joins (~merijn@77.242.116.146)
12:03:51 × Guest47 quits (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f) (Client Quit)
12:05:02 → alexherbo2 joins (~alexherbo@2a02-8440-350c-e8f4-5419-f1db-9c83-bf9d.rev.sfr.net)
12:05:39 → xff0x joins (~xff0x@2405:6580:b080:900:8310:6e2:3d63:5127)
12:05:56 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds)
12:12:10 → weary-traveler joins (~user@user/user363627)
12:12:15 → ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:2087:967c:17ca:ee1d)
12:15:05 → tnt2 joins (~Thunderbi@user/tnt1)
12:15:54 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
12:15:54 tnt2 is now known as tnt1
12:20:05 × paotsaq quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 248 seconds)
12:22:46 × dtman34 quits (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
12:24:18 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
12:25:39 → dtman34 joins (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net)
12:28:28 × dtman34 quits (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
12:30:01 → paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt)
12:30:47 → dtman34 joins (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net)
12:33:15 × dtman34 quits (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
12:35:33 × paotsaq quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds)
12:36:47 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
12:38:48 → paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt)
12:39:23 → dtman34 joins (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net)
12:40:00 → j1n37 joins (~j1n37@user/j1n37)
12:42:00 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
12:43:20 × paotsaq quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds)
12:45:39 → j1n37 joins (~j1n37@user/j1n37)
12:46:01 × eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds)
12:47:15 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
12:50:23 × down200 quits (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in)
12:51:00 → j1n37 joins (~j1n37@user/j1n37)
12:51:55 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
12:52:54 → jespada joins (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1)
12:54:23 × dtman34 quits (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer)
12:54:25 → down200 joins (~down200@shell.lug.mtu.edu)
12:55:02 → j1n37 joins (~j1n37@user/j1n37)
12:55:28 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
12:58:26 → j1n37 joins (~j1n37@user/j1n37)
12:58:36 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
13:00:34 → dtman34 joins (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net)
13:02:56 → j1n37 joins (~j1n37@user/j1n37)
13:04:31 → paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt)
13:05:04 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
13:06:05 → Digitteknohippie joins (~user@user/digit)
13:06:22 × Digit quits (~user@user/digit) (Ping timeout: 252 seconds)
13:09:15 × paotsaq quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 264 seconds)
13:10:56 → j1n37 joins (~j1n37@user/j1n37)
13:15:44 × housemate quits (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. I do not work for any body DIRECTLY although I do represent BOT NET.)
13:18:12 × mange quits (~user@user/mange) (Remote host closed the connection)
13:20:28 × SlackCoder quits (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving)
13:21:21 → paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt)
13:23:42 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
13:30:25 × comerijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds)
13:41:50 → merijn joins (~merijn@77.242.116.146)
13:43:47 → housemate joins (~housemate@146.70.66.228)
13:43:49 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
13:50:41 → JuanDaugherty joins (~juan@user/JuanDaugherty)
14:00:54 × cayley5 quits (~cayley5@user/phileasfogg) (Ping timeout: 260 seconds)
14:02:27 JuanDaugherty is now known as ColinRobinson
14:03:03 → machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
14:05:46 × acidjnk_new quits (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
14:14:08 → acidjnk_new joins (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de)
14:20:57 × ColinRobinson quits (~juan@user/JuanDaugherty) (Quit: ColinRobinson)
14:22:48 × paotsaq quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds)
14:24:23 × housemate quits (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. I do not work for any body DIRECTLY although I do represent BOT NET.)
14:39:00 × gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer)
14:45:05 → gentauro joins (~gentauro@user/gentauro)
14:51:52 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds)
14:52:38 → euleritian joins (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de)
15:07:00 <pounce> why the heck is this code `M a -> M a` instead of `M ()` :/
15:08:41 <int-e> :t this code
15:08:41 <lambdabot> error: Variable not in scope: this :: t0 -> t
15:08:41 <lambdabot> error:
15:08:41 <lambdabot> • Variable not in scope: code
15:11:10 → paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt)
15:11:25 <pounce> :?
15:15:43 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2)
15:17:20 <enikar> pounce: which code?
15:19:07 <pounce> this: https://github.com/agda/cornelis/blob/master/src/Cornelis/Agda.hs#L118
15:19:38 <pounce> it always returns `m` anyway, so why call `withAgda m` when you could just `withAgda' >> m`
15:21:31 <pounce> by monad laws / parametricity `forall a . M a -> M a` and `M ()` are equivalent... no?
15:23:40 × alexherbo2 quits (~alexherbo@2a02-8440-350c-e8f4-5419-f1db-9c83-bf9d.rev.sfr.net) (Ping timeout: 240 seconds)
15:24:06 <Leary> (no)
15:25:04 <tomsmeding> pounce: the former could run the monadic action multiple times
15:25:17 <Leary> The function could use its argument any number of times, interleaved with any number of other actions.
15:25:25 <tomsmeding> that
15:26:15 <pounce> which action?
15:26:15 <tomsmeding> Axman6: https://github.com/treblacy/hasdoc
15:26:16 <tomsmeding> pounce: the M a
15:26:20 <tomsmeding> :t \m -> m >> m >> m
15:26:21 <lambdabot> Monad m => m b -> m b
15:26:33 <pounce> ah right
15:26:55 <pounce> in any case this function doesn't
15:26:59 <pounce> so i think it's weird for it to have that definition
15:27:50 <tomsmeding> perhaps there was some cleanup code in an earlier version?
15:29:37 → Smiles joins (uid551636@id-551636.lymington.irccloud.com)
15:33:56 <pounce> this is all over this codebase though
15:34:53 <pounce> instead of `foo >>= \a -> b` it's `foo (\a -> b)` where `foo f = bar >>= f`
15:35:21 <pounce> why manually taking kleisli arrows instead of composing them normally
15:36:46 × Square2 quits (~Square4@user/square) (Ping timeout: 265 seconds)
15:38:38 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
15:38:49 <Leary> It's more powerful. That's a bad thing in the sense that function signatures should be restrictive for ease of reasoning, but if you expect to actually need that power at some point, you can then use it without needing to refactor other code.
15:40:08 <Leary> In short, `withAgda` could get cleanup code added to it later, and the change would only need to be made in the definition of `withAgda`, nowhere else.
15:41:18 <Leary> s/In short,/E.g./
15:41:42 <pounce> buh
15:42:00 pounce is now maintainer of this codebase
15:42:12 → swistak joins (~swistak@185.21.216.141)
15:42:16 <tomsmeding> of the original or of your fork?
15:42:33 <pounce> i think type systems should be linear and m >> m shouldn't be allowed >_>
15:42:39 <pounce> tomsmeding: original
15:43:09 <tomsmeding> I think m >> m should be allowed :p
15:43:09 <tomsmeding> then go wild!
15:43:18 <pounce> no it's probably right the continuation approach does seem useful at times
15:46:28 <pounce> tomsmeding: you think you can just `take_money_out_of_wallet >> take_money_out_of_wallet` hmm >_>
15:48:11 <tomsmeding> pounce: no, but you can `take_money_out_of wallet >> put_money_back_in wallet`, and then you're still using the wallet twice. :)
15:49:49 <pounce> that would make money out of thin air
15:49:55 <tomsmeding> not if it's the same money you're putting back in
15:50:27 <tomsmeding> if your currency disappears the moment it leaves your wallet, I'm going to stay with mine that is more solid
15:50:52 <pounce> lol
15:51:55 <tomsmeding> and if we `m = take_money_out_of wallet >> put_money_back_in wallet`, then we can even `m >> m >> m` and the only thing that'll happen is that any spectators will be thinking "what's this person doing"
15:52:20 <tomsmeding> but no type system ever cared about that, did they
15:53:11 <Leary> ... In any case, we have linear arrows; you can use them whenever you want to. Just try not to infect the rest of the typeverse.
15:53:31 <tomsmeding> pounce: M a %1-> M a
15:54:00 <pounce> huh didn't know those existed
15:54:13 × notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds)
15:54:13 <tomsmeding> https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/linear_types.html#extension-LinearTypes
15:55:20 <tomsmeding> % :set -XLinearTypes
15:55:20 <yahb2> <no output>
15:55:20 <pounce> yeah found those
15:55:20 <tomsmeding> % (\m -> m) :: IO a %1-> IO a
15:55:20 <yahb2> <interactive>:31:1: error: [GHC-39999] ; • No instance for ‘Show (IO a0 %1 -> IO a0)’ ; arising from a use of ‘Yahb2Defs.limitedPrint’ ; (maybe you haven't applied a function to...
15:55:20 <tomsmeding> % :t (\m -> m) :: IO a %1-> IO a
15:55:20 <yahb2> (\m -> m) :: IO a %1-> IO a :: forall a. IO a %1 -> IO a
15:55:20 <tomsmeding> % :t (\m -> m >> m) :: IO a %1-> IO a
15:55:20 <yahb2> <interactive>:1:3: error: [GHC-18872] ; • Couldn't match type ‘Many’ with ‘One’ ; arising from multiplicity of ‘m’ ; • In the expression: (\ m -> m >> m) :: IO a %1 -> IO a
15:55:20 × ystael quits (~ystael@user/ystael) (Read error: Connection reset by peer)
15:55:20 <tomsmeding> Haskell is the new C++
15:55:20 <tomsmeding> it has all the things
15:55:30 <int-e> every syntactic niche is occupied
15:55:40 → ystael joins (~ystael@user/ystael)
15:56:29 <pounce> % t: (\m -> return ()) IO () %1-> IO ()
15:56:29 <yahb2> <interactive>:37:28: error: [GHC-58481] parse error on input ‘%’
15:56:29 <pounce> oop
15:56:35 <pounce> % :t (\m -> return ()) IO () %1-> IO ()
15:56:35 <yahb2> <interactive>:1:25: error: [GHC-58481] parse error on input ‘%’
15:56:41 <tomsmeding> missing ::
15:56:45 <pounce> ty
15:56:55 <pounce> % :t (\m -> return ()) :: IO () %1-> IO ()
15:56:55 <yahb2> <interactive>:1:3: error: [GHC-18872] ; • Couldn't match type ‘Many’ with ‘One’ ; arising from multiplicity of ‘m’ ; • In the expression: (\ m -> return ()) :: IO () %1 -> IO ()
15:57:03 <tomsmeding> nobody said that the errors were _good_
15:57:06 <pounce> how is 0 Many
15:57:09 <tomsmeding> it's not One
15:57:12 <pounce> true
15:57:37 → Guest78 joins (~Guest78@37.228.251.150)
15:58:38 <pounce> i like the erased modality in agda. having %0 would be nice
15:58:39 <tomsmeding> what would the point be in haskell
15:58:39 <tomsmeding> (and isn't it @0?)
15:58:39 <pounce> well in agda yeah
15:58:39 <tomsmeding> ah
15:58:39 <pounce> idk don't use haskell lol
15:58:40 <pounce> in rust there's all this phantomdata crap that pops up
15:58:44 tomsmeding looks at pounce
15:58:48 <pounce> :D
15:58:59 tomsmeding looks at the channel name
15:59:08 <pounce> ok
15:59:12 <pounce> i don't use haskell _on purpose_
15:59:15 <tomsmeding> :D
15:59:51 <tomsmeding> I don't think that phrase has been uttered very often
16:00:19 Digitteknohippie is now known as Digit
16:00:25 <Leary> There are still uses for erased arguments in Haskell, but I think they can largely be satisfied with `ZeroBitType`s.
16:00:27 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
16:00:51 <tomsmeding> I can only think of Proxy; any others?
16:00:59 → rvalue joins (~rvalue@user/rvalue)
16:01:00 <tomsmeding> (any other uses, that is)
16:01:25 × alecs quits (~alecs@nat16.software.imdea.org) (Ping timeout: 248 seconds)
16:03:23 <Leary> tomsmeding: See this thread for a few examples: https://discourse.haskell.org/t/unboxed-equality/9929
16:03:56 <tomsmeding> Leary: but surely an erased equality is not quite the same as a zero-bit equality?
16:04:50 <tomsmeding> a zero-bit equality is just ensuring that there's no unnecessary runtime overhead in reifying the proof, whereas an erased equality is praying that the proof would have also held in production
16:05:06 <tomsmeding> pounce: if you pattern-match on a Refl in agda, can you still mark that argument as erased?
16:05:46 <pounce> i _think_ so. i usually use --without-k which doesn't allow all dot patterns for equality
16:06:25 <tomsmeding> but how can an equality proof be erased if you're depending on it to hold?
16:06:34 × Guest78 quits (~Guest78@37.228.251.150) (Quit: Client closed)
16:06:50 <pounce> tomsmeding: if you have an inhabitant of the equality proof then it already holds
16:06:52 <Leary> It's /statically/ verified. Haskell's `Refl` requires pattern matching for soundness only because it's lifted.
16:06:57 <pounce> you don't need to 'use' the proof
16:07:16 <tomsmeding> right, that's a thing in agda
16:07:19 <pounce> the only inhabitants of a = a are generated by refl. there's no bot
16:07:23 <tomsmeding> in haskell the proof could be `undefined`
16:08:09 <pounce> (inhabitants because without K there isn't necessarily _one_)
16:10:29 × acidjnk_new quits (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
16:16:27 → ft joins (~ft@p4fc2a354.dip0.t-ipconnect.de)
16:35:10 → sprotte24 joins (~sprotte24@p200300d16f35c200f4f310a9fb58ced0.dip0.t-ipconnect.de)
16:35:10 × sprotte24 quits (~sprotte24@p200300d16f35c200f4f310a9fb58ced0.dip0.t-ipconnect.de) (Client Quit)
16:36:18 × euleritian quits (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
16:36:36 → euleritian joins (~euleritia@77.23.250.232)
16:39:01 × YoungFrog quits (~youngfrog@2a02:a03f:c9db:fc00:cec4:708e:faa4:70c5) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
16:39:22 → YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
16:43:57 → alp joins (~alp@2001:861:8ca0:4940:1e61:879a:b0ec:434f)
16:46:06 × euleritian quits (~euleritia@77.23.250.232) (Read error: Connection reset by peer)
16:46:59 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
16:47:24 × chele quits (~chele@user/chele) (Remote host closed the connection)
16:48:48 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
16:52:00 × kenran quits (~void@user/kenran) (Remote host closed the connection)
16:52:01 × ian_ quits (~ian@81.2.99.210) (Quit: BIAB)
16:53:01 × akegalj quits (~akegalj@142-231.dsl.iskon.hr) (Ping timeout: 252 seconds)
17:01:27 → acidjnk_new joins (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de)
17:07:59 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
17:08:01 → euleritian joins (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de)
17:08:10 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds)
17:10:40 → lbseale joins (~quassel@user/ep1ctetus)
17:10:40 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
17:15:20 × ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:2087:967c:17ca:ee1d) (Quit: ubert)
17:19:12 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds)
17:20:48 × aku quits (aku@65.108.245.241) (Remote host closed the connection)
17:20:48 × euleritian quits (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
17:20:53 → euleritian joins (~euleritia@77.23.250.232)
17:25:40 × euleritian quits (~euleritia@77.23.250.232) (Ping timeout: 260 seconds)
17:25:59 → euleritian joins (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de)
17:26:17 → sprotte24 joins (~sprotte24@p200300d16f35c200f4f310a9fb58ced0.dip0.t-ipconnect.de)
17:33:17 → Guest78 joins (~Guest78@37.228.251.150)
17:34:52 → Igloo joins (~ian@81.2.99.210)
17:38:09 → Tetard joins (~Tetard@94.187.134.188)
17:38:40 → aku joins (aku@65.108.245.241)
17:45:10 → Guest12 joins (~Guest12@94.7.192.138)
17:45:34 <Guest12> hi there, I'm a beginner and I'm trying to install the package https://hackage.haskell.org/package/Craft3e-0.1.1.1 but it appears to be outdated
17:45:41 ← Tetard parts (~Tetard@94.187.134.188) ()
17:45:43 <Guest12> after `cabal install` I get an error
17:45:59 <Guest12> is there an easy fix for this or should I do something like install an older version of ghc?
17:46:41 <Guest12> the reason I want this package is that I'm going through the book https://www.haskellcraft.com/craft3e/Home.html
17:50:19 <mauke> might be easier to download/extract the tarball, then
17:53:12 <probie> Guest12: Out of curiosity, what error are you getting? At a glance it looks like it should run on a modern GHC
17:55:30 <int-e> The mtl upper bound is too tight for GHC >= 9.6. That and the `cabal install` command was for v1-install and I don't even know what the workflow for getting dependencies of a package installed and registered so they become usable is these days
17:56:31 <spew> I just tried to build it and I get "‘fail’ is not a (visible) method of class ‘Monad’"
17:56:31 <spew> that will have to get moved to a MonadFail instance
17:56:31 <Guest12> https://paste.tomsmeding.com/CgGSVWFq/raw/1
17:58:50 <spew> Guest12: change the relevant lines to this: https://paste.tomsmeding.com/OS6Qpkqw
17:59:09 <spew> in CalcParseLib.hs
17:59:42 <spew> then it builds
18:01:17 <spew> or just remove the fail and you don't even need to implement MonadFail
18:05:09 → akegalj joins (~akegalj@142-231.dsl.iskon.hr)
18:06:26 <EvanR> fail failed again
18:07:13 → euphores joins (~SASL_euph@user/euphores)
18:08:22 × jespada quits (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) (Quit: My Mac has gone to sleep. ZZZzzz…)
18:09:21 → jespada joins (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1)
18:11:27 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds)
18:15:48 <Guest12> spew: thank you, looks like it worked
18:17:21 → eL_Bart0 joins (eL_Bart0@dietunichtguten.org)
18:18:06 → target_i joins (~target_i@user/target-i/x-6023099)
18:18:32 → tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
18:20:26 × litharge quits (litharge@libera/bot/litharge) (*.net *.split)
18:20:26 × euphores quits (~SASL_euph@user/euphores) (*.net *.split)
18:20:26 × akegalj quits (~akegalj@142-231.dsl.iskon.hr) (*.net *.split)
18:20:26 × aku quits (aku@65.108.245.241) (*.net *.split)
18:20:26 × ystael quits (~ystael@user/ystael) (*.net *.split)
18:20:26 × gentauro quits (~gentauro@user/gentauro) (*.net *.split)
18:20:27 × cyphase quits (~cyphase@user/cyphase) (*.net *.split)
18:20:27 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (*.net *.split)
18:20:27 × int-e quits (~noone@int-e.eu) (*.net *.split)
18:20:27 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (*.net *.split)
18:20:27 × ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (*.net *.split)
18:20:27 × tv quits (~tv@user/tv) (*.net *.split)
18:20:27 × hawer quits (~newyear@2.219.56.221) (*.net *.split)
18:20:27 × Xe quits (~Xe@perl/impostor/xe) (*.net *.split)
18:20:27 × todi quits (~todi@p57803331.dip0.t-ipconnect.de) (*.net *.split)
18:20:27 × troydm quits (~troydm@user/troydm) (*.net *.split)
18:20:27 × philopsos quits (~caecilius@user/philopsos) (*.net *.split)
18:20:27 × Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (*.net *.split)
18:20:27 × nitrix quits (~nitrix@user/meow/nitrix) (*.net *.split)
18:20:27 × kimiamania quits (~65804703@user/kimiamania) (*.net *.split)
18:20:27 × Eoco quits (~ian@128.101.131.218) (*.net *.split)
18:20:28 × kaskal quits (~kaskal@84-115-237-124.cable.dynamic.surfer.at) (*.net *.split)
18:20:28 × spew quits (~spew@135.233.119.40) (*.net *.split)
18:20:28 × mjrosenb quits (~mjrosenb@70.18.10.118) (*.net *.split)
18:20:28 × johnjaye quits (~pi@syn-035-146-235-019.res.spectrum.com) (*.net *.split)
18:20:28 × edwtjo quits (~edwtjo@fsf/member/edwtjo) (*.net *.split)
18:20:28 × Maxdamantus quits (~Maxdamant@user/maxdamantus) (*.net *.split)
18:20:28 × ByronJohnson quits (~bairyn@50.250.232.19) (*.net *.split)
18:20:29 × end quits (~end@user/end/x-0094621) (*.net *.split)
18:20:29 × bcksl quits (~bcksl@user/bcksl) (*.net *.split)
18:20:29 × srk quits (~sorki@user/srk) (*.net *.split)
18:20:29 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (*.net *.split)
18:20:29 × thaumavorio quits (~thaumavor@thaumavor.io) (*.net *.split)
18:20:29 × target_i quits (~target_i@user/target-i/x-6023099) (*.net *.split)
18:20:29 × Typedfern quits (~Typedfern@85.red-83-37-40.dynamicip.rima-tde.net) (*.net *.split)
18:20:29 × vanishingideal quits (~vanishing@user/vanishingideal) (*.net *.split)
18:20:29 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (*.net *.split)
18:20:29 × p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split)
18:20:29 × YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (*.net *.split)
18:20:30 × bionade24 quits (~quassel@2a03:4000:33:45b::1) (*.net *.split)
18:20:30 × AlexZenon quits (~alzenon@178.34.163.23) (*.net *.split)
18:20:30 × avidseeker quits (av@user/avidseeker) (*.net *.split)
18:20:30 × OftenFaded quits (~OftenFade@user/tisktisk) (*.net *.split)
18:20:30 × Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (*.net *.split)
18:20:30 × terrorjack45 quits (~terrorjac@2a01:4f8:c17:a66e::) (*.net *.split)
18:20:30 × op_4 quits (~tslil@user/op-4/x-9116473) (*.net *.split)
18:20:30 × petrichor quits (~znc-user@user/petrichor) (*.net *.split)
18:20:30 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (*.net *.split)
18:20:30 × Me-me quits (~me-me@user/me-me) (*.net *.split)
18:20:30 × tomboy64 quits (~tomboy64@user/tomboy64) (*.net *.split)
18:20:31 × zero quits (~z@user/zero) (*.net *.split)
18:20:31 × migas9778 quits (~migas@static.140.65.63.178.clients.your-server.de) (*.net *.split)
18:20:31 × jrm quits (~jrm@user/jrm) (*.net *.split)
18:20:31 × tessier quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (*.net *.split)
18:20:31 × stilgart quits (~Christoph@chezlefab.net) (*.net *.split)
18:20:31 × nshepperd2 quits (~nshepperd@2a01:4f9:3b:4cc9::2) (*.net *.split)
18:20:31 × nadja quits (~dequbed@banana-new.kilobyte22.de) (*.net *.split)
18:20:31 × nurupo quits (~nurupo.ga@user/nurupo) (*.net *.split)
18:20:31 × meinside quits (uid24933@id-24933.helmsley.irccloud.com) (*.net *.split)
18:20:32 × zlqrvx quits (~zlqrvx@user/zlqrvx) (*.net *.split)
18:20:32 × ycp quits (~znc@user/dragestil) (*.net *.split)
18:20:32 × jathan quits (~jathan@69.61.93.38) (*.net *.split)
18:20:32 × sprout quits (~sprout@84-80-106-227.fixed.kpn.net) (*.net *.split)
18:20:32 × Ekho quits (~Ekho@user/ekho) (*.net *.split)
18:20:32 × Ranhir quits (~Ranhir@157.97.53.139) (*.net *.split)
18:20:32 × tdammers quits (~tdammers@110-136-178-143.ftth.glasoperator.nl) (*.net *.split)
18:20:32 × mzg quits (mzg@abusers.hu) (*.net *.split)
18:20:32 × Goodbye_Vincent1 quits (cyvahl@freakshells.net) (*.net *.split)
18:20:32 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (*.net *.split)
18:20:32 × gmg quits (~user@user/gehmehgeh) (*.net *.split)
18:20:32 × ec quits (~ec@gateway/tor-sasl/ec) (*.net *.split)
18:20:32 × chexum quits (~quassel@gateway/tor-sasl/chexum) (*.net *.split)
18:20:32 × stiell quits (~stiell@gateway/tor-sasl/stiell) (*.net *.split)
18:20:32 × califax quits (~califax@user/califx) (*.net *.split)
18:20:32 × chiselfuse quits (~chiselfus@user/chiselfuse) (*.net *.split)
18:20:32 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (*.net *.split)
18:20:32 × Guest12 quits (~Guest12@94.7.192.138) (*.net *.split)
18:20:32 × Guest78 quits (~Guest78@37.228.251.150) (*.net *.split)
18:20:32 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split)
18:20:33 × sam113101 quits (~sam@modemcable220.199-203-24.mc.videotron.ca) (*.net *.split)
18:20:33 × xdej quits (~xdej@quatramaran.salle-s.org) (*.net *.split)
18:20:33 × foul_owl quits (~kerry@193.42.0.126) (*.net *.split)
18:20:33 × michalz quits (~michalz@185.246.207.203) (*.net *.split)
18:20:33 × hueso quits (~root@user/hueso) (*.net *.split)
18:20:33 × ftzm quits (~ftzm@085081033150.dynamic.telenor.dk) (*.net *.split)
18:20:33 × raym quits (~ray@user/raym) (*.net *.split)
18:20:33 × kmein quits (~weechat@user/kmein) (*.net *.split)
18:20:34 × emmanuelux quits (~emmanuelu@user/emmanuelux) (*.net *.split)
18:20:34 × Buliarous quits (~gypsydang@46.232.210.139) (*.net *.split)
18:20:34 × m1dnight_ quits (~m1dnight@d8D861908.access.telenet.be) (*.net *.split)
18:20:34 × Leary quits (~Leary@user/Leary/x-0910699) (*.net *.split)
18:20:34 × iteratee quits (~kyle@162.218.222.207) (*.net *.split)
18:20:34 × vgtw quits (~vgtw@user/vgtw) (*.net *.split)
18:20:34 × ridcully quits (~ridcully@p57b52ec2.dip0.t-ipconnect.de) (*.net *.split)
18:20:34 × noctux quits (~noctux@user/noctux) (*.net *.split)
18:20:34 × jjhoo quits (~jahakala@user/jjhoo) (*.net *.split)
18:20:34 × Spawns_Carpeting quits (~mobile@user/spawns-carpeting/x-6969421) (*.net *.split)
18:20:34 × dunj3 quits (~dunj3@h1765027.stratoserver.net) (*.net *.split)
18:20:34 × ski quits (~ski@remote11.chalmers.se) (*.net *.split)
18:20:35 × _________ quits (~nobody@user/noodly) (*.net *.split)
18:20:35 × pierrot quits (~pi@user/pierrot) (*.net *.split)
18:20:35 × APic quits (apic@apic.name) (*.net *.split)
18:20:35 × RMSBach quits (~guygastin@137.184.131.156) (*.net *.split)
18:20:35 × constxd quits (~constxd@user/constxd) (*.net *.split)
18:20:35 × Vq quits (~vq@81-226-38-201-no600.tbcn.telia.com) (*.net *.split)
18:20:35 × Igloo quits (~ian@81.2.99.210) (*.net *.split)
18:20:35 × euleritian quits (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de) (*.net *.split)
18:20:35 × swistak quits (~swistak@185.21.216.141) (*.net *.split)
18:20:35 × reidrac quits (~reidrac@user/reidrac) (*.net *.split)
18:20:35 × AlexNoo quits (~AlexNoo@178.34.163.23) (*.net *.split)
18:20:35 × ol0ck quits (~quassel@user/ol0ck) (*.net *.split)
18:20:35 × yahb2 quits (~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split)
18:20:35 × Guest1364 quits (~user@2601:644:937c:ed10::ae5) (*.net *.split)
18:20:35 × mrmr155334346318 quits (~mrmr@user/mrmr) (*.net *.split)
18:20:35 × nek0 quits (~nek0@user/nek0) (*.net *.split)
18:20:36 × jcarpenter2 quits (~lol@2603:3016:1e01:b9c0:794b:ce9f:2a3d:41ae) (*.net *.split)
18:20:36 × yaroot quits (~yaroot@p3031163-ipngn4701souka.saitama.ocn.ne.jp) (*.net *.split)
18:20:36 × _xor quits (~xor@ip-66-42-132-175.dynamic.fuse.net) (*.net *.split)
18:20:36 × Yumemi quits (~Yumemi@chamoin.net) (*.net *.split)
18:20:36 × myme quits (~myme@40.51-175-185.customer.lyse.net) (*.net *.split)
18:20:36 × sus0 quits (zero@user/zeromomentum) (*.net *.split)
18:20:37 × NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split)
18:20:37 × Athas quits (athas@sigkill.dk) (*.net *.split)
18:20:37 × mikko quits (~mikko@user/mikko) (*.net *.split)
18:20:37 × dfg quits (~dfg@user/dfg) (*.net *.split)
18:20:37 × Kamuela quits (sid111576@id-111576.tinside.irccloud.com) (*.net *.split)
18:20:37 × glider quits (glider@user/glider) (*.net *.split)
18:20:37 × fr33domlover quits (~fr33domlo@towards.vision) (*.net *.split)
18:20:37 × bramh quits (~bramh@user/bramh) (*.net *.split)
18:20:37 × skylord5816 quits (~skylord58@user/skylord5816) (*.net *.split)
18:20:37 × polux quits (~polux@51-15-169-172.rev.poneytelecom.eu) (*.net *.split)
18:20:37 × WzC quits (~Frank@77-162-168-71.fixed.kpn.net) (*.net *.split)
18:20:37 × ames quits (~amelia@offtopia/offtopian/amelia) (*.net *.split)
18:20:37 × Philonous quits (~Philonous@user/philonous) (*.net *.split)
18:20:37 × stefan-__ quits (~m-yh2rcc@42dots.de) (*.net *.split)
18:20:37 × sprotte24 quits (~sprotte24@p200300d16f35c200f4f310a9fb58ced0.dip0.t-ipconnect.de) (*.net *.split)
18:20:37 × paotsaq quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (*.net *.split)
18:20:37 × weary-traveler quits (~user@user/user363627) (*.net *.split)
18:20:37 × __monty__ quits (~toonn@user/toonn) (*.net *.split)
18:20:38 × dontdieych2 quits (~quassel@user/dontdieych2) (*.net *.split)
18:20:38 × lambdabot quits (~lambdabot@haskell/bot/lambdabot) (*.net *.split)
18:20:38 × nicole quits (ilbelkyr@libera/staff/ilbelkyr) (*.net *.split)
18:20:38 × _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (*.net *.split)
18:20:38 × doyougnu quits (~doyougnu@syn-045-046-170-068.res.spectrum.com) (*.net *.split)
18:20:38 × img quits (~img@user/img) (*.net *.split)
18:20:38 × potatoespotatoes quits (~quassel@user/potatoespotatoes) (*.net *.split)
18:20:38 × mud quits (~mud@user/kadoban) (*.net *.split)
18:20:38 × Angelz quits (Angelz@Angelz.oddprotocol.org) (*.net *.split)
18:20:38 × plitter quits (~plitter@user/plitter) (*.net *.split)
18:20:38 × myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (*.net *.split)
18:20:38 × urdh quits (~urdh@user/urdh) (*.net *.split)
18:20:38 × Fijxu quits (~Fijxu@user/fijxu) (*.net *.split)
18:20:38 × krjst quits (~krjst@2604:a880:800:c1::16b:8001) (*.net *.split)
18:20:38 × rembo10_ quits (~rembo10@main.remulis.com) (*.net *.split)
18:20:38 × mesaoptimizer quits (~mesa@user/PapuaHardyNet) (*.net *.split)
18:20:38 × nschoe quits (~nschoe@82-65-202-30.subs.proxad.net) (*.net *.split)
18:20:38 × haveo_ quits (~weechat@pacamara.iuwt.fr) (*.net *.split)
18:20:38 × carbolymer quits (~carbolyme@dropacid.net) (*.net *.split)
18:20:39 × tritlo quits (sid58727@id-58727.hampstead.irccloud.com) (*.net *.split)
18:20:39 × piele quits (~piele@tbonesteak.creativeserver.net) (*.net *.split)
18:20:39 × tamer quits (~tamer@user/tamer) (*.net *.split)
18:20:39 × meejah quits (~meejah@rutas.meejah.ca) (*.net *.split)
18:20:39 × Clint quits (~Clint@user/clint) (*.net *.split)
18:20:39 × V quits (~v@ircpuzzles/2022/april/winner/V) (*.net *.split)
18:20:39 × rncwnd quits (~quassel@2a01:4f8:221:27c6::1) (*.net *.split)
18:20:39 × fernando-basso quits (~fernando-@2a01:4f9:c012:63d3::1) (*.net *.split)
18:20:39 × n3t quits (~n3t@user/n3t) (*.net *.split)
18:20:39 × cross quits (~cross@spitfire.i.gajendra.net) (*.net *.split)
18:20:40 × landonf quits (landonf@mac68k.info) (*.net *.split)
18:20:40 × [exa] quits (~exa@user/exa/x-3587197) (*.net *.split)
18:20:40 × nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split)
18:20:40 × tapas quits (sid467876@id-467876.ilkley.irccloud.com) (*.net *.split)
18:20:40 × JSharp quits (sid4580@user/JSharp) (*.net *.split)
18:20:40 × davean quits (~davean@davean.sciesnet.net) (*.net *.split)
18:20:40 × h2t quits (~h2t@user/h2t) (*.net *.split)
18:20:40 × gmc quits (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split)
18:20:40 × PHO` quits (~pho@akari.cielonegro.org) (*.net *.split)
18:20:40 × darkling quits (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (*.net *.split)
18:20:40 × haritz quits (~hrtz@user/haritz) (*.net *.split)
18:20:40 × jle` quits (~jle`@2603:8001:3b02:84d4:90eb:bd2f:bbf5:f0d8) (*.net *.split)
18:20:40 × hsw_ quits (~hsw@112-104-8-145.adsl.dynamic.seed.net.tw) (*.net *.split)
18:20:41 × JamesMowery439 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (*.net *.split)
18:20:41 × rini quits (~rini@user/rini) (*.net *.split)
18:20:41 × emergence quits (emergence@vm0.max-p.me) (*.net *.split)
18:20:41 × driib318 quits (~driib@vmi931078.contaboserver.net) (*.net *.split)
18:20:41 × taleseeker quits (~taleseeke@user/taleseeker) (*.net *.split)
18:20:41 × shane quits (~shane@ana.rch.ist) (*.net *.split)
18:20:41 × cptaffe quits (~cptaffe@user/cptaffe) (*.net *.split)
18:20:41 × kritzefitz quits (~kritzefit@debian/kritzefitz) (*.net *.split)
18:20:41 × adamCS quits (~adamCS@68.161.167.240) (*.net *.split)
18:20:41 × pabs3 quits (~pabs3@user/pabs3) (*.net *.split)
18:20:41 × sudden quits (~cat@user/sudden) (*.net *.split)
18:20:42 × Adeon quits (sid418992@id-418992.lymington.irccloud.com) (*.net *.split)
18:20:42 × lally quits (sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split)
18:20:42 × jmcantrell quits (644f1bed9a@user/jmcantrell) (*.net *.split)
18:20:42 × barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (*.net *.split)
18:20:42 × mniip quits (mniip@libera/staff/mniip) (*.net *.split)
18:20:42 × earthy quits (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (*.net *.split)
18:20:42 × haetsal quits (~quassel@221.138.168.192) (*.net *.split)
18:20:42 × caubert quits (~caubert@user/caubert) (*.net *.split)
18:20:42 × pounce quits (~pounce@user/cute/pounce) (*.net *.split)
18:20:42 × ouroboros quits (~ouroboros@user/ouroboros) (*.net *.split)
18:20:42 × peutri quits (~peutri@bobo.desast.re) (*.net *.split)
18:20:42 × ringo_ quits (~ringo@157.230.117.128) (*.net *.split)
18:20:42 × flocks quits (~flocks@134.122.90.60) (*.net *.split)
18:20:42 × sm quits (~znc@plaintextaccounting/sm) (*.net *.split)
18:20:42 × Fangs quits (sid141280@id-141280.hampstead.irccloud.com) (*.net *.split)
18:20:42 × crazazy quits (~crazazy@tilde.town) (*.net *.split)
18:20:42 × nisstyre quits (wes@user/nisstyre) (*.net *.split)
18:20:42 × saolsen quits (sid26430@id-26430.lymington.irccloud.com) (*.net *.split)
18:20:42 × acro quits (~acro@user/acro) (*.net *.split)
18:20:43 × teesquare_ quits (~teesquare@user/teesquare) (*.net *.split)
18:20:43 × liskin quits (~liskin@xmonad/liskin) (*.net *.split)
18:20:43 × bgamari quits (~bgamari@64.223.233.64) (*.net *.split)
18:20:43 × beaky quits (~beaky@198.211.118.219) (*.net *.split)
18:20:43 × ncf quits (~n@monade.li) (*.net *.split)
18:20:43 × eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (*.net *.split)
18:20:43 × ft quits (~ft@p4fc2a354.dip0.t-ipconnect.de) (*.net *.split)
18:20:43 × inedia quits (~irc@2600:3c00:e000:287::1) (*.net *.split)
18:20:43 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (*.net *.split)
18:20:43 × FragByte quits (~christian@user/fragbyte) (*.net *.split)
18:20:43 × sabathan quits (~sabathan@acaen-652-1-335-197.w83-115.abo.wanadoo.fr) (*.net *.split)
18:20:44 × tomsmeding quits (~tomsmedin@2a01:4f8:c0c:5e5e::2) (*.net *.split)
18:20:44 × sand-witch quits (~m-mzmz6l@vmi833741.contaboserver.net) (*.net *.split)
18:20:44 × mulk quits (~mulk@p5b112493.dip0.t-ipconnect.de) (*.net *.split)
18:20:44 × vulpine quits (xfnw@user/meow/xfnw) (*.net *.split)
18:20:44 × red-snail quits (~red-snail@static.151.210.203.116.clients.your-server.de) (*.net *.split)
18:20:44 × hc quits (~hc@mail.hce.li) (*.net *.split)
18:20:44 × sefidel quits (~sefidel@user/sefidel) (*.net *.split)
18:20:44 × _koolazer quits (~koo@user/koolazer) (*.net *.split)
18:20:44 × wryishly quits (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (*.net *.split)
18:20:44 × meooow quits (~meooow@2400:6180:100:d0::ad9:e001) (*.net *.split)
18:20:45 × hammond quits (proscan@gateway04.insomnia247.nl) (*.net *.split)
18:20:45 × xacktm quits (xacktm@user/xacktm) (*.net *.split)
18:20:45 × tired- quits (~tired@user/tired) (*.net *.split)
18:20:45 × bastelfreak quits (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split)
18:20:45 × astroanax quits (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (*.net *.split)
18:20:45 × lyxia quits (~lyxia@poisson.chat) (*.net *.split)
18:20:45 × lieven quits (~mal@ns2.wyrd.be) (*.net *.split)
18:20:45 × mima quits (~mmh@user/mima) (*.net *.split)
18:20:45 × drlkf quits (~drlkf@chat-1.drlkf.net) (*.net *.split)
18:20:45 × edm quits (sid147314@id-147314.hampstead.irccloud.com) (*.net *.split)
18:20:45 × siers quits (~ij@user/ij) (*.net *.split)
18:20:45 × SrPx quits (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split)
18:20:45 × hamishmack quits (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split)
18:20:45 × lbseale quits (~quassel@user/ep1ctetus) (*.net *.split)
18:20:46 × infinity0 quits (~infinity0@pwned.gg) (*.net *.split)
18:20:46 × TMA quits (tma@twin.jikos.cz) (*.net *.split)
18:20:46 × tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split)
18:20:46 × welterde quits (welterde@thinkbase.srv.welterde.de) (*.net *.split)
18:20:46 × Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (*.net *.split)
18:20:46 × snek quits (sid280155@id-280155.lymington.irccloud.com) (*.net *.split)
18:20:46 × rubin55 quits (sid666177@id-666177.lymington.irccloud.com) (*.net *.split)
18:20:46 × PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (*.net *.split)
18:20:46 × cbarrett quits (uid192934@id-192934.helmsley.irccloud.com) (*.net *.split)
18:20:46 × SanchayanMaity quits (sid478177@id-478177.hampstead.irccloud.com) (*.net *.split)
18:20:46 × joeyh_ quits (~joeyh@kitenet.net) (*.net *.split)
18:20:47 × degraafk quits (sid71464@id-71464.lymington.irccloud.com) (*.net *.split)
18:20:47 × edwardk quits (sid47016@haskell/developer/edwardk) (*.net *.split)
18:20:47 × duncan quits (c6181279e3@user/meow/duncan) (*.net *.split)
18:20:47 × bheesham quits (3aa22d8375@2a03:6000:1812:100::e40) (*.net *.split)
18:20:47 × fvr quits (ef3e56ca8b@2a03:6000:1812:100::3c4) (*.net *.split)
18:20:47 × ursa-major quits (114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split)
18:20:47 × cpli quits (77fc530071@2a03:6000:1812:100::252) (*.net *.split)
18:20:47 × samhh quits (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split)
18:20:47 × sus quits (1b7af6299f@user/zeromomentum) (*.net *.split)
18:20:47 × aniketd quits (32aa4844cd@2a03:6000:1812:100::dcb) (*.net *.split)
18:20:47 × shreyasminocha quits (51fdc93eda@user/shreyasminocha) (*.net *.split)
18:20:47 × whereiseveryone quits (206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split)
18:20:47 × jakzale quits (6291399afa@user/jakzale) (*.net *.split)
18:20:47 × arcadewise quits (52968ed80d@2a03:6000:1812:100::3df) (*.net *.split)
18:20:47 × probie quits (cc0b34050a@user/probie) (*.net *.split)
18:20:47 × evanrelf quits (3addc196af@2a03:6000:1812:100::f0) (*.net *.split)
18:20:47 × ggb quits (a62ffbaf4f@2a03:6000:1812:100::3ac) (*.net *.split)
18:20:47 × remmie quits (ianremsen@tilde.team) (*.net *.split)
18:20:48 × apache quits (apache2@anubis.0x90.dk) (*.net *.split)
18:20:48 × markasoftware quits (~quassel@107.161.26.124) (*.net *.split)
18:20:48 × taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (*.net *.split)
18:20:48 × sweater1 quits (~sweater@206.81.18.26) (*.net *.split)
18:20:48 × _0xa_ quits (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (*.net *.split)
18:20:48 × deriamis quits (nobody@2600:3c0a::f03c:95ff:fee8:f335) (*.net *.split)
18:20:48 × mustafa quits (sid502723@rockylinux/releng/mustafa) (*.net *.split)
18:20:48 × xelxebar quits (~xelxebar@wilsonb.com) (*.net *.split)
18:20:48 × tokie quits (~tokie@user/strtok) (*.net *.split)
18:20:48 × xnbya2 quits (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split)
18:20:48 × edmundnoble_ quits (sid229620@id-229620.helmsley.irccloud.com) (*.net *.split)
18:20:48 × Jon quits (jon@dow.land) (*.net *.split)
18:20:48 × codedmart quits (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split)
18:20:48 × gaze__ quits (sid387101@id-387101.helmsley.irccloud.com) (*.net *.split)
18:20:48 × bradparker quits (sid262931@id-262931.uxbridge.irccloud.com) (*.net *.split)
18:20:48 × aspen quits (sid449115@id-449115.helmsley.irccloud.com) (*.net *.split)
18:20:48 × dfordvm quits (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split)
18:20:48 × jespada quits (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) (*.net *.split)
18:20:48 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (*.net *.split)
18:20:48 × dtman34 quits (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (*.net *.split)
18:20:48 × down200 quits (~down200@shell.lug.mtu.edu) (*.net *.split)
18:20:48 × bliminse quits (~bliminse@user/bliminse) (*.net *.split)
18:20:48 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (*.net *.split)
18:20:49 × byorgey quits (~byorgey@user/byorgey) (*.net *.split)
18:20:49 × dolio quits (~dolio@130.44.140.168) (*.net *.split)
18:20:49 × unlucy quits (sid572875@user/unlucy) (*.net *.split)
18:20:49 × acidsys quits (~crameleon@openSUSE/member/crameleon) (*.net *.split)
18:20:49 × jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split)
18:20:49 × monochrom quits (trebla@216.138.220.146) (*.net *.split)
18:20:49 × ent- quits (entgod@kapsi.fi) (*.net *.split)
18:20:49 × leah2 quits (~leah@vuxu.org) (*.net *.split)
18:20:49 × abrar quits (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (*.net *.split)
18:20:49 × astra quits (sid289983@id-289983.hampstead.irccloud.com) (*.net *.split)
18:20:49 × arkeet quits (~arkeet@moriya.ca) (*.net *.split)
18:20:49 × b20n quits (sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split)
18:20:49 × dy quits (sid3438@user/dy) (*.net *.split)
18:20:49 × jackdk quits (sid373013@cssa/jackdk) (*.net *.split)
18:20:50 × chaitlatte0 quits (ea29c0bb16@user/chaitlatte0) (*.net *.split)
18:20:50 × JoelMcCracken quits (5ea8252fbb@2a03:6000:1812:100::10e3) (*.net *.split)
18:20:50 × akspecs quits (00cc8321af@sourcehut/user/akspecs) (*.net *.split)
18:20:50 × lucyy quits (228ee8f0ce@user/lucyy) (*.net *.split)
18:20:50 × henrytill quits (e0180937c3@2a03:6000:1812:100::e8c) (*.net *.split)
18:20:50 × eso quits (a0662dfd5e@2a03:6000:1812:100::1266) (*.net *.split)
18:20:50 × ymherklotz quits (cb2c9cfbdd@2a03:6000:1812:100::29a) (*.net *.split)
18:20:50 × jkoshy quits (99b9359beb@user/jkoshy) (*.net *.split)
18:20:50 × jleightcap quits (7bc4014b62@user/jleightcap) (*.net *.split)
18:20:50 × pmk quits (6afe4476a1@2a03:6000:1812:100::26d) (*.net *.split)
18:20:50 × lane quits (809450f172@2a03:6000:1812:100::1300) (*.net *.split)
18:20:50 × lukec quits (9dfd4d094e@2a03:6000:1812:100::10e) (*.net *.split)
18:20:50 × GoldsteinQ quits (~goldstein@goldstein.rs) (*.net *.split)
18:20:50 × danso quits (~danso@user/danso) (*.net *.split)
18:20:50 × tolt quits (~weechat-h@li219-154.members.linode.com) (*.net *.split)
18:20:51 × systemfault quits (sid267009@about/typescript/member/systemfault) (*.net *.split)
18:20:51 × shachaf quits (~shachaf@user/shachaf) (*.net *.split)
18:20:51 × e-snail quits (~pete@user/e-snail) (*.net *.split)
18:20:51 × bjs quits (sid190364@user/bjs) (*.net *.split)
18:20:51 × caasih quits (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split)
18:20:51 × iphy quits (sid67735@user/iphy) (*.net *.split)
18:20:51 × totbwf quits (uid402332@id-402332.uxbridge.irccloud.com) (*.net *.split)
18:20:51 × energizer quits (~energizer@user/energizer) (*.net *.split)
18:20:51 × carter quits (sid14827@id-14827.helmsley.irccloud.com) (*.net *.split)
18:20:51 × lisq quits (~quassel@lis.moe) (*.net *.split)
18:20:51 × xnyhps quits (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (*.net *.split)
18:20:51 × it_ quits (~quassel@v2202212189510211193.supersrv.de) (*.net *.split)
18:20:51 × stefan-_ quits (~cri@42dots.de) (*.net *.split)
18:20:51 × acidjnk_new quits (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (*.net *.split)
18:20:51 × sawilagar quits (~sawilagar@user/sawilagar) (*.net *.split)
18:20:52 × turlando quits (~turlando@user/turlando) (*.net *.split)
18:20:52 × hellwolf quits (~user@83f6-cc01-1ebf-4324-0f00-4d40-07d0-2001.sta.estpak.ee) (*.net *.split)
18:20:52 × swamp_ quits (~zmt00@user/zmt00) (*.net *.split)
18:20:52 × Pozyomka quits (~pyon@user/pyon) (*.net *.split)
18:20:52 × esph quits (~weechat@user/esph) (*.net *.split)
18:20:52 × hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (*.net *.split)
18:20:52 × delyan_ quits (sid523379@id-523379.hampstead.irccloud.com) (*.net *.split)
18:20:53 × thatonelutenist quits (8216c46202@2a03:6000:1812:100::fb3) (*.net *.split)
18:20:53 × Patternmaster quits (~georg@user/Patternmaster) (*.net *.split)
18:20:53 × bw quits (sid2730@user/betawaffle) (*.net *.split)
18:20:53 × mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split)
18:20:53 × barthandelous01 quits (barth@triton.blinkenshell.org) (*.net *.split)
18:20:53 × wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split)
18:20:53 × samhh_ quits (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split)
18:20:53 × b0o quits (0e4a0bf4c9@2a03:6000:1812:100::1bf) (*.net *.split)
18:20:53 × sm2n quits (ae95cb1267@user/sm2n) (*.net *.split)
18:20:53 × titibandit quits (e33ffbab65@user/titibandit) (*.net *.split)
18:20:53 × raghavgururajan quits (ea769b8000@user/raghavgururajan) (*.net *.split)
18:20:53 × rselim quits (ce261f06ff@user/milesrout) (*.net *.split)
18:20:53 × Ankhers quits (e99e97ef8e@2a03:6000:1812:100::2a2) (*.net *.split)
18:20:53 × fn_lumi quits (3d621153a5@2a03:6000:1812:100::df7) (*.net *.split)
18:20:54 × fgaz quits (1ff9197ed6@2a03:6000:1812:100::11ea) (*.net *.split)
18:20:54 × RussetParrotBear quits (45ce440a48@2a03:6000:1812:100::e2) (*.net *.split)
18:20:54 × filwisher quits (2e6936c793@2a03:6000:1812:100::170) (*.net *.split)
18:20:54 × bsima1 quits (9d7e39c8ad@2a03:6000:1812:100::dd) (*.net *.split)
18:20:54 × smiesner quits (b0cf5acf8c@user/smiesner) (*.net *.split)
18:20:54 × hacklschorsch quits (~flo@2a01:4f9:3a:2296::2) (*.net *.split)
18:20:54 × AWizzArd quits (~code@user/awizzard) (*.net *.split)
18:20:54 × TimWolla quits (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split)
18:20:54 × Rembane quits (~Rembane@user/Rembane) (*.net *.split)
18:20:54 × Hecate quits (~mariposa@user/hecate) (*.net *.split)
18:20:54 × glguy quits (glguy@libera/staff/glguy) (*.net *.split)
18:20:55 × YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (*.net *.split)
18:20:55 × rvalue quits (~rvalue@user/rvalue) (*.net *.split)
18:20:55 × ljdarj quits (~Thunderbi@user/ljdarj) (*.net *.split)
18:20:55 × GdeVolpi1 quits (~GdeVolpia@user/GdeVolpiano) (*.net *.split)
18:20:55 × otto_s quits (~user@p5b044c54.dip0.t-ipconnect.de) (*.net *.split)
18:20:55 × anpad quits (~pandeyan@user/anpad) (*.net *.split)
18:20:55 × olivial quits (~benjaminl@user/benjaminl) (*.net *.split)
18:20:55 × tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (*.net *.split)
18:20:55 × hiredman quits (~hiredman@frontier1.downey.family) (*.net *.split)
18:20:55 × prasad quits (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (*.net *.split)
18:20:55 × alfiee quits (alfiee@user/alfiee) (*.net *.split)
18:20:56 × loonycyborg quits (loonycybor@wesnoth/developer/loonycyborg) (*.net *.split)
18:20:56 × df quits (~ben@justworks.xyz) (*.net *.split)
18:20:56 × tuxpaint quits (~a@put.gay) (*.net *.split)
18:20:56 × Pent quits (sid313808@id-313808.lymington.irccloud.com) (*.net *.split)
18:20:56 × dminuoso quits (~weechat@user/dminuoso) (*.net *.split)
18:20:56 × albet70 quits (~xxx@2400:8905::f03c:92ff:fe60:98d8) (*.net *.split)
18:20:56 × ell quits (~ellie@user/ellie) (*.net *.split)
18:20:56 × res0nat0r0844909 quits (~Fletch@falcon.whatbox.ca) (*.net *.split)
18:20:56 × natto quits (~natto@129.154.243.159) (*.net *.split)
18:20:56 × dpk quits (~dpk@jains.nonceword.org) (*.net *.split)
18:20:56 × bwe quits (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split)
18:20:56 × Hafydd quits (~Hafydd@user/hafydd) (*.net *.split)
18:20:56 × disconnect3d quits (~disconnec@user/disconnect3d) (*.net *.split)
18:20:57 × jocke-l quits (jocke-l@a.x0.is) (*.net *.split)
18:20:57 × Hobbyboy quits (Hobbyboy@hobbyboy.co.uk) (*.net *.split)
18:20:57 × davl_ quits (~davl@207.154.228.18) (*.net *.split)
18:20:57 × coldmountain quits (sid484352@id-484352.helmsley.irccloud.com) (*.net *.split)
18:20:57 × shawwwn quits (sid6132@id-6132.helmsley.irccloud.com) (*.net *.split)
18:20:57 × sa1 quits (sid7690@id-7690.ilkley.irccloud.com) (*.net *.split)
18:20:57 × bailsman quits (~ejrietvel@revspace/participant/bailsman) (*.net *.split)
18:20:57 × idnar quits (sid12240@debian/mithrandi) (*.net *.split)
18:20:57 × integral quits (sid296274@user/integral) (*.net *.split)
18:20:57 × remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (*.net *.split)
18:20:57 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (*.net *.split)
18:20:58 × Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (*.net *.split)
18:20:58 × m5zs7k quits (aquares@web10.mydevil.net) (*.net *.split)
18:20:58 × forell quits (~forell@user/forell) (*.net *.split)
18:20:58 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split)
18:20:58 × sim590 quits (~simon@24-122-69-233.resi.cgocable.ca) (*.net *.split)
18:20:58 × tomku quits (~tomku@user/tomku) (*.net *.split)
18:20:58 × fun-safe-math quits (~fun-safe-@2601:1c2:1b7f:801f:9be8:50a:7d0a:fa49) (*.net *.split)
18:20:58 × drdo quits (~drdo@bl9-110-63.dsl.telepac.pt) (*.net *.split)
18:20:58 × divya quits (divya@140.238.251.170) (*.net *.split)
18:20:58 × Natch quits (~natch@c-92-34-7-158.bbcust.telenor.se) (*.net *.split)
18:20:58 × bsima quits (~bsima@2604:a880:400:d0::19f1:7001) (*.net *.split)
18:20:58 × comonad quits (~comonad@p200300d027182d00bcfd40be9d94d2dc.dip0.t-ipconnect.de) (*.net *.split)
18:20:59 × manwithluck quits (~manwithlu@194.177.28.164) (*.net *.split)
18:20:59 × catties quits (~catties@user/meow/catties) (*.net *.split)
18:20:59 × flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split)
18:20:59 × dmj` quits (sid72307@id-72307.hampstead.irccloud.com) (*.net *.split)
18:20:59 × anon9 quits (~lockywolf@coconut.lockywolf.net) (*.net *.split)
18:20:59 × gAy_Dragon quits (A_D@libera/staff/dragon) (*.net *.split)
18:20:59 × ZLima12 quits (~zlima12@user/meow/ZLima12) (*.net *.split)
18:20:59 × eugenrh quits (~eugenrh@user/eugenrh) (*.net *.split)
18:20:59 × hololeap quits (~quassel@user/hololeap) (*.net *.split)
18:21:00 × Adran quits (~adran@botters/adran) (*.net *.split)
18:21:00 × lambdap2371 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (*.net *.split)
18:21:00 × koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split)
18:21:00 × opqdonut quits (opqdonut@pseudo.fixme.fi) (*.net *.split)
18:21:00 × j1n37 quits (~j1n37@user/j1n37) (*.net *.split)
18:21:00 × Digit quits (~user@user/digit) (*.net *.split)
18:21:00 × tnt1 quits (~Thunderbi@user/tnt1) (*.net *.split)
18:21:00 × xff0x quits (~xff0x@2405:6580:b080:900:8310:6e2:3d63:5127) (*.net *.split)
18:21:00 × arahael quits (~arahael@user/arahael) (*.net *.split)
18:21:00 × caconym quits (~caconym@user/caconym) (*.net *.split)
18:21:00 × CrunchyFlakes_ quits (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) (*.net *.split)
18:21:00 × gorignak quits (~gorignak@user/gorignak) (*.net *.split)
18:21:00 × tjbc quits (~tjbc@user/fliife) (*.net *.split)
18:21:00 × mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (*.net *.split)
18:21:00 × rachelambda8 quits (~rachelamb@cust-95-80-25-71.csbnet.se) (*.net *.split)
18:21:00 × mceresa quits (~mceresa@user/mceresa) (*.net *.split)
18:21:00 × visilii quits (~visilii@188.254.110.9) (*.net *.split)
18:21:00 × yushyin quits (CinQEuz8mT@mail.karif.server-speed.net) (*.net *.split)
18:21:00 × noctuks quits (MR7CNKXm0J@user/noctux) (*.net *.split)
18:21:00 × s4msung quits (wBrkYH9KHh@user/s4msung) (*.net *.split)
18:21:01 × andreas303 quits (andreas303@is.drunk.and.ready-to.party) (*.net *.split)
18:21:01 × xal quits (~xal@mx1.xal.systems) (*.net *.split)
18:21:01 × Vajb quits (~Vajb@n84e9ei03jkqt6rm3ev-1.v6.elisa-mobile.fi) (*.net *.split)
18:21:01 × tinjamin4 quits (~tinjamin@banshee.h4x0r.space) (*.net *.split)
18:21:01 × DragonMaus quits (~dragonmau@user/dragonmaus) (*.net *.split)
18:21:01 × haasn quits (uid579015@id-579015.hampstead.irccloud.com) (*.net *.split)
18:21:01 × dostoyevsky2 quits (~sck@user/dostoyevsky2) (*.net *.split)
18:21:01 × MironZ3 quits (~MironZ@nat-infra.ehlab.uk) (*.net *.split)
18:21:01 × zfnmxt quits (~zfnmxt@user/zfnmxt) (*.net *.split)
18:21:01 × simendsjo quits (34b0550437@2a03:6000:1812:100::1441) (*.net *.split)
18:21:01 × preflex quits (~preflex@user/mauke/bot/preflex) (*.net *.split)
18:21:01 × mcfrdy quits (~mcfrdy@user/mcfrdy) (*.net *.split)
18:21:02 × dumptruckman quits (~dumptruck@66-175-211-75.ip.linodeusercontent.com) (*.net *.split)
18:21:02 × berberman quits (~berberman@user/berberman) (*.net *.split)
18:21:02 × [_________] quits (~oos95GWG@user/oos95GWG) (*.net *.split)
18:21:02 × Techcable quits (sid534393@user/Techcable) (*.net *.split)
18:21:02 × enikar quits (~enikar@user/enikar) (*.net *.split)
18:21:02 × absence quits (torgeihe@hildring.pvv.ntnu.no) (*.net *.split)
18:21:02 × aristid quits (sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split)
18:21:02 × rune_ quits (sid21167@id-21167.ilkley.irccloud.com) (*.net *.split)
18:21:02 × fired quits (LA@2600:3c00::f03c:92ff:fee3:aace) (*.net *.split)
18:21:02 × Jonno_FTW quits (~come@user/jonno-ftw/x-0835346) (*.net *.split)
18:21:02 × dispater quits (~dispater@mail.brprice.uk) (*.net *.split)
18:21:02 × alanz quits (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split)
18:21:02 × Aleksejs quits (~Aleksejs@107.170.21.106) (*.net *.split)
18:21:02 × SethTisue quits (sid14912@id-14912.ilkley.irccloud.com) (*.net *.split)
18:21:02 × nonzen quits (~nonzen@user/nonzen) (*.net *.split)
18:21:02 × pikajude quits (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (*.net *.split)
18:21:02 × xerox quits (~edi@user/edi) (*.net *.split)
18:21:02 × She quits (haveident@libera/staff/she/her) (*.net *.split)
18:21:02 × andjjj23 quits (~irc@107.170.228.47) (*.net *.split)
18:21:02 × sclv quits (sid39734@haskell/developer/sclv) (*.net *.split)
18:21:02 × jmct quits (sid160793@id-160793.tinside.irccloud.com) (*.net *.split)
18:21:02 × alinab quits (sid468903@id-468903.helmsley.irccloud.com) (*.net *.split)
18:21:02 × geekosaur quits (sid609282@xmonad/geekosaur) (*.net *.split)
18:21:02 × bryanv quits (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (*.net *.split)
18:21:02 × mmaruseacph2 quits (~mihai@mihai.page) (*.net *.split)
18:21:02 × ProofTechnique_ quits (sid79547@id-79547.ilkley.irccloud.com) (*.net *.split)
18:21:03 × amir quits (sid22336@user/amir) (*.net *.split)
18:21:03 × lexi-lambda quits (sid92601@id-92601.hampstead.irccloud.com) (*.net *.split)
18:21:03 × S11001001 quits (sid42510@id-42510.ilkley.irccloud.com) (*.net *.split)
18:21:03 × T_S_____ quits (sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split)
18:21:03 × dsal quits (sid13060@id-13060.lymington.irccloud.com) (*.net *.split)
18:21:03 × Axman6 quits (~Axman6@user/axman6) (*.net *.split)
18:21:03 × duckworld quits (~duckworld@user/duckworld) (*.net *.split)
18:21:03 × superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split)
18:21:03 × alp quits (~alp@2001:861:8ca0:4940:1e61:879a:b0ec:434f) (*.net *.split)
18:21:03 × EvanR quits (~EvanR@user/evanr) (*.net *.split)
18:21:03 × Fischmiep quits (~Fischmiep@user/Fischmiep) (*.net *.split)
18:21:03 × Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (*.net *.split)
18:21:03 × haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (*.net *.split)
18:21:04 × Pixi quits (~Pixi@user/pixi) (*.net *.split)
18:21:04 × cheater quits (~Username@user/cheater) (*.net *.split)
18:21:04 × Flow quits (~none@gentoo/developer/flow) (*.net *.split)
18:21:04 × gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split)
18:21:04 × connrs quits (~connrs@user/connrs) (*.net *.split)
18:21:04 × cjay quits (cjay@nerdbox.nerd2nerd.org) (*.net *.split)
18:21:04 × igemnace quits (~igemnace@user/igemnace) (*.net *.split)
18:21:04 × gawen quits (~gawen@user/gawen) (*.net *.split)
18:21:04 × poscat quits (~poscat@user/poscat) (*.net *.split)
18:21:04 × smtt quits (smt@user/smtt) (*.net *.split)
18:21:04 × pointlessslippe- quits (~pointless@62.106.85.17) (*.net *.split)
18:21:05 × Logio quits (em@kapsi.fi) (*.net *.split)
18:21:05 × sa quits (sid1055@id-1055.tinside.irccloud.com) (*.net *.split)
18:21:05 × chymera quits (~chymera@ns1000526.ip-51-81-46.us) (*.net *.split)
18:21:05 × hook54321 quits (sid149355@user/hook54321) (*.net *.split)
18:21:05 × gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split)
18:21:05 × auri quits (~auri@fsf/member/auri) (*.net *.split)
18:21:05 × jbalint quits (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) (*.net *.split)
18:21:05 × Dykam quits (Dykam@dykam.nl) (*.net *.split)
18:21:05 × farn__ quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split)
18:21:05 × jess quits (meow@libera/staff/cat/jess) (*.net *.split)
18:21:05 × orcus quits (~orcus@mail.brprice.uk) (*.net *.split)
18:21:05 × nckx quits (nckx@libera/staff/owl/nckx) (*.net *.split)
18:21:05 × mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (*.net *.split)
18:21:06 × Moyst__ quits (~moyst@user/moyst) (*.net *.split)
18:21:06 × c_wraith quits (~c_wraith@adjoint.us) (*.net *.split)
18:21:06 × ggVGc quits (~ggVGc@a.lowtech.earth) (*.net *.split)
18:21:06 × ChanServ quits (ChanServ@services.libera.chat) (*.net *.split)
18:21:49 → tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
18:21:49 → target_i joins (~target_i@user/target-i/x-6023099)
18:21:49 → eL_Bart0 joins (eL_Bart0@dietunichtguten.org)
18:21:49 → jespada joins (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1)
18:21:49 → euphores joins (~SASL_euph@user/euphores)
18:21:49 → akegalj joins (~akegalj@142-231.dsl.iskon.hr)
18:21:49 → Guest12 joins (~Guest12@94.7.192.138)
18:21:49 → aku joins (aku@65.108.245.241)
18:21:49 → Igloo joins (~ian@81.2.99.210)
18:21:49 → Guest78 joins (~Guest78@37.228.251.150)
18:21:49 → sprotte24 joins (~sprotte24@p200300d16f35c200f4f310a9fb58ced0.dip0.t-ipconnect.de)
18:21:49 → euleritian joins (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de)
18:21:49 → lbseale joins (~quassel@user/ep1ctetus)
18:21:49 → acidjnk_new joins (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de)
18:21:49 → alp joins (~alp@2001:861:8ca0:4940:1e61:879a:b0ec:434f)
18:21:49 → YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
18:21:49 → ft joins (~ft@p4fc2a354.dip0.t-ipconnect.de)
18:21:49 → rvalue joins (~rvalue@user/rvalue)
18:21:49 → ystael joins (~ystael@user/ystael)
18:21:49 → swistak joins (~swistak@185.21.216.141)
18:21:49 → Smiles joins (uid551636@id-551636.lymington.irccloud.com)
18:21:49 → paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt)
18:21:49 → gentauro joins (~gentauro@user/gentauro)
18:21:49 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
18:21:49 → j1n37 joins (~j1n37@user/j1n37)
18:21:49 → Digit joins (~user@user/digit)
18:21:49 → dtman34 joins (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net)
18:21:49 → down200 joins (~down200@shell.lug.mtu.edu)
18:21:49 → tnt1 joins (~Thunderbi@user/tnt1)
18:21:49 → weary-traveler joins (~user@user/user363627)
18:21:49 → xff0x joins (~xff0x@2405:6580:b080:900:8310:6e2:3d63:5127)
18:21:49 → Typedfern joins (~Typedfern@85.red-83-37-40.dynamicip.rima-tde.net)
18:21:49 → remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz)
18:21:49 → sam113101 joins (~sam@modemcable220.199-203-24.mc.videotron.ca)
18:21:49 → vanishingideal joins (~vanishing@user/vanishingideal)
18:21:49 → ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
18:21:49 → __monty__ joins (~toonn@user/toonn)
18:21:49 → arahael joins (~arahael@user/arahael)
18:21:49 → ljdarj joins (~Thunderbi@user/ljdarj)
18:21:49 → dontdieych2 joins (~quassel@user/dontdieych2)
18:21:49 → GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano)
18:21:49 → caconym joins (~caconym@user/caconym)
18:21:49 → xdej joins (~xdej@quatramaran.salle-s.org)
18:21:49 → reidrac joins (~reidrac@user/reidrac)
18:21:49 → sawilagar joins (~sawilagar@user/sawilagar)
18:21:49 → p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
18:21:49 → foul_owl joins (~kerry@193.42.0.126)
18:21:49 → cyphase joins (~cyphase@user/cyphase)
18:21:49 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
18:21:49 → michalz joins (~michalz@185.246.207.203)
18:21:49 → CrunchyFlakes_ joins (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de)
18:21:49 → hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363)
18:21:49 → haritz joins (~hrtz@user/haritz)
18:21:49 → gorignak joins (~gorignak@user/gorignak)
18:21:49 → YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7)
18:21:49 → otto_s joins (~user@p5b044c54.dip0.t-ipconnect.de)
18:21:49 → gmg joins (~user@user/gehmehgeh)
18:21:49 → ec joins (~ec@gateway/tor-sasl/ec)
18:21:49 → jle` joins (~jle`@2603:8001:3b02:84d4:90eb:bd2f:bbf5:f0d8)
18:21:49 → hsw_ joins (~hsw@112-104-8-145.adsl.dynamic.seed.net.tw)
18:21:49 → lambdabot joins (~lambdabot@haskell/bot/lambdabot)
18:21:49 → int-e joins (~noone@int-e.eu)
18:21:49 → bliminse joins (~bliminse@user/bliminse)
18:21:49 → nicole joins (ilbelkyr@libera/staff/ilbelkyr)
18:21:49 → bionade24 joins (~quassel@2a03:4000:33:45b::1)
18:21:49 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
18:21:49 → EvanR joins (~EvanR@user/evanr)
18:21:49 → inedia joins (~irc@2600:3c00:e000:287::1)
18:21:49 → turlando joins (~turlando@user/turlando)
18:21:49 → chexum joins (~quassel@gateway/tor-sasl/chexum)
18:21:49 → _d0t joins (~{-d0t-}@user/-d0t-/x-7915216)
18:21:49 → ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se)
18:21:49 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
18:21:49 → tjbc joins (~tjbc@user/fliife)
18:21:49 → Fischmiep joins (~Fischmiep@user/Fischmiep)
18:21:49 → Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi)
18:21:49 → tv joins (~tv@user/tv)
18:21:49 → AlexZenon joins (~alzenon@178.34.163.23)
18:21:49 → AlexNoo joins (~AlexNoo@178.34.163.23)
18:21:49 → haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com)
18:21:49 → Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no)
18:21:49 → m5zs7k joins (aquares@web10.mydevil.net)
18:21:49 → ol0ck joins (~quassel@user/ol0ck)
18:21:49 → hawer joins (~newyear@2.219.56.221)
18:21:49 → doyougnu joins (~doyougnu@syn-045-046-170-068.res.spectrum.com)
18:21:49 → avidseeker joins (av@user/avidseeker)
18:21:49 → hueso joins (~root@user/hueso)
18:21:49 → img joins (~img@user/img)
18:21:49 → Goodbye_Vincent1 joins (cyvahl@freakshells.net)
18:21:49 → mzg joins (mzg@abusers.hu)
18:21:49 → tdammers joins (~tdammers@110-136-178-143.ftth.glasoperator.nl)
18:21:49 → Ranhir joins (~Ranhir@157.97.53.139)
18:21:49 → Ekho joins (~Ekho@user/ekho)
18:21:49 erbium.libera.chat sets mode +vv lambdabot haskellbridge
18:21:49 → sprout joins (~sprout@84-80-106-227.fixed.kpn.net)
18:21:49 → jathan joins (~jathan@69.61.93.38)
18:21:49 → ycp joins (~znc@user/dragestil)
18:21:49 → zlqrvx joins (~zlqrvx@user/zlqrvx)
18:21:49 → meinside joins (uid24933@id-24933.helmsley.irccloud.com)
18:21:49 → nurupo joins (~nurupo.ga@user/nurupo)
18:21:49 → nadja joins (~dequbed@banana-new.kilobyte22.de)
18:21:49 → nshepperd2 joins (~nshepperd@2a01:4f9:3b:4cc9::2)
18:21:49 → stilgart joins (~Christoph@chezlefab.net)
18:21:49 → tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com)
18:21:49 → jrm joins (~jrm@user/jrm)
18:21:49 → migas9778 joins (~migas@static.140.65.63.178.clients.your-server.de)
18:21:49 → zero joins (~z@user/zero)
18:21:49 → tomboy64 joins (~tomboy64@user/tomboy64)
18:21:49 → Me-me joins (~me-me@user/me-me)
18:21:49 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
18:21:49 → petrichor joins (~znc-user@user/petrichor)
18:21:49 → op_4 joins (~tslil@user/op-4/x-9116473)
18:21:49 → terrorjack45 joins (~terrorjac@2a01:4f8:c17:a66e::)
18:21:49 → Sciencentistguy joins (~sciencent@hacksoc/ordinary-member)
18:21:49 → OftenFaded joins (~OftenFade@user/tisktisk)
18:21:49 → potatoespotatoes joins (~quassel@user/potatoespotatoes)
18:21:49 → JamesMowery439 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net)
18:21:49 → stiell joins (~stiell@gateway/tor-sasl/stiell)
18:21:49 → rini joins (~rini@user/rini)
18:21:49 → ftzm joins (~ftzm@085081033150.dynamic.telenor.dk)
18:21:49 → szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
18:21:49 → yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2)
18:21:49 → Guest1364 joins (~user@2601:644:937c:ed10::ae5)
18:21:49 → forell joins (~forell@user/forell)
18:21:49 → califax joins (~califax@user/califx)
18:21:49 → infinity0 joins (~infinity0@pwned.gg)
18:21:49 → mud joins (~mud@user/kadoban)
18:21:49 → Xe joins (~Xe@perl/impostor/xe)
18:21:49 → raym joins (~ray@user/raym)
18:21:49 → kmein joins (~weechat@user/kmein)
18:21:49 → hellwolf joins (~user@83f6-cc01-1ebf-4324-0f00-4d40-07d0-2001.sta.estpak.ee)
18:21:49 → Pixi joins (~Pixi@user/pixi)
18:21:49 → todi joins (~todi@p57803331.dip0.t-ipconnect.de)
18:21:49 → mrmr155334346318 joins (~mrmr@user/mrmr)
18:21:49 → Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
18:21:49 → anpad joins (~pandeyan@user/anpad)
18:21:49 → olivial joins (~benjaminl@user/benjaminl)
18:21:49 → nek0 joins (~nek0@user/nek0)
18:21:49 → tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
18:21:49 → duckworld joins (~duckworld@user/duckworld)
18:21:49 → sim590 joins (~simon@24-122-69-233.resi.cgocable.ca)
18:21:49 erbium.libera.chat sets mode +v yahb2
18:21:49 → tomku joins (~tomku@user/tomku)
18:21:49 → hiredman joins (~hiredman@frontier1.downey.family)
18:21:49 → troydm joins (~troydm@user/troydm)
18:21:49 → mhatta joins (~mhatta@www21123ui.sakura.ne.jp)
18:21:49 → philopsos joins (~caecilius@user/philopsos)
18:21:49 → chiselfuse joins (~chiselfus@user/chiselfuse)
18:21:49 → cheater joins (~Username@user/cheater)
18:21:49 → Katarushisu joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
18:21:49 → prasad joins (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net)
18:21:49 → FragByte joins (~christian@user/fragbyte)
18:21:49 → rachelambda8 joins (~rachelamb@cust-95-80-25-71.csbnet.se)
18:21:49 → Flow joins (~none@gentoo/developer/flow)
18:21:49 → nitrix joins (~nitrix@user/meow/nitrix)
18:21:49 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
18:21:49 → kimiamania joins (~65804703@user/kimiamania)
18:21:49 → mceresa joins (~mceresa@user/mceresa)
18:21:49 → swamp_ joins (~zmt00@user/zmt00)
18:21:49 → TMA joins (tma@twin.jikos.cz)
18:21:49 → Angelz joins (Angelz@Angelz.oddprotocol.org)
18:21:49 → tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
18:21:49 → sabathan joins (~sabathan@acaen-652-1-335-197.w83-115.abo.wanadoo.fr)
18:21:49 → emmanuelux joins (~emmanuelu@user/emmanuelux)
18:21:49 → Buliarous joins (~gypsydang@46.232.210.139)
18:21:49 → Pozyomka joins (~pyon@user/pyon)
18:21:49 → visilii joins (~visilii@188.254.110.9)
18:21:49 → yushyin joins (CinQEuz8mT@mail.karif.server-speed.net)
18:21:49 → s4msung joins (wBrkYH9KHh@user/s4msung)
18:21:49 → noctuks joins (MR7CNKXm0J@user/noctux)
18:21:49 → byorgey joins (~byorgey@user/byorgey)
18:21:49 → gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk)
18:21:49 → jcarpenter2 joins (~lol@2603:3016:1e01:b9c0:794b:ce9f:2a3d:41ae)
18:21:49 → esph joins (~weechat@user/esph)
18:21:49 → connrs joins (~connrs@user/connrs)
18:21:49 → cjay joins (cjay@nerdbox.nerd2nerd.org)
18:21:49 → plitter joins (~plitter@user/plitter)
18:21:49 → dolio joins (~dolio@130.44.140.168)
18:21:49 → fun-safe-math joins (~fun-safe-@2601:1c2:1b7f:801f:9be8:50a:7d0a:fa49)
18:21:49 → yaroot joins (~yaroot@p3031163-ipngn4701souka.saitama.ocn.ne.jp)
18:21:49 → tomsmeding joins (~tomsmedin@2a01:4f8:c0c:5e5e::2)
18:21:49 → hughjfchen joins (~hughjfche@vmi556545.contaboserver.net)
18:21:49 → Eoco joins (~ian@128.101.131.218)
18:21:49 → m1dnight_ joins (~m1dnight@d8D861908.access.telenet.be)
18:21:49 → kaskal joins (~kaskal@84-115-237-124.cable.dynamic.surfer.at)
18:21:49 → Leary joins (~Leary@user/Leary/x-0910699)
18:21:49 → sand-witch joins (~m-mzmz6l@vmi833741.contaboserver.net)
18:21:49 → drdo joins (~drdo@bl9-110-63.dsl.telepac.pt)
18:21:49 → igemnace joins (~igemnace@user/igemnace)
18:21:49 erbium.libera.chat sets mode +o tomsmeding
18:21:49 → andreas303 joins (andreas303@is.drunk.and.ready-to.party)
18:21:49 → myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com)
18:21:49 → emergence joins (emergence@vm0.max-p.me)
18:21:49 → driib318 joins (~driib@vmi931078.contaboserver.net)
18:21:49 → urdh joins (~urdh@user/urdh)
18:21:49 → mulk joins (~mulk@p5b112493.dip0.t-ipconnect.de)
18:21:49 → divya joins (divya@140.238.251.170)
18:21:49 → Natch joins (~natch@c-92-34-7-158.bbcust.telenor.se)
18:21:49 → iteratee joins (~kyle@162.218.222.207)
18:21:49 → welterde joins (welterde@thinkbase.srv.welterde.de)
18:21:49 → spew joins (~spew@135.233.119.40)
18:21:49 → mjrosenb joins (~mjrosenb@70.18.10.118)
18:21:49 → gawen joins (~gawen@user/gawen)
18:21:49 → xal joins (~xal@mx1.xal.systems)
18:21:49 → _xor joins (~xor@ip-66-42-132-175.dynamic.fuse.net)
18:21:49 → bsima joins (~bsima@2604:a880:400:d0::19f1:7001)
18:21:49 → taleseeker joins (~taleseeke@user/taleseeker)
18:21:49 → alfiee joins (alfiee@user/alfiee)
18:21:49 → Fijxu joins (~Fijxu@user/fijxu)
18:21:49 → johnjaye joins (~pi@syn-035-146-235-019.res.spectrum.com)
18:21:49 → shane joins (~shane@ana.rch.ist)
18:21:49 → cptaffe joins (~cptaffe@user/cptaffe)
18:21:49 → vulpine joins (xfnw@user/meow/xfnw)
18:21:49 → kritzefitz joins (~kritzefit@debian/kritzefitz)
18:21:49 → edwtjo joins (~edwtjo@fsf/member/edwtjo)
18:21:49 → Vajb joins (~Vajb@n84e9ei03jkqt6rm3ev-1.v6.elisa-mobile.fi)
18:21:49 → poscat joins (~poscat@user/poscat)
18:21:49 → Arsen joins (arsen@gentoo/developer/managarm.dev.Arsen)
18:21:49 → smtt joins (smt@user/smtt)
18:21:49 → krjst joins (~krjst@2604:a880:800:c1::16b:8001)
18:21:49 → delyan_ joins (sid523379@id-523379.hampstead.irccloud.com)
18:21:49 → unlucy joins (sid572875@user/unlucy)
18:21:49 → rembo10_ joins (~rembo10@main.remulis.com)
18:21:49 → mesaoptimizer joins (~mesa@user/PapuaHardyNet)
18:21:49 → thatonelutenist joins (8216c46202@2a03:6000:1812:100::fb3)
18:21:49 → comonad joins (~comonad@p200300d027182d00bcfd40be9d94d2dc.dip0.t-ipconnect.de)
18:21:49 → manwithluck joins (~manwithlu@194.177.28.164)
18:21:49 → nschoe joins (~nschoe@82-65-202-30.subs.proxad.net)
18:21:49 → adamCS joins (~adamCS@68.161.167.240)
18:21:49 → acidsys joins (~crameleon@openSUSE/member/crameleon)
18:21:49 → pabs3 joins (~pabs3@user/pabs3)
18:21:49 → vgtw joins (~vgtw@user/vgtw)
18:21:49 → Patternmaster joins (~georg@user/Patternmaster)
18:21:49 → tinjamin4 joins (~tinjamin@banshee.h4x0r.space)
18:21:49 → ridcully joins (~ridcully@p57b52ec2.dip0.t-ipconnect.de)
18:21:49 → jonrh joins (sid5185@id-5185.ilkley.irccloud.com)
18:21:49 → PotatoGim joins (sid99505@id-99505.lymington.irccloud.com)
18:21:49 → rubin55 joins (sid666177@id-666177.lymington.irccloud.com)
18:21:49 → snek joins (sid280155@id-280155.lymington.irccloud.com)
18:21:49 → cbarrett joins (uid192934@id-192934.helmsley.irccloud.com)
18:21:49 → loonycyborg joins (loonycybor@wesnoth/developer/loonycyborg)
18:21:49 → red-snail joins (~red-snail@static.151.210.203.116.clients.your-server.de)
18:21:49 → noctux joins (~noctux@user/noctux)
18:21:49 → jjhoo joins (~jahakala@user/jjhoo)
18:21:49 → sudden joins (~cat@user/sudden)
18:21:49 → pointlessslippe- joins (~pointless@62.106.85.17)
18:21:49 → catties joins (~catties@user/meow/catties)
18:21:49 → hc joins (~hc@mail.hce.li)
18:21:49 → bheesham joins (3aa22d8375@2a03:6000:1812:100::e40)
18:21:49 → DragonMaus joins (~dragonmau@user/dragonmaus)
18:21:49 → Spawns_Carpeting joins (~mobile@user/spawns-carpeting/x-6969421)
18:21:49 → sefidel joins (~sefidel@user/sefidel)
18:21:49 → monochrom joins (trebla@216.138.220.146)
18:21:49 → flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
18:21:49 → Maxdamantus joins (~Maxdamant@user/maxdamantus)
18:21:49 → Yumemi joins (~Yumemi@chamoin.net)
18:21:49 → glguy joins (glguy@libera/staff/glguy)
18:21:49 → haasn joins (uid579015@id-579015.hampstead.irccloud.com)
18:21:49 → Logio joins (em@kapsi.fi)
18:21:49 → darkling joins (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space)
18:21:49 → dunj3 joins (~dunj3@h1765027.stratoserver.net)
18:21:49 → Axman6 joins (~Axman6@user/axman6)
18:21:49 → ByronJohnson joins (~bairyn@50.250.232.19)
18:21:49 → superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net)
18:21:49 → sa joins (sid1055@id-1055.tinside.irccloud.com)
18:21:49 → dmj` joins (sid72307@id-72307.hampstead.irccloud.com)
18:21:49 → chymera joins (~chymera@ns1000526.ip-51-81-46.us)
18:21:49 → bw joins (sid2730@user/betawaffle)
18:21:49 → Adeon joins (sid418992@id-418992.lymington.irccloud.com)
18:21:49 → lally joins (sid388228@id-388228.uxbridge.irccloud.com)
18:21:49 → jmcantrell joins (644f1bed9a@user/jmcantrell)
18:21:49 → myme joins (~myme@40.51-175-185.customer.lyse.net)
18:21:49 → ent- joins (entgod@kapsi.fi)
18:21:49 → df joins (~ben@justworks.xyz)
18:21:49 → haveo_ joins (~weechat@pacamara.iuwt.fr)
18:21:49 → _koolazer joins (~koo@user/koolazer)
18:21:49 → carbolymer joins (~carbolyme@dropacid.net)
18:21:49 → Pent joins (sid313808@id-313808.lymington.irccloud.com)
18:21:49 → tuxpaint joins (~a@put.gay)
18:21:49 → wryishly joins (~wryish@2605:4c40:119:efa3:0:727d:19eb:1)
18:21:49 → tritlo joins (sid58727@id-58727.hampstead.irccloud.com)
18:21:49 → leah2 joins (~leah@vuxu.org)
18:21:49 → barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk)
18:21:49 → mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es)
18:21:49 → ski joins (~ski@remote11.chalmers.se)
18:21:49 → anon9 joins (~lockywolf@coconut.lockywolf.net)
18:21:49 → meooow joins (~meooow@2400:6180:100:d0::ad9:e001)
18:21:49 → dminuoso joins (~weechat@user/dminuoso)
18:21:49 → gAy_Dragon joins (A_D@libera/staff/dragon)
18:21:49 → mniip joins (mniip@libera/staff/mniip)
18:21:49 → albet70 joins (~xxx@2400:8905::f03c:92ff:fe60:98d8)
18:21:49 → ell joins (~ellie@user/ellie)
18:21:49 → integral joins (sid296274@user/integral)
18:21:49 → idnar joins (sid12240@debian/mithrandi)
18:21:49 → bailsman joins (~ejrietvel@revspace/participant/bailsman)
18:21:49 → sa1 joins (sid7690@id-7690.ilkley.irccloud.com)
18:21:49 → shawwwn joins (sid6132@id-6132.helmsley.irccloud.com)
18:21:49 → coldmountain joins (sid484352@id-484352.helmsley.irccloud.com)
18:21:49 → davl_ joins (~davl@207.154.228.18)
18:21:49 → Hobbyboy joins (Hobbyboy@hobbyboy.co.uk)
18:21:49 → jocke-l joins (jocke-l@a.x0.is)
18:21:49 → disconnect3d joins (~disconnec@user/disconnect3d)
18:21:49 → Hafydd joins (~Hafydd@user/hafydd)
18:21:49 → bwe joins (~bwe@2a01:4f8:1c1c:4878::2)
18:21:49 → dpk joins (~dpk@jains.nonceword.org)
18:21:49 → natto joins (~natto@129.154.243.159)
18:21:49 → res0nat0r0844909 joins (~Fletch@falcon.whatbox.ca)
18:21:49 → ZLima12 joins (~zlima12@user/meow/ZLima12)
18:21:49 → dostoyevsky2 joins (~sck@user/dostoyevsky2)
18:21:49 → _________ joins (~nobody@user/noodly)
18:21:49 → end joins (~end@user/end/x-0094621)
18:21:49 → bcksl joins (~bcksl@user/bcksl)
18:21:49 → hook54321 joins (sid149355@user/hook54321)
18:21:49 → sus0 joins (zero@user/zeromomentum)
18:21:49 → srk joins (~sorki@user/srk)
18:21:49 → gabiruh joins (~gabiruh@vps19177.publiccloud.com.br)
18:21:49 → auri joins (~auri@fsf/member/auri)
18:21:49 → jbalint joins (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122)
18:21:49 → piele joins (~piele@tbonesteak.creativeserver.net)
18:21:49 → MironZ3 joins (~MironZ@nat-infra.ehlab.uk)
18:21:49 → ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
18:21:49 → earthy joins (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net)
18:21:49 → haetsal joins (~quassel@221.138.168.192)
18:21:49 → thaumavorio joins (~thaumavor@thaumavor.io)
18:21:49 → zfnmxt joins (~zfnmxt@user/zfnmxt)
18:21:49 → barthandelous01 joins (barth@triton.blinkenshell.org)
18:21:49 → Dykam joins (Dykam@dykam.nl)
18:21:49 → tamer joins (~tamer@user/tamer)
18:21:49 → wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de)
18:21:49 → meejah joins (~meejah@rutas.meejah.ca)
18:21:49 → Clint joins (~Clint@user/clint)
18:21:49 → V joins (~v@ircpuzzles/2022/april/winner/V)
18:21:49 → abrar joins (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net)
18:21:49 → SanchayanMaity joins (sid478177@id-478177.hampstead.irccloud.com)
18:21:49 → joeyh_ joins (~joeyh@kitenet.net)
18:21:49 → astra joins (sid289983@id-289983.hampstead.irccloud.com)
18:21:49 → arkeet joins (~arkeet@moriya.ca)
18:21:49 → jackdk joins (sid373013@cssa/jackdk)
18:21:49 → b20n joins (sid115913@id-115913.uxbridge.irccloud.com)
18:21:49 → degraafk joins (sid71464@id-71464.lymington.irccloud.com)
18:21:49 → dy joins (sid3438@user/dy)
18:21:49 → edwardk joins (sid47016@haskell/developer/edwardk)
18:21:49 → caubert joins (~caubert@user/caubert)
18:21:49 → hammond joins (proscan@gateway04.insomnia247.nl)
18:21:49 → rncwnd joins (~quassel@2a01:4f8:221:27c6::1)
18:21:49 → pounce joins (~pounce@user/cute/pounce)
18:21:49 → simendsjo joins (34b0550437@2a03:6000:1812:100::1441)
18:21:49 → tokie joins (~tokie@user/strtok)
18:21:49 → pierrot joins (~pi@user/pierrot)
18:21:49 → APic joins (apic@apic.name)
18:21:49 → fernando-basso joins (~fernando-@2a01:4f9:c012:63d3::1)
18:21:49 → eugenrh joins (~eugenrh@user/eugenrh)
18:21:49 → n3t joins (~n3t@user/n3t)
18:21:49 → preflex joins (~preflex@user/mauke/bot/preflex)
18:21:49 → bramh joins (~bramh@user/bramh)
18:21:49 → hololeap joins (~quassel@user/hololeap)
18:21:49 → xacktm joins (xacktm@user/xacktm)
18:21:49 → opqdonut joins (opqdonut@pseudo.fixme.fi)
18:21:49 → koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com)
18:21:49 → lambdap2371 joins (~lambdap@static.167.190.119.168.clients.your-server.de)
18:21:49 → Adran joins (~adran@botters/adran)
18:21:49 → NiKaN joins (sid385034@id-385034.helmsley.irccloud.com)
18:21:49 → Athas joins (athas@sigkill.dk)
18:21:49 → mcfrdy joins (~mcfrdy@user/mcfrdy)
18:21:49 → RMSBach joins (~guygastin@137.184.131.156)
18:21:49 → cross joins (~cross@spitfire.i.gajendra.net)
18:21:49 → tired- joins (~tired@user/tired)
18:21:49 → samhh_ joins (7569f027cf@2a03:6000:1812:100::e4)
18:21:49 → chaitlatte0 joins (ea29c0bb16@user/chaitlatte0)
18:21:49 → eso joins (a0662dfd5e@2a03:6000:1812:100::1266)
18:21:49 → henrytill joins (e0180937c3@2a03:6000:1812:100::e8c)
18:21:49 → lucyy joins (228ee8f0ce@user/lucyy)
18:21:49 → akspecs joins (00cc8321af@sourcehut/user/akspecs)
18:21:49 → JoelMcCracken joins (5ea8252fbb@2a03:6000:1812:100::10e3)
18:21:49 → jleightcap joins (7bc4014b62@user/jleightcap)
18:21:49 → jkoshy joins (99b9359beb@user/jkoshy)
18:21:49 → ymherklotz joins (cb2c9cfbdd@2a03:6000:1812:100::29a)
18:21:49 → titibandit joins (e33ffbab65@user/titibandit)
18:21:49 → ursa-major joins (114efe6c39@2a03:6000:1812:100::11f3)
18:21:49 → fvr joins (ef3e56ca8b@2a03:6000:1812:100::3c4)
18:21:49 → sm2n joins (ae95cb1267@user/sm2n)
18:21:49 → duncan joins (c6181279e3@user/meow/duncan)
18:21:49 → b0o joins (0e4a0bf4c9@2a03:6000:1812:100::1bf)
18:21:49 → fn_lumi joins (3d621153a5@2a03:6000:1812:100::df7)
18:21:49 → Ankhers joins (e99e97ef8e@2a03:6000:1812:100::2a2)
18:21:49 → rselim joins (ce261f06ff@user/milesrout)
18:21:49 → sus joins (1b7af6299f@user/zeromomentum)
18:21:49 → raghavgururajan joins (ea769b8000@user/raghavgururajan)
18:21:49 → samhh joins (7569f027cf@2a03:6000:1812:100::e4)
18:21:49 → cpli joins (77fc530071@2a03:6000:1812:100::252)
18:21:49 → aniketd joins (32aa4844cd@2a03:6000:1812:100::dcb)
18:21:49 → jakzale joins (6291399afa@user/jakzale)
18:21:49 → whereiseveryone joins (206ba86c98@2a03:6000:1812:100::2e4)
18:21:49 → shreyasminocha joins (51fdc93eda@user/shreyasminocha)
18:21:49 → probie joins (cc0b34050a@user/probie)
18:21:49 → arcadewise joins (52968ed80d@2a03:6000:1812:100::3df)
18:21:49 → lukec joins (9dfd4d094e@2a03:6000:1812:100::10e)
18:21:49 → lane joins (809450f172@2a03:6000:1812:100::1300)
18:21:49 → pmk joins (6afe4476a1@2a03:6000:1812:100::26d)
18:21:49 → bsima1 joins (9d7e39c8ad@2a03:6000:1812:100::dd)
18:21:49 → filwisher joins (2e6936c793@2a03:6000:1812:100::170)
18:21:49 → RussetParrotBear joins (45ce440a48@2a03:6000:1812:100::e2)
18:21:49 → fgaz joins (1ff9197ed6@2a03:6000:1812:100::11ea)
18:21:49 → ggb joins (a62ffbaf4f@2a03:6000:1812:100::3ac)
18:21:49 → evanrelf joins (3addc196af@2a03:6000:1812:100::f0)
18:21:49 → smiesner joins (b0cf5acf8c@user/smiesner)
18:21:49 → hacklschorsch joins (~flo@2a01:4f9:3a:2296::2)
18:21:49 → glider joins (glider@user/glider)
18:21:49 → mikko joins (~mikko@user/mikko)
18:21:49 → dfg joins (~dfg@user/dfg)
18:21:49 → Kamuela joins (sid111576@id-111576.tinside.irccloud.com)
18:21:49 → bastelfreak joins (bastelfrea@libera/staff/VoxPupuli.bastelfreak)
18:21:49 → fr33domlover joins (~fr33domlo@towards.vision)
18:21:49 → dumptruckman joins (~dumptruck@66-175-211-75.ip.linodeusercontent.com)
18:21:49 → berberman joins (~berberman@user/berberman)
18:21:49 → astroanax joins (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7)
18:21:49 → ChanServ joins (ChanServ@services.libera.chat)
18:21:49 → orcus joins (~orcus@mail.brprice.uk)
18:21:49 → nckx joins (nckx@libera/staff/owl/nckx)
18:21:49 → mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5)
18:21:49 → Moyst__ joins (~moyst@user/moyst)
18:21:49 → c_wraith joins (~c_wraith@adjoint.us)
18:21:49 → ggVGc joins (~ggVGc@a.lowtech.earth)
18:21:49 → jess joins (meow@libera/staff/cat/jess)
18:21:49 → enikar joins (~enikar@user/enikar)
18:21:49 erbium.libera.chat sets mode +o ChanServ
18:21:49 → absence joins (torgeihe@hildring.pvv.ntnu.no)
18:21:49 → aristid joins (sid1599@id-1599.uxbridge.irccloud.com)
18:21:49 → rune_ joins (sid21167@id-21167.ilkley.irccloud.com)
18:21:49 → fired joins (LA@2600:3c00::f03c:92ff:fee3:aace)
18:21:49 → Jonno_FTW joins (~come@user/jonno-ftw/x-0835346)
18:21:49 → dispater joins (~dispater@mail.brprice.uk)
18:21:49 → alanz joins (sid110616@id-110616.uxbridge.irccloud.com)
18:21:49 → Aleksejs joins (~Aleksejs@107.170.21.106)
18:21:49 → SethTisue joins (sid14912@id-14912.ilkley.irccloud.com)
18:21:49 → nonzen joins (~nonzen@user/nonzen)
18:21:49 → pikajude joins (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274)
18:21:49 → xerox joins (~edi@user/edi)
18:21:49 → mmaruseacph2 joins (~mihai@mihai.page)
18:21:49 → bryanv joins (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10)
18:21:49 → geekosaur joins (sid609282@xmonad/geekosaur)
18:21:49 → alinab joins (sid468903@id-468903.helmsley.irccloud.com)
18:21:49 → jmct joins (sid160793@id-160793.tinside.irccloud.com)
18:21:49 → sclv joins (sid39734@haskell/developer/sclv)
18:21:49 → andjjj23 joins (~irc@107.170.228.47)
18:21:49 → She joins (haveident@libera/staff/she/her)
18:21:49 → dsal joins (sid13060@id-13060.lymington.irccloud.com)
18:21:49 → T_S_____ joins (sid501726@id-501726.uxbridge.irccloud.com)
18:21:49 → S11001001 joins (sid42510@id-42510.ilkley.irccloud.com)
18:21:49 → lexi-lambda joins (sid92601@id-92601.hampstead.irccloud.com)
18:21:49 → amir joins (sid22336@user/amir)
18:21:49 → ProofTechnique_ joins (sid79547@id-79547.ilkley.irccloud.com)
18:21:49 → AWizzArd joins (~code@user/awizzard)
18:21:49 → TimWolla joins (~timwolla@2a01:4f8:150:6153:beef::6667)
18:21:49 → Rembane joins (~Rembane@user/Rembane)
18:21:49 → Hecate joins (~mariposa@user/hecate)
18:21:49 → e-snail joins (~pete@user/e-snail)
18:21:49 → GoldsteinQ joins (~goldstein@goldstein.rs)
18:21:49 → danso joins (~danso@user/danso)
18:21:49 → tolt joins (~weechat-h@li219-154.members.linode.com)
18:21:49 → systemfault joins (sid267009@about/typescript/member/systemfault)
18:21:49 → shachaf joins (~shachaf@user/shachaf)
18:21:49 → bjs joins (sid190364@user/bjs)
18:21:49 → caasih joins (sid13241@id-13241.ilkley.irccloud.com)
18:21:49 → iphy joins (sid67735@user/iphy)
18:21:49 → totbwf joins (uid402332@id-402332.uxbridge.irccloud.com)
18:21:49 → energizer joins (~energizer@user/energizer)
18:21:49 → carter joins (sid14827@id-14827.helmsley.irccloud.com)
18:21:49 → lisq joins (~quassel@lis.moe)
18:21:49 → xnyhps joins (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288)
18:21:49 → it_ joins (~quassel@v2202212189510211193.supersrv.de)
18:21:49 → stefan-_ joins (~cri@42dots.de)
18:21:49 → litharge joins (litharge@libera/bot/litharge)
18:21:49 → remmie joins (ianremsen@tilde.team)
18:21:49 → apache joins (apache2@anubis.0x90.dk)
18:21:49 → markasoftware joins (~quassel@107.161.26.124)
18:21:49 → taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com)
18:21:49 → sweater1 joins (~sweater@206.81.18.26)
18:21:49 → _0xa_ joins (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc)
18:21:49 → deriamis joins (nobody@2600:3c0a::f03c:95ff:fee8:f335)
18:21:49 → mustafa joins (sid502723@rockylinux/releng/mustafa)
18:21:49 → xelxebar joins (~xelxebar@wilsonb.com)
18:21:49 → xnbya2 joins (~xnbya@2a01:4f8:c17:cbdd::1)
18:21:49 → edmundnoble_ joins (sid229620@id-229620.helmsley.irccloud.com)
18:21:49 → Jon joins (jon@dow.land)
18:21:49 → codedmart joins (codedmart@2600:3c01::f03c:92ff:fefe:8511)
18:21:49 → gaze__ joins (sid387101@id-387101.helmsley.irccloud.com)
18:21:49 → bradparker joins (sid262931@id-262931.uxbridge.irccloud.com)
18:21:49 → aspen joins (sid449115@id-449115.helmsley.irccloud.com)
18:21:49 → dfordvm joins (~dfordivam@160.16.87.223.v6.sakura.ne.jp)
18:21:49 → Techcable joins (sid534393@user/Techcable)
18:21:49 → lyxia joins (~lyxia@poisson.chat)
18:21:49 → lieven joins (~mal@ns2.wyrd.be)
18:21:49 → mima joins (~mmh@user/mima)
18:21:49 → drlkf joins (~drlkf@chat-1.drlkf.net)
18:21:49 → edm joins (sid147314@id-147314.hampstead.irccloud.com)
18:21:49 → SrPx joins (sid108780@id-108780.uxbridge.irccloud.com)
18:21:49 → siers joins (~ij@user/ij)
18:21:49 → hamishmack joins (sid389057@id-389057.hampstead.irccloud.com)
18:21:49 → ouroboros joins (~ouroboros@user/ouroboros)
18:21:49 → peutri joins (~peutri@bobo.desast.re)
18:21:49 → ringo_ joins (~ringo@157.230.117.128)
18:21:49 → flocks joins (~flocks@134.122.90.60)
18:21:49 → sm joins (~znc@plaintextaccounting/sm)
18:21:49 → Fangs joins (sid141280@id-141280.hampstead.irccloud.com)
18:21:49 → crazazy joins (~crazazy@tilde.town)
18:21:49 → nisstyre joins (wes@user/nisstyre)
18:21:49 → saolsen joins (sid26430@id-26430.lymington.irccloud.com)
18:21:49 → acro joins (~acro@user/acro)
18:21:49 → teesquare_ joins (~teesquare@user/teesquare)
18:21:49 → ncf joins (~n@monade.li)
18:21:49 → liskin joins (~liskin@xmonad/liskin)
18:21:49 → bgamari joins (~bgamari@64.223.233.64)
18:21:49 → beaky joins (~beaky@198.211.118.219)
18:21:49 → farn__ joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
18:21:49 → [_________] joins (~oos95GWG@user/oos95GWG)
18:21:49 → landonf joins (landonf@mac68k.info)
18:21:49 → [exa] joins (~exa@user/exa/x-3587197)
18:21:49 → nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
18:21:49 → tapas joins (sid467876@id-467876.ilkley.irccloud.com)
18:21:49 → JSharp joins (sid4580@user/JSharp)
18:21:49 → davean joins (~davean@davean.sciesnet.net)
18:21:49 → h2t joins (~h2t@user/h2t)
18:21:49 → gmc joins (sid58314@id-58314.ilkley.irccloud.com)
18:21:49 → PHO` joins (~pho@akari.cielonegro.org)
18:21:49 → skylord5816 joins (~skylord58@user/skylord5816)
18:21:49 → polux joins (~polux@51-15-169-172.rev.poneytelecom.eu)
18:21:49 → WzC joins (~Frank@77-162-168-71.fixed.kpn.net)
18:21:49 → ames joins (~amelia@offtopia/offtopian/amelia)
18:21:49 → Philonous joins (~Philonous@user/philonous)
18:21:49 → stefan-__ joins (~m-yh2rcc@42dots.de)
18:21:49 → constxd joins (~constxd@user/constxd)
18:21:49 → Vq joins (~vq@81-226-38-201-no600.tbcn.telia.com)
18:22:22 statusbot is now known as 068AAY72X
18:22:22 → statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
18:22:22 × 068AAY72X quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
18:24:44 × jakesyl_____ quits (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 262 seconds)
18:24:59 × akegalj quits (~akegalj@142-231.dsl.iskon.hr) (Ping timeout: 244 seconds)
18:26:14 → jakesyl_____ joins (sid56879@id-56879.hampstead.irccloud.com)
18:32:17 <ash3en> is 'drop 1' really better than 'tail'?
18:32:46 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
18:33:52 × raym quits (~ray@user/raym) (Ping timeout: 252 seconds)
18:34:30 <EvanR> I don't know about BETTER, but it has a different behavior that can be more convenient sometimes
18:34:50 <EvanR> tail only works in situations where the input list is non-empty
18:35:00 <int-e> > drop 1 []
18:35:02 <lambdabot> []
18:35:13 <tomsmeding> > tail []
18:35:14 <lambdabot> *Exception: Prelude.tail: empty list
18:35:20 <int-e> but maybe you *have* to fail on an empty list and then `tail` is your friend
18:35:22 <EvanR> if it is definitely non-empty, the tail works and will crash when you assumption is wrong
18:35:33 <EvanR> which is good to know
18:35:54 <EvanR> drop 1 [] won't crash immediately, so you might not know or the crash might be somewhere else and confusing
18:36:06 <ash3en> will the whole program crash on a failed tail?
18:36:06 <tomsmeding> usually, though (but not _quite_ always), it's clearer to pattern-match on the list
18:36:10 <tomsmeding> yes
18:36:16 <EvanR> the thread crashes
18:36:24 <EvanR> if it's the main thread everything crashes
18:36:37 <tomsmeding> you can technically catch the exception inside IO
18:36:50 <ash3en> ok, so then the other question is what to use instead of head. pattern match, uncons or non empty?
18:36:56 <EvanR> async library makes recovering a failed thread easy
18:37:14 <tomsmeding> ash3en: what do you want to happen if the list is empty?
18:37:26 <tomsmeding> first decide that, then see how you can best express that behaviour
18:37:30 <ash3en> probably keep the status quo
18:37:42 <tomsmeding> what is "the status quo" for "the first element of an empty list"?
18:38:06 <EvanR> if you thought the list was non-empty, and it's empty, you want to make up an answer and never know about it? xD
18:38:53 <EvanR> if the list might be empty, then surely there's something else you want to do. In which case pattern match
18:38:56 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
18:39:26 <ash3en> thanks!
18:39:27 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
18:40:35 → akegalj joins (~akegalj@142-231.dsl.iskon.hr)
18:40:40 <EvanR> if the list definitely is non-empty then you can use head. Or maybe NonEmpty if there's a way to prove it to GHC
18:41:53 Lord_of_Life_ is now known as Lord_of_Life
18:42:47 × Guest12 quits (~Guest12@94.7.192.138) (Remote host closed the connection)
18:43:23 × alp quits (~alp@2001:861:8ca0:4940:1e61:879a:b0ec:434f) (Ping timeout: 252 seconds)
18:47:35 × fun-safe-math quits (~fun-safe-@2601:1c2:1b7f:801f:9be8:50a:7d0a:fa49) (Quit: No Ping reply in 180 seconds.)
18:48:50 → fun-safe-math joins (~fun-safe-@2601:1c2:1b7f:801f:57f8:e679:8a1b:f20a)
18:49:04 → alp joins (~alp@2001:861:8ca0:4940:ce40:7d58:7e03:52f5)
18:53:39 × alp quits (~alp@2001:861:8ca0:4940:ce40:7d58:7e03:52f5) (Ping timeout: 252 seconds)
18:55:16 → euandreh joins (~Thunderbi@189.6.105.228)
18:55:54 → telser joins (~quassel@user/telser)
18:56:36 → biberu joins (~biberu@user/biberu)
18:57:28 → wootehfoot joins (~wootehfoo@user/wootehfoot)
18:57:48 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
19:00:38 × acidjnk_new quits (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
19:02:48 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
19:11:11 <hellwolf> I just find ":|" and ":[]" to be a beautiful "duo".
19:11:23 hellwolf comes here to comment on NonEmpty
19:11:32 × pie_ quits (~pie_bnc@user/pie/x-2818909) (Quit: No Ping reply in 180 seconds.)
19:11:54 tomsmeding . o O ( set `O = []`, then you have ":O" )
19:12:37 <hellwolf> probably parser won't like that
19:12:44 <hellwolf> oh, it would.
19:12:47 <hellwolf> hmm
19:12:51 → pie_ joins (~pie_bnc@user/pie/x-2818909)
19:13:07 <geekosaur> need a patsyn, I think
19:13:14 <tomsmeding> oh as a pattern, yes
19:13:28 <tomsmeding> % :set -XPatternSynonyms
19:13:28 <yahb2> <no output>
19:13:34 <tomsmeding> % pattern O :: [a] ; O = []
19:13:34 <yahb2> <interactive>:45:9: error: [GHC-44432] ; The pattern synonym signature for ‘O’ lacks an accompanying binding ; ; <interactive>:45:20: error: [GHC-76037] ; Not in scope: data constructor ‘O’
19:13:42 <tomsmeding> lol it's right there?
19:13:46 <tomsmeding> oh
19:13:50 <tomsmeding> % pattern O :: [a] ; pattern O = []
19:13:50 <yahb2> <no output>
19:14:09 <tomsmeding> % import Data.List.NonEmpty (NonEmpty(..))
19:14:09 <yahb2> <no output>
19:14:40 <tomsmeding> % case 1 :O of { n :O -> show n ; n :| l -> show (n, l) }
19:14:40 <yahb2> <interactive>:51:33: error: [GHC-83865] ; • Couldn't match expected type: [a0] ; with actual type: NonEmpty a1 ; • In the pattern: n :| l ; In a case alternative: n ...
19:14:48 × Typedfern quits (~Typedfern@85.red-83-37-40.dynamicip.rima-tde.net) (Ping timeout: 265 seconds)
19:15:05 <tomsmeding> oh hm
19:15:19 <tomsmeding> nah that ain't gonna work
19:15:25 <tomsmeding> % :q
19:15:25 <yahb2> <bye>
19:15:59 → acidjnk_new joins (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de)
19:24:43 × lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 264 seconds)
19:25:29 × akegalj quits (~akegalj@142-231.dsl.iskon.hr) (Quit: leaving)
19:29:02 → machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
19:29:59 → Typedfern joins (~Typedfern@104.red-83-37-43.dynamicip.rima-tde.net)
19:30:25 → Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
19:30:50 → notzmv joins (~umar@user/notzmv)
19:36:42 → lxsameer joins (~lxsameer@Serene/lxsameer)
19:48:43 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
19:49:45 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
19:50:21 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
19:51:24 → alp joins (~alp@2001:861:8ca0:4940:f488:aeda:6595:5b38)
19:55:59 × alp quits (~alp@2001:861:8ca0:4940:f488:aeda:6595:5b38) (Ping timeout: 252 seconds)
19:59:13 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
20:00:02 × caconym quits (~caconym@user/caconym) (Quit: bye)
20:00:42 → caconym joins (~caconym@user/caconym)
20:06:59 → lbseale joins (~quassel@user/ep1ctetus)
20:07:16 → agent314 joins (~quassel@37.19.210.25)
20:13:11 × jespada quits (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) (Ping timeout: 244 seconds)
20:17:54 → jespada joins (~jespada@2800:a4:82:800:905f:a49c:670c:2c45)
20:18:18 → Midjak joins (~MarciZ@82.66.147.146)
20:21:40 → weary-traveler joins (~user@user/user363627)
20:23:12 × pie_ quits (~pie_bnc@user/pie/x-2818909) (Quit: No Ping reply in 180 seconds.)
20:24:31 → pie_ joins (~pie_bnc@user/pie/x-2818909)
20:28:39 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
20:28:40 → alp joins (~alp@2001:861:8ca0:4940:aeb3:d03c:ec66:af5f)
20:32:03 × acidjnk_new quits (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
20:35:17 → hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363)
20:35:24 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
20:40:08 → acidjnk_new joins (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de)
20:44:21 × lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 246 seconds)
20:54:20 × euleritian quits (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
20:54:39 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
20:56:00 × michalz quits (~michalz@185.246.207.203) (Remote host closed the connection)
20:59:51 → pavonia joins (~user@user/siracusa)
21:02:26 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
21:02:54 → euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
21:08:28 × notzmv quits (~umar@user/notzmv) (Ping timeout: 244 seconds)
21:10:29 → ljdarj1 joins (~Thunderbi@user/ljdarj)
21:10:53 × jespada quits (~jespada@2800:a4:82:800:905f:a49c:670c:2c45) (Quit: My Mac has gone to sleep. ZZZzzz…)
21:12:34 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
21:12:34 ljdarj1 is now known as ljdarj
21:16:36 → sord937_ joins (~sord937@gateway/tor-sasl/sord937)
21:20:36 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 264 seconds)
21:22:03 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
21:25:28 × hueso quits (~root@user/hueso) (Ping timeout: 252 seconds)
21:29:48 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:34:40 × Guest78 quits (~Guest78@37.228.251.150) (Quit: Client closed)
21:34:58 × dontdieych2 quits (~quassel@user/dontdieych2) (Ping timeout: 245 seconds)
22:00:59 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
22:02:47 × mrmr155334346318 quits (~mrmr@user/mrmr) (Quit: Bye, See ya later!)
22:13:14 → Guest71 joins (~Guest71@2800:a4:10ef:7400:35a0:bf8a:5772:25a7)
22:19:58 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:21:51 <Guest71> Hello! I was hoping to hear anyone's thoughts about packaging best practices for big projects structured as microrepos:
22:21:51 <Guest71> - Use project name as category for all packages?
22:21:52 <Guest71> - Use project name as tag for all packages?
22:21:52 <Guest71> - Use "group" account to publish all packages?
22:21:53 <Guest71> - Fold all projects and publish as single package?
22:21:53 <Guest71> - Anything else?
22:22:19 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:22:41 × alp quits (~alp@2001:861:8ca0:4940:aeb3:d03c:ec66:af5f) (Ping timeout: 248 seconds)
22:26:42 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
22:31:20 → alp joins (~alp@2001:861:8ca0:4940:e814:f100:32a:4db4)
22:32:17 → hueso joins (~root@user/hueso)
22:33:31 → user363627 joins (~user@user/user363627)
22:37:09 × weary-traveler quits (~user@user/user363627) (Ping timeout: 260 seconds)
22:37:43 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:39:47 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:42:05 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
22:44:05 → tallcatparade joins (~tallcatpa@99-171-182-203.lightspeed.sndgca.sbcglobal.net)
22:47:45 → saulosilva joins (~saulosilv@181.216.220.107)
22:50:27 × tallcatparade quits (~tallcatpa@99-171-182-203.lightspeed.sndgca.sbcglobal.net) (Remote host closed the connection)
22:53:06 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:57:30 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
23:00:48 <haskellbridge> <magic_rb> if have a record such as "Foo { bar :: Text }" then I generate a lens called "bar", i cannot construct the record with "Foo { bar = "foobar" }". Is there any way around this? it complains about a ambiguous reference, though i dont see how he lens is a valid candidate on the LHS of "bar = "foobar"" anyway
23:02:01 → mange joins (~user@user/mange)
23:07:18 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
23:08:27 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:09:06 → Sgeo joins (~Sgeo@user/sgeo)
23:10:20 × sord937_ quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937_)
23:12:54 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
23:16:37 <haskellbridge> <sm> Guest71: I probably wouldn't use a Hackage category or tag for this, I'd rely on a common package name prefix instead
23:17:25 <haskellbridge> <sm> if you are able to publish as one package, it will simplify maintenance hugely
23:17:48 <haskellbridge> <sm> maintenance and further packaging
23:19:50 → notzmv joins (~umar@user/notzmv)
23:20:30 <haskellbridge> <magic_rb> got it, somehow "DuplicateRecordFields" did it
23:23:00 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds)
23:23:50 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:25:17 → stiell joins (~stiell@gateway/tor-sasl/stiell)
23:28:32 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
23:29:48 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 272 seconds)
23:31:11 × Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
23:32:16 <Guest71> sm: Thanks for your input. I was planning to use a prefix already, but I was wondering if there were additional conventions around grouping packages.
23:32:16 <Guest71> On the topic of monopacking: I figured users would prefer to be able to pick micropackages as to avoid pulling in dependencies for pieces of the project they were not planning to use (reduce binary size and total logic surface). Am I wrong about this?
23:33:39 × saulosilva quits (~saulosilv@181.216.220.107) (Quit: Client closed)
23:39:13 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:39:47 → ljdarj1 joins (~Thunderbi@user/ljdarj)
23:41:00 × califax quits (~califax@user/califx) (Ping timeout: 264 seconds)
23:41:43 → califax joins (~califax@user/califx)
23:42:03 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
23:42:03 ljdarj1 is now known as ljdarj
23:43:39 → Guest69 joins (~Guest69@2601:642:4103:1b0:a477:319d:e581:377a)
23:43:40 <haskellbridge> <sm> you're not wrong, sometimes it is worth providing separate packages for that reason. But there's a maintenance and packaging cost to be carried for everymore, fewer larger packages will be less work
23:44:21 <haskellbridge> <sm> how many packages are you contemplating ?
23:46:00 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
23:46:07 → mrmr155334346318 joins (~mrmr@user/mrmr)
23:46:20 <jackdk> Guest71: and also, how large are these packages (and their combination)?
23:46:20 <haskellbridge> <sm> also sometimes even users prefer one or a few big packages, even if it's not optimal in bandwidth/disk space, it simplifies their life
23:48:35 → merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:51:08 <Guest71> sm: Around 7 at the moment, but could potentially grow (basically there is a collection of implementations for a large interface, each implementation is its own repo, eventually more could be added for more use-cases). I am not too concerned about maintenance burden because the plan is to build a CI/CD pipeline to take care of that. Ideally I'd do
23:51:08 <Guest71> that once, tweak slightly for each repo and then never think about it again. Should I be worried about something?
23:51:09 <Guest71> jackdk: ~10 kloc a piece. For 7 repos that would be ~70 kloc.
23:51:38 <geekosaur> you might look at amazonka for an example of how to do it?
23:52:28 <jackdk> Amazonka IMHO is a special case because so much of it is autogenerated. But even there we eventually hope to trial multiple cabal sublibraries since we have to update the whole universe in lockstep anyway
23:54:03 <jackdk> I'm not sure I'd call a 10kLoC package a "micropackage". That's no `left-pad` or `is-number`, and the PVP implications for a monopackage are not ideal: any backwards-incompatible change in one will bump PVP major version and make anyone not depending on the changed package go back and check for other breakage.
23:54:09 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
23:55:22 <jackdk> That said, now that I've read Guest71's question properly, breaking up an interface to a large API is probably a reasonable case for having at least multiple distinct sublibraries if not distinct packages (depend on how much lockstep updating you need to do if something changes)
23:57:23 → lol_ joins (~lol@2603:3016:1e01:b9c0:49df:554e:a17b:a07c)
23:58:28 <jackdk> Is there any reason a monorepo with a cabal.project won't work for you here? That would save you building a lot of CI machinery, which is time you can spend writing more Haskell
23:59:28 <jackdk> Amazonka is 3.8×10⁶ LoC, the vast majority of which is autogenerated, and it works fine enough

All times are in UTC on 2025-01-15.