Home liberachat/#haskell: Logs Calendar

Logs on 2023-11-23 (liberachat/#haskell)

00:05:56 × myxos quits (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection)
00:06:05 × chomwitt quits (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds)
00:26:59 × idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1)
00:47:32 → rosco joins (~rosco@175.136.157.149)
00:47:49 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection)
00:48:04 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972)
00:56:17 × leungbk quits (~user@2603-8000-1201-2dd2-ea27-bf48-2f1b-70de.res6.spectrum.com) (Ping timeout: 268 seconds)
00:59:09 → leungbk joins (~user@cpe-142-129-149-172.socal.res.rr.com)
01:01:10 → myxos joins (~myxos@065-028-251-121.inf.spectrum.com)
01:22:46 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 276 seconds)
01:28:17 × Pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
01:28:39 × leungbk quits (~user@cpe-142-129-149-172.socal.res.rr.com) (Remote host closed the connection)
01:40:58 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
01:41:40 → jmdaemon joins (~jmdaemon@user/jmdaemon)
01:44:58 × tomith quits (tomith@user/tomith) (Quit: tomith)
01:46:19 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
01:49:53 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
01:51:38 × mmhat quits (~mmh@p200300f1c70fae24ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.1)
01:55:16 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds)
01:56:08 → tomith joins (tomith@user/tomith)
01:56:16 × tomith quits (tomith@user/tomith) (Client Quit)
01:57:40 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
02:01:22 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection)
02:03:35 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
02:07:05 × phma quits (~phma@host-67-44-208-228.hnremote.net) (Read error: Connection reset by peer)
02:07:30 → phma joins (phma@2001:5b0:210b:89e8:7b19:b9af:9be:34d9)
02:15:16 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
02:16:24 × pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 256 seconds)
02:21:30 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
02:32:58 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
02:36:30 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972)
02:39:09 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
02:47:20 → shriekingnoise joins (~shrieking@186.137.175.87)
02:50:20 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
02:56:32 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
03:00:48 × otto_s quits (~user@p4ff27388.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
03:02:41 → otto_s joins (~user@p5de2fa4f.dip0.t-ipconnect.de)
03:04:22 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
03:06:09 → lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
03:10:08 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
03:12:25 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection)
03:12:41 → eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
03:13:10 × td_ quits (~td@i53870926.versanet.de) (Ping timeout: 260 seconds)
03:14:58 → td_ joins (~td@i53870908.versanet.de)
03:16:43 × shapr quits (~user@2600:1700:c640:3100:58c6:dc14:3874:202f) (Remote host closed the connection)
03:16:57 → shapr joins (~user@2600:1700:c640:3100:5008:7928:9ec1:5685)
03:17:09 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
03:21:53 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
03:27:48 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
03:29:17 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
03:32:23 × edr quits (~edr@user/edr) (Quit: Leaving)
03:35:07 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
03:42:02 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
03:43:18 → harveypwca joins (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b)
03:46:57 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
03:48:58 <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.
03:49:56 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
03:50:18 → chexum joins (~quassel@gateway/tor-sasl/chexum)
03:52:31 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
03:52:31 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
03:52:31 finn_elija is now known as FinnElija
03:53:01 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
04:05:05 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
04:10:32 × shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 268 seconds)
04:10:49 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
04:19:47 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
04:21:55 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
04:22:12 × thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
04:27:57 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
04:29:10 → thegeekinside joins (~thegeekin@189.217.90.224)
04:29:24 × thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
04:31:16 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds)
04:32:13 → thegeekinside joins (~thegeekin@189.217.90.224)
04:32:14 × thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
04:32:29 → shriekingnoise joins (~shrieking@186.137.175.87)
04:34:38 → thegeekinside joins (~thegeekin@189.217.90.224)
04:34:58 × thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
04:39:36 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
04:44:08 MelanieMalik is now known as Reinhilde
04:45:40 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
04:50:10 × m257 quits (~maaz@bras-base-hspron0502w-grc-02-184-147-203-180.dsl.bell.ca) (Ping timeout: 255 seconds)
04:50:41 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
04:56:34 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
04:59:50 → aforemny joins (~aforemny@2001:9e8:6ce4:5400:325b:4a16:b2ac:85e3)
05:00:15 × aforemny_ quits (~aforemny@i59F516C5.versanet.de) (Ping timeout: 256 seconds)
05:03:05 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
05:05:37 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
05:10:26 → thegeekinside joins (~thegeekin@189.217.90.224)
05:11:30 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
05:11:49 → trev joins (~trev@user/trev)
05:20:49 × erty quits (~user@user/aeroplane) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.2))
05:23:17 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
05:25:14 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
05:29:17 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
05:35:15 → qqq joins (~qqq@92.43.167.61)
05:39:54 × monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3build2 - https://znc.in)
05:40:57 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
05:46:52 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
05:48:34 × Square2 quits (~Square4@user/square) (Ping timeout: 260 seconds)
05:48:40 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
05:49:20 → euleritian joins (~euleritia@dynamic-046-114-204-106.46.114.pool.telefonica.de)
05:54:25 → monochrom joins (trebla@216.138.220.146)
05:54:47 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
05:58:52 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
06:02:55 → Square joins (~Square@user/square)
06:04:52 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds)
06:06:18 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
06:09:26 → acidjnk joins (~acidjnk@p200300d6e72b931450e7445b70f008d5.dip0.t-ipconnect.de)
06:09:34 → Jackneill joins (~Jackneill@20014C4E1E120500D407715B1A0AAEB3.dsl.pool.telekom.hu)
06:12:47 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
06:13:22 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:15:23 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
06:15:48 → axeman joins (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de)
06:20:16 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
06:23:00 × echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8)
06:23:56 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
06:24:19 → echoreply joins (~echoreply@45.32.163.16)
06:30:10 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
06:31:29 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 256 seconds)
06:34:50 → pavonia joins (~user@user/siracusa)
06:35:40 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
06:36:30 → chomwitt joins (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1)
06:41:39 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
06:46:55 × shapr quits (~user@2600:1700:c640:3100:5008:7928:9ec1:5685) (Remote host closed the connection)
06:47:08 → shapr joins (~user@2600:1700:c640:3100:50b2:9cc7:51b1:bb21)
06:47:23 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
06:51:24 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
06:53:05 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
06:59:17 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
07:02:05 × shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 256 seconds)
07:03:55 × axeman quits (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
07:05:58 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds)
07:06:37 × Square quits (~Square@user/square) (Ping timeout: 256 seconds)
07:07:37 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
07:11:50 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
07:12:16 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:13:30 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 260 seconds)
07:15:43 Feuermagier is now known as Guest7778
07:15:43 → Feuermagier_ joins (~Feuermagi@user/feuermagier)
07:15:43 × Guest7778 quits (~Feuermagi@user/feuermagier) (Killed (lead.libera.chat (Nickname regained by services)))
07:15:43 Feuermagier_ is now known as Feuermagier
07:15:53 → bako joins (~bako@85.153.229.81)
07:16:14 ← bako parts (~bako@85.153.229.81) ()
07:24:21 → Lycurgus joins (~georg@user/Lycurgus)
07:25:40 → pandry joins (~Pandry@93.41.34.64)
07:26:46 × myxos quits (~myxos@065-028-251-121.inf.spectrum.com) (Quit: myxos)
07:29:22 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 276 seconds)
07:31:16 × pandry quits (~Pandry@93.41.34.64) (Ping timeout: 255 seconds)
07:40:02 × thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
07:43:22 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
07:51:28 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds)
07:52:36 → Xyloes joins (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
07:53:27 → lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
07:57:39 × Xyloes quits (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Read error: Connection reset by peer)
07:57:47 → hybrid joins (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
08:01:18 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
08:01:55 → ubert joins (~Thunderbi@77.119.201.196.wireless.dyn.drei.com)
08:02:42 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
08:02:51 × hybrid quits (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Ping timeout: 245 seconds)
08:04:38 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
08:04:50 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
08:06:26 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit)
08:06:39 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
08:09:01 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 276 seconds)
08:10:01 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit)
08:14:29 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 240 seconds)
08:26:52 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
08:27:45 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
08:28:43 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
08:36:58 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
08:37:58 × eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
08:40:44 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
08:42:02 → notzmv joins (~zmv@user/notzmv)
08:42:49 × minigrim0 quits (~minigrim0@mordor.urlab.be) (Ping timeout: 276 seconds)
08:43:10 → minigrim0 joins (~minigrim0@2a01:4f9:6b:3416:68ba:8dff:fe58:a5ea)
08:45:18 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:46:48 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
08:50:15 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
08:52:37 × shapr quits (~user@2600:1700:c640:3100:50b2:9cc7:51b1:bb21) (Remote host closed the connection)
08:52:50 → shapr joins (~user@2600:1700:c640:3100:df74:997a:f23c:2555)
08:56:05 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
08:56:23 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
08:59:31 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
09:04:58 → cfricke joins (~cfricke@user/cfricke)
09:10:40 → mima joins (~mmh@aftr-62-216-211-93.dynamic.mnet-online.de)
09:12:03 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972)
09:16:10 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Ping timeout: 245 seconds)
09:18:19 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
09:21:23 → danse-nr3 joins (~danse@151.43.218.204)
09:25:08 → gehmehgeh joins (~user@user/gehmehgeh)
09:28:17 × danse-nr3 quits (~danse@151.43.218.204) (Ping timeout: 256 seconds)
09:35:53 → danse-nr3 joins (~danse@151.43.218.204)
09:40:21 → idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
09:43:18 × forell_ quits (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Ping timeout: 260 seconds)
09:45:46 → vpan joins (~vpan@mail.elitnet.lt)
09:49:53 → alp_ joins (~alp@2001:861:e3d6:8f80:9af8:1547:747b:c0a7)
09:50:39 → Xyloes joins (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
09:51:33 → chele joins (~chele@user/chele)
09:51:43 × Xyloes quits (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Client Quit)
09:53:48 → Xyloes joins (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
09:54:27 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
09:58:31 × danse-nr3 quits (~danse@151.43.218.204) (Ping timeout: 255 seconds)
09:58:39 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972)
10:01:40 → danse-nr3 joins (~danse@151.43.218.204)
10:06:31 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds)
10:06:52 × tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
10:07:13 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
10:14:34 × Xyloes quits (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Quit: Konversation terminated!)
10:15:48 × shapr quits (~user@2600:1700:c640:3100:df74:997a:f23c:2555) (Remote host closed the connection)
10:16:01 → shapr joins (~user@2600:1700:c640:3100:451:c8fb:133f:b0a9)
10:16:55 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
10:16:57 → axeman joins (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de)
10:18:00 → Xyloes joins (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
10:21:12 × rosco quits (~rosco@175.136.157.149) (Quit: Lost terminal)
10:21:55 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
10:22:57 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
10:28:07 × axeman quits (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
10:32:45 × jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer)
10:32:59 → jespada_ joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
10:33:42 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
10:37:29 × jespada_ quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer)
10:38:11 → jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
10:45:31 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Ping timeout: 268 seconds)
10:47:39 × Xyloes quits (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Remote host closed the connection)
10:48:02 → Xyloes joins (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
10:48:25 × euleritian quits (~euleritia@dynamic-046-114-204-106.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
10:48:44 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
10:51:04 → axeman joins (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de)
11:00:05 × Xyloes quits (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Remote host closed the connection)
11:00:59 → forell joins (~forell@user/forell)
11:01:02 → Xyloes joins (~wyx@114.245.34.53)
11:04:01 × Xyloes quits (~wyx@114.245.34.53) (Remote host closed the connection)
11:04:06 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
11:05:01 → Xyloes joins (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
11:05:08 × harveypwca quits (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving)
11:20:58 × Xyloes quits (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Remote host closed the connection)
11:21:53 → Xyloes joins (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
11:23:29 → sawilagar joins (~sawilagar@user/sawilagar)
11:29:23 × mima quits (~mmh@aftr-62-216-211-93.dynamic.mnet-online.de) (Quit: leaving)
11:31:51 × alp_ quits (~alp@2001:861:e3d6:8f80:9af8:1547:747b:c0a7) (Remote host closed the connection)
11:35:47 → Guest92 joins (~Guest92@ext-1-284.eduroam.chalmers.se)
11:36:37 <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?
11:38:58 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds)
11:39:45 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
11:40:29 × shapr quits (~user@2600:1700:c640:3100:451:c8fb:133f:b0a9) (Remote host closed the connection)
11:40:43 → shapr joins (~user@2600:1700:c640:3100:eeb6:2b39:cffc:eb8a)
11:45:17 × axeman quits (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
11:45:47 <Guest92> Can a thread spawned by forkIO migrate from one HEC to another?
11:50:01 → Guest16 joins (~Guest16@2a01:e0a:25a:8a60:a5fe:e799:bf5a:9496)
11:52:30 <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
11:52:31 <Guest16> to be so powerful to me.
11:56:58 <sm[i]> welcome Guest16. They are used everywhere, but you only need a superficial understanding to be productive. Understanding all their uses takes practice
11:58:12 <sm[i]> check it: https://www.reddit.com/r/haskell/comments/17yjz58/the_minimal_haskell_needed_to_get_beginner_going/k9u1cdq/
12:00:25 <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
12:00:25 <Guest16> else to extend types/data etc?
12:00:41 <Guest16> Ah thanks!
12:01:09 <haskellbridge> 10<m​aralorn> 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.
12:01:27 <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
12:01:58 <haskellbridge> 10<m​aralorn> 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.
12:02:43 <sm[i]> and you won't usually use monads to extend a type, they are used more for things like control flow and logic
12:03:24 × Guest92 quits (~Guest92@ext-1-284.eduroam.chalmers.se) (Quit: Connection closed)
12:04:19 <haskellbridge> 06<s​m> maralorn: well I have to ask, did you build it in threaded mode
12:05:40 <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?
12:06:23 <haskellbridge> 10<m​aralorn> sm: Yeah, obvious question.
12:06:39 <sm[i]> Guest16: almost never
12:06:44 → zetef joins (~quassel@95.77.17.251)
12:06:48 <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
12:06:56 <Guest16> Ah ok ok
12:07:19 <sm[i]> yes it depends what you are doing, but still almost never
12:07:29 <sm[i]> except as an exercise
12:08:24 <haskellbridge> 10<m​aralorn> 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.
12:09:12 → mokee joins (~mokee@37.228.215.150)
12:09:42 <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"?
12:10:05 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
12:10:41 <sm[i]> sure
12:11:13 <sm[i]> they're like an if and else construction set. And you just took acid.
12:11:59 <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.
12:13:02 <Guest16> Yes I start to get it a little bit but I have 0 experience in Haskell. Just reading code and tutorial/guides
12:13:12 <Guest16> I have no idea in practice and in design
12:13:24 <Guest16> I see well thank you guys!
12:14:11 <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
12:14:23 × danse-nr3 quits (~danse@151.43.218.204) (Ping timeout: 264 seconds)
12:14:46 <sm[i]> They are one of many important types used in haskell programs, which become familiar with some time spent programming.
12:14:58 <sm[i]> you might also like this book:
12:15:01 <sm[i]> @where htac
12:15:01 <lambdabot> "Haskell Tutorial and Cookbook" by Mark Watson in 2017-09-04 at <https://leanpub.com/haskell-cookbook>
12:15:24 <sm[i]> @where typeclassopedia also
12:15:24 <lambdabot> http://www.haskell.org/haskellwiki/Typeclassopedia
12:15:52 <Guest16> Oh yes these links are looking good. I saw this recently and it definitively clicked
12:15:54 <Guest16> https://www.youtube.com/watch?v=C2w45qRc3aU
12:16:04 → __monty__ joins (~toonn@user/toonn)
12:16:55 <haskellbridge> 10<m​aralorn> 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.
12:17:27 <haskellbridge> 10<m​aralorn> I also have this issue in different projects of mine.
12:17:54 <haskellbridge> 06<s​m> so why this maxN2 thing ? That sounds like it'd be limiting the "capabilities" / thread runners
12:18:08 <Guest16> Well thanks again! I will dive into this. Have a great day/night!
12:18:21 <sm[i]> good luck Guest16!
12:18:32 × Guest16 quits (~Guest16@2a01:e0a:25a:8a60:a5fe:e799:bf5a:9496) (Quit: Client closed)
12:26:42 → danse-nr3 joins (~danse@151.57.190.203)
12:42:46 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972)
12:43:47 × Xyloes quits (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Read error: Connection reset by peer)
12:45:46 → Xyloes joins (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
12:47:54 → CiaoSen joins (~Jura@2a05:5800:2aa:b700:2a3a:4dff:fe84:dbd5)
12:49:56 → mmhat joins (~mmh@p200300f1c70fae24ee086bfffe095315.dip0.t-ipconnect.de)
12:50:00 × Xyloes quits (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Remote host closed the connection)
12:51:03 → Xyloes joins (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
12:51:26 <haskellbridge> 10<m​aralorn> 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.
12:51:56 <haskellbridge> 10<m​aralorn> But I will now raise this to -N16 and see if that fixes it.
12:52:00 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds)
12:53:01 <haskellbridge> 10<m​aralorn> 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.
12:57:03 <ski> yep
13:05:10 → kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be)
13:06:35 → misterfish joins (~misterfis@46.44.172.198)
13:11:34 × doyougnu- quits (~doyougnu@45.46.170.68) (Ping timeout: 255 seconds)
13:12:43 → doyougnu joins (~doyougnu@45.46.170.68)
13:14:05 → axeman joins (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de)
13:16:17 ← arahael parts (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) ()
13:19:29 × doyougnu quits (~doyougnu@45.46.170.68) (Ping timeout: 256 seconds)
13:22:57 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
13:32:38 × Xyloes quits (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Quit: Konversation terminated!)
13:35:47 × zetef quits (~quassel@95.77.17.251) (Ping timeout: 256 seconds)
13:46:07 × axeman quits (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
13:48:28 → cstml joins (~cstml@user/cstml)
13:55:18 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Ping timeout: 260 seconds)
14:03:19 × puke quits (~puke@user/puke) (Ping timeout: 255 seconds)
14:05:26 → Square2 joins (~Square4@user/square)
14:07:51 × danse-nr3 quits (~danse@151.57.190.203) (Ping timeout: 245 seconds)
14:10:14 × m1dnight quits (~christoph@78-22-4-67.access.telenet.be) (Read error: Connection reset by peer)
14:10:45 → m1dnight joins (~christoph@78-22-4-67.access.telenet.be)
14:11:18 × m1dnight quits (~christoph@78-22-4-67.access.telenet.be) (Read error: Connection reset by peer)
14:11:52 → axeman joins (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de)
14:12:56 → thegeekinside joins (~thegeekin@189.217.90.224)
14:14:33 → puke joins (~puke@user/puke)
14:15:48 × puke quits (~puke@user/puke) (Max SendQ exceeded)
14:16:15 → puke joins (~puke@user/puke)
14:17:10 → m1dnight joins (~christoph@78-22-4-67.access.telenet.be)
14:18:13 × CiaoSen quits (~Jura@2a05:5800:2aa:b700:2a3a:4dff:fe84:dbd5) (Ping timeout: 276 seconds)
14:19:05 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
14:19:10 → szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
14:19:20 → danse-nr3 joins (~danse@151.57.190.203)
14:22:34 × danse-nr3 quits (~danse@151.57.190.203) (Read error: Connection reset by peer)
14:23:59 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
14:26:39 → gtdg joins (~gtdg@user/gtdg)
14:27:37 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:30:41 → pyooque joins (~puke@user/puke)
14:30:41 puke is now known as Guest4236
14:30:41 × Guest4236 quits (~puke@user/puke) (Killed (iridium.libera.chat (Nickname regained by services)))
14:30:42 pyooque is now known as puke
14:31:37 → shriekingnoise joins (~shrieking@186.137.175.87)
14:36:49 × idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1)
14:40:34 × axeman quits (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
14:42:07 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
14:45:21 → rosco joins (~rosco@175.136.157.149)
14:45:34 → axeman joins (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de)
14:50:31 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
14:51:35 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
14:52:16 → euleritian joins (~euleritia@dynamic-046-114-200-151.46.114.pool.telefonica.de)
15:00:11 × shapr quits (~user@2600:1700:c640:3100:eeb6:2b39:cffc:eb8a) (Remote host closed the connection)
15:00:25 → shapr joins (~user@2600:1700:c640:3100:4e42:3fe1:b7bc:b2e0)
15:08:09 × misterfish quits (~misterfis@46.44.172.198) (Ping timeout: 256 seconds)
15:14:31 → danse-nr3 joins (~danse@151.43.162.162)
15:24:28 → Guest|91 joins (~Guest|91@49.37.163.15)
15:24:46 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
15:27:17 × Guest|91 quits (~Guest|91@49.37.163.15) (Client Quit)
15:28:42 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
15:29:06 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
15:37:32 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
15:40:08 → Simikando joins (~Simikando@bband-dyn35.178-40-247.t-com.sk)
15:43:29 → erty joins (~user@user/aeroplane)
15:46:31 → agentultra joins (~user@135-23-41-139.cpe.pppoe.ca)
15:52:44 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:52:46 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972)
15:57:22 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
15:57:35 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
15:59:42 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Ping timeout: 268 seconds)
16:02:14 → doyougnu joins (~doyougnu@45.46.170.68)
16:09:22 × axeman quits (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
16:09:29 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
16:11:55 × Simikando quits (~Simikando@bband-dyn35.178-40-247.t-com.sk) (Ping timeout: 255 seconds)
16:13:19 × phma quits (phma@2001:5b0:210b:89e8:7b19:b9af:9be:34d9) (Read error: Connection reset by peer)
16:13:20 × Square2 quits (~Square4@user/square) (Ping timeout: 252 seconds)
16:13:41 → zetef joins (~quassel@95.77.17.251)
16:13:44 → phma joins (phma@2001:5b0:210b:89e8:16ba:34b7:2884:aff3)
16:20:30 × rosco quits (~rosco@175.136.157.149) (Quit: Lost terminal)
16:26:48 × euleritian quits (~euleritia@dynamic-046-114-200-151.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
16:27:05 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
16:28:19 → aljazmc joins (~aljazmc@user/aljazmc)
16:35:44 <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
16:38:18 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
16:38:26 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
16:40:58 → jmdaemon joins (~jmdaemon@user/jmdaemon)
16:45:46 × zetef quits (~quassel@95.77.17.251) (Ping timeout: 276 seconds)
16:49:13 × vpan quits (~vpan@mail.elitnet.lt) (Quit: Leaving.)
16:52:16 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
16:53:36 × pavonia quits (~user@user/siracusa) (Ping timeout: 256 seconds)
16:55:17 → Lillabullero joins (~Lillabull@pool-108-53-72-49.nwrknj.fios.verizon.net)
16:56:45 → pavonia joins (~user@user/siracusa)
17:06:36 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
17:08:28 × chele quits (~chele@user/chele) (Remote host closed the connection)
17:10:48 → zetef joins (~quassel@95.77.17.251)
17:14:06 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
17:14:09 × kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1))
17:19:10 → idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
17:19:47 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
17:26:36 → Maeda joins (~Maeda@91-161-10-149.subs.proxad.net)
17:28:16 → Simikando joins (~Simikando@bband-dyn35.178-40-247.t-com.sk)
17:31:34 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972)
17:33:04 × zer0bitz quits (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds)
17:33:10 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection)
17:33:31 → shriekingnoise_ joins (~shrieking@186.137.175.87)
17:33:41 × krei-se quits (~krei-se@p5085dea2.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in)
17:35:35 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
17:36:03 × shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 256 seconds)
17:36:23 × zetef quits (~quassel@95.77.17.251) (Ping timeout: 252 seconds)
17:37:10 → zer0bitz joins (~zer0bitz@user/zer0bitz)
17:37:59 × sawilagar quits (~sawilagar@user/sawilagar) (Remote host closed the connection)
17:39:01 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.5)
17:39:05 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection)
17:39:26 → axeman joins (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de)
17:43:42 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
17:44:34 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
17:49:39 × axeman quits (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
17:54:49 → ystael joins (~ystael@user/ystael)
18:00:35 gehmehgeh is now known as gmg
18:04:20 × thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
18:07:51 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:12:15 → thegeekinside joins (~thegeekin@189.217.90.224)
18:13:58 → mc47 joins (~mc47@xmonad/TheMC47)
18:14:40 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Quit: WeeChat 4.1.1)
18:14:54 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
18:16:56 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Client Quit)
18:17:12 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
18:17:20 → tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net)
18:18:04 × dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 276 seconds)
18:19:25 × trev quits (~trev@user/trev) (Quit: trev)
18:20:37 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
18:21:31 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 256 seconds)
18:25:28 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:25:34 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
18:34:56 × Hooloovoo quits (~Hooloovoo@hax0rbana.org) (Ping timeout: 245 seconds)
18:37:35 → Hooloovoo joins (~Hooloovoo@hax0rbana.org)
18:38:42 × danse-nr3 quits (~danse@151.43.162.162) (Read error: Connection reset by peer)
18:39:29 → danse-nr3 joins (~danse@151.43.210.52)
18:40:49 × johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
18:48:29 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
18:56:52 × Simikando quits (~Simikando@bband-dyn35.178-40-247.t-com.sk) (Remote host closed the connection)
18:58:31 → trev joins (~trev@user/trev)
18:58:52 × shapr quits (~user@2600:1700:c640:3100:4e42:3fe1:b7bc:b2e0) (Remote host closed the connection)
18:59:05 → shapr joins (~user@2600:1700:c640:3100:b47e:b26e:286f:7711)
19:00:13 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
19:01:15 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection)
19:01:35 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972)
19:04:13 × Vajb quits (~Vajb@2001:999:785:c11e:a1b8:59fa:dee7:e490) (Ping timeout: 276 seconds)
19:04:35 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
19:05:09 × danse-nr3 quits (~danse@151.43.210.52) (Ping timeout: 256 seconds)
19:13:50 <haskellbridge> 14<m​auke> .oO( and check that it terminates )
19:14:17 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
19:17:11 × Lillabullero quits (~Lillabull@pool-108-53-72-49.nwrknj.fios.verizon.net) (Quit: Client closed)
19:20:37 → alp_ joins (~alp@2001:861:e3d6:8f80:3e0f:ff9a:4250:1936)
19:21:11 <haskellbridge> 06<s​m> maralorn: did that help ?
19:23:34 <haskellbridge> 10<m​aralorn> Was too busy and failed to multithread. Will report back when I work more on the problem.
19:23:51 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:97db:4ad1:c710:a642) (Ping timeout: 256 seconds)
19:31:44 → ddellacosta joins (~ddellacos@2600:1017:a100:cfb1:4ac6:3230:3465:3026)
19:33:35 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 264 seconds)
19:34:05 × CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in)
19:34:51 → CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
19:35:01 → YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:4270:fcdc:7848:6cd)
19:38:56 × ddellacosta quits (~ddellacos@2600:1017:a100:cfb1:4ac6:3230:3465:3026) (Read error: Connection reset by peer)
19:40:17 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:4270:fcdc:7848:6cd) (Ping timeout: 256 seconds)
19:42:15 → target_i joins (~target_i@217.175.14.39)
19:44:11 → danza joins (~francesco@151.43.210.52)
19:48:47 → CiaoSen joins (~Jura@2a05:5800:2aa:b700:2a3a:4dff:fe84:dbd5)
19:51:58 × mokee quits (~mokee@37.228.215.150) (Quit: off)
19:55:38 → Pickchea joins (~private@user/pickchea)
20:04:53 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
20:06:11 × mmhat quits (~mmh@p200300f1c70fae24ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.1)
20:08:32 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds)
20:14:29 → YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:698e:6541:5135:328b)
20:15:36 → aloisiwakura joins (~aloisiwak@static.5.54.140.128.clients.your-server.de)
20:26:59 → dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
20:35:51 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
20:35:51 × aljazmc quits (~aljazmc@user/aljazmc) (Read error: Connection reset by peer)
20:35:51 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
20:35:51 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
20:35:51 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
20:35:51 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
20:36:07 → chexum joins (~quassel@gateway/tor-sasl/chexum)
20:36:13 → ec joins (~ec@gateway/tor-sasl/ec)
20:36:20 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
20:36:21 → aljazmc joins (~aljazmc@user/aljazmc)
20:36:27 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
20:36:38 → gmg joins (~user@user/gehmehgeh)
20:46:52 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
20:47:30 × gtdg quits (~gtdg@user/gtdg) (Quit: Client closed)
20:47:51 → gtdg joins (~gtdg@user/gtdg)
20:48:05 × CiaoSen quits (~Jura@2a05:5800:2aa:b700:2a3a:4dff:fe84:dbd5) (Ping timeout: 240 seconds)
20:50:47 × John_Ivan quits (~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.)
20:52:46 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection)
20:59:04 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972)
20:59:55 × alp_ quits (~alp@2001:861:e3d6:8f80:3e0f:ff9a:4250:1936) (Ping timeout: 276 seconds)
21:04:31 × califax quits (~califax@user/califx) (Ping timeout: 240 seconds)
21:04:59 → califax joins (~califax@user/califx)
21:09:17 × trev quits (~trev@user/trev) (Quit: trev)
21:15:30 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection)
21:16:03 × danza quits (~francesco@151.43.210.52) (Ping timeout: 256 seconds)
21:21:45 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
21:28:22 → krei-se joins (~krei-se@p5085dea2.dip0.t-ipconnect.de)
21:29:51 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972)
21:30:36 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
21:32:13 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
21:33:16 Feuermagier is now known as Guest4551
21:33:16 → Feuermagier_ joins (~Feuermagi@user/feuermagier)
21:33:16 × Guest4551 quits (~Feuermagi@user/feuermagier) (Killed (sodium.libera.chat (Nickname regained by services)))
21:33:16 Feuermagier_ is now known as Feuermagier
21:34:22 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
21:37:10 × agentultra quits (~user@135-23-41-139.cpe.pppoe.ca) (Remote host closed the connection)
21:43:26 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
21:44:18 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Remote host closed the connection)
21:44:52 × thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
21:47:03 × shapr quits (~user@2600:1700:c640:3100:b47e:b26e:286f:7711) (Remote host closed the connection)
21:47:17 → shapr joins (~user@2600:1700:c640:3100:fa7f:cf3a:ef76:fe4f)
21:47:59 × target_i quits (~target_i@217.175.14.39) (Quit: leaving)
21:51:03 → Sgeo joins (~Sgeo@user/sgeo)
21:52:52 → thegeekinside joins (~thegeekin@189.217.90.224)
21:55:12 → johnw joins (~johnw@69.62.242.138)
21:59:06 <joel135> EvanR: maybe church natural power function is difficult enough?
22:00:19 <joel135> (meaning one natural applied to another)
22:02:04 <EvanR> ok
22:03:33 → axeman joins (~quassel@ip5b40ac1e.dynamic.kabel-deutschland.de)
22:18:58 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:20:28 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972)
22:22:10 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
22:22:26 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:25:03 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972) (Ping timeout: 256 seconds)
22:26:14 × chomwitt quits (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds)
22:26:47 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
22:28:33 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2831:95f0:1fbb:6972)
22:33:52 → Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
22:34:48 × aljazmc quits (~aljazmc@user/aljazmc) (Remote host closed the connection)
22:34:49 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 276 seconds)
22:35:47 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:37:25 × Jackneill quits (~Jackneill@20014C4E1E120500D407715B1A0AAEB3.dsl.pool.telekom.hu) (Ping timeout: 276 seconds)
22:38:16 × Buggys quits (Buggys@Buggy.shelltalk.net) (Ping timeout: 246 seconds)
22:47:42 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
23:00:46 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
23:00:57 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
23:01:47 → Square2 joins (~Square4@user/square)
23:05:27 → John_Ivan joins (~John_Ivan@user/john-ivan/x-1515935)
23:16:44 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
23:19:30 × kiriakos quits (~kiriakos@p57b644d2.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
23:24:14 → chexum joins (~quassel@gateway/tor-sasl/chexum)
23:33:58 × acidjnk quits (~acidjnk@p200300d6e72b931450e7445b70f008d5.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
23:45:26 → Buggys joins (Buggys@shelltalk.net)
23:47:47 × idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1)
23:49:18 × xff0x quits (~xff0x@2405:6580:b080:900:7037:3ff0:3081:873c) (Ping timeout: 268 seconds)
23:51:06 → xff0x joins (~xff0x@178.255.149.135)

All times are in UTC on 2023-11-23.