| 2023-11-23 00:09:55 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-11-23 00:11:57 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-11-23 00:16:35 +0100 | acidjnk | (~acidjnk@p200300d6e72b933550e7445b70f008d5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-11-23 00:20:14 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-23 00:32:07 +0100 | mima | (~mmh@aftr-62-216-211-67.dynamic.mnet-online.de) (Ping timeout: 255 seconds) |
| 2023-11-23 00:35:40 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-11-23 00:36:13 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-23 00:41:34 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2023-11-23 00:51:13 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-11-23 00:54:34 +0100 | leungbk | (~user@2603-8000-1201-2dd2-ea27-bf48-2f1b-70de.res6.spectrum.com) |
| 2023-11-23 00:56:58 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2023-11-23 01:05:56 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection) |
| 2023-11-23 01:06:05 +0100 | chomwitt | (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds) |
| 2023-11-23 01:26:59 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
| 2023-11-23 01:47:32 +0100 | rosco | (~rosco@175.136.157.149) |
| 2023-11-23 01:47:49 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-23 01:48:04 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-23 01:56:17 +0100 | leungbk | (~user@2603-8000-1201-2dd2-ea27-bf48-2f1b-70de.res6.spectrum.com) (Ping timeout: 268 seconds) |
| 2023-11-23 01:59:09 +0100 | leungbk | (~user@cpe-142-129-149-172.socal.res.rr.com) |
| 2023-11-23 02:01:10 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
| 2023-11-23 02:22:46 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 276 seconds) |
| 2023-11-23 02:28:17 +0100 | Pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2023-11-23 02:28:39 +0100 | leungbk | (~user@cpe-142-129-149-172.socal.res.rr.com) (Remote host closed the connection) |
| 2023-11-23 02:40:58 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 02:41:40 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-23 02:44:58 +0100 | tomith | (tomith@user/tomith) (Quit: tomith) |
| 2023-11-23 02:46:19 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2023-11-23 02:49:53 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-23 02:51:38 +0100 | mmhat | (~mmh@p200300f1c70fae24ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.1) |
| 2023-11-23 02:55:16 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds) |
| 2023-11-23 02:56:08 +0100 | tomith | (tomith@user/tomith) |
| 2023-11-23 02:56:16 +0100 | tomith | (tomith@user/tomith) (Client Quit) |
| 2023-11-23 02:57:40 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 03:01:22 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-23 03:03:35 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2023-11-23 03:07:05 +0100 | phma | (~phma@host-67-44-208-228.hnremote.net) (Read error: Connection reset by peer) |
| 2023-11-23 03:07:30 +0100 | phma | (phma@2001:5b0:210b:89e8:7b19:b9af:9be:34d9) |
| 2023-11-23 03:15:16 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 03:16:24 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 256 seconds) |
| 2023-11-23 03:21:30 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2023-11-23 03:32:58 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 03:36:30 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-23 03:39:09 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2023-11-23 03:47:20 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-11-23 03:50:20 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 03:56:32 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
| 2023-11-23 04:00:48 +0100 | otto_s | (~user@p4ff27388.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-11-23 04:02:41 +0100 | otto_s | (~user@p5de2fa4f.dip0.t-ipconnect.de) |
| 2023-11-23 04:04:22 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 04:06:09 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-11-23 04:10:08 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2023-11-23 04:12:25 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-23 04:12:41 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-11-23 04:13:10 +0100 | td_ | (~td@i53870926.versanet.de) (Ping timeout: 260 seconds) |
| 2023-11-23 04:14:58 +0100 | td_ | (~td@i53870908.versanet.de) |
| 2023-11-23 04:16:43 +0100 | shapr | (~user@2600:1700:c640:3100:58c6:dc14:3874:202f) (Remote host closed the connection) |
| 2023-11-23 04:16:57 +0100 | shapr | (~user@2600:1700:c640:3100:5008:7928:9ec1:5685) |
| 2023-11-23 04:17:09 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-23 04:21:53 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 04:27:48 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2023-11-23 04:29:17 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 04:32:23 +0100 | edr | (~edr@user/edr) (Quit: Leaving) |
| 2023-11-23 04:35:07 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds) |
| 2023-11-23 04:42:02 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2023-11-23 04:43:18 +0100 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) |
| 2023-11-23 04:46:57 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 04:48:58 +0100 | <erty> | I was able to able to solve my problem by compiling the code instead of using runghc, and now its showing the same error as you guys. |
| 2023-11-23 04:49:56 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-11-23 04:50:18 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-11-23 04:52:31 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-11-23 04:52:31 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-11-23 04:52:31 +0100 | finn_elija | FinnElija |
| 2023-11-23 04:53:01 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds) |
| 2023-11-23 05:05:05 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 05:10:32 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 268 seconds) |
| 2023-11-23 05:10:49 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2023-11-23 05:19:47 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-23 05:21:55 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 05:22:12 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-23 05:27:57 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2023-11-23 05:29:10 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-23 05:29:24 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-23 05:31:16 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2023-11-23 05:32:13 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-23 05:32:14 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-23 05:32:29 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-11-23 05:34:38 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-23 05:34:58 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-23 05:39:36 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 05:44:08 +0100 | MelanieMalik | Reinhilde |
| 2023-11-23 05:45:40 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds) |
| 2023-11-23 05:50:10 +0100 | m257 | (~maaz@bras-base-hspron0502w-grc-02-184-147-203-180.dsl.bell.ca) (Ping timeout: 255 seconds) |
| 2023-11-23 05:50:41 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 05:56:34 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds) |
| 2023-11-23 05:59:50 +0100 | aforemny | (~aforemny@2001:9e8:6ce4:5400:325b:4a16:b2ac:85e3) |
| 2023-11-23 06:00:15 +0100 | aforemny_ | (~aforemny@i59F516C5.versanet.de) (Ping timeout: 256 seconds) |
| 2023-11-23 06:03:05 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-11-23 06:05:37 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 06:10:26 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-23 06:11:30 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2023-11-23 06:11:49 +0100 | trev | (~trev@user/trev) |
| 2023-11-23 06:20:49 +0100 | erty | (~user@user/aeroplane) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2023-11-23 06:23:17 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 06:25:14 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-23 06:29:17 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2023-11-23 06:35:15 +0100 | qqq | (~qqq@92.43.167.61) |
| 2023-11-23 06:39:54 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3build2 - https://znc.in) |
| 2023-11-23 06:40:57 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 06:46:52 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds) |
| 2023-11-23 06:48:34 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2023-11-23 06:48:40 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-11-23 06:49:20 +0100 | euleritian | (~euleritia@dynamic-046-114-204-106.46.114.pool.telefonica.de) |
| 2023-11-23 06:54:25 +0100 | monochrom | (trebla@216.138.220.146) |
| 2023-11-23 06:54:47 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-11-23 06:58:52 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 07:02:55 +0100 | Square | (~Square@user/square) |
| 2023-11-23 07:04:52 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds) |
| 2023-11-23 07:06:18 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 07:09:26 +0100 | acidjnk | (~acidjnk@p200300d6e72b931450e7445b70f008d5.dip0.t-ipconnect.de) |
| 2023-11-23 07:09:34 +0100 | Jackneill | (~Jackneill@20014C4E1E120500D407715B1A0AAEB3.dsl.pool.telekom.hu) |
| 2023-11-23 07:12:47 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2023-11-23 07:13:22 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-11-23 07:15:23 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-23 07:15:48 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-23 07:20:16 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-23 07:23:00 +0100 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2023-11-23 07:23:56 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 07:24:19 +0100 | echoreply | (~echoreply@45.32.163.16) |
| 2023-11-23 07:30:10 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds) |
| 2023-11-23 07:31:29 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2023-11-23 07:34:50 +0100 | pavonia | (~user@user/siracusa) |
| 2023-11-23 07:35:40 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-11-23 07:36:30 +0100 | chomwitt | (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) |
| 2023-11-23 07:41:39 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 07:46:55 +0100 | shapr | (~user@2600:1700:c640:3100:5008:7928:9ec1:5685) (Remote host closed the connection) |
| 2023-11-23 07:47:08 +0100 | shapr | (~user@2600:1700:c640:3100:50b2:9cc7:51b1:bb21) |
| 2023-11-23 07:47:23 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2023-11-23 07:51:24 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-11-23 07:53:05 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-23 07:59:17 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 08:02:05 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 256 seconds) |
| 2023-11-23 08:03:55 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-11-23 08:05:58 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds) |
| 2023-11-23 08:06:37 +0100 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2023-11-23 08:07:37 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 08:11:50 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-11-23 08:12:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-23 08:13:30 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 260 seconds) |
| 2023-11-23 08:15:43 +0100 | Feuermagier | Guest7778 |
| 2023-11-23 08:15:43 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-11-23 08:15:43 +0100 | Guest7778 | (~Feuermagi@user/feuermagier) (Killed (lead.libera.chat (Nickname regained by services))) |
| 2023-11-23 08:15:43 +0100 | Feuermagier_ | Feuermagier |
| 2023-11-23 08:15:53 +0100 | bako | (~bako@85.153.229.81) |
| 2023-11-23 08:16:14 +0100 | bako | (~bako@85.153.229.81) () |
| 2023-11-23 08:24:21 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2023-11-23 08:25:40 +0100 | pandry | (~Pandry@93.41.34.64) |
| 2023-11-23 08:26:46 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (Quit: myxos) |
| 2023-11-23 08:29:22 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 276 seconds) |
| 2023-11-23 08:31:16 +0100 | pandry | (~Pandry@93.41.34.64) (Ping timeout: 255 seconds) |
| 2023-11-23 08:40:02 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-23 08:43:22 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 08:51:28 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds) |
| 2023-11-23 08:52:36 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-23 08:53:27 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-11-23 08:57:39 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Read error: Connection reset by peer) |
| 2023-11-23 08:57:47 +0100 | hybrid | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-23 09:01:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-11-23 09:01:55 +0100 | ubert | (~Thunderbi@77.119.201.196.wireless.dyn.drei.com) |
| 2023-11-23 09:02:42 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 09:02:51 +0100 | hybrid | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Ping timeout: 245 seconds) |
| 2023-11-23 09:04:38 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-11-23 09:04:50 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-11-23 09:06:26 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit) |
| 2023-11-23 09:06:39 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-11-23 09:09:01 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 276 seconds) |
| 2023-11-23 09:10:01 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit) |
| 2023-11-23 09:14:29 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 240 seconds) |
| 2023-11-23 09:26:52 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 09:27:45 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-11-23 09:28:43 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-11-23 09:36:58 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds) |
| 2023-11-23 09:37:58 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-11-23 09:40:44 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 09:42:02 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-11-23 09:42:49 +0100 | minigrim0 | (~minigrim0@mordor.urlab.be) (Ping timeout: 276 seconds) |
| 2023-11-23 09:43:10 +0100 | minigrim0 | (~minigrim0@2a01:4f9:6b:3416:68ba:8dff:fe58:a5ea) |
| 2023-11-23 09:45:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-23 09:46:48 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds) |
| 2023-11-23 09:50:15 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 09:52:37 +0100 | shapr | (~user@2600:1700:c640:3100:50b2:9cc7:51b1:bb21) (Remote host closed the connection) |
| 2023-11-23 09:52:50 +0100 | shapr | (~user@2600:1700:c640:3100:df74:997a:f23c:2555) |
| 2023-11-23 09:56:05 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2023-11-23 09:56:23 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-11-23 09:59:31 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 10:04:58 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-11-23 10:10:40 +0100 | mima | (~mmh@aftr-62-216-211-93.dynamic.mnet-online.de) |
| 2023-11-23 10:12:03 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-23 10:16:10 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Ping timeout: 245 seconds) |
| 2023-11-23 10:18:19 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-23 10:21:23 +0100 | danse-nr3 | (~danse@151.43.218.204) |
| 2023-11-23 10:25:08 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-11-23 10:28:17 +0100 | danse-nr3 | (~danse@151.43.218.204) (Ping timeout: 256 seconds) |
| 2023-11-23 10:35:53 +0100 | danse-nr3 | (~danse@151.43.218.204) |
| 2023-11-23 10:40:21 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-11-23 10:43:18 +0100 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Ping timeout: 260 seconds) |
| 2023-11-23 10:45:46 +0100 | vpan | (~vpan@mail.elitnet.lt) |
| 2023-11-23 10:49:53 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:9af8:1547:747b:c0a7) |
| 2023-11-23 10:50:39 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-23 10:51:33 +0100 | chele | (~chele@user/chele) |
| 2023-11-23 10:51:43 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Client Quit) |
| 2023-11-23 10:53:48 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-23 10:54:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-23 10:58:31 +0100 | danse-nr3 | (~danse@151.43.218.204) (Ping timeout: 255 seconds) |
| 2023-11-23 10:58:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-23 11:01:40 +0100 | danse-nr3 | (~danse@151.43.218.204) |
| 2023-11-23 11:06:31 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2023-11-23 11:06:52 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-11-23 11:07:13 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-11-23 11:14:34 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Quit: Konversation terminated!) |
| 2023-11-23 11:15:48 +0100 | shapr | (~user@2600:1700:c640:3100:df74:997a:f23c:2555) (Remote host closed the connection) |
| 2023-11-23 11:16:01 +0100 | shapr | (~user@2600:1700:c640:3100:451:c8fb:133f:b0a9) |
| 2023-11-23 11:16:55 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-23 11:16:57 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-23 11:18:00 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-23 11:21:12 +0100 | rosco | (~rosco@175.136.157.149) (Quit: Lost terminal) |
| 2023-11-23 11:21:55 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-11-23 11:22:57 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-23 11:28:07 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2023-11-23 11:32:45 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2023-11-23 11:32:59 +0100 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-11-23 11:33:42 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-11-23 11:37:29 +0100 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2023-11-23 11:38:11 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-11-23 11:45:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Ping timeout: 268 seconds) |
| 2023-11-23 11:47:39 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Remote host closed the connection) |
| 2023-11-23 11:48:02 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-23 11:48:25 +0100 | euleritian | (~euleritia@dynamic-046-114-204-106.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-23 11:48:44 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-23 11:51:04 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-23 12:00:05 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Remote host closed the connection) |
| 2023-11-23 12:00:59 +0100 | forell | (~forell@user/forell) |
| 2023-11-23 12:01:02 +0100 | Xyloes | (~wyx@114.245.34.53) |
| 2023-11-23 12:04:01 +0100 | Xyloes | (~wyx@114.245.34.53) (Remote host closed the connection) |
| 2023-11-23 12:04:06 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2023-11-23 12:05:01 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-23 12:05:08 +0100 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving) |
| 2023-11-23 12:20:58 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Remote host closed the connection) |
| 2023-11-23 12:21:53 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-23 12:23:29 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2023-11-23 12:29:23 +0100 | mima | (~mmh@aftr-62-216-211-93.dynamic.mnet-online.de) (Quit: leaving) |
| 2023-11-23 12:31:51 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:9af8:1547:747b:c0a7) (Remote host closed the connection) |
| 2023-11-23 12:35:47 +0100 | Guest92 | (~Guest92@ext-1-284.eduroam.chalmers.se) |
| 2023-11-23 12:36:37 +0100 | <Guest92> | Does each HEC manage their own pool of worker OS threads, or does there exist just one pool of OS worker threads that all HECs are executed by? |
| 2023-11-23 12:38:58 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds) |
| 2023-11-23 12:39:45 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-11-23 12:40:29 +0100 | shapr | (~user@2600:1700:c640:3100:451:c8fb:133f:b0a9) (Remote host closed the connection) |
| 2023-11-23 12:40:43 +0100 | shapr | (~user@2600:1700:c640:3100:eeb6:2b39:cffc:eb8a) |
| 2023-11-23 12:45:17 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2023-11-23 12:45:47 +0100 | <Guest92> | Can a thread spawned by forkIO migrate from one HEC to another? |
| 2023-11-23 12:50:01 +0100 | Guest16 | (~Guest16@2a01:e0a:25a:8a60:a5fe:e799:bf5a:9496) |
| 2023-11-23 12:52:30 +0100 | <Guest16> | Hi everyone! I am all new to Haskell. I have tried to understand Monads for a few years now trying here and there and I finally starts to get it! I had a few questions about them. The first one is how much do we use them in Haskell is kinda everywhere or more like a few here and there just another tool in the box. Looking at what it does it seems |
| 2023-11-23 12:52:31 +0100 | <Guest16> | to be so powerful to me. |
| 2023-11-23 12:56:58 +0100 | <sm[i]> | welcome Guest16. They are used everywhere, but you only need a superficial understanding to be productive. Understanding all their uses takes practice |
| 2023-11-23 12:58:12 +0100 | <sm[i]> | check it: https://www.reddit.com/r/haskell/comments/17yjz58/the_minimal_haskell_needed_to_get_beginner_going… |
| 2023-11-23 13:00:25 +0100 | <Guest16> | Ok and I was wondering about when to use them compared to amybe something else. Let's say I have a hashmap but I want to improve it but adding stats data or number of hit count vs miss, etc... Will I create a context on top of that hashmap with a monad? Like with I think the writter or reader monad? Or create my own monad? Or Haskell has something |
| 2023-11-23 13:00:25 +0100 | <Guest16> | else to extend types/data etc? |
| 2023-11-23 13:00:41 +0100 | <Guest16> | Ah thanks! |
| 2023-11-23 13:01:09 +0100 | <haskellbridge> | 10<maralorn> I encounter again and again situations were IO in one thread blocks other threads. Es there something I can do about this? In this case it’s simply a lot of readFile operations. |
| 2023-11-23 13:01:27 +0100 | <sm[i]> | you won't create your own monads as a beginner, you'll first learn to use the common ones. The type system will force you to use them when appropriate |
| 2023-11-23 13:01:58 +0100 | <haskellbridge> | 10<maralorn> One thread is reading a lot of files, while the other should be printing progress. But in fact the progress printing stalls until all files are read. |
| 2023-11-23 13:02:43 +0100 | <sm[i]> | and you won't usually use monads to extend a type, they are used more for things like control flow and logic |
| 2023-11-23 13:03:24 +0100 | Guest92 | (~Guest92@ext-1-284.eduroam.chalmers.se) (Quit: Connection closed) |
| 2023-11-23 13:04:19 +0100 | <haskellbridge> | 06<sm> maralorn: well I have to ask, did you build it in threaded mode |
| 2023-11-23 13:05:40 +0100 | <Guest16> | Ah ok and last question how much do we write our monads? A lot? Not very often usually they are like the one already provided? Or almost never the one provided are like canonical and fit all cases kinda? |
| 2023-11-23 13:06:23 +0100 | <haskellbridge> | 10<maralorn> sm: Yeah, obvious question. |
| 2023-11-23 13:06:39 +0100 | <sm[i]> | Guest16: almost never |
| 2023-11-23 13:06:44 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-11-23 13:06:48 +0100 | <Guest16> | I heard someone says that if you do a library you will create a lot but of let's say a CRUD not so much. I don't know what's true |
| 2023-11-23 13:06:56 +0100 | <Guest16> | Ah ok ok |
| 2023-11-23 13:07:19 +0100 | <sm[i]> | yes it depends what you are doing, but still almost never |
| 2023-11-23 13:07:29 +0100 | <sm[i]> | except as an exercise |
| 2023-11-23 13:08:24 +0100 | <haskellbridge> | 10<maralorn> I don’t think I have ever written a Monad for real code by hand. For advanced usecase you take some Monads from the libraries and but them into a newtype, but that’s it. |
| 2023-11-23 13:09:12 +0100 | mokee | (~mokee@37.228.215.150) |
| 2023-11-23 13:09:42 +0100 | <Guest16> | Hmm ok I see. Is it kind of correct then to say they are like "if" and "else" in a code with some business logic attached to it. You will almost never create your own ifs in a language and just use "if" and "else"? |
| 2023-11-23 13:10:05 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-11-23 13:10:41 +0100 | <sm[i]> | sure |
| 2023-11-23 13:11:13 +0100 | <sm[i]> | they're like an if and else construction set. And you just took acid. |
| 2023-11-23 13:11:59 +0100 | <ski> | sometimes they're described as "programmable semicolon", which isn't too bad of an idea. each monad brings its own notion of "sequencing". for list monad, it corresponds to "loop nesting". for exeption monad, it corresponds to short-circuiting. for state monad, it corresponds to state-passsing/threading style, &c. |
| 2023-11-23 13:13:02 +0100 | <Guest16> | Yes I start to get it a little bit but I have 0 experience in Haskell. Just reading code and tutorial/guides |
| 2023-11-23 13:13:12 +0100 | <Guest16> | I have no idea in practice and in design |
| 2023-11-23 13:13:24 +0100 | <Guest16> | I see well thank you guys! |
| 2023-11-23 13:14:11 +0100 | <ski> | "Escaping Hell with Monads" by Philip Nilsson in 2017-05-08 at <https://philipnilsson.github.io/Badness10k/escaping-hell-with-monads/> might give you some idea |
| 2023-11-23 13:14:23 +0100 | danse-nr3 | (~danse@151.43.218.204) (Ping timeout: 264 seconds) |
| 2023-11-23 13:14:46 +0100 | <sm[i]> | They are one of many important types used in haskell programs, which become familiar with some time spent programming. |
| 2023-11-23 13:14:58 +0100 | <sm[i]> | you might also like this book: |
| 2023-11-23 13:15:01 +0100 | <sm[i]> | @where htac |
| 2023-11-23 13:15:01 +0100 | <lambdabot> | "Haskell Tutorial and Cookbook" by Mark Watson in 2017-09-04 at <https://leanpub.com/haskell-cookbook> |
| 2023-11-23 13:15:24 +0100 | <sm[i]> | @where typeclassopedia also |
| 2023-11-23 13:15:24 +0100 | <lambdabot> | http://www.haskell.org/haskellwiki/Typeclassopedia |
| 2023-11-23 13:15:52 +0100 | <Guest16> | Oh yes these links are looking good. I saw this recently and it definitively clicked |
| 2023-11-23 13:15:54 +0100 | <Guest16> | https://www.youtube.com/watch?v=C2w45qRc3aU |
| 2023-11-23 13:16:04 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-11-23 13:16:55 +0100 | <haskellbridge> | 10<maralorn> sm: I agrre very much with your question, because it feels exactly like I am not getting real threading. But I use ghc-options: -threaded -with-rtsopts=-maxN2. |
| 2023-11-23 13:17:27 +0100 | <haskellbridge> | 10<maralorn> I also have this issue in different projects of mine. |
| 2023-11-23 13:17:54 +0100 | <haskellbridge> | 06<sm> so why this maxN2 thing ? That sounds like it'd be limiting the "capabilities" / thread runners |
| 2023-11-23 13:18:08 +0100 | <Guest16> | Well thanks again! I will dive into this. Have a great day/night! |
| 2023-11-23 13:18:21 +0100 | <sm[i]> | good luck Guest16! |
| 2023-11-23 13:18:32 +0100 | Guest16 | (~Guest16@2a01:e0a:25a:8a60:a5fe:e799:bf5a:9496) (Quit: Client closed) |
| 2023-11-23 13:26:42 +0100 | danse-nr3 | (~danse@151.57.190.203) |
| 2023-11-23 13:42:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-23 13:43:47 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Read error: Connection reset by peer) |
| 2023-11-23 13:45:46 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-23 13:47:54 +0100 | CiaoSen | (~Jura@2a05:5800:2aa:b700:2a3a:4dff:fe84:dbd5) |
| 2023-11-23 13:49:56 +0100 | mmhat | (~mmh@p200300f1c70fae24ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-11-23 13:50:00 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Remote host closed the connection) |
| 2023-11-23 13:51:03 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) |
| 2023-11-23 13:51:26 +0100 | <haskellbridge> | 10<maralorn> sm: My understanding is, that -threaded enables the threaded runtime, but without telling it to use multiple capabilities it will not actually use multiple os threads -N2 or -maxN2 activates using multiple os threads, where the difference is only that -max will ask for less than N os threads, when the system has less than N cores. |
| 2023-11-23 13:51:56 +0100 | <haskellbridge> | 10<maralorn> But I will now raise this to -N16 and see if that fixes it. |
| 2023-11-23 13:52:00 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds) |
| 2023-11-23 13:53:01 +0100 | <haskellbridge> | 10<maralorn> Although my understanding of the Haskell runtime is, that multiple OS threads are not even necessary to have IO from one thread not block the others. |
| 2023-11-23 13:57:03 +0100 | <ski> | yep |
| 2023-11-23 14:05:10 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-11-23 14:06:35 +0100 | misterfish | (~misterfis@46.44.172.198) |
| 2023-11-23 14:11:34 +0100 | doyougnu- | (~doyougnu@45.46.170.68) (Ping timeout: 255 seconds) |
| 2023-11-23 14:12:43 +0100 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-11-23 14:14:05 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-23 14:16:17 +0100 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) () |
| 2023-11-23 14:19:29 +0100 | doyougnu | (~doyougnu@45.46.170.68) (Ping timeout: 256 seconds) |
| 2023-11-23 14:22:57 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-11-23 14:32:38 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Quit: Konversation terminated!) |
| 2023-11-23 14:35:47 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 256 seconds) |
| 2023-11-23 14:46:07 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2023-11-23 14:48:28 +0100 | cstml | (~cstml@user/cstml) |
| 2023-11-23 14:55:18 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Ping timeout: 260 seconds) |
| 2023-11-23 15:03:19 +0100 | puke | (~puke@user/puke) (Ping timeout: 255 seconds) |
| 2023-11-23 15:05:26 +0100 | Square2 | (~Square4@user/square) |
| 2023-11-23 15:07:51 +0100 | danse-nr3 | (~danse@151.57.190.203) (Ping timeout: 245 seconds) |
| 2023-11-23 15:10:14 +0100 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Read error: Connection reset by peer) |
| 2023-11-23 15:10:45 +0100 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-11-23 15:11:18 +0100 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Read error: Connection reset by peer) |
| 2023-11-23 15:11:52 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-23 15:12:56 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-23 15:14:33 +0100 | puke | (~puke@user/puke) |
| 2023-11-23 15:15:48 +0100 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2023-11-23 15:16:15 +0100 | puke | (~puke@user/puke) |
| 2023-11-23 15:17:10 +0100 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-11-23 15:18:13 +0100 | CiaoSen | (~Jura@2a05:5800:2aa:b700:2a3a:4dff:fe84:dbd5) (Ping timeout: 276 seconds) |
| 2023-11-23 15:19:05 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-23 15:19:10 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-11-23 15:19:20 +0100 | danse-nr3 | (~danse@151.57.190.203) |
| 2023-11-23 15:22:34 +0100 | danse-nr3 | (~danse@151.57.190.203) (Read error: Connection reset by peer) |
| 2023-11-23 15:23:59 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-11-23 15:26:39 +0100 | gtdg | (~gtdg@user/gtdg) |
| 2023-11-23 15:27:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-23 15:30:41 +0100 | pyooque | (~puke@user/puke) |
| 2023-11-23 15:30:41 +0100 | puke | Guest4236 |
| 2023-11-23 15:30:41 +0100 | Guest4236 | (~puke@user/puke) (Killed (iridium.libera.chat (Nickname regained by services))) |
| 2023-11-23 15:30:42 +0100 | pyooque | puke |
| 2023-11-23 15:31:37 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-11-23 15:36:49 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
| 2023-11-23 15:40:34 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-11-23 15:42:07 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-11-23 15:45:21 +0100 | rosco | (~rosco@175.136.157.149) |
| 2023-11-23 15:45:34 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-23 15:50:31 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-11-23 15:51:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2023-11-23 15:52:16 +0100 | euleritian | (~euleritia@dynamic-046-114-200-151.46.114.pool.telefonica.de) |
| 2023-11-23 16:00:11 +0100 | shapr | (~user@2600:1700:c640:3100:eeb6:2b39:cffc:eb8a) (Remote host closed the connection) |
| 2023-11-23 16:00:25 +0100 | shapr | (~user@2600:1700:c640:3100:4e42:3fe1:b7bc:b2e0) |
| 2023-11-23 16:08:09 +0100 | misterfish | (~misterfis@46.44.172.198) (Ping timeout: 256 seconds) |
| 2023-11-23 16:14:31 +0100 | danse-nr3 | (~danse@151.43.162.162) |
| 2023-11-23 16:24:28 +0100 | Guest|91 | (~Guest|91@49.37.163.15) |
| 2023-11-23 16:24:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-23 16:27:17 +0100 | Guest|91 | (~Guest|91@49.37.163.15) (Client Quit) |
| 2023-11-23 16:28:42 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2023-11-23 16:29:06 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-11-23 16:37:32 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-11-23 16:40:08 +0100 | Simikando | (~Simikando@bband-dyn35.178-40-247.t-com.sk) |
| 2023-11-23 16:43:29 +0100 | erty | (~user@user/aeroplane) |
| 2023-11-23 16:46:31 +0100 | agentultra | (~user@135-23-41-139.cpe.pppoe.ca) |
| 2023-11-23 16:52:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-23 16:52:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-23 16:57:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-23 16:57:35 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2023-11-23 16:59:42 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Ping timeout: 268 seconds) |
| 2023-11-23 17:02:14 +0100 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-11-23 17:09:22 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2023-11-23 17:09:29 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2023-11-23 17:11:55 +0100 | Simikando | (~Simikando@bband-dyn35.178-40-247.t-com.sk) (Ping timeout: 255 seconds) |
| 2023-11-23 17:13:19 +0100 | phma | (phma@2001:5b0:210b:89e8:7b19:b9af:9be:34d9) (Read error: Connection reset by peer) |
| 2023-11-23 17:13:20 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2023-11-23 17:13:41 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-11-23 17:13:44 +0100 | phma | (phma@2001:5b0:210b:89e8:16ba:34b7:2884:aff3) |
| 2023-11-23 17:20:30 +0100 | rosco | (~rosco@175.136.157.149) (Quit: Lost terminal) |
| 2023-11-23 17:26:48 +0100 | euleritian | (~euleritia@dynamic-046-114-200-151.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-11-23 17:27:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-23 17:28:19 +0100 | aljazmc | (~aljazmc@user/aljazmc) |
| 2023-11-23 17:35:44 +0100 | <EvanR> | there are several documented methods for implementing lambda calculus and capture avoiding substitution. Is there a standard "acid test" which can be used to check if it's bug free |
| 2023-11-23 17:38:18 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2023-11-23 17:38:26 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-11-23 17:40:58 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-11-23 17:45:46 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 276 seconds) |
| 2023-11-23 17:49:13 +0100 | vpan | (~vpan@mail.elitnet.lt) (Quit: Leaving.) |
| 2023-11-23 17:52:16 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-23 17:53:36 +0100 | pavonia | (~user@user/siracusa) (Ping timeout: 256 seconds) |
| 2023-11-23 17:55:17 +0100 | Lillabullero | (~Lillabull@pool-108-53-72-49.nwrknj.fios.verizon.net) |
| 2023-11-23 17:56:45 +0100 | pavonia | (~user@user/siracusa) |
| 2023-11-23 18:06:36 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-11-23 18:08:28 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-11-23 18:10:48 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-11-23 18:14:06 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-11-23 18:14:09 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-11-23 18:19:10 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-11-23 18:19:47 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-11-23 18:26:36 +0100 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-11-23 18:28:16 +0100 | Simikando | (~Simikando@bband-dyn35.178-40-247.t-com.sk) |
| 2023-11-23 18:31:34 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-23 18:33:04 +0100 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds) |
| 2023-11-23 18:33:10 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2023-11-23 18:33:31 +0100 | shriekingnoise_ | (~shrieking@186.137.175.87) |
| 2023-11-23 18:33:41 +0100 | krei-se | (~krei-se@p5085dea2.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-11-23 18:35:35 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-11-23 18:36:03 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 256 seconds) |
| 2023-11-23 18:36:23 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 252 seconds) |
| 2023-11-23 18:37:10 +0100 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-11-23 18:37:59 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2023-11-23 18:39:01 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.5) |
| 2023-11-23 18:39:05 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2023-11-23 18:39:26 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-23 18:43:42 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-11-23 18:44:34 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-11-23 18:49:39 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2023-11-23 18:54:49 +0100 | ystael | (~ystael@user/ystael) |
| 2023-11-23 19:00:35 +0100 | gehmehgeh | gmg |
| 2023-11-23 19:04:20 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-23 19:07:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-23 19:12:15 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-23 19:13:58 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-11-23 19:14:40 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Quit: WeeChat 4.1.1) |
| 2023-11-23 19:14:54 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 19:16:56 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Client Quit) |
| 2023-11-23 19:17:12 +0100 | pandry | (~Pandry@93-41-34-64.ip79.fastwebnet.it) |
| 2023-11-23 19:17:20 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-11-23 19:18:04 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2023-11-23 19:19:25 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-11-23 19:20:37 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-23 19:21:31 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 256 seconds) |
| 2023-11-23 19:25:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-11-23 19:25:34 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-11-23 19:34:56 +0100 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (Ping timeout: 245 seconds) |
| 2023-11-23 19:37:35 +0100 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
| 2023-11-23 19:38:42 +0100 | danse-nr3 | (~danse@151.43.162.162) (Read error: Connection reset by peer) |
| 2023-11-23 19:39:29 +0100 | danse-nr3 | (~danse@151.43.210.52) |
| 2023-11-23 19:40:49 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-11-23 19:48:29 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-11-23 19:56:52 +0100 | Simikando | (~Simikando@bband-dyn35.178-40-247.t-com.sk) (Remote host closed the connection) |
| 2023-11-23 19:58:31 +0100 | trev | (~trev@user/trev) |
| 2023-11-23 19:58:52 +0100 | shapr | (~user@2600:1700:c640:3100:4e42:3fe1:b7bc:b2e0) (Remote host closed the connection) |
| 2023-11-23 19:59:05 +0100 | shapr | (~user@2600:1700:c640:3100:b47e:b26e:286f:7711) |
| 2023-11-23 20:00:13 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-11-23 20:01:15 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-23 20:01:35 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-23 20:04:13 +0100 | Vajb | (~Vajb@2001:999:785:c11e:a1b8:59fa:dee7:e490) (Ping timeout: 276 seconds) |
| 2023-11-23 20:04:35 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-11-23 20:05:09 +0100 | danse-nr3 | (~danse@151.43.210.52) (Ping timeout: 256 seconds) |
| 2023-11-23 20:13:50 +0100 | <haskellbridge> | 14<mauke> .oO( and check that it terminates ) |
| 2023-11-23 20:14:17 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-11-23 20:17:11 +0100 | Lillabullero | (~Lillabull@pool-108-53-72-49.nwrknj.fios.verizon.net) (Quit: Client closed) |
| 2023-11-23 20:20:37 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:3e0f:ff9a:4250:1936) |
| 2023-11-23 20:21:11 +0100 | <haskellbridge> | 06<sm> maralorn: did that help ? |
| 2023-11-23 20:23:34 +0100 | <haskellbridge> | 10<maralorn> Was too busy and failed to multithread. Will report back when I work more on the problem. |
| 2023-11-23 20:23:51 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:97db:4ad1:c710:a642) (Ping timeout: 256 seconds) |
| 2023-11-23 20:31:44 +0100 | ddellacosta | (~ddellacos@2600:1017:a100:cfb1:4ac6:3230:3465:3026) |
| 2023-11-23 20:33:35 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 264 seconds) |
| 2023-11-23 20:34:05 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-11-23 20:34:51 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2023-11-23 20:35:01 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:4270:fcdc:7848:6cd) |
| 2023-11-23 20:38:56 +0100 | ddellacosta | (~ddellacos@2600:1017:a100:cfb1:4ac6:3230:3465:3026) (Read error: Connection reset by peer) |
| 2023-11-23 20:40:17 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:4270:fcdc:7848:6cd) (Ping timeout: 256 seconds) |
| 2023-11-23 20:42:15 +0100 | target_i | (~target_i@217.175.14.39) |
| 2023-11-23 20:44:11 +0100 | danza | (~francesco@151.43.210.52) |
| 2023-11-23 20:48:47 +0100 | CiaoSen | (~Jura@2a05:5800:2aa:b700:2a3a:4dff:fe84:dbd5) |
| 2023-11-23 20:51:58 +0100 | mokee | (~mokee@37.228.215.150) (Quit: off) |
| 2023-11-23 20:55:38 +0100 | Pickchea | (~private@user/pickchea) |
| 2023-11-23 21:04:53 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-11-23 21:06:11 +0100 | mmhat | (~mmh@p200300f1c70fae24ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.1) |
| 2023-11-23 21:08:32 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2023-11-23 21:14:29 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:698e:6541:5135:328b) |
| 2023-11-23 21:15:36 +0100 | aloisiwakura | (~aloisiwak@static.5.54.140.128.clients.your-server.de) |
| 2023-11-23 21:26:59 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-11-23 21:35:51 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2023-11-23 21:35:51 +0100 | aljazmc | (~aljazmc@user/aljazmc) (Read error: Connection reset by peer) |
| 2023-11-23 21:35:51 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-11-23 21:35:51 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-11-23 21:35:51 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2023-11-23 21:35:51 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-11-23 21:36:07 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-11-23 21:36:13 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-11-23 21:36:20 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-11-23 21:36:21 +0100 | aljazmc | (~aljazmc@user/aljazmc) |
| 2023-11-23 21:36:27 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-11-23 21:36:38 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-11-23 21:46:52 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-11-23 21:47:30 +0100 | gtdg | (~gtdg@user/gtdg) (Quit: Client closed) |
| 2023-11-23 21:47:51 +0100 | gtdg | (~gtdg@user/gtdg) |
| 2023-11-23 21:48:05 +0100 | CiaoSen | (~Jura@2a05:5800:2aa:b700:2a3a:4dff:fe84:dbd5) (Ping timeout: 240 seconds) |
| 2023-11-23 21:50:47 +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-23 21:52:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-23 21:59:04 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-23 21:59:55 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:3e0f:ff9a:4250:1936) (Ping timeout: 276 seconds) |
| 2023-11-23 22:04:31 +0100 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
| 2023-11-23 22:04:59 +0100 | califax | (~califax@user/califx) |
| 2023-11-23 22:09:17 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-11-23 22:15:30 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-23 22:16:03 +0100 | danza | (~francesco@151.43.210.52) (Ping timeout: 256 seconds) |
| 2023-11-23 22:21:45 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-11-23 22:28:22 +0100 | krei-se | (~krei-se@p5085dea2.dip0.t-ipconnect.de) |
| 2023-11-23 22:29:51 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-23 22:30:36 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-11-23 22:32:13 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-11-23 22:33:16 +0100 | Feuermagier | Guest4551 |
| 2023-11-23 22:33:16 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-11-23 22:33:16 +0100 | Guest4551 | (~Feuermagi@user/feuermagier) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2023-11-23 22:33:16 +0100 | Feuermagier_ | Feuermagier |
| 2023-11-23 22:34:22 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-11-23 22:37:10 +0100 | agentultra | (~user@135-23-41-139.cpe.pppoe.ca) (Remote host closed the connection) |
| 2023-11-23 22:43:26 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-11-23 22:44:18 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection) |
| 2023-11-23 22:44:52 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-11-23 22:47:03 +0100 | shapr | (~user@2600:1700:c640:3100:b47e:b26e:286f:7711) (Remote host closed the connection) |
| 2023-11-23 22:47:17 +0100 | shapr | (~user@2600:1700:c640:3100:fa7f:cf3a:ef76:fe4f) |
| 2023-11-23 22:47:59 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2023-11-23 22:51:03 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-11-23 22:52:52 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-11-23 22:55:12 +0100 | johnw | (~johnw@69.62.242.138) |
| 2023-11-23 22:59:06 +0100 | <joel135> | EvanR: maybe church natural power function is difficult enough? |
| 2023-11-23 23:00:19 +0100 | <joel135> | (meaning one natural applied to another) |
| 2023-11-23 23:02:04 +0100 | <EvanR> | ok |
| 2023-11-23 23:03:33 +0100 | axeman | (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) |
| 2023-11-23 23:18:58 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-11-23 23:20:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-23 23:22:10 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-11-23 23:22:26 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-11-23 23:25:03 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Ping timeout: 256 seconds) |
| 2023-11-23 23:26:14 +0100 | chomwitt | (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 2023-11-23 23:26:47 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-11-23 23:28:33 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) |
| 2023-11-23 23:33:52 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-11-23 23:34:48 +0100 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 2023-11-23 23:34:49 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 276 seconds) |
| 2023-11-23 23:35:47 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-11-23 23:37:25 +0100 | Jackneill | (~Jackneill@20014C4E1E120500D407715B1A0AAEB3.dsl.pool.telekom.hu) (Ping timeout: 276 seconds) |
| 2023-11-23 23:38:16 +0100 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 246 seconds) |
| 2023-11-23 23:47:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |