| 2024-06-19 00:14:57 +0000 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-06-19 00:17:43 +0000 | xff0x | (~xff0x@2405:6580:b080:900:fd6a:2265:c425:f820) (Ping timeout: 272 seconds) |
| 2024-06-19 00:22:22 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b960:a570:a53a:e862:a200) |
| 2024-06-19 00:24:12 +0000 | Roc | (~Roc@ip-213-49-101-14.dsl.scarlet.be) (Quit: Client closed) |
| 2024-06-19 00:27:53 +0000 | myme | (~myme@2a01:799:d5c:5f00:33d4:3d73:88f6:3af4) (Quit: WeeChat 4.2.2) |
| 2024-06-19 00:32:09 +0000 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-19 00:32:33 +0000 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-19 00:46:27 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-06-19 00:56:58 +0000 | madhavanmiui | (~madhavanm@2409:40f4:1d:7cf9:8000::) |
| 2024-06-19 01:03:32 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 268 seconds) |
| 2024-06-19 01:09:48 +0000 | madhavanmiui | (~madhavanm@2409:40f4:1d:7cf9:8000::) (Quit: Quit) |
| 2024-06-19 01:13:47 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-06-19 01:27:35 +0000 | erty` | (~user@122.161.50.232) (Ping timeout: 268 seconds) |
| 2024-06-19 01:35:56 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Quit: dysthesis) |
| 2024-06-19 01:38:45 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-19 01:57:15 +0000 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-19 01:57:43 +0000 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-19 02:02:52 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2024-06-19 02:05:02 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-19 02:09:24 +0000 | causal | (~eric@50.35.88.207) |
| 2024-06-19 02:11:26 +0000 | Leary | (~Leary@user/Leary/x-0910699) |
| 2024-06-19 02:19:12 +0000 | euleritian | (~euleritia@dynamic-176-003-069-120.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-19 02:19:29 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-19 02:36:54 +0000 | rosco | (~rosco@175.136.155.137) |
| 2024-06-19 02:48:53 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 240 seconds) |
| 2024-06-19 02:57:15 +0000 | td_ | (~td@i53870936.versanet.de) (Ping timeout: 264 seconds) |
| 2024-06-19 02:59:00 +0000 | td_ | (~td@i53870921.versanet.de) |
| 2024-06-19 03:17:35 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 03:24:08 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 268 seconds) |
| 2024-06-19 03:38:26 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 03:44:11 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 268 seconds) |
| 2024-06-19 03:45:39 +0000 | aforemny | (~aforemny@2001:9e8:6cc0:df00:949a:33df:9d68:3e31) |
| 2024-06-19 03:46:07 +0000 | aforemny_ | (~aforemny@2001:9e8:6cdf:6100:2338:8f16:3564:eee6) (Ping timeout: 246 seconds) |
| 2024-06-19 03:57:57 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 04:01:27 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2024-06-19 04:02:53 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-19 04:04:50 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 268 seconds) |
| 2024-06-19 04:29:46 +0000 | michalz | (~michalz@185.246.207.193) |
| 2024-06-19 04:30:37 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 04:32:24 +0000 | pwug | (~pwug@user/pwug) (Quit: Leaving) |
| 2024-06-19 04:36:36 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 268 seconds) |
| 2024-06-19 04:38:39 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2024-06-19 04:41:08 +0000 | joeyadams | (~joeyadams@2603:6010:5100:2ed:674f:8bcc:dd31:934b) (Quit: Leaving) |
| 2024-06-19 04:47:50 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 04:53:23 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 264 seconds) |
| 2024-06-19 04:58:17 +0000 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-06-19 04:59:27 +0000 | michalz | (~michalz@185.246.207.193) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-06-19 05:02:16 +0000 | michalz | (~michalz@185.246.207.205) |
| 2024-06-19 05:05:52 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 05:08:30 +0000 | nyc | (~quassel@2603:7000:a106:2fb5::1f12) |
| 2024-06-19 05:08:54 +0000 | nyc | (~quassel@2603:7000:a106:2fb5::1f12) (Changing host) |
| 2024-06-19 05:08:54 +0000 | nyc | (~quassel@user/nyc) |
| 2024-06-19 05:12:13 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 246 seconds) |
| 2024-06-19 05:22:25 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-06-19 05:23:16 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-06-19 05:26:39 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 05:27:15 +0000 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) |
| 2024-06-19 05:28:38 +0000 | euleritian | (~euleritia@dynamic-176-002-074-154.176.2.pool.telefonica.de) |
| 2024-06-19 05:31:12 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 255 seconds) |
| 2024-06-19 05:32:23 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-19 05:34:11 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2024-06-19 05:35:41 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-19 05:36:18 +0000 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-06-19 05:37:13 +0000 | califax | (~califax@user/califx) |
| 2024-06-19 05:37:48 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-19 05:42:16 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-19 05:43:36 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-19 05:45:40 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-19 05:45:43 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 05:49:44 +0000 | acidjnk_new | (~acidjnk@p200300d6e714dc520c8312600ef4c57c.dip0.t-ipconnect.de) |
| 2024-06-19 05:50:05 +0000 | CiaoSen | (~Jura@2a05:5800:2d2:8900:e6b9:7aff:fe80:3d03) |
| 2024-06-19 05:51:14 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 256 seconds) |
| 2024-06-19 06:01:33 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 06:06:29 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 240 seconds) |
| 2024-06-19 06:16:39 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-06-19 06:16:53 +0000 | danse-nr3 | (~danse-nr3@151.57.152.233) |
| 2024-06-19 06:20:26 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 06:21:44 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-06-19 06:25:43 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 246 seconds) |
| 2024-06-19 06:27:16 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-19 06:33:18 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2024-06-19 06:38:14 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 06:39:19 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-06-19 06:42:06 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-06-19 06:43:47 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 264 seconds) |
| 2024-06-19 06:46:27 +0000 | kyborg2011_ | (~kyborg201@host-176-36-215-61.b024.la.net.ua) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-06-19 06:46:57 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-06-19 06:52:27 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2024-06-19 06:53:58 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-19 06:58:04 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 07:01:35 +0000 | euleritian | (~euleritia@dynamic-176-002-074-154.176.2.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-06-19 07:01:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-19 07:03:17 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 240 seconds) |
| 2024-06-19 07:08:55 +0000 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
| 2024-06-19 07:15:00 +0000 | bliminse | (~bliminse@user/bliminse) |
| 2024-06-19 07:16:52 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 07:22:04 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 246 seconds) |
| 2024-06-19 07:22:40 +0000 | myme | (~myme@2a01:799:d5c:5f00:33d4:3d73:88f6:3af4) |
| 2024-06-19 07:22:52 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-19 07:24:09 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-06-19 07:24:51 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:8e83:44df:afb0:80e1) (Ping timeout: 264 seconds) |
| 2024-06-19 07:24:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-19 07:25:21 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:309b:a5ab:1320:adb2) |
| 2024-06-19 07:27:06 +0000 | nyc | (~quassel@user/nyc) (Ping timeout: 268 seconds) |
| 2024-06-19 07:32:01 +0000 | rosco | (rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal) |
| 2024-06-19 07:38:06 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 07:42:23 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 252 seconds) |
| 2024-06-19 07:46:16 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-06-19 07:48:09 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-06-19 07:50:34 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-06-19 07:55:27 +0000 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 264 seconds) |
| 2024-06-19 07:55:36 +0000 | nyc | (~quassel@2603:7000:a106:2fb5::1f12) |
| 2024-06-19 07:56:20 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 07:56:53 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-19 08:00:24 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-06-19 08:01:17 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 240 seconds) |
| 2024-06-19 08:03:54 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-06-19 08:03:58 +0000 | lbseale | (~quassel@user/ep1ctetus) |
| 2024-06-19 08:09:09 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-06-19 08:14:43 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 08:20:19 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 272 seconds) |
| 2024-06-19 08:23:09 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-06-19 08:24:27 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 2024-06-19 08:25:32 +0000 | chele | (~chele@user/chele) |
| 2024-06-19 08:28:12 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-06-19 08:29:13 +0000 | akegalj | (~akegalj@95.168.118.12) |
| 2024-06-19 08:34:31 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 08:36:39 +0000 | danse-nr3 | (~danse-nr3@151.57.152.233) (Ping timeout: 256 seconds) |
| 2024-06-19 08:38:41 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-06-19 08:40:29 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 268 seconds) |
| 2024-06-19 08:40:44 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-06-19 08:52:48 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 08:55:55 +0000 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-06-19 08:58:11 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 264 seconds) |
| 2024-06-19 08:59:21 +0000 | danse-nr3 | (~danse-nr3@151.57.152.233) |
| 2024-06-19 09:00:50 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-06-19 09:10:49 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-06-19 09:11:39 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 09:11:43 +0000 | poscat0x04 | (~poscat@user/poscat) |
| 2024-06-19 09:13:51 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 09:14:59 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 264 seconds) |
| 2024-06-19 09:15:08 +0000 | poscat- | (~poscat@user/poscat) |
| 2024-06-19 09:15:18 +0000 | soverysour | (~soverysou@86.122.85.40) |
| 2024-06-19 09:15:18 +0000 | soverysour | (~soverysou@86.122.85.40) (Changing host) |
| 2024-06-19 09:15:18 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-19 09:16:06 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-06-19 09:16:41 +0000 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 2024-06-19 09:18:22 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-19 09:19:03 +0000 | ft | (~ft@p3e9bcb39.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-06-19 09:20:23 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-06-19 09:22:51 +0000 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 2024-06-19 09:23:58 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 268 seconds) |
| 2024-06-19 09:26:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-19 09:31:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-19 09:38:50 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 09:40:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-19 09:43:31 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 260 seconds) |
| 2024-06-19 09:45:05 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-19 09:54:56 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 09:56:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-19 10:00:05 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Ping timeout: 240 seconds) |
| 2024-06-19 10:00:49 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) |
| 2024-06-19 10:01:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-19 10:05:58 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 10:06:15 +0000 | danse-nr3 | (~danse-nr3@151.57.152.233) (Read error: Connection reset by peer) |
| 2024-06-19 10:06:40 +0000 | danse-nr3 | (~danse-nr3@151.43.196.110) |
| 2024-06-19 10:07:35 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2024-06-19 10:10:31 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-06-19 10:18:33 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-06-19 10:20:03 +0000 | zmt01 | (~zmt00@user/zmt00) |
| 2024-06-19 10:21:03 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 256 seconds) |
| 2024-06-19 10:21:10 +0000 | swamp_ | (~zmt00@user/zmt00) |
| 2024-06-19 10:24:56 +0000 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 256 seconds) |
| 2024-06-19 10:26:16 +0000 | xdminsy | (~xdminsy@117.147.70.231) (Read error: Connection reset by peer) |
| 2024-06-19 10:26:42 +0000 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-06-19 10:27:30 +0000 | zmt01 | (~zmt00@user/zmt00) |
| 2024-06-19 10:31:11 +0000 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
| 2024-06-19 10:39:57 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 10:44:26 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-06-19 10:44:47 +0000 | euleritian | (~euleritia@dynamic-176-006-179-020.176.6.pool.telefonica.de) |
| 2024-06-19 10:47:32 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Remote host closed the connection) |
| 2024-06-19 10:47:41 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 10:53:10 +0000 | gehmehgeh | gmg |
| 2024-06-19 10:56:03 +0000 | rosco | (~rosco@175.136.155.137) |
| 2024-06-19 10:57:03 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 10:59:17 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds) |
| 2024-06-19 11:04:45 +0000 | xff0x | (~xff0x@ai068022.d.east.v6connect.net) |
| 2024-06-19 11:05:04 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 11:08:52 +0000 | destituion | (~destituio@2a02:2121:306:89fe:ede:e4a:e882:ff5) (Ping timeout: 246 seconds) |
| 2024-06-19 11:09:22 +0000 | destituion | (~destituio@85.221.111.174) |
| 2024-06-19 11:10:00 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-19 11:20:09 +0000 | poxel | (~lennart@user/poxel) |
| 2024-06-19 11:23:30 +0000 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-19 11:29:55 +0000 | verde | (~user@user/verde) |
| 2024-06-19 11:30:54 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 11:36:57 +0000 | mxs | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2024-06-19 11:46:31 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 11:47:42 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Client Quit) |
| 2024-06-19 12:10:25 +0000 | danse-nr3 | (~danse-nr3@151.43.196.110) (Remote host closed the connection) |
| 2024-06-19 12:10:42 +0000 | euleritian | (~euleritia@dynamic-176-006-179-020.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-19 12:10:49 +0000 | danse-nr3 | (~danse-nr3@151.43.196.110) |
| 2024-06-19 12:11:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-19 12:13:18 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-19 12:14:06 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-19 12:14:48 +0000 | soverysour | (~soverysou@86.122.85.40) |
| 2024-06-19 12:14:48 +0000 | soverysour | (~soverysou@86.122.85.40) (Changing host) |
| 2024-06-19 12:14:48 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-19 12:15:27 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 12:21:27 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 12:23:23 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-06-19 12:23:25 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-06-19 12:24:21 +0000 | verde | (~user@user/verde) (Remote host closed the connection) |
| 2024-06-19 12:24:49 +0000 | euleritian | (~euleritia@dynamic-176-006-179-020.176.6.pool.telefonica.de) |
| 2024-06-19 12:24:49 +0000 | danse-nr3 | (~danse-nr3@151.43.196.110) (Ping timeout: 246 seconds) |
| 2024-06-19 12:42:15 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-06-19 12:44:27 +0000 | califax | (~califax@user/califx) |
| 2024-06-19 12:44:39 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-06-19 12:46:47 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 264 seconds) |
| 2024-06-19 12:46:51 +0000 | califax | (~califax@user/califx) |
| 2024-06-19 12:49:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-19 12:49:50 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-06-19 12:52:05 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-06-19 12:52:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-19 12:55:21 +0000 | Digit | (~user@user/digit) (Ping timeout: 255 seconds) |
| 2024-06-19 13:01:24 +0000 | akegalj | (~akegalj@95.168.118.12) (Read error: Connection reset by peer) |
| 2024-06-19 13:07:35 +0000 | Digit | (~user@user/digit) |
| 2024-06-19 13:08:18 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:668b:8ad4:1fc2:fd6f) |
| 2024-06-19 13:12:53 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 13:13:15 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Client Quit) |
| 2024-06-19 13:18:14 +0000 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) |
| 2024-06-19 13:25:27 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-06-19 13:28:29 +0000 | nyc | (~quassel@2603:7000:a106:2fb5::1f12) (Ping timeout: 240 seconds) |
| 2024-06-19 13:32:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-19 13:32:44 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-06-19 13:34:20 +0000 | euleritian | (~euleritia@dynamic-176-006-179-020.176.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-06-19 13:35:13 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-19 13:36:44 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-19 13:36:51 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-06-19 13:37:24 +0000 | euleritian | (~euleritia@dynamic-176-004-198-011.176.4.pool.telefonica.de) |
| 2024-06-19 13:54:20 +0000 | akegalj | (~akegalj@86.33.70.155) |
| 2024-06-19 13:57:22 +0000 | nyc | (~quassel@2603:7000:a106:2fb5::1f12) |
| 2024-06-19 14:05:14 +0000 | danse-nr3 | (~danse-nr3@151.43.194.82) |
| 2024-06-19 14:06:42 +0000 | euleritian | (~euleritia@dynamic-176-004-198-011.176.4.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-06-19 14:08:02 +0000 | euleritian | (~euleritia@dynamic-176-001-214-220.176.1.pool.telefonica.de) |
| 2024-06-19 14:13:48 +0000 | Digitteknohippie | (~user@user/digit) |
| 2024-06-19 14:15:07 +0000 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-06-19 14:18:43 +0000 | soverysour | (~soverysou@user/soverysour) (Remote host closed the connection) |
| 2024-06-19 14:18:55 +0000 | Digitteknohippie | Digit |
| 2024-06-19 14:19:15 +0000 | soverysour | (~soverysou@86.122.85.40) |
| 2024-06-19 14:19:15 +0000 | soverysour | (~soverysou@86.122.85.40) (Changing host) |
| 2024-06-19 14:19:15 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-19 14:21:04 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-06-19 14:25:46 +0000 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-06-19 14:26:08 +0000 | nyc | (~quassel@2603:7000:a106:2fb5::1f12) (Remote host closed the connection) |
| 2024-06-19 14:35:48 +0000 | kyborg2011 | (~kyborg201@host-176-36-215-61.b024.la.net.ua) |
| 2024-06-19 14:38:46 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2024-06-19 14:40:18 +0000 | zzz | (~yin@user/zero) |
| 2024-06-19 14:40:45 +0000 | y-koj | (~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) |
| 2024-06-19 14:43:39 +0000 | <hadronized> | anyone had a look at Idris2? I saw somewhere that it can run without a GC?! |
| 2024-06-19 14:50:06 +0000 | <EvanR> | they replaced the basic C runtime with semispace collector with chicken scheme, I think |
| 2024-06-19 14:50:27 +0000 | <EvanR> | I wouldn't bet on idris2 being the pathway to extreme performance |
| 2024-06-19 14:51:11 +0000 | <EvanR> | it's really about the dependent types |
| 2024-06-19 14:51:17 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 240 seconds) |
| 2024-06-19 14:52:37 +0000 | <hadronized> | I’m not sure why people are so hyped about DT |
| 2024-06-19 14:55:48 +0000 | y-koj | (~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) (Quit: WeeChat 4.2.1) |
| 2024-06-19 14:56:04 +0000 | y-koj | (~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) |
| 2024-06-19 14:58:24 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-06-19 15:00:32 +0000 | <mauke> | good DPS, cloaked by default, always good for a comeback |
| 2024-06-19 15:02:22 +0000 | kimiamania | (~65804703@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2024-06-19 15:02:46 +0000 | kimiamania | (~65804703@user/kimiamania) |
| 2024-06-19 15:05:07 +0000 | euleritian | (~euleritia@dynamic-176-001-214-220.176.1.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-06-19 15:06:12 +0000 | euleritian | (~euleritia@dynamic-176-001-135-067.176.1.pool.telefonica.de) |
| 2024-06-19 15:08:59 +0000 | danse-nr3 | (~danse-nr3@151.43.194.82) (Ping timeout: 264 seconds) |
| 2024-06-19 15:12:39 +0000 | someone235 | (uid419897@id-419897.ilkley.irccloud.com) |
| 2024-06-19 15:18:41 +0000 | kyborg2011 | (~kyborg201@host-176-36-215-61.b024.la.net.ua) (Read error: Connection reset by peer) |
| 2024-06-19 15:19:09 +0000 | kyborg2011 | (~kyborg201@host-176-36-215-61.b024.la.net.ua) |
| 2024-06-19 15:23:20 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-06-19 15:23:33 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-19 15:26:15 +0000 | euleritian | (~euleritia@dynamic-176-001-135-067.176.1.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-06-19 15:26:36 +0000 | kimiamania | (~65804703@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2024-06-19 15:27:05 +0000 | kimiamania | (~65804703@user/kimiamania) |
| 2024-06-19 15:29:11 +0000 | euleritian | (~euleritia@dynamic-176-006-011-233.176.6.pool.telefonica.de) |
| 2024-06-19 15:30:49 +0000 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 2024-06-19 15:37:27 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 264 seconds) |
| 2024-06-19 15:43:21 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: Leaving) |
| 2024-06-19 15:44:17 +0000 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-06-19 15:44:19 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-06-19 15:48:23 +0000 | Athas | (athas@sigkill.dk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-19 15:48:41 +0000 | Athas | (athas@sigkill.dk) |
| 2024-06-19 15:54:10 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 15:55:11 +0000 | euleritian | (~euleritia@dynamic-176-006-011-233.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-06-19 15:56:22 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-06-19 15:59:07 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-19 16:03:34 +0000 | danse-nr3 | (~danse-nr3@151.43.194.82) |
| 2024-06-19 16:03:41 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:668b:8ad4:1fc2:fd6f) (Remote host closed the connection) |
| 2024-06-19 16:03:54 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:c91:a997:4d69:689b) |
| 2024-06-19 16:07:27 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 16:08:41 +0000 | akegalj | (~akegalj@86.33.70.155) (Quit: leaving) |
| 2024-06-19 16:08:47 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-06-19 16:11:16 +0000 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-06-19 16:12:49 +0000 | CiaoSen | (~Jura@2a05:5800:2d2:8900:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-06-19 16:13:41 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-06-19 16:17:54 +0000 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) |
| 2024-06-19 16:20:33 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-19 16:21:42 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-06-19 16:26:15 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 16:35:55 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:c91:a997:4d69:689b) (Remote host closed the connection) |
| 2024-06-19 16:38:22 +0000 | JamesMowery1 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 2024-06-19 16:39:44 +0000 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Ping timeout: 252 seconds) |
| 2024-06-19 16:39:45 +0000 | JamesMowery1 | JamesMowery |
| 2024-06-19 16:41:35 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 16:41:45 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 16:41:46 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 256 seconds) |
| 2024-06-19 16:42:43 +0000 | soverysour | (~soverysou@86.122.85.40) |
| 2024-06-19 16:42:43 +0000 | soverysour | (~soverysou@86.122.85.40) (Changing host) |
| 2024-06-19 16:42:43 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-19 16:45:10 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
| 2024-06-19 16:46:36 +0000 | euleritian | (~euleritia@dynamic-176-000-211-014.176.0.pool.telefonica.de) |
| 2024-06-19 16:50:17 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 16:50:30 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 16:52:11 +0000 | ames | (~amelia@offtopia/offtopian/amelia) (Quit: Bye!) |
| 2024-06-19 16:52:20 +0000 | ames | (~amelia@offtopia/offtopian/amelia) |
| 2024-06-19 16:55:22 +0000 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-06-19 16:56:07 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-19 16:56:32 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 16:58:03 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 16:58:45 +0000 | euleritian | (~euleritia@dynamic-176-000-211-014.176.0.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-06-19 17:00:21 +0000 | euleritian | (~euleritia@dynamic-176-007-158-220.176.7.pool.telefonica.de) |
| 2024-06-19 17:00:58 +0000 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 246 seconds) |
| 2024-06-19 17:08:34 +0000 | euleritian | (~euleritia@dynamic-176-007-158-220.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-19 17:08:56 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 17:09:03 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-06-19 17:13:17 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 240 seconds) |
| 2024-06-19 17:15:45 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-19 17:18:07 +0000 | Square | (~Square@user/square) |
| 2024-06-19 17:19:10 +0000 | TactfulCitrus | (al@gateway/vpn/protonvpn/tactfulcitrus) (Ping timeout: 256 seconds) |
| 2024-06-19 17:26:54 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) |
| 2024-06-19 17:29:41 +0000 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-06-19 17:30:18 +0000 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-06-19 17:38:58 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-19 17:41:18 +0000 | danse-nr3 | (~danse-nr3@151.43.194.82) (Ping timeout: 268 seconds) |
| 2024-06-19 17:41:40 +0000 | someone235 | (uid419897@id-419897.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-19 17:45:07 +0000 | notzmv | (~daniel@user/notzmv) |
| 2024-06-19 17:46:35 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-06-19 17:48:54 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-06-19 17:49:41 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-06-19 17:51:11 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-19 17:53:20 +0000 | fun-safe-math | (~fun-safe-@24.21.106.247) |
| 2024-06-19 17:56:09 +0000 | fun-safe-math | (~fun-safe-@24.21.106.247) (Client Quit) |
| 2024-06-19 17:56:19 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
| 2024-06-19 17:56:29 +0000 | fun-safe-math | (~fun-safe-@24.21.106.247) |
| 2024-06-19 17:56:29 +0000 | fun-safe-math | (~fun-safe-@24.21.106.247) (Client Quit) |
| 2024-06-19 17:58:09 +0000 | fun-safe-math | (~fun-safe-@24.21.106.247) |
| 2024-06-19 17:58:25 +0000 | ft | (~ft@p3e9bcb39.dip0.t-ipconnect.de) |
| 2024-06-19 17:58:47 +0000 | destituion | (~destituio@85.221.111.174) (Ping timeout: 264 seconds) |
| 2024-06-19 17:59:42 +0000 | destituion | (~destituio@85.221.111.174) |
| 2024-06-19 18:00:09 +0000 | ystael | (~ystael@user/ystael) |
| 2024-06-19 18:00:12 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-06-19 18:01:39 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-06-19 18:01:48 +0000 | fun-safe-math | (~fun-safe-@24.21.106.247) (Client Quit) |
| 2024-06-19 18:03:28 +0000 | fun-safe-math | (~fun-safe-@24.21.106.247) |
| 2024-06-19 18:03:46 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-19 18:07:47 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-06-19 18:07:54 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-06-19 18:09:15 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-06-19 18:11:57 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:af12:8000::) (Quit: Quit) |
| 2024-06-19 18:12:29 +0000 | destituion | (~destituio@85.221.111.174) (Ping timeout: 272 seconds) |
| 2024-06-19 18:13:19 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-19 18:15:20 +0000 | soverysour | (~soverysou@86.122.85.40) |
| 2024-06-19 18:15:20 +0000 | soverysour | (~soverysou@86.122.85.40) (Changing host) |
| 2024-06-19 18:15:20 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-19 18:17:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-19 18:18:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-19 18:19:41 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 240 seconds) |
| 2024-06-19 18:21:05 +0000 | <iqubic> | I like Idris2. |
| 2024-06-19 18:21:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-19 18:26:23 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-19 18:26:25 +0000 | andrei_n | (~andrei_n@user/andrei-n:62396) |
| 2024-06-19 18:29:45 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-19 18:29:59 +0000 | Digitteknohippie | (~user@user/digit) |
| 2024-06-19 18:31:16 +0000 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-06-19 18:34:35 +0000 | zzz | (~yin@user/zero) |
| 2024-06-19 18:35:02 +0000 | Digitteknohippie | Digit |
| 2024-06-19 18:38:28 +0000 | destituion | (~destituio@2a02:2121:306:89fe:b849:537f:4eb9:4445) |
| 2024-06-19 18:39:06 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e714dc52cdce3fd1d2726986.dip0.t-ipconnect.de) |
| 2024-06-19 18:40:59 +0000 | moolc | (~malc@109-252-143-253.dynamic.spd-mgts.ru) |
| 2024-06-19 18:41:23 +0000 | moolc | (~malc@109-252-143-253.dynamic.spd-mgts.ru) (ERC 5.6 (IRC client for GNU Emacs 30.0.50)) |
| 2024-06-19 18:42:41 +0000 | Digitteknohippie | (~user@user/digit) |
| 2024-06-19 18:43:17 +0000 | acidjnk_new | (~acidjnk@p200300d6e714dc520c8312600ef4c57c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-06-19 18:44:31 +0000 | Digit | (~user@user/digit) (Ping timeout: 268 seconds) |
| 2024-06-19 18:48:23 +0000 | simendsjo | (~user@84.209.170.3) |
| 2024-06-19 18:55:57 +0000 | crns | (~crns@user/crns) |
| 2024-06-19 18:56:28 +0000 | crns | (~crns@user/crns) (Client Quit) |
| 2024-06-19 19:07:13 +0000 | andrei_n | (~andrei_n@user/andrei-n:62396) (Quit: Leaving) |
| 2024-06-19 19:11:38 +0000 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 2024-06-19 19:21:28 +0000 | Digitteknohippie | Digit |
| 2024-06-19 19:22:30 +0000 | Guest|78 | (~Guest|78@100.4.128.234) |
| 2024-06-19 19:22:34 +0000 | Guest|78 | (~Guest|78@100.4.128.234) (Client Quit) |
| 2024-06-19 19:24:02 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-19 19:28:35 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
| 2024-06-19 19:28:36 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-06-19 19:29:23 +0000 | <EvanR> | hadronized, dependent types let you express logical propositions |
| 2024-06-19 19:32:08 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-19 19:33:31 +0000 | <EvanR> | when you have a value of some type in haskell, you tend to know a lot of stuff. With dependent types you can know even more stuff. There are practical issues but you only were wondering about the positives xD |
| 2024-06-19 19:34:27 +0000 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-06-19 19:37:17 +0000 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2024-06-19 19:48:03 +0000 | <monochrom> | Some people want dependent types for what can also be done by Liquid Haskell and refinement types, e.g., the domain is integers between 100 and 200. |
| 2024-06-19 19:50:25 +0000 | <monochrom> | Some other people want dependent types for how Idris uses it: fine-grained effect/capability types, e.g., more fine-grained than our IO, so your type says a subset of {console, files, IORef, ...}. |
| 2024-06-19 19:51:25 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-19 19:52:22 +0000 | <monochrom> | Some other people want dependent types for just row polymorphism i.e. a record system that doesn't suck. :) |
| 2024-06-19 19:53:47 +0000 | <EvanR> | that's a roundabout way to get that, and not clear it wouldn't suck! |
| 2024-06-19 19:55:19 +0000 | <monochrom> | In every use case, dependent typing is an overkill. But history and politics taught us that, when multiple groups who will have conflicting stakes eventually but right now they have a more pressing common foe, they will be very hyped up about joining forces. |
| 2024-06-19 19:58:07 +0000 | <c_wraith> | I just want pi types so I can abstract over values at the type level |
| 2024-06-19 19:58:33 +0000 | <monochrom> | Yeah the general idea is that if you have a Gödel-complete proof language, then you can define any powerful programming language you want. OK that's a hyperbole but think about it. :) |
| 2024-06-19 20:00:10 +0000 | mxs9 | (~mxs@user/mxs) |
| 2024-06-19 20:01:44 +0000 | <monochrom> | In my own notes when I study math, there are actually a few instances when I use Pi types because it clarifies and directly express what the math text means to say but too afraid to bring up infinite cartesian products... |
| 2024-06-19 20:03:41 +0000 | <monochrom> | basically scenerio like choice functions where the math text says "f : X -> big union of Y_1, Y_2 ... , with the contraint that f(x) must be in Y_x". OK that's a type Pi. |
| 2024-06-19 20:03:46 +0000 | <monochrom> | err Pi type |
| 2024-06-19 20:04:14 +0000 | <monochrom> | Speaking of which, please remind me on June 28 to celebrate tau day! |
| 2024-06-19 20:07:38 +0000 | <c_wraith> | so are Tau types twice as good as Pi types? |
| 2024-06-19 20:08:16 +0000 | <monochrom> | :) |
| 2024-06-19 20:09:00 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-06-19 20:09:11 +0000 | <monochrom> | Some kind of Fubini's theorem ought to say that Tau_x,y = Pi_x Pi_y :) |
| 2024-06-19 20:15:59 +0000 | danse-nr3 | (~danse-nr3@151.35.139.58) |
| 2024-06-19 20:20:31 +0000 | cheater | (~Username@user/cheater) |
| 2024-06-19 20:31:41 +0000 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Ping timeout: 240 seconds) |
| 2024-06-19 20:32:23 +0000 | <EvanR> | it's funny because type theory seems to say more specifically what you want, but at the same time, means nothing because it's basically a theory of syntax only |
| 2024-06-19 20:35:34 +0000 | <danse-nr3> | "a theory of syntax"? |
| 2024-06-19 20:39:45 +0000 | <lxsameer> | hey folks, have you ever used tasty-autocollect or tasty-discover in a nix based build environment |
| 2024-06-19 20:40:02 +0000 | <monochrom> | I thought through this question a long time ago, I concluded that one person's semantics is another person's syntax. But I understand that it is not obvious to everyone. |
| 2024-06-19 20:41:01 +0000 | swamp_ | (~zmt00@user/zmt00) |
| 2024-06-19 20:41:02 +0000 | <monochrom> | Part of it being that it is customary to not talk about the syntax of one's meta-logic. But it is still there. |
| 2024-06-19 20:44:19 +0000 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-06-19 20:48:53 +0000 | zzz | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-06-19 20:49:47 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-06-19 20:50:36 +0000 | barthandelous01 | (~calebbrze@216.158.140.68) (Quit: WeeChat 4.3.2) |
| 2024-06-19 21:05:03 +0000 | dcoutts__ | (~duncan@oxfd-27-b2-v4wan-164228-cust163.vm42.cable.virginm.net) |
| 2024-06-19 21:05:17 +0000 | Square | (~Square@user/square) |
| 2024-06-19 21:15:22 +0000 | pavonia | (~user@user/siracusa) |
| 2024-06-19 21:17:09 +0000 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-06-19 21:21:57 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-19 21:23:49 +0000 | zzz | (~yin@user/zero) |
| 2024-06-19 21:26:05 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-06-19 21:26:35 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-06-19 21:26:55 +0000 | EvanR | (~EvanR@user/evanr) |
| 2024-06-19 21:29:40 +0000 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) |
| 2024-06-19 21:30:07 +0000 | barthandelous01 | (barth@triton.blinkenshell.org) |
| 2024-06-19 21:36:25 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 246 seconds) |
| 2024-06-19 21:41:32 +0000 | AlexNoo_ | (~AlexNoo@178.34.162.224) |
| 2024-06-19 21:42:12 +0000 | poxel | (~lennart@user/poxel) (Quit: WeeChat 4.3.2) |
| 2024-06-19 21:43:20 +0000 | AlexZenon | (~alzenon@178.34.163.174) (Ping timeout: 252 seconds) |
| 2024-06-19 21:45:12 +0000 | AlexNoo | (~AlexNoo@178.34.163.174) (Ping timeout: 268 seconds) |
| 2024-06-19 21:47:53 +0000 | AlexZenon | (~alzenon@178.34.162.224) |
| 2024-06-19 21:51:35 +0000 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2024-06-19 22:17:55 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: Leaving) |
| 2024-06-19 22:22:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-19 22:30:03 +0000 | <dolio> | I'm not particularly convinced that you're showing that 'dependent types are overkill' when you list multiple features that people want to use dependent types for, and have to be separately grafted onto other languages. |
| 2024-06-19 22:31:09 +0000 | <geekosaur> | that you can use feature X to do thing Y doesn't mean it's the best way to do thing Y |
| 2024-06-19 22:31:59 +0000 | <monochrom> | Good points, both of you. :) |
| 2024-06-19 22:32:01 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-06-19 22:32:07 +0000 | <dolio> | Well, I didn't make the examples. |
| 2024-06-19 22:34:17 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-06-19 22:35:40 +0000 | Eoco | (~ian@128.101.131.218) (Quit: WeeChat 4.1.1) |
| 2024-06-19 22:41:33 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e714dc52cdce3fd1d2726986.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-06-19 22:43:04 +0000 | kyborg2011 | (~kyborg201@host-176-36-215-61.b024.la.net.ua) (Read error: Connection reset by peer) |
| 2024-06-19 22:43:34 +0000 | kyborg2011 | (~kyborg201@host-176-36-215-61.b024.la.net.ua) |
| 2024-06-19 22:44:21 +0000 | danse-nr3 | (~danse-nr3@151.35.139.58) (Read error: Connection reset by peer) |
| 2024-06-19 22:45:24 +0000 | danse-nr3 | (~danse-nr3@151.37.122.33) |
| 2024-06-19 22:46:47 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-06-19 22:48:57 +0000 | euleritian | (~euleritia@dynamic-176-001-131-134.176.1.pool.telefonica.de) |
| 2024-06-19 22:53:57 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 268 seconds) |
| 2024-06-19 22:54:15 +0000 | glguy | (g@libera/staff/glguy) (Quit: Quit) |
| 2024-06-19 22:56:40 +0000 | glguy | (g@libera/staff/glguy) |
| 2024-06-19 22:57:50 +0000 | Square2 | (~Square4@user/square) |
| 2024-06-19 22:58:53 +0000 | mud | (~mud@user/kadoban) (Ping timeout: 268 seconds) |
| 2024-06-19 23:01:03 +0000 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2024-06-19 23:02:02 +0000 | glguy | (g@libera/staff/glguy) (Remote host closed the connection) |
| 2024-06-19 23:03:16 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-06-19 23:03:30 +0000 | glguy | (g@libera/staff/glguy) |
| 2024-06-19 23:03:35 +0000 | danse-nr3 | (~danse-nr3@151.37.122.33) (Ping timeout: 264 seconds) |
| 2024-06-19 23:03:38 +0000 | danza | (~francesco@151.37.122.33) |
| 2024-06-19 23:04:52 +0000 | mud | (~mud@user/kadoban) |
| 2024-06-19 23:08:09 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-06-19 23:08:45 +0000 | danza | (~francesco@151.37.122.33) (Ping timeout: 268 seconds) |
| 2024-06-19 23:19:39 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-06-19 23:24:04 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-06-19 23:25:04 +0000 | danza | (~francesco@151.37.122.33) |
| 2024-06-19 23:25:24 +0000 | <talismanick> | Is suppressing the "type inference for inner bindings fragile" warning with MonoLocalBinds generally safe? |
| 2024-06-19 23:26:08 +0000 | <talismanick> | or, more precisely, intent- and correctness-preserving |
| 2024-06-19 23:38:16 +0000 | joeyadams | (~joeyadams@2603:6010:5100:2ed:be5c:bfac:9926:c006) |
| 2024-06-19 23:52:14 +0000 | johnw | (~johnw@69.62.242.138) (Ping timeout: 268 seconds) |
| 2024-06-19 23:52:22 +0000 | johnw_ | (~johnw@69.62.242.138) |
| 2024-06-19 23:56:29 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 240 seconds) |
| 2024-06-19 23:59:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |