| 2025-05-09 00:00:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-09 00:00:44 +0200 | volsand | (~volsand@2804:1b1:1080:da6:dcbd:80c:8e7b:1cf7) (Remote host closed the connection) |
| 2025-05-09 00:05:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-05-09 00:14:29 +0200 | mxs9 | (~mxs@user/mxs) mxs |
| 2025-05-09 00:27:04 +0200 | chas | (~chas@69.243.201.37) |
| 2025-05-09 00:30:18 +0200 | Guest58 | (~Guest58@2601:483:b00:d550:552d:ffa9:4fce:b2c6) |
| 2025-05-09 00:31:43 +0200 | Guest58 | (~Guest58@2601:483:b00:d550:552d:ffa9:4fce:b2c6) (Client Quit) |
| 2025-05-09 00:33:45 +0200 | chas | (~chas@69.243.201.37) (Quit: leaving) |
| 2025-05-09 00:34:15 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-09 00:35:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f14f:b20f:416b:87c6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-09 00:38:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 00:39:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 00:39:41 +0200 | dofsyl^ | (~dofsyl@50.168.231.214) (Remote host closed the connection) |
| 2025-05-09 00:40:41 +0200 | dofsyl^ | (~dofsyl@50.168.231.214) |
| 2025-05-09 00:41:01 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-09 00:41:16 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2025-05-09 00:42:33 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-09 00:43:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-09 00:48:09 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-05-09 00:53:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:df43:4d2b:b873:7ac7) (Ping timeout: 248 seconds) |
| 2025-05-09 00:54:04 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-09 00:54:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 00:54:18 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a861:5434:8d1e:f1de) |
| 2025-05-09 00:59:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-09 00:59:58 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-09 01:00:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 01:04:34 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-09 01:07:15 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-09 01:07:15 +0200 | ljdarj1 | ljdarj |
| 2025-05-09 01:09:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 01:13:12 +0200 | wbrawner | (~wbrawner@static.205.41.78.5.clients.your-server.de) wbrawner |
| 2025-05-09 01:13:20 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2025-05-09 01:15:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-09 01:19:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-09 01:24:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-09 01:24:24 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-09 01:25:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 01:29:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a861:5434:8d1e:f1de) (Quit: xff0x) |
| 2025-05-09 01:32:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-09 01:38:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 01:39:01 +0200 | dofsyl^ | (~dofsyl@50.168.231.214) (Remote host closed the connection) |
| 2025-05-09 01:39:13 +0200 | dofsyl^ | (~dofsyl@50.168.231.214) |
| 2025-05-09 01:43:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 01:48:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-09 01:49:00 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f4911c235e3ddcab2f1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-09 01:49:36 +0200 | xff0x | (~xff0x@2405:6580:b080:900:200d:e23d:ad3b:4ed4) |
| 2025-05-09 01:50:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 01:51:39 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-09 01:55:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-09 02:02:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 02:04:34 +0200 | jespada_ | (~jespada@r167-61-122-127.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
| 2025-05-09 02:06:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 02:10:51 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 02:11:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-09 02:13:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Quit: Frostillicus) |
| 2025-05-09 02:22:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 02:25:29 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Quit: halloy4450) |
| 2025-05-09 02:25:48 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 02:27:12 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-09 02:27:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-09 02:32:22 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 244 seconds) |
| 2025-05-09 02:34:59 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-09 02:38:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 02:38:46 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Ping timeout: 276 seconds) |
| 2025-05-09 02:43:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-09 02:44:05 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 02:45:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:200d:e23d:ad3b:4ed4) (Quit: xff0x) |
| 2025-05-09 02:49:06 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-09 02:49:50 +0200 | xff0x | (~xff0x@2405:6580:b080:900:cdea:6e23:8831:63b5) |
| 2025-05-09 02:50:13 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-05-09 02:50:35 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 02:53:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 02:55:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-05-09 02:58:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-09 03:01:10 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-09 03:01:27 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
| 2025-05-09 03:02:19 +0200 | mange | (~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 +0200 | stef204 | (~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 +0200 | xff0x | (~xff0x@2405:6580:b080:900:cdea:6e23:8831:63b5) (Ping timeout: 268 seconds) |
| 2025-05-09 03:09:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 03:16:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-09 03:21:43 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 272 seconds) |
| 2025-05-09 03:22:24 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-09 03:27:45 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) kritzefitz |
| 2025-05-09 03:27:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 03:28:55 +0200 | dofsyl^ | (~dofsyl@50.168.231.214) (Remote host closed the connection) |
| 2025-05-09 03:32:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-09 03:40:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-09 03:43:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 03:48:55 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 04:03:35 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-09 04:04:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-09 04:09:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 04:10:52 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2025-05-09 04:11:10 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-05-09 04:11:16 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 244 seconds) |
| 2025-05-09 04:14:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-09 04:20:33 +0200 | td_ | (~td@i53870937.versanet.de) (Ping timeout: 248 seconds) |
| 2025-05-09 04:22:34 +0200 | td_ | (~td@i53870906.versanet.de) |
| 2025-05-09 04:33:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-05-09 04:40:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 04:45:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-09 04:56:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 05:01:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-09 05:04:56 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-09 05:06:13 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
| 2025-05-09 05:10:47 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2025-05-09 05:11:04 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-05-09 05:12:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 05:17:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-09 05:27:49 +0200 | euleritian | (~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-09 05:28:06 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-09 05:28:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 05:30:22 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2) |
| 2025-05-09 05:32:56 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 05:47:45 +0200 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-05-09 05:49:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-09 05:50:28 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-09 05:54:58 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-09 05:57:34 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 05:59:34 +0200 | merijn | (~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 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-09 06:05:56 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-09 06:06:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-09 06:09:14 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-09 06:10:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 06:11:27 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-09 06:15:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-09 06:17:17 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-05-09 06:17:20 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-05-09 06:17:29 +0200 | hgolden_ | (~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 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-05-09 06:19:23 +0200 | hgolden | (~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 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 06:25:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 06:30:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-09 06:38:38 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 06:38:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-09 06:41:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 06:43:47 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-09 06:46:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-09 06:47:00 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-09 06:54:06 +0200 | takuan_dozo | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-09 06:54:06 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-05-09 06:55:24 +0200 | takuan_dozo | (~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-05-09 06:55:24 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-09 06:57:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 07:02:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-09 07:03:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-09 07:11:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 07:16:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-09 07:21:39 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 245 seconds) |
| 2025-05-09 07:23:19 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 268 seconds) |
| 2025-05-09 07:24:43 +0200 | Eoco | (~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 +0200 | merijn | (~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 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-05-09 07:31:40 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-05-09 07:32:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-09 07:35:54 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-05-09 07:38:05 +0200 | euleritian | (~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de) |
| 2025-05-09 07:39:28 +0200 | euleritian | (~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-09 07:40:15 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-09 07:42:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 07:43:03 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2025-05-09 07:44:53 +0200 | TheCoffeMaker | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-09 07:50:49 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-05-09 07:53:26 +0200 | euleritian | (~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de) |
| 2025-05-09 07:56:17 +0200 | sabathan2 | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 08:00:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-09 08:00:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-05-09 08:05:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-09 08:09:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 08:10:55 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-09 08:12:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 08:12:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-09 08:17:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-09 08:17:52 +0200 | Axma13761 | Axman6 |
| 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 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-05-09 08:26:31 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-09 08:27:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 08:31:04 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 08:32:16 +0200 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) |
| 2025-05-09 08:33:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-09 08:33:06 +0200 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2025-05-09 08:34:10 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2025-05-09 08:35:56 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-05-09 08:37:45 +0200 | jle` | (~jle`@2603:8001:3b00:11::1156) (Ping timeout: 272 seconds) |
| 2025-05-09 08:38:06 +0200 | jle` | (~jle`@2603:8001:3b00:11:20d1:30be:71d9:b2d8) jle` |
| 2025-05-09 08:43:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 08:48:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-09 08:48:29 +0200 | euleritian | (~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-09 08:49:17 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-09 08:51:33 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 08:51:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-09 08:59:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-09 09:00:38 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-09 09:00:56 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2025-05-09 09:01:15 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f03cc4d8db2fb428aa9.dip0.t-ipconnect.de) acidjnk |
| 2025-05-09 09:01:55 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-09 09:04:18 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 09:18:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-09 09:23:37 +0200 | tavare | (~tavare@150.129.88.189) |
| 2025-05-09 09:23:38 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-05-09 09:23:38 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-05-09 09:23:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-09 09:28:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 09:29:32 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-09 09:35:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-09 09:38:07 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-09 09:39:38 +0200 | merijn | (~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 +0200 | emmanuelux | (~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 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 09:58:54 +0200 | tavare | (~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 +0200 | halloy4450 | (~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 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-05-09 10:09:11 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-09 10:09:42 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 10:10:50 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 10:14:41 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-05-09 10:15:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-09 10:19:58 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-09 10:54:45 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-05-09 10:57:09 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-05-09 10:59:50 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 11:01:01 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-09 11:01:13 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-09 11:01:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 11:04:01 +0200 | chele | (~chele@user/chele) chele |
| 2025-05-09 11:10:41 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-09 11:11:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 11:23:00 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 264 seconds) |
| 2025-05-09 11:24:51 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 11:30:14 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-09 11:30:40 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 11:54:19 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2025-05-09 11:56:03 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-05-09 12:06:02 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-09 12:10:23 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 2025-05-09 12:11:29 +0200 | ubert1 | (~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 +0200 | lortabac | (~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 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-05-09 13:01:45 +0200 | jespada | (~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 +0200 | tabaqui | (~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 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-09 13:33:41 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-05-09 13:33:41 +0200 | ljdarj1 | ljdarj |
| 2025-05-09 13:39:05 +0200 | euphores | (~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 +0200 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2025-05-09 13:43:15 +0200 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-05-09 13:46:30 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-09 13:46:50 +0200 | krei-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 +0200 | Fischmiep | (~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 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-09 13:54:45 +0200 | mange | (~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 +0200 | tolgo | (~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 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Quit: tolgo) |
| 2025-05-09 14:16:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69) |
| 2025-05-09 14:16:23 +0200 | volsand | (~volsand@2804:1b1:1080:da6:6c3e:b62d:211b:1c3a) |
| 2025-05-09 14:18:21 +0200 | nckx | (nckx@libera/staff/owl/nckx) (Ping timeout: 608 seconds) |
| 2025-05-09 14:18:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-05-09 14:19:16 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-05-09 14:33:19 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-09 14:35:26 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-09 14:39:23 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-05-09 14:39:23 +0200 | ljdarj1 | ljdarj |
| 2025-05-09 14:39:24 +0200 | krei-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 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-09 14:53:43 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-05-09 14:59:15 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-09 15:01:24 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-09 15:06:48 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-09 15:16:40 +0200 | AlexZenon | (~alzenon@5.139.233.9) (Ping timeout: 276 seconds) |
| 2025-05-09 15:17:04 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-05-09 15:17:38 +0200 | euleritian | (~euleritia@dynamic-176-006-140-144.176.6.pool.telefonica.de) |
| 2025-05-09 15:20:19 +0200 | AlexZenon | (~alzenon@5.139.233.9) |
| 2025-05-09 15:23:48 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft |
| 2025-05-09 15:26:12 +0200 | euleritian | (~euleritia@dynamic-176-006-140-144.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2025-05-09 15:26:57 +0200 | euleritian | (~euleritia@dynamic-176-000-129-047.176.0.pool.telefonica.de) |
| 2025-05-09 15:27:09 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (Ping timeout: 276 seconds) |
| 2025-05-09 15:30:42 +0200 | euleritian | (~euleritia@dynamic-176-000-129-047.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-09 15:30:59 +0200 | euleritian | (~euleritia@77.23.248.100) |
| 2025-05-09 15:38:01 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-05-09 15:38:23 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-09 15:44:12 +0200 | jespada | (~jespada@r179-25-104-52.dialup.adsl.anteldata.net.uy) (Read error: Connection reset by peer) |
| 2025-05-09 15:44:51 +0200 | jespada | (~jespada@r179-25-104-52.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-09 15:47:48 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-09 15:47:51 +0200 | ubert1 | (~Thunderbi@2a02:8109:ab8a:5a00:da63:fbf2:4235:23ab) (Remote host closed the connection) |
| 2025-05-09 15:48:05 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a8d9:6b00:b3e4:21a7) ubert |
| 2025-05-09 15:48:19 +0200 | rvalue | (~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 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 15:54:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-09 15:54:40 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 16:01:17 +0200 | loonycyborg | (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 +0200 | zenstoic | (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 +0200 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-05-09 16:40:47 +0200 | volsand | (~volsand@2804:1b1:1080:da6:6c3e:b62d:211b:1c3a) (Remote host closed the connection) |
| 2025-05-09 16:41:03 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-05-09 16:55:28 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-05-09 17:04:10 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-05-09 17:08:36 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-09 17:09:35 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2025-05-09 17:29:05 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2025-05-09 18:03:44 +0200 | Square | (~Square@user/square) Square |
| 2025-05-09 18:05:22 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-05-09 18:05:39 +0200 | euleritian | (~euleritia@77.23.248.100) (Ping timeout: 260 seconds) |
| 2025-05-09 18:05:52 +0200 | euleritian | (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) |
| 2025-05-09 18:15:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-09 18:16:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 18:17:22 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f03cc4d8db2fb428aa9.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-05-09 18:17:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 18:18:01 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-09 18:29:22 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a8d9:6b00:b3e4:21a7) (Quit: ubert) |
| 2025-05-09 18:31:22 +0200 | euleritian | (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-09 18:31:39 +0200 | euleritian | (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) |
| 2025-05-09 18:33:02 +0200 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-09 18:33:59 +0200 | jespada_ | (~jespada@r167-61-136-127.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-09 18:35:07 +0200 | jespada | (~jespada@r179-25-104-52.dialup.adsl.anteldata.net.uy) (Ping timeout: 265 seconds) |
| 2025-05-09 18:39:01 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 18:39:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-05-09 18:40:21 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-05-09 18:41:36 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 18:48:21 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 248 seconds) |
| 2025-05-09 18:52:26 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-09 18:58:23 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Quit: halloy4450) |
| 2025-05-09 19:05:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-09 19:12:17 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-05-09 19:20:08 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-05-09 19:20:09 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-05-09 19:20:09 +0200 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2025-05-09 19:20:12 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-09 19:20:29 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-09 19:20:36 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-05-09 19:20:52 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-09 19:22:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-09 19:23:48 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 2025-05-09 19:34:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 19:36:22 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2025-05-09 19:37:26 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-09 19:42:28 +0200 | euleritian | (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-09 19:42:45 +0200 | euleritian | (~euleritia@ip5f5ad180.dynamic.kabel-deutschland.de) |
| 2025-05-09 19:58:35 +0200 | euleritian | (~euleritia@ip5f5ad180.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2025-05-09 19:59:02 +0200 | euleritian | (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) |
| 2025-05-09 20:01:03 +0200 | priestman7819 | (~priestman@2607:fb91:8c9b:5c85:b419:47ff:fe89:aaf4) |
| 2025-05-09 20:08:50 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-05-09 20:08:54 +0200 | priestman7819 | (~priestman@2607:fb91:8c9b:5c85:b419:47ff:fe89:aaf4) (Ping timeout: 240 seconds) |
| 2025-05-09 20:09:46 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 20:11:18 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-09 20:11:27 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f03cc4d8db2fb428aa9.dip0.t-ipconnect.de) |
| 2025-05-09 20:13:14 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-09 20:15:13 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-09 20:18:55 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-05-09 20:34:43 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Remote host closed the connection) |
| 2025-05-09 20:38:55 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-05-09 20:41:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |