| 2025-01-15 00:00:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 00:04:54 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-15 00:05:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 00:10:23 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-15 00:14:12 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-15 00:15:55 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 00:19:09 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 00:20:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 00:25:21 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f539c942177b6544d5d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-15 00:31:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 00:32:50 +0000 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 00:33:42 +0000 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-15 00:35:24 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 00:35:38 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 00:35:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-15 00:39:24 +0000 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 00:39:24 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5599:62cc:9825:4e0a) (Ping timeout: 252 seconds) |
| 2025-01-15 00:39:24 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-01-15 00:39:58 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-01-15 00:44:36 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-15 00:46:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 00:49:13 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-15 00:51:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 00:51:50 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 01:02:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 01:07:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-15 01:09:48 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-01-15 01:13:11 +0000 | sprotte24 | (~sprotte24@p200300d16f2d39009dedd0cca2feaedd.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-15 01:17:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 01:24:14 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 01:24:42 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-15 01:28:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 01:30:17 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-15 01:32:57 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 01:33:04 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-15 01:34:10 +0000 | otto_s | (~user@p4ff272c8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-15 01:34:57 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 01:35:43 +0000 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-15 01:35:48 +0000 | otto_s | (~user@p5b044c54.dip0.t-ipconnect.de) |
| 2025-01-15 01:36:09 +0000 | euleritian | (~euleritia@77.23.250.232) (Read error: Connection reset by peer) |
| 2025-01-15 01:36:09 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-15 01:36:53 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 01:39:14 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-15 01:39:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 01:39:30 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-15 01:42:44 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 01:44:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 01:44:35 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-15 01:44:50 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-15 01:45:34 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 01:46:54 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 01:47:43 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 01:54:38 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-01-15 01:54:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 01:56:24 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-15 01:57:25 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 01:59:11 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 01:59:55 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-15 02:00:12 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-15 02:06:35 +0000 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 2025-01-15 02:10:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 02:10:37 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-15 02:11:17 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:28c7:5c1b:9c00:9e1b) (Ping timeout: 244 seconds) |
| 2025-01-15 02:13:54 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-15 02:14:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-15 02:19:03 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-15 02:21:13 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-01-15 02:22:00 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-01-15 02:25:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 02:26:03 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-15 02:26:21 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 02:31:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 02:40:00 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-01-15 02:41:51 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-15 02:42:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 02:45:10 +0000 | Square | (~Square@user/square) Square |
| 2025-01-15 02:45:16 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-15 02:45:32 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-15 02:45:39 +0000 | haritz | (~hrtz@user/haritz) (Ping timeout: 246 seconds) |
| 2025-01-15 02:46:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 02:47:45 +0000 | <Guest1364> | What's with deepseq 1.6.0.0 (highest revision, next is 1.5.1.0) being deprecated? |
| 2025-01-15 02:48:53 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-01-15 02:49:57 +0000 | <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 02:51:04 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-01-15 02:52:48 +0000 | r-sta | (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed) |
| 2025-01-15 02:52:58 +0000 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2025-01-15 02:53:00 +0000 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2025-01-15 02:53:00 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-01-15 02:56:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 03:01:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 03:05:38 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-15 03:08:31 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-15 03:12:47 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 03:15:22 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-15 03:19:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-15 03:30:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 03:35:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 03:36:22 +0000 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-15 03:39:43 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-15 03:39:43 +0000 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-15 03:43:01 +0000 | sayurc | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 2025-01-15 03:43:11 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-15 03:43:21 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-15 03:46:11 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 03:49:41 +0000 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-15 03:50:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 03:50:51 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 03:55:42 +0000 | rekahsoft | (~rekahsoft@70.51.99.237) (Ping timeout: 252 seconds) |
| 2025-01-15 04:01:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 04:05:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 04:16:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 04:21:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 04:32:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 04:34:21 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com) (Quit: Leaving) |
| 2025-01-15 04:37:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-15 04:43:15 +0000 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 04:43:47 +0000 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-15 04:47:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 04:54:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 04:57:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 05:02:53 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-15 05:06:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-15 05:13:42 +0000 | rosco | (~rosco@183.171.104.221) rosco |
| 2025-01-15 05:15:33 +0000 | fireking04 | (~fireking0@115.146.239.146) fireking04 |
| 2025-01-15 05:16:55 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 05:17:17 +0000 | fireking04 | (~fireking0@115.146.239.146) (Client Quit) |
| 2025-01-15 05:21:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-15 05:32:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 05:32:39 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-15 05:35:55 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-15 05:37:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 05:41:40 +0000 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 05:45:53 +0000 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 05:46:21 +0000 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-15 05:47:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 05:47:52 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 05:48:53 +0000 | CrunchyFlakes_ | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) |
| 2025-01-15 05:49:24 +0000 | CrunchyFlakes | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2025-01-15 05:52:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 05:52:18 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 248 seconds) |
| 2025-01-15 05:54:53 +0000 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-15 05:54:55 +0000 | robertm | (robertm@lattice.rojoma.com) (Quit: ...) |
| 2025-01-15 05:56:37 +0000 | robertm | (robertm@lattice.rojoma.com) robertm |
| 2025-01-15 05:58:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 05:59:16 +0000 | michalz | (~michalz@185.246.207.203) |
| 2025-01-15 06:06:14 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
| 2025-01-15 06:07:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 06:09:11 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 06:09:35 +0000 | tabemann_ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2025-01-15 06:10:59 +0000 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2025-01-15 06:13:48 +0000 | rosco | (~rosco@183.171.104.221) (Quit: Gotta go.) |
| 2025-01-15 06:15:09 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-01-15 06:15:09 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-15 06:15:15 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-01-15 06:17:36 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-15 06:17:43 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 06:18:16 +0000 | foul_owl | (~kerry@185.203.219.80) (Read error: Connection reset by peer) |
| 2025-01-15 06:18:16 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-15 06:18:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 06:19:04 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2025-01-15 06:20:10 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 06:21:35 +0000 | euleritian | (~euleritia@dynamic-176-002-193-014.176.2.pool.telefonica.de) |
| 2025-01-15 06:22:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-15 06:23:19 +0000 | druchan | (uid567859@id-567859.lymington.irccloud.com) |
| 2025-01-15 06:26:31 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-01-15 06:26:48 +0000 | Square | (~Square@user/square) Square |
| 2025-01-15 06:26:58 +0000 | Square2 | (~Square4@user/square) Square |
| 2025-01-15 06:29:45 +0000 | euleritian | (~euleritia@dynamic-176-002-193-014.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 06:30:02 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 06:30:57 +0000 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-01-15 06:31:32 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-15 06:31:55 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-15 06:32:19 +0000 | paul_j | (~user@8.190.187.81.in-addr.arpa) paul_j |
| 2025-01-15 06:33:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 06:34:41 +0000 | foul_owl | (~kerry@193.42.0.126) foul_owl |
| 2025-01-15 06:38:39 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 06:40:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 06:41:26 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-15 06:42:02 +0000 | <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 06:42:23 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 06:45:08 +0000 | <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 06:46:43 +0000 | <jackdk> | Axman6: what if you put `documentation: True` in `cabal.project{,.local}`? |
| 2025-01-15 06:49:59 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 06:51:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 06:52:55 +0000 | CiaoSen | (~Jura@2a05:5800:2dd:5300:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-15 06:53:34 +0000 | <Axman6> | I have documentation: true but I can't tell where the docs should end up |
| 2025-01-15 06:54:24 +0000 | <Axman6> | I can find the docs for my package but not the deps |
| 2025-01-15 06:56:12 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-15 06:56:36 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 06:57:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-15 06:57:13 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 06:57:47 +0000 | euleritian | (~euleritia@dynamic-176-003-081-004.176.3.pool.telefonica.de) |
| 2025-01-15 06:57:47 +0000 | euleritian | (~euleritia@dynamic-176-003-081-004.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 06:57:59 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 06:59:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 06:59:47 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 07:01:30 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 07:02:37 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 07:04:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 07:05:00 +0000 | <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 07:10:54 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 07:11:15 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2025-01-15 07:11:26 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 07:11:29 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-15 07:13:24 +0000 | <haskellbridge> | <maerwald> why there is no 'folding1' in lens? |
| 2025-01-15 07:13:56 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 07:15:29 +0000 | <haskellbridge> | <maerwald> it seems the only way to create a Fold1 is through repeated, iterated and cycled |
| 2025-01-15 07:16:01 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-01-15 07:17:26 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 07:18:04 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-01-15 07:20:46 +0000 | <c_wraith> | maerwald: you could write one by hand. |
| 2025-01-15 07:22:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 07:25:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 07:26:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 07:37:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 07:38:05 +0000 | <haskellbridge> | <maerwald> well, that was easy, now I just need to figure out how to construct the Foldable1 safely |
| 2025-01-15 07:38:57 +0000 | <haskellbridge> | <maerwald> my current structure is: folding $ \f -> f ^.. foo . bar <> f ^.. baz . fab |
| 2025-01-15 07:40:21 +0000 | <haskellbridge> | <maerwald> one of them always has an element |
| 2025-01-15 07:41:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-15 07:43:51 +0000 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 276 seconds) |
| 2025-01-15 07:45:16 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-15 07:45:48 +0000 | <c_wraith> | Ah, I see. That does pose a challenge. |
| 2025-01-15 07:47:03 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-15 07:47:27 +0000 | reidrac | (~reidrac@user/reidrac) (Quit: bye now!) |
| 2025-01-15 07:49:11 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 07:49:14 +0000 | reidrac | (~reidrac@user/reidrac) reidrac |
| 2025-01-15 07:49:41 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 07:49:42 +0000 | CiaoSen | (~Jura@2a05:5800:2dd:5300:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2025-01-15 07:51:00 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-01-15 07:51:00 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 07:51:57 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 07:52:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 07:55:07 +0000 | xdej | (~xdej@quatramaran.salle-s.org) xdej |
| 2025-01-15 07:55:08 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-15 07:55:28 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-15 07:57:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-15 08:00:36 +0000 | kenran | (~void@user/kenran) kenran |
| 2025-01-15 08:00:36 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-15 08:00:45 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-15 08:06:05 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-15 08:16:23 +0000 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-01-15 08:16:52 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2025-01-15 08:24:33 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 08:26:21 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 08:26:54 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-15 08:28:37 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 08:29:55 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 08:32:39 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-15 08:37:37 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-15 08:45:52 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 08:48:16 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-15 08:50:32 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 08:58:12 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-01-15 08:58:47 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-15 09:00:17 +0000 | <jackdk> | https://github.com/ekmett/lens/issues/1015 |
| 2025-01-15 09:01:44 +0000 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-15 09:02:28 +0000 | druchan | (uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 09:03:23 +0000 | <Hecate> | heya jackdk |
| 2025-01-15 09:03:23 +0000 | <Hecate> | what's up? |
| 2025-01-15 09:03:32 +0000 | <jackdk> | Hecate: sup? |
| 2025-01-15 09:03:43 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 09:05:51 +0000 | <jackdk> | hacking the amazonka generator, about to go for a climb, you? |
| 2025-01-15 09:07:02 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-15 09:08:28 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 272 seconds) |
| 2025-01-15 09:16:25 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-01-15 09:19:49 +0000 | jespada | (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) jespada |
| 2025-01-15 09:23:36 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 09:26:51 +0000 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 272 seconds) |
| 2025-01-15 09:31:38 +0000 | akegalj | (~akegalj@142-231.dsl.iskon.hr) akegalj |
| 2025-01-15 09:32:42 +0000 | kuribas | (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5) kuribas |
| 2025-01-15 09:32:42 +0000 | kuribas | (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5) (Remote host closed the connection) |
| 2025-01-15 09:32:59 +0000 | kuribas | (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5) kuribas |
| 2025-01-15 09:33:02 +0000 | chele | (~chele@user/chele) chele |
| 2025-01-15 09:34:33 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2025-01-15 09:36:20 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-15 09:39:18 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 09:39:54 +0000 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2025-01-15 09:40:50 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-15 09:42:19 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2025-01-15 09:42:20 +0000 | Guest5652 | (~Guest5652@2600:1700:9bfc:4000:3cc3:45f7:40d3:2f17) |
| 2025-01-15 09:44:47 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 09:49:37 +0000 | jespada | (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-15 09:52:12 +0000 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-15 09:52:18 +0000 | kuribas` | (~user@2a02:1808:88:4bb9:e5c7:f5c0:5bb6:8cd) kuribas |
| 2025-01-15 09:52:37 +0000 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 09:53:50 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-15 09:53:55 +0000 | kuribas | (~user@2a02:1808:8a:863c:567d:d5bd:d88d:8bd5) (Ping timeout: 252 seconds) |
| 2025-01-15 09:53:55 +0000 | xdminsy | (~xdminsy@117.147.71.200) xdminsy |
| 2025-01-15 09:54:57 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-01-15 09:57:04 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-15 10:00:34 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-15 10:00:44 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 10:04:13 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-15 10:10:23 +0000 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2025-01-15 10:15:28 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2025-01-15 10:18:22 +0000 | Guest5652 | (~Guest5652@2600:1700:9bfc:4000:3cc3:45f7:40d3:2f17) (Quit: Page closed) |
| 2025-01-15 10:20:25 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-15 10:21:45 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 10:22:21 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Read error: Connection reset by peer) |
| 2025-01-15 10:23:15 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-15 10:24:10 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 10:28:27 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-15 10:29:36 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2025-01-15 10:31:02 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-15 10:32:53 +0000 | xff0x | (~xff0x@2405:6580:b080:900:200c:61a5:cacd:b14f) |
| 2025-01-15 10:33:28 +0000 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-01-15 10:35:27 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-01-15 10:36:45 +0000 | kuribas` | (~user@2a02:1808:88:4bb9:e5c7:f5c0:5bb6:8cd) (Ping timeout: 276 seconds) |
| 2025-01-15 10:41:01 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-01-15 10:41:23 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 10:47:50 +0000 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Remote host closed the connection) |
| 2025-01-15 10:48:14 +0000 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
| 2025-01-15 10:51:02 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 10:54:55 +0000 | Guest47 | (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f) |
| 2025-01-15 10:54:55 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 10:55:31 +0000 | xff0x | (~xff0x@2405:6580:b080:900:200c:61a5:cacd:b14f) (Ping timeout: 265 seconds) |
| 2025-01-15 10:57:00 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 11:01:05 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 11:07:17 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-15 11:09:34 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 11:12:13 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 11:14:27 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 11:14:44 +0000 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-15 11:14:50 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 11:15:12 +0000 | euleritian | (~euleritia@dynamic-176-006-135-210.176.6.pool.telefonica.de) |
| 2025-01-15 11:15:20 +0000 | euleritian | (~euleritia@dynamic-176-006-135-210.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 11:15:31 +0000 | housemate | (~housemate@146.70.66.228) (Remote host closed the connection) |
| 2025-01-15 11:15:38 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 11:16:01 +0000 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-15 11:18:44 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-15 11:18:55 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 11:19:09 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-15 11:19:37 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 11:21:43 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 11:21:59 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 11:22:25 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 11:22:43 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 11:25:15 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 11:25:15 +0000 | 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 11:25:15 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-01-15 11:27:02 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 11:28:39 +0000 | sprotte24 | (~sprotte24@p200300d16f35c2000ce979728b78bb30.dip0.t-ipconnect.de) |
| 2025-01-15 11:30:05 +0000 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-15 11:33:33 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 11:35:51 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 11:39:34 +0000 | sprotte24 | (~sprotte24@p200300d16f35c2000ce979728b78bb30.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-15 11:41:27 +0000 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 265 seconds) |
| 2025-01-15 11:46:23 +0000 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection) |
| 2025-01-15 11:48:27 +0000 | Guest47 | (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f) (Quit: Client closed) |
| 2025-01-15 11:48:33 +0000 | Typedfern | (~Typedfern@106.red-83-37-34.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
| 2025-01-15 11:51:11 +0000 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 11:52:56 +0000 | xdminsy | (~xdminsy@117.147.71.200) (Read error: Connection reset by peer) |
| 2025-01-15 11:58:45 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-01-15 11:59:09 +0000 | Guest47 | (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f) |
| 2025-01-15 12:01:59 +0000 | Typedfern | (~Typedfern@85.red-83-37-40.dynamicip.rima-tde.net) typedfern |
| 2025-01-15 12:03:25 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 12:03:51 +0000 | Guest47 | (~Guest47@2806:290:a800:3e26:44cb:cbd4:cdda:765f) (Client Quit) |
| 2025-01-15 12:05:02 +0000 | alexherbo2 | (~alexherbo@2a02-8440-350c-e8f4-5419-f1db-9c83-bf9d.rev.sfr.net) alexherbo2 |
| 2025-01-15 12:05:39 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8310:6e2:3d63:5127) |
| 2025-01-15 12:05:56 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-15 12:12:10 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-15 12:12:15 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:2087:967c:17ca:ee1d) ubert |
| 2025-01-15 12:15:05 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-15 12:15:54 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-15 12:15:54 +0000 | tnt2 | tnt1 |
| 2025-01-15 12:20:05 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 248 seconds) |
| 2025-01-15 12:22:46 +0000 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 12:24:18 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 12:25:39 +0000 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 12:28:28 +0000 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 12:30:01 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2025-01-15 12:30:47 +0000 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 12:33:15 +0000 | dtman34 | (~dtman34@c-76-156-64-77.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 12:35:33 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-01-15 12:36:47 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 12:38:48 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 12:39:23 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 12:40:00 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 12:42:00 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 12:43:20 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-01-15 12:45:39 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 12:46:01 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds) |
| 2025-01-15 12:47:15 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 12:50:23 +0000 | down200 | (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) |
| 2025-01-15 12:51:00 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 12:51:55 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 12:52:54 +0000 | jespada | (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) jespada |
| 2025-01-15 12:54:23 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-15 12:54:25 +0000 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-01-15 12:55:02 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 12:55:28 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 12:58:26 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 12:58:36 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 13:00:34 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 13:02:56 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 13:04:31 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 13:05:04 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-15 13:06:05 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-01-15 13:06:22 +0000 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-01-15 13:09:15 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 264 seconds) |
| 2025-01-15 13:10:56 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 13:15:44 +0000 | 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 13:18:12 +0000 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2025-01-15 13:20:28 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-01-15 13:21:21 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2025-01-15 13:23:42 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-01-15 13:30:25 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-01-15 13:41:50 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-15 13:43:47 +0000 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-15 13:43:49 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-15 13:50:41 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-15 14:00:54 +0000 | cayley5 | (~cayley5@user/phileasfogg) (Ping timeout: 260 seconds) |
| 2025-01-15 14:02:27 +0000 | JuanDaugherty | ColinRobinson |
| 2025-01-15 14:03:03 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-15 14:05:46 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-15 14:14:08 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-15 14:20:57 +0000 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: ColinRobinson) |
| 2025-01-15 14:22:48 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2025-01-15 14:24:23 +0000 | 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:39:00 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2025-01-15 14:45:05 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-01-15 14:51:52 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-15 14:52:38 +0000 | euleritian | (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de) |
| 2025-01-15 15:07:00 +0000 | <pounce> | why the heck is this code `M a -> M a` instead of `M ()` :/ |
| 2025-01-15 15:08:41 +0000 | <int-e> | :t this code |
| 2025-01-15 15:08:41 +0000 | <lambdabot> | error: Variable not in scope: this :: t0 -> t |
| 2025-01-15 15:08:41 +0000 | <lambdabot> | error: |
| 2025-01-15 15:08:41 +0000 | <lambdabot> | • Variable not in scope: code |
| 2025-01-15 15:11:10 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 15:11:25 +0000 | <pounce> | :? |
| 2025-01-15 15:15:43 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-15 15:17:20 +0000 | <enikar> | pounce: which code? |
| 2025-01-15 15:19:07 +0000 | <pounce> | this: https://github.com/agda/cornelis/blob/master/src/Cornelis/Agda.hs#L118 |
| 2025-01-15 15:19:38 +0000 | <pounce> | it always returns `m` anyway, so why call `withAgda m` when you could just `withAgda' >> m` |
| 2025-01-15 15:21:31 +0000 | <pounce> | by monad laws / parametricity `forall a . M a -> M a` and `M ()` are equivalent... no? |
| 2025-01-15 15:23:40 +0000 | alexherbo2 | (~alexherbo@2a02-8440-350c-e8f4-5419-f1db-9c83-bf9d.rev.sfr.net) (Ping timeout: 240 seconds) |
| 2025-01-15 15:24:06 +0000 | <Leary> | (no) |
| 2025-01-15 15:25:04 +0000 | <tomsmeding> | pounce: the former could run the monadic action multiple times |
| 2025-01-15 15:25:17 +0000 | <Leary> | The function could use its argument any number of times, interleaved with any number of other actions. |
| 2025-01-15 15:25:25 +0000 | <tomsmeding> | that |
| 2025-01-15 15:26:15 +0000 | <pounce> | which action? |
| 2025-01-15 15:26:15 +0000 | <tomsmeding> | Axman6: https://github.com/treblacy/hasdoc |
| 2025-01-15 15:26:16 +0000 | <tomsmeding> | pounce: the M a |
| 2025-01-15 15:26:20 +0000 | <tomsmeding> | :t \m -> m >> m >> m |
| 2025-01-15 15:26:21 +0000 | <lambdabot> | Monad m => m b -> m b |
| 2025-01-15 15:26:33 +0000 | <pounce> | ah right |
| 2025-01-15 15:26:55 +0000 | <pounce> | in any case this function doesn't |
| 2025-01-15 15:26:59 +0000 | <pounce> | so i think it's weird for it to have that definition |
| 2025-01-15 15:27:50 +0000 | <tomsmeding> | perhaps there was some cleanup code in an earlier version? |
| 2025-01-15 15:29:37 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-15 15:33:56 +0000 | <pounce> | this is all over this codebase though |
| 2025-01-15 15:34:53 +0000 | <pounce> | instead of `foo >>= \a -> b` it's `foo (\a -> b)` where `foo f = bar >>= f` |
| 2025-01-15 15:35:21 +0000 | <pounce> | why manually taking kleisli arrows instead of composing them normally |
| 2025-01-15 15:36:46 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2025-01-15 15:38:38 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-15 15:38:49 +0000 | <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 15:40:08 +0000 | <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 15:41:18 +0000 | <Leary> | s/In short,/E.g./ |
| 2025-01-15 15:41:42 +0000 | <pounce> | buh |
| 2025-01-15 15:42:00 +0000 | pounce | is now maintainer of this codebase |
| 2025-01-15 15:42:12 +0000 | swistak | (~swistak@185.21.216.141) |
| 2025-01-15 15:42:16 +0000 | <tomsmeding> | of the original or of your fork? |
| 2025-01-15 15:42:33 +0000 | <pounce> | i think type systems should be linear and m >> m shouldn't be allowed >_> |
| 2025-01-15 15:42:39 +0000 | <pounce> | tomsmeding: original |
| 2025-01-15 15:43:09 +0000 | <tomsmeding> | I think m >> m should be allowed :p |
| 2025-01-15 15:43:09 +0000 | <tomsmeding> | then go wild! |
| 2025-01-15 15:43:18 +0000 | <pounce> | no it's probably right the continuation approach does seem useful at times |
| 2025-01-15 15:46:28 +0000 | <pounce> | tomsmeding: you think you can just `take_money_out_of_wallet >> take_money_out_of_wallet` hmm >_> |
| 2025-01-15 15:48:11 +0000 | <tomsmeding> | pounce: no, but you can `take_money_out_of wallet >> put_money_back_in wallet`, and then you're still using the wallet twice. :) |
| 2025-01-15 15:49:49 +0000 | <pounce> | that would make money out of thin air |
| 2025-01-15 15:49:55 +0000 | <tomsmeding> | not if it's the same money you're putting back in |
| 2025-01-15 15:50:27 +0000 | <tomsmeding> | if your currency disappears the moment it leaves your wallet, I'm going to stay with mine that is more solid |
| 2025-01-15 15:50:52 +0000 | <pounce> | lol |
| 2025-01-15 15:51:55 +0000 | <tomsmeding> | and if we `m = take_money_out_of wallet >> put_money_back_in wallet`, then we can even `m >> m >> m` and the only thing that'll happen is that any spectators will be thinking "what's this person doing" |
| 2025-01-15 15:52:20 +0000 | <tomsmeding> | but no type system ever cared about that, did they |
| 2025-01-15 15:53:11 +0000 | <Leary> | ... In any case, we have linear arrows; you can use them whenever you want to. Just try not to infect the rest of the typeverse. |
| 2025-01-15 15:53:31 +0000 | <tomsmeding> | pounce: M a %1-> M a |
| 2025-01-15 15:54:00 +0000 | <pounce> | huh didn't know those existed |
| 2025-01-15 15:54:13 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2025-01-15 15:54:13 +0000 | <tomsmeding> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/linear_types.html#extension-LinearT… |
| 2025-01-15 15:55:20 +0000 | <tomsmeding> | % :set -XLinearTypes |
| 2025-01-15 15:55:20 +0000 | <yahb2> | <no output> |
| 2025-01-15 15:55:20 +0000 | <pounce> | yeah found those |
| 2025-01-15 15:55:20 +0000 | <tomsmeding> | % (\m -> m) :: IO a %1-> IO a |
| 2025-01-15 15:55:20 +0000 | <yahb2> | <interactive>:31:1: error: [GHC-39999] ; • No instance for ‘Show (IO a0 %1 -> IO a0)’ ; arising from a use of ‘Yahb2Defs.limitedPrint’ ; (maybe you haven't applied a function to... |
| 2025-01-15 15:55:20 +0000 | <tomsmeding> | % :t (\m -> m) :: IO a %1-> IO a |
| 2025-01-15 15:55:20 +0000 | <yahb2> | (\m -> m) :: IO a %1-> IO a :: forall a. IO a %1 -> IO a |
| 2025-01-15 15:55:20 +0000 | <tomsmeding> | % :t (\m -> m >> m) :: IO a %1-> IO a |
| 2025-01-15 15:55:20 +0000 | <yahb2> | <interactive>:1:3: error: [GHC-18872] ; • Couldn't match type ‘Many’ with ‘One’ ; arising from multiplicity of ‘m’ ; • In the expression: (\ m -> m >> m) :: IO a %1 -> IO a |
| 2025-01-15 15:55:20 +0000 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2025-01-15 15:55:20 +0000 | <tomsmeding> | Haskell is the new C++ |
| 2025-01-15 15:55:20 +0000 | <tomsmeding> | it has all the things |
| 2025-01-15 15:55:30 +0000 | <int-e> | every syntactic niche is occupied |
| 2025-01-15 15:55:40 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-15 15:56:29 +0000 | <pounce> | % t: (\m -> return ()) IO () %1-> IO () |
| 2025-01-15 15:56:29 +0000 | <yahb2> | <interactive>:37:28: error: [GHC-58481] parse error on input ‘%’ |
| 2025-01-15 15:56:29 +0000 | <pounce> | oop |
| 2025-01-15 15:56:35 +0000 | <pounce> | % :t (\m -> return ()) IO () %1-> IO () |
| 2025-01-15 15:56:35 +0000 | <yahb2> | <interactive>:1:25: error: [GHC-58481] parse error on input ‘%’ |
| 2025-01-15 15:56:41 +0000 | <tomsmeding> | missing :: |
| 2025-01-15 15:56:45 +0000 | <pounce> | ty |
| 2025-01-15 15:56:55 +0000 | <pounce> | % :t (\m -> return ()) :: IO () %1-> IO () |
| 2025-01-15 15:56:55 +0000 | <yahb2> | <interactive>:1:3: error: [GHC-18872] ; • Couldn't match type ‘Many’ with ‘One’ ; arising from multiplicity of ‘m’ ; • In the expression: (\ m -> return ()) :: IO () %1 -> IO () |
| 2025-01-15 15:57:03 +0000 | <tomsmeding> | nobody said that the errors were _good_ |
| 2025-01-15 15:57:06 +0000 | <pounce> | how is 0 Many |
| 2025-01-15 15:57:09 +0000 | <tomsmeding> | it's not One |
| 2025-01-15 15:57:12 +0000 | <pounce> | true |
| 2025-01-15 15:57:37 +0000 | Guest78 | (~Guest78@37.228.251.150) |
| 2025-01-15 15:58:38 +0000 | <pounce> | i like the erased modality in agda. having %0 would be nice |
| 2025-01-15 15:58:39 +0000 | <tomsmeding> | what would the point be in haskell |
| 2025-01-15 15:58:39 +0000 | <tomsmeding> | (and isn't it @0?) |
| 2025-01-15 15:58:39 +0000 | <pounce> | well in agda yeah |
| 2025-01-15 15:58:39 +0000 | <tomsmeding> | ah |
| 2025-01-15 15:58:39 +0000 | <pounce> | idk don't use haskell lol |
| 2025-01-15 15:58:40 +0000 | <pounce> | in rust there's all this phantomdata crap that pops up |
| 2025-01-15 15:58:44 +0000 | tomsmeding | looks at pounce |
| 2025-01-15 15:58:48 +0000 | <pounce> | :D |
| 2025-01-15 15:58:59 +0000 | tomsmeding | looks at the channel name |
| 2025-01-15 15:59:08 +0000 | <pounce> | ok |
| 2025-01-15 15:59:12 +0000 | <pounce> | i don't use haskell _on purpose_ |
| 2025-01-15 15:59:15 +0000 | <tomsmeding> | :D |
| 2025-01-15 15:59:51 +0000 | <tomsmeding> | I don't think that phrase has been uttered very often |
| 2025-01-15 16:00:19 +0000 | Digitteknohippie | Digit |
| 2025-01-15 16:00:25 +0000 | <Leary> | There are still uses for erased arguments in Haskell, but I think they can largely be satisfied with `ZeroBitType`s. |
| 2025-01-15 16:00:27 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-01-15 16:00:51 +0000 | <tomsmeding> | I can only think of Proxy; any others? |
| 2025-01-15 16:00:59 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-15 16:01:00 +0000 | <tomsmeding> | (any other uses, that is) |
| 2025-01-15 16:01:25 +0000 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 248 seconds) |
| 2025-01-15 16:03:23 +0000 | <Leary> | tomsmeding: See this thread for a few examples: https://discourse.haskell.org/t/unboxed-equality/9929 |
| 2025-01-15 16:03:56 +0000 | <tomsmeding> | Leary: but surely an erased equality is not quite the same as a zero-bit equality? |
| 2025-01-15 16:04:50 +0000 | <tomsmeding> | a zero-bit equality is just ensuring that there's no unnecessary runtime overhead in reifying the proof, whereas an erased equality is praying that the proof would have also held in production |
| 2025-01-15 16:05:06 +0000 | <tomsmeding> | pounce: if you pattern-match on a Refl in agda, can you still mark that argument as erased? |
| 2025-01-15 16:05:46 +0000 | <pounce> | i _think_ so. i usually use --without-k which doesn't allow all dot patterns for equality |
| 2025-01-15 16:06:25 +0000 | <tomsmeding> | but how can an equality proof be erased if you're depending on it to hold? |
| 2025-01-15 16:06:34 +0000 | Guest78 | (~Guest78@37.228.251.150) (Quit: Client closed) |
| 2025-01-15 16:06:50 +0000 | <pounce> | tomsmeding: if you have an inhabitant of the equality proof then it already holds |
| 2025-01-15 16:06:52 +0000 | <Leary> | It's /statically/ verified. Haskell's `Refl` requires pattern matching for soundness only because it's lifted. |
| 2025-01-15 16:06:57 +0000 | <pounce> | you don't need to 'use' the proof |
| 2025-01-15 16:07:16 +0000 | <tomsmeding> | right, that's a thing in agda |
| 2025-01-15 16:07:19 +0000 | <pounce> | the only inhabitants of a = a are generated by refl. there's no bot |
| 2025-01-15 16:07:23 +0000 | <tomsmeding> | in haskell the proof could be `undefined` |
| 2025-01-15 16:08:09 +0000 | <pounce> | (inhabitants because without K there isn't necessarily _one_) |
| 2025-01-15 16:10:29 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-15 16:16:27 +0000 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) ft |
| 2025-01-15 16:35:10 +0000 | sprotte24 | (~sprotte24@p200300d16f35c200f4f310a9fb58ced0.dip0.t-ipconnect.de) |
| 2025-01-15 16:35:10 +0000 | sprotte24 | (~sprotte24@p200300d16f35c200f4f310a9fb58ced0.dip0.t-ipconnect.de) (Client Quit) |
| 2025-01-15 16:36:18 +0000 | euleritian | (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 16:36:36 +0000 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-15 16:39:01 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:cec4:708e:faa4:70c5) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-01-15 16:39:22 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
| 2025-01-15 16:43:57 +0000 | alp | (~alp@2001:861:8ca0:4940:1e61:879a:b0ec:434f) |
| 2025-01-15 16:46:06 +0000 | euleritian | (~euleritia@77.23.250.232) (Read error: Connection reset by peer) |
| 2025-01-15 16:46:59 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 16:47:24 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-01-15 16:48:48 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 16:52:00 +0000 | kenran | (~void@user/kenran) (Remote host closed the connection) |
| 2025-01-15 16:52:01 +0000 | ian_ | (~ian@81.2.99.210) (Quit: BIAB) |
| 2025-01-15 16:53:01 +0000 | akegalj | (~akegalj@142-231.dsl.iskon.hr) (Ping timeout: 252 seconds) |
| 2025-01-15 17:01:27 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-15 17:07:59 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-15 17:08:01 +0000 | euleritian | (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de) |
| 2025-01-15 17:08:10 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-01-15 17:10:40 +0000 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-01-15 17:10:40 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-01-15 17:15:20 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:2087:967c:17ca:ee1d) (Quit: ubert) |
| 2025-01-15 17:19:12 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-01-15 17:20:48 +0000 | aku | (aku@65.108.245.241) (Remote host closed the connection) |
| 2025-01-15 17:20:48 +0000 | euleritian | (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 17:20:53 +0000 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-15 17:25:40 +0000 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 260 seconds) |
| 2025-01-15 17:25:59 +0000 | euleritian | (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de) |
| 2025-01-15 17:26:17 +0000 | sprotte24 | (~sprotte24@p200300d16f35c200f4f310a9fb58ced0.dip0.t-ipconnect.de) |
| 2025-01-15 17:33:17 +0000 | Guest78 | (~Guest78@37.228.251.150) |
| 2025-01-15 17:34:52 +0000 | Igloo | (~ian@81.2.99.210) Igfoo |
| 2025-01-15 17:38:09 +0000 | Tetard | (~Tetard@94.187.134.188) |
| 2025-01-15 17:38:40 +0000 | aku | (aku@65.108.245.241) eagleflo |
| 2025-01-15 17:45:10 +0000 | Guest12 | (~Guest12@94.7.192.138) |
| 2025-01-15 17:45:34 +0000 | <Guest12> | hi there, I'm a beginner and I'm trying to install the package https://hackage.haskell.org/package/Craft3e-0.1.1.1 but it appears to be outdated |
| 2025-01-15 17:45:41 +0000 | Tetard | (~Tetard@94.187.134.188) () |
| 2025-01-15 17:45:43 +0000 | <Guest12> | after `cabal install` I get an error |
| 2025-01-15 17:45:59 +0000 | <Guest12> | is there an easy fix for this or should I do something like install an older version of ghc? |
| 2025-01-15 17:46:41 +0000 | <Guest12> | the reason I want this package is that I'm going through the book https://www.haskellcraft.com/craft3e/Home.html |
| 2025-01-15 17:50:19 +0000 | <mauke> | might be easier to download/extract the tarball, then |
| 2025-01-15 17:53:12 +0000 | <probie> | Guest12: Out of curiosity, what error are you getting? At a glance it looks like it should run on a modern GHC |
| 2025-01-15 17:55:30 +0000 | <int-e> | The mtl upper bound is too tight for GHC >= 9.6. That and the `cabal install` command was for v1-install and I don't even know what the workflow for getting dependencies of a package installed and registered so they become usable is these days |
| 2025-01-15 17:56:31 +0000 | <spew> | I just tried to build it and I get "‘fail’ is not a (visible) method of class ‘Monad’" |
| 2025-01-15 17:56:31 +0000 | <spew> | that will have to get moved to a MonadFail instance |
| 2025-01-15 17:56:31 +0000 | <Guest12> | https://paste.tomsmeding.com/CgGSVWFq/raw/1 |
| 2025-01-15 17:58:50 +0000 | <spew> | Guest12: change the relevant lines to this: https://paste.tomsmeding.com/OS6Qpkqw |
| 2025-01-15 17:59:09 +0000 | <spew> | in CalcParseLib.hs |
| 2025-01-15 17:59:42 +0000 | <spew> | then it builds |
| 2025-01-15 18:01:17 +0000 | <spew> | or just remove the fail and you don't even need to implement MonadFail |
| 2025-01-15 18:05:09 +0000 | akegalj | (~akegalj@142-231.dsl.iskon.hr) |
| 2025-01-15 18:06:26 +0000 | <EvanR> | fail failed again |
| 2025-01-15 18:07:13 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-15 18:08:22 +0000 | jespada | (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-15 18:09:21 +0000 | jespada | (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) jespada |
| 2025-01-15 18:11:27 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2025-01-15 18:15:48 +0000 | <Guest12> | spew: thank you, looks like it worked |
| 2025-01-15 18:17:21 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-01-15 18:18:06 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-15 18:18:32 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-01-15 18:20:26 +0000 | litharge | (litharge@libera/bot/litharge) (*.net *.split) |
| 2025-01-15 18:20:26 +0000 | euphores | (~SASL_euph@user/euphores) (*.net *.split) |
| 2025-01-15 18:20:26 +0000 | akegalj | (~akegalj@142-231.dsl.iskon.hr) (*.net *.split) |
| 2025-01-15 18:20:26 +0000 | aku | (aku@65.108.245.241) (*.net *.split) |
| 2025-01-15 18:20:26 +0000 | ystael | (~ystael@user/ystael) (*.net *.split) |
| 2025-01-15 18:20:26 +0000 | gentauro | (~gentauro@user/gentauro) (*.net *.split) |
| 2025-01-15 18:20:27 +0000 | cyphase | (~cyphase@user/cyphase) (*.net *.split) |
| 2025-01-15 18:20:27 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (*.net *.split) |
| 2025-01-15 18:20:27 +0000 | int-e | (~noone@int-e.eu) (*.net *.split) |
| 2025-01-15 18:20:27 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 2025-01-15 18:20:27 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (*.net *.split) |
| 2025-01-15 18:20:27 +0000 | tv | (~tv@user/tv) (*.net *.split) |
| 2025-01-15 18:20:27 +0000 | hawer | (~newyear@2.219.56.221) (*.net *.split) |
| 2025-01-15 18:20:27 +0000 | Xe | (~Xe@perl/impostor/xe) (*.net *.split) |
| 2025-01-15 18:20:27 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (*.net *.split) |
| 2025-01-15 18:20:27 +0000 | troydm | (~troydm@user/troydm) (*.net *.split) |
| 2025-01-15 18:20:27 +0000 | philopsos | (~caecilius@user/philopsos) (*.net *.split) |
| 2025-01-15 18:20:27 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (*.net *.split) |
| 2025-01-15 18:20:27 +0000 | nitrix | (~nitrix@user/meow/nitrix) (*.net *.split) |
| 2025-01-15 18:20:27 +0000 | kimiamania | (~65804703@user/kimiamania) (*.net *.split) |
| 2025-01-15 18:20:27 +0000 | Eoco | (~ian@128.101.131.218) (*.net *.split) |
| 2025-01-15 18:20:28 +0000 | kaskal | (~kaskal@84-115-237-124.cable.dynamic.surfer.at) (*.net *.split) |
| 2025-01-15 18:20:28 +0000 | spew | (~spew@135.233.119.40) (*.net *.split) |
| 2025-01-15 18:20:28 +0000 | mjrosenb | (~mjrosenb@70.18.10.118) (*.net *.split) |
| 2025-01-15 18:20:28 +0000 | johnjaye | (~pi@syn-035-146-235-019.res.spectrum.com) (*.net *.split) |
| 2025-01-15 18:20:28 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) (*.net *.split) |
| 2025-01-15 18:20:28 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (*.net *.split) |
| 2025-01-15 18:20:28 +0000 | ByronJohnson | (~bairyn@50.250.232.19) (*.net *.split) |
| 2025-01-15 18:20:29 +0000 | end | (~end@user/end/x-0094621) (*.net *.split) |
| 2025-01-15 18:20:29 +0000 | bcksl | (~bcksl@user/bcksl) (*.net *.split) |
| 2025-01-15 18:20:29 +0000 | srk | (~sorki@user/srk) (*.net *.split) |
| 2025-01-15 18:20:29 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (*.net *.split) |
| 2025-01-15 18:20:29 +0000 | thaumavorio | (~thaumavor@thaumavor.io) (*.net *.split) |
| 2025-01-15 18:20:29 +0000 | target_i | (~target_i@user/target-i/x-6023099) (*.net *.split) |
| 2025-01-15 18:20:29 +0000 | Typedfern | (~Typedfern@85.red-83-37-40.dynamicip.rima-tde.net) (*.net *.split) |
| 2025-01-15 18:20:29 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (*.net *.split) |
| 2025-01-15 18:20:29 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (*.net *.split) |
| 2025-01-15 18:20:29 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split) |
| 2025-01-15 18:20:29 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (*.net *.split) |
| 2025-01-15 18:20:30 +0000 | bionade24 | (~quassel@2a03:4000:33:45b::1) (*.net *.split) |
| 2025-01-15 18:20:30 +0000 | AlexZenon | (~alzenon@178.34.163.23) (*.net *.split) |
| 2025-01-15 18:20:30 +0000 | avidseeker | (av@user/avidseeker) (*.net *.split) |
| 2025-01-15 18:20:30 +0000 | OftenFaded | (~OftenFade@user/tisktisk) (*.net *.split) |
| 2025-01-15 18:20:30 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (*.net *.split) |
| 2025-01-15 18:20:30 +0000 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) (*.net *.split) |
| 2025-01-15 18:20:30 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (*.net *.split) |
| 2025-01-15 18:20:30 +0000 | petrichor | (~znc-user@user/petrichor) (*.net *.split) |
| 2025-01-15 18:20:30 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 2025-01-15 18:20:30 +0000 | Me-me | (~me-me@user/me-me) (*.net *.split) |
| 2025-01-15 18:20:30 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2025-01-15 18:20:31 +0000 | zero | (~z@user/zero) (*.net *.split) |
| 2025-01-15 18:20:31 +0000 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) (*.net *.split) |
| 2025-01-15 18:20:31 +0000 | jrm | (~jrm@user/jrm) (*.net *.split) |
| 2025-01-15 18:20:31 +0000 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (*.net *.split) |
| 2025-01-15 18:20:31 +0000 | stilgart | (~Christoph@chezlefab.net) (*.net *.split) |
| 2025-01-15 18:20:31 +0000 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (*.net *.split) |
| 2025-01-15 18:20:31 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) (*.net *.split) |
| 2025-01-15 18:20:31 +0000 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
| 2025-01-15 18:20:31 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | ycp | (~znc@user/dragestil) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | jathan | (~jathan@69.61.93.38) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | Ekho | (~Ekho@user/ekho) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | Ranhir | (~Ranhir@157.97.53.139) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | mzg | (mzg@abusers.hu) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | Goodbye_Vincent1 | (cyvahl@freakshells.net) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | gmg | (~user@user/gehmehgeh) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | ec | (~ec@gateway/tor-sasl/ec) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | califax | (~califax@user/califx) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | Guest12 | (~Guest12@94.7.192.138) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | Guest78 | (~Guest78@37.228.251.150) (*.net *.split) |
| 2025-01-15 18:20:32 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split) |
| 2025-01-15 18:20:33 +0000 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (*.net *.split) |
| 2025-01-15 18:20:33 +0000 | xdej | (~xdej@quatramaran.salle-s.org) (*.net *.split) |
| 2025-01-15 18:20:33 +0000 | foul_owl | (~kerry@193.42.0.126) (*.net *.split) |
| 2025-01-15 18:20:33 +0000 | michalz | (~michalz@185.246.207.203) (*.net *.split) |
| 2025-01-15 18:20:33 +0000 | hueso | (~root@user/hueso) (*.net *.split) |
| 2025-01-15 18:20:33 +0000 | ftzm | (~ftzm@085081033150.dynamic.telenor.dk) (*.net *.split) |
| 2025-01-15 18:20:33 +0000 | raym | (~ray@user/raym) (*.net *.split) |
| 2025-01-15 18:20:33 +0000 | kmein | (~weechat@user/kmein) (*.net *.split) |
| 2025-01-15 18:20:34 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (*.net *.split) |
| 2025-01-15 18:20:34 +0000 | Buliarous | (~gypsydang@46.232.210.139) (*.net *.split) |
| 2025-01-15 18:20:34 +0000 | m1dnight_ | (~m1dnight@d8D861908.access.telenet.be) (*.net *.split) |
| 2025-01-15 18:20:34 +0000 | Leary | (~Leary@user/Leary/x-0910699) (*.net *.split) |
| 2025-01-15 18:20:34 +0000 | iteratee | (~kyle@162.218.222.207) (*.net *.split) |
| 2025-01-15 18:20:34 +0000 | vgtw | (~vgtw@user/vgtw) (*.net *.split) |
| 2025-01-15 18:20:34 +0000 | ridcully | (~ridcully@p57b52ec2.dip0.t-ipconnect.de) (*.net *.split) |
| 2025-01-15 18:20:34 +0000 | noctux | (~noctux@user/noctux) (*.net *.split) |
| 2025-01-15 18:20:34 +0000 | jjhoo | (~jahakala@user/jjhoo) (*.net *.split) |
| 2025-01-15 18:20:34 +0000 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (*.net *.split) |
| 2025-01-15 18:20:34 +0000 | dunj3 | (~dunj3@h1765027.stratoserver.net) (*.net *.split) |
| 2025-01-15 18:20:34 +0000 | ski | (~ski@remote11.chalmers.se) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | _________ | (~nobody@user/noodly) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | pierrot | (~pi@user/pierrot) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | APic | (apic@apic.name) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | RMSBach | (~guygastin@137.184.131.156) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | constxd | (~constxd@user/constxd) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | Vq | (~vq@81-226-38-201-no600.tbcn.telia.com) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | Igloo | (~ian@81.2.99.210) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | euleritian | (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | swistak | (~swistak@185.21.216.141) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | reidrac | (~reidrac@user/reidrac) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | AlexNoo | (~AlexNoo@178.34.163.23) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | ol0ck | (~quassel@user/ol0ck) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | Guest1364 | (~user@2601:644:937c:ed10::ae5) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | mrmr155334346318 | (~mrmr@user/mrmr) (*.net *.split) |
| 2025-01-15 18:20:35 +0000 | nek0 | (~nek0@user/nek0) (*.net *.split) |
| 2025-01-15 18:20:36 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:794b:ce9f:2a3d:41ae) (*.net *.split) |
| 2025-01-15 18:20:36 +0000 | yaroot | (~yaroot@p3031163-ipngn4701souka.saitama.ocn.ne.jp) (*.net *.split) |
| 2025-01-15 18:20:36 +0000 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (*.net *.split) |
| 2025-01-15 18:20:36 +0000 | Yumemi | (~Yumemi@chamoin.net) (*.net *.split) |
| 2025-01-15 18:20:36 +0000 | myme | (~myme@40.51-175-185.customer.lyse.net) (*.net *.split) |
| 2025-01-15 18:20:36 +0000 | sus0 | (zero@user/zeromomentum) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | Athas | (athas@sigkill.dk) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | mikko | (~mikko@user/mikko) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | dfg | (~dfg@user/dfg) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | glider | (glider@user/glider) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | fr33domlover | (~fr33domlo@towards.vision) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | bramh | (~bramh@user/bramh) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | skylord5816 | (~skylord58@user/skylord5816) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | WzC | (~Frank@77-162-168-71.fixed.kpn.net) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | ames | (~amelia@offtopia/offtopian/amelia) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | Philonous | (~Philonous@user/philonous) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | stefan-__ | (~m-yh2rcc@42dots.de) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | sprotte24 | (~sprotte24@p200300d16f35c200f4f310a9fb58ced0.dip0.t-ipconnect.de) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | weary-traveler | (~user@user/user363627) (*.net *.split) |
| 2025-01-15 18:20:37 +0000 | __monty__ | (~toonn@user/toonn) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | dontdieych2 | (~quassel@user/dontdieych2) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | nicole | (ilbelkyr@libera/staff/ilbelkyr) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | img | (~img@user/img) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | potatoespotatoes | (~quassel@user/potatoespotatoes) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | mud | (~mud@user/kadoban) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | Angelz | (Angelz@Angelz.oddprotocol.org) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | plitter | (~plitter@user/plitter) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | urdh | (~urdh@user/urdh) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | Fijxu | (~Fijxu@user/fijxu) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | krjst | (~krjst@2604:a880:800:c1::16b:8001) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | rembo10_ | (~rembo10@main.remulis.com) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | mesaoptimizer | (~mesa@user/PapuaHardyNet) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | haveo_ | (~weechat@pacamara.iuwt.fr) (*.net *.split) |
| 2025-01-15 18:20:38 +0000 | carbolymer | (~carbolyme@dropacid.net) (*.net *.split) |
| 2025-01-15 18:20:39 +0000 | tritlo | (sid58727@id-58727.hampstead.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:39 +0000 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2025-01-15 18:20:39 +0000 | tamer | (~tamer@user/tamer) (*.net *.split) |
| 2025-01-15 18:20:39 +0000 | meejah | (~meejah@rutas.meejah.ca) (*.net *.split) |
| 2025-01-15 18:20:39 +0000 | Clint | (~Clint@user/clint) (*.net *.split) |
| 2025-01-15 18:20:39 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) (*.net *.split) |
| 2025-01-15 18:20:39 +0000 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) (*.net *.split) |
| 2025-01-15 18:20:39 +0000 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) (*.net *.split) |
| 2025-01-15 18:20:39 +0000 | n3t | (~n3t@user/n3t) (*.net *.split) |
| 2025-01-15 18:20:39 +0000 | cross | (~cross@spitfire.i.gajendra.net) (*.net *.split) |
| 2025-01-15 18:20:40 +0000 | landonf | (landonf@mac68k.info) (*.net *.split) |
| 2025-01-15 18:20:40 +0000 | [exa] | (~exa@user/exa/x-3587197) (*.net *.split) |
| 2025-01-15 18:20:40 +0000 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split) |
| 2025-01-15 18:20:40 +0000 | tapas | (sid467876@id-467876.ilkley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:40 +0000 | JSharp | (sid4580@user/JSharp) (*.net *.split) |
| 2025-01-15 18:20:40 +0000 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
| 2025-01-15 18:20:40 +0000 | h2t | (~h2t@user/h2t) (*.net *.split) |
| 2025-01-15 18:20:40 +0000 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:40 +0000 | PHO` | (~pho@akari.cielonegro.org) (*.net *.split) |
| 2025-01-15 18:20:40 +0000 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (*.net *.split) |
| 2025-01-15 18:20:40 +0000 | haritz | (~hrtz@user/haritz) (*.net *.split) |
| 2025-01-15 18:20:40 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:90eb:bd2f:bbf5:f0d8) (*.net *.split) |
| 2025-01-15 18:20:40 +0000 | hsw_ | (~hsw@112-104-8-145.adsl.dynamic.seed.net.tw) (*.net *.split) |
| 2025-01-15 18:20:41 +0000 | JamesMowery439 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (*.net *.split) |
| 2025-01-15 18:20:41 +0000 | rini | (~rini@user/rini) (*.net *.split) |
| 2025-01-15 18:20:41 +0000 | emergence | (emergence@vm0.max-p.me) (*.net *.split) |
| 2025-01-15 18:20:41 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (*.net *.split) |
| 2025-01-15 18:20:41 +0000 | taleseeker | (~taleseeke@user/taleseeker) (*.net *.split) |
| 2025-01-15 18:20:41 +0000 | shane | (~shane@ana.rch.ist) (*.net *.split) |
| 2025-01-15 18:20:41 +0000 | cptaffe | (~cptaffe@user/cptaffe) (*.net *.split) |
| 2025-01-15 18:20:41 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (*.net *.split) |
| 2025-01-15 18:20:41 +0000 | adamCS | (~adamCS@68.161.167.240) (*.net *.split) |
| 2025-01-15 18:20:41 +0000 | pabs3 | (~pabs3@user/pabs3) (*.net *.split) |
| 2025-01-15 18:20:41 +0000 | sudden | (~cat@user/sudden) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | lally | (sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | mniip | (mniip@libera/staff/mniip) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | haetsal | (~quassel@221.138.168.192) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | caubert | (~caubert@user/caubert) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | pounce | (~pounce@user/cute/pounce) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | ouroboros | (~ouroboros@user/ouroboros) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | ringo_ | (~ringo@157.230.117.128) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | flocks | (~flocks@134.122.90.60) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | sm | (~znc@plaintextaccounting/sm) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | crazazy | (~crazazy@tilde.town) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | nisstyre | (wes@user/nisstyre) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | saolsen | (sid26430@id-26430.lymington.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:42 +0000 | acro | (~acro@user/acro) (*.net *.split) |
| 2025-01-15 18:20:43 +0000 | teesquare_ | (~teesquare@user/teesquare) (*.net *.split) |
| 2025-01-15 18:20:43 +0000 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
| 2025-01-15 18:20:43 +0000 | bgamari | (~bgamari@64.223.233.64) (*.net *.split) |
| 2025-01-15 18:20:43 +0000 | beaky | (~beaky@198.211.118.219) (*.net *.split) |
| 2025-01-15 18:20:43 +0000 | ncf | (~n@monade.li) (*.net *.split) |
| 2025-01-15 18:20:43 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (*.net *.split) |
| 2025-01-15 18:20:43 +0000 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) (*.net *.split) |
| 2025-01-15 18:20:43 +0000 | inedia | (~irc@2600:3c00:e000:287::1) (*.net *.split) |
| 2025-01-15 18:20:43 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:43 +0000 | FragByte | (~christian@user/fragbyte) (*.net *.split) |
| 2025-01-15 18:20:43 +0000 | sabathan | (~sabathan@acaen-652-1-335-197.w83-115.abo.wanadoo.fr) (*.net *.split) |
| 2025-01-15 18:20:44 +0000 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (*.net *.split) |
| 2025-01-15 18:20:44 +0000 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (*.net *.split) |
| 2025-01-15 18:20:44 +0000 | mulk | (~mulk@p5b112493.dip0.t-ipconnect.de) (*.net *.split) |
| 2025-01-15 18:20:44 +0000 | vulpine | (xfnw@user/meow/xfnw) (*.net *.split) |
| 2025-01-15 18:20:44 +0000 | red-snail | (~red-snail@static.151.210.203.116.clients.your-server.de) (*.net *.split) |
| 2025-01-15 18:20:44 +0000 | hc | (~hc@mail.hce.li) (*.net *.split) |
| 2025-01-15 18:20:44 +0000 | sefidel | (~sefidel@user/sefidel) (*.net *.split) |
| 2025-01-15 18:20:44 +0000 | _koolazer | (~koo@user/koolazer) (*.net *.split) |
| 2025-01-15 18:20:44 +0000 | wryishly | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (*.net *.split) |
| 2025-01-15 18:20:44 +0000 | meooow | (~meooow@2400:6180:100:d0::ad9:e001) (*.net *.split) |
| 2025-01-15 18:20:45 +0000 | hammond | (proscan@gateway04.insomnia247.nl) (*.net *.split) |
| 2025-01-15 18:20:45 +0000 | xacktm | (xacktm@user/xacktm) (*.net *.split) |
| 2025-01-15 18:20:45 +0000 | tired- | (~tired@user/tired) (*.net *.split) |
| 2025-01-15 18:20:45 +0000 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
| 2025-01-15 18:20:45 +0000 | astroanax | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (*.net *.split) |
| 2025-01-15 18:20:45 +0000 | lyxia | (~lyxia@poisson.chat) (*.net *.split) |
| 2025-01-15 18:20:45 +0000 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
| 2025-01-15 18:20:45 +0000 | mima | (~mmh@user/mima) (*.net *.split) |
| 2025-01-15 18:20:45 +0000 | drlkf | (~drlkf@chat-1.drlkf.net) (*.net *.split) |
| 2025-01-15 18:20:45 +0000 | edm | (sid147314@id-147314.hampstead.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:45 +0000 | siers | (~ij@user/ij) (*.net *.split) |
| 2025-01-15 18:20:45 +0000 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:45 +0000 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:45 +0000 | lbseale | (~quassel@user/ep1ctetus) (*.net *.split) |
| 2025-01-15 18:20:46 +0000 | infinity0 | (~infinity0@pwned.gg) (*.net *.split) |
| 2025-01-15 18:20:46 +0000 | TMA | (tma@twin.jikos.cz) (*.net *.split) |
| 2025-01-15 18:20:46 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split) |
| 2025-01-15 18:20:46 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) (*.net *.split) |
| 2025-01-15 18:20:46 +0000 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (*.net *.split) |
| 2025-01-15 18:20:46 +0000 | snek | (sid280155@id-280155.lymington.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:46 +0000 | rubin55 | (sid666177@id-666177.lymington.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:46 +0000 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:46 +0000 | cbarrett | (uid192934@id-192934.helmsley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:46 +0000 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:46 +0000 | joeyh_ | (~joeyh@kitenet.net) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | edwardk | (sid47016@haskell/developer/edwardk) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | duncan | (c6181279e3@user/meow/duncan) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | sus | (1b7af6299f@user/zeromomentum) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | jakzale | (6291399afa@user/jakzale) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | probie | (cc0b34050a@user/probie) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (*.net *.split) |
| 2025-01-15 18:20:47 +0000 | remmie | (ianremsen@tilde.team) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | apache | (apache2@anubis.0x90.dk) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | markasoftware | (~quassel@107.161.26.124) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | sweater1 | (~sweater@206.81.18.26) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | _0xa_ | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | deriamis | (nobody@2600:3c0a::f03c:95ff:fee8:f335) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | mustafa | (sid502723@rockylinux/releng/mustafa) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | xelxebar | (~xelxebar@wilsonb.com) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | tokie | (~tokie@user/strtok) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | xnbya2 | (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | Jon | (jon@dow.land) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | aspen | (sid449115@id-449115.helmsley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | jespada | (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | down200 | (~down200@shell.lug.mtu.edu) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | bliminse | (~bliminse@user/bliminse) (*.net *.split) |
| 2025-01-15 18:20:48 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
| 2025-01-15 18:20:49 +0000 | byorgey | (~byorgey@user/byorgey) (*.net *.split) |
| 2025-01-15 18:20:49 +0000 | dolio | (~dolio@130.44.140.168) (*.net *.split) |
| 2025-01-15 18:20:49 +0000 | unlucy | (sid572875@user/unlucy) (*.net *.split) |
| 2025-01-15 18:20:49 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) (*.net *.split) |
| 2025-01-15 18:20:49 +0000 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:49 +0000 | monochrom | (trebla@216.138.220.146) (*.net *.split) |
| 2025-01-15 18:20:49 +0000 | ent- | (entgod@kapsi.fi) (*.net *.split) |
| 2025-01-15 18:20:49 +0000 | leah2 | (~leah@vuxu.org) (*.net *.split) |
| 2025-01-15 18:20:49 +0000 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (*.net *.split) |
| 2025-01-15 18:20:49 +0000 | astra | (sid289983@id-289983.hampstead.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:49 +0000 | arkeet | (~arkeet@moriya.ca) (*.net *.split) |
| 2025-01-15 18:20:49 +0000 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:49 +0000 | dy | (sid3438@user/dy) (*.net *.split) |
| 2025-01-15 18:20:49 +0000 | jackdk | (sid373013@cssa/jackdk) (*.net *.split) |
| 2025-01-15 18:20:50 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (*.net *.split) |
| 2025-01-15 18:20:50 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (*.net *.split) |
| 2025-01-15 18:20:50 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) (*.net *.split) |
| 2025-01-15 18:20:50 +0000 | lucyy | (228ee8f0ce@user/lucyy) (*.net *.split) |
| 2025-01-15 18:20:50 +0000 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (*.net *.split) |
| 2025-01-15 18:20:50 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (*.net *.split) |
| 2025-01-15 18:20:50 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (*.net *.split) |
| 2025-01-15 18:20:50 +0000 | jkoshy | (99b9359beb@user/jkoshy) (*.net *.split) |
| 2025-01-15 18:20:50 +0000 | jleightcap | (7bc4014b62@user/jleightcap) (*.net *.split) |
| 2025-01-15 18:20:50 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (*.net *.split) |
| 2025-01-15 18:20:50 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) (*.net *.split) |
| 2025-01-15 18:20:50 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (*.net *.split) |
| 2025-01-15 18:20:50 +0000 | GoldsteinQ | (~goldstein@goldstein.rs) (*.net *.split) |
| 2025-01-15 18:20:50 +0000 | danso | (~danso@user/danso) (*.net *.split) |
| 2025-01-15 18:20:50 +0000 | tolt | (~weechat-h@li219-154.members.linode.com) (*.net *.split) |
| 2025-01-15 18:20:51 +0000 | systemfault | (sid267009@about/typescript/member/systemfault) (*.net *.split) |
| 2025-01-15 18:20:51 +0000 | shachaf | (~shachaf@user/shachaf) (*.net *.split) |
| 2025-01-15 18:20:51 +0000 | e-snail | (~pete@user/e-snail) (*.net *.split) |
| 2025-01-15 18:20:51 +0000 | bjs | (sid190364@user/bjs) (*.net *.split) |
| 2025-01-15 18:20:51 +0000 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:51 +0000 | iphy | (sid67735@user/iphy) (*.net *.split) |
| 2025-01-15 18:20:51 +0000 | totbwf | (uid402332@id-402332.uxbridge.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:51 +0000 | energizer | (~energizer@user/energizer) (*.net *.split) |
| 2025-01-15 18:20:51 +0000 | carter | (sid14827@id-14827.helmsley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:51 +0000 | lisq | (~quassel@lis.moe) (*.net *.split) |
| 2025-01-15 18:20:51 +0000 | xnyhps | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (*.net *.split) |
| 2025-01-15 18:20:51 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) (*.net *.split) |
| 2025-01-15 18:20:51 +0000 | stefan-_ | (~cri@42dots.de) (*.net *.split) |
| 2025-01-15 18:20:51 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (*.net *.split) |
| 2025-01-15 18:20:51 +0000 | sawilagar | (~sawilagar@user/sawilagar) (*.net *.split) |
| 2025-01-15 18:20:52 +0000 | turlando | (~turlando@user/turlando) (*.net *.split) |
| 2025-01-15 18:20:52 +0000 | hellwolf | (~user@83f6-cc01-1ebf-4324-0f00-4d40-07d0-2001.sta.estpak.ee) (*.net *.split) |
| 2025-01-15 18:20:52 +0000 | swamp_ | (~zmt00@user/zmt00) (*.net *.split) |
| 2025-01-15 18:20:52 +0000 | Pozyomka | (~pyon@user/pyon) (*.net *.split) |
| 2025-01-15 18:20:52 +0000 | esph | (~weechat@user/esph) (*.net *.split) |
| 2025-01-15 18:20:52 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (*.net *.split) |
| 2025-01-15 18:20:52 +0000 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:53 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) (*.net *.split) |
| 2025-01-15 18:20:53 +0000 | Patternmaster | (~georg@user/Patternmaster) (*.net *.split) |
| 2025-01-15 18:20:53 +0000 | bw | (sid2730@user/betawaffle) (*.net *.split) |
| 2025-01-15 18:20:53 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split) |
| 2025-01-15 18:20:53 +0000 | barthandelous01 | (barth@triton.blinkenshell.org) (*.net *.split) |
| 2025-01-15 18:20:53 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
| 2025-01-15 18:20:53 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split) |
| 2025-01-15 18:20:53 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (*.net *.split) |
| 2025-01-15 18:20:53 +0000 | sm2n | (ae95cb1267@user/sm2n) (*.net *.split) |
| 2025-01-15 18:20:53 +0000 | titibandit | (e33ffbab65@user/titibandit) (*.net *.split) |
| 2025-01-15 18:20:53 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) (*.net *.split) |
| 2025-01-15 18:20:53 +0000 | rselim | (ce261f06ff@user/milesrout) (*.net *.split) |
| 2025-01-15 18:20:53 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (*.net *.split) |
| 2025-01-15 18:20:53 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (*.net *.split) |
| 2025-01-15 18:20:54 +0000 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) (*.net *.split) |
| 2025-01-15 18:20:54 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (*.net *.split) |
| 2025-01-15 18:20:54 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (*.net *.split) |
| 2025-01-15 18:20:54 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (*.net *.split) |
| 2025-01-15 18:20:54 +0000 | smiesner | (b0cf5acf8c@user/smiesner) (*.net *.split) |
| 2025-01-15 18:20:54 +0000 | hacklschorsch | (~flo@2a01:4f9:3a:2296::2) (*.net *.split) |
| 2025-01-15 18:20:54 +0000 | AWizzArd | (~code@user/awizzard) (*.net *.split) |
| 2025-01-15 18:20:54 +0000 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 2025-01-15 18:20:54 +0000 | Rembane | (~Rembane@user/Rembane) (*.net *.split) |
| 2025-01-15 18:20:54 +0000 | Hecate | (~mariposa@user/hecate) (*.net *.split) |
| 2025-01-15 18:20:54 +0000 | glguy | (glguy@libera/staff/glguy) (*.net *.split) |
| 2025-01-15 18:20:55 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (*.net *.split) |
| 2025-01-15 18:20:55 +0000 | rvalue | (~rvalue@user/rvalue) (*.net *.split) |
| 2025-01-15 18:20:55 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (*.net *.split) |
| 2025-01-15 18:20:55 +0000 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (*.net *.split) |
| 2025-01-15 18:20:55 +0000 | otto_s | (~user@p5b044c54.dip0.t-ipconnect.de) (*.net *.split) |
| 2025-01-15 18:20:55 +0000 | anpad | (~pandeyan@user/anpad) (*.net *.split) |
| 2025-01-15 18:20:55 +0000 | olivial | (~benjaminl@user/benjaminl) (*.net *.split) |
| 2025-01-15 18:20:55 +0000 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (*.net *.split) |
| 2025-01-15 18:20:55 +0000 | hiredman | (~hiredman@frontier1.downey.family) (*.net *.split) |
| 2025-01-15 18:20:55 +0000 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (*.net *.split) |
| 2025-01-15 18:20:55 +0000 | alfiee | (alfiee@user/alfiee) (*.net *.split) |
| 2025-01-15 18:20:56 +0000 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (*.net *.split) |
| 2025-01-15 18:20:56 +0000 | df | (~ben@justworks.xyz) (*.net *.split) |
| 2025-01-15 18:20:56 +0000 | tuxpaint | (~a@put.gay) (*.net *.split) |
| 2025-01-15 18:20:56 +0000 | Pent | (sid313808@id-313808.lymington.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:56 +0000 | dminuoso | (~weechat@user/dminuoso) (*.net *.split) |
| 2025-01-15 18:20:56 +0000 | albet70 | (~xxx@2400:8905::f03c:92ff:fe60:98d8) (*.net *.split) |
| 2025-01-15 18:20:56 +0000 | ell | (~ellie@user/ellie) (*.net *.split) |
| 2025-01-15 18:20:56 +0000 | res0nat0r0844909 | (~Fletch@falcon.whatbox.ca) (*.net *.split) |
| 2025-01-15 18:20:56 +0000 | natto | (~natto@129.154.243.159) (*.net *.split) |
| 2025-01-15 18:20:56 +0000 | dpk | (~dpk@jains.nonceword.org) (*.net *.split) |
| 2025-01-15 18:20:56 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split) |
| 2025-01-15 18:20:56 +0000 | Hafydd | (~Hafydd@user/hafydd) (*.net *.split) |
| 2025-01-15 18:20:56 +0000 | disconnect3d | (~disconnec@user/disconnect3d) (*.net *.split) |
| 2025-01-15 18:20:57 +0000 | jocke-l | (jocke-l@a.x0.is) (*.net *.split) |
| 2025-01-15 18:20:57 +0000 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
| 2025-01-15 18:20:57 +0000 | davl_ | (~davl@207.154.228.18) (*.net *.split) |
| 2025-01-15 18:20:57 +0000 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:57 +0000 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:57 +0000 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:57 +0000 | bailsman | (~ejrietvel@revspace/participant/bailsman) (*.net *.split) |
| 2025-01-15 18:20:57 +0000 | idnar | (sid12240@debian/mithrandi) (*.net *.split) |
| 2025-01-15 18:20:57 +0000 | integral | (sid296274@user/integral) (*.net *.split) |
| 2025-01-15 18:20:57 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (*.net *.split) |
| 2025-01-15 18:20:57 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (*.net *.split) |
| 2025-01-15 18:20:58 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (*.net *.split) |
| 2025-01-15 18:20:58 +0000 | m5zs7k | (aquares@web10.mydevil.net) (*.net *.split) |
| 2025-01-15 18:20:58 +0000 | forell | (~forell@user/forell) (*.net *.split) |
| 2025-01-15 18:20:58 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split) |
| 2025-01-15 18:20:58 +0000 | sim590 | (~simon@24-122-69-233.resi.cgocable.ca) (*.net *.split) |
| 2025-01-15 18:20:58 +0000 | tomku | (~tomku@user/tomku) (*.net *.split) |
| 2025-01-15 18:20:58 +0000 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:9be8:50a:7d0a:fa49) (*.net *.split) |
| 2025-01-15 18:20:58 +0000 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (*.net *.split) |
| 2025-01-15 18:20:58 +0000 | divya | (divya@140.238.251.170) (*.net *.split) |
| 2025-01-15 18:20:58 +0000 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (*.net *.split) |
| 2025-01-15 18:20:58 +0000 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) (*.net *.split) |
| 2025-01-15 18:20:58 +0000 | comonad | (~comonad@p200300d027182d00bcfd40be9d94d2dc.dip0.t-ipconnect.de) (*.net *.split) |
| 2025-01-15 18:20:59 +0000 | manwithluck | (~manwithlu@194.177.28.164) (*.net *.split) |
| 2025-01-15 18:20:59 +0000 | catties | (~catties@user/meow/catties) (*.net *.split) |
| 2025-01-15 18:20:59 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 2025-01-15 18:20:59 +0000 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (*.net *.split) |
| 2025-01-15 18:20:59 +0000 | anon9 | (~lockywolf@coconut.lockywolf.net) (*.net *.split) |
| 2025-01-15 18:20:59 +0000 | gAy_Dragon | (A_D@libera/staff/dragon) (*.net *.split) |
| 2025-01-15 18:20:59 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) (*.net *.split) |
| 2025-01-15 18:20:59 +0000 | eugenrh | (~eugenrh@user/eugenrh) (*.net *.split) |
| 2025-01-15 18:20:59 +0000 | hololeap | (~quassel@user/hololeap) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | Adran | (~adran@botters/adran) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | j1n37 | (~j1n37@user/j1n37) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | Digit | (~user@user/digit) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | tnt1 | (~Thunderbi@user/tnt1) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8310:6e2:3d63:5127) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | arahael | (~arahael@user/arahael) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | caconym | (~caconym@user/caconym) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | CrunchyFlakes_ | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | gorignak | (~gorignak@user/gorignak) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | tjbc | (~tjbc@user/fliife) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | mceresa | (~mceresa@user/mceresa) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | visilii | (~visilii@188.254.110.9) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | yushyin | (CinQEuz8mT@mail.karif.server-speed.net) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | noctuks | (MR7CNKXm0J@user/noctux) (*.net *.split) |
| 2025-01-15 18:21:00 +0000 | s4msung | (wBrkYH9KHh@user/s4msung) (*.net *.split) |
| 2025-01-15 18:21:01 +0000 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (*.net *.split) |
| 2025-01-15 18:21:01 +0000 | xal | (~xal@mx1.xal.systems) (*.net *.split) |
| 2025-01-15 18:21:01 +0000 | Vajb | (~Vajb@n84e9ei03jkqt6rm3ev-1.v6.elisa-mobile.fi) (*.net *.split) |
| 2025-01-15 18:21:01 +0000 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) (*.net *.split) |
| 2025-01-15 18:21:01 +0000 | DragonMaus | (~dragonmau@user/dragonmaus) (*.net *.split) |
| 2025-01-15 18:21:01 +0000 | haasn | (uid579015@id-579015.hampstead.irccloud.com) (*.net *.split) |
| 2025-01-15 18:21:01 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) (*.net *.split) |
| 2025-01-15 18:21:01 +0000 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) (*.net *.split) |
| 2025-01-15 18:21:01 +0000 | zfnmxt | (~zfnmxt@user/zfnmxt) (*.net *.split) |
| 2025-01-15 18:21:01 +0000 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) (*.net *.split) |
| 2025-01-15 18:21:01 +0000 | preflex | (~preflex@user/mauke/bot/preflex) (*.net *.split) |
| 2025-01-15 18:21:01 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | dumptruckman | (~dumptruck@66-175-211-75.ip.linodeusercontent.com) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | berberman | (~berberman@user/berberman) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | [_________] | (~oos95GWG@user/oos95GWG) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | Techcable | (sid534393@user/Techcable) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | enikar | (~enikar@user/enikar) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | fired | (LA@2600:3c00::f03c:92ff:fee3:aace) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | dispater | (~dispater@mail.brprice.uk) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | Aleksejs | (~Aleksejs@107.170.21.106) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | nonzen | (~nonzen@user/nonzen) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | pikajude | (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | xerox | (~edi@user/edi) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | She | (haveident@libera/staff/she/her) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | andjjj23 | (~irc@107.170.228.47) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | sclv | (sid39734@haskell/developer/sclv) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | jmct | (sid160793@id-160793.tinside.irccloud.com) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | alinab | (sid468903@id-468903.helmsley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | geekosaur | (sid609282@xmonad/geekosaur) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | bryanv | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | mmaruseacph2 | (~mihai@mihai.page) (*.net *.split) |
| 2025-01-15 18:21:02 +0000 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:21:03 +0000 | amir | (sid22336@user/amir) (*.net *.split) |
| 2025-01-15 18:21:03 +0000 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (*.net *.split) |
| 2025-01-15 18:21:03 +0000 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (*.net *.split) |
| 2025-01-15 18:21:03 +0000 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split) |
| 2025-01-15 18:21:03 +0000 | dsal | (sid13060@id-13060.lymington.irccloud.com) (*.net *.split) |
| 2025-01-15 18:21:03 +0000 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2025-01-15 18:21:03 +0000 | duckworld | (~duckworld@user/duckworld) (*.net *.split) |
| 2025-01-15 18:21:03 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split) |
| 2025-01-15 18:21:03 +0000 | alp | (~alp@2001:861:8ca0:4940:1e61:879a:b0ec:434f) (*.net *.split) |
| 2025-01-15 18:21:03 +0000 | EvanR | (~EvanR@user/evanr) (*.net *.split) |
| 2025-01-15 18:21:03 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) (*.net *.split) |
| 2025-01-15 18:21:03 +0000 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (*.net *.split) |
| 2025-01-15 18:21:03 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (*.net *.split) |
| 2025-01-15 18:21:04 +0000 | Pixi | (~Pixi@user/pixi) (*.net *.split) |
| 2025-01-15 18:21:04 +0000 | cheater | (~Username@user/cheater) (*.net *.split) |
| 2025-01-15 18:21:04 +0000 | Flow | (~none@gentoo/developer/flow) (*.net *.split) |
| 2025-01-15 18:21:04 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split) |
| 2025-01-15 18:21:04 +0000 | connrs | (~connrs@user/connrs) (*.net *.split) |
| 2025-01-15 18:21:04 +0000 | cjay | (cjay@nerdbox.nerd2nerd.org) (*.net *.split) |
| 2025-01-15 18:21:04 +0000 | igemnace | (~igemnace@user/igemnace) (*.net *.split) |
| 2025-01-15 18:21:04 +0000 | gawen | (~gawen@user/gawen) (*.net *.split) |
| 2025-01-15 18:21:04 +0000 | poscat | (~poscat@user/poscat) (*.net *.split) |
| 2025-01-15 18:21:04 +0000 | smtt | (smt@user/smtt) (*.net *.split) |
| 2025-01-15 18:21:04 +0000 | pointlessslippe- | (~pointless@62.106.85.17) (*.net *.split) |
| 2025-01-15 18:21:05 +0000 | Logio | (em@kapsi.fi) (*.net *.split) |
| 2025-01-15 18:21:05 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 2025-01-15 18:21:05 +0000 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (*.net *.split) |
| 2025-01-15 18:21:05 +0000 | hook54321 | (sid149355@user/hook54321) (*.net *.split) |
| 2025-01-15 18:21:05 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
| 2025-01-15 18:21:05 +0000 | auri | (~auri@fsf/member/auri) (*.net *.split) |
| 2025-01-15 18:21:05 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) (*.net *.split) |
| 2025-01-15 18:21:05 +0000 | Dykam | (Dykam@dykam.nl) (*.net *.split) |
| 2025-01-15 18:21:06 +0000 | Moyst__ | (~moyst@user/moyst) (*.net *.split) |
| 2025-01-15 18:21:06 +0000 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2025-01-15 18:21:06 +0000 | ggVGc | (~ggVGc@a.lowtech.earth) (*.net *.split) |
| 2025-01-15 18:21:06 +0000 | ChanServ | (ChanServ@services.libera.chat) (*.net *.split) |
| 2025-01-15 18:21:49 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-01-15 18:21:49 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-15 18:21:49 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) eL_Bart0 |
| 2025-01-15 18:21:49 +0000 | jespada | (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) jespada |
| 2025-01-15 18:21:49 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-15 18:21:49 +0000 | akegalj | (~akegalj@142-231.dsl.iskon.hr) |
| 2025-01-15 18:21:49 +0000 | Guest12 | (~Guest12@94.7.192.138) |
| 2025-01-15 18:21:49 +0000 | aku | (aku@65.108.245.241) eagleflo |
| 2025-01-15 18:21:49 +0000 | Igloo | (~ian@81.2.99.210) Igfoo |
| 2025-01-15 18:21:49 +0000 | Guest78 | (~Guest78@37.228.251.150) |
| 2025-01-15 18:21:49 +0000 | sprotte24 | (~sprotte24@p200300d16f35c200f4f310a9fb58ced0.dip0.t-ipconnect.de) |
| 2025-01-15 18:21:49 +0000 | euleritian | (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de) |
| 2025-01-15 18:21:49 +0000 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-01-15 18:21:49 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-15 18:21:49 +0000 | alp | (~alp@2001:861:8ca0:4940:1e61:879a:b0ec:434f) |
| 2025-01-15 18:21:49 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
| 2025-01-15 18:21:49 +0000 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) ft |
| 2025-01-15 18:21:49 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-15 18:21:49 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-15 18:21:49 +0000 | swistak | (~swistak@185.21.216.141) |
| 2025-01-15 18:21:49 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-15 18:21:49 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq |
| 2025-01-15 18:21:49 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-01-15 18:21:49 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-15 18:21:49 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-15 18:21:49 +0000 | Digit | (~user@user/digit) Digit |
| 2025-01-15 18:21:49 +0000 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-15 18:21:49 +0000 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-01-15 18:21:49 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-15 18:21:49 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-15 18:21:49 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8310:6e2:3d63:5127) |
| 2025-01-15 18:21:49 +0000 | Typedfern | (~Typedfern@85.red-83-37-40.dynamicip.rima-tde.net) typedfern |
| 2025-01-15 18:21:49 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-15 18:21:49 +0000 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
| 2025-01-15 18:21:49 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-15 18:21:49 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-15 18:21:49 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-15 18:21:49 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2025-01-15 18:21:49 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-15 18:21:49 +0000 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-15 18:21:49 +0000 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-01-15 18:21:49 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-15 18:21:49 +0000 | xdej | (~xdej@quatramaran.salle-s.org) xdej |
| 2025-01-15 18:21:49 +0000 | reidrac | (~reidrac@user/reidrac) reidrac |
| 2025-01-15 18:21:49 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-15 18:21:49 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-01-15 18:21:49 +0000 | foul_owl | (~kerry@193.42.0.126) foul_owl |
| 2025-01-15 18:21:49 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-01-15 18:21:49 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-15 18:21:49 +0000 | michalz | (~michalz@185.246.207.203) michalz |
| 2025-01-15 18:21:49 +0000 | CrunchyFlakes_ | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) |
| 2025-01-15 18:21:49 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-15 18:21:49 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-01-15 18:21:49 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-15 18:21:49 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-01-15 18:21:49 +0000 | otto_s | (~user@p5b044c54.dip0.t-ipconnect.de) |
| 2025-01-15 18:21:49 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-15 18:21:49 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-01-15 18:21:49 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:90eb:bd2f:bbf5:f0d8) jle` |
| 2025-01-15 18:21:49 +0000 | hsw_ | (~hsw@112-104-8-145.adsl.dynamic.seed.net.tw) hsw |
| 2025-01-15 18:21:49 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2025-01-15 18:21:49 +0000 | int-e | (~noone@int-e.eu) int-e |
| 2025-01-15 18:21:49 +0000 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-01-15 18:21:49 +0000 | nicole | (ilbelkyr@libera/staff/ilbelkyr) ilbelkyr |
| 2025-01-15 18:21:49 +0000 | bionade24 | (~quassel@2a03:4000:33:45b::1) bionade24 |
| 2025-01-15 18:21:49 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-15 18:21:49 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-01-15 18:21:49 +0000 | inedia | (~irc@2600:3c00:e000:287::1) dove |
| 2025-01-15 18:21:49 +0000 | turlando | (~turlando@user/turlando) turlando |
| 2025-01-15 18:21:49 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-15 18:21:49 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-01-15 18:21:49 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-15 18:21:49 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-01-15 18:21:49 +0000 | tjbc | (~tjbc@user/fliife) fliife |
| 2025-01-15 18:21:49 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2025-01-15 18:21:49 +0000 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) Tuplanolla |
| 2025-01-15 18:21:49 +0000 | tv | (~tv@user/tv) tv |
| 2025-01-15 18:21:49 +0000 | AlexZenon | (~alzenon@178.34.163.23) |
| 2025-01-15 18:21:49 +0000 | AlexNoo | (~AlexNoo@178.34.163.23) |
| 2025-01-15 18:21:49 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-01-15 18:21:49 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2025-01-15 18:21:49 +0000 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-01-15 18:21:49 +0000 | ol0ck | (~quassel@user/ol0ck) ol0ck |
| 2025-01-15 18:21:49 +0000 | hawer | (~newyear@2.219.56.221) |
| 2025-01-15 18:21:49 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) doyougnu |
| 2025-01-15 18:21:49 +0000 | avidseeker | (av@user/avidseeker) avidseeker |
| 2025-01-15 18:21:49 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-01-15 18:21:49 +0000 | img | (~img@user/img) img |
| 2025-01-15 18:21:49 +0000 | Goodbye_Vincent1 | (cyvahl@freakshells.net) Goodbye_Vincent |
| 2025-01-15 18:21:49 +0000 | mzg | (mzg@abusers.hu) |
| 2025-01-15 18:21:49 +0000 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) tdammers |
| 2025-01-15 18:21:49 +0000 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-01-15 18:21:49 +0000 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-01-15 18:21:49 +0000 | erbium.libera.chat | +vv lambdabot haskellbridge |
| 2025-01-15 18:21:49 +0000 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) sprout |
| 2025-01-15 18:21:49 +0000 | jathan | (~jathan@69.61.93.38) jathan |
| 2025-01-15 18:21:49 +0000 | ycp | (~znc@user/dragestil) dragestil |
| 2025-01-15 18:21:49 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2025-01-15 18:21:49 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-01-15 18:21:49 +0000 | nurupo | (~nurupo.ga@user/nurupo) nurupo |
| 2025-01-15 18:21:49 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2025-01-15 18:21:49 +0000 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
| 2025-01-15 18:21:49 +0000 | stilgart | (~Christoph@chezlefab.net) stilgart |
| 2025-01-15 18:21:49 +0000 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-01-15 18:21:49 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2025-01-15 18:21:49 +0000 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) migas |
| 2025-01-15 18:21:49 +0000 | zero | (~z@user/zero) zero |
| 2025-01-15 18:21:49 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-01-15 18:21:49 +0000 | Me-me | (~me-me@user/me-me) Me-me |
| 2025-01-15 18:21:49 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-15 18:21:49 +0000 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-01-15 18:21:49 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-01-15 18:21:49 +0000 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-01-15 18:21:49 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) sciencentistguy |
| 2025-01-15 18:21:49 +0000 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-01-15 18:21:49 +0000 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-01-15 18:21:49 +0000 | JamesMowery439 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-01-15 18:21:49 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-15 18:21:49 +0000 | rini | (~rini@user/rini) rini |
| 2025-01-15 18:21:49 +0000 | ftzm | (~ftzm@085081033150.dynamic.telenor.dk) ftzm |
| 2025-01-15 18:21:49 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-01-15 18:21:49 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2025-01-15 18:21:49 +0000 | Guest1364 | (~user@2601:644:937c:ed10::ae5) |
| 2025-01-15 18:21:49 +0000 | forell | (~forell@user/forell) forell |
| 2025-01-15 18:21:49 +0000 | califax | (~califax@user/califx) califx |
| 2025-01-15 18:21:49 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-01-15 18:21:49 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2025-01-15 18:21:49 +0000 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-01-15 18:21:49 +0000 | raym | (~ray@user/raym) raym |
| 2025-01-15 18:21:49 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2025-01-15 18:21:49 +0000 | hellwolf | (~user@83f6-cc01-1ebf-4324-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-01-15 18:21:49 +0000 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-01-15 18:21:49 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-01-15 18:21:49 +0000 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
| 2025-01-15 18:21:49 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2025-01-15 18:21:49 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-01-15 18:21:49 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-01-15 18:21:49 +0000 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-01-15 18:21:49 +0000 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2025-01-15 18:21:49 +0000 | duckworld | (~duckworld@user/duckworld) duckworld |
| 2025-01-15 18:21:49 +0000 | sim590 | (~simon@24-122-69-233.resi.cgocable.ca) sim590 |
| 2025-01-15 18:21:49 +0000 | erbium.libera.chat | +v yahb2 |
| 2025-01-15 18:21:49 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2025-01-15 18:21:49 +0000 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-01-15 18:21:49 +0000 | troydm | (~troydm@user/troydm) troydm |
| 2025-01-15 18:21:49 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) mhatta |
| 2025-01-15 18:21:49 +0000 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2025-01-15 18:21:49 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-01-15 18:21:49 +0000 | cheater | (~Username@user/cheater) cheater |
| 2025-01-15 18:21:49 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-01-15 18:21:49 +0000 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-01-15 18:21:49 +0000 | FragByte | (~christian@user/fragbyte) FragByte |
| 2025-01-15 18:21:49 +0000 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 2025-01-15 18:21:49 +0000 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-01-15 18:21:49 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-01-15 18:21:49 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-01-15 18:21:49 +0000 | kimiamania | (~65804703@user/kimiamania) kimiamania |
| 2025-01-15 18:21:49 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-01-15 18:21:49 +0000 | swamp_ | (~zmt00@user/zmt00) zmt00 |
| 2025-01-15 18:21:49 +0000 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-01-15 18:21:49 +0000 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2025-01-15 18:21:49 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-01-15 18:21:49 +0000 | sabathan | (~sabathan@acaen-652-1-335-197.w83-115.abo.wanadoo.fr) |
| 2025-01-15 18:21:49 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-01-15 18:21:49 +0000 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-01-15 18:21:49 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-01-15 18:21:49 +0000 | visilii | (~visilii@188.254.110.9) |
| 2025-01-15 18:21:49 +0000 | yushyin | (CinQEuz8mT@mail.karif.server-speed.net) yushyin |
| 2025-01-15 18:21:49 +0000 | s4msung | (wBrkYH9KHh@user/s4msung) s4msung |
| 2025-01-15 18:21:49 +0000 | noctuks | (MR7CNKXm0J@user/noctux) noctux |
| 2025-01-15 18:21:49 +0000 | byorgey | (~byorgey@user/byorgey) byorgey |
| 2025-01-15 18:21:49 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-01-15 18:21:49 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:794b:ce9f:2a3d:41ae) jcarpenter2 |
| 2025-01-15 18:21:49 +0000 | esph | (~weechat@user/esph) esph |
| 2025-01-15 18:21:49 +0000 | connrs | (~connrs@user/connrs) connrs |
| 2025-01-15 18:21:49 +0000 | cjay | (cjay@nerdbox.nerd2nerd.org) cjay |
| 2025-01-15 18:21:49 +0000 | plitter | (~plitter@user/plitter) plitter |
| 2025-01-15 18:21:49 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-01-15 18:21:49 +0000 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:9be8:50a:7d0a:fa49) fun-safe-math |
| 2025-01-15 18:21:49 +0000 | yaroot | (~yaroot@p3031163-ipngn4701souka.saitama.ocn.ne.jp) yaroot |
| 2025-01-15 18:21:49 +0000 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) tomsmeding |
| 2025-01-15 18:21:49 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) hughjfchen |
| 2025-01-15 18:21:49 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-01-15 18:21:49 +0000 | m1dnight_ | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2025-01-15 18:21:49 +0000 | kaskal | (~kaskal@84-115-237-124.cable.dynamic.surfer.at) kaskal |
| 2025-01-15 18:21:49 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-01-15 18:21:49 +0000 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2025-01-15 18:21:49 +0000 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) drdo |
| 2025-01-15 18:21:49 +0000 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2025-01-15 18:21:49 +0000 | erbium.libera.chat | +o tomsmeding |
| 2025-01-15 18:21:49 +0000 | andreas303 | (andreas303@is.drunk.and.ready-to.party) andreas303 |
| 2025-01-15 18:21:49 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-01-15 18:21:49 +0000 | emergence | (emergence@vm0.max-p.me) emergence |
| 2025-01-15 18:21:49 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-01-15 18:21:49 +0000 | urdh | (~urdh@user/urdh) urdh |
| 2025-01-15 18:21:49 +0000 | mulk | (~mulk@p5b112493.dip0.t-ipconnect.de) mulk |
| 2025-01-15 18:21:49 +0000 | divya | (divya@140.238.251.170) divya |
| 2025-01-15 18:21:49 +0000 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) Natch |
| 2025-01-15 18:21:49 +0000 | iteratee | (~kyle@162.218.222.207) iteratee |
| 2025-01-15 18:21:49 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) welterde |
| 2025-01-15 18:21:49 +0000 | spew | (~spew@135.233.119.40) spew |
| 2025-01-15 18:21:49 +0000 | mjrosenb | (~mjrosenb@70.18.10.118) |
| 2025-01-15 18:21:49 +0000 | gawen | (~gawen@user/gawen) gawen |
| 2025-01-15 18:21:49 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2025-01-15 18:21:49 +0000 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2025-01-15 18:21:49 +0000 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) bsima |
| 2025-01-15 18:21:49 +0000 | taleseeker | (~taleseeke@user/taleseeker) taleseeker |
| 2025-01-15 18:21:49 +0000 | alfiee | (alfiee@user/alfiee) alfiee |
| 2025-01-15 18:21:49 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-15 18:21:49 +0000 | johnjaye | (~pi@syn-035-146-235-019.res.spectrum.com) johnjaye |
| 2025-01-15 18:21:49 +0000 | shane | (~shane@ana.rch.ist) |
| 2025-01-15 18:21:49 +0000 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2025-01-15 18:21:49 +0000 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2025-01-15 18:21:49 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) kritzefitz |
| 2025-01-15 18:21:49 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
| 2025-01-15 18:21:49 +0000 | Vajb | (~Vajb@n84e9ei03jkqt6rm3ev-1.v6.elisa-mobile.fi) |
| 2025-01-15 18:21:49 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-01-15 18:21:49 +0000 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2025-01-15 18:21:49 +0000 | smtt | (smt@user/smtt) smtt |
| 2025-01-15 18:21:49 +0000 | krjst | (~krjst@2604:a880:800:c1::16b:8001) krjst |
| 2025-01-15 18:21:49 +0000 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) |
| 2025-01-15 18:21:49 +0000 | unlucy | (sid572875@user/unlucy) unlucy |
| 2025-01-15 18:21:49 +0000 | rembo10_ | (~rembo10@main.remulis.com) |
| 2025-01-15 18:21:49 +0000 | mesaoptimizer | (~mesa@user/PapuaHardyNet) PapuaHardyNet |
| 2025-01-15 18:21:49 +0000 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) thatonelutenist |
| 2025-01-15 18:21:49 +0000 | comonad | (~comonad@p200300d027182d00bcfd40be9d94d2dc.dip0.t-ipconnect.de) |
| 2025-01-15 18:21:49 +0000 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2025-01-15 18:21:49 +0000 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) nschoe |
| 2025-01-15 18:21:49 +0000 | adamCS | (~adamCS@68.161.167.240) adamCS |
| 2025-01-15 18:21:49 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2025-01-15 18:21:49 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-01-15 18:21:49 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-01-15 18:21:49 +0000 | Patternmaster | (~georg@user/Patternmaster) Patternmaster |
| 2025-01-15 18:21:49 +0000 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) |
| 2025-01-15 18:21:49 +0000 | ridcully | (~ridcully@p57b52ec2.dip0.t-ipconnect.de) ridcully |
| 2025-01-15 18:21:49 +0000 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) jonrh |
| 2025-01-15 18:21:49 +0000 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) PotatoGim |
| 2025-01-15 18:21:49 +0000 | rubin55 | (sid666177@id-666177.lymington.irccloud.com) rubin55 |
| 2025-01-15 18:21:49 +0000 | snek | (sid280155@id-280155.lymington.irccloud.com) snek |
| 2025-01-15 18:21:49 +0000 | cbarrett | (uid192934@id-192934.helmsley.irccloud.com) cbarrett |
| 2025-01-15 18:21:49 +0000 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) loonycyborg |
| 2025-01-15 18:21:49 +0000 | red-snail | (~red-snail@static.151.210.203.116.clients.your-server.de) red-snail |
| 2025-01-15 18:21:49 +0000 | noctux | (~noctux@user/noctux) noctux |
| 2025-01-15 18:21:49 +0000 | jjhoo | (~jahakala@user/jjhoo) jjhoo |
| 2025-01-15 18:21:49 +0000 | sudden | (~cat@user/sudden) sudden |
| 2025-01-15 18:21:49 +0000 | pointlessslippe- | (~pointless@62.106.85.17) |
| 2025-01-15 18:21:49 +0000 | catties | (~catties@user/meow/catties) catties |
| 2025-01-15 18:21:49 +0000 | hc | (~hc@mail.hce.li) hc |
| 2025-01-15 18:21:49 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) bheesham |
| 2025-01-15 18:21:49 +0000 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-01-15 18:21:49 +0000 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2025-01-15 18:21:49 +0000 | sefidel | (~sefidel@user/sefidel) sefidel |
| 2025-01-15 18:21:49 +0000 | monochrom | (trebla@216.138.220.146) monochrom |
| 2025-01-15 18:21:49 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
| 2025-01-15 18:21:49 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-01-15 18:21:49 +0000 | Yumemi | (~Yumemi@chamoin.net) Yumemi |
| 2025-01-15 18:21:49 +0000 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-01-15 18:21:49 +0000 | haasn | (uid579015@id-579015.hampstead.irccloud.com) haasn |
| 2025-01-15 18:21:49 +0000 | Logio | (em@kapsi.fi) Logio |
| 2025-01-15 18:21:49 +0000 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) darkling |
| 2025-01-15 18:21:49 +0000 | dunj3 | (~dunj3@h1765027.stratoserver.net) dunj3 |
| 2025-01-15 18:21:49 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-01-15 18:21:49 +0000 | ByronJohnson | (~bairyn@50.250.232.19) ByronJohnson |
| 2025-01-15 18:21:49 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2025-01-15 18:21:49 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) sa |
| 2025-01-15 18:21:49 +0000 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) dmj` |
| 2025-01-15 18:21:49 +0000 | chymera | (~chymera@ns1000526.ip-51-81-46.us) chymera |
| 2025-01-15 18:21:49 +0000 | bw | (sid2730@user/betawaffle) betawaffle |
| 2025-01-15 18:21:49 +0000 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2025-01-15 18:21:49 +0000 | lally | (sid388228@id-388228.uxbridge.irccloud.com) lally |
| 2025-01-15 18:21:49 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2025-01-15 18:21:49 +0000 | myme | (~myme@40.51-175-185.customer.lyse.net) myme |
| 2025-01-15 18:21:49 +0000 | ent- | (entgod@kapsi.fi) ent |
| 2025-01-15 18:21:49 +0000 | df | (~ben@justworks.xyz) df |
| 2025-01-15 18:21:49 +0000 | haveo_ | (~weechat@pacamara.iuwt.fr) haveo |
| 2025-01-15 18:21:49 +0000 | _koolazer | (~koo@user/koolazer) koolazer |
| 2025-01-15 18:21:49 +0000 | carbolymer | (~carbolyme@dropacid.net) carbolymer |
| 2025-01-15 18:21:49 +0000 | Pent | (sid313808@id-313808.lymington.irccloud.com) Pent____ |
| 2025-01-15 18:21:49 +0000 | tuxpaint | (~a@put.gay) firesquidwao |
| 2025-01-15 18:21:49 +0000 | wryishly | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) |
| 2025-01-15 18:21:49 +0000 | tritlo | (sid58727@id-58727.hampstead.irccloud.com) |
| 2025-01-15 18:21:49 +0000 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-01-15 18:21:49 +0000 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) barrucadu |
| 2025-01-15 18:21:49 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
| 2025-01-15 18:21:49 +0000 | ski | (~ski@remote11.chalmers.se) ski |
| 2025-01-15 18:21:49 +0000 | anon9 | (~lockywolf@coconut.lockywolf.net) lockywolf |
| 2025-01-15 18:21:49 +0000 | meooow | (~meooow@2400:6180:100:d0::ad9:e001) meooow |
| 2025-01-15 18:21:49 +0000 | dminuoso | (~weechat@user/dminuoso) dminuoso |
| 2025-01-15 18:21:49 +0000 | gAy_Dragon | (A_D@libera/staff/dragon) ad |
| 2025-01-15 18:21:49 +0000 | mniip | (mniip@libera/staff/mniip) mniip |
| 2025-01-15 18:21:49 +0000 | albet70 | (~xxx@2400:8905::f03c:92ff:fe60:98d8) albet70 |
| 2025-01-15 18:21:49 +0000 | ell | (~ellie@user/ellie) ellie |
| 2025-01-15 18:21:49 +0000 | integral | (sid296274@user/integral) integral |
| 2025-01-15 18:21:49 +0000 | idnar | (sid12240@debian/mithrandi) idnar |
| 2025-01-15 18:21:49 +0000 | bailsman | (~ejrietvel@revspace/participant/bailsman) bailsman |
| 2025-01-15 18:21:49 +0000 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) sa1 |
| 2025-01-15 18:21:49 +0000 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) shawwwn |
| 2025-01-15 18:21:49 +0000 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) coldmountain |
| 2025-01-15 18:21:49 +0000 | davl_ | (~davl@207.154.228.18) davl |
| 2025-01-15 18:21:49 +0000 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) Hobbyboy |
| 2025-01-15 18:21:49 +0000 | jocke-l | (jocke-l@a.x0.is) jocke-l |
| 2025-01-15 18:21:49 +0000 | disconnect3d | (~disconnec@user/disconnect3d) disconnect3d |
| 2025-01-15 18:21:49 +0000 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2025-01-15 18:21:49 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
| 2025-01-15 18:21:49 +0000 | dpk | (~dpk@jains.nonceword.org) dpk |
| 2025-01-15 18:21:49 +0000 | natto | (~natto@129.154.243.159) natto |
| 2025-01-15 18:21:49 +0000 | res0nat0r0844909 | (~Fletch@falcon.whatbox.ca) |
| 2025-01-15 18:21:49 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-01-15 18:21:49 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2025-01-15 18:21:49 +0000 | _________ | (~nobody@user/noodly) _________ |
| 2025-01-15 18:21:49 +0000 | end | (~end@user/end/x-0094621) end^ |
| 2025-01-15 18:21:49 +0000 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-01-15 18:21:49 +0000 | hook54321 | (sid149355@user/hook54321) hook54321 |
| 2025-01-15 18:21:49 +0000 | sus0 | (zero@user/zeromomentum) zeromomentum |
| 2025-01-15 18:21:49 +0000 | srk | (~sorki@user/srk) srk |
| 2025-01-15 18:21:49 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-01-15 18:21:49 +0000 | auri | (~auri@fsf/member/auri) auri |
| 2025-01-15 18:21:49 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) |
| 2025-01-15 18:21:49 +0000 | piele | (~piele@tbonesteak.creativeserver.net) piele |
| 2025-01-15 18:21:49 +0000 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) |
| 2025-01-15 18:21:49 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-01-15 18:21:49 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) earthy |
| 2025-01-15 18:21:49 +0000 | haetsal | (~quassel@221.138.168.192) |
| 2025-01-15 18:21:49 +0000 | thaumavorio | (~thaumavor@thaumavor.io) thaumavorio |
| 2025-01-15 18:21:49 +0000 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
| 2025-01-15 18:21:49 +0000 | barthandelous01 | (barth@triton.blinkenshell.org) barthandelous01 |
| 2025-01-15 18:21:49 +0000 | Dykam | (Dykam@dykam.nl) Dykam |
| 2025-01-15 18:21:49 +0000 | tamer | (~tamer@user/tamer) tamer |
| 2025-01-15 18:21:49 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) wz1000 |
| 2025-01-15 18:21:49 +0000 | meejah | (~meejah@rutas.meejah.ca) meejah |
| 2025-01-15 18:21:49 +0000 | Clint | (~Clint@user/clint) Clint |
| 2025-01-15 18:21:49 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-15 18:21:49 +0000 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2025-01-15 18:21:49 +0000 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) SanchayanMaity |
| 2025-01-15 18:21:49 +0000 | joeyh_ | (~joeyh@kitenet.net) |
| 2025-01-15 18:21:49 +0000 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
| 2025-01-15 18:21:49 +0000 | arkeet | (~arkeet@moriya.ca) arkeet |
| 2025-01-15 18:21:49 +0000 | jackdk | (sid373013@cssa/jackdk) jackdk |
| 2025-01-15 18:21:49 +0000 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) b20n |
| 2025-01-15 18:21:49 +0000 | degraafk | (sid71464@id-71464.lymington.irccloud.com) degraafk |
| 2025-01-15 18:21:49 +0000 | dy | (sid3438@user/dy) \\\\\ |
| 2025-01-15 18:21:49 +0000 | edwardk | (sid47016@haskell/developer/edwardk) edwardk |
| 2025-01-15 18:21:49 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-01-15 18:21:49 +0000 | hammond | (proscan@gateway04.insomnia247.nl) |
| 2025-01-15 18:21:49 +0000 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) rncwnd |
| 2025-01-15 18:21:49 +0000 | pounce | (~pounce@user/cute/pounce) pounce |
| 2025-01-15 18:21:49 +0000 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) simendsjo |
| 2025-01-15 18:21:49 +0000 | tokie | (~tokie@user/strtok) strtok |
| 2025-01-15 18:21:49 +0000 | pierrot | (~pi@user/pierrot) pierrot |
| 2025-01-15 18:21:49 +0000 | APic | (apic@apic.name) APic |
| 2025-01-15 18:21:49 +0000 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) fernando-basso |
| 2025-01-15 18:21:49 +0000 | eugenrh | (~eugenrh@user/eugenrh) eugenrh |
| 2025-01-15 18:21:49 +0000 | n3t | (~n3t@user/n3t) n3t |
| 2025-01-15 18:21:49 +0000 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2025-01-15 18:21:49 +0000 | bramh | (~bramh@user/bramh) bramh |
| 2025-01-15 18:21:49 +0000 | hololeap | (~quassel@user/hololeap) hololeap |
| 2025-01-15 18:21:49 +0000 | xacktm | (xacktm@user/xacktm) xacktm |
| 2025-01-15 18:21:49 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2025-01-15 18:21:49 +0000 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2025-01-15 18:21:49 +0000 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2025-01-15 18:21:49 +0000 | Adran | (~adran@botters/adran) Adran |
| 2025-01-15 18:21:49 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) NiKaN |
| 2025-01-15 18:21:49 +0000 | Athas | (athas@sigkill.dk) Athas |
| 2025-01-15 18:21:49 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) mcfrdy |
| 2025-01-15 18:21:49 +0000 | RMSBach | (~guygastin@137.184.131.156) RMSBach |
| 2025-01-15 18:21:49 +0000 | cross | (~cross@spitfire.i.gajendra.net) cross |
| 2025-01-15 18:21:49 +0000 | tired- | (~tired@user/tired) tired |
| 2025-01-15 18:21:49 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2025-01-15 18:21:49 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) chaitlatte0 |
| 2025-01-15 18:21:49 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) jeso |
| 2025-01-15 18:21:49 +0000 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) henrytill |
| 2025-01-15 18:21:49 +0000 | lucyy | (228ee8f0ce@user/lucyy) lucyy |
| 2025-01-15 18:21:49 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
| 2025-01-15 18:21:49 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2025-01-15 18:21:49 +0000 | jleightcap | (7bc4014b62@user/jleightcap) jleightcap |
| 2025-01-15 18:21:49 +0000 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
| 2025-01-15 18:21:49 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
| 2025-01-15 18:21:49 +0000 | titibandit | (e33ffbab65@user/titibandit) titibandit |
| 2025-01-15 18:21:49 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) ursa-major |
| 2025-01-15 18:21:49 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) fvr |
| 2025-01-15 18:21:49 +0000 | sm2n | (ae95cb1267@user/sm2n) sm2n |
| 2025-01-15 18:21:49 +0000 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2025-01-15 18:21:49 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o |
| 2025-01-15 18:21:49 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2025-01-15 18:21:49 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
| 2025-01-15 18:21:49 +0000 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2025-01-15 18:21:49 +0000 | sus | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2025-01-15 18:21:49 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) raghavgururajan |
| 2025-01-15 18:21:49 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2025-01-15 18:21:49 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2025-01-15 18:21:49 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) aniketd |
| 2025-01-15 18:21:49 +0000 | jakzale | (6291399afa@user/jakzale) jakzale |
| 2025-01-15 18:21:49 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone |
| 2025-01-15 18:21:49 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2025-01-15 18:21:49 +0000 | probie | (cc0b34050a@user/probie) probie |
| 2025-01-15 18:21:49 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2025-01-15 18:21:49 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2025-01-15 18:21:49 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) lane |
| 2025-01-15 18:21:49 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2025-01-15 18:21:49 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2025-01-15 18:21:49 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2025-01-15 18:21:49 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2025-01-15 18:21:49 +0000 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) fgaz |
| 2025-01-15 18:21:49 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2025-01-15 18:21:49 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) evanrelf |
| 2025-01-15 18:21:49 +0000 | smiesner | (b0cf5acf8c@user/smiesner) smiesner |
| 2025-01-15 18:21:49 +0000 | hacklschorsch | (~flo@2a01:4f9:3a:2296::2) |
| 2025-01-15 18:21:49 +0000 | glider | (glider@user/glider) glider |
| 2025-01-15 18:21:49 +0000 | mikko | (~mikko@user/mikko) mikko |
| 2025-01-15 18:21:49 +0000 | dfg | (~dfg@user/dfg) dfg |
| 2025-01-15 18:21:49 +0000 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) Kamuela |
| 2025-01-15 18:21:49 +0000 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) bastelfreak |
| 2025-01-15 18:21:49 +0000 | fr33domlover | (~fr33domlo@towards.vision) fr33domlover |
| 2025-01-15 18:21:49 +0000 | dumptruckman | (~dumptruck@66-175-211-75.ip.linodeusercontent.com) dumptruckman |
| 2025-01-15 18:21:49 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2025-01-15 18:21:49 +0000 | astroanax | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) astroanax |
| 2025-01-15 18:21:49 +0000 | ChanServ | (ChanServ@services.libera.chat) |
| 2025-01-15 18:21:49 +0000 | orcus | (~orcus@mail.brprice.uk) |
| 2025-01-15 18:21:49 +0000 | nckx | (nckx@libera/staff/owl/nckx) nckx |
| 2025-01-15 18:21:49 +0000 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2025-01-15 18:21:49 +0000 | Moyst__ | (~moyst@user/moyst) Moyst |
| 2025-01-15 18:21:49 +0000 | c_wraith | (~c_wraith@adjoint.us) c_wraith |
| 2025-01-15 18:21:49 +0000 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2025-01-15 18:21:49 +0000 | jess | (meow@libera/staff/cat/jess) jess |
| 2025-01-15 18:21:49 +0000 | enikar | (~enikar@user/enikar) enikar |
| 2025-01-15 18:21:49 +0000 | erbium.libera.chat | +o ChanServ |
| 2025-01-15 18:21:49 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) absence |
| 2025-01-15 18:21:49 +0000 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
| 2025-01-15 18:21:49 +0000 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
| 2025-01-15 18:21:49 +0000 | fired | (LA@2600:3c00::f03c:92ff:fee3:aace) |
| 2025-01-15 18:21:49 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) Jonno_FTW |
| 2025-01-15 18:21:49 +0000 | dispater | (~dispater@mail.brprice.uk) |
| 2025-01-15 18:21:49 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) alanz |
| 2025-01-15 18:21:49 +0000 | Aleksejs | (~Aleksejs@107.170.21.106) aleksejs |
| 2025-01-15 18:21:49 +0000 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) |
| 2025-01-15 18:21:49 +0000 | nonzen | (~nonzen@user/nonzen) nonzen |
| 2025-01-15 18:21:49 +0000 | pikajude | (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) pikajude |
| 2025-01-15 18:21:49 +0000 | xerox | (~edi@user/edi) edi |
| 2025-01-15 18:21:49 +0000 | mmaruseacph2 | (~mihai@mihai.page) mmaruseacph2 |
| 2025-01-15 18:21:49 +0000 | bryanv | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) |
| 2025-01-15 18:21:49 +0000 | geekosaur | (sid609282@xmonad/geekosaur) geekosaur |
| 2025-01-15 18:21:49 +0000 | alinab | (sid468903@id-468903.helmsley.irccloud.com) alinab |
| 2025-01-15 18:21:49 +0000 | jmct | (sid160793@id-160793.tinside.irccloud.com) jmct |
| 2025-01-15 18:21:49 +0000 | sclv | (sid39734@haskell/developer/sclv) sclv |
| 2025-01-15 18:21:49 +0000 | andjjj23 | (~irc@107.170.228.47) andjjj23 |
| 2025-01-15 18:21:49 +0000 | She | (haveident@libera/staff/she/her) She |
| 2025-01-15 18:21:49 +0000 | dsal | (sid13060@id-13060.lymington.irccloud.com) dsal |
| 2025-01-15 18:21:49 +0000 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) |
| 2025-01-15 18:21:49 +0000 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) S11001001 |
| 2025-01-15 18:21:49 +0000 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) lexi-lambda |
| 2025-01-15 18:21:49 +0000 | amir | (sid22336@user/amir) amir |
| 2025-01-15 18:21:49 +0000 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2025-01-15 18:21:49 +0000 | AWizzArd | (~code@user/awizzard) AWizzard |
| 2025-01-15 18:21:49 +0000 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) TimWolla |
| 2025-01-15 18:21:49 +0000 | Rembane | (~Rembane@user/Rembane) Rembane |
| 2025-01-15 18:21:49 +0000 | Hecate | (~mariposa@user/hecate) Hecate |
| 2025-01-15 18:21:49 +0000 | e-snail | (~pete@user/e-snail) e-snail |
| 2025-01-15 18:21:49 +0000 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2025-01-15 18:21:49 +0000 | danso | (~danso@user/danso) danso |
| 2025-01-15 18:21:49 +0000 | tolt | (~weechat-h@li219-154.members.linode.com) tolt |
| 2025-01-15 18:21:49 +0000 | systemfault | (sid267009@about/typescript/member/systemfault) systemfault |
| 2025-01-15 18:21:49 +0000 | shachaf | (~shachaf@user/shachaf) shachaf |
| 2025-01-15 18:21:49 +0000 | bjs | (sid190364@user/bjs) bjs |
| 2025-01-15 18:21:49 +0000 | caasih | (sid13241@id-13241.ilkley.irccloud.com) caasih |
| 2025-01-15 18:21:49 +0000 | iphy | (sid67735@user/iphy) iphy |
| 2025-01-15 18:21:49 +0000 | totbwf | (uid402332@id-402332.uxbridge.irccloud.com) |
| 2025-01-15 18:21:49 +0000 | energizer | (~energizer@user/energizer) energizer |
| 2025-01-15 18:21:49 +0000 | carter | (sid14827@id-14827.helmsley.irccloud.com) carter |
| 2025-01-15 18:21:49 +0000 | lisq | (~quassel@lis.moe) lisq |
| 2025-01-15 18:21:49 +0000 | xnyhps | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 2025-01-15 18:21:49 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) K4su |
| 2025-01-15 18:21:49 +0000 | stefan-_ | (~cri@42dots.de) stefan-_ |
| 2025-01-15 18:21:49 +0000 | litharge | (litharge@libera/bot/litharge) litharge |
| 2025-01-15 18:21:49 +0000 | remmie | (ianremsen@tilde.team) remsense |
| 2025-01-15 18:21:49 +0000 | apache | (apache2@anubis.0x90.dk) apache2 |
| 2025-01-15 18:21:49 +0000 | markasoftware | (~quassel@107.161.26.124) markasoftware |
| 2025-01-15 18:21:49 +0000 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) taktoa[c] |
| 2025-01-15 18:21:49 +0000 | sweater1 | (~sweater@206.81.18.26) sweater |
| 2025-01-15 18:21:49 +0000 | _0xa_ | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2025-01-15 18:21:49 +0000 | deriamis | (nobody@2600:3c0a::f03c:95ff:fee8:f335) deriamis |
| 2025-01-15 18:21:49 +0000 | mustafa | (sid502723@rockylinux/releng/mustafa) mustafa |
| 2025-01-15 18:21:49 +0000 | xelxebar | (~xelxebar@wilsonb.com) xelxebar |
| 2025-01-15 18:21:49 +0000 | xnbya2 | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2025-01-15 18:21:49 +0000 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) edmundnoble_ |
| 2025-01-15 18:21:49 +0000 | Jon | (jon@dow.land) jmtd |
| 2025-01-15 18:21:49 +0000 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) codedmart |
| 2025-01-15 18:21:49 +0000 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) gaze___ |
| 2025-01-15 18:21:49 +0000 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) bradparker |
| 2025-01-15 18:21:49 +0000 | aspen | (sid449115@id-449115.helmsley.irccloud.com) aspen |
| 2025-01-15 18:21:49 +0000 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) dfordivam |
| 2025-01-15 18:21:49 +0000 | Techcable | (sid534393@user/Techcable) Techcable |
| 2025-01-15 18:21:49 +0000 | lyxia | (~lyxia@poisson.chat) lyxia |
| 2025-01-15 18:21:49 +0000 | lieven | (~mal@ns2.wyrd.be) lieven |
| 2025-01-15 18:21:49 +0000 | mima | (~mmh@user/mima) mima |
| 2025-01-15 18:21:49 +0000 | drlkf | (~drlkf@chat-1.drlkf.net) drlkf |
| 2025-01-15 18:21:49 +0000 | edm | (sid147314@id-147314.hampstead.irccloud.com) edm |
| 2025-01-15 18:21:49 +0000 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) SrPx |
| 2025-01-15 18:21:49 +0000 | siers | (~ij@user/ij) ij |
| 2025-01-15 18:21:49 +0000 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) hamishmack |
| 2025-01-15 18:21:49 +0000 | ouroboros | (~ouroboros@user/ouroboros) ouroboros |
| 2025-01-15 18:21:49 +0000 | peutri | (~peutri@bobo.desast.re) peutri |
| 2025-01-15 18:21:49 +0000 | ringo_ | (~ringo@157.230.117.128) ringo_ |
| 2025-01-15 18:21:49 +0000 | flocks | (~flocks@134.122.90.60) flocks |
| 2025-01-15 18:21:49 +0000 | sm | (~znc@plaintextaccounting/sm) sm |
| 2025-01-15 18:21:49 +0000 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) Fangs |
| 2025-01-15 18:21:49 +0000 | crazazy | (~crazazy@tilde.town) crazazy |
| 2025-01-15 18:21:49 +0000 | nisstyre | (wes@user/nisstyre) nisstyre |
| 2025-01-15 18:21:49 +0000 | saolsen | (sid26430@id-26430.lymington.irccloud.com) saolsen |
| 2025-01-15 18:21:49 +0000 | acro | (~acro@user/acro) acro |
| 2025-01-15 18:21:49 +0000 | teesquare_ | (~teesquare@user/teesquare) teesquare |
| 2025-01-15 18:21:49 +0000 | ncf | (~n@monade.li) ncf |
| 2025-01-15 18:21:49 +0000 | liskin | (~liskin@xmonad/liskin) Liskni_si |
| 2025-01-15 18:21:49 +0000 | bgamari | (~bgamari@64.223.233.64) bgamari |
| 2025-01-15 18:21:49 +0000 | beaky | (~beaky@198.211.118.219) beaky |
| 2025-01-15 18:21:49 +0000 | farn__ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) farn |
| 2025-01-15 18:21:49 +0000 | [_________] | (~oos95GWG@user/oos95GWG) oos95GWG |
| 2025-01-15 18:21:49 +0000 | landonf | (landonf@mac68k.info) |
| 2025-01-15 18:21:49 +0000 | [exa] | (~exa@user/exa/x-3587197) [exa] |
| 2025-01-15 18:21:49 +0000 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) nshepperd |
| 2025-01-15 18:21:49 +0000 | tapas | (sid467876@id-467876.ilkley.irccloud.com) tapas |
| 2025-01-15 18:21:49 +0000 | JSharp | (sid4580@user/JSharp) JSharp |
| 2025-01-15 18:21:49 +0000 | davean | (~davean@davean.sciesnet.net) davean |
| 2025-01-15 18:21:49 +0000 | h2t | (~h2t@user/h2t) h2t |
| 2025-01-15 18:21:49 +0000 | gmc | (sid58314@id-58314.ilkley.irccloud.com) gmc |
| 2025-01-15 18:21:49 +0000 | PHO` | (~pho@akari.cielonegro.org) PHO` |
| 2025-01-15 18:21:49 +0000 | skylord5816 | (~skylord58@user/skylord5816) skylord5816 |
| 2025-01-15 18:21:49 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2025-01-15 18:21:49 +0000 | WzC | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2025-01-15 18:21:49 +0000 | ames | (~amelia@offtopia/offtopian/amelia) {ames} |
| 2025-01-15 18:21:49 +0000 | Philonous | (~Philonous@user/philonous) Philonous |
| 2025-01-15 18:21:49 +0000 | stefan-__ | (~m-yh2rcc@42dots.de) stefan-__ |
| 2025-01-15 18:21:49 +0000 | constxd | (~constxd@user/constxd) constxd |
| 2025-01-15 18:21:49 +0000 | Vq | (~vq@81-226-38-201-no600.tbcn.telia.com) Vq |
| 2025-01-15 18:22:22 +0000 | statusbot | 068AAY72X |
| 2025-01-15 18:22:22 +0000 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
| 2025-01-15 18:22:22 +0000 | 068AAY72X | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2025-01-15 18:24:44 +0000 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 262 seconds) |
| 2025-01-15 18:24:59 +0000 | akegalj | (~akegalj@142-231.dsl.iskon.hr) (Ping timeout: 244 seconds) |
| 2025-01-15 18:26:14 +0000 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2025-01-15 18:32:17 +0000 | <ash3en> | is 'drop 1' really better than 'tail'? |
| 2025-01-15 18:32:46 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 18:33:52 +0000 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2025-01-15 18:34:30 +0000 | <EvanR> | I don't know about BETTER, but it has a different behavior that can be more convenient sometimes |
| 2025-01-15 18:34:50 +0000 | <EvanR> | tail only works in situations where the input list is non-empty |
| 2025-01-15 18:35:00 +0000 | <int-e> | > drop 1 [] |
| 2025-01-15 18:35:02 +0000 | <lambdabot> | [] |
| 2025-01-15 18:35:13 +0000 | <tomsmeding> | > tail [] |
| 2025-01-15 18:35:14 +0000 | <lambdabot> | *Exception: Prelude.tail: empty list |
| 2025-01-15 18:35:20 +0000 | <int-e> | but maybe you *have* to fail on an empty list and then `tail` is your friend |
| 2025-01-15 18:35:22 +0000 | <EvanR> | if it is definitely non-empty, the tail works and will crash when you assumption is wrong |
| 2025-01-15 18:35:33 +0000 | <EvanR> | which is good to know |
| 2025-01-15 18:35:54 +0000 | <EvanR> | drop 1 [] won't crash immediately, so you might not know or the crash might be somewhere else and confusing |
| 2025-01-15 18:36:06 +0000 | <ash3en> | will the whole program crash on a failed tail? |
| 2025-01-15 18:36:06 +0000 | <tomsmeding> | usually, though (but not _quite_ always), it's clearer to pattern-match on the list |
| 2025-01-15 18:36:10 +0000 | <tomsmeding> | yes |
| 2025-01-15 18:36:16 +0000 | <EvanR> | the thread crashes |
| 2025-01-15 18:36:24 +0000 | <EvanR> | if it's the main thread everything crashes |
| 2025-01-15 18:36:37 +0000 | <tomsmeding> | you can technically catch the exception inside IO |
| 2025-01-15 18:36:50 +0000 | <ash3en> | ok, so then the other question is what to use instead of head. pattern match, uncons or non empty? |
| 2025-01-15 18:36:56 +0000 | <EvanR> | async library makes recovering a failed thread easy |
| 2025-01-15 18:37:14 +0000 | <tomsmeding> | ash3en: what do you want to happen if the list is empty? |
| 2025-01-15 18:37:26 +0000 | <tomsmeding> | first decide that, then see how you can best express that behaviour |
| 2025-01-15 18:37:30 +0000 | <ash3en> | probably keep the status quo |
| 2025-01-15 18:37:42 +0000 | <tomsmeding> | what is "the status quo" for "the first element of an empty list"? |
| 2025-01-15 18:38:06 +0000 | <EvanR> | if you thought the list was non-empty, and it's empty, you want to make up an answer and never know about it? xD |
| 2025-01-15 18:38:53 +0000 | <EvanR> | if the list might be empty, then surely there's something else you want to do. In which case pattern match |
| 2025-01-15 18:38:56 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-15 18:39:26 +0000 | <ash3en> | thanks! |
| 2025-01-15 18:39:27 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-01-15 18:40:35 +0000 | akegalj | (~akegalj@142-231.dsl.iskon.hr) |
| 2025-01-15 18:40:40 +0000 | <EvanR> | if the list definitely is non-empty then you can use head. Or maybe NonEmpty if there's a way to prove it to GHC |
| 2025-01-15 18:41:53 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-15 18:42:47 +0000 | Guest12 | (~Guest12@94.7.192.138) (Remote host closed the connection) |
| 2025-01-15 18:43:23 +0000 | alp | (~alp@2001:861:8ca0:4940:1e61:879a:b0ec:434f) (Ping timeout: 252 seconds) |
| 2025-01-15 18:47:35 +0000 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:9be8:50a:7d0a:fa49) (Quit: No Ping reply in 180 seconds.) |
| 2025-01-15 18:48:50 +0000 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:57f8:e679:8a1b:f20a) fun-safe-math |
| 2025-01-15 18:49:04 +0000 | alp | (~alp@2001:861:8ca0:4940:ce40:7d58:7e03:52f5) |
| 2025-01-15 18:53:39 +0000 | alp | (~alp@2001:861:8ca0:4940:ce40:7d58:7e03:52f5) (Ping timeout: 252 seconds) |
| 2025-01-15 18:55:16 +0000 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2025-01-15 18:55:54 +0000 | telser | (~quassel@user/telser) telser |
| 2025-01-15 18:56:36 +0000 | biberu | (~biberu@user/biberu) biberu |
| 2025-01-15 18:57:28 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-15 18:57:48 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-15 19:00:38 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-15 19:02:48 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-01-15 19:11:11 +0000 | <hellwolf> | I just find ":|" and ":[]" to be a beautiful "duo". |
| 2025-01-15 19:11:23 +0000 | hellwolf | comes here to comment on NonEmpty |
| 2025-01-15 19:11:32 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) (Quit: No Ping reply in 180 seconds.) |
| 2025-01-15 19:11:54 +0000 | tomsmeding | . o O ( set `O = []`, then you have ":O" ) |
| 2025-01-15 19:12:37 +0000 | <hellwolf> | probably parser won't like that |
| 2025-01-15 19:12:44 +0000 | <hellwolf> | oh, it would. |
| 2025-01-15 19:12:47 +0000 | <hellwolf> | hmm |
| 2025-01-15 19:12:51 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-01-15 19:13:07 +0000 | <geekosaur> | need a patsyn, I think |
| 2025-01-15 19:13:14 +0000 | <tomsmeding> | oh as a pattern, yes |
| 2025-01-15 19:13:28 +0000 | <tomsmeding> | % :set -XPatternSynonyms |
| 2025-01-15 19:13:28 +0000 | <yahb2> | <no output> |
| 2025-01-15 19:13:34 +0000 | <tomsmeding> | % pattern O :: [a] ; O = [] |
| 2025-01-15 19:13:34 +0000 | <yahb2> | <interactive>:45:9: error: [GHC-44432] ; The pattern synonym signature for ‘O’ lacks an accompanying binding ; ; <interactive>:45:20: error: [GHC-76037] ; Not in scope: data constructor ‘O’ |
| 2025-01-15 19:13:42 +0000 | <tomsmeding> | lol it's right there? |
| 2025-01-15 19:13:46 +0000 | <tomsmeding> | oh |
| 2025-01-15 19:13:50 +0000 | <tomsmeding> | % pattern O :: [a] ; pattern O = [] |
| 2025-01-15 19:13:50 +0000 | <yahb2> | <no output> |
| 2025-01-15 19:14:09 +0000 | <tomsmeding> | % import Data.List.NonEmpty (NonEmpty(..)) |
| 2025-01-15 19:14:09 +0000 | <yahb2> | <no output> |
| 2025-01-15 19:14:40 +0000 | <tomsmeding> | % case 1 :O of { n :O -> show n ; n :| l -> show (n, l) } |
| 2025-01-15 19:14:40 +0000 | <yahb2> | <interactive>:51:33: error: [GHC-83865] ; • Couldn't match expected type: [a0] ; with actual type: NonEmpty a1 ; • In the pattern: n :| l ; In a case alternative: n ... |
| 2025-01-15 19:14:48 +0000 | Typedfern | (~Typedfern@85.red-83-37-40.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2025-01-15 19:15:05 +0000 | <tomsmeding> | oh hm |
| 2025-01-15 19:15:19 +0000 | <tomsmeding> | nah that ain't gonna work |
| 2025-01-15 19:15:25 +0000 | <tomsmeding> | % :q |
| 2025-01-15 19:15:25 +0000 | <yahb2> | <bye> |
| 2025-01-15 19:15:59 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) |
| 2025-01-15 19:24:43 +0000 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 264 seconds) |
| 2025-01-15 19:25:29 +0000 | akegalj | (~akegalj@142-231.dsl.iskon.hr) (Quit: leaving) |
| 2025-01-15 19:29:02 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-15 19:29:59 +0000 | Typedfern | (~Typedfern@104.red-83-37-43.dynamicip.rima-tde.net) typedfern |
| 2025-01-15 19:30:25 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-15 19:30:50 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-15 19:36:42 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-15 19:48:43 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-15 19:49:45 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-15 19:50:21 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-15 19:51:24 +0000 | alp | (~alp@2001:861:8ca0:4940:f488:aeda:6595:5b38) |
| 2025-01-15 19:55:59 +0000 | alp | (~alp@2001:861:8ca0:4940:f488:aeda:6595:5b38) (Ping timeout: 252 seconds) |
| 2025-01-15 19:59:13 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-15 20:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-15 20:00:42 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-15 20:06:59 +0000 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-01-15 20:07:16 +0000 | agent314 | (~quassel@37.19.210.25) agent314 |
| 2025-01-15 20:13:11 +0000 | jespada | (~jespada@2800:a4:67:9400:a4bd:2d29:5c07:29b1) (Ping timeout: 244 seconds) |
| 2025-01-15 20:17:54 +0000 | jespada | (~jespada@2800:a4:82:800:905f:a49c:670c:2c45) jespada |
| 2025-01-15 20:18:18 +0000 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-15 20:21:40 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-15 20:23:12 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) (Quit: No Ping reply in 180 seconds.) |
| 2025-01-15 20:24:31 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-01-15 20:28:39 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-15 20:28:40 +0000 | alp | (~alp@2001:861:8ca0:4940:aeb3:d03c:ec66:af5f) |
| 2025-01-15 20:32:03 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-01-15 20:35:17 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-15 20:35:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-01-15 20:40:08 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-15 20:44:21 +0000 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 246 seconds) |
| 2025-01-15 20:54:20 +0000 | euleritian | (~euleritia@dynamic-176-006-134-015.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-15 20:54:39 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 20:56:00 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-01-15 20:59:51 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-01-15 21:02:26 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-15 21:02:54 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-15 21:08:28 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 244 seconds) |
| 2025-01-15 21:10:29 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-15 21:10:53 +0000 | jespada | (~jespada@2800:a4:82:800:905f:a49c:670c:2c45) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-15 21:12:34 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-01-15 21:12:34 +0000 | ljdarj1 | ljdarj |
| 2025-01-15 21:16:36 +0000 | sord937_ | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-15 21:20:36 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 264 seconds) |
| 2025-01-15 21:22:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-15 21:25:28 +0000 | hueso | (~root@user/hueso) (Ping timeout: 252 seconds) |
| 2025-01-15 21:29:48 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-01-15 21:34:40 +0000 | Guest78 | (~Guest78@37.228.251.150) (Quit: Client closed) |
| 2025-01-15 21:34:58 +0000 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 245 seconds) |
| 2025-01-15 22:00:59 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2025-01-15 22:02:47 +0000 | mrmr155334346318 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2025-01-15 22:13:14 +0000 | Guest71 | (~Guest71@2800:a4:10ef:7400:35a0:bf8a:5772:25a7) |
| 2025-01-15 22:19:58 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2025-01-15 22:21:51 +0000 | <Guest71> | Hello! I was hoping to hear anyone's thoughts about packaging best practices for big projects structured as microrepos: |
| 2025-01-15 22:21:51 +0000 | <Guest71> | - Use project name as category for all packages? |
| 2025-01-15 22:21:52 +0000 | <Guest71> | - Use project name as tag for all packages? |
| 2025-01-15 22:21:52 +0000 | <Guest71> | - Use "group" account to publish all packages? |
| 2025-01-15 22:21:53 +0000 | <Guest71> | - Fold all projects and publish as single package? |
| 2025-01-15 22:21:53 +0000 | <Guest71> | - Anything else? |
| 2025-01-15 22:22:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 22:22:41 +0000 | alp | (~alp@2001:861:8ca0:4940:aeb3:d03c:ec66:af5f) (Ping timeout: 248 seconds) |
| 2025-01-15 22:26:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 22:31:20 +0000 | alp | (~alp@2001:861:8ca0:4940:e814:f100:32a:4db4) |
| 2025-01-15 22:32:17 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-01-15 22:33:31 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2025-01-15 22:37:09 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 260 seconds) |
| 2025-01-15 22:37:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 22:39:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-15 22:42:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 22:44:05 +0000 | tallcatparade | (~tallcatpa@99-171-182-203.lightspeed.sndgca.sbcglobal.net) |
| 2025-01-15 22:47:45 +0000 | saulosilva | (~saulosilv@181.216.220.107) saulosilva |
| 2025-01-15 22:50:27 +0000 | tallcatparade | (~tallcatpa@99-171-182-203.lightspeed.sndgca.sbcglobal.net) (Remote host closed the connection) |
| 2025-01-15 22:53:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 22:57:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 23:00:48 +0000 | <haskellbridge> | <magic_rb> if have a record such as "Foo { bar :: Text }" then I generate a lens called "bar", i cannot construct the record with "Foo { bar = "foobar" }". Is there any way around this? it complains about a ambiguous reference, though i dont see how he lens is a valid candidate on the LHS of "bar = "foobar"" anyway |
| 2025-01-15 23:02:01 +0000 | mange | (~user@user/mange) mange |
| 2025-01-15 23:07:18 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-15 23:08:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 23:09:06 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-15 23:10:20 +0000 | sord937_ | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937_) |
| 2025-01-15 23:12:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 23:16:37 +0000 | <haskellbridge> | <sm> Guest71: I probably wouldn't use a Hackage category or tag for this, I'd rely on a common package name prefix instead |
| 2025-01-15 23:17:25 +0000 | <haskellbridge> | <sm> if you are able to publish as one package, it will simplify maintenance hugely |
| 2025-01-15 23:17:48 +0000 | <haskellbridge> | <sm> maintenance and further packaging |
| 2025-01-15 23:19:50 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-15 23:20:30 +0000 | <haskellbridge> | <magic_rb> got it, somehow "DuplicateRecordFields" did it |
| 2025-01-15 23:23:00 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 2025-01-15 23:23:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 23:25:17 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-15 23:28:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-15 23:29:48 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 272 seconds) |
| 2025-01-15 23:31:11 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-15 23:32:16 +0000 | <Guest71> | sm: Thanks for your input. I was planning to use a prefix already, but I was wondering if there were additional conventions around grouping packages. |
| 2025-01-15 23:32:16 +0000 | <Guest71> | On the topic of monopacking: I figured users would prefer to be able to pick micropackages as to avoid pulling in dependencies for pieces of the project they were not planning to use (reduce binary size and total logic surface). Am I wrong about this? |
| 2025-01-15 23:33:39 +0000 | saulosilva | (~saulosilv@181.216.220.107) (Quit: Client closed) |
| 2025-01-15 23:39:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 23:39:47 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-15 23:41:00 +0000 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-01-15 23:41:43 +0000 | califax | (~califax@user/califx) califx |
| 2025-01-15 23:42:03 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-01-15 23:42:03 +0000 | ljdarj1 | ljdarj |
| 2025-01-15 23:43:39 +0000 | Guest69 | (~Guest69@2601:642:4103:1b0:a477:319d:e581:377a) |
| 2025-01-15 23:43:40 +0000 | <haskellbridge> | <sm> you're not wrong, sometimes it is worth providing separate packages for that reason. But there's a maintenance and packaging cost to be carried for everymore, fewer larger packages will be less work |
| 2025-01-15 23:44:21 +0000 | <haskellbridge> | <sm> how many packages are you contemplating ? |
| 2025-01-15 23:46:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-15 23:46:07 +0000 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
| 2025-01-15 23:46:20 +0000 | <jackdk> | Guest71: and also, how large are these packages (and their combination)? |
| 2025-01-15 23:46:20 +0000 | <haskellbridge> | <sm> also sometimes even users prefer one or a few big packages, even if it's not optimal in bandwidth/disk space, it simplifies their life |
| 2025-01-15 23:48:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-15 23:51:08 +0000 | <Guest71> | sm: Around 7 at the moment, but could potentially grow (basically there is a collection of implementations for a large interface, each implementation is its own repo, eventually more could be added for more use-cases). I am not too concerned about maintenance burden because the plan is to build a CI/CD pipeline to take care of that. Ideally I'd do |
| 2025-01-15 23:51:08 +0000 | <Guest71> | that once, tweak slightly for each repo and then never think about it again. Should I be worried about something? |
| 2025-01-15 23:51:09 +0000 | <Guest71> | jackdk: ~10 kloc a piece. For 7 repos that would be ~70 kloc. |
| 2025-01-15 23:51:38 +0000 | <geekosaur> | you might look at amazonka for an example of how to do it? |
| 2025-01-15 23:52:28 +0000 | <jackdk> | Amazonka IMHO is a special case because so much of it is autogenerated. But even there we eventually hope to trial multiple cabal sublibraries since we have to update the whole universe in lockstep anyway |
| 2025-01-15 23:54:03 +0000 | <jackdk> | I'm not sure I'd call a 10kLoC package a "micropackage". That's no `left-pad` or `is-number`, and the PVP implications for a monopackage are not ideal: any backwards-incompatible change in one will bump PVP major version and make anyone not depending on the changed package go back and check for other breakage. |
| 2025-01-15 23:54:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-15 23:55:22 +0000 | <jackdk> | That said, now that I've read Guest71's question properly, breaking up an interface to a large API is probably a reasonable case for having at least multiple distinct sublibraries if not distinct packages (depend on how much lockstep updating you need to do if something changes) |
| 2025-01-15 23:57:23 +0000 | lol_ | (~lol@2603:3016:1e01:b9c0:49df:554e:a17b:a07c) |
| 2025-01-15 23:58:28 +0000 | <jackdk> | Is there any reason a monorepo with a cabal.project won't work for you here? That would save you building a lot of CI machinery, which is time you can spend writing more Haskell |
| 2025-01-15 23:59:28 +0000 | <jackdk> | Amazonka is 3.8×10⁶ LoC, the vast majority of which is autogenerated, and it works fine enough |