2024-05-07 00:00:06 +0200 | xdminsy | (~xdminsy@117.147.70.233) (Ping timeout: 256 seconds) |
2024-05-07 00:00:50 +0200 | xdminsy | (~xdminsy@117.147.70.233) |
2024-05-07 00:00:57 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
2024-05-07 00:12:41 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-05-07 00:15:09 +0200 | pavonia | (~user@user/siracusa) |
2024-05-07 00:24:31 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-05-07 00:30:48 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
2024-05-07 00:32:23 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
2024-05-07 00:33:19 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-07 01:04:06 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc4498a318f2cc30029a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-05-07 01:04:13 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
2024-05-07 01:06:54 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 255 seconds) |
2024-05-07 01:07:21 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds) |
2024-05-07 01:07:21 +0200 | dontdieych_ | (~alarm@132.226.169.184) (Ping timeout: 255 seconds) |
2024-05-07 01:09:27 +0200 | dontdieych_ | (~alarm@132.226.169.184) |
2024-05-07 01:11:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e758:caa1:b0a5:cc6f) (Ping timeout: 246 seconds) |
2024-05-07 01:13:39 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds) |
2024-05-07 01:13:58 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a053:399f:88bd:931d) |
2024-05-07 01:14:14 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-07 01:15:48 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
2024-05-07 01:25:25 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
2024-05-07 01:26:59 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
2024-05-07 01:27:02 +0200 | cheater | (~Username@user/cheater) |
2024-05-07 01:28:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-07 01:32:03 +0200 | mud | (~mud@user/kadoban) |
2024-05-07 01:34:08 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a053:399f:88bd:931d) (Remote host closed the connection) |
2024-05-07 01:34:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:35ed:753d:5333:e2a3) |
2024-05-07 01:52:30 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2024-05-07 01:59:42 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
2024-05-07 02:04:13 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-05-07 02:24:48 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-07 02:24:54 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
2024-05-07 02:25:14 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
2024-05-07 02:35:23 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-07 02:39:32 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
2024-05-07 02:46:42 +0200 | califax | (~califax@user/califx) |
2024-05-07 02:48:17 +0200 | sgarcia | (sgarcia@swarm.znchost.com) (Quit: Hosted by www.ZNCHost.com) |
2024-05-07 02:51:11 +0200 | sgarcia | (sgarcia@swarm.znchost.com) |
2024-05-07 02:51:41 +0200 | onion | (~yin@user/zero) (Ping timeout: 240 seconds) |
2024-05-07 03:00:46 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
2024-05-07 03:08:36 +0200 | thales | (~thales@2a02:586:7e3a:cbe3:5221:8c84:e9f6:b7e4) |
2024-05-07 03:08:57 +0200 | thales | (~thales@2a02:586:7e3a:cbe3:5221:8c84:e9f6:b7e4) (Client Quit) |
2024-05-07 03:20:47 +0200 | otto_s | (~user@p4ff27405.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-05-07 03:22:31 +0200 | otto_s | (~user@p5de2f3d2.dip0.t-ipconnect.de) |
2024-05-07 03:22:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:35ed:753d:5333:e2a3) (Ping timeout: 260 seconds) |
2024-05-07 03:23:30 +0200 | dispater | (~dispater@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-07 03:23:30 +0200 | orcus | (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-07 03:25:19 +0200 | dispater | (~dispater@mail.brprice.uk) |
2024-05-07 03:25:21 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-07 03:25:49 +0200 | orcus | (~orcus@mail.brprice.uk) |
2024-05-07 03:30:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-07 03:34:55 +0200 | thales | (~tram@2a02:586:7e3a:cbe3:5221:8c84:e9f6:b7e4) |
2024-05-07 03:35:16 +0200 | thales | (~tram@2a02:586:7e3a:cbe3:5221:8c84:e9f6:b7e4) (Client Quit) |
2024-05-07 03:35:28 +0200 | thales | (~tram@2a02:586:7e3a:cbe3:5221:8c84:e9f6:b7e4) |
2024-05-07 03:36:06 +0200 | thales | (~tram@2a02:586:7e3a:cbe3:5221:8c84:e9f6:b7e4) (Client Quit) |
2024-05-07 03:39:14 +0200 | tram | (~tram@2a02:586:7e3a:cbe3:5221:8c84:e9f6:b7e4) |
2024-05-07 03:39:47 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:2ec9:5672:626b:934d) (Quit: WeeChat 4.2.1) |
2024-05-07 03:42:14 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:55f8:739e:3296:6d3) |
2024-05-07 03:43:56 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 256 seconds) |
2024-05-07 03:46:00 +0200 | tram | (~tram@2a02:586:7e3a:cbe3:5221:8c84:e9f6:b7e4) (Quit: Leaving.) |
2024-05-07 04:01:49 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-07 04:02:30 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
2024-05-07 04:02:43 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-05-07 04:07:46 +0200 | gastus_ | (~gastus@185.6.123.231) |
2024-05-07 04:11:23 +0200 | gastus | (~gastus@185.6.123.230) (Ping timeout: 264 seconds) |
2024-05-07 04:12:26 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-05-07 04:19:55 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
2024-05-07 04:21:05 +0200 | yuuta | (~YuutaW@mail.yuuta.moe) (Read error: Connection reset by peer) |
2024-05-07 04:22:07 +0200 | td_ | (~td@i53870908.versanet.de) (Ping timeout: 272 seconds) |
2024-05-07 04:23:25 +0200 | td_ | (~td@i53870936.versanet.de) |
2024-05-07 04:30:35 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-07 04:44:05 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
2024-05-07 04:45:58 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
2024-05-07 04:50:11 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
2024-05-07 04:53:09 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) (Ping timeout: 272 seconds) |
2024-05-07 04:56:17 +0200 | mahid | (~mahid@user/standingpad) |
2024-05-07 04:56:27 +0200 | mahid | (~mahid@user/standingpad) (WeeChat 4.2.2) |
2024-05-07 05:00:53 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-07 05:02:44 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) |
2024-05-07 05:06:21 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
2024-05-07 05:10:14 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
2024-05-07 05:14:24 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-05-07 05:19:53 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-07 05:21:35 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 264 seconds) |
2024-05-07 05:23:16 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
2024-05-07 05:25:45 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-07 05:30:33 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 256 seconds) |
2024-05-07 05:34:09 +0200 | sgarcia_ | (sgarcia@swarm.znchost.com) |
2024-05-07 05:36:26 +0200 | sgarcia | (sgarcia@swarm.znchost.com) (Ping timeout: 252 seconds) |
2024-05-07 05:41:10 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
2024-05-07 05:44:23 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-07 05:48:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-05-07 05:48:59 +0200 | madariaga | (~madariaga@user/madariaga) (Quit: madariaga) |
2024-05-07 05:49:23 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-07 05:49:26 +0200 | madariaga | (~madariaga@user/madariaga) (Client Quit) |
2024-05-07 05:53:48 +0200 | aforemny | (~aforemny@2001:9e8:6cc5:8500:df7:1fe7:b16:9d8d) |
2024-05-07 05:55:28 +0200 | aforemny_ | (~aforemny@i59F516FD.versanet.de) (Ping timeout: 268 seconds) |
2024-05-07 05:58:18 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
2024-05-07 06:00:37 +0200 | phma | (phma@2001:5b0:211f:8958:6fb4:94a7:6ad6:39b3) (Read error: Connection reset by peer) |
2024-05-07 06:07:19 +0200 | phma | (phma@2001:5b0:211b:8518:5596:60a:4e27:e0fb) |
2024-05-07 06:13:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-07 06:14:28 +0200 | bgamari | (~bgamari@64.223.226.84) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-07 06:15:31 +0200 | mei | (~mei@user/mei) (Ping timeout: 268 seconds) |
2024-05-07 06:22:56 +0200 | bgamari | (~bgamari@64.223.226.84) |
2024-05-07 06:32:53 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 240 seconds) |
2024-05-07 06:41:25 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
2024-05-07 06:42:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-05-07 06:44:42 +0200 | euleritian | (~euleritia@dynamic-176-005-142-147.176.5.pool.telefonica.de) |
2024-05-07 06:51:27 +0200 | xal | (~xal@mx1.xal.systems) () |
2024-05-07 06:51:37 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 255 seconds) |
2024-05-07 06:52:25 +0200 | xal | (~xal@mx1.xal.systems) |
2024-05-07 06:53:59 +0200 | Square3 | (~Square4@user/square) |
2024-05-07 06:59:27 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-07 07:01:46 +0200 | mei | (~mei@user/mei) |
2024-05-07 07:09:09 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 255 seconds) |
2024-05-07 07:09:27 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-07 07:17:15 +0200 | euleritian | (~euleritia@dynamic-176-005-142-147.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-07 07:17:21 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-05-07 07:17:33 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-05-07 07:17:51 +0200 | mokee | (~mokee@37.228.213.214) |
2024-05-07 07:19:00 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-05-07 07:23:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-07 07:24:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Client Quit) |
2024-05-07 07:25:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-07 07:27:21 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
2024-05-07 07:27:35 +0200 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) |
2024-05-07 07:29:32 +0200 | euleritian | (~euleritia@dynamic-176-005-142-147.176.5.pool.telefonica.de) |
2024-05-07 07:30:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-05-07 07:33:31 +0200 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-05-07 07:38:47 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc75c420c579c8a75166.dip0.t-ipconnect.de) |
2024-05-07 07:44:30 +0200 | michalz | (~michalz@185.246.207.200) |
2024-05-07 08:00:13 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
2024-05-07 08:06:10 +0200 | michalz | (~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-07 08:06:49 +0200 | Guest|8 | (~Guest|8@96-126-101-153.ip.linodeusercontent.com) |
2024-05-07 08:09:07 +0200 | michalz | (~michalz@185.246.207.222) |
2024-05-07 08:09:30 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 08:10:32 +0200 | Guest|8 | (~Guest|8@96-126-101-153.ip.linodeusercontent.com) (Client Quit) |
2024-05-07 08:11:16 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 08:12:25 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc7:5500:cf46:1b2c:d3fc:27bb) |
2024-05-07 08:12:59 +0200 | aforemny | (~aforemny@2001:9e8:6cc5:8500:df7:1fe7:b16:9d8d) (Ping timeout: 268 seconds) |
2024-05-07 08:14:54 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 08:16:13 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 08:17:07 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc7:5500:cf46:1b2c:d3fc:27bb) (Ping timeout: 255 seconds) |
2024-05-07 08:17:24 +0200 | aforemny | (~aforemny@i59F516DB.versanet.de) |
2024-05-07 08:20:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 08:21:36 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 08:21:59 +0200 | aforemny | (~aforemny@i59F516DB.versanet.de) (Ping timeout: 252 seconds) |
2024-05-07 08:23:10 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
2024-05-07 08:23:49 +0200 | aforemny | (~aforemny@i59F516E3.versanet.de) |
2024-05-07 08:24:42 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 08:24:42 +0200 | son0p | (~ff@186.121.6.44) (Ping timeout: 268 seconds) |
2024-05-07 08:25:42 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
2024-05-07 08:26:28 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 08:30:18 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 08:31:36 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 08:33:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-07 08:34:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-07 08:34:58 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 08:36:24 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 08:40:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 08:41:31 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 08:45:14 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 08:46:05 +0200 | phma | (phma@2001:5b0:211b:8518:5596:60a:4e27:e0fb) (Read error: Connection reset by peer) |
2024-05-07 08:46:37 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 08:49:04 +0200 | phma | (phma@2001:5b0:211f:8748:d5d8:f6f:3f3d:8bcc) |
2024-05-07 08:50:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 08:51:34 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 08:52:36 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-05-07 08:55:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 08:56:34 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 08:57:50 +0200 | danse-nr3 | (~danse-nr3@151.47.240.53) |
2024-05-07 08:58:57 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
2024-05-07 09:00:10 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 09:01:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 09:03:19 +0200 | euleritian | (~euleritia@dynamic-176-005-142-147.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-07 09:03:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-07 09:05:04 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-07 09:05:18 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 09:06:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 09:07:04 +0200 | danse-nr3 | (~danse-nr3@151.47.240.53) (Remote host closed the connection) |
2024-05-07 09:07:26 +0200 | mokee | (~mokee@37.228.213.214) (Quit: off) |
2024-05-07 09:07:28 +0200 | danse-nr3 | (~danse-nr3@151.47.240.53) |
2024-05-07 09:08:11 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
2024-05-07 09:09:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2024-05-07 09:10:23 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
2024-05-07 09:11:30 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 09:15:06 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 09:16:30 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 09:17:07 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 268 seconds) |
2024-05-07 09:20:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 09:21:36 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 09:21:41 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
2024-05-07 09:25:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 09:25:35 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-05-07 09:25:46 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
2024-05-07 09:26:45 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 09:30:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 09:30:55 +0200 | troydm | (~troydm@user/troydm) |
2024-05-07 09:31:34 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 09:34:01 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
2024-05-07 09:34:42 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 09:36:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 09:40:18 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 09:41:39 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 09:44:23 +0200 | danse-nr3 | (~danse-nr3@151.47.240.53) (Ping timeout: 264 seconds) |
2024-05-07 09:44:58 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 09:46:35 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 09:47:26 +0200 | danza | (~francesco@151.47.240.53) |
2024-05-07 09:50:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 09:52:41 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 09:52:58 +0200 | danza | (~francesco@151.47.240.53) (Ping timeout: 246 seconds) |
2024-05-07 09:54:31 +0200 | danse-nr3 | (~danse-nr3@151.47.240.53) |
2024-05-07 09:54:52 +0200 | danse-nr3 | (~danse-nr3@151.47.240.53) (Remote host closed the connection) |
2024-05-07 09:55:14 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 09:55:16 +0200 | danse-nr3 | (~danse-nr3@151.47.240.53) |
2024-05-07 09:56:37 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 09:58:26 +0200 | chele | (~chele@user/chele) |
2024-05-07 10:00:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 10:01:15 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
2024-05-07 10:01:35 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
2024-05-07 10:01:51 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 10:02:50 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-05-07 10:05:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 10:06:57 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 10:09:04 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
2024-05-07 10:09:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-07 10:09:42 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 10:11:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 10:12:55 +0200 | philopsos1 | (~caecilius@user/philopsos) (Quit: Lost terminal) |
2024-05-07 10:12:56 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
2024-05-07 10:13:53 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Read error: Connection reset by peer) |
2024-05-07 10:14:58 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-05-07 10:15:18 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 10:16:36 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 10:19:58 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 10:21:35 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-07 10:21:38 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 10:25:06 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 10:26:40 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 10:26:53 +0200 | danse-nr3 | (~danse-nr3@151.47.240.53) (Remote host closed the connection) |
2024-05-07 10:27:31 +0200 | danse-nr3 | (~danse-nr3@151.47.240.53) |
2024-05-07 10:28:29 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-07 10:30:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 10:31:37 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 10:33:44 +0200 | son0p | (~ff@152.203.77.121) |
2024-05-07 10:34:27 +0200 | danse-nr3 | (~danse-nr3@151.47.240.53) (Read error: Connection reset by peer) |
2024-05-07 10:35:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 10:35:31 +0200 | danse-nr3 | (~danse-nr3@151.47.240.53) |
2024-05-07 10:36:29 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 10:40:30 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 10:41:31 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 10:42:47 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-07 10:44:01 +0200 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Quit: Bye!) |
2024-05-07 10:45:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 10:46:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 10:49:00 +0200 | danse-nr3 | (~danse-nr3@151.47.240.53) (Ping timeout: 268 seconds) |
2024-05-07 10:49:25 +0200 | danse-nr3 | (~danse-nr3@151.57.103.37) |
2024-05-07 10:50:18 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 10:51:35 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 10:54:58 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 10:56:34 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2024-05-07 11:00:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-05-07 11:00:24 +0200 | ChanServ | +o litharge |
2024-05-07 11:00:26 +0200 | litharge | +b stiell*!~stiell@gateway/tor-sasl/stiell$##fix_your_connection |
2024-05-07 11:00:27 +0200 | stiell_ | litharge (You are banned from this channel (by ski)) |
2024-05-07 11:00:37 +0200 | litharge | -o litharge |
2024-05-07 11:13:30 +0200 | ft | (~ft@p3e9bc1bf.dip0.t-ipconnect.de) (Quit: leaving) |
2024-05-07 11:18:50 +0200 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) |
2024-05-07 11:19:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-07 11:20:29 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 240 seconds) |
2024-05-07 11:32:14 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Ping timeout: 250 seconds) |
2024-05-07 11:33:57 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-07 11:38:16 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-07 11:54:52 +0200 | JamesMowery3 | (~JamesMowe@ip98-171-80-211.ph.ph.cox.net) |
2024-05-07 11:56:51 +0200 | JamesMowery | (~JamesMowe@ip98-171-80-211.ph.ph.cox.net) (Ping timeout: 272 seconds) |
2024-05-07 11:56:51 +0200 | JamesMowery3 | JamesMowery |
2024-05-07 12:00:25 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:c45d:8c8a:5c4d:ef6b) |
2024-05-07 12:08:25 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer) |
2024-05-07 12:13:56 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
2024-05-07 12:15:04 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc75c420c579c8a75166.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2024-05-07 12:15:37 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-07 12:18:29 +0200 | madariaga | (~madariaga@user/madariaga) (Client Quit) |
2024-05-07 12:19:39 +0200 | dos__^^ | (~user@user/dos/x-1723657) (Ping timeout: 268 seconds) |
2024-05-07 12:24:21 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
2024-05-07 12:28:53 +0200 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Ping timeout: 240 seconds) |
2024-05-07 12:35:04 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc75fd23906330cdb73e.dip0.t-ipconnect.de) |
2024-05-07 12:36:04 +0200 | madariaga | (~madariaga@user/madariaga) |
2024-05-07 12:41:11 +0200 | madariaga | (~madariaga@user/madariaga) (Ping timeout: 272 seconds) |
2024-05-07 12:48:20 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-07 12:52:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-07 12:53:31 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-05-07 12:55:08 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-05-07 12:56:21 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
2024-05-07 12:58:06 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-05-07 13:12:58 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Quit: WeeChat 4.2.2) |
2024-05-07 13:15:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a5ad:4ce6:a16c:2efd) |
2024-05-07 13:18:37 +0200 | agent314 | (~quassel@static-198-54-134-186.cust.tzulo.com) |
2024-05-07 13:30:00 +0200 | xdminsy | (~xdminsy@117.147.70.233) (Read error: Connection reset by peer) |
2024-05-07 13:31:14 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
2024-05-07 13:32:19 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
2024-05-07 13:34:16 +0200 | danse-nr3 | (~danse-nr3@151.57.103.37) (Ping timeout: 268 seconds) |
2024-05-07 13:38:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-07 13:43:38 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-07 13:46:12 +0200 | dontdieych_ | (~alarm@132.226.169.184) (Quit: WeeChat 3.8) |
2024-05-07 13:50:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-07 13:58:55 +0200 | danse-nr3 | (~danse-nr3@151.57.103.37) |
2024-05-07 14:01:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-07 14:07:12 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-07 14:08:47 +0200 | nitrix | (~nitrix@user/meow/nitrix) |
2024-05-07 14:10:45 +0200 | dtman34 | (~dtman34@c-75-72-163-222.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
2024-05-07 14:11:53 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 268 seconds) |
2024-05-07 14:20:21 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
2024-05-07 14:28:22 +0200 | mechap | (~mechap@user/mechap) |
2024-05-07 14:29:50 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
2024-05-07 14:32:31 +0200 | mechap | (~mechap@user/mechap) (Client Quit) |
2024-05-07 14:40:51 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-05-07 14:48:21 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) (Read error: Connection reset by peer) |
2024-05-07 14:48:36 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) |
2024-05-07 14:49:49 +0200 | danse-nr3 | (~danse-nr3@151.57.103.37) (Ping timeout: 268 seconds) |
2024-05-07 14:50:27 +0200 | falafel | (~falafel@211.184.50.36) |
2024-05-07 14:51:05 +0200 | danse-nr3 | (~danse-nr3@151.43.102.160) |
2024-05-07 14:52:29 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 240 seconds) |
2024-05-07 14:56:09 +0200 | <dminuoso> | litharge: Curious, what happened there? |
2024-05-07 14:57:58 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-05-07 14:58:23 +0200 | <yushyin> | litharge is a bot, ask ski |
2024-05-07 14:58:44 +0200 | <dminuoso> | Yeah that ski mention in the reason confused me further. |
2024-05-07 14:58:52 +0200 | <yushyin> | ( https://libera.chat/guides/bots#litharge ) |
2024-05-07 14:59:06 +0200 | <tomsmeding> | dminuoso: https://ircbrowse.tomsmeding.com/browse/lchaskell?id=1271966#trid1271966 (scroll up from there) |
2024-05-07 14:59:33 +0200 | <tomsmeding> | looks like ski doesn't have their client hide joins/leaves of quiet people :) |
2024-05-07 14:59:35 +0200 | <dminuoso> | Oh. I must be spoiled with irc.look.smart_filter :-) |
2024-05-07 14:59:44 +0200 | <dminuoso> | To me this channel was dead quiet. |
2024-05-07 14:59:51 +0200 | <yushyin> | :D smart filter <3 |
2024-05-07 14:59:51 +0200 | <tomsmeding> | same |
2024-05-07 15:01:13 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-05-07 15:03:36 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-05-07 15:08:47 +0200 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-05-07 15:10:04 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
2024-05-07 15:10:28 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 268 seconds) |
2024-05-07 15:18:54 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-05-07 15:19:37 +0200 | <kuribas> | opqdonut: I see you are working on clojure reitit! |
2024-05-07 15:20:05 +0200 | <kuribas> | I was trying to get $refs to work in openapi (unsuccessful), then I saw your name appear. |
2024-05-07 15:21:59 +0200 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
2024-05-07 15:22:00 +0200 | Server | +Cnt |
2024-05-07 15:23:16 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
2024-05-07 15:23:46 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:c45d:8c8a:5c4d:ef6b) (Remote host closed the connection) |
2024-05-07 15:23:59 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:f7fe:a5d:216b:79ee) |
2024-05-07 15:32:38 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
2024-05-07 15:35:37 +0200 | <ski> | <Axman6> Any chance we can ban stiell with a message until their connection it sorted out? |
2024-05-07 15:35:43 +0200 | <ski> | (timeout one day) |
2024-05-07 15:36:52 +0200 | tabemann__ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Quit: Leaving) |
2024-05-07 15:37:13 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-05-07 15:37:54 +0200 | <ski> | (a forward/redirect ban to ##fix_your_connection (which is forwardable to from any channel) is a common way to indicate this issue) |
2024-05-07 15:38:05 +0200 | <Franciman> | does haskell have multi types? |
2024-05-07 15:38:17 +0200 | <kuribas> | What are multi types? |
2024-05-07 15:38:17 +0200 | <dminuoso> | What is a multi type? |
2024-05-07 15:38:27 +0200 | <Franciman> | like intersection types, except non-idempotent |
2024-05-07 15:38:44 +0200 | <ski> | no intersection types |
2024-05-07 15:38:50 +0200 | <Franciman> | what about multi types then? |
2024-05-07 15:38:53 +0200 | <ski> | how would the non-idempotence work ? |
2024-05-07 15:38:56 +0200 | <ncf> | is that something you made up? |
2024-05-07 15:38:58 +0200 | <Franciman> | no |
2024-05-07 15:39:10 +0200 | <Franciman> | ski: you know how you can figure intersection types as "set" types? |
2024-05-07 15:39:26 +0200 | <Franciman> | so sigma \cap tau \cap delta is an intersection type, you can represent as a set {sigma, tau, delta} |
2024-05-07 15:39:30 +0200 | <tomsmeding> | Franciman: are you interested in whether Haskell2010 has multi types, whether GHC has them, or whether there is a library that emulates them? |
2024-05-07 15:39:48 +0200 | <Franciman> | union of all the three |
2024-05-07 15:39:51 +0200 | <tomsmeding> | (no, no, maybe) |
2024-05-07 15:39:54 +0200 | <Franciman> | i know haskell2010 does not, so the last ones |
2024-05-07 15:39:54 +0200 | <ncf> | what's the reference for multi types? |
2024-05-07 15:40:18 +0200 | <tomsmeding> | s/maybe/you could change the world here/ |
2024-05-07 15:40:25 +0200 | <ski> | `sigma',`cap',`delta' are types as well ? |
2024-05-07 15:40:33 +0200 | <Franciman> | \cap is the interseciton in latex, sorry |
2024-05-07 15:40:53 +0200 | <Franciman> | https://en.wikipedia.org/wiki/Intersection_type <- this |
2024-05-07 15:40:53 +0200 | <ski> | dunno what "you can represent as a set {sigma, tau, delta}" really means, here |
2024-05-07 15:41:13 +0200 | <Franciman> | if you remove the axiom that given an intersection type T, T \cap T = T |
2024-05-07 15:41:20 +0200 | <tomsmeding> | presumably \Gamma \vdash t : T, where T is a set of types instead of a single type |
2024-05-07 15:41:22 +0200 | <Franciman> | you get multi-types, it's a bit like going from sets to multisets |
2024-05-07 15:41:25 +0200 | <Franciman> | yes |
2024-05-07 15:41:31 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
2024-05-07 15:41:33 +0200 | <tomsmeding> | s/set/list/ for multitypes, presumably |
2024-05-07 15:41:44 +0200 | <Franciman> | yes |
2024-05-07 15:41:50 +0200 | <tomsmeding> | what would unification do, just append the lists? |
2024-05-07 15:41:50 +0200 | <Franciman> | except you don't care about ordering |
2024-05-07 15:41:56 +0200 | <tomsmeding> | simplifying them in some magical way, perhaps? |
2024-05-07 15:41:59 +0200 | <Franciman> | so more accuretely it's a multi set |
2024-05-07 15:42:01 +0200 | <tomsmeding> | ah |
2024-05-07 15:42:16 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 246 seconds) |
2024-05-07 15:42:59 +0200 | <dminuoso> | Well, type-level lists are a thing. |
2024-05-07 15:43:05 +0200 | <dminuoso> | '[Int, Int, Double] |
2024-05-07 15:43:08 +0200 | <dminuoso> | Is that what you mean, Franciman? |
2024-05-07 15:43:13 +0200 | <Franciman> | and can you characterize termination with type level lists? |
2024-05-07 15:43:42 +0200 | <Franciman> | depending on the type system you use, you can characterize different types of terminations |
2024-05-07 15:43:44 +0200 | <dminuoso> | Not sure what you mean by "characterize termination with type level lists" |
2024-05-07 15:43:57 +0200 | <tomsmeding> | type-level lists are simply lists on the type level |
2024-05-07 15:44:09 +0200 | <tomsmeding> | you'd still have to write the machinery to interpret them as multitypes |
2024-05-07 15:44:14 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
2024-05-07 15:44:23 +0200 | <Franciman> | i wonder whether we can encode all the rules |
2024-05-07 15:44:23 +0200 | <dminuoso> | Not entirely sure what "interpretation as multitype" even means |
2024-05-07 15:44:30 +0200 | <tomsmeding> | perhaps a HList with a suitable API would do |
2024-05-07 15:44:48 +0200 | <tomsmeding> | instead of a single value with multiple types, represent the thing as a list of n times the same value, each time with a different type |
2024-05-07 15:45:17 +0200 | <Franciman> | are yo ufamiliar with Dezani-Ciancaglini and Coppo's work? |
2024-05-07 15:45:19 +0200 | <tomsmeding> | and have an API that interacts with that heterogeneous list so that you can only do things that typecheck with all the types in the type-level index |
2024-05-07 15:45:48 +0200 | <tomsmeding> | dminuoso: Franciman is talking about a very different type system where the "kind" (I guess) of the typing judgement is not Env -> Term -> Type but instead Env -> Term -> MultiSet Type |