| 2023-11-24 00:00:46 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-11-24 00:00:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-24 00:01:47 +0100 | Square2 | (~Square4@user/square) |
| 2023-11-24 00:05:27 +0100 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) |
| 2023-11-24 00:16:44 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-11-24 00:19:30 +0100 | kiriakos | (~kiriakos@p57b644d2.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-11-24 00:24:14 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-11-24 00:33:58 +0100 | acidjnk | (~acidjnk@p200300d6e72b931450e7445b70f008d5.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2023-11-24 00:45:26 +0100 | Buggys | (Buggys@shelltalk.net) |
| 2023-11-24 00:47:47 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
| 2023-11-24 00:49:18 +0100 | xff0x | (~xff0x@2405:6580:b080:900:7037:3ff0:3081:873c) (Ping timeout: 268 seconds) |
| 2023-11-24 00:51:06 +0100 | xff0x | (~xff0x@178.255.149.135) |
| 2023-11-24 01:00:17 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-24 01:09:53 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 256 seconds) |
| 2023-11-24 01:11:32 +0100 | xff0x | (~xff0x@2405:6580:b080:900:65fe:c9b9:47ec:1d59) |
| 2023-11-24 01:13:57 +0100 | rosco | (~rosco@175.136.157.149) |
| 2023-11-24 01:27:35 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-11-24 01:34:13 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 01:38:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Remote host closed the connection) |
| 2023-11-24 01:38:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 01:48:04 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 255 seconds) |
| 2023-11-24 01:49:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Remote host closed the connection) |
| 2023-11-24 02:03:35 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2023-11-24 02:20:40 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 02:54:55 +0100 | ubert | (~Thunderbi@77.119.201.196.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 2023-11-24 02:54:58 +0100 | ubert1 | (~Thunderbi@91.141.78.5.wireless.dyn.drei.com) |
| 2023-11-24 02:55:25 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:698e:6541:5135:328b) (Ping timeout: 256 seconds) |
| 2023-11-24 02:57:15 +0100 | ubert1 | ubert |
| 2023-11-24 03:02:53 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-24 03:05:41 +0100 | phma | (phma@2001:5b0:210b:89e8:16ba:34b7:2884:aff3) (Read error: Connection reset by peer) |
| 2023-11-24 03:06:05 +0100 | phma | (~phma@host-67-44-208-228.hnremote.net) |
| 2023-11-24 03:07:55 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-11-24 03:08:24 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-11-24 03:09:58 +0100 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) (Ping timeout: 276 seconds) |
| 2023-11-24 03:10:15 +0100 | shapr | (~user@2600:1700:c640:3100:fa7f:cf3a:ef76:fe4f) (Remote host closed the connection) |
| 2023-11-24 03:10:29 +0100 | shapr | (~user@2600:1700:c640:3100:94b0:159a:964a:a6db) |
| 2023-11-24 03:14:28 +0100 | erty | (~user@user/aeroplane) (Ping timeout: 255 seconds) |
| 2023-11-24 03:23:40 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-24 03:28:25 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-24 03:29:13 +0100 | qhong_ | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) |
| 2023-11-24 03:30:36 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
| 2023-11-24 03:32:10 +0100 | xff0x | (~xff0x@2405:6580:b080:900:65fe:c9b9:47ec:1d59) (Ping timeout: 256 seconds) |
| 2023-11-24 03:32:44 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 256 seconds) |
| 2023-11-24 03:40:08 +0100 | arahael_ | (~arahael@1.145.75.87) |
| 2023-11-24 03:43:53 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Remote host closed the connection) |
| 2023-11-24 03:45:05 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-11-24 03:50:32 +0100 | phma | (~phma@host-67-44-208-228.hnremote.net) (Read error: Connection reset by peer) |
| 2023-11-24 03:51:14 +0100 | phma | (phma@2001:5b0:2172:b618:6003:f20e:7dc2:df89) |
| 2023-11-24 03:56:23 +0100 | rosco | (~rosco@175.136.157.149) (Ping timeout: 264 seconds) |
| 2023-11-24 03:59:35 +0100 | otto_s | (~user@p5de2fa4f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-11-24 04:01:08 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 04:01:27 +0100 | otto_s | (~user@p5de2fb7f.dip0.t-ipconnect.de) |
| 2023-11-24 04:03:28 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Quit: Konversation terminated!) |
| 2023-11-24 04:04:45 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2023-11-24 04:11:50 +0100 | td_ | (~td@i53870908.versanet.de) (Ping timeout: 256 seconds) |
| 2023-11-24 04:13:39 +0100 | td_ | (~td@i53870903.versanet.de) |
| 2023-11-24 04:13:51 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Remote host closed the connection) |
| 2023-11-24 04:19:43 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-11-24 04:26:18 +0100 | rosco | (~rosco@175.136.157.149) |
| 2023-11-24 04:29:38 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-11-24 04:41:08 +0100 | rosco | (~rosco@175.136.157.149) (Quit: Lost terminal) |
| 2023-11-24 04:50:26 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-24 04:51:16 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 04:51:52 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-11-24 04:51:52 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-11-24 04:51:52 +0100 | finn_elija | FinnElija |
| 2023-11-24 04:53:20 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-11-24 04:54:25 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 260 seconds) |
| 2023-11-24 04:57:36 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Remote host closed the connection) |
| 2023-11-24 04:57:51 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-11-24 05:06:09 +0100 | arahael_ | (~arahael@1.145.75.87) (Ping timeout: 252 seconds) |
| 2023-11-24 05:08:39 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 05:11:16 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-11-24 05:11:44 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 05:14:56 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2023-11-24 05:22:53 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Remote host closed the connection) |
| 2023-11-24 05:26:02 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-24 05:26:34 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 05:29:16 +0100 | lg1887 | (~lg188@82.18.98.230) |
| 2023-11-24 05:29:39 +0100 | lg188 | (~lg188@82.18.98.230) (Read error: Connection reset by peer) |
| 2023-11-24 05:29:39 +0100 | lg1887 | lg188 |
| 2023-11-24 05:32:26 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2023-11-24 05:35:25 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2023-11-24 05:36:42 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 05:40:43 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds) |
| 2023-11-24 05:44:13 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 05:49:13 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds) |
| 2023-11-24 05:51:31 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds) |
| 2023-11-24 05:53:27 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 05:58:31 +0100 | aforemny_ | (~aforemny@i59F516C3.versanet.de) |
| 2023-11-24 05:59:01 +0100 | aforemny | (~aforemny@2001:9e8:6ce4:5400:325b:4a16:b2ac:85e3) (Ping timeout: 256 seconds) |
| 2023-11-24 05:59:42 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 260 seconds) |
| 2023-11-24 06:07:35 +0100 | gtdg | (~gtdg@user/gtdg) (Quit: Client closed) |
| 2023-11-24 06:07:55 +0100 | gtdg | (~gtdg@user/gtdg) |
| 2023-11-24 06:08:56 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2023-11-24 06:11:28 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 06:14:26 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2023-11-24 06:17:43 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2023-11-24 06:27:14 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-11-24 06:28:43 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 06:28:47 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-11-24 06:34:26 +0100 | kiriakos | (~kiriakos@p57b65945.dip0.t-ipconnect.de) |
| 2023-11-24 06:35:09 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2023-11-24 06:35:15 +0100 | foul_owl | (~kerry@185.219.141.164) (Ping timeout: 268 seconds) |
| 2023-11-24 06:40:53 +0100 | rosco | (~rosco@175.136.157.149) |
| 2023-11-24 06:43:47 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-24 06:46:14 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 06:48:56 +0100 | foul_owl | (~kerry@157.97.134.168) |
| 2023-11-24 06:49:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2023-11-24 06:49:26 +0100 | euleritian | (~euleritia@dynamic-046-114-200-190.46.114.pool.telefonica.de) |
| 2023-11-24 06:51:27 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Max SendQ exceeded) |
| 2023-11-24 06:52:14 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 06:58:15 +0100 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2023-11-24 07:00:40 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-11-24 07:00:49 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds) |
| 2023-11-24 07:09:22 +0100 | euleritian | (~euleritia@dynamic-046-114-200-190.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-11-24 07:09:47 +0100 | euleritian | (~euleritia@dynamic-046-114-200-190.46.114.pool.telefonica.de) |
| 2023-11-24 07:11:22 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-11-24 07:12:34 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 07:13:49 +0100 | acidjnk | (~acidjnk@p200300d6e72b9394810768b040d6fb4f.dip0.t-ipconnect.de) |
| 2023-11-24 07:13:49 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2023-11-24 07:13:53 +0100 | takuan_dozo | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-11-24 07:18:21 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2023-11-24 07:26:13 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-11-24 07:30:00 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 07:35:44 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2023-11-24 07:36:56 +0100 | _xor | (~xor@72.49.195.41) (Quit: brb/bbiab) |
| 2023-11-24 07:40:22 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-11-24 07:45:19 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:2d3f:f450:274a:8293) |
| 2023-11-24 07:47:39 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 07:52:49 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
| 2023-11-24 07:56:00 +0100 | _xor | (~xor@72.49.195.41) |
| 2023-11-24 07:56:23 +0100 | analoq | (~yashi@user/dies) (Ping timeout: 264 seconds) |
| 2023-11-24 07:56:50 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2023-11-24 07:58:05 +0100 | analoq | (~yashi@user/dies) |
| 2023-11-24 07:58:50 +0100 | kenran | (~user@user/kenran) |
| 2023-11-24 08:00:46 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2023-11-24 08:00:58 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) |
| 2023-11-24 08:05:10 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-11-24 08:14:27 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 08:19:04 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:2d3f:f450:274a:8293) (Ping timeout: 246 seconds) |
| 2023-11-24 08:21:49 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds) |
| 2023-11-24 08:23:39 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-11-24 08:31:08 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-11-24 08:31:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-24 08:33:13 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 08:36:48 +0100 | axeman | (~quassel@91.64.172.30) |
| 2023-11-24 08:38:26 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:63f4:f4a4:e300:bd7e) |
| 2023-11-24 08:39:26 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2023-11-24 08:42:13 +0100 | shriekingnoise_ | (~shrieking@186.137.175.87) (Ping timeout: 256 seconds) |
| 2023-11-24 08:42:28 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-11-24 08:43:30 +0100 | kenran` | (~user@user/kenran) |
| 2023-11-24 08:45:22 +0100 | kenran | (~user@user/kenran) (Ping timeout: 268 seconds) |
| 2023-11-24 08:45:22 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) (Ping timeout: 260 seconds) |
| 2023-11-24 08:46:35 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:63f4:f4a4:e300:bd7e) (Ping timeout: 252 seconds) |
| 2023-11-24 08:51:12 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 08:52:11 +0100 | kenran`` | (~user@user/kenran) |
| 2023-11-24 08:53:50 +0100 | kenran` | (~user@user/kenran) (Ping timeout: 252 seconds) |
| 2023-11-24 08:54:43 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-11-24 08:54:50 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-24 08:57:47 +0100 | kenran``` | (~user@user/kenran) |
| 2023-11-24 08:59:47 +0100 | kenran`` | (~user@user/kenran) (Ping timeout: 256 seconds) |
| 2023-11-24 09:00:06 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) |
| 2023-11-24 09:05:26 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-11-24 09:06:01 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2023-11-24 09:07:25 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-11-24 09:09:25 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 276 seconds) |
| 2023-11-24 09:09:46 +0100 | gtdg | (~gtdg@user/gtdg) (Ping timeout: 250 seconds) |
| 2023-11-24 09:13:27 +0100 | shapr | (~user@2600:1700:c640:3100:94b0:159a:964a:a6db) (Remote host closed the connection) |
| 2023-11-24 09:13:41 +0100 | shapr | (~user@2600:1700:c640:3100:cdc5:3250:fea1:78e9) |
| 2023-11-24 09:16:13 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 260 seconds) |
| 2023-11-24 09:18:44 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 09:19:48 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:95fe:c0ce:6bfe:5190) |
| 2023-11-24 09:21:39 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) |
| 2023-11-24 09:22:07 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2023-11-24 09:22:29 +0100 | ft | (~ft@p508db3bc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-11-24 09:22:33 +0100 | CiaoSen | (~Jura@2a05:5800:2db:d400:2a3a:4dff:fe84:dbd5) |
| 2023-11-24 09:24:22 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds) |
| 2023-11-24 09:24:45 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:95fe:c0ce:6bfe:5190) (Remote host closed the connection) |
| 2023-11-24 09:30:01 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Remote host closed the connection) |
| 2023-11-24 09:30:04 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-24 09:30:48 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-11-24 09:32:15 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:95fe:c0ce:6bfe:5190) |
| 2023-11-24 09:34:24 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2023-11-24 09:34:53 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-24 09:36:21 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 09:41:11 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-11-24 09:42:34 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds) |
| 2023-11-24 09:46:13 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-24 09:46:51 +0100 | vpan | (~vpan@mail.elitnet.lt) |
| 2023-11-24 09:51:02 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-11-24 09:53:45 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 09:54:36 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-11-24 09:56:12 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-11-24 09:56:36 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Remote host closed the connection) |
| 2023-11-24 09:57:16 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 10:02:36 +0100 | pavonia | (~user@user/siracusa) |
| 2023-11-24 10:02:43 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 260 seconds) |
| 2023-11-24 10:04:33 +0100 | gtdg | (~gtdg@user/gtdg) |
| 2023-11-24 10:05:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Remote host closed the connection) |
| 2023-11-24 10:09:13 +0100 | ft | (~ft@p508db3bc.dip0.t-ipconnect.de) |
| 2023-11-24 10:12:46 +0100 | Jackneill | (~Jackneill@20014C4E1E120500278C50B897B5186C.dsl.pool.telekom.hu) |
| 2023-11-24 10:13:21 +0100 | leungbk | (~user@2603-8000-1201-2dd2-c915-c8aa-3718-9b4f.res6.spectrum.com) |
| 2023-11-24 10:14:37 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-11-24 10:15:38 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 10:16:08 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-11-24 10:18:12 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-11-24 10:18:57 +0100 | Guest56 | (~Guest56@069-203-107-019.res.spectrum.com) |
| 2023-11-24 10:19:41 +0100 | <Guest56> | Hello there, how the different XML libraries compare to each other? Are there some " legacy" one? is there the one most people pick? |
| 2023-11-24 10:20:42 +0100 | <Guest56> | for example xml, xmo-conduit or HaX? |
| 2023-11-24 10:21:32 +0100 | <Rembane> | Guest56: The least complex but most SAX one is Xeno, here's an article about it: https://chrisdone.com/posts/fast-haskell-c-parsing-xml/ |
| 2023-11-24 10:21:35 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 264 seconds) |
| 2023-11-24 10:21:46 +0100 | <Rembane> | Guest56: https://hackage.haskell.org/package/xeno |
| 2023-11-24 10:22:38 +0100 | <Guest56> | I was taking a look at xml-conduit-writer, but it didn'r compile against 9.4.8, not good thing |
| 2023-11-24 10:24:14 +0100 | <Guest56> | some of the old libraries generate haskell code from xml schemas, was sondering how usefult was that |
| 2023-11-24 10:25:19 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds) |
| 2023-11-24 10:27:10 +0100 | <Rembane> | How much XML do you need to parse? |
| 2023-11-24 10:27:24 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-11-24 10:27:48 +0100 | <Guest56> | I actually mostly want to write MusicXML 4.0 |
| 2023-11-24 10:28:02 +0100 | <Rembane> | How big grammar is it? |
| 2023-11-24 10:28:20 +0100 | <Guest56> | A bit large |
| 2023-11-24 10:28:42 +0100 | <Guest56> | but if I'm just writing, it could be simplified I guess |
| 2023-11-24 10:29:33 +0100 | <Guest56> | https://www.w3.org/2021/06/musicxml40/musicxml-reference/element-tree/ |
| 2023-11-24 10:29:38 +0100 | <Rembane> | You could just parse or generate the parts you are interested in right now |
| 2023-11-24 10:30:28 +0100 | <Guest56> | So xeno would be a good start? I'll check it out |
| 2023-11-24 10:30:55 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-11-24 10:31:54 +0100 | <Guest56> | what' s the purpuse of xml-conduit comparing to xeno? |
| 2023-11-24 10:32:39 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 10:33:05 +0100 | <Rembane> | I don't know if xeno would be a good start, but I really like the kind of pain that SAX parsers give. |
| 2023-11-24 10:34:14 +0100 | <Guest56> | The quasiquoters of xml-conduit had my attention |
| 2023-11-24 10:34:48 +0100 | leungbk` | (~user@2603-8000-1201-2dd2-c915-c8aa-3718-9b4f.res6.spectrum.com) |
| 2023-11-24 10:34:58 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-11-24 10:35:52 +0100 | leungbk` | (~user@2603-8000-1201-2dd2-c915-c8aa-3718-9b4f.res6.spectrum.com) (Client Quit) |
| 2023-11-24 10:39:08 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
| 2023-11-24 10:41:26 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 10:42:56 +0100 | leungbk | (~user@2603-8000-1201-2dd2-c915-c8aa-3718-9b4f.res6.spectrum.com) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2023-11-24 10:44:20 +0100 | leungbk | (~user@2603-8000-1201-2dd2-c915-c8aa-3718-9b4f.res6.spectrum.com) |
| 2023-11-24 10:46:01 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-24 10:46:43 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-24 10:46:54 +0100 | rosco | (~rosco@175.136.157.149) (Quit: Lost terminal) |
| 2023-11-24 10:49:07 +0100 | <stefan-__> | xeno can only be used to parse xml not to generate xml afair |
| 2023-11-24 10:50:03 +0100 | <stefan-__> | other than that it is a really performant parser, together with hexml |
| 2023-11-24 10:50:08 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 10:51:35 +0100 | danse-nr3 | (~danse@151.43.134.32) |
| 2023-11-24 10:55:38 +0100 | <Guest56> | I want to write/generatel XML (musicXML)... what are the options? |
| 2023-11-24 10:56:06 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
| 2023-11-24 10:58:05 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) (Ping timeout: 256 seconds) |
| 2023-11-24 10:58:46 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 11:00:06 +0100 | <dminuoso_> | Pick a different language. |
| 2023-11-24 11:00:43 +0100 | <Guest56> | really? |
| 2023-11-24 11:00:51 +0100 | <kuribas> | dminuoso_: ??? |
| 2023-11-24 11:01:26 +0100 | <kuribas> | Guest56: I use xmlgen. https://hackage.haskell.org/package/xmlgen-0.6.2.2/docs/Text-XML-Generator.html |
| 2023-11-24 11:01:43 +0100 | <kuribas> | It's fairly simple to use. A bit over board on typeclasses, but otherwise fast and simple. |
| 2023-11-24 11:02:17 +0100 | <kuribas> | You could make haskell ADT representing the music, then exporting that to xml. |
| 2023-11-24 11:02:39 +0100 | <kuribas> | Or just write combinators that produce the xml directly... |
| 2023-11-24 11:02:49 +0100 | <Guest56> | I could do a minimal test with xml-conduit-writer here |
| 2023-11-24 11:02:49 +0100 | <Guest56> | https://paste.tomsmeding.com/onPf8dgn#file-1 |
| 2023-11-24 11:04:19 +0100 | <Guest56> | kuribas I'll check it out thanks |
| 2023-11-24 11:05:50 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2023-11-24 11:05:56 +0100 | chele | (~chele@user/chele) |
| 2023-11-24 11:06:09 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2023-11-24 11:07:30 +0100 | <Guest56> | Than maybe I could use intances of ToXML like this? |
| 2023-11-24 11:07:31 +0100 | <Guest56> | https://paste.tomsmeding.com/3iGBdsDq |
| 2023-11-24 11:08:00 +0100 | <Guest56> | Maybe it's too naive, but I've never worked with xml |
| 2023-11-24 11:09:01 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2023-11-24 11:09:25 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-11-24 11:12:55 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) |
| 2023-11-24 11:14:13 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 276 seconds) |
| 2023-11-24 11:14:53 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-11-24 11:19:50 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-11-24 11:20:15 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 11:22:10 +0100 | seeg123456 | (~seeg12345@64.176.64.83) (Quit: Gateway shutdown) |
| 2023-11-24 11:22:24 +0100 | seeg123456 | (~seeg12345@64.176.64.83) |
| 2023-11-24 11:24:31 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 245 seconds) |
| 2023-11-24 11:30:46 +0100 | misterfish | (~misterfis@46.44.172.198) |
| 2023-11-24 11:31:19 +0100 | simardeep-singh | (~simardeep@112.196.126.3) |
| 2023-11-24 11:33:16 +0100 | <simardeep-singh> | hello everyone, just wanted to know how can i start contributing to and know more about current projects undergoing at haskell |
| 2023-11-24 11:33:52 +0100 | <Guest56> | Realtime GC |
| 2023-11-24 11:34:09 +0100 | <simardeep-singh> | what is realtime gc ? |
| 2023-11-24 11:34:40 +0100 | <Guest56> | garbage-colector. make GHC work with realtime scheduling at very low latencies |
| 2023-11-24 11:34:50 +0100 | <Guest56> | that's what is missing |
| 2023-11-24 11:36:04 +0100 | <dminuoso_> | Guest56: Its an option I would sincerely consider if I had to deal with XML. |
| 2023-11-24 11:36:25 +0100 | <simardeep-singh> | can you share repo link ? |
| 2023-11-24 11:36:28 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 2023-11-24 11:36:40 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-24 11:36:46 +0100 | <Guest56> | https://hackage.haskell.org/package/atom |
| 2023-11-24 11:36:58 +0100 | <dminuoso_> | simardeep-singh: Contribute to projects you use frequently or enjoy. |
| 2023-11-24 11:37:02 +0100 | <Guest56> | dminuoso_ is trolling |
| 2023-11-24 11:37:11 +0100 | <dminuoso_> | If that's what you think *shrugs* |
| 2023-11-24 11:37:26 +0100 | <dminuoso_> | What do I know about Haskell |
| 2023-11-24 11:37:54 +0100 | mima | (~mmh@aftr-62-216-211-55.dynamic.mnet-online.de) |
| 2023-11-24 11:38:20 +0100 | <Guest56> | simardeep-singh tell us about your background, it would be helpful |
| 2023-11-24 11:38:32 +0100 | mima | (~mmh@aftr-62-216-211-55.dynamic.mnet-online.de) () |
| 2023-11-24 11:38:33 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-11-24 11:40:12 +0100 | <simardeep-singh> | i am a beginner or noob currently started learning haskell and thought should explore some haskell projects to contribute side by side, currently i have knowledge of web frameworks, web sockets, web rtc, flutter and c++ |
| 2023-11-24 11:40:37 +0100 | <dminuoso_> | simardeep-singh: Pick any haskell library you are using, then. |
| 2023-11-24 11:40:56 +0100 | <dminuoso_> | Contributing to projects you dont know will likely not keep you motivated. |
| 2023-11-24 11:41:40 +0100 | <dminuoso_> | If you focus on stuff you use, you improve your knowledge of your tools and you get to make your own life easier by fixing stuff that annoys you, |
| 2023-11-24 11:41:53 +0100 | <dminuoso_> | Or by implementing features you actually need. |
| 2023-11-24 11:43:09 +0100 | <simardeep-singh> | ok,it means i should probably start contributing to haskell after gaining some experience |
| 2023-11-24 11:43:22 +0100 | <simardeep-singh> | on working with haskell |
| 2023-11-24 11:43:33 +0100 | <dminuoso_> | Depends, plenty of libraries have issues that even beginners can fix. |
| 2023-11-24 11:44:00 +0100 | <dminuoso_> | Besides, if you cant, perhaps the experience of trying and figure out how to fix it will actually improve your haskell experience |
| 2023-11-24 11:44:14 +0100 | <dminuoso_> | All while you are being exposed to how Haskell code is (usually) written. |
| 2023-11-24 11:44:36 +0100 | <danse-nr3> | also, contributing documentation is easier done as a beginner |
| 2023-11-24 11:44:39 +0100 | <dminuoso_> | Even if its just mundane things like fixing Haddock documentation, adjusting bounds |
| 2023-11-24 11:45:00 +0100 | <Guest56> | read Real World Haskell, and take a look at Yesod |
| 2023-11-24 11:45:17 +0100 | <danse-nr3> | i would not recommend yesod nowadays |
| 2023-11-24 11:45:23 +0100 | <dminuoso_> | Real World Haskell I would probably not recommend, either. |
| 2023-11-24 11:45:55 +0100 | <Guest56> | Learn You a Haskell for Great Good? What do you recommend??? |
| 2023-11-24 11:46:24 +0100 | <danse-nr3> | well that is shifting topics, we were talking projects and contributions |
| 2023-11-24 11:47:12 +0100 | <Guest56> | yesod is a popular webframework, another one is snap |
| 2023-11-24 11:48:00 +0100 | <dminuoso_> | CIS194 (both versions by Brent Yorgey and Joachim Breitner) is my generally favoured learning material. It's structured well from a pedagogic point of view, and better suited for modern Haskell. |
| 2023-11-24 11:48:17 +0100 | <dminuoso_> | Though I would ask for a background before making a recommendation, there's some other learning material. |
| 2023-11-24 11:48:42 +0100 | <danse-nr3> | Guest56's suggestions make me think that even updating the wiki would be valuable. I think the page about web frameworks there and the page about the javascript problem might use some adjustments here and there |
| 2023-11-24 11:49:39 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:95fe:c0ce:6bfe:5190) (Ping timeout: 256 seconds) |
| 2023-11-24 11:52:06 +0100 | <opqdonut> | I humbly recommend having a look at my course - haskell.mooc.fi |
| 2023-11-24 11:52:13 +0100 | <opqdonut> | it's been pretty well received among students |
| 2023-11-24 11:52:39 +0100 | <opqdonut> | it has automated grading of exercises and an online textbook |
| 2023-11-24 11:52:42 +0100 | <dminuoso_> | opqdonut: Ive been meaning to ask. Will I get get credits if I complete your course? :-) |
| 2023-11-24 11:53:07 +0100 | <opqdonut> | you'll get a certificate, which might be good for credits depending on your university |
| 2023-11-24 11:53:30 +0100 | <opqdonut> | if you're studying at a finnish university, you'll get actual honest credits, after a bit of paper pushing |
| 2023-11-24 11:53:39 +0100 | <dminuoso_> | Oh Im not a student. |
| 2023-11-24 11:54:23 +0100 | <opqdonut> | well then the certificate is probably what you want :) |
| 2023-11-24 11:54:59 +0100 | <opqdonut> | I don't actually handle the credit stuff, and I haven't been involved in university politics for some time, so I don't _actually_ know how any of this works |
| 2023-11-24 11:55:13 +0100 | <opqdonut> | but both helsinki university and the helsinki open university offer this as a Real Course |
| 2023-11-24 11:55:19 +0100 | <opqdonut> | (self-study, but real credits) |
| 2023-11-24 11:55:26 +0100 | <simardeep-singh> | thanks opqdonut for the learning resource |
| 2023-11-24 11:55:28 +0100 | <stefan-__> | Guest56: I did some benchmarking of haskell xml libraries, might be interesting to you: https://github.com/dozed/basic-xml-benchmark-hs/ |
| 2023-11-24 11:56:26 +0100 | <Guest56> | stefan-__ thanks, I'm not terribly concerned at optimizations at this point, but good to know |
| 2023-11-24 11:57:59 +0100 | CiaoSen | (~Jura@2a05:5800:2db:d400:2a3a:4dff:fe84:dbd5) (Ping timeout: 252 seconds) |
| 2023-11-24 12:00:13 +0100 | danse-nr3 | (~danse@151.43.134.32) (Read error: Connection reset by peer) |
| 2023-11-24 12:00:22 +0100 | leungbk | (~user@2603-8000-1201-2dd2-c915-c8aa-3718-9b4f.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 2023-11-24 12:00:43 +0100 | danse-nr3 | (~danse@151.57.197.250) |
| 2023-11-24 12:01:27 +0100 | kenran``` | (~user@user/kenran) (Remote host closed the connection) |
| 2023-11-24 12:02:56 +0100 | gtdg | (~gtdg@user/gtdg) (Quit: Client closed) |
| 2023-11-24 12:03:15 +0100 | gtdg | (~gtdg@user/gtdg) |
| 2023-11-24 12:04:31 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-11-24 12:05:31 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) (Ping timeout: 256 seconds) |
| 2023-11-24 12:09:38 +0100 | kraftwerk28 | (~kraftwerk@164.92.219.160) (Quit: *disconnects*) |
| 2023-11-24 12:09:54 +0100 | danse-nr3 | (~danse@151.57.197.250) (Remote host closed the connection) |
| 2023-11-24 12:10:01 +0100 | kraftwerk28 | (~kraftwerk@164.92.219.160) |
| 2023-11-24 12:10:56 +0100 | danse-nr3 | (~danse@151.57.197.250) |
| 2023-11-24 12:15:10 +0100 | leungbk | (~user@cpe-142-129-149-172.socal.res.rr.com) |
| 2023-11-24 12:17:24 +0100 | gtdg | (~gtdg@user/gtdg) (Ping timeout: 250 seconds) |
| 2023-11-24 12:19:38 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) |
| 2023-11-24 12:23:22 +0100 | leungbk | (~user@cpe-142-129-149-172.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 2023-11-24 12:29:19 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 246 seconds) |
| 2023-11-24 12:30:11 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2023-11-24 12:30:21 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-11-24 12:41:30 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-24 12:44:49 +0100 | axeman | (~quassel@91.64.172.30) (Ping timeout: 260 seconds) |
| 2023-11-24 12:45:41 +0100 | Guest|8 | (~Guest|8@91.25.146.107) |
| 2023-11-24 12:46:26 +0100 | Guest|8 | (~Guest|8@91.25.146.107) () |
| 2023-11-24 12:48:09 +0100 | shapr | (~user@2600:1700:c640:3100:cdc5:3250:fea1:78e9) (Remote host closed the connection) |
| 2023-11-24 12:48:23 +0100 | shapr | (~user@2600:1700:c640:3100:8ba3:7bf4:8430:4f53) |
| 2023-11-24 12:48:27 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-11-24 12:55:04 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-11-24 13:00:51 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-24 13:01:11 +0100 | Guest56 | (~Guest56@069-203-107-019.res.spectrum.com) (Quit: Client closed) |
| 2023-11-24 13:02:59 +0100 | euleritian | (~euleritia@dynamic-046-114-200-190.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2023-11-24 13:03:52 +0100 | euleritian | (~euleritia@dynamic-046-114-203-031.46.114.pool.telefonica.de) |
| 2023-11-24 13:06:50 +0100 | gtdg | (~gtdg@user/gtdg) |
| 2023-11-24 13:11:28 +0100 | Guest56 | (~Guest56@069-203-107-019.res.spectrum.com) |
| 2023-11-24 13:13:00 +0100 | xff0x | (~xff0x@2405:6580:b080:900:be86:cabb:8cd3:1ec3) |
| 2023-11-24 13:13:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-24 13:14:31 +0100 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) (Quit: Later) |
| 2023-11-24 13:16:36 +0100 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) |
| 2023-11-24 13:16:36 +0100 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) (Client Quit) |
| 2023-11-24 13:17:01 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2023-11-24 13:17:07 +0100 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) |
| 2023-11-24 13:17:19 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds) |
| 2023-11-24 13:17:33 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-11-24 13:17:55 +0100 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) (Client Quit) |
| 2023-11-24 13:18:32 +0100 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) |
| 2023-11-24 13:18:49 +0100 | Guest56 | (~Guest56@069-203-107-019.res.spectrum.com) (Quit: Client closed) |
| 2023-11-24 13:19:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-24 13:19:40 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-11-24 13:20:26 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Quit: Konversation terminated!) |
| 2023-11-24 13:23:15 +0100 | leungbk | (~user@cpe-142-129-149-172.socal.res.rr.com) |
| 2023-11-24 13:27:11 +0100 | simardeep-singh | (~simardeep@112.196.126.3) (Quit: Client closed) |
| 2023-11-24 13:31:22 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Ping timeout: 276 seconds) |
| 2023-11-24 13:34:26 +0100 | simardeep-singh | (~simardeep@14.139.242.98) |
| 2023-11-24 13:34:32 +0100 | danse-nr3 | (~danse@151.57.197.250) (Ping timeout: 256 seconds) |
| 2023-11-24 13:36:26 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2023-11-24 13:36:40 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-11-24 13:39:37 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit) |
| 2023-11-24 13:39:50 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) (Ping timeout: 252 seconds) |
| 2023-11-24 13:40:27 +0100 | simardeep-singh | (~simardeep@14.139.242.98) (Quit: Client closed) |
| 2023-11-24 13:41:21 +0100 | danse-nr3 | (~danse@151.57.197.250) |
| 2023-11-24 13:44:30 +0100 | gtdg | (~gtdg@user/gtdg) (Ping timeout: 250 seconds) |
| 2023-11-24 13:45:54 +0100 | gtdg | (~gtdg@user/gtdg) |
| 2023-11-24 13:46:15 +0100 | danse-nr3 | (~danse@151.57.197.250) (Ping timeout: 260 seconds) |
| 2023-11-24 13:47:42 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-24 13:49:04 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2023-11-24 13:49:15 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-11-24 13:50:50 +0100 | leungbk | (~user@cpe-142-129-149-172.socal.res.rr.com) (Ping timeout: 252 seconds) |
| 2023-11-24 13:52:45 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-11-24 13:54:18 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-11-24 13:54:23 +0100 | kenran | (~user@user/kenran) |
| 2023-11-24 13:56:47 +0100 | misterfish | (~misterfis@46.44.172.198) (Ping timeout: 252 seconds) |
| 2023-11-24 13:59:35 +0100 | seeg123456 | (~seeg12345@64.176.64.83) (Remote host closed the connection) |
| 2023-11-24 14:06:38 +0100 | seeg123456 | (~seeg12345@64.176.64.83) |
| 2023-11-24 14:08:15 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
| 2023-11-24 14:14:13 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-24 14:17:36 +0100 | danse-nr3 | (~danse@151.57.197.250) |
| 2023-11-24 14:22:12 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) |
| 2023-11-24 14:27:41 +0100 | cstml | (~cstml@user/cstml) (Ping timeout: 240 seconds) |
| 2023-11-24 14:28:42 +0100 | lg1883 | (~lg188@82.18.98.230) |
| 2023-11-24 14:28:52 +0100 | lg188 | (~lg188@82.18.98.230) (Read error: Connection reset by peer) |
| 2023-11-24 14:28:52 +0100 | lg1883 | lg188 |
| 2023-11-24 14:31:44 +0100 | sebagutiem | (~sebagutie@2800:300:6272:2840::1) |
| 2023-11-24 14:31:52 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:cf84:4b6a:db8e:7b17) |
| 2023-11-24 14:34:38 +0100 | chomwitt | (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) |
| 2023-11-24 14:47:00 +0100 | kenran | (~user@user/kenran) (Ping timeout: 245 seconds) |
| 2023-11-24 14:47:14 +0100 | krei-se | (~krei-se@p5085dea2.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-11-24 14:55:06 +0100 | krei-se | (~krei-se@p5085dea2.dip0.t-ipconnect.de) |
| 2023-11-24 14:55:22 +0100 | megaTherion | (~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-11-24 14:55:55 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-11-24 14:56:31 +0100 | megaTherion | (~therion@unix.io) |
| 2023-11-24 14:56:34 +0100 | danse-nr3 | (~danse@151.57.197.250) (Ping timeout: 255 seconds) |
| 2023-11-24 14:56:55 +0100 | kenran | (~user@user/kenran) |
| 2023-11-24 14:57:40 +0100 | megaTherion | (~therion@unix.io) (Client Quit) |
| 2023-11-24 14:58:46 +0100 | megaTherion | (~therion@unix.io) |
| 2023-11-24 15:01:58 +0100 | danse-nr3 | (~danse@151.57.197.250) |
| 2023-11-24 15:05:54 +0100 | megaTherion | (~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-11-24 15:07:01 +0100 | megaTherion | (~therion@unix.io) |
| 2023-11-24 15:10:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-24 15:15:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-24 15:27:10 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) (Ping timeout: 260 seconds) |
| 2023-11-24 15:27:39 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-11-24 15:28:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 15:33:27 +0100 | abrantesasf | (~abrantesa@179.217.48.72) |
| 2023-11-24 15:35:53 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2023-11-24 15:54:02 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-11-24 15:54:29 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-11-24 15:58:13 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-24 16:00:43 +0100 | danse-nr3 | (~danse@151.57.197.250) (Read error: Connection reset by peer) |
| 2023-11-24 16:00:57 +0100 | danse-nr3 | (~danse@151.57.203.75) |
| 2023-11-24 16:03:17 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 252 seconds) |
| 2023-11-24 16:10:53 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.5) |
| 2023-11-24 16:25:34 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-11-24 16:28:08 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2023-11-24 16:30:40 +0100 | mmhat | (~mmh@p200300f1c70fae04ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-11-24 16:31:52 +0100 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
| 2023-11-24 16:36:13 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2023-11-24 16:46:01 +0100 | <duncan> | Big issue with OSS libraries is lack of anyone to test them, since that costs a lot of money |
| 2023-11-24 16:46:40 +0100 | <kuribas> | tests? we don't need tests, if it compiles, it works! |
| 2023-11-24 16:48:18 +0100 | <int-e> | "I've only compiled the code, not proved it correct" |
| 2023-11-24 16:48:19 +0100 | <danse-nr3> | actually i think the success of unsafe languages is largely related to the free testing they get by popularity |
| 2023-11-24 16:48:23 +0100 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) |
| 2023-11-24 16:48:24 +0100 | justThanks | justache |
| 2023-11-24 16:48:40 +0100 | cayley42 | (~cayley5@user/phileasfogg) (Ping timeout: 246 seconds) |
| 2023-11-24 16:49:53 +0100 | <kuribas> | I think it's about the compiler/interpreter not telling you about all the things that may go wrong. |
| 2023-11-24 16:50:08 +0100 | <kuribas> | Making you feel all warm and cozy. |
| 2023-11-24 16:50:46 +0100 | <int-e> | What's it supposed to say? "Did you know that when you run code, things may happen?" |
| 2023-11-24 16:51:35 +0100 | <kuribas> | Yeah, a dynamic language compiler with disclaimer would be nice. |
| 2023-11-24 16:52:07 +0100 | <danse-nr3> | "make sure this code gets very successful and used by many otherwise better to throw it away" |
| 2023-11-24 16:53:00 +0100 | gtdg | (~gtdg@user/gtdg) (Ping timeout: 250 seconds) |
| 2023-11-24 16:54:18 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-11-24 16:54:28 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit) |
| 2023-11-24 16:55:58 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-11-24 16:56:43 +0100 | <kuribas> | Don't all dynamic languages have type systems now? |
| 2023-11-24 16:58:18 +0100 | <danse-nr3> | isn't that a contradiction in terms? |
| 2023-11-24 16:58:37 +0100 | <kuribas> | No, they are just optional. |
| 2023-11-24 16:58:53 +0100 | <kuribas> | javascript => typescript, python => type annotations |
| 2023-11-24 16:59:05 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-11-24 16:59:11 +0100 | <int-e> | Perl? Lua? |
| 2023-11-24 16:59:16 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-11-24 16:59:33 +0100 | <kuribas> | Ruby => Sorbet |
| 2023-11-24 16:59:41 +0100 | <kuribas> | perl is obsolete :) |
| 2023-11-24 16:59:58 +0100 | <danse-nr3> | typescript is not javascript, and the dynamic language is what one is left with when the types are missing. Otherwise it is not dynamic anymore. Although this definition of dynamic sounds flawed |
| 2023-11-24 17:00:19 +0100 | <int-e> | kuribas: Dare I even mention PHP? |
| 2023-11-24 17:00:35 +0100 | <danse-nr3> | "dynamic" languages often still have types, just very few of them |
| 2023-11-24 17:02:13 +0100 | <kuribas> | s/all/most popular/ |
| 2023-11-24 17:02:45 +0100 | <raehik> | Is there something like `foldMap` for contravariant? I've written some weird generics which combine all fields of a data type using `divide`. It does what I want, but I don't know how to name it (and foldMap seems closest) |
| 2023-11-24 17:04:39 +0100 | <ncf> | type? |
| 2023-11-24 17:05:32 +0100 | <raehik> | I'm not sure how best to present. here is the product handling https://paste.tomsmeding.com/7lGlRwIY |
| 2023-11-24 17:07:00 +0100 | <raehik> | this is in a lib with a "generic foldmap" because that works by turning each field of a type into a monoid, and combining them |
| 2023-11-24 17:08:20 +0100 | <kuribas> | They all have the same types? |
| 2023-11-24 17:09:23 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) |
| 2023-11-24 17:09:50 +0100 | <raehik> | kuribas: what do sorry? (foldmap or contravariant code?) |
| 2023-11-24 17:10:06 +0100 | <kuribas> | the fields of the data type. |
| 2023-11-24 17:10:40 +0100 | danse-nr3 | (~danse@151.57.203.75) (Ping timeout: 255 seconds) |
| 2023-11-24 17:11:08 +0100 | tremon | (~tremon@83.80.159.219) |
| 2023-11-24 17:11:11 +0100 | <raehik> | no, they can be different. the generics take in a class to resolve "valid" types in the generic structure |
| 2023-11-24 17:12:14 +0100 | <raehik> | e.g. for a serializing lib, you might have a class with a `a -> Bytes` function. you pass that class & func into the generics so it can serialize each field it finds |
| 2023-11-24 17:14:17 +0100 | <raehik> | it feels like generic foldmap where `(a -> m)` is a dictionary, and `t a` is the generic rep |
| 2023-11-24 17:14:37 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-11-24 17:15:28 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-24 17:15:31 +0100 | <raehik> | I wrote similar using contravariant instead, products are combined using `divide`. I don't really know how to name the generic though. |
| 2023-11-24 17:16:10 +0100 | <raehik> | further code here but not great clarity https://github.com/raehik/generic-data-functions/pull/4 |
| 2023-11-24 17:16:41 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-11-24 17:23:26 +0100 | kenran | (~user@user/kenran) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2023-11-24 17:23:41 +0100 | kenran | (~user@user/kenran) |
| 2023-11-24 17:24:41 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-11-24 17:25:19 +0100 | kenran | (~user@user/kenran) |
| 2023-11-24 17:26:25 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-11-24 17:26:57 +0100 | kenran | (~user@user/kenran) |
| 2023-11-24 17:27:02 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-11-24 17:28:47 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2023-11-24 17:28:47 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-11-24 17:28:47 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-11-24 17:30:01 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-11-24 17:32:07 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds) |
| 2023-11-24 17:34:25 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-11-24 17:35:19 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:cf84:4b6a:db8e:7b17) (Ping timeout: 256 seconds) |
| 2023-11-24 17:39:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Remote host closed the connection) |
| 2023-11-24 17:39:44 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 17:45:52 +0100 | shapr | (~user@2600:1700:c640:3100:8ba3:7bf4:8430:4f53) (Remote host closed the connection) |
| 2023-11-24 17:46:05 +0100 | shapr | (~user@2600:1700:c640:3100:7a0f:9c04:5460:c93f) |
| 2023-11-24 17:47:05 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-11-24 17:47:08 +0100 | sebagutiem | (~sebagutie@2800:300:6272:2840::1) (Quit: Me boi a la berga) |
| 2023-11-24 17:49:15 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-24 17:50:07 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Remote host closed the connection) |
| 2023-11-24 17:50:37 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 256 seconds) |
| 2023-11-24 17:52:27 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2023-11-24 17:52:46 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 264 seconds) |
| 2023-11-24 17:53:43 +0100 | mikess | (~sam@S010664777dafd303.cg.shawcable.net) |
| 2023-11-24 17:53:47 +0100 | Square | (~Square@user/square) |
| 2023-11-24 17:54:13 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-24 17:56:35 +0100 | mikess | (~sam@S010664777dafd303.cg.shawcable.net) (Client Quit) |
| 2023-11-24 17:56:49 +0100 | mikess | (~sam@S010664777dafd303.cg.shawcable.net) |
| 2023-11-24 17:58:57 +0100 | <raehik> | anybody have a good name for a contravariant functor like: `data X b a = XNeedA (a -> b) | XJustB b` |
| 2023-11-24 17:59:42 +0100 | <raehik> | it seems like a sensible common contravariant but I can't find any similar-looking definitions |
| 2023-11-24 18:03:38 +0100 | <ski> | raehik : reminds me of <https://twanvl.nl/blog/haskell/non-regular1>,<https://stackoverflow.com/questions/64935210/what-subclasses-of-profunctor-does-funlist-support> |
| 2023-11-24 18:03:59 +0100 | <ski> | (not exactly the same, though) |
| 2023-11-24 18:06:33 +0100 | <raehik> | yeah it's got the same "maybe we use this typevar maybe we don't" |
| 2023-11-24 18:09:37 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2023-11-24 18:09:49 +0100 | <monochrom> | FreeMonadGeneratedFromReaderButIUseItBackwards |
| 2023-11-24 18:10:32 +0100 | <duncan> | raehik: Prion |
| 2023-11-24 18:10:53 +0100 | <duncan> | it folds. naughtily. |
| 2023-11-24 18:11:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 18:17:33 +0100 | <ncf> | curiously, that's not the free monad on Reader qua endofunctor, it's the free monad on Reader qua "semigroupad" (Bind) |
| 2023-11-24 18:17:36 +0100 | krei-se | (~krei-se@p5085dea2.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-11-24 18:18:10 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-11-24 18:18:39 +0100 | <ncf> | i.e. it's to Reader what Monoid (Maybe a) is to Semigroup a |
| 2023-11-24 18:21:03 +0100 | <raehik> | thanks ncf, though I don't fully understand that... I know of free monads, but I don't know how to understand "free monad on Reader" |
| 2023-11-24 18:21:23 +0100 | <raehik> | I get what you mean though |
| 2023-11-24 18:21:55 +0100 | <ncf> | i'm just reacting to monochrom's joke with an annoying correction (that might happen to be interesting if you care about those things) but i don't know that it applies to the problem at hand |
| 2023-11-24 18:21:55 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2023-11-24 18:22:27 +0100 | <ncf> | but i mean Free (Reader a), where Free is https://hackage.haskell.org/package/free-5.2/docs/Control-Monad-Free.html#t:Free |
| 2023-11-24 18:24:29 +0100 | <c_wraith> | It's kinda fun to compare (Free (Reader a) b) with ([a] -> b). They're similar but... opposite in a key way. |
| 2023-11-24 18:25:31 +0100 | <monochrom> | Yes I have functor-to-free-monad in mind, not the bind one. |
| 2023-11-24 18:25:47 +0100 | <c_wraith> | similar in that they're sort of functions that take some number of a values and return a b. Opposite in who gets to choose how many a values to pass. |
| 2023-11-24 18:27:43 +0100 | krei-se | (~krei-se@p5085dea2.dip0.t-ipconnect.de) |
| 2023-11-24 18:27:45 +0100 | <raehik> | bah I don't know my monad algebra well enough |
| 2023-11-24 18:27:54 +0100 | <ncf> | with the free applicative version it boils down to (∃ n. Vec n a → b) vs (∀ n. Vec n a → b), but the free monad also gives "opponent" the freedom to look at the first arguments before deciding if it needs more |
| 2023-11-24 18:28:43 +0100 | mikess | (~sam@S010664777dafd303.cg.shawcable.net) (Changing host) |
| 2023-11-24 18:28:43 +0100 | mikess | (~sam@user/mikess) |
| 2023-11-24 18:29:25 +0100 | mikess | (~sam@user/mikess) (Quit: Reconnecting) |
| 2023-11-24 18:29:38 +0100 | mikess | (~sam@user/mikess) |
| 2023-11-24 18:32:45 +0100 | <monochrom> | raehik: The free monad for teletype I/O is "U a | Put Char a | Get (Char -> a)". You basically have the get half "U a | Get (Char -> a)" but then you say you don't read it as a functor applied to a, you read it as a contravariant functor applied to Char. |
| 2023-11-24 18:33:55 +0100 | <ncf> | that's not a mona |
| 2023-11-24 18:33:56 +0100 | <ncf> | d |
| 2023-11-24 18:34:12 +0100 | <c_wraith> | well, it's the functor. you have to Free it |
| 2023-11-24 18:34:24 +0100 | <ncf> | but presumably you don't include U in the base functor |
| 2023-11-24 18:34:30 +0100 | <ncf> | unless that means something specific? |
| 2023-11-24 18:34:48 +0100 | <monochrom> | I fused Free with the (->)Char functor. |
| 2023-11-24 18:35:00 +0100 | vpan | (~vpan@mail.elitnet.lt) (Quit: Leaving.) |
| 2023-11-24 18:35:57 +0100 | <ncf> | ? |
| 2023-11-24 18:36:01 +0100 | <monochrom> | ? |
| 2023-11-24 18:37:11 +0100 | <ncf> | that doesn't make any sense |
| 2023-11-24 18:37:38 +0100 | <raehik> | I'm still surprised that Free applies to my type because of the recursion |
| 2023-11-24 18:38:02 +0100 | <monochrom> | Err, oh, I see. My bad. |
| 2023-11-24 18:38:12 +0100 | <ncf> | raehik: it doesn't, that was the point of my correction |
| 2023-11-24 18:38:24 +0100 | <raehik> | aha right |
| 2023-11-24 18:38:28 +0100 | <ncf> | you need a different Free, which is just Free f a = Pure a | Free (f a) |
| 2023-11-24 18:38:30 +0100 | <monochrom> | Yeah I forgot the recursion. |
| 2023-11-24 18:39:43 +0100 | <monochrom> | The correct free monad would be "Foo a = U a | Get (Char -> Foo a)" and I mistook "Foo a" with "a". |
| 2023-11-24 18:40:12 +0100 | <ncf> | *nod* |
| 2023-11-24 18:42:38 +0100 | <raehik> | a different Free? what do you mean by that ncf ? |
| 2023-11-24 18:43:12 +0100 | <raehik> | (I have a vague understanding of free transformations but it's rusty) |
| 2023-11-24 18:43:13 +0100 | <ncf> | a different type which i confusingly named Free but should really be named FreeMonadOnBind |
| 2023-11-24 18:43:25 +0100 | <ncf> | or like, Maybe1 |
| 2023-11-24 18:43:29 +0100 | <raehik> | Right |
| 2023-11-24 18:43:41 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 2023-11-24 18:45:14 +0100 | <ncf> | (the idea being that Maybe1 f = f + 1 in the monoidal category of endofunctors we're interested in, just like Maybe a = 1 + a in the category of types, and that there is an instance Bind f => Monad (Maybe1 f) for endofunctors just like there is an instance Semigroup a => Monoid (Maybe a) for types) |
| 2023-11-24 18:46:23 +0100 | <raehik> | ok |
| 2023-11-24 18:46:40 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-11-24 18:46:40 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-11-24 18:48:00 +0100 | <raehik> | is my original type even a monad/can it be massaged into one? on first glance it doesn't look like it |
| 2023-11-24 18:48:34 +0100 | <raehik> | the types need to be in contravariant order (I think) |
| 2023-11-24 18:49:17 +0100 | <raehik> | wait, no, you can't have Functor and Contravariant so ofc not |
| 2023-11-24 18:49:32 +0100 | <EvanR> | if it can't be a Functor it can't be a Monad |
| 2023-11-24 18:53:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-24 18:53:50 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-24 18:59:53 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2023-11-24 19:01:30 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-11-24 19:01:32 +0100 | danza | (~francesco@151.47.244.157) |
| 2023-11-24 19:02:09 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2023-11-24 19:04:41 +0100 | <raehik> | my `data X b a = XNeedA (a -> b) | XJustB b` type is actually just `Op` with an extra constructor, hrm |
| 2023-11-24 19:06:11 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-11-24 19:07:05 +0100 | danza | (~francesco@151.47.244.157) (Ping timeout: 252 seconds) |
| 2023-11-24 19:09:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-24 19:12:13 +0100 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2023-11-24 19:12:27 +0100 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) |
| 2023-11-24 19:18:57 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Remote host closed the connection) |
| 2023-11-24 19:23:57 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-11-24 19:23:57 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-24 19:36:49 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) (Ping timeout: 255 seconds) |
| 2023-11-24 19:37:27 +0100 | abrantesasf | (~abrantesa@179.217.48.72) (Remote host closed the connection) |
| 2023-11-24 19:38:23 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) |
| 2023-11-24 19:47:29 +0100 | tomboy65 | (~tomboy64@user/tomboy64) (Ping timeout: 256 seconds) |
| 2023-11-24 19:52:49 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-11-24 19:52:55 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 19:54:02 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
| 2023-11-24 19:57:30 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) |
| 2023-11-24 19:57:37 +0100 | poscat | (~poscat@user/poscat) |
| 2023-11-24 19:58:07 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Remote host closed the connection) |
| 2023-11-24 19:58:21 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 19:58:27 +0100 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 268 seconds) |
| 2023-11-24 20:06:32 +0100 | bramhaag7 | (~bramhaag@endeavour.server.bramh.me) (Quit: Ping timeout (120 seconds)) |
| 2023-11-24 20:06:45 +0100 | bramhaag7 | (~bramhaag@endeavour.server.bramh.me) |
| 2023-11-24 20:08:31 +0100 | phma | (phma@2001:5b0:2172:b618:6003:f20e:7dc2:df89) (Read error: Connection reset by peer) |
| 2023-11-24 20:08:56 +0100 | phma | (phma@2001:5b0:2172:b618:6003:f20e:7dc2:df89) |
| 2023-11-24 20:11:46 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2023-11-24 20:16:20 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-11-24 20:16:39 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-11-24 20:20:17 +0100 | leungbk | (~user@cpe-142-129-149-172.socal.res.rr.com) |
| 2023-11-24 20:20:25 +0100 | axeman | (~quassel@91.64.172.30) |
| 2023-11-24 20:25:27 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-11-24 20:28:34 +0100 | leungbk | (~user@cpe-142-129-149-172.socal.res.rr.com) (Ping timeout: 255 seconds) |
| 2023-11-24 20:30:08 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-11-24 20:31:07 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-11-24 20:36:40 +0100 | axeman | (~quassel@91.64.172.30) (Ping timeout: 255 seconds) |
| 2023-11-24 20:41:20 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Remote host closed the connection) |
| 2023-11-24 20:41:23 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-24 20:44:45 +0100 | Simikando | (~Simikando@bband-dyn133.178-40-243.t-com.sk) (Quit: Leaving) |
| 2023-11-24 20:46:14 +0100 | newsham | (~newsham@2603-800c-2c01-6825-4dc0-068b-2270-a1d6.res6.spectrum.com) |
| 2023-11-24 20:49:42 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
| 2023-11-24 20:50:13 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-24 20:51:06 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-11-24 20:51:51 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
| 2023-11-24 20:52:08 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-24 20:53:41 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-11-24 20:54:24 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 21:05:24 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-11-24 21:05:59 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:7145:74ec:80d8:639c) |
| 2023-11-24 21:08:43 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 2023-11-24 21:10:44 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-11-24 21:19:58 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
| 2023-11-24 21:22:00 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-11-24 21:22:18 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2023-11-24 21:23:06 +0100 | <c_wraith> | raehik: types can be both Functor and Contravariant. It means their last type parameter is phantom. |
| 2023-11-24 21:24:17 +0100 | <monochrom> | :) |
| 2023-11-24 21:24:28 +0100 | <monochrom> | E.g., data Proxy a = Proxy |
| 2023-11-24 21:24:46 +0100 | <monochrom> | Of course, 99% of types are not degenerate like that. |
| 2023-11-24 21:24:48 +0100 | <c_wraith> | or data Const a b = Const a |
| 2023-11-24 21:26:14 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-11-24 21:26:14 +0100 | <monochrom> | But this is why Moggi's papers have to paintakingly add one more condition (on top of the usual monad laws) that says, among other things, he wants pure to be injective, so that he doesn't have to worry about phantom monads. |
| 2023-11-24 21:32:50 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs) |
| 2023-11-24 21:34:23 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-11-24 21:35:04 +0100 | <c_wraith> | lens actually makes use of Applicative+Contravariant. That combination of constraints gives you a Fold, which can only be used to extract a summary of a data structure instead of rebuilding it. There aren't many things that actually use those constraints, though. |
| 2023-11-24 21:38:05 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-11-24 21:46:35 +0100 | <duncan> | I really thing this focus on naming the thing is... not helpfu |
| 2023-11-24 21:47:48 +0100 | <duncan> | You can't massage a type into Monad if it's not a Monad. We have the monad laws and they're pretty simple. (Simpler than the online conversation about Monads which is thoroughly misleading and turns beginners off) |
| 2023-11-24 21:48:15 +0100 | <duncan> | Call it whatever you like, I suggested Prion because we should be calling more types fun things. |
| 2023-11-24 21:48:33 +0100 | <monochrom> | I hate prions. They are not fun. |
| 2023-11-24 21:48:59 +0100 | <duncan> | Makes more sense thdan "LetMeSpecifyThisWonderfulWordSaladWhileIReferenceBrilliantConceptsCurrentInFunctionalProgramming" |
| 2023-11-24 21:50:47 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-24 21:50:48 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Remote host closed the connection) |
| 2023-11-24 21:51:01 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 255 seconds) |
| 2023-11-24 21:51:04 +0100 | <jackdk> | a type that's often more useful than `Proxy` but is both `Applicative` and `Contravariant`: `newtype Const r a = Const { getConst :: r }`. Its `instance Monoid r => Applicative (Const r)` is how lens' folds work |
| 2023-11-24 21:55:47 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-24 22:00:18 +0100 | <monochrom> | GeneralizedGremlin. data GeneralizedGremlin g food = Daytime (food -> g) | NighttimeDontFeed g |
| 2023-11-24 22:01:17 +0100 | <mauke> | > traverse (show . length) (words "Samuel Harris Altman") |
| 2023-11-24 22:01:18 +0100 | <lambdabot> | ["666"] |
| 2023-11-24 22:01:38 +0100 | <monochrom> | :( |
| 2023-11-24 22:01:49 +0100 | <monochrom> | :) |
| 2023-11-24 22:02:23 +0100 | <monochrom> | Is that how you generate random passwords? Choose 3 words of 6 letters each? >:) |
| 2023-11-24 22:03:50 +0100 | <monochrom> | "That a hell of a password." >:) |
| 2023-11-24 22:05:16 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-11-24 22:06:00 +0100 | <darkling> | There are probably worse approaches. |
| 2023-11-24 22:06:46 +0100 | <Rembane> | Yeah, you could consistently use hunter2 as password. |
| 2023-11-24 22:07:27 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) |
| 2023-11-24 22:07:52 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:79e8:e4b2:d:f0e6) (Remote host closed the connection) |
| 2023-11-24 22:12:26 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:7145:74ec:80d8:639c) (Ping timeout: 245 seconds) |
| 2023-11-24 22:14:49 +0100 | <darkling> | Seven stars? |
| 2023-11-24 22:15:41 +0100 | <Rembane> | That one's also really good, but I wrote hunter2 |
| 2023-11-24 22:16:04 +0100 | <darkling> | That's seven stars. ;) |
| 2023-11-24 22:17:11 +0100 | <Rembane> | :D |
| 2023-11-24 22:17:36 +0100 | <int-e> | ✶✷✸✹✸✷✶ |
| 2023-11-24 22:17:56 +0100 | <int-e> | (imagine a password prompt leaking bits like that :) ) |
| 2023-11-24 22:18:57 +0100 | <darkling> | *⁑⁂☃ |
| 2023-11-24 22:19:03 +0100 | <newsham> | there's an OS that prints *'s for each character of your password you type, but picks a random number of stars for each character. |
| 2023-11-24 22:19:23 +0100 | <Rembane> | It's like Wordle but for passwords and the other way around. |
| 2023-11-24 22:19:54 +0100 | <newsham> | but you know.. statistics.. you could still find out the length with some statistics and enough measurements |
| 2023-11-24 22:20:07 +0100 | <newsham> | still, cute |
| 2023-11-24 22:21:46 +0100 | mmhat | (~mmh@p200300f1c70fae04ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2023-11-24 22:22:08 +0100 | mmhat | (~mmh@p200300f1c70fae88ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-11-24 22:24:07 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2023-11-24 22:25:03 +0100 | shapr | (~user@2600:1700:c640:3100:7a0f:9c04:5460:c93f) (Remote host closed the connection) |
| 2023-11-24 22:25:05 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-11-24 22:25:17 +0100 | shapr | (~user@2600:1700:c640:3100:bde0:ae18:ccd3:ba00) |
| 2023-11-24 22:31:58 +0100 | ski | . o O ( for the incognoscenti <https://web.archive.org/web/20050207014928/http://www.bash.org/?244321> ) |
| 2023-11-24 22:32:50 +0100 | <darkling> | Wait... bash.org died? |
| 2023-11-24 22:32:54 +0100 | <Rembane> | The nostalgia <3 |
| 2023-11-24 22:33:09 +0100 | <Rembane> | It was well and alive just a few months ago. |
| 2023-11-24 22:33:12 +0100 | <int-e> | So with password rotations we would be at something like hunter42 by now? |
| 2023-11-24 22:33:13 +0100 | <darkling> | Indeed. |
| 2023-11-24 22:33:24 +0100 | <ski> | darkling : dunno .. can't seem to access it from here, atm, anyway |
| 2023-11-24 22:33:35 +0100 | <darkling> | Yeah, it's not responding here either. |
| 2023-11-24 22:33:44 +0100 | <ski> | perhaps it's just a temporary thing |
| 2023-11-24 22:33:44 +0100 | <int-e> | (it's an 8 star password!) |
| 2023-11-24 22:35:32 +0100 | <darkling> | What witchery is this? |
| 2023-11-24 22:35:53 +0100 | <int-e> | archive.org has a July 19th snapshot from this year. |
| 2023-11-24 22:36:47 +0100 | Logio | (em@kapsi.fi) (Ping timeout: 256 seconds) |
| 2023-11-24 22:41:57 +0100 | Logio | (em@kapsi.fi) |
| 2023-11-24 22:43:19 +0100 | takuan_dozo | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-11-24 22:43:34 +0100 | infinity0_ | (~infinity0@pwned.gg) |
| 2023-11-24 22:43:34 +0100 | infinity0 | Guest3335 |
| 2023-11-24 22:43:34 +0100 | Guest3335 | (~infinity0@pwned.gg) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 2023-11-24 22:43:34 +0100 | infinity0_ | infinity0 |
| 2023-11-24 22:48:13 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 260 seconds) |
| 2023-11-24 22:48:18 +0100 | wroathe | (~wroathe@50.205.197.50) |
| 2023-11-24 22:48:18 +0100 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-11-24 22:48:18 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-11-24 22:49:56 +0100 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2023-11-24 22:56:41 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2023-11-24 22:58:50 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-11-24 23:00:13 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds) |
| 2023-11-24 23:11:30 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-11-24 23:16:47 +0100 | target_i | (~target_i@217.175.14.39) |
| 2023-11-24 23:25:30 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-11-24 23:35:13 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
| 2023-11-24 23:35:43 +0100 | leungbk | (~user@cpe-142-129-149-172.socal.res.rr.com) |
| 2023-11-24 23:37:04 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-11-24 23:37:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-24 23:39:26 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-24 23:39:41 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-24 23:40:18 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2023-11-24 23:40:27 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-11-24 23:42:39 +0100 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) (Quit: Disrupting the dragon's slumber one time too often shall eventually bestow upon all an empirical and indiscriminate conflagration that will last for all goddamn eternity.) |
| 2023-11-24 23:44:44 +0100 | Jackneill | (~Jackneill@20014C4E1E120500278C50B897B5186C.dsl.pool.telekom.hu) (Ping timeout: 252 seconds) |
| 2023-11-24 23:46:56 +0100 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) |
| 2023-11-24 23:48:48 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-11-24 23:50:04 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2023-11-24 23:53:08 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-24 23:53:24 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |