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