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