| 2025-01-15 00:01:22 +0100 | weary-traveler | (~user@user/user363627) (Client Quit) |
| 2025-01-15 00:02:00 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-01-15 00:07:37 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-15 00:09:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 00:10:15 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 248 seconds) |
| 2025-01-15 00:10:37 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 00:11:56 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 00:15:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 00:18:03 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-01-15 00:24:14 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-15 00:24:19 +0100 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2025-01-15 00:25:38 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2025-01-15 00:26:40 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2025-01-15 00:27:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 00:29:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 00:30:24 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 00:31:07 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 244 seconds) |
| 2025-01-15 00:31:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 00:34:33 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-15 00:36:57 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-01-15 00:42:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 00:49:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-15 00:50:40 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-01-15 00:52:53 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 00:53:47 +0100 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-15 00:54:04 +0100 | euleritian | (~euleritia@dynamic-176-006-128-233.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 00:54:28 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-15 00:54:28 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 00:54:33 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-15 00:55:16 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 00:55:34 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-15 01:00:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 01:04:54 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-15 01:05:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 01:10:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-15 01:14:12 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-15 01:15:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 01:19:09 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 01:20:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 01:25:21 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f539c942177b6544d5d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-15 01:31:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 01:32:50 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 01:33:42 +0100 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-15 01:35:24 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 01:35:38 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 01:35:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-15 01:39:24 +0100 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 01:39:24 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5599:62cc:9825:4e0a) (Ping timeout: 252 seconds) |
| 2025-01-15 01:39:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-01-15 01:39:58 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-01-15 01:44:36 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-15 01:46:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 01:49:13 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-15 01:51:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 01:51:50 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 02:02:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 02:07:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-15 02:09:48 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-01-15 02:13:11 +0100 | sprotte24 | (~sprotte24@p200300d16f2d39009dedd0cca2feaedd.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-15 02:17:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 02:24:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 02:24:42 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-15 02:28:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 02:30:17 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-15 02:32:57 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 02:33:04 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-15 02:34:10 +0100 | otto_s | (~user@p4ff272c8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-15 02:34:57 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 02:35:43 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-15 02:35:48 +0100 | otto_s | (~user@p5b044c54.dip0.t-ipconnect.de) |
| 2025-01-15 02:36:09 +0100 | euleritian | (~euleritia@77.23.250.232) (Read error: Connection reset by peer) |
| 2025-01-15 02:36:09 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-15 02:36:53 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 02:39:14 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-15 02:39:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 02:39:30 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-15 02:42:44 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 02:44:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 02:44:35 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-15 02:44:50 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-15 02:45:34 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 02:46:54 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 02:47:43 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 02:54:38 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-01-15 02:54:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 02:56:24 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-15 02:57:25 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 02:59:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 02:59:55 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-15 03:00:12 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-15 03:06:35 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 2025-01-15 03:10:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 03:10:37 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-15 03:11:17 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:28c7:5c1b:9c00:9e1b) (Ping timeout: 244 seconds) |
| 2025-01-15 03:13:54 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-15 03:14:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-15 03:19:03 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-15 03:21:13 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-01-15 03:22:00 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-01-15 03:25:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 03:26:03 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-15 03:26:21 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 03:31:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 03:40:00 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-01-15 03:41:51 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-15 03:42:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 03:45:10 +0100 | Square | (~Square@user/square) Square |
| 2025-01-15 03:45:16 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-15 03:45:32 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-15 03:45:39 +0100 | haritz | (~hrtz@user/haritz) (Ping timeout: 246 seconds) |
| 2025-01-15 03:46:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 03:47:45 +0100 | <Guest1364> | What's with deepseq 1.6.0.0 (highest revision, next is 1.5.1.0) being deprecated? |
| 2025-01-15 03:48:53 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-01-15 03:49:57 +0100 | <Guest1364> | nvm, searching 1.6.0.0 verbatim in the issues (not 1.6 or variations thereof) brought up https://github.com/haskell/deepseq/issues/102 |
| 2025-01-15 03:51:04 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-01-15 03:52:48 +0100 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed) |
| 2025-01-15 03:52:58 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2025-01-15 03:53:00 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2025-01-15 03:53:00 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-01-15 03:56:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 04:01:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 04:05:38 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-15 04:08:31 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-15 04:12:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 04:15:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-15 04:19:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-15 04:30:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 04:35:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 04:36:22 +0100 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-15 04:39:43 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-15 04:39:43 +0100 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-15 04:43:01 +0100 | sayurc | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 2025-01-15 04:43:11 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-15 04:43:21 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-15 04:46:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 04:49:41 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-15 04:50:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 04:50:51 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 04:55:42 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) (Ping timeout: 252 seconds) |
| 2025-01-15 05:01:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 05:05:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 05:16:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 05:21:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 05:32:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 05:34:21 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com) (Quit: Leaving) |
| 2025-01-15 05:37:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-15 05:43:15 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 05:43:47 +0100 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-15 05:47:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 05:54:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 05:57:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 06:02:53 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-15 06:06:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-15 06:13:42 +0100 | rosco | (~rosco@183.171.104.221) rosco |
| 2025-01-15 06:15:33 +0100 | fireking04 | (~fireking0@115.146.239.146) fireking04 |
| 2025-01-15 06:16:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 06:17:17 +0100 | fireking04 | (~fireking0@115.146.239.146) (Client Quit) |
| 2025-01-15 06:21:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-15 06:32:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 06:32:39 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-15 06:35:55 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-15 06:37:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 06:41:40 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 06:45:53 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 06:46:21 +0100 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-15 06:47:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 06:47:52 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 06:48:53 +0100 | CrunchyFlakes_ | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) |
| 2025-01-15 06:49:24 +0100 | CrunchyFlakes | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2025-01-15 06:52:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 06:52:18 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 248 seconds) |
| 2025-01-15 06:54:53 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-15 06:54:55 +0100 | robertm | (robertm@lattice.rojoma.com) (Quit: ...) |
| 2025-01-15 06:56:37 +0100 | robertm | (robertm@lattice.rojoma.com) robertm |
| 2025-01-15 06:58:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 06:59:16 +0100 | michalz | (~michalz@185.246.207.203) |
| 2025-01-15 07:06:14 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
| 2025-01-15 07:07:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 07:09:11 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 07:09:35 +0100 | tabemann_ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2025-01-15 07:10:59 +0100 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2025-01-15 07:13:48 +0100 | rosco | (~rosco@183.171.104.221) (Quit: Gotta go.) |
| 2025-01-15 07:15:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-01-15 07:15:09 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-15 07:15:15 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-01-15 07:17:36 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-15 07:17:43 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 07:18:16 +0100 | foul_owl | (~kerry@185.203.219.80) (Read error: Connection reset by peer) |
| 2025-01-15 07:18:16 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-15 07:18:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 07:19:04 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2025-01-15 07:20:10 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 07:21:35 +0100 | euleritian | (~euleritia@dynamic-176-002-193-014.176.2.pool.telefonica.de) |
| 2025-01-15 07:22:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 07:23:19 +0100 | druchan | (uid567859@id-567859.lymington.irccloud.com) |
| 2025-01-15 07:26:31 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-01-15 07:26:48 +0100 | Square | (~Square@user/square) Square |
| 2025-01-15 07:26:58 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-01-15 07:29:45 +0100 | euleritian | (~euleritia@dynamic-176-002-193-014.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 07:30:02 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 07:30:57 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-01-15 07:31:32 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-15 07:31:55 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-15 07:32:19 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) paul_j |
| 2025-01-15 07:33:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 07:34:41 +0100 | foul_owl | (~kerry@193.42.0.126) foul_owl |
| 2025-01-15 07:38:39 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 07:40:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 07:41:26 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-15 07:42:02 +0100 | <Axman6> | Is there an easy way to build local haddock docs for a/all dependencies of my project? I'm using a newer version than is on hackage and it seems to have changed a lot. I've tried using `cabal haddock-project` but it doesn't include my project's direct deps (but for some reason includes a bunch of packages shipped with GHC) |
| 2025-01-15 07:42:23 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 07:45:08 +0100 | <Leary> | Axman6: If you're using nix, it can build you a hoogle indexing haddocks for a project and its transitive deps. |
| 2025-01-15 07:46:43 +0100 | <jackdk> | Axman6: what if you put `documentation: True` in `cabal.project{,.local}`? |
| 2025-01-15 07:49:59 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 07:51:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 07:52:55 +0100 | CiaoSen | (~Jura@2a05:5800:2dd:5300:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-15 07:53:34 +0100 | <Axman6> | I have documentation: true but I can't tell where the docs should end up |
| 2025-01-15 07:54:24 +0100 | <Axman6> | I can find the docs for my package but not the deps |
| 2025-01-15 07:56:12 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-15 07:56:36 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 07:57:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-15 07:57:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 07:57:47 +0100 | euleritian | (~euleritia@dynamic-176-003-081-004.176.3.pool.telefonica.de) |
| 2025-01-15 07:57:47 +0100 | euleritian | (~euleritia@dynamic-176-003-081-004.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 07:57:59 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 07:59:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 07:59:47 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 08:01:30 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 08:02:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 08:04:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 08:05:00 +0100 | <Leary> | I think they should just end up in the store. To find them, you can follow a link from your own haddocks or go spelunking. |
| 2025-01-15 08:10:54 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 08:11:15 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2025-01-15 08:11:26 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 08:11:29 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-15 08:13:24 +0100 | <haskellbridge> | <maerwald> why there is no 'folding1' in lens? |
| 2025-01-15 08:13:56 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 08:15:29 +0100 | <haskellbridge> | <maerwald> it seems the only way to create a Fold1 is through repeated, iterated and cycled |
| 2025-01-15 08:16:01 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-01-15 08:17:26 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 08:18:04 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-01-15 08:20:46 +0100 | <c_wraith> | maerwald: you could write one by hand. |
| 2025-01-15 08:22:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 08:25:32 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 08:26:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 08:37:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 08:38:05 +0100 | <haskellbridge> | <maerwald> well, that was easy, now I just need to figure out how to construct the Foldable1 safely |
| 2025-01-15 08:38:57 +0100 | <haskellbridge> | <maerwald> my current structure is: folding $ \f -> f ^.. foo . bar <> f ^.. baz . fab |
| 2025-01-15 08:40:21 +0100 | <haskellbridge> | <maerwald> one of them always has an element |
| 2025-01-15 08:41:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 08:43:51 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 276 seconds) |
| 2025-01-15 08:45:16 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-15 08:45:48 +0100 | <c_wraith> | Ah, I see. That does pose a challenge. |
| 2025-01-15 08:47:03 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-15 08:47:27 +0100 | reidrac | (~reidrac@user/reidrac) (Quit: bye now!) |
| 2025-01-15 08:49:11 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 08:49:14 +0100 | reidrac | (~reidrac@user/reidrac) reidrac |
| 2025-01-15 08:49:41 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 08:49:42 +0100 | CiaoSen | (~Jura@2a05:5800:2dd:5300:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2025-01-15 08:51:00 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-01-15 08:51:00 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 08:51:57 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 08:52:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 08:55:07 +0100 | xdej | (~xdej@quatramaran.salle-s.org) xdej |
| 2025-01-15 08:55:08 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-15 08:55:28 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-15 08:57:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-15 09:00:36 +0100 | kenran | (~void@user/kenran) kenran |
| 2025-01-15 09:00:36 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-15 09:00:45 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-15 09:06:05 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-15 09:16:23 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-01-15 09:16:52 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2025-01-15 09:24:33 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 09:26:21 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 09:26:54 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-15 09:28:37 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 09:29:55 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 09:32:39 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-15 09:37:37 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-15 09:45:52 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 09:48:16 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-15 09:50:32 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 09:58:12 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-01-15 09:58:47 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-15 10:00:17 +0100 | <jackdk> | https://github.com/ekmett/lens/issues/1015 |
| 2025-01-15 10:01:44 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-15 10:02:28 +0100 | druchan | (uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 10:03:23 +0100 | <Hecate> | heya jackdk |
| 2025-01-15 10:03:23 +0100 | <Hecate> | what's up? |
| 2025-01-15 10:03:32 +0100 | <jackdk> | Hecate: sup? |
| 2025-01-15 10:03:43 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 10:05:51 +0100 | <jackdk> | hacking the amazonka generator, about to go for a climb, you? |
| 2025-01-15 10:07:02 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-15 10:08:28 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2025-01-15 10:16:25 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-01-15 10:19:49 +0100 | jespada | (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) jespada |
| 2025-01-15 10:23:36 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 10:26:51 +0100 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 272 seconds) |
| 2025-01-15 10:31:38 +0100 | akegalj | (~akegalj@142-231.dsl.iskon.hr) akegalj |
| 2025-01-15 10:32:42 +0100 | kuribas | (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5) kuribas |
| 2025-01-15 10:32:42 +0100 | kuribas | (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5) (Remote host closed the connection) |
| 2025-01-15 10:32:59 +0100 | kuribas | (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5) kuribas |
| 2025-01-15 10:33:02 +0100 | chele | (~chele@user/chele) chele |
| 2025-01-15 10:34:33 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2025-01-15 10:36:20 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-15 10:39:18 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 10:39:54 +0100 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2025-01-15 10:40:50 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-15 10:42:19 +0100 | arahael | (~arahael@user/arahael) arahael |
| 2025-01-15 10:42:20 +0100 | Guest5652 | (~Guest5652@2600:1700:9bfc:4000:3cc3:45f7:40d3:2f17) |
| 2025-01-15 10:44:47 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 10:49:37 +0100 | jespada | (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-15 10:52:12 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-15 10:52:18 +0100 | kuribas` | (~user@2a02:1808:88:4bb9:e5c7:f5c0:5bb6:8cd) kuribas |
| 2025-01-15 10:52:37 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 10:53:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-15 10:53:55 +0100 | kuribas | (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5) (Ping timeout: 252 seconds) |
| 2025-01-15 10:53:55 +0100 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-15 10:54:57 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-01-15 10:57:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-15 11:00:34 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-15 11:00:44 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 11:04:13 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-15 11:10:23 +0100 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2025-01-15 11:15:28 +0100 | arahael | (~arahael@user/arahael) arahael |
| 2025-01-15 11:18:22 +0100 | Guest5652 | (~Guest5652@2600:1700:9bfc:4000:3cc3:45f7:40d3:2f17) (Quit: Page closed) |
| 2025-01-15 11:20:25 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-15 11:21:45 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 11:22:21 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Read error: Connection reset by peer) |
| 2025-01-15 11:23:15 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-15 11:24:10 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 11:28:27 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-15 11:29:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2025-01-15 11:31:02 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-15 11:32:53 +0100 | xff0x | (~xff0x@2405:6580:b080:900:200c:61a5:cacd:b14f) |
| 2025-01-15 11:33:28 +0100 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-01-15 11:35:27 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-01-15 11:36:45 +0100 | kuribas` | (~user@2a02:1808:88:4bb9:e5c7:f5c0:5bb6:8cd) (Ping timeout: 276 seconds) |
| 2025-01-15 11:41:01 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-01-15 11:41:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 11:47:50 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Remote host closed the connection) |
| 2025-01-15 11:48:14 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
| 2025-01-15 11:51:02 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 11:54:55 +0100 | Guest47 | (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f) |
| 2025-01-15 11:54:55 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 11:55:31 +0100 | xff0x | (~xff0x@2405:6580:b080:900:200c:61a5:cacd:b14f) (Ping timeout: 265 seconds) |
| 2025-01-15 11:57:00 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 12:01:05 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 12:07:17 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-15 12:09:34 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 12:12:13 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 12:14:27 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 12:14:44 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-15 12:14:50 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 12:15:12 +0100 | euleritian | (~euleritia@dynamic-176-006-135-210.176.6.pool.telefonica.de) |
| 2025-01-15 12:15:20 +0100 | euleritian | (~euleritia@dynamic-176-006-135-210.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 12:15:31 +0100 | housemate | (~housemate@146.70.66.228) (Remote host closed the connection) |
| 2025-01-15 12:15:38 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 12:16:01 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-15 12:18:44 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-15 12:18:55 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 12:19:09 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-15 12:19:37 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 12:21:43 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 12:21:59 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 12:22:25 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 12:22:43 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 12:25:15 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 12:25:15 +0100 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. I do not work for any body DIRECTLY although I do represent BOT NET.) |
| 2025-01-15 12:25:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-01-15 12:27:02 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 12:28:39 +0100 | sprotte24 | (~sprotte24@p200300d16f35c2000ce979728b78bb30.dip0.t-ipconnect.de) |
| 2025-01-15 12:30:05 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-15 12:33:33 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 12:35:51 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 12:39:34 +0100 | sprotte24 | (~sprotte24@p200300d16f35c2000ce979728b78bb30.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-15 12:41:27 +0100 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 265 seconds) |
| 2025-01-15 12:46:23 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection) |
| 2025-01-15 12:48:27 +0100 | Guest47 | (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f) (Quit: Client closed) |
| 2025-01-15 12:48:33 +0100 | Typedfern | (~Typedfern@106.red-83-37-34.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
| 2025-01-15 12:51:11 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 12:52:56 +0100 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 12:58:45 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-01-15 12:59:09 +0100 | Guest47 | (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f) |
| 2025-01-15 13:01:59 +0100 | Typedfern | (~Typedfern@85.red-83-37-40.dynamicip.rima-tde.net) typedfern |
| 2025-01-15 13:03:25 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 13:03:51 +0100 | Guest47 | (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f) (Client Quit) |
| 2025-01-15 13:05:02 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350c-e8f4-5419-f1db-9c83-bf9d.rev.sfr.net) alexherbo2 |
| 2025-01-15 13:05:39 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8310:6e2:3d63:5127) |
| 2025-01-15 13:05:56 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-15 13:12:10 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-15 13:12:15 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:2087:967c:17ca:ee1d) ubert |
| 2025-01-15 13:15:05 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-15 13:15:54 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-15 13:15:54 +0100 | tnt2 | tnt1 |
| 2025-01-15 13:20:05 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 248 seconds) |
| 2025-01-15 13:22:46 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 13:24:18 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 13:25:39 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 13:28:28 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 13:30:01 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2025-01-15 13:30:47 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 13:33:15 +0100 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 13:35:33 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-01-15 13:36:47 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 13:38:48 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 13:39:23 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 13:40:00 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 13:42:00 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 13:43:20 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-01-15 13:45:39 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 13:46:01 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds) |
| 2025-01-15 13:47:15 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 13:50:23 +0100 | down200 | (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) |
| 2025-01-15 13:51:00 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 13:51:55 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 13:52:54 +0100 | jespada | (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) jespada |
| 2025-01-15 13:54:23 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 13:54:25 +0100 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-01-15 13:55:02 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 13:55:28 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 13:58:26 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 13:58:36 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 14:00:34 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 14:02:56 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 14:04:31 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 14:05:04 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 14:06:05 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-01-15 14:06:22 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-01-15 14:09:15 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 264 seconds) |
| 2025-01-15 14:10:56 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 14:15:44 +0100 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. I do not work for any body DIRECTLY although I do represent BOT NET.) |
| 2025-01-15 14:18:12 +0100 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2025-01-15 14:20:28 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-01-15 14:21:21 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2025-01-15 14:23:42 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-01-15 14:30:25 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-01-15 14:41:50 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 14:43:47 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-15 14:43:49 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-15 14:50:41 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-15 15:00:54 +0100 | cayley5 | (~cayley5@user/phileasfogg) (Ping timeout: 260 seconds) |
| 2025-01-15 15:02:27 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-15 15:03:03 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-15 15:05:46 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-15 15:14:08 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-15 15:20:57 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: ColinRobinson) |
| 2025-01-15 15:22:48 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-01-15 15:24:23 +0100 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. I do not work for any body DIRECTLY although I do represent BOT NET.) |
| 2025-01-15 15:39:00 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2025-01-15 15:45:05 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-01-15 15:51:52 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-15 15:52:38 +0100 | euleritian | (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de) |
| 2025-01-15 16:07:00 +0100 | <pounce> | why the heck is this code `M a -> M a` instead of `M ()` :/ |
| 2025-01-15 16:08:41 +0100 | <int-e> | :t this code |
| 2025-01-15 16:08:41 +0100 | <lambdabot> | error: Variable not in scope: this :: t0 -> t |
| 2025-01-15 16:08:41 +0100 | <lambdabot> | error: |
| 2025-01-15 16:08:41 +0100 | <lambdabot> | • Variable not in scope: code |
| 2025-01-15 16:11:10 +0100 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 16:11:25 +0100 | <pounce> | :? |
| 2025-01-15 16:15:43 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-15 16:17:20 +0100 | <enikar> | pounce: which code? |
| 2025-01-15 16:19:07 +0100 | <pounce> | this: https://github.com/agda/cornelis/blob/master/src/Cornelis/Agda.hs#L118 |
| 2025-01-15 16:19:38 +0100 | <pounce> | it always returns `m` anyway, so why call `withAgda m` when you could just `withAgda' >> m` |
| 2025-01-15 16:21:31 +0100 | <pounce> | by monad laws / parametricity `forall a . M a -> M a` and `M ()` are equivalent... no? |
| 2025-01-15 16:23:40 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350c-e8f4-5419-f1db-9c83-bf9d.rev.sfr.net) (Ping timeout: 240 seconds) |
| 2025-01-15 16:24:06 +0100 | <Leary> | (no) |
| 2025-01-15 16:25:04 +0100 | <tomsmeding> | pounce: the former could run the monadic action multiple times |
| 2025-01-15 16:25:17 +0100 | <Leary> | The function could use its argument any number of times, interleaved with any number of other actions. |
| 2025-01-15 16:25:25 +0100 | <tomsmeding> | that |
| 2025-01-15 16:26:15 +0100 | <pounce> | which action? |
| 2025-01-15 16:26:15 +0100 | <tomsmeding> | Axman6: https://github.com/treblacy/hasdoc |
| 2025-01-15 16:26:16 +0100 | <tomsmeding> | pounce: the M a |
| 2025-01-15 16:26:20 +0100 | <tomsmeding> | :t \m -> m >> m >> m |
| 2025-01-15 16:26:21 +0100 | <lambdabot> | Monad m => m b -> m b |
| 2025-01-15 16:26:33 +0100 | <pounce> | ah right |
| 2025-01-15 16:26:55 +0100 | <pounce> | in any case this function doesn't |
| 2025-01-15 16:26:59 +0100 | <pounce> | so i think it's weird for it to have that definition |
| 2025-01-15 16:27:50 +0100 | <tomsmeding> | perhaps there was some cleanup code in an earlier version? |
| 2025-01-15 16:29:37 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-15 16:33:56 +0100 | <pounce> | this is all over this codebase though |
| 2025-01-15 16:34:53 +0100 | <pounce> | instead of `foo >>= \a -> b` it's `foo (\a -> b)` where `foo f = bar >>= f` |
| 2025-01-15 16:35:21 +0100 | <pounce> | why manually taking kleisli arrows instead of composing them normally |
| 2025-01-15 16:36:46 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2025-01-15 16:38:38 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-15 16:38:49 +0100 | <Leary> | It's more powerful. That's a bad thing in the sense that function signatures should be restrictive for ease of reasoning, but if you expect to actually need that power at some point, you can then use it without needing to refactor other code. |
| 2025-01-15 16:40:08 +0100 | <Leary> | In short, `withAgda` could get cleanup code added to it later, and the change would only need to be made in the definition of `withAgda`, nowhere else. |
| 2025-01-15 16:41:18 +0100 | <Leary> | s/In short,/E.g./ |
| 2025-01-15 16:41:42 +0100 | <pounce> | buh |
| 2025-01-15 16:42:00 +0100 | pounce | is now maintainer of this codebase |
| 2025-01-15 16:42:12 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-15 16:42:16 +0100 | <tomsmeding> | of the original or of your fork? |
| 2025-01-15 16:42:33 +0100 | <pounce> | i think type systems should be linear and m >> m shouldn't be allowed >_> |
| 2025-01-15 16:42:39 +0100 | <pounce> | tomsmeding: original |
| 2025-01-15 16:43:09 +0100 | <tomsmeding> | I think m >> m should be allowed :p |
| 2025-01-15 16:43:09 +0100 | <tomsmeding> | then go wild! |
| 2025-01-15 16:43:18 +0100 | <pounce> | no it's probably right the continuation approach does seem useful at times |
| 2025-01-15 16:46:28 +0100 | <pounce> | tomsmeding: you think you can just `take_money_out_of_wallet >> take_money_out_of_wallet` hmm >_> |