Home liberachat/#haskell: Logs Calendar

Logs on 2023-09-15 (liberachat/#haskell)

00:00:04 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (*.net *.split)
00:00:05 × Batzy quits (~quassel@user/batzy) (*.net *.split)
00:00:05 × ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (*.net *.split)
00:00:05 × tomboy64 quits (~tomboy64@user/tomboy64) (*.net *.split)
00:00:05 × notzmv quits (~zmv@user/notzmv) (*.net *.split)
00:00:05 × phma quits (~phma@host-67-44-208-16.hnremote.net) (*.net *.split)
00:00:05 × lisq quits (~quassel@lis.moe) (*.net *.split)
00:00:05 × lambdabot quits (~lambdabot@haskell/bot/lambdabot) (*.net *.split)
00:00:06 × renegade quits (~renegade@bcdcac82.skybroadband.com) (*.net *.split)
00:00:06 × apache2 quits (apache2@anubis.0x90.dk) (*.net *.split)
00:00:06 × zups quits (~meow@2a01:4f9:c010:6036::1) (*.net *.split)
00:00:06 × drdo quits (~drdo@bl8-38-186.dsl.telepac.pt) (*.net *.split)
00:00:06 × actioninja quits (~actioninj@user/actioninja) (*.net *.split)
00:00:06 × codedmart quits (~codedmart@li335-49.members.linode.com) (*.net *.split)
00:00:06 × Alex_test quits (~al_test@178.34.160.172) (*.net *.split)
00:00:06 × ol_greg quits (~quassel@cpe-74-132-76-119.kya.res.rr.com) (*.net *.split)
00:00:06 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (*.net *.split)
00:00:07 × mrmr15 quits (~mrmr@user/mrmr) (*.net *.split)
00:00:07 × dumptruckman quits (~dumptruck@143-42-184-47.ip.linodeusercontent.com) (*.net *.split)
00:00:07 × haskl quits (~haskl@user/haskl) (*.net *.split)
00:00:07 × hrberg quits (~quassel@171.79-160-161.customer.lyse.net) (*.net *.split)
00:00:07 × V quits (~v@ircpuzzles/2022/april/winner/V) (*.net *.split)
00:00:07 × sefidel quits (~sefidel@user/sefidel) (*.net *.split)
00:00:08 × [Leary] quits (~Leary]@user/Leary/x-0910699) (*.net *.split)
00:00:08 × mcfrdy quits (~mcfrdy@user/mcfrdy) (*.net *.split)
00:00:08 × Vq quits (~vq@90-225-115-195-no122.tbcn.telia.com) (*.net *.split)
00:00:08 × acidsys quits (~crameleon@openSUSE/member/crameleon) (*.net *.split)
00:00:09 × mht-wtf quits (~mht@2a03:b0c0:3:e0::1e2:c001) (*.net *.split)
00:00:09 × kawzeg_ quits (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split)
00:00:09 × xnbya quits (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split)
00:00:10 × Rembane quits (~Rembane@li346-36.members.linode.com) (*.net *.split)
00:00:10 × bastelfreak quits (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split)
00:00:10 × dfg quits (~dfg@user/dfg) (*.net *.split)
00:00:10 × gawen quits (~gawen@user/gawen) (*.net *.split)
00:00:10 × s4msung quits (0RQA7T2IW8@user/s4msung) (*.net *.split)
00:00:10 × rachelambda quits (~rachelamb@78-67-128-99-no247.tbcn.telia.com) (*.net *.split)
00:00:11 × kaol quits (~kaol@94-237-42-30.nl-ams1.upcloud.host) (*.net *.split)
00:00:11 × gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split)
00:00:11 × haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
00:00:13 kaol joins (~kaol@94-237-42-30.nl-ams1.upcloud.host)
00:00:13 lambdabot joins (~lambdabot@silicon.int-e.eu)
00:00:18 Vq joins (~vq@90-225-115-195-no122.tbcn.telia.com)
00:00:19 dumptruckman joins (~dumptruck@143-42-184-47.ip.linodeusercontent.com)
00:00:19 hrberg joins (~quassel@171.79-160-161.customer.lyse.net)
00:00:21 codedmart joins (codedmart@2600:3c01::f03c:92ff:fefe:8511)
00:00:21 dfg joins (~dfg@dfg.rocks)
00:00:22 ol_greg joins (~quassel@74.132.76.119)
00:00:23 × lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host)
00:00:23 lambdabot joins (~lambdabot@haskell/bot/lambdabot)
00:00:36 kawzeg_ joins (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34)
00:00:36 bastelfreak joins (bastelfrea@libera/staff/VoxPupuli.bastelfreak)
00:00:38 mht-wtf joins (~mht@2a03:b0c0:3:e0::1e2:c001)
00:00:39 × dfg quits (~dfg@dfg.rocks) (Changing host)
00:00:39 dfg joins (~dfg@user/dfg)
00:00:39 tomboy64 joins (~tomboy64@37.120.27.183)
00:00:49 renegade joins (~renegade@bcdcac82.skybroadband.com)
00:00:55 Batzy joins (~quassel@user/batzy)
00:00:59 zups joins (~meow@static.170.50.21.65.clients.your-server.de)
00:01:05 × tomboy64 quits (~tomboy64@37.120.27.183) (Changing host)
00:01:05 tomboy64 joins (~tomboy64@user/tomboy64)
00:01:05 drdo joins (~drdo@bl8-38-186.dsl.telepac.pt)
00:01:28 Alex_test joins (~al_test@178.34.160.172)
00:01:31 × AlexNoo quits (~AlexNoo@178.34.160.172) (Read error: Connection reset by peer)
00:01:36 apache2 joins (apache2@anubis.0x90.dk)
00:01:45 phma joins (phma@2001:5b0:210f:2f78:163b:92d5:56d3:56af)
00:01:47 haskl joins (~haskl@user/haskl)
00:01:48 sefidel joins (~sefidel@user/sefidel)
00:01:53 AlexNoo joins (~AlexNoo@178.34.160.172)
00:01:56 [Leary] joins (~Leary]@user/Leary/x-0910699)
00:01:57 haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com)
00:02:01 mcfrdy joins (~mcfrdy@user/mcfrdy)
00:02:02 gabiruh joins (~gabiruh@vps19177.publiccloud.com.br)
00:02:13 gawen joins (~gawen@user/gawen)
00:02:15 TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
00:02:37 × pounce quits (~pounce@user/cute/pounce) (Ping timeout: 252 seconds)
00:02:38 ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net)
00:03:11 xnbya joins (~xnbya@2a01:4f8:c17:cbdd::1)
00:03:13 lisq joins (~quassel@lis.moe)
00:03:18 s4msung joins (yn4wjv16Ef@user/s4msung)
00:03:20 V joins (~v@ircpuzzles/2022/april/winner/V)
00:03:49 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
00:04:31 pounce joins (~pounce@user/cute/pounce)
00:05:12 Rembane joins (~Rembane@li346-36.members.linode.com)
00:05:16 acidsys joins (~crameleon@openSUSE/member/crameleon)
00:07:25 privacy joins (~privacy@47.219.84.6)
00:08:12 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 246 seconds)
00:13:41 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
00:18:37 × Inst quits (~Inst@120.244.192.250) (Remote host closed the connection)
00:18:57 Inst joins (~Inst@120.244.192.250)
00:26:06 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 252 seconds)
00:32:17 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
00:38:06 merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
00:38:35 yosef` joins (~yosef`@user/yosef/x-2947716)
00:42:19 × yosef` quits (~yosef`@user/yosef/x-2947716) (Client Quit)
00:42:36 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds)
00:44:36 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 246 seconds)
00:48:27 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
00:48:57 nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
00:50:02 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
00:52:19 justsomeguy joins (~justsomeg@user/justsomeguy)
00:54:15 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
00:54:32 wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
00:54:32 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
00:54:32 wroathe joins (~wroathe@user/wroathe)
01:02:12 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
01:07:25 smoothdev joins (~smoothdev@91-169-231-236.subs.proxad.net)
01:07:47 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
01:10:51 × aaronv quits (~aaronv@user/aaronv) (Remote host closed the connection)
01:11:10 aaronv joins (~aaronv@user/aaronv)
01:12:49 yosef` joins (~yosef`@user/yosef/x-2947716)
01:15:18 × yosef` quits (~yosef`@user/yosef/x-2947716) (Client Quit)
01:20:43 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
01:24:39 × aaronv quits (~aaronv@user/aaronv) (Ping timeout: 240 seconds)
01:26:32 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
01:27:49 aaronv joins (~aaronv@user/aaronv)
01:31:20 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds)
01:32:21 yosef` joins (~yosef`@user/yosef/x-2947716)
01:38:30 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 246 seconds)
01:42:53 × yosef` quits (~yosef`@user/yosef/x-2947716) (Quit: Ping timeout (120 seconds))
01:43:45 × powderhorn quits (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed)
01:43:50 × otto_s quits (~user@p4ff27db5.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
01:45:00 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
01:45:45 otto_s joins (~user@p5b044acd.dip0.t-ipconnect.de)
01:48:39 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds)
01:50:59 × xmachina quits (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4)
01:51:47 libertyprime joins (~libertypr@125-237-102-54-adsl.sparkbb.co.nz)
01:52:59 xmachina joins (~xmachina@modemcable048.127-56-74.mc.videotron.ca)
01:55:24 merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
01:57:00 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
02:01:19 danza__ joins (~francesco@151.57.139.255)
02:03:23 powderhorn joins (~powderhor@207-153-12-54.static.fttp.usinternet.com)
02:03:31 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
02:03:49 × danza_ quits (~francesco@151.57.185.241) (Ping timeout: 245 seconds)
02:09:30 × privacy quits (~privacy@47.219.84.6) (Ping timeout: 252 seconds)
02:10:57 privacy joins (~privacy@47.219.84.6)
02:13:12 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:242f:a39f:e332:2dc5) (Remote host closed the connection)
02:13:37 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:ada2:9203:5eb4:d18c)
02:13:46 notzmv joins (~zmv@user/notzmv)
02:15:36 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 246 seconds)
02:17:02 × xff0x quits (~xff0x@2405:6580:b080:900:820a:8b71:e207:7b95) (Ping timeout: 258 seconds)
02:20:16 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
02:22:10 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
02:26:31 pyook joins (~puke@user/puke)
02:28:43 × pyook quits (~puke@user/puke) (Read error: Connection reset by peer)
02:29:05 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
02:29:05 finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
02:29:05 finn_elija is now known as FinnElija
02:29:43 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds)
02:30:45 cptaffe` joins (~cptaffe@2600:1700:f08:111f::18e7)
02:31:37 × privacy quits (~privacy@47.219.84.6) (Quit: Leaving)
02:31:40 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 248 seconds)
02:32:44 Inst joins (~Inst@120.244.192.250)
02:32:50 cptaffe` parts (~cptaffe@2600:1700:f08:111f::18e7) ()
02:34:12 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
02:39:22 yosef` joins (~yosef`@user/yosef/x-2947716)
02:40:23 × caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline)
02:40:25 mokrates` joins (~user@2a04:4540:7113:9100:65dd:c44d:fa21:b3b1)
02:41:17 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
02:42:09 × mokrates2 quits (~user@2a04:4540:7105:1700:ccd1:ab0:40b8:b3a0) (Ping timeout: 245 seconds)
02:42:20 × mokrates quits (~user@2a04:4540:7105:1700:badc:5789:6bf6:5936) (Ping timeout: 258 seconds)
02:43:31 × cptaffe quits (~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in)
02:43:49 × td_ quits (~td@i5387091B.versanet.de) (Ping timeout: 245 seconds)
02:45:45 cptaffe joins (~cptaffe@user/cptaffe)
02:45:55 td_ joins (~td@i53870923.versanet.de)
02:46:33 × smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
02:51:03 × libertyprime quits (~libertypr@125-237-102-54-adsl.sparkbb.co.nz) (Ping timeout: 240 seconds)
02:51:57 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds)
02:53:43 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
02:57:05 × codaraxis quits (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds)
02:59:10 × acidjnk quits (~acidjnk@p200300d6e7072f496ceee41d277bee3f.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
03:00:14 × Square3 quits (~Square4@user/square) (Ping timeout: 246 seconds)
03:00:29 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
03:04:23 xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
03:07:41 aforemny_ joins (~aforemny@2001:9e8:6cfd:fc00:58bd:fed5:dd48:d919)
03:08:38 × aforemny quits (~aforemny@i59F516F8.versanet.de) (Ping timeout: 255 seconds)
03:10:53 × Me-me quits (~me-me@user/me-me) (Quit: Disconnecting on purpose.)
03:11:33 Me-me joins (~me-me@2602:ff16:3:0:1:dc:beef:d00d)
03:12:55 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
03:17:43 × mokrates` quits (~user@2a04:4540:7113:9100:65dd:c44d:fa21:b3b1) (Ping timeout: 264 seconds)
03:18:43 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
03:28:28 × yosef` quits (~yosef`@user/yosef/x-2947716) (Ping timeout: 245 seconds)
03:29:03 privacy joins (~privacy@47.219.84.6)
03:29:17 smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com)
03:30:39 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
03:37:22 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
03:41:54 × mysl quits (~mysl@user/mysl) (Ping timeout: 252 seconds)
03:43:56 mysl joins (~mysl@user/mysl)
03:46:47 merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
03:49:24 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
03:50:45 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 246 seconds)
03:56:25 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
03:58:09 × dtman34 quits (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Server closed connection)
03:58:30 dtman34 joins (~dtman34@2601:447:d000:93c9:ee16:6cdb:776d:2233)
04:01:08 codaraxis joins (~codaraxis@user/codaraxis)
04:06:01 _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
04:08:44 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 248 seconds)
04:09:23 nitrix joins (~nitrix@user/nitrix)
04:13:43 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
04:14:09 × Philonous quits (~Philonous@user/philonous) (Server closed connection)
04:14:29 Philonous joins (~Philonous@user/philonous)
04:20:39 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds)
04:23:03 chexum joins (~quassel@gateway/tor-sasl/chexum)
04:26:07 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
04:31:43 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
04:32:12 × h2t quits (~h2t@user/h2t) (Server closed connection)
04:32:27 h2t joins (~h2t@user/h2t)
04:34:39 × bwe quits (~bwe@static.72.17.201.195.clients.your-server.de) (Server closed connection)
04:34:47 bwe joins (~bwe@2a01:4f8:1c1c:4878::2)
04:36:49 krei-se joins (~krei-se@p50874770.dip0.t-ipconnect.de)
04:38:09 michalz joins (~michalz@185.246.207.200)
04:41:25 lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
04:44:07 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
04:46:00 × EvanR quits (~EvanR@user/evanr) (Remote host closed the connection)
04:46:20 EvanR joins (~EvanR@user/evanr)
04:46:36 × hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
04:48:28 × powderhorn quits (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Ping timeout: 245 seconds)
04:49:39 × Patternmaster quits (~georg@user/Patternmaster) (Server closed connection)
04:49:52 Patternmaster joins (~georg@user/Patternmaster)
04:50:42 nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
04:51:00 × privacy quits (~privacy@47.219.84.6) (Quit: Leaving)
04:51:25 hugo- joins (znc@verdigris.lysator.liu.se)
04:51:39 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
04:53:00 × opqdonut quits (opqdonut@pseudo.fixme.fi) (Ping timeout: 240 seconds)
04:53:08 opqdonut joins (opqdonut@pseudo.fixme.fi)
04:54:09 × Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Server closed connection)
04:55:51 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
04:57:48 × hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
04:59:27 Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
05:03:51 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
05:04:48 hugo- joins (znc@verdigris.lysator.liu.se)
05:10:01 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
05:18:39 × titibandit quits (~titibandi@user/titibandit) (Server closed connection)
05:18:54 titibandit joins (~titibandi@user/titibandit)
05:20:14 acidjnk joins (~acidjnk@p200300d6e7072f49054fa5fece7f7f52.dip0.t-ipconnect.de)
05:21:22 × cptaffe quits (~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in)
05:22:31 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
05:22:46 cptaffe joins (~cptaffe@user/cptaffe)
05:26:44 merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
05:28:44 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
05:32:07 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds)
05:34:49 akspecs joins (00cc8321af@sourcehut/user/akspecs)
05:36:00 takuan joins (~takuan@178-116-218-225.access.telenet.be)
05:36:32 × incertia quits (~incertia@209.122.71.127) (Server closed connection)
05:36:52 incertia joins (~incertia@209.122.71.127)
05:37:50 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
05:39:37 × bliminse quits (~bliminse@user/bliminse) (Quit: leaving)
05:40:26 × cptaffe quits (~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in)
05:41:43 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
05:41:51 cptaffe joins (~cptaffe@user/cptaffe)
05:43:39 × adium quits (adium@user/adium) (Server closed connection)
05:45:20 × cptaffe quits (~cptaffe@user/cptaffe) (Client Quit)
05:45:47 adium joins (adium@user/adium)
05:47:28 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
05:49:52 robobub joins (uid248673@id-248673.uxbridge.irccloud.com)
05:51:23 × shapr quits (~user@2600:1700:c640:3100:1053:3e08:b8d2:1dcd) (Ping timeout: 246 seconds)
05:52:24 chomwitt joins (~chomwitt@ppp-94-67-176-27.home.otenet.gr)
05:52:26 cptaffe joins (~cptaffe@user/cptaffe)
05:52:36 × cptaffe quits (~cptaffe@user/cptaffe) (Remote host closed the connection)
05:54:34 cptaffe joins (~cptaffe@user/cptaffe)
05:55:24 × hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
05:56:52 × TMA quits (tma@twin.jikos.cz) (Ping timeout: 255 seconds)
05:57:05 × cptaffe quits (~cptaffe@user/cptaffe) (Remote host closed the connection)
05:57:39 merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
06:00:27 cptaffe joins (~cptaffe@user/cptaffe)
06:00:30 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 252 seconds)
06:01:12 × danza__ quits (~francesco@151.57.139.255) (Read error: Connection reset by peer)
06:01:18 danza_ joins (~francesco@151.57.142.11)
06:05:51 CiaoSen joins (~Jura@2a05:5800:2d9:3700:664b:f0ff:fe37:9ef)
06:06:21 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
06:09:48 × mysl quits (~mysl@user/mysl) (Ping timeout: 240 seconds)
06:14:41 × tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
06:18:39 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
06:19:53 tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
06:23:42 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
06:29:57 jackneill__ joins (~Jackneill@20014C4E1E062E00E1086D943250DCAD.dsl.pool.telekom.hu)
06:31:27 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds)
06:33:01 hugo- joins (znc@verdigris.lysator.liu.se)
06:36:19 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
06:37:21 fendor joins (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021)
06:40:12 × telser quits (~quassel@user/telser) (Ping timeout: 240 seconds)
06:40:15 sord937 joins (~sord937@gateway/tor-sasl/sord937)
06:42:28 telser joins (~quassel@user/telser)
06:43:08 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
06:45:54 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 245 seconds)
06:52:56 idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
06:55:27 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
06:58:48 × bastelfreak quits (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (Quit: WeeChat 4.0.0)
06:58:57 bastelfreak joins (bastelfrea@libera/staff/VoxPupuli.bastelfreak)
07:01:03 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
07:02:00 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
07:02:02 × ft quits (~ft@p3e9bc52b.dip0.t-ipconnect.de) (Quit: leaving)
07:06:07 aforemny_ is now known as aforemny
07:06:36 gmg joins (~user@user/gehmehgeh)
07:08:23 lortabac joins (~lortabac@2a01:e0a:541:b8f0:dec7:f2de:449:c11b)
07:10:27 cfricke joins (~cfricke@user/cfricke)
07:10:54 × dcoutts_ quits (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) (Ping timeout: 252 seconds)
07:14:15 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
07:15:54 <Axman6> Things i wish Read instances could do: understand the use of ($) and Data.Function.(&) - I'd have a really nice DSL if it could. Will sadly probably have to resort to using YAML
07:16:09 × _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection)
07:16:21 lottaquestions_ joins (~nick@2607:fa49:503d:b200:f390:54fb:be02:a16f)
07:16:38 × mniip quits (mniip@libera/staff/mniip) (*.net *.split)
07:16:41 <dminuoso> Yes, read should just start ghci.
07:16:44 mniip joins (mniip@libera/staff/mniip)
07:16:58 _d0t joins (~{-d0t-}@user/-d0t-/x-7915216)
07:17:56 <Axman6> 'xactly
07:18:13 × lottaquestions quits (~nick@2607:fa49:503d:b200:fe78:84a4:cfad:8849) (Ping timeout: 252 seconds)
07:18:37 × idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
07:19:12 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
07:20:49 arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
07:30:01 dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net)
07:31:24 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 248 seconds)
07:38:46 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
07:47:57 merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
07:50:29 ubert joins (~Thunderbi@91.141.49.150.wireless.dyn.drei.com)
07:51:19 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
07:52:39 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
07:52:46 × smoothdev quits (~smoothdev@91-169-231-236.subs.proxad.net) (Quit: smoothdev)
07:54:02 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
07:57:02 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
07:57:16 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
07:58:21 smoothdev joins (~smoothdev@91-169-231-236.subs.proxad.net)
08:00:26 dcoutts_ joins (~duncan@82.69.94.207)
08:02:50 × tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
08:03:04 tcard joins (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a)
08:06:43 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
08:06:55 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 264 seconds)
08:07:03 mysl joins (~mysl@user/mysl)
08:08:06 mc47 joins (~mc47@xmonad/TheMC47)
08:08:22 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
08:08:46 mc47 joins (~mc47@xmonad/TheMC47)
08:09:03 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
08:12:19 × mysl quits (~mysl@user/mysl) (Ping timeout: 264 seconds)
08:12:39 mysl joins (~mysl@user/mysl)
08:14:45 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
08:20:07 × dcoutts_ quits (~duncan@82.69.94.207) (Ping timeout: 264 seconds)
08:20:07 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
08:21:19 × danza_ quits (~francesco@151.57.142.11) (Ping timeout: 264 seconds)
08:25:49 × arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Quit: leaving)
08:27:03 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
08:28:43 danse-nr3 joins (~francesco@151.57.142.11)
08:28:49 × NinjaTrappeur quits (~ninja@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.0.4)
08:32:15 NinjaTrappeur joins (~ninja@about/aquilenet/vodoo/NinjaTrappeur)
08:33:21 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
08:33:59 yosef` joins (~yosef`@user/yosef/x-2947716)
08:35:01 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:ada2:9203:5eb4:d18c) (Remote host closed the connection)
08:36:27 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:37:17 Sgeo joins (~Sgeo@user/sgeo)
08:37:50 kuribas joins (~user@ptr-17d51emvsvg2l7i0usw.18120a2.ip6.access.telenet.be)
08:45:27 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
08:48:50 dcoutts joins (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk)
08:52:05 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
08:52:28 nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
08:54:06 merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
08:54:46 __monty__ joins (~toonn@user/toonn)
08:57:19 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
09:00:03 × vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection)
09:00:59 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
09:01:21 vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua)
09:02:07 sm joins (~sm@plaintextaccounting/sm)
09:02:41 × vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection)
09:03:27 vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua)
09:04:01 lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
09:04:05 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
09:05:18 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
09:06:36 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:ada2:9203:5eb4:d18c)
09:10:28 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
09:17:03 × mysl quits (~mysl@user/mysl) (Ping timeout: 240 seconds)
09:17:12 TMA joins (tma@twin.jikos.cz)
09:19:13 mysl joins (~mysl@user/mysl)
09:21:16 _0xa joins (~user@user/0xa/x-3134607)
09:22:41 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
09:28:17 × smoothdev quits (~smoothdev@91-169-231-236.subs.proxad.net) (Quit: smoothdev)
09:28:47 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
09:29:24 sm joins (~sm@plaintextaccounting/sm)
09:29:44 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
09:32:25 smoothdev joins (~smoothdev@91-169-231-236.subs.proxad.net)
09:33:49 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
09:34:52 × smoothdev quits (~smoothdev@91-169-231-236.subs.proxad.net) (Client Quit)
09:35:07 × Me-me quits (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Ping timeout: 264 seconds)
09:35:12 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
09:39:19 smoothdev joins (~smoothdev@91-169-231-236.subs.proxad.net)
09:40:41 libertyprime joins (~libertypr@203.96.203.44)
09:40:56 × ridcully_ quits (~ridcully@p508ac5fc.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
09:40:58 × yosef` quits (~yosef`@user/yosef/x-2947716) (Ping timeout: 245 seconds)
09:41:51 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
09:45:47 privacy joins (~privacy@47.219.84.6)
09:47:34 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
09:48:02 Me-me joins (~me-me@2602:ff16:3:0:1:dc:beef:d00d)
09:48:30 sm joins (~sm@plaintextaccounting/sm)
09:50:32 [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
09:51:25 ridcully_ joins (~ridcully@p57b5294c.dip0.t-ipconnect.de)
09:57:49 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds)
10:00:15 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
10:00:51 × pavonia quits (~user@user/siracusa) (Ping timeout: 252 seconds)
10:01:24 × renegade quits (~renegade@bcdcac82.skybroadband.com) (Ping timeout: 252 seconds)
10:01:25 danse-nr3_ joins (~francesco@151.43.179.71)
10:02:29 × kuribas quits (~user@ptr-17d51emvsvg2l7i0usw.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
10:03:27 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds)
10:03:42 × danse-nr3 quits (~francesco@151.57.142.11) (Read error: Connection reset by peer)
10:07:30 pavonia joins (~user@user/siracusa)
10:07:35 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
10:07:51 × acidjnk quits (~acidjnk@p200300d6e7072f49054fa5fece7f7f52.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
10:10:31 × dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 264 seconds)
10:12:08 × driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
10:12:44 migas7 joins (~migas@astra4961.startdedicated.net)
10:12:49 driib joins (~driib@vmi931078.contaboserver.net)
10:13:41 × migas quits (~migas@astra4961.startdedicated.net) (Read error: Connection reset by peer)
10:13:41 migas7 is now known as migas
10:14:26 × vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection)
10:15:11 vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua)
10:16:23 × vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection)
10:17:43 × Me-me quits (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Ping timeout: 264 seconds)
10:17:47 vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua)
10:19:27 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 240 seconds)
10:19:47 notzmv joins (~zmv@user/notzmv)
10:20:43 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
10:23:20 × tcard quits (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Remote host closed the connection)
10:23:33 tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
10:25:42 renegade joins (~renegade@bcdcac82.skybroadband.com)
10:25:45 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
10:27:55 Simikando joins (~Simikando@bband-dyn237.95-103-149.t-com.sk)
10:27:57 Inst joins (~Inst@120.244.192.250)
10:30:42 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
10:38:07 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
10:38:32 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
10:41:52 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
10:42:36 Me-me joins (~me-me@2602:ff16:3:0:1:dc:beef:d00d)
10:45:05 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
10:46:47 wootehfoot joins (~wootehfoo@user/wootehfoot)
10:48:25 merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
10:48:33 × ell quits (~ellie@user/ellie) (Server closed connection)
10:48:53 ell joins (~ellie@user/ellie)
10:57:17 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
10:57:51 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
10:58:08 azimut joins (~azimut@gateway/tor-sasl/azimut)
11:04:29 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
11:07:03 × danse-nr3_ quits (~francesco@151.43.179.71) (Ping timeout: 240 seconds)
11:07:03 × CiaoSen quits (~Jura@2a05:5800:2d9:3700:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds)
11:07:51 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 240 seconds)
11:12:11 samlamamma joins (~user@h-46-59-69-159.A785.priv.bahnhof.se)
11:13:07 <samlamamma> Hi good people. I'm off on vacation and so am in need of some vacation reading. Have you read any good papers that I can download in PDF form and print out?
11:13:39 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
11:16:52 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
11:21:16 <probie> On what?
11:22:33 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds)
11:22:37 <samlamamma> Honestly, I'm up for most stuff, if you have a paper that you love then I'd like to hear about it. I don't want to limit myself by my own familiar areas
11:23:47 × libertyprime quits (~libertypr@203.96.203.44) (Quit: Lost terminal)
11:24:56 <jackdk> Monoids: Theme and variations (functional pearl)
11:25:08 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
11:32:57 <Rembane> samlamamma: The original typeclass paper by Philip Wadler is quite interesting for historical reasons.
11:34:50 <probie> I quite enjoyed "fast and loose reasoning is morally correct" (https://dl.acm.org/doi/10.1145/1111037.1111056)
11:34:55 <samlamamma> Rembane: Making ad-hoc polymorphism less ad-hoc :-)? I actually read that as part of a writing assignment in uni haha
11:35:24 merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
11:35:26 × zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 246 seconds)
11:35:41 <Rembane> samlamamma: Yes! :D
11:36:06 <Rembane> samlamamma: Was it perhaps as a part of "Computer scientist in society"?
11:38:07 × Simikando quits (~Simikando@bband-dyn237.95-103-149.t-com.sk) (Remote host closed the connection)
11:38:15 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
11:38:29 Simikando joins (~Simikando@bband-dyn237.95-103-149.t-com.sk)
11:39:57 Chioque joins (~mansur@37.95.49.60.kmr03-home.tm.net.my)
11:40:05 ripspin joins (~chatzilla@1.145.158.37)
11:40:14 hugo- is now known as hugo
11:40:15 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds)
11:40:42 × Chioque quits (~mansur@37.95.49.60.kmr03-home.tm.net.my) (Client Quit)
11:43:22 <samlamamma> Rembane: It was a programming language fundamentals course with an essay component. I compared Java's, Common Lisp's CLOS's, and Haskell's variants of ad-hoc polymorphism and read that as part of understanding how it can be implemented (or something, it was a few years ago)
11:43:31 × Simikando quits (~Simikando@bband-dyn237.95-103-149.t-com.sk) (Ping timeout: 264 seconds)
11:45:19 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
11:45:53 <Rembane> samlamamma: That's absolutely lovely!
11:47:34 × troydm quits (~troydm@user/troydm) (Ping timeout: 245 seconds)
11:48:34 <lyxia> samlamamma: types as propositions by Wadler
11:49:58 <lyxia> https://commie.club/papers/reynolds83:parametricity.pdf
11:51:17 nyr joins (~nyr@user/nyr)
11:55:27 × pie_ quits (~pie_bnc@user/pie/x-2818909) ()
11:58:17 kuribas joins (~user@ptr-17d51emudgpz19ysnjl.18120a2.ip6.access.telenet.be)
11:59:27 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
11:59:35 × nyr quits (~nyr@user/nyr) (Quit: WeeChat 4.0.4)
11:59:53 nyr joins (~nyr@user/nyr)
12:02:07 × mysl quits (~mysl@user/mysl) (Ping timeout: 264 seconds)
12:02:27 kuribas` joins (~user@ptr-17d51emudgpz19ysnjl.18120a2.ip6.access.telenet.be)
12:02:43 × kuribas quits (~user@ptr-17d51emudgpz19ysnjl.18120a2.ip6.access.telenet.be) (Ping timeout: 264 seconds)
12:04:31 <haskellbridge> <m​auke> https://okmij.org/ftp/Haskell/tr-15-04.pdf
12:06:35 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
12:09:12 × aaronv quits (~aaronv@user/aaronv) (Ping timeout: 246 seconds)
12:09:59 mysl joins (~mysl@user/mysl)
12:10:53 kuribas`` joins (~user@ptr-17d51emudgpz19ysnjl.18120a2.ip6.access.telenet.be)
12:11:07 × kuribas` quits (~user@ptr-17d51emudgpz19ysnjl.18120a2.ip6.access.telenet.be) (Ping timeout: 264 seconds)
12:11:20 libertyprime joins (~libertypr@203.96.203.44)
12:14:44 xff0x joins (~xff0x@2405:6580:b080:900:1ccc:5538:2fe9:472a)
12:16:26 mokrates` joins (~user@2a04:4540:7113:9100:de99:8842:2fec:2e8c)
12:17:43 × nyr quits (~nyr@user/nyr) (Ping timeout: 264 seconds)
12:20:07 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
12:21:03 pie_ joins (~pie_bnc@user/pie/x-2818909)
12:25:36 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
12:30:50 pyooque joins (~puke@user/puke)
12:30:50 × puke quits (~puke@user/puke) (Killed (lead.libera.chat (Nickname regained by services)))
12:30:50 pyooque is now known as puke
12:31:35 Simikando joins (~Simikando@bband-dyn237.95-103-149.t-com.sk)
12:33:26 Square joins (~Square@user/square)
12:35:04 cfricke joins (~cfricke@user/cfricke)
12:37:55 × lieven quits (~mal@ns2.wyrd.be) (Server closed connection)
12:38:14 lieven joins (~mal@ns2.wyrd.be)
12:38:15 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
12:41:08 × maxfan8 quits (~max@2a01:4f8:192:5356::2) (Server closed connection)
12:41:33 maxfan8 joins (~max@2a01:4f8:192:5356::2)
12:41:41 danse-nr3 joins (~francesco@151.43.179.71)
12:43:09 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
12:43:27 × Simikando quits (~Simikando@bband-dyn237.95-103-149.t-com.sk) (Remote host closed the connection)
12:44:19 × samlamamma quits (~user@h-46-59-69-159.A785.priv.bahnhof.se) (Remote host closed the connection)
12:53:54 × cptaffe quits (~cptaffe@user/cptaffe) (Remote host closed the connection)
12:54:14 nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
12:54:51 cptaffe joins (~cptaffe@user/cptaffe)
12:55:52 × cptaffe quits (~cptaffe@user/cptaffe) (Remote host closed the connection)
12:56:15 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
12:57:14 cptaffe joins (~cptaffe@user/cptaffe)
12:59:10 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds)
13:00:19 × sm quits (~sm@plaintextaccounting/sm) (Remote host closed the connection)
13:00:58 sm joins (~sm@plaintextaccounting/sm)
13:02:18 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
13:02:56 × dyniec_ quits (~dyniec@mail.dybiec.info) (Quit: WeeChat 4.0.2)
13:03:06 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
13:03:27 × _0xa quits (~user@user/0xa/x-3134607) (Ping timeout: 240 seconds)
13:06:02 dyniec joins (~dyniec@mail.dybiec.info)
13:06:55 × dyniec quits (~dyniec@mail.dybiec.info) (Client Quit)
13:07:32 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4)
13:07:57 dyniec joins (~dyniec@mail.dybiec.info)
13:09:00 atwm joins (~atwm@45.10.152.186)
13:10:58 × atwm quits (~atwm@45.10.152.186) (Remote host closed the connection)
13:13:33 atwm joins (~atwm@45.10.152.196)
13:14:08 × atwm quits (~atwm@45.10.152.196) (Remote host closed the connection)
13:15:07 atwm joins (~atwm@45.10.152.196)
13:15:51 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
13:17:04 × atwm quits (~atwm@45.10.152.196) (Read error: Connection reset by peer)
13:21:16 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
13:21:44 ystael joins (~ystael@user/ystael)
13:21:44 × libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving)
13:22:13 accord joins (uid568320@id-568320.hampstead.irccloud.com)
13:26:08 × ripspin quits (~chatzilla@1.145.158.37) (Remote host closed the connection)
13:26:16 acidjnk joins (~acidjnk@p200300d6e7072f49ed2d5a0d44b99cf1.dip0.t-ipconnect.de)
13:30:41 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
13:34:19 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
13:35:40 zmt00 joins (~zmt00@user/zmt00)
13:38:07 × mysl quits (~mysl@user/mysl) (Ping timeout: 264 seconds)
13:39:00 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
13:44:30 mysl joins (~mysl@user/mysl)
13:46:51 _0xa joins (~user@user/0xa/x-3134607)
13:47:16 mechap joins (~mechap@user/mechap)
13:51:07 bontaq joins (~user@ool-45707d2c.dyn.optonline.net)
13:51:55 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
13:54:58 × mysl quits (~mysl@user/mysl) (Ping timeout: 244 seconds)
13:57:00 mysl joins (~mysl@user/mysl)
13:58:28 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
14:01:22 danse-nr3_ joins (~francesco@151.43.199.63)
14:03:03 merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
14:03:55 × danse-nr3 quits (~francesco@151.43.179.71) (Ping timeout: 264 seconds)
14:06:04 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds)
14:11:43 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
14:19:20 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
14:20:30 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
14:20:51 × pierrot_ quits (~pi@user/pierrot) (Server closed connection)
14:21:11 pierrot joins (~pi@user/pierrot)
14:21:15 × ol_greg quits (~quassel@74.132.76.119) (Remote host closed the connection)
14:23:06 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
14:30:19 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds)
14:32:10 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
14:32:50 sm joins (~sm@plaintextaccounting/sm)
14:37:20 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds)
14:38:26 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
14:41:43 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 264 seconds)
14:42:34 hugo joins (znc@verdigris.lysator.liu.se)
14:45:10 sm joins (~sm@plaintextaccounting/sm)
14:49:54 ft joins (~ft@p3e9bc52b.dip0.t-ipconnect.de)
14:51:00 × kuribas`` quits (~user@ptr-17d51emudgpz19ysnjl.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1))
14:51:03 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
14:51:35 × michalz quits (~michalz@185.246.207.200) (Remote host closed the connection)
14:53:40 ripspin joins (~chatzilla@1.145.143.121)
14:54:19 × Square quits (~Square@user/square) (Ping timeout: 264 seconds)
14:55:09 stefan-__ is now known as stefan-_
14:57:25 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
15:00:03 Sgeo joins (~Sgeo@user/sgeo)
15:04:12 × superbil quits (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 246 seconds)
15:05:38 superbil joins (~superbil@1-34-176-171.hinet-ip.hinet.net)
15:10:24 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
15:15:55 × _0xa quits (~user@user/0xa/x-3134607) (Ping timeout: 264 seconds)
15:17:04 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:dec7:f2de:449:c11b) (Quit: WeeChat 2.8)
15:17:06 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
15:19:04 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:21:58 × vulpine quits (xfnw@tilde.team) (Server closed connection)
15:22:10 × ubert quits (~Thunderbi@91.141.49.150.wireless.dyn.drei.com) (Remote host closed the connection)
15:22:19 vulpine joins (xfnw@tilde.team)
15:25:17 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:ada2:9203:5eb4:d18c) (Remote host closed the connection)
15:25:37 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:ada2:9203:5eb4:d18c)
15:28:00 gmg joins (~user@user/gehmehgeh)
15:29:22 × ursa-major quits (~ursa-majo@37.19.210.38) (Ping timeout: 252 seconds)
15:29:51 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
15:32:14 tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
15:33:47 ursa-major joins (~ursa-majo@37.19.210.10)
15:36:11 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
15:36:14 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
15:36:27 × Flow quits (~none@gentoo/developer/flow) (Quit: WeeChat 4.0.2)
15:38:32 × sefidel quits (~sefidel@user/sefidel) (Remote host closed the connection)
15:38:49 × ursa-major quits (~ursa-majo@37.19.210.10) (Ping timeout: 244 seconds)
15:39:15 sefidel joins (~sefidel@user/sefidel)
15:40:36 × ripspin quits (~chatzilla@1.145.143.121) (Remote host closed the connection)
15:42:47 wootehfoot joins (~wootehfoo@user/wootehfoot)
15:45:42 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
15:49:03 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
15:51:20 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:ada2:9203:5eb4:d18c) (Remote host closed the connection)
15:51:36 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:ada2:9203:5eb4:d18c)
15:54:08 merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
15:55:13 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
15:55:31 × mechap quits (~mechap@user/mechap) (Ping timeout: 264 seconds)
15:58:38 Guest92 joins (~Guest67@2001:da8:201:5400:b128:fc32:76d9:d71c)
15:58:58 × Guest92 quits (~Guest67@2001:da8:201:5400:b128:fc32:76d9:d71c) (Client Quit)
16:00:28 _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
16:03:03 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds)
16:05:34 <Inst> just out of curiosity, and i know no one bothers with this workflow
16:05:39 <Inst> but how do you have an error that looks like this
16:06:14 <Inst> https://paste.tomsmeding.com/yErx5YI1
16:06:15 shapr joins (~user@2600:1700:c640:3100:7115:455d:ba1a:8375)
16:06:23 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
16:06:52 <Inst> made with manual GHC calls, but this is just hilarious in its own way, i.e, without cabal, ghc can't see that vector via vector is the same as the exact same package version, orchestrated
16:06:59 <Inst> probably via aeson
16:07:29 <geekosaur> the thing is they're probably not identical, but ghc isn't smart enough to show ABI hashes that differ
16:07:43 <carter> Yeah
16:08:04 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:ada2:9203:5eb4:d18c) (Remote host closed the connection)
16:08:16 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
16:08:17 <geekosaur> cabal and stack will both save you from this by ensuring everything uses the same version and ABI hash
16:09:20 econo_ joins (uid147250@id-147250.tinside.irccloud.com)
16:10:08 Flow joins (~none@gentoo/developer/flow)
16:10:28 × ft quits (~ft@p3e9bc52b.dip0.t-ipconnect.de) (Quit: leaving)
16:13:27 sm joins (~sm@plaintextaccounting/sm)
16:13:59 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
16:16:31 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:17:14 <EvanR> that situation is much worse in gcc right
16:17:20 <EvanR> there's no tracking of ABI anything
16:17:35 <Inst> i thought segfaulting was the point of C?
16:18:36 <EvanR> be thankful for a swift segfault
16:19:18 × migas quits (~migas@astra4961.startdedicated.net) (Remote host closed the connection)
16:19:36 migas joins (~migas@astra4961.startdedicated.net)
16:20:09 × qqq quits (~qqq@92.43.167.61) (Remote host closed the connection)
16:20:35 <sm> the problem is error reporting.. it's hard to explain to the user what's going on
16:20:58 <sm> but we should
16:21:12 ski joins (~ski@c83-248-72-178.bredband.tele2.se)
16:23:07 × mysl quits (~mysl@user/mysl) (Ping timeout: 264 seconds)
16:23:54 <Inst> btw, do you know where the config is for cabal packages?
16:24:25 <Inst> actually, found the pakaceg.db
16:25:06 <geekosaur> don't use it directly, you just invite ghc to make the same mistake you saw
16:26:15 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
16:27:51 × xff0x quits (~xff0x@2405:6580:b080:900:1ccc:5538:2fe9:472a) (Ping timeout: 240 seconds)
16:28:15 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds)
16:28:15 mysl joins (~mysl@user/mysl)
16:30:59 xff0x joins (~xff0x@2405:6580:b080:900:c9f3:66ab:ef62:4559)
16:32:28 <sm> Inst: I haven't had this for a while, but IIRC the usual fix was stack clean [--full] and try again
16:32:42 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds)
16:33:24 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:ada2:9203:5eb4:d18c)
16:33:40 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
16:34:06 <Inst> well, not stack user :)
16:37:39 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
16:39:18 sm joins (~sm@plaintextaccounting/sm)
16:39:42 bliminse joins (~bliminse@user/bliminse)
16:39:54 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:42:23 × eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Server closed connection)
16:42:35 eL_Bart0 joins (eL_Bart0@dietunichtguten.org)
16:46:30 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
16:48:45 justsomeguy joins (~justsomeg@user/justsomeguy)
16:49:35 michalz joins (~michalz@185.246.207.203)
16:50:12 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
16:53:18 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
16:55:59 nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
16:57:49 sm joins (~sm@plaintextaccounting/sm)
16:59:15 ripspin joins (~chatzilla@1.145.130.117)
17:00:55 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
17:02:09 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds)
17:03:13 Square joins (~Square@user/square)
17:03:25 × mokrates` quits (~user@2a04:4540:7113:9100:de99:8842:2fec:2e8c) (Remote host closed the connection)
17:06:40 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
17:11:34 troydm joins (~troydm@user/troydm)
17:12:17 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
17:17:13 × michalz quits (~michalz@185.246.207.203) (Remote host closed the connection)
17:19:03 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
17:20:13 × finsternis quits (~X@23.226.237.192) (Read error: Connection reset by peer)
17:20:42 × opqdonut quits (opqdonut@pseudo.fixme.fi) (Ping timeout: 246 seconds)
17:20:50 opqdonut joins (opqdonut@pseudo.fixme.fi)
17:23:48 <Inst> I ended up uninstalling and cleaning my cabal store, then reinstalling to get this to work
17:23:50 Inst shrugs
17:25:15 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
17:27:57 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
17:28:11 × vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection)
17:28:34 merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
17:29:10 vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua)
17:30:46 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
17:32:09 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
17:33:03 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds)
17:33:33 × vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection)
17:34:12 vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua)
17:34:40 ChaiTRex joins (~ChaiTRex@user/chaitrex)
17:35:04 × opqdonut quits (opqdonut@pseudo.fixme.fi) (Ping timeout: 244 seconds)
17:35:12 opqdonut joins (opqdonut@pseudo.fixme.fi)
17:35:51 × danse-nr3_ quits (~francesco@151.43.199.63) (Ping timeout: 240 seconds)
17:38:27 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:ada2:9203:5eb4:d18c) (Remote host closed the connection)
17:39:12 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 246 seconds)
17:39:36 × vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection)
17:39:52 vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua)
17:40:35 × ripspin quits (~chatzilla@1.145.130.117) (Remote host closed the connection)
17:45:19 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
17:46:22 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:48:52 × vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection)
17:49:17 vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua)
17:51:09 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
17:52:20 ChaiTRex joins (~ChaiTRex@user/chaitrex)
17:58:42 × vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection)
17:59:17 vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua)
18:00:54 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 244 seconds)
18:02:49 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:ada2:9203:5eb4:d18c)
18:03:26 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:04:31 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
18:05:52 × vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection)
18:06:37 vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua)
18:10:34 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
18:14:58 notzmv joins (~zmv@user/notzmv)
18:18:23 justsomeguy joins (~justsomeg@user/justsomeguy)
18:21:29 sm joins (~sm@plaintextaccounting/sm)
18:23:07 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
18:25:54 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
18:28:54 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
18:39:30 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
18:39:42 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:ada2:9203:5eb4:d18c) (Remote host closed the connection)
18:41:51 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
18:49:17 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
18:56:43 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds)
19:02:29 sm joins (~sm@plaintextaccounting/sm)
19:02:36 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 252 seconds)
19:03:16 pavonia joins (~user@user/siracusa)
19:04:24 _0xa joins (~user@user/0xa/x-3134607)
19:06:44 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
19:08:43 × robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
19:11:42 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
19:11:45 aaronv joins (~aaronv@user/aaronv)
19:15:12 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:34d8:e262:1fb4:8b40)
19:18:19 × ski quits (~ski@c83-248-72-178.bredband.tele2.se) (Ping timeout: 264 seconds)
19:18:37 merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
19:20:21 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
19:25:31 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
19:26:14 danza joins (~francesco@151.43.221.136)
19:29:23 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
19:30:39 × jackneill__ quits (~Jackneill@20014C4E1E062E00E1086D943250DCAD.dsl.pool.telekom.hu) (Ping timeout: 240 seconds)
19:37:49 × jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 248 seconds)
19:38:49 justsomeguy joins (~justsomeg@user/justsomeguy)
19:39:41 jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com)
19:42:26 machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
19:42:55 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
19:43:09 × justsomeguy quits (~justsomeg@user/justsomeguy) (Client Quit)
19:45:44 xtabentun joins (uid491929@id-491929.tinside.irccloud.com)
19:48:15 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
19:48:57 × dove_ quits (~irc@2600:3c00:e000:287::1) (Server closed connection)
19:49:15 dove_ joins (~irc@2600:3c00:e000:287::1)
19:51:19 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds)
19:51:54 × solution quits (~solution@94-21-157-146.pool.digikabel.hu) (Ping timeout: 246 seconds)
19:53:45 solution joins (~solution@87-97-12-207.pool.digikabel.hu)
19:59:07 × solution quits (~solution@87-97-12-207.pool.digikabel.hu) (Ping timeout: 264 seconds)
19:59:54 solution joins (~solution@87-97-13-37.pool.digikabel.hu)
20:01:03 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
20:07:31 × _0xa quits (~user@user/0xa/x-3134607) (Ping timeout: 264 seconds)
20:08:00 mechap joins (~mechap@user/mechap)
20:08:52 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
20:09:33 × mysl quits (~mysl@user/mysl) (Ping timeout: 244 seconds)
20:11:26 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
20:11:37 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds)
20:12:55 × solution quits (~solution@87-97-13-37.pool.digikabel.hu) (Ping timeout: 264 seconds)
20:13:23 tremon joins (~tremon@83.80.159.219)
20:14:46 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:16:44 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:17:52 sm joins (~sm@plaintextaccounting/sm)
20:19:57 solution joins (~solution@178-164-206-58.pool.digikabel.hu)
20:21:55 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
20:22:21 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds)
20:25:29 mysl joins (~mysl@user/mysl)
20:26:15 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
20:26:42 × smoothdev quits (~smoothdev@91-169-231-236.subs.proxad.net) (Quit: smoothdev)
20:27:15 × aaronv quits (~aaronv@user/aaronv) (Ping timeout: 246 seconds)
20:29:16 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
20:33:28 caryhartline joins (~caryhartl@168.182.58.169)
20:33:59 sm joins (~sm@plaintextaccounting/sm)
20:36:14 Pickchea joins (~private@user/pickchea)
20:37:55 _0xa joins (~user@user/0xa/x-3134607)
20:38:15 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds)
20:39:42 ft joins (~ft@p3e9bc52b.dip0.t-ipconnect.de)
20:40:12 hugo- joins (znc@verdigris.lysator.liu.se)
20:40:34 × _0xa quits (~user@user/0xa/x-3134607) (Remote host closed the connection)
20:42:06 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
20:44:47 × son0p quits (~ff@186.114.32.184) (Ping timeout: 255 seconds)
20:44:57 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:49:43 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
20:51:19 × dcoutts quits (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) (Ping timeout: 264 seconds)
20:57:31 nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
20:59:08 jmdaemon joins (~jmdaemon@user/jmdaemon)
21:00:09 powderhorn joins (~powderhor@207-153-12-54.static.fttp.usinternet.com)
21:01:24 × kimiamania4 quits (~67afdc47@user/kimiamania) (Quit: PegeLinux)
21:01:50 kimiamania4 joins (~65804703@user/kimiamania)
21:02:46 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
21:03:19 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
21:06:09 × kitzman_ quits (~kitzman@user/dekenevs) (Server closed connection)
21:07:42 × caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline)
21:07:56 merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
21:09:03 kitzman joins (~kitzman@user/dekenevs)
21:10:40 caryhartline joins (~caryhartl@168.182.58.169)
21:11:28 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
21:11:39 × powderhorn quits (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed)
21:14:39 × acidjnk quits (~acidjnk@p200300d6e7072f49ed2d5a0d44b99cf1.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
21:24:55 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
21:25:01 hyiltiz joins (~user@2620:149:13d1:100::4c2)
21:25:29 <hyiltiz> hi all
21:25:29 × mechap quits (~mechap@user/mechap) (Ping timeout: 245 seconds)
21:26:02 deriamis joins (deriamis@50.34.50.53)
21:26:08 machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
21:26:18 <geekosaur> hello
21:28:13 libertyprime joins (~libertypr@203.96.203.44)
21:32:17 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
21:37:40 johnw joins (~johnw@69.62.242.138)
21:37:47 × johnw quits (~johnw@69.62.242.138) (Remote host closed the connection)
21:39:59 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds)
21:42:02 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds)
21:44:35 × fendor quits (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection)
21:45:03 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 240 seconds)
21:51:18 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
21:54:24 sm joins (~sm@plaintextaccounting/sm)
21:58:15 × hyiltiz quits (~user@2620:149:13d1:100::4c2) (Ping timeout: 240 seconds)
21:58:49 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
22:01:05 × danza quits (~francesco@151.43.221.136) (Read error: Connection reset by peer)
22:01:17 danza joins (~francesco@151.57.131.81)
22:04:03 × mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Server closed connection)
22:04:20 mrvdb joins (~mrvdb@185.92.221.186)
22:04:31 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
22:04:57 Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
22:07:45 × _xor quits (~xor@ip-50-5-233-250.dynamic.fuse.net) (Quit: Ping timeout (120 seconds))
22:08:04 × noctux quits (~noctux@user/noctux) (Read error: Connection reset by peer)
22:08:18 noctux joins (~noctux@user/noctux)
22:08:19 _xor joins (~xor@ip-50-5-233-250.dynamic.fuse.net)
22:10:58 wroathe joins (~wroathe@user/wroathe)
22:11:48 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
22:13:27 × xtabentun quits (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity)
22:15:00 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
22:20:12 × libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving)
22:21:29 sm joins (~sm@plaintextaccounting/sm)
22:21:45 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
22:23:07 × caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline)
22:24:55 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
22:25:51 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds)
22:27:15 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
22:27:22 smoothdev joins (~smoothdev@91-169-231-236.subs.proxad.net)
22:30:55 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
22:31:56 powderhorn joins (~powderhor@207-153-12-54.static.fttp.usinternet.com)
22:33:04 arahael joins (~arahael@1.145.68.183)
22:36:11 mysl_ joins (~mysl@user/mysl)
22:36:17 × mysl quits (~mysl@user/mysl) (Ping timeout: 244 seconds)
22:38:54 Inst joins (~Inst@120.244.192.250)
22:44:07 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
22:46:28 aaronv joins (~aaronv@user/aaronv)
22:46:55 Lycurgus joins (~juan@user/Lycurgus)
22:49:48 waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
22:51:17 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
22:54:22 × Square quits (~Square@user/square) (Ping timeout: 244 seconds)
22:57:27 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
22:57:44 × Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss)
22:57:55 × puke quits (~puke@user/puke) (Ping timeout: 264 seconds)
22:58:33 merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
23:01:57 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
23:03:05 libertyprime joins (~libertypr@203.96.203.44)
23:03:26 <wroathe> Hey guys, I must be blind. Reading through the documentation on async I'm trying to find an operation with similar semantics to Promise.allSettled in Javascript. Meaning execute a traversable of asyncs concurrently and then collect their results in another traversable with something like t (Either Error a) as the type?
23:03:32 <wroathe> Am I just missing it?
23:03:35 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
23:03:47 <EvanR> there's mapConcurrently
23:03:55 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds)
23:03:55 <wroathe> mapConcurrently and forConcurrently seem to promise that they'll cancel pending asyncs if one of them fails
23:04:01 <wroathe> EvanR: Yeah that's not quite what I'm after
23:04:11 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 244 seconds)
23:04:29 <EvanR> you could also just mapM_ over await
23:04:34 <EvanR> er, mapM
23:06:13 <wroathe> Oh maybe that's the idea. That mapM already gives me this
23:06:23 <wroathe> I was expecting the library itself to export this function
23:06:49 <[Leary]> wroathe: `traverse waitCatch`
23:07:36 <wroathe> [Leary]: <3
23:07:38 <wroathe> thanks again
23:10:16 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
23:11:56 × Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
23:13:57 sm joins (~sm@plaintextaccounting/sm)
23:14:39 × arahael quits (~arahael@1.145.68.183) (Ping timeout: 240 seconds)
23:16:02 Psybur joins (~Psybur@2601:5c9:4201:3220:e65f:1ff:fe95:62f8)
23:16:21 lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
23:17:06 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 244 seconds)
23:19:08 Deide joins (d0130db69a@user/deide)
23:19:28 × accord quits (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
23:22:12 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds)
23:22:16 × g quits (glguy@libera/staff/glguy) (Remote host closed the connection)
23:23:07 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
23:23:46 × glguy quits (g@libera/staff/glguy) (Remote host closed the connection)
23:24:24 g joins (g@libera/staff/glguy)
23:30:17 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
23:31:32 zmt01 joins (~zmt00@user/zmt00)
23:31:58 glguy joins (g@libera/staff/glguy)
23:34:39 × zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 240 seconds)
23:35:03 robobub joins (uid248673@id-248673.uxbridge.irccloud.com)
23:43:31 × Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Ping timeout: 264 seconds)
23:49:25 × tomku quits (~tomku@user/tomku) (Quit: Lost terminal)
23:50:08 Carbon-lang joins (~Carbonlan@ip121.ip-149-56-160.net)
23:56:56 tomku joins (~tomku@user/tomku)
23:57:24 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
23:57:48 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
23:59:47 caryhartline joins (~caryhartl@168.182.58.169)

All times are in UTC on 2023-09-15.