| 2024-05-28 00:00:33 +0200 | itaipu | (~itaipu@168.121.98.97) |
| 2024-05-28 00:03:10 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-05-28 00:03:57 +0200 | kaskal | (~kaskal@213-147-165-88.nat.highway.webapn.at) |
| 2024-05-28 00:04:19 +0200 | kaskal- | (~kaskal@2001:4bb8:2d2:1257:60b1:1057:17df:5755) (Ping timeout: 260 seconds) |
| 2024-05-28 00:05:23 +0200 | titibandit | (~user@user/titibandit) (Ping timeout: 264 seconds) |
| 2024-05-28 00:06:35 +0200 | mei | (~mei@user/mei) (Ping timeout: 264 seconds) |
| 2024-05-28 00:08:18 +0200 | <sm> | I don't see a problem, just a possible some day lessening of the need for this with base. Other provided-with-ghc packages also cause problems, I don't know if this future-ghc would solve all those too. But in any case people will be using cabal with current and past ghcs for a long time |
| 2024-05-28 00:09:41 +0200 | <sm> | so I think a few such special case error messages wouldn't be a waste |
| 2024-05-28 00:09:54 +0200 | <sm> | if anyone was thinking about giving it a go |
| 2024-05-28 00:15:54 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-28 00:19:25 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 2024-05-28 00:28:07 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 268 seconds) |
| 2024-05-28 00:28:32 +0200 | pavonia | (~user@user/siracusa) |
| 2024-05-28 00:29:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-05-28 00:30:23 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Ping timeout: 256 seconds) |
| 2024-05-28 00:31:24 +0200 | p3n | (~p3n@217.198.124.246) |
| 2024-05-28 00:33:40 +0200 | jocke-l | (jocke-l@a.x0.is) (Ping timeout: 268 seconds) |
| 2024-05-28 00:34:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-28 00:34:23 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-28 00:40:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-28 00:45:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-28 00:48:00 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 2024-05-28 00:56:29 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 268 seconds) |
| 2024-05-28 01:07:47 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2024-05-28 01:09:39 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-28 01:12:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-05-28 01:15:36 +0200 | acidjnk | (~acidjnk@p200300d6e714dc67a4c71da5dc32cdcc.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-05-28 01:17:37 +0200 | jocke-l | (jocke-l@a.x0.is) |
| 2024-05-28 01:17:59 +0200 | TonyStone | (~TonyStone@user/TonyStone) |
| 2024-05-28 01:23:02 +0200 | troydm | (~troydm@user/troydm) |
| 2024-05-28 01:24:19 +0200 | TonyStone | (~TonyStone@user/TonyStone) (Remote host closed the connection) |
| 2024-05-28 01:26:42 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2024-05-28 01:27:42 +0200 | TonyStone | (~TonyStone@user/TonyStone) |
| 2024-05-28 01:28:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-28 01:30:03 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-28 01:30:45 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-28 01:33:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-28 01:37:36 +0200 | AlexNoo_ | (~AlexNoo@5.139.233.96) |
| 2024-05-28 01:41:08 +0200 | AlexNoo | (~AlexNoo@94.233.240.116) (Ping timeout: 252 seconds) |
| 2024-05-28 01:41:25 +0200 | joeyadams | (~joeyadams@38.48.105.67) (Quit: Leaving) |
| 2024-05-28 01:41:30 +0200 | AlexZenon | (~alzenon@94.233.240.116) (Ping timeout: 268 seconds) |
| 2024-05-28 01:43:50 +0200 | fizbin_ | (~fizbin@user/fizbin) |
| 2024-05-28 01:46:05 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 2024-05-28 01:49:32 +0200 | AlexZenon | (~alzenon@5.139.233.96) |
| 2024-05-28 02:04:27 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 272 seconds) |
| 2024-05-28 02:10:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-28 02:10:47 +0200 | fizbin_ | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 2024-05-28 02:21:24 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-28 02:22:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2024-05-28 02:22:46 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-05-28 02:24:44 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-05-28 02:25:09 +0200 | fabu | (~fabu@240d:1a:3b5:af00:e436:421c:f668:da15) |
| 2024-05-28 02:26:13 +0200 | fabu | (~fabu@240d:1a:3b5:af00:e436:421c:f668:da15) (Client Quit) |
| 2024-05-28 02:29:36 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-05-28 02:30:29 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2024-05-28 02:38:36 +0200 | fizbin_ | (~fizbin@user/fizbin) |
| 2024-05-28 02:47:33 +0200 | joeyadams | (~joeyadams@38.48.105.67) |
| 2024-05-28 03:10:18 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2024-05-28 03:26:20 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9755:68f6:487e:4599) (Ping timeout: 268 seconds) |
| 2024-05-28 03:26:57 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-28 03:33:12 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-28 03:33:31 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-28 03:41:57 +0200 | fizbin_ | (~fizbin@user/fizbin) (Remote host closed the connection) |
| 2024-05-28 03:42:16 +0200 | fizbin_ | (~fizbin@user/fizbin) |
| 2024-05-28 03:49:09 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2024-05-28 03:59:05 +0200 | mxs | (~mxs@user/mxs) (Ping timeout: 272 seconds) |
| 2024-05-28 04:05:15 +0200 | notzmv | (~daniel@user/notzmv) |
| 2024-05-28 04:07:11 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-05-28 04:12:24 +0200 | wroathe | (~wroathe@mobile-166-175-56-97.mycingular.net) |
| 2024-05-28 04:12:24 +0200 | wroathe | (~wroathe@mobile-166-175-56-97.mycingular.net) (Changing host) |
| 2024-05-28 04:12:24 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-05-28 04:12:59 +0200 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2024-05-28 04:13:05 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-05-28 04:15:08 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 260 seconds) |
| 2024-05-28 04:16:38 +0200 | mxs | (~mxs@user/mxs) |
| 2024-05-28 04:20:34 +0200 | fizbin_ | (~fizbin@user/fizbin) (Remote host closed the connection) |
| 2024-05-28 04:20:54 +0200 | fizbin_ | (~fizbin@user/fizbin) |
| 2024-05-28 04:24:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-05-28 04:26:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-28 04:44:44 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-05-28 04:50:50 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-28 04:56:59 +0200 | td_ | (~td@i5387090B.versanet.de) (Ping timeout: 264 seconds) |
| 2024-05-28 04:58:45 +0200 | td_ | (~td@i53870912.versanet.de) |
| 2024-05-28 05:08:33 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Remote host closed the connection) |
| 2024-05-28 05:15:39 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 05:20:26 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 05:30:53 +0200 | aforemny | (~aforemny@i59F516E7.versanet.de) (Ping timeout: 240 seconds) |
| 2024-05-28 05:31:31 +0200 | aforemny | (~aforemny@i59F516EF.versanet.de) |
| 2024-05-28 05:34:13 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 05:37:35 +0200 | mud | (~mud@user/kadoban) |
| 2024-05-28 05:37:41 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-05-28 05:38:44 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-28 05:44:34 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca) (Ping timeout: 255 seconds) |
| 2024-05-28 06:00:56 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 06:06:06 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-05-28 06:08:44 +0200 | mud | (~mud@user/kadoban) |
| 2024-05-28 06:13:03 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Remote host closed the connection) |
| 2024-05-28 06:16:20 +0200 | sudden | (~cat@user/sudden) (Quit: leaving) |
| 2024-05-28 06:19:25 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 06:19:50 +0200 | joeyadams | (~joeyadams@38.48.105.67) (Quit: Leaving) |
| 2024-05-28 06:23:51 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 06:27:09 +0200 | sudden | (~cat@user/sudden) |
| 2024-05-28 06:38:16 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-28 06:38:51 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 2024-05-28 06:48:16 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 256 seconds) |
| 2024-05-28 06:50:47 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-05-28 06:56:05 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 07:02:47 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-28 07:11:10 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 2024-05-28 07:14:48 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 07:16:28 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Read error: Connection reset by peer) |
| 2024-05-28 07:16:34 +0200 | BigKozlo_ | (~BigKozlow@194.5.60.133) |
| 2024-05-28 07:18:34 +0200 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2024-05-28 07:18:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-28 07:20:33 +0200 | zetef | (~quassel@95.77.17.251) |
| 2024-05-28 07:21:24 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-05-28 07:21:41 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 2024-05-28 07:21:45 +0200 | BigKozlo_ | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-28 07:24:49 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-28 07:26:47 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 07:30:06 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-28 07:31:47 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-28 07:31:48 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-05-28 07:34:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-28 07:35:53 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 07:37:54 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2024-05-28 07:40:17 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-28 07:40:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-05-28 07:40:40 +0200 | euleritian | (~euleritia@dynamic-176-003-021-196.176.3.pool.telefonica.de) |
| 2024-05-28 07:44:53 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 07:45:37 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 2024-05-28 07:45:40 +0200 | yeitrafferin | (~user@2a04:4540:7211:ae00:152f:3378:732c:f3dd) |
| 2024-05-28 07:46:57 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 255 seconds) |
| 2024-05-28 07:47:20 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-05-28 07:50:11 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-28 07:55:04 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 07:56:05 +0200 | bionade24 | (~quassel@2a03:4000:33:45b::1) (Ping timeout: 240 seconds) |
| 2024-05-28 07:56:36 +0200 | bionade24 | (~quassel@server2.oscloud.info) |
| 2024-05-28 07:57:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-28 07:59:40 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 07:59:40 +0200 | acidjnk | (~acidjnk@p200300d6e714dc80006b1211edb0087f.dip0.t-ipconnect.de) |
| 2024-05-28 08:00:47 +0200 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2024-05-28 08:04:04 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 08:08:41 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 08:10:46 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 08:13:24 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 268 seconds) |
| 2024-05-28 08:15:35 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-28 08:28:20 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 08:29:35 +0200 | kenran | (~user@user/kenran) |
| 2024-05-28 08:29:43 +0200 | euleritian | (~euleritia@dynamic-176-003-021-196.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-28 08:30:03 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-28 08:35:51 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 2024-05-28 08:41:47 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-28 08:46:36 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 08:50:52 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-28 08:56:24 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 09:01:11 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-28 09:05:57 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 09:12:19 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 2024-05-28 09:16:47 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-28 09:18:07 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Quit: WeeChat 4.2.2) |
| 2024-05-28 09:19:36 +0200 | titibandit | (~user@user/titibandit) |
| 2024-05-28 09:21:01 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-05-28 09:29:26 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 09:34:43 +0200 | bjorkint0sh | (~bjork@2600:1700:5400:c80:f334:68eb:cbb4:99fd) (Remote host closed the connection) |
| 2024-05-28 09:34:52 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 09:36:58 +0200 | bjorkint0sh | (~bjork@2600:1700:5400:c80:8572:7b8e:3c5f:b70) |
| 2024-05-28 09:38:12 +0200 | yeitrafferin | (~user@2a04:4540:7211:ae00:152f:3378:732c:f3dd) (Quit: Leaving) |
| 2024-05-28 09:48:04 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 09:48:49 +0200 | hammond | (proscan@user/hammond2) (Read error: Connection reset by peer) |
| 2024-05-28 09:52:47 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-28 09:52:47 +0200 | hammond | (proscan@gateway02.insomnia247.nl) |
| 2024-05-28 09:56:58 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 09:57:48 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-28 10:02:11 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-28 10:08:17 +0200 | bjork1intosh | (~bjork@2600:1700:5400:c80:8572:7b8e:3c5f:b70) |
| 2024-05-28 10:10:42 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-28 10:11:22 +0200 | danse-nr3 | (~danse-nr3@151.46.132.244) |
| 2024-05-28 10:11:29 +0200 | bjorkint0sh | (~bjork@2600:1700:5400:c80:8572:7b8e:3c5f:b70) (Ping timeout: 272 seconds) |
| 2024-05-28 10:12:12 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-28 10:12:15 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 10:16:53 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 10:17:38 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-05-28 10:20:47 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 10:24:24 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-05-28 10:26:26 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 10:28:53 +0200 | visilii | (~visilii@188.254.126.41) (Ping timeout: 240 seconds) |
| 2024-05-28 10:30:27 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 2024-05-28 10:31:39 +0200 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-28 10:32:43 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2024-05-28 10:39:19 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 10:44:43 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-28 10:49:28 +0200 | danse-nr3 | (~danse-nr3@151.46.132.244) (Ping timeout: 260 seconds) |
| 2024-05-28 10:49:35 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 10:53:31 +0200 | danse-nr3 | (~danse-nr3@151.46.132.244) |
| 2024-05-28 10:53:53 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-28 10:59:12 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 11:02:16 +0200 | zetef | (~quassel@95.77.17.251) |
| 2024-05-28 11:04:03 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 2024-05-28 11:08:00 +0200 | AlexNoo_ | AlexNoo |
| 2024-05-28 11:12:58 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 11:18:31 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 11:18:53 +0200 | zetef | (~quassel@95.77.17.251) (Ping timeout: 240 seconds) |
| 2024-05-28 11:20:56 +0200 | zetef | (~quassel@95.77.17.251) |
| 2024-05-28 11:21:12 +0200 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-05-28 11:21:51 +0200 | zetef | (~quassel@95.77.17.251) |
| 2024-05-28 11:22:26 +0200 | chele | (~chele@user/chele) |
| 2024-05-28 11:23:16 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 11:24:14 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
| 2024-05-28 11:27:54 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-28 11:28:02 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-28 11:32:28 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 11:33:42 +0200 | <dminuoso> | Assume a tree representing say memory chunks. Leaf nodes may be Free or InUse, while intermediate nodes are Split. Is there some formal term for merging free blocks back together, as a kind defragmentation? |
| 2024-05-28 11:36:37 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-05-28 11:36:54 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-28 11:37:55 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 2024-05-28 11:41:05 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 11:45:46 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 11:50:04 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 11:55:47 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-28 12:01:45 +0200 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-05-28 12:10:08 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 2024-05-28 12:14:52 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 12:15:45 +0200 | Guest|16 | (~Guest|16@115.76.93.19) |
| 2024-05-28 12:15:50 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-05-28 12:17:32 +0200 | Guest|16 | (~Guest|16@115.76.93.19) (Client Quit) |
| 2024-05-28 12:19:12 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-28 12:20:37 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-05-28 12:20:38 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-28 12:23:49 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 12:28:29 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-28 12:33:07 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 12:37:51 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 12:39:36 +0200 | <tomsmeding> | dminuoso: https://web.stanford.edu/class/archive/cs/cs107/cs107.1246/lectures/24/Lecture24.pdf "The process of combining adjacent free blocks is called coalescing." |
| 2024-05-28 12:40:05 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-28 12:40:16 +0200 | <dminuoso> | tomsmeding: Ahh, yeah, that seems to be the established term. |
| 2024-05-28 12:40:19 +0200 | <dminuoso> | Thanks. |
| 2024-05-28 12:41:00 +0200 | kenran | (~user@user/kenran) (Ping timeout: 260 seconds) |
| 2024-05-28 12:42:13 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 12:45:37 +0200 | vpan | (~vpan@212.117.1.172) |
| 2024-05-28 12:46:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-28 12:46:36 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 2024-05-28 12:49:14 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 256 seconds) |
| 2024-05-28 12:51:19 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 12:51:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-28 12:57:41 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 12:58:58 +0200 | danse-nr3 | (~danse-nr3@151.46.132.244) (Remote host closed the connection) |
| 2024-05-28 12:59:21 +0200 | danse-nr3 | (~danse-nr3@151.46.132.244) |
| 2024-05-28 13:00:43 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 13:01:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5bb0:16d5:561c:69e5) |
| 2024-05-28 13:05:39 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 2024-05-28 13:14:25 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 13:15:14 +0200 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 252 seconds) |
| 2024-05-28 13:19:29 +0200 | AlexZenon | (~alzenon@5.139.233.96) |
| 2024-05-28 13:19:38 +0200 | danse-nr3 | (~danse-nr3@151.46.132.244) (Ping timeout: 252 seconds) |
| 2024-05-28 13:19:55 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 13:22:07 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-05-28 13:24:49 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 13:26:59 +0200 | fizbin_ | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 2024-05-28 13:29:26 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-28 13:32:42 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-05-28 13:33:58 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 13:38:18 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-05-28 13:38:41 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-28 13:38:52 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-28 13:41:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-28 13:43:06 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 13:46:42 +0200 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 268 seconds) |
| 2024-05-28 13:47:24 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-28 13:52:15 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 13:53:53 +0200 | fizbin_ | (~fizbin@user/fizbin) |
| 2024-05-28 13:54:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-28 13:54:19 +0200 | rodney____ | (~Rodney@176.254.244.83) |
| 2024-05-28 13:54:43 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 268 seconds) |
| 2024-05-28 13:55:37 +0200 | CiaoSen | (~Jura@2a05:5800:299:5100:e6b9:7aff:fe80:3d03) |
| 2024-05-28 13:55:56 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-05-28 13:57:35 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-28 14:02:08 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 14:06:35 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-28 14:07:40 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-05-28 14:11:36 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 14:12:27 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-05-28 14:15:18 +0200 | AlexZenon | (~alzenon@5.139.233.96) |
| 2024-05-28 14:15:46 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-28 14:16:22 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 14:20:41 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-28 14:24:50 +0200 | danse-nr3 | (~danse-nr3@151.35.123.183) |
| 2024-05-28 14:25:33 +0200 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 268 seconds) |
| 2024-05-28 14:33:15 +0200 | fizbin_ | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 2024-05-28 14:33:23 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) |
| 2024-05-28 14:44:27 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 14:46:10 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:141:4c76:293:dbb5) |
| 2024-05-28 14:49:11 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-28 14:50:52 +0200 | AlexZenon | (~alzenon@5.139.233.96) |
| 2024-05-28 14:53:25 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 14:58:11 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-28 14:58:32 +0200 | AlexZenon | (~alzenon@5.139.233.96) (Quit: ;-) |
| 2024-05-28 14:58:44 +0200 | AlexNoo | (~AlexNoo@5.139.233.96) (Quit: Leaving) |
| 2024-05-28 15:02:41 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 15:06:28 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-05-28 15:07:29 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-28 15:09:00 +0200 | AlexNoo | (~AlexNoo@5.139.233.96) |
| 2024-05-28 15:10:11 +0200 | basicnpc | (~asleep@user/basicnpc) |
| 2024-05-28 15:10:27 +0200 | <basicnpc> | Is there a haskell language extension that uses CoC type system? |
| 2024-05-28 15:11:34 +0200 | <basicnpc> | (CoC in terms of the most expressible entry in the lambda cube https://en.wikipedia.org/wiki/Lambda_cube) |
| 2024-05-28 15:11:44 +0200 | fizbin_ | (~fizbin@user/fizbin) |
| 2024-05-28 15:12:59 +0200 | <ncf> | dependent haskell isn't here yet |
| 2024-05-28 15:13:17 +0200 | <ncf> | but agda exists and can extract to haskell :) |
| 2024-05-28 15:14:05 +0200 | <kuribas> | basicnpc: what do you need exactly? |
| 2024-05-28 15:14:52 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 256 seconds) |
| 2024-05-28 15:14:56 +0200 | <kuribas> | I'd say dependent types are the most expressive types, but ergonomics can vary between languages. |
| 2024-05-28 15:15:09 +0200 | AlexZenon | (~alzenon@5.139.233.96) |
| 2024-05-28 15:17:22 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 15:19:34 +0200 | <basicnpc> | ncf "Extract to haskell"? |
| 2024-05-28 15:19:53 +0200 | <basicnpc> | kuribas Actually, I'm trying to add a good type system for a language I like. |
| 2024-05-28 15:19:54 +0200 | <ncf> | https://github.com/agda/agda2hs or the GHC backend |
| 2024-05-28 15:20:09 +0200 | <basicnpc> | And I wonder if I should aim for CoC, or even more. |
| 2024-05-28 15:20:21 +0200 | <basicnpc> | "even more": for example.. pure type systems. |
| 2024-05-28 15:21:11 +0200 | <basicnpc> | kuribas Dependent Type is one of the dimensions in the lambda cube. I wonder if the other dimensions are needed. |
| 2024-05-28 15:21:31 +0200 | <kuribas> | basicnpc: adding a type system to an existing dynamic language not made with typing in mind is hard. |
| 2024-05-28 15:21:40 +0200 | <danse-nr3> | seems misleading to model such topics like a single dimension where one can "aim at the top" |
| 2024-05-28 15:21:57 +0200 | <basicnpc> | ncf Cool.. does agda2hs make agda a programming language for general purpose? |
| 2024-05-28 15:22:00 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 2024-05-28 15:22:07 +0200 | <kuribas> | It is easier to create a new typed language using the existing language as inspiration. |
| 2024-05-28 15:22:16 +0200 | <basicnpc> | kuribas That's the challenge :) It's a lisp so it's easier. |
| 2024-05-28 15:22:32 +0200 | <kuribas> | basicnpc: which one? :-) |
| 2024-05-28 15:22:35 +0200 | <kuribas> | clojure? |
| 2024-05-28 15:22:37 +0200 | <basicnpc> | Common lisp. |
| 2024-05-28 15:22:50 +0200 | ystael | (~ystael@user/ystael) |
| 2024-05-28 15:22:58 +0200 | <kuribas> | basicnpc: https://coalton-lang.github.io/ |
| 2024-05-28 15:23:03 +0200 | <basicnpc> | It will be a new language, but the interop with common lisp must be smooth. |
| 2024-05-28 15:23:08 +0200 | <basicnpc> | coalton only has basic types |
| 2024-05-28 15:23:15 +0200 | <basicnpc> | no dependent types.. no monad |
| 2024-05-28 15:23:22 +0200 | <kuribas> | it has monads AFAIK |
| 2024-05-28 15:23:31 +0200 | <basicnpc> | ?! |
| 2024-05-28 15:23:31 +0200 | <lambdabot> | Maybe you meant: v @ ? . |
| 2024-05-28 15:23:43 +0200 | <basicnpc> | (I don't know what v @ ? . mean.) |
| 2024-05-28 15:24:13 +0200 | <kuribas> | basicnpc: https://github.com/coalton-lang/coalton/blob/main/docs/intro-to-coalton.md#builtin-typeclasses |
| 2024-05-28 15:24:24 +0200 | <kuribas> | basicnpc: disclaimer: I never used coalton |
| 2024-05-28 15:25:11 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-28 15:25:18 +0200 | <basicnpc> | Hmm monads are mentioned. Good.. the doc is kept terse on them though. I should try using it. |
| 2024-05-28 15:25:26 +0200 | <basicnpc> | But no, it doesn't have dependent types. |
| 2024-05-28 15:25:50 +0200 | <basicnpc> | But that's fine. Before I even implement a stronger type system for common lisp, I want to know what are the practical possibilities. |
| 2024-05-28 15:26:02 +0200 | <kuribas> | basicnpc: if you want dependent types, I would spend some time with idris. |
| 2024-05-28 15:26:15 +0200 | <basicnpc> | So the questions - Is CoC good enough? Are the stronger type systems that improve expressibility (with examples)? |
| 2024-05-28 15:26:20 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 15:26:35 +0200 | <danse-nr3> | "good enough", repeating myself... |
| 2024-05-28 15:26:37 +0200 | <danse-nr3> | seems misleading to model such topics like a single dimension where one can "aim at the top" |
| 2024-05-28 15:27:02 +0200 | <basicnpc> | danse-nr3 what do you mean? |
| 2024-05-28 15:27:42 +0200 | <danse-nr3> | these are complex tools developed organically over time to suit different purposes |
| 2024-05-28 15:28:50 +0200 | <basicnpc> | And then now you have haskell that suffers from not having dependent types.. |
| 2024-05-28 15:29:01 +0200 | <kuribas> | basicnpc: you could write an idris backend for common lisp. |
| 2024-05-28 15:29:09 +0200 | <kuribas> | basicnpc: any interop will be done with the FFI. |
| 2024-05-28 15:29:09 +0200 | danse-nr3 | gives up |
| 2024-05-28 15:29:11 +0200 | <kuribas> | idris2 though. |
| 2024-05-28 15:29:23 +0200 | <kuribas> | basicnpc: it would be the least effort IMO. |
| 2024-05-28 15:29:39 +0200 | <basicnpc> | Does idris2 have full CoC? |
| 2024-05-28 15:29:58 +0200 | <kuribas> | I don't know what full CoC means... |
| 2024-05-28 15:30:14 +0200 | <kuribas> | idris2 is based on QTT |
| 2024-05-28 15:31:49 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-28 15:31:58 +0200 | <basicnpc> | kuribas Full CoC is where all 3 dimensions in https://en.wikipedia.org/wiki/Lambda_cube are fulfilled. |
| 2024-05-28 15:32:11 +0200 | <kuribas> | I'd say "yes", from the wikipedia definition. |
| 2024-05-28 15:32:15 +0200 | <basicnpc> | types on terms, terms on types, types on types |
| 2024-05-28 15:33:23 +0200 | fizbin_ | (~fizbin@user/fizbin) (Ping timeout: 268 seconds) |
| 2024-05-28 15:33:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-05-28 15:34:30 +0200 | euleritian | (~euleritia@dynamic-176-006-181-157.176.6.pool.telefonica.de) |
| 2024-05-28 15:34:37 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 2024-05-28 15:34:44 +0200 | <ncf> | consider also learning about Martin-Löf type theory (on which Agda is based). IME nobody ever thinks about the "lambda cube" or pure type systems these days except people learning about dependent types from wikipedia |
| 2024-05-28 15:34:44 +0200 | <kuribas> | basicnpc: idris2 was made to be backend agnostic, to make it easy to port. |
| 2024-05-28 15:35:26 +0200 | <kuribas> | it's not lispy though. |
| 2024-05-28 15:35:41 +0200 | <kuribas> | Perhaps you could make a lispy parser that generates idris2 AST. |
| 2024-05-28 15:35:50 +0200 | <basicnpc> | A backend is scheme :-) Yeah, on this road I must get into idris2 at some point no matter what. |
| 2024-05-28 15:36:38 +0200 | <basicnpc> | Is there any advantage for haskell to not have dependent types, except that it's hard to maintain backward compatibility? |
| 2024-05-28 15:36:41 +0200 | <kuribas> | basicnpc: if you succeed, let me know, I'd be interested :) |
| 2024-05-28 15:36:57 +0200 | <basicnpc> | (e.g. maybe having dependent types is going to slow down the compiler or the compiled code? just guesses) |
| 2024-05-28 15:38:18 +0200 | <kuribas> | maybe... maybe not... |
| 2024-05-28 15:38:45 +0200 | <kuribas> | at some point haskell will become the C++ of static functional languages. |
| 2024-05-28 15:39:02 +0200 | <kuribas> | Maybe it already is... |
| 2024-05-28 15:41:18 +0200 | <kuribas> | basicnpc: I am not against dependent types in haskell, but it adds a lot of complexity to the compiler, and becomes just another feature. |
| 2024-05-28 15:41:38 +0200 | <kuribas> | I think exploring proper DT language is a better way, like idris2. |
| 2024-05-28 15:41:54 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 2024-05-28 15:42:09 +0200 | average | (uid473595@user/average) |
| 2024-05-28 15:43:06 +0200 | <basicnpc> | There's a reddit post that says having dependent type systems like CoC makes side-effects difficult to have. |
| 2024-05-28 15:43:26 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-28 15:43:28 +0200 | <kuribas> | nope |
| 2024-05-28 15:43:30 +0200 | <ncf> | wrong |
| 2024-05-28 15:43:34 +0200 | <basicnpc> | Not sure how accurate it is.. don't we just wrap them in monads? https://www.reddit.com/r/ProgrammingLanguages/comments/1aywa3m/why_is_calculus_of_constructions_no… |
| 2024-05-28 15:43:57 +0200 | <basicnpc> | ( I was referring to ianzen's answer. ) |
| 2024-05-28 15:44:26 +0200 | <ncf> | having *non-termination* is the one that requires more effort than in haskell (some mechanism for coinduction, basically) |
| 2024-05-28 15:44:57 +0200 | <ncf> | see e.g. https://strathprints.strath.ac.uk/60166/1/McBride_LNCS2015_Turing_completeness_totally_free.pdf or https://agda.github.io/agda-stdlib/master/README.IO.html |
| 2024-05-28 15:45:40 +0200 | <kuribas> | basicnpc: lot's of myths around dependent types that get repeated. |
| 2024-05-28 15:45:51 +0200 | <kuribas> | basicnpc: you just don't want sideeffects in types. |
| 2024-05-28 15:46:14 +0200 | <basicnpc> | Yeah. There are lots of myths. How do I get to thinking of these independently? |
| 2024-05-28 15:46:22 +0200 | <basicnpc> | Good academic surveys ever written? |
| 2024-05-28 15:46:35 +0200 | <kuribas> | basicnpc: by learning and using idris2 :) |
| 2024-05-28 15:46:47 +0200 | <basicnpc> | ncf non-termination? Wikipedia says CoC is strongly normalizable.. |
| 2024-05-28 15:46:47 +0200 | <kuribas> | or agda/coq/... |
| 2024-05-28 15:47:16 +0200 | <basicnpc> | kuribas Sounds like a nice way to start (I will choose idris2). |
| 2024-05-28 15:47:25 +0200 | <ncf> | basicnpc: it is, but that doesn't prevent you from writing corecursive programs that represent endless computations |
| 2024-05-28 15:47:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-28 15:47:47 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-28 15:48:04 +0200 | <kuribas> | basicnpc: btw, most of the discussion occur on idris2 discord |
| 2024-05-28 15:48:08 +0200 | <basicnpc> | What is "co"recursive? |
| 2024-05-28 15:48:31 +0200 | <basicnpc> | kuribas Oh! Yeah, #idris doesn't have many people. Thanks for the hint! |
| 2024-05-28 15:50:45 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-28 15:50:59 +0200 | joeyadams | (~joeyadams@38.48.105.67) |
| 2024-05-28 15:51:18 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-28 15:54:43 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 15:58:06 +0200 | basicnpc | (~asleep@user/basicnpc) (Using Circe, the loveliest of all IRC clients) |
| 2024-05-28 15:59:01 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 15:59:41 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 2024-05-28 16:03:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-28 16:03:50 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 16:05:51 +0200 | zetef | (~quassel@95.77.17.251) |
| 2024-05-28 16:08:32 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-28 16:13:11 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-28 16:13:21 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 16:15:56 +0200 | danse-nr3 | (~danse-nr3@151.35.123.183) (Ping timeout: 268 seconds) |
| 2024-05-28 16:23:57 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-28 16:26:22 +0200 | euleritian | (~euleritia@dynamic-176-006-181-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-28 16:26:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-28 16:28:13 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 16:32:50 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-05-28 16:32:56 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 2024-05-28 16:32:59 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-05-28 16:33:52 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-28 16:37:12 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 16:41:17 +0200 | danse-nr3 | (~danse-nr3@151.35.123.183) |
| 2024-05-28 16:41:59 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-28 16:42:08 +0200 | magus3 | (~Thunderbi@2804:14c:65e4:8219:49df:fabe:64d3:4a71) |
| 2024-05-28 16:43:12 +0200 | magus3 | (~Thunderbi@2804:14c:65e4:8219:49df:fabe:64d3:4a71) (Client Quit) |
| 2024-05-28 16:46:23 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 16:47:25 +0200 | danse-nr3 | (~danse-nr3@151.35.123.183) (Ping timeout: 255 seconds) |
| 2024-05-28 16:50:50 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-28 16:51:19 +0200 | danse-nr3 | (~danse-nr3@151.35.123.183) |
| 2024-05-28 16:55:28 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 17:00:37 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 2024-05-28 17:01:00 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-05-28 17:01:17 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2024-05-28 17:04:37 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 17:09:59 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 17:13:03 +0200 | CiaoSen | (~Jura@2a05:5800:299:5100:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 2024-05-28 17:14:34 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-05-28 17:17:26 +0200 | falafel_ | (~falafel@173-245-203-52.iad.as54203.net) |
| 2024-05-28 17:17:50 +0200 | zetef | (~quassel@95.77.17.251) (Ping timeout: 256 seconds) |
| 2024-05-28 17:19:31 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 17:20:06 +0200 | danse-nr3 | (~danse-nr3@151.35.123.183) (Read error: Connection reset by peer) |
| 2024-05-28 17:20:57 +0200 | danse-nr3 | (~danse-nr3@151.44.187.117) |
| 2024-05-28 17:23:50 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-28 17:28:24 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 17:31:16 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-28 17:33:01 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-28 17:34:50 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-05-28 17:37:51 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 17:42:09 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 17:43:00 +0200 | shailangsa | (~shailangs@host86-158-128-238.range86-158.btcentralplus.com) |
| 2024-05-28 17:44:09 +0200 | ak-1 | (~ak-1@149.50.189.92) |
| 2024-05-28 17:47:00 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 17:51:35 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-28 17:55:58 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 18:01:28 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 18:02:02 +0200 | danse-nr3 | (~danse-nr3@151.44.187.117) (Remote host closed the connection) |
| 2024-05-28 18:02:25 +0200 | danse-nr3 | (~danse-nr3@151.44.187.117) |
| 2024-05-28 18:04:14 +0200 | falafel_ | (~falafel@173-245-203-52.iad.as54203.net) (Quit: Leaving) |
| 2024-05-28 18:05:05 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 268 seconds) |
| 2024-05-28 18:05:19 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:141:4c76:293:dbb5) (Quit: ubert) |
| 2024-05-28 18:07:50 +0200 | danse-nr3 | (~danse-nr3@151.44.187.117) (Ping timeout: 252 seconds) |
| 2024-05-28 18:08:28 +0200 | danse-nr3 | (~danse-nr3@151.57.100.115) |
| 2024-05-28 18:11:40 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-28 18:11:53 +0200 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-05-28 18:12:35 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2024-05-28 18:17:59 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-28 18:18:07 +0200 | danse-nr3 | (~danse-nr3@151.57.100.115) (Remote host closed the connection) |
| 2024-05-28 18:18:08 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-28 18:18:31 +0200 | danse-nr3 | (~danse-nr3@151.57.100.115) |
| 2024-05-28 18:19:25 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-05-28 18:20:42 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 18:21:21 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Client Quit) |
| 2024-05-28 18:25:26 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-28 18:31:47 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 264 seconds) |
| 2024-05-28 18:34:22 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 2024-05-28 18:37:32 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-05-28 18:37:35 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 18:44:08 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-28 18:45:23 +0200 | yeitrafferin | (~user@2a04:4540:7211:ae00:1df6:65e4:9476:4bd2) |
| 2024-05-28 18:48:47 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 18:53:21 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 2024-05-28 18:57:55 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 18:59:15 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) (Ping timeout: 255 seconds) |
| 2024-05-28 19:00:35 +0200 | ocra8 | (ocra8@user/ocra8) (Ping timeout: 268 seconds) |
| 2024-05-28 19:02:25 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-28 19:05:19 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-05-28 19:09:09 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-28 19:13:31 +0200 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) |
| 2024-05-28 19:17:38 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-05-28 19:21:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-05-28 19:28:05 +0200 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Read error: Connection reset by peer) |
| 2024-05-28 19:28:21 +0200 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) |
| 2024-05-28 19:28:45 +0200 | rustisafungus | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-05-28 19:29:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-28 19:31:00 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 19:35:44 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-28 19:40:06 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 19:44:59 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-28 19:46:11 +0200 | billchenchina | (~billchenc@103.152.35.21) (Quit: Leaving) |
| 2024-05-28 19:49:14 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 19:49:42 +0200 | euleritian | (~euleritia@dynamic-176-006-183-185.176.6.pool.telefonica.de) |
| 2024-05-28 19:53:59 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-28 19:56:14 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 19:56:48 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) |
| 2024-05-28 20:03:10 +0200 | actfulCitrusT | (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) (Ping timeout: 255 seconds) |
| 2024-05-28 20:04:30 +0200 | rustisafungus | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2024-05-28 20:06:15 +0200 | dtman34 | (~dtman34@2601:447:d001:ed50:ebe5:b36d:357b:8a39) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-05-28 20:06:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-05-28 20:06:36 +0200 | dtman34 | (~dtman34@2601:447:d001:ed50:553c:bc43:c586:7cbd) |
| 2024-05-28 20:07:08 +0200 | danse-nr3 | (~danse-nr3@151.57.100.115) (Ping timeout: 260 seconds) |
| 2024-05-28 20:17:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-28 20:26:52 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-05-28 20:30:29 +0200 | fliife | (~fliife@user/fliife) |
| 2024-05-28 20:33:58 +0200 | fliife | (~fliife@user/fliife) (Client Quit) |
| 2024-05-28 20:42:34 +0200 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-28 20:45:29 +0200 | fliife | (~fliife@user/fliife) |
| 2024-05-28 20:45:30 +0200 | michalz | (~michalz@185.246.207.217) |
| 2024-05-28 20:57:35 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-05-28 20:59:29 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Remote host closed the connection) |
| 2024-05-28 21:04:44 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 21:12:30 +0200 | ak-1 | (~ak-1@149.50.189.92) (Quit: Client closed) |
| 2024-05-28 21:26:13 +0200 | euleritian | (~euleritia@dynamic-176-006-183-185.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-28 21:26:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-28 21:28:30 +0200 | <tomsmeding> | this is a useful web page: https://gitlab.haskell.org/ghc/ghc/-/wikis/GHC-status (spotted it in a mailing list post) |
| 2024-05-28 21:28:54 +0200 | <tomsmeding> | (the 9.10 row is outdated because 9.10.1 is out, but close enough) |
| 2024-05-28 21:29:07 +0200 | <geekosaur> | it's also in the #ghc channel/room topic |
| 2024-05-28 21:29:18 +0200 | <tomsmeding> | ah, it is :) |
| 2024-05-28 21:29:26 +0200 | <tomsmeding> | but many people aren't in there |
| 2024-05-28 21:30:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-28 21:30:43 +0200 | fizbin_ | (~fizbin@user/fizbin) |
| 2024-05-28 21:32:59 +0200 | <sm> | nice one, let's remember it |
| 2024-05-28 21:33:14 +0200 | <sm> | @where+ ghc-status https://gitlab.haskell.org/ghc/ghc/-/wikis/GHC-status |
| 2024-05-28 21:33:15 +0200 | <lambdabot> | I will never forget. |
| 2024-05-28 21:35:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-05-28 21:36:11 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
| 2024-05-28 21:36:47 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-05-28 21:41:17 +0200 | fizbin_ | (~fizbin@user/fizbin) (Ping timeout: 240 seconds) |
| 2024-05-28 21:51:01 +0200 | <sm> | https://haskell-links.org/ghc-status |
| 2024-05-28 21:56:23 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-28 21:59:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-28 22:00:12 +0200 | <sm> | @where+ haskell-for-the-elm-enthusiast https://blog.noredink.com/post/658510851000713216/haskell-for-the-elm-enthusiast |
| 2024-05-28 22:00:12 +0200 | <lambdabot> | It is forever etched in my memory. |
| 2024-05-28 22:02:06 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-28 22:04:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-28 22:09:02 +0200 | yeitrafferin | (~user@2a04:4540:7211:ae00:1df6:65e4:9476:4bd2) (Quit: Leaving) |
| 2024-05-28 22:14:00 +0200 | kuribas | (~user@ptr-17d51em5w44jclmr6dp.18120a2.ip6.access.telenet.be) |
| 2024-05-28 22:14:53 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-05-28 22:23:53 +0200 | michalz | (~michalz@185.246.207.217) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-28 22:24:15 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-05-28 22:26:13 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-05-28 22:30:32 +0200 | michalz | (~michalz@185.246.207.221) (Client Quit) |
| 2024-05-28 22:43:40 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 2024-05-28 22:49:17 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-28 22:50:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-28 22:52:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-28 22:53:29 +0200 | kuribas | (~user@ptr-17d51em5w44jclmr6dp.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2024-05-28 22:53:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-28 23:01:35 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-28 23:04:53 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2024-05-28 23:15:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-28 23:16:12 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-28 23:18:52 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-28 23:18:52 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-05-28 23:18:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-28 23:18:58 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 23:19:46 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-28 23:19:52 +0200 | califax | (~califax@user/califx) |
| 2024-05-28 23:21:25 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) |
| 2024-05-28 23:23:59 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-28 23:24:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-28 23:28:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-28 23:30:41 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-05-28 23:31:11 +0200 | Square | (~Square@user/square) |
| 2024-05-28 23:31:37 +0200 | pavonia | (~user@user/siracusa) |
| 2024-05-28 23:32:02 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-28 23:32:14 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-28 23:32:28 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2024-05-28 23:32:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-28 23:35:14 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2024-05-28 23:37:00 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 2024-05-28 23:37:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-05-28 23:38:19 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 23:40:08 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: mesaoptimizer) |
| 2024-05-28 23:40:17 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-05-28 23:41:48 +0200 | foul_owl | (~kerry@185.219.141.164) (Ping timeout: 260 seconds) |
| 2024-05-28 23:42:41 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-05-28 23:43:10 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-28 23:43:28 +0200 | fliife | (~fliife@user/fliife) |
| 2024-05-28 23:43:41 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-28 23:43:45 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-05-28 23:44:36 +0200 | titibandit | (~user@user/titibandit) (Ping timeout: 260 seconds) |
| 2024-05-28 23:49:44 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2024-05-28 23:50:25 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-05-28 23:56:15 +0200 | foul_owl | (~kerry@174-21-146-130.tukw.qwest.net) |
| 2024-05-28 23:56:48 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-05-28 23:56:55 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-28 23:57:17 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |