2025/05/09

2025-05-09 00:00:15 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-09 00:00:44 +0200volsand(~volsand@2804:1b1:1080:da6:dcbd:80c:8e7b:1cf7) (Remote host closed the connection)
2025-05-09 00:05:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-05-09 00:14:29 +0200mxs9(~mxs@user/mxs) mxs
2025-05-09 00:27:04 +0200chas(~chas@69.243.201.37)
2025-05-09 00:30:18 +0200Guest58(~Guest58@2601:483:b00:d550:552d:ffa9:4fce:b2c6)
2025-05-09 00:31:43 +0200Guest58(~Guest58@2601:483:b00:d550:552d:ffa9:4fce:b2c6) (Client Quit)
2025-05-09 00:33:45 +0200chas(~chas@69.243.201.37) (Quit: leaving)
2025-05-09 00:34:15 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-09 00:35:27 +0200tromp(~textual@2001:1c00:3487:1b00:f14f:b20f:416b:87c6) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-09 00:38:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 00:39:24 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-09 00:39:41 +0200dofsyl^(~dofsyl@50.168.231.214) (Remote host closed the connection)
2025-05-09 00:40:41 +0200dofsyl^(~dofsyl@50.168.231.214)
2025-05-09 00:41:01 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-05-09 00:41:16 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2025-05-09 00:42:33 +0200Lord_of_Life_Lord_of_Life
2025-05-09 00:43:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-09 00:48:09 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-05-09 00:53:37 +0200xff0x(~xff0x@2405:6580:b080:900:df43:4d2b:b873:7ac7) (Ping timeout: 248 seconds)
2025-05-09 00:54:04 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-05-09 00:54:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 00:54:18 +0200xff0x(~xff0x@2405:6580:b080:900:a861:5434:8d1e:f1de)
2025-05-09 00:59:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-09 00:59:58 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-09 01:00:24 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-09 01:04:34 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-05-09 01:07:15 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-05-09 01:07:15 +0200ljdarj1ljdarj
2025-05-09 01:09:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 01:13:12 +0200wbrawner(~wbrawner@static.205.41.78.5.clients.your-server.de) wbrawner
2025-05-09 01:13:20 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds)
2025-05-09 01:15:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-09 01:19:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-09 01:24:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-09 01:24:24 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-05-09 01:25:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 01:29:11 +0200xff0x(~xff0x@2405:6580:b080:900:a861:5434:8d1e:f1de) (Quit: xff0x)
2025-05-09 01:32:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-09 01:38:20 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-09 01:39:01 +0200dofsyl^(~dofsyl@50.168.231.214) (Remote host closed the connection)
2025-05-09 01:39:13 +0200dofsyl^(~dofsyl@50.168.231.214)
2025-05-09 01:43:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 01:48:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-09 01:49:00 +0200acidjnk_new(~acidjnk@p200300d6e71c4f4911c235e3ddcab2f1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-05-09 01:49:36 +0200xff0x(~xff0x@2405:6580:b080:900:200d:e23d:ad3b:4ed4)
2025-05-09 01:50:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 01:51:39 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-09 01:55:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-09 02:02:24 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-09 02:04:34 +0200jespada_(~jespada@r167-61-122-127.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds)
2025-05-09 02:06:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 02:10:51 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-09 02:11:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-09 02:13:18 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Quit: Frostillicus)
2025-05-09 02:22:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 02:25:29 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Quit: halloy4450)
2025-05-09 02:25:48 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-09 02:27:12 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-05-09 02:27:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-09 02:32:22 +0200tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 244 seconds)
2025-05-09 02:34:59 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-09 02:38:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 02:38:46 +0200RedFlamingos(~RedFlamin@user/RedFlamingos) (Ping timeout: 276 seconds)
2025-05-09 02:43:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-09 02:44:05 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-09 02:45:17 +0200xff0x(~xff0x@2405:6580:b080:900:200d:e23d:ad3b:4ed4) (Quit: xff0x)
2025-05-09 02:49:06 +0200weary-traveler(~user@user/user363627) user363627
2025-05-09 02:49:50 +0200xff0x(~xff0x@2405:6580:b080:900:cdea:6e23:8831:63b5)
2025-05-09 02:50:13 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-05-09 02:50:35 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-09 02:53:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 02:55:19 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-05-09 02:58:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-09 03:01:10 +0200sajenim(~sajenim@user/sajenim) sajenim
2025-05-09 03:01:27 +0200joeyadams(~textual@syn-162-154-010-038.res.spectrum.com)
2025-05-09 03:02:19 +0200mange(~user@user/mange) mange
2025-05-09 03:03:26 +0200 <joeyadams> Should a Haskell package's minor version be incremented after adding a dependency to the testsuite?
2025-05-09 03:04:40 +0200stef204(~stef204@user/stef204) (Quit: WeeChat 4.2.1)
2025-05-09 03:06:13 +0200 <geekosaur> pvp doesn't even handle executables well, much less test suites or benchmarks
2025-05-09 03:08:39 +0200xff0x(~xff0x@2405:6580:b080:900:cdea:6e23:8831:63b5) (Ping timeout: 268 seconds)
2025-05-09 03:09:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 03:16:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-09 03:21:43 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 272 seconds)
2025-05-09 03:22:24 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-09 03:27:45 +0200kritzefitz(~kritzefit@debian/kritzefitz) kritzefitz
2025-05-09 03:27:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 03:28:55 +0200dofsyl^(~dofsyl@50.168.231.214) (Remote host closed the connection)
2025-05-09 03:32:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-09 03:40:51 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-09 03:43:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 03:48:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-09 03:58:03 +0200 <haskellbridge> <sm> joeyadams sounds like something will have to be incremented, unless you're thinking of a hackage revision
2025-05-09 03:59:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 04:03:35 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-05-09 04:04:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-09 04:09:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 04:10:52 +0200Katarushisu(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds))
2025-05-09 04:11:10 +0200Katarushisu(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu
2025-05-09 04:11:16 +0200sajenim(~sajenim@user/sajenim) (Ping timeout: 244 seconds)
2025-05-09 04:14:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-09 04:20:33 +0200td_(~td@i53870937.versanet.de) (Ping timeout: 248 seconds)
2025-05-09 04:22:34 +0200td_(~td@i53870906.versanet.de)
2025-05-09 04:33:50 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-05-09 04:40:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 04:45:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-09 04:56:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 05:01:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-09 05:04:56 +0200joeyadams(~textual@syn-162-154-010-038.res.spectrum.com) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-05-09 05:06:13 +0200joeyadams(~textual@syn-162-154-010-038.res.spectrum.com)
2025-05-09 05:10:47 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2025-05-09 05:11:04 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2025-05-09 05:12:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 05:17:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-09 05:27:49 +0200euleritian(~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-09 05:28:06 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-09 05:28:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 05:30:22 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2)
2025-05-09 05:32:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-09 05:38:22 +0200_________(~nobody@user/noodly) (Ping timeout: 252 seconds)
2025-05-09 05:43:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 05:47:45 +0200OftenFaded(~OftenFade@user/tisktisk) OftenFaded
2025-05-09 05:49:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-09 05:50:28 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-05-09 05:54:58 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-09 05:57:34 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-09 05:59:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 06:04:19 +0200_________(~nobody@user/noodly) _________
2025-05-09 06:05:33 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-05-09 06:05:56 +0200califax(~califax@user/califx) califx
2025-05-09 06:06:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-09 06:09:14 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-09 06:10:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 06:11:27 +0200sajenim(~sajenim@user/sajenim) sajenim
2025-05-09 06:15:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-09 06:17:17 +0200tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2025-05-09 06:17:20 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 268 seconds)
2025-05-09 06:17:29 +0200hgolden_(~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden
2025-05-09 06:18:50 +0200_xor4(~xor@ip-66-42-132-175.dynamic.fuse.net) _xor
2025-05-09 06:19:22 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer)
2025-05-09 06:19:23 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Read error: Connection reset by peer)
2025-05-09 06:20:13 +0200_xor(~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 252 seconds)
2025-05-09 06:20:13 +0200_xor4_xor
2025-05-09 06:22:05 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-09 06:25:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 06:30:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-09 06:38:38 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-09 06:38:49 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-05-09 06:41:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 06:43:47 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-09 06:46:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-09 06:47:00 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-05-09 06:54:06 +0200takuan_dozo(~takuan@d8D86B601.access.telenet.be)
2025-05-09 06:54:06 +0200takuan(~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer)
2025-05-09 06:55:24 +0200takuan_dozo(~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer)
2025-05-09 06:55:24 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-05-09 06:57:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 07:02:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-09 07:03:02 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-09 07:11:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 07:16:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-09 07:21:39 +0200remexre(~remexre@user/remexre) (Ping timeout: 245 seconds)
2025-05-09 07:23:19 +0200Eoco(~ian@128.101.131.218) (Ping timeout: 268 seconds)
2025-05-09 07:24:43 +0200Eoco(~ian@128.101.131.218) Eoco
2025-05-09 07:26:52 +0200_xor(~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 244 seconds)
2025-05-09 07:26:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 07:29:31 +0200 <Axma13761> I have a possibly very dumb question, but - how do you attend ICFP? do you need a ticket or do you just rock up? I couldn't find a good answer on the website
2025-05-09 07:30:57 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-05-09 07:31:40 +0200remexre(~remexre@user/remexre) remexre
2025-05-09 07:32:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-09 07:35:54 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2025-05-09 07:38:05 +0200euleritian(~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de)
2025-05-09 07:39:28 +0200euleritian(~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-09 07:40:15 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-09 07:42:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 07:43:03 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer)
2025-05-09 07:44:53 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) TheCoffeMaker
2025-05-09 07:45:17 +0200 <mauke> I would assume you need to register, but also registration may not be open yet
2025-05-09 07:45:49 +0200_xor(~xor@ip-50-5-4-25.dynamic.fuse.net) _xor
2025-05-09 07:50:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-09 07:50:49 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2025-05-09 07:53:26 +0200euleritian(~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de)
2025-05-09 07:56:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-09 07:58:43 +0200 <lyxia> Axma13761: registration usually opens two or three months before the event.
2025-05-09 08:00:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 08:00:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-09 08:00:53 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-05-09 08:05:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-09 08:09:26 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-09 08:10:55 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-09 08:12:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 08:12:30 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-09 08:17:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-09 08:17:52 +0200Axma13761Axman6
2025-05-09 08:18:19 +0200 <Axman6> lyxia: perfect, thanks - is there a mailing list I can sign up to?
2025-05-09 08:24:35 +0200ft(~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving)
2025-05-09 08:26:31 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-09 08:27:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 08:31:04 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-09 08:32:16 +0200tromp(~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl)
2025-05-09 08:33:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-09 08:33:06 +0200tromp(~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2025-05-09 08:34:10 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer)
2025-05-09 08:35:56 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) TheCoffeMaker
2025-05-09 08:37:45 +0200jle`(~jle`@2603:8001:3b00:11::1156) (Ping timeout: 272 seconds)
2025-05-09 08:38:06 +0200jle`(~jle`@2603:8001:3b00:11:20d1:30be:71d9:b2d8) jle`
2025-05-09 08:43:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 08:48:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-09 08:48:29 +0200euleritian(~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-09 08:49:17 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-09 08:51:33 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-09 08:51:40 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-09 08:59:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 09:00:01 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-09 09:00:38 +0200caconym7(~caconym@user/caconym) caconym
2025-05-09 09:00:56 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer)
2025-05-09 09:01:15 +0200acidjnk_new(~acidjnk@p200300d6e71c4f03cc4d8db2fb428aa9.dip0.t-ipconnect.de) acidjnk
2025-05-09 09:01:55 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-09 09:04:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-09 09:04:40 +0200 <tomsmeding> Axman6: I haven't seen mailing lists for specific conferences or conference editions, no
2025-05-09 09:05:11 +0200 <tomsmeding> registration will indeed be on the website, and is indeed not open yet
2025-05-09 09:05:27 +0200 <tomsmeding> be aware that registration is _not free_, not remotely
2025-05-09 09:05:52 +0200 <tomsmeding> in past years there was sometimes a discord for the conference, sometimes not
2025-05-09 09:13:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 09:18:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-09 09:23:37 +0200tavare(~tavare@150.129.88.189)
2025-05-09 09:23:38 +0200tavare(~tavare@150.129.88.189) (Changing host)
2025-05-09 09:23:38 +0200tavare(~tavare@user/tavare) tavare
2025-05-09 09:23:39 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-05-09 09:28:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 09:29:32 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-05-09 09:35:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-09 09:38:07 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-05-09 09:39:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 09:41:10 +0200__monty__(~toonn@user/toonn) toonn
2025-05-09 09:43:00 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-05-09 09:48:28 +0200 <hellwolf> | I see a whole series of proposals (of which this is merely the most recent) whose cumulative effect is to make Haskell code ugly and hard to read
2025-05-09 09:48:51 +0200 <hellwolf> I saw a discourse post (which got flagged and banned :D), I wanted to comment here instead.
2025-05-09 09:49:33 +0200 <hellwolf> actually, I find reading some of the math paper "ugly" and hard to read too. But the more fairway I find is rather it's dense and difficult to digest if I don't have the context. I should not use the word "ugly" too freely.
2025-05-09 09:49:48 +0200 <hellwolf> *fair way to say
2025-05-09 09:50:29 +0200 <hellwolf> reading pages of type theory papers' induction/elimination rules get to my head instantly.
2025-05-09 09:50:34 +0200 <hellwolf> *introduction
2025-05-09 09:51:15 +0200 <hellwolf> good morning, y'all. another day of grind.
2025-05-09 09:55:33 +0200 <__monty__> Try enjoying life a little instead.
2025-05-09 09:56:08 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-09 09:58:54 +0200tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-05-09 10:00:27 +0200 <hellwolf> what's your favorite way of enjoying the life?
2025-05-09 10:02:09 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-09 10:02:28 +0200 <__monty__> It's usually related to nature in some way, observing it, being in it, learning about it.
2025-05-09 10:02:30 +0200tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2025-05-09 10:09:11 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-05-09 10:09:42 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-09 10:10:50 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-09 10:14:41 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2025-05-09 10:15:38 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-09 10:19:58 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-09 10:54:45 +0200srazkvt(~sarah@user/srazkvt) srazkvt
2025-05-09 10:57:09 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-05-09 10:59:50 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-09 11:01:01 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-05-09 11:01:13 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-09 11:01:29 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-09 11:04:01 +0200chele(~chele@user/chele) chele
2025-05-09 11:10:41 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-05-09 11:11:29 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-09 11:23:00 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 264 seconds)
2025-05-09 11:24:51 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-09 11:30:14 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-05-09 11:30:40 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-09 11:54:19 +0200troydm(~troydm@user/troydm) troydm
2025-05-09 11:56:03 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds)
2025-05-09 12:06:02 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-05-09 12:10:23 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds)
2025-05-09 12:11:29 +0200ubert1(~Thunderbi@2a02:8109:ab8a:5a00:da63:fbf2:4235:23ab) ubert
2025-05-09 12:11:59 +0200 <haskellbridge> <yin> just now, after years of not really thinking about it, have i intuitively understood `flip id`
2025-05-09 12:15:38 +0200 <c_wraith> here's the fun thing about `flip id`: It's identical to `flip ($)`, and that's not an accident.
2025-05-09 12:16:39 +0200 <haskellbridge> <Morj> I understand it logically, but not intuitively
2025-05-09 12:24:18 +0200 <haskellbridge> <yin> up until today i only understood it logically. it just clicked for me
2025-05-09 12:24:48 +0200 <haskellbridge> <yin> ($) is just id with different precedence
2025-05-09 12:25:52 +0200 <c_wraith> well... and a more restricted type.
2025-05-09 12:26:39 +0200 <c_wraith> but they're the same operation when applied to a function
2025-05-09 12:27:38 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds)
2025-05-09 12:30:24 +0200 <haskellbridge> <yin> yep
2025-05-09 12:47:05 +0200 <hellwolf> how do you use it? logically I understood too, on paper.
2025-05-09 12:47:58 +0200 <hellwolf> huh, so it is the same as (&)
2025-05-09 12:50:02 +0200 <sprout> now someone explain `flip id` to me
2025-05-09 12:53:51 +0200 <Leary> There's nothing much to it: `flip id x f = id f x = f x`.
2025-05-09 12:54:52 +0200 <dutchie> i guess the important bit is to think of id's type not as a -> a, but (a -> b) -> a -> b
2025-05-09 12:55:10 +0200 <dutchie> think of/specialise i guess
2025-05-09 12:58:13 +0200 <hellwolf> in my head it is simple
2025-05-09 12:58:27 +0200 <hellwolf> :t id
2025-05-09 12:58:28 +0200 <lambdabot> a -> a
2025-05-09 12:58:31 +0200 <hellwolf> :t flip
2025-05-09 12:58:32 +0200 <lambdabot> (a -> b -> c) -> b -> a -> c
2025-05-09 12:58:48 +0200 <hellwolf> a -> a ~ a -> (b -> c) => a ~ b -> c
2025-05-09 12:58:52 +0200 <hellwolf> the rest follows
2025-05-09 12:58:59 +0200 <hellwolf> but that's logic; I dont' find it intuitive
2025-05-09 13:01:24 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-05-09 13:01:45 +0200jespada(~jespada@r179-25-104-52.dialup.adsl.anteldata.net.uy) jespada
2025-05-09 13:14:20 +0200 <haskellbridge> <hellwolf> Maybe if I think of "id" as a shapeshifter that'd help
2025-05-09 13:15:58 +0200 <haskellbridge> <hellwolf> (a -> b) -> a -> b
2025-05-09 13:15:58 +0200 <haskellbridge> (a -> b -> c) -> a -> b -> c
2025-05-09 13:16:17 +0200 <haskellbridge> <hellwolf> and so on, so it can morph into any-ary as you wish
2025-05-09 13:20:56 +0200 <haskellbridge> <yin> next goal is to gain some sort of intuition on
2025-05-09 13:21:06 +0200 <haskellbridge> <yin> this
2025-05-09 13:21:06 +0200 <haskellbridge> :t flip flip id
2025-05-09 13:21:06 +0200 <lambdabot> (a1 -> (a2 -> a2) -> c) -> a1 -> c
2025-05-09 13:22:14 +0200 <haskellbridge> <hellwolf> hmm not as interesting as all the SEC combinators
2025-05-09 13:22:25 +0200 <haskellbridge> <hellwolf> hardly useful?
2025-05-09 13:24:00 +0200 <haskellbridge> <yin> the interesting thing is that if you keep adding flips, the signature converges
2025-05-09 13:25:38 +0200 <hellwolf> :type flip flip flip flip flip flip flip flip flip flip flip flip id
2025-05-09 13:25:44 +0200 <hellwolf> :t flip flip flip flip flip flip flip flip flip flip flip flip id
2025-05-09 13:25:45 +0200 <lambdabot> (((a -> b -> c1) -> b -> a -> c1) -> c2) -> c2
2025-05-09 13:26:25 +0200 <yin> :t flip flip flip id
2025-05-09 13:26:26 +0200 <lambdabot> (((a -> b -> c1) -> b -> a -> c1) -> c2) -> c2
2025-05-09 13:27:37 +0200 <hellwolf> :t flip flip
2025-05-09 13:27:38 +0200 <lambdabot> b -> (a -> b -> c) -> a -> c
2025-05-09 13:27:41 +0200 <hellwolf> :t flip flip flip
2025-05-09 13:27:42 +0200 <lambdabot> (a1 -> ((a2 -> b -> c1) -> b -> a2 -> c1) -> c2) -> a1 -> c2
2025-05-09 13:27:44 +0200 <hellwolf> :t flip flip flip flip
2025-05-09 13:27:45 +0200 <lambdabot> (a1 -> ((a2 -> b -> c1) -> b -> a2 -> c1) -> c2) -> a1 -> c2
2025-05-09 13:28:24 +0200 <hellwolf> Can you do type-level fixed point
2025-05-09 13:28:44 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-05-09 13:29:03 +0200 <yin> yes but not really but sure
2025-05-09 13:29:17 +0200 <yin> depending on what you mean exactly
2025-05-09 13:29:35 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-05-09 13:33:41 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-05-09 13:33:41 +0200ljdarj1ljdarj
2025-05-09 13:39:05 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 244 seconds)
2025-05-09 13:40:55 +0200 <hellwolf> I don't know. I was thinking on find that number of flips automatically. But that's just Type to Type, hardly a type-level thing. But if I use "type", than I cannot do unsaturated calculation. if I use "data" then the type that's interesting is enclosed.
2025-05-09 13:41:16 +0200 <hellwolf> type Flip a b c = (a -> b -> c) -> b -> a -> c
2025-05-09 13:41:29 +0200 <hellwolf> data Flip a b c = Flip ((a -> b -> c) -> b -> a -> c)
2025-05-09 13:41:31 +0200 <hellwolf> neither is usable
2025-05-09 13:43:03 +0200sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer)
2025-05-09 13:43:15 +0200sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101
2025-05-09 13:46:30 +0200euphores(~SASL_euph@user/euphores) euphores
2025-05-09 13:46:50 +0200krei-se(~krei-se@p50829f98.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in)
2025-05-09 13:49:45 +0200 <hellwolf> | data Flip a b c f where MkFlip :: forall f a b c. f ~ (a -> b -> c) -> b -> a -> c => Flip a b c f
2025-05-09 13:50:15 +0200 <hellwolf> Invalid, is there any thing to it: Flip a b c (Flip a b c f)
2025-05-09 13:50:18 +0200 <hellwolf> anyways, enough geek out.
2025-05-09 13:50:21 +0200 <hellwolf> for today.
2025-05-09 13:51:37 +0200Fischmiep(~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in)
2025-05-09 13:53:45 +0200 <yin> maybe with type families
2025-05-09 13:54:26 +0200fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-05-09 13:54:45 +0200mange(~user@user/mange) (Quit: Zzz...)
2025-05-09 13:56:38 +0200 <tomsmeding> related:
2025-05-09 13:56:40 +0200 <tomsmeding> :t fmap fmap fmap fmap fmap
2025-05-09 13:56:41 +0200 <lambdabot> Functor f => (a1 -> b) -> (a2 -> a1) -> f a2 -> f b
2025-05-09 13:56:53 +0200 <tomsmeding> oh the parens are wrong
2025-05-09 13:57:04 +0200 <tomsmeding> :t fmap fmap (fmap fmap fmap)
2025-05-09 13:57:05 +0200 <lambdabot> (Functor f1, Functor f2, Functor f3) => (a -> b) -> f1 (f2 (f3 a)) -> f1 (f2 (f3 b))
2025-05-09 13:57:06 +0200 <tomsmeding> there
2025-05-09 13:57:17 +0200 <tomsmeding> :t fmap . fmap . fmap
2025-05-09 13:57:17 +0200 <lambdabot> (Functor f1, Functor f2, Functor f3) => (a -> b) -> f1 (f2 (f3 a)) -> f1 (f2 (f3 b))
2025-05-09 14:04:55 +0200 <yin> well that's simple
2025-05-09 14:05:20 +0200tolgo(~Thunderbi@199.115.144.130)
2025-05-09 14:06:01 +0200 <yin> i'm going to fail miserably trying to evoke lambdabot
2025-05-09 14:06:17 +0200 <yin> :src fmap@((->) r)
2025-05-09 14:07:09 +0200 <yin> i'm sure i failed in more ways than just one :)
2025-05-09 14:08:49 +0200 <yin> anyways, it becomes obvious those are the same when you know that `instance Functor ((->) r) where fmap = (.)`
2025-05-09 14:10:32 +0200 <yin> (obvious might be a strong word)
2025-05-09 14:16:13 +0200tolgo(~Thunderbi@199.115.144.130) (Quit: tolgo)
2025-05-09 14:16:16 +0200xff0x(~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69)
2025-05-09 14:16:23 +0200volsand(~volsand@2804:1b1:1080:da6:6c3e:b62d:211b:1c3a)
2025-05-09 14:18:21 +0200nckx(nckx@libera/staff/owl/nckx) (Ping timeout: 608 seconds)
2025-05-09 14:18:52 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-05-09 14:19:16 +0200joeyadams(~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com)
2025-05-09 14:33:19 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-09 14:35:26 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-05-09 14:39:23 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
2025-05-09 14:39:23 +0200ljdarj1ljdarj
2025-05-09 14:39:24 +0200krei-se(~krei-se@p3ee0f1b5.dip0.t-ipconnect.de) krei-se
2025-05-09 14:47:04 +0200 <tomsmeding> :src Functor ->
2025-05-09 14:47:08 +0200 <tomsmeding> @src Functor ->
2025-05-09 14:47:08 +0200 <lambdabot> Source not found. My pet ferret can type better than you!
2025-05-09 14:47:14 +0200 <tomsmeding> @src fmap ->
2025-05-09 14:47:14 +0200 <lambdabot> Source not found. There are some things that I just don't know.
2025-05-09 14:47:16 +0200 <tomsmeding> @src fmap (->)
2025-05-09 14:47:16 +0200 <lambdabot> Source not found. stty: unknown mode: doofus
2025-05-09 14:47:18 +0200 <tomsmeding> meh
2025-05-09 14:49:30 +0200 <JuanDaugherty> is blather the plural of blither?
2025-05-09 14:49:39 +0200 <tomsmeding> @src (->) fmap
2025-05-09 14:49:39 +0200 <lambdabot> fmap = (.)
2025-05-09 14:49:43 +0200 <tomsmeding> yin: ^
2025-05-09 14:50:36 +0200weary-traveler(~user@user/user363627) user363627
2025-05-09 14:53:43 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-05-09 14:59:15 +0200euphores(~SASL_euph@user/euphores) euphores
2025-05-09 15:01:24 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-09 15:06:48 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-09 15:16:40 +0200AlexZenon(~alzenon@5.139.233.9) (Ping timeout: 276 seconds)
2025-05-09 15:17:04 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2025-05-09 15:17:38 +0200euleritian(~euleritia@dynamic-176-006-140-144.176.6.pool.telefonica.de)
2025-05-09 15:20:19 +0200AlexZenon(~alzenon@5.139.233.9)
2025-05-09 15:23:48 +0200ft(~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft
2025-05-09 15:26:12 +0200euleritian(~euleritia@dynamic-176-006-140-144.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2025-05-09 15:26:57 +0200euleritian(~euleritia@dynamic-176-000-129-047.176.0.pool.telefonica.de)
2025-05-09 15:27:09 +0200loonycyborg(loonycybor@wesnoth/developer/loonycyborg) (Ping timeout: 276 seconds)
2025-05-09 15:30:42 +0200euleritian(~euleritia@dynamic-176-000-129-047.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-09 15:30:59 +0200euleritian(~euleritia@77.23.248.100)
2025-05-09 15:38:01 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-05-09 15:38:23 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-09 15:44:12 +0200jespada(~jespada@r179-25-104-52.dialup.adsl.anteldata.net.uy) (Read error: Connection reset by peer)
2025-05-09 15:44:51 +0200jespada(~jespada@r179-25-104-52.dialup.adsl.anteldata.net.uy) jespada
2025-05-09 15:47:48 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-05-09 15:47:51 +0200ubert1(~Thunderbi@2a02:8109:ab8a:5a00:da63:fbf2:4235:23ab) (Remote host closed the connection)
2025-05-09 15:48:05 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:a8d9:6b00:b3e4:21a7) ubert
2025-05-09 15:48:19 +0200rvalue(~rvalue@user/rvalue) rvalue
2025-05-09 15:50:46 +0200 <__monty__> :t fmap `fmap` fmap `fmap` fmap
2025-05-09 15:50:47 +0200 <lambdabot> (Functor f1, Functor f2, Functor f3) => (a -> b) -> f1 (f2 (f3 a)) -> f1 (f2 (f3 b))
2025-05-09 15:53:33 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-09 15:54:24 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-05-09 15:54:40 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-09 16:01:17 +0200loonycyborg(loonycybor@wesnoth/developer/loonycyborg) loonycyborg
2025-05-09 16:03:54 +0200 <hellwolf> mapM mapM mapmapmapM (anyone knows the refrence?)
2025-05-09 16:04:06 +0200zenstoic(uid461840@id-461840.hampstead.irccloud.com) zenstoic
2025-05-09 16:19:29 +0200 <ncf> should be mapmapmapMM, assuming i know the reference
2025-05-09 16:30:17 +0200 <hellwolf> :) yes
2025-05-09 16:36:11 +0200tremon(~tremon@83.80.159.219) tremon
2025-05-09 16:40:47 +0200volsand(~volsand@2804:1b1:1080:da6:6c3e:b62d:211b:1c3a) (Remote host closed the connection)
2025-05-09 16:41:03 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds)
2025-05-09 16:55:28 +0200SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder
2025-05-09 17:04:10 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-05-09 17:08:36 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-05-09 17:09:35 +0200fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds)
2025-05-09 17:29:05 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds)
2025-05-09 18:03:44 +0200Square(~Square@user/square) Square
2025-05-09 18:05:22 +0200srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-05-09 18:05:39 +0200euleritian(~euleritia@77.23.248.100) (Ping timeout: 260 seconds)
2025-05-09 18:05:52 +0200euleritian(~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de)
2025-05-09 18:15:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-09 18:16:33 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-09 18:17:22 +0200acidjnk_new(~acidjnk@p200300d6e71c4f03cc4d8db2fb428aa9.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-05-09 18:17:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 18:18:01 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-09 18:29:22 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:a8d9:6b00:b3e4:21a7) (Quit: ubert)
2025-05-09 18:31:22 +0200euleritian(~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-09 18:31:39 +0200euleritian(~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de)
2025-05-09 18:33:02 +0200zenstoic(uid461840@id-461840.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-05-09 18:33:59 +0200jespada_(~jespada@r167-61-136-127.dialup.adsl.anteldata.net.uy) jespada
2025-05-09 18:35:07 +0200jespada(~jespada@r179-25-104-52.dialup.adsl.anteldata.net.uy) (Ping timeout: 265 seconds)
2025-05-09 18:39:01 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-09 18:39:49 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 268 seconds)
2025-05-09 18:40:21 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-05-09 18:41:36 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-09 18:48:21 +0200sajenim(~sajenim@user/sajenim) (Ping timeout: 248 seconds)
2025-05-09 18:52:26 +0200fp(~Thunderbi@hof1.kyla.fi) fp
2025-05-09 18:58:23 +0200halloy4450(~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Quit: halloy4450)
2025-05-09 19:05:57 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-05-09 19:12:17 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-05-09 19:20:08 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-05-09 19:20:09 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-05-09 19:20:09 +0200califax(~califax@user/califx) (Read error: Connection reset by peer)
2025-05-09 19:20:12 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-05-09 19:20:29 +0200califax(~califax@user/califx) califx
2025-05-09 19:20:36 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-05-09 19:20:52 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-09 19:22:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-09 19:23:48 +0200fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds)
2025-05-09 19:34:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 19:36:22 +0200sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Remote host closed the connection)
2025-05-09 19:37:26 +0200fp(~Thunderbi@hof1.kyla.fi) fp
2025-05-09 19:42:28 +0200euleritian(~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-09 19:42:45 +0200euleritian(~euleritia@ip5f5ad180.dynamic.kabel-deutschland.de)
2025-05-09 19:58:35 +0200euleritian(~euleritia@ip5f5ad180.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2025-05-09 19:59:02 +0200euleritian(~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de)
2025-05-09 20:01:03 +0200priestman7819(~priestman@2607:fb91:8c9b:5c85:b419:47ff:fe89:aaf4)
2025-05-09 20:08:50 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-05-09 20:08:54 +0200priestman7819(~priestman@2607:fb91:8c9b:5c85:b419:47ff:fe89:aaf4) (Ping timeout: 240 seconds)
2025-05-09 20:09:46 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-09 20:11:18 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 265 seconds)
2025-05-09 20:11:27 +0200acidjnk_new(~acidjnk@p200300d6e71c4f03cc4d8db2fb428aa9.dip0.t-ipconnect.de)
2025-05-09 20:13:14 +0200euphores(~SASL_euph@user/euphores) euphores
2025-05-09 20:15:13 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-09 20:18:55 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-05-09 20:34:43 +0200SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) (Remote host closed the connection)
2025-05-09 20:38:55 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-05-09 20:41:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-09 20:44:30 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-09 20:48:46 +0200beka(~beka@2607:f598:bd4a:330:66d1:97e6:9764:f51f)
2025-05-09 20:51:40 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-09 20:52:24 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 268 seconds)
2025-05-09 20:53:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 20:53:17 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-09 20:57:31 +0200pavonia(~user@user/siracusa) siracusa
2025-05-09 21:00:02 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-09 21:00:41 +0200caconym7(~caconym@user/caconym) caconym
2025-05-09 21:07:39 +0200sprotte24(~sprotte24@p200300d16f4c5600f9fedd9f4ccf13a5.dip0.t-ipconnect.de)
2025-05-09 21:10:48 +0200fp(~Thunderbi@hof1.kyla.fi) (Quit: fp)
2025-05-09 21:11:07 +0200fp(~Thunderbi@hof1.kyla.fi) fp
2025-05-09 21:12:53 +0200fp(~Thunderbi@hof1.kyla.fi) (Remote host closed the connection)
2025-05-09 21:14:42 +0200fp(~Thunderbi@hof1.kyla.fi) fp
2025-05-09 21:17:46 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-09 21:22:36 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-05-09 21:23:12 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit)
2025-05-09 21:25:13 +0200Square(~Square@user/square) (Ping timeout: 276 seconds)
2025-05-09 21:34:04 +0200weary-traveler(~user@user/user363627) user363627
2025-05-09 21:37:16 +0200shr\ke(~shrike@user/shrke:31298) (Ping timeout: 252 seconds)
2025-05-09 21:47:12 +0200shr\ke(~shrike@user/paxhumana) paxhumana
2025-05-09 21:47:12 +0200shr\ke(~shrike@user/paxhumana) (Changing host)
2025-05-09 21:47:12 +0200shr\ke(~shrike@user/shrke:31298) shr\ke
2025-05-09 21:57:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-09 21:59:44 +0200lol_(~lol@2603:3016:1e01:b960:d5f4:984e:ebc2:54f8)
2025-05-09 22:01:01 +0200hgolden_(~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection)
2025-05-09 22:03:35 +0200thinkpad(~thinkpad@148.252.128.12)
2025-05-09 22:04:00 +0200thinkpad(~thinkpad@148.252.128.12) (Client Quit)
2025-05-09 22:04:13 +0200 <mauke> in OO, is there a term for mutator methods that don't actually mutate the object but return a modified copy?
2025-05-09 22:04:13 +0200jcarpenter2(~lol@2603:3016:1e01:b960:740e:a7b5:ac86:87b2) (Ping timeout: 276 seconds)
2025-05-09 22:04:44 +0200 <haskellbridge> <hellwolf> copy on write
2025-05-09 22:04:55 +0200 <int-e> a constructor ;)
2025-05-09 22:05:03 +0200 <int-e> (too generic, I know)
2025-05-09 22:05:55 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-05-09 22:07:47 +0200takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
2025-05-09 22:08:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-09 22:09:00 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-05-09 22:10:16 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden
2025-05-09 22:10:24 +0200poscat0x04(~poscat@user/poscat) poscat
2025-05-09 22:10:48 +0200 <EvanR> immutable update
2025-05-09 22:13:09 +0200poscat(~poscat@user/poscat) (Ping timeout: 248 seconds)
2025-05-09 22:14:23 +0200 <mauke> immutator
2025-05-09 22:14:30 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-05-09 22:15:13 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2025-05-09 22:18:35 +0200 <EvanR> Theory of Objects has such methods, but I don't remember what jargon if any was used
2025-05-09 22:23:44 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-09 22:28:38 +0200tolgo(~Thunderbi@199.115.144.130)
2025-05-09 22:31:14 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-05-09 22:39:58 +0200fp(~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds)
2025-05-09 22:40:35 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-09 22:45:16 +0200 <dutchie> empty (from Alternative) and mzero from MonadPlus should always be the same thing, right?
2025-05-09 22:45:57 +0200 <dutchie> I guess I'm unclear about whether there's any instances of MonadPlus that aren't Alternative
2025-05-09 22:46:55 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-09 22:50:55 +0200 <dutchie> ah, https://stackoverflow.com/a/10168111 suggests that MonadPlus has extra laws to satisfy compared to Alternative
2025-05-09 22:50:58 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-09 22:52:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-09 22:53:12 +0200 <dutchie> but that doesn't really help me decide whether I should use mzero or empty / do MonadPlus m => or Alternative f =>
2025-05-09 22:55:21 +0200 <Rembane> dutchie: That makes me think that you don't need the assurances of MonadPlus and can safely go for Alternative.
2025-05-09 22:55:50 +0200 <dutchie> well, reading about what the extra assurances that MonadPlus gives me, I think I do want those assurances after all
2025-05-09 22:56:11 +0200 <dutchie> (although to be completely honest, I'm only ever calling this with the one monad anyway so it's all a bit academic)
2025-05-09 22:56:39 +0200 <dutchie> but I'm pretty sure I do want mzero >>= f to always be mzero
2025-05-09 22:56:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-09 22:59:10 +0200 <Rembane> That sounds reasonable.
2025-05-09 23:00:13 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-09 23:00:52 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-09 23:03:03 +0200driib318(~driib@vmi931078.contaboserver.net) driib
2025-05-09 23:09:45 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-09 23:10:05 +0200eron(~eron@179.118.250.144) lidenbrock
2025-05-09 23:11:44 +0200tolgo(~Thunderbi@199.115.144.130) (Quit: tolgo)
2025-05-09 23:12:05 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-09 23:12:09 +0200 <monochrom> Laws of MonadPlus could easily be conditional laws of Alternative, e.g., "if an instance of Alternative is also an instance of Monad, then empty >>= k = ...". That would not be the first time we did that. Already in the Haskell Report, "For any type that is an instance of class Bounded as well as Enum, the following should hold:".
2025-05-09 23:21:05 +0200 <dutchie> it seems that the laws which should hold aren't obvious: https://wiki.haskell.org/MonadPlus
2025-05-09 23:32:01 +0200ystael(~ystael@user/ystael) (Ping timeout: 252 seconds)
2025-05-09 23:34:11 +0200ridcully(~ridcully@pd951f029.dip0.t-ipconnect.de) (Quit: WeeChat 4.5.2)
2025-05-09 23:34:29 +0200ridcully(~ridcully@pd951f029.dip0.t-ipconnect.de) ridcully
2025-05-09 23:35:22 +0200lol_jcarpenter2
2025-05-09 23:38:56 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-09 23:46:02 +0200mxs9(~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat)
2025-05-09 23:51:27 +0200euleritian(~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-09 23:51:38 +0200shr\ke(~shrike@user/shrke:31298) (Ping timeout: 272 seconds)
2025-05-09 23:52:10 +0200euleritian(~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de)