| 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 |