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)