IRCBrowse

2021/05/29

2021-05-29 00:00:00 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-05-29 00:00:16 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-05-29 00:02:14 +0200 <boxscape> Are Data.Functor.Compose.Compose and GHC.Generics.:.: essentially the same thing?
2021-05-29 00:03:11 +0200 <boxscape> If so, why do they both exist in base?
2021-05-29 00:03:37 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-29 00:03:53 +0200 <monochrom> Yes they are equivalent.
2021-05-29 00:04:05 +0200 <boxscape> ok
2021-05-29 00:04:12 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-05-29 00:04:14 +0200 <monochrom> Why do both "continuation" and "callback" exist?
2021-05-29 00:04:20 +0200 <boxscape> hmm good question
2021-05-29 00:04:30 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 248 seconds)
2021-05-29 00:04:40 +0200 <boxscape> wait I don't think that's the same
2021-05-29 00:04:49 +0200 <monochrom> Answer: Historically emerged from two disjoint cliques and no one wants to unify.
2021-05-29 00:04:56 +0200kradley(~kh@2600:4040:11e5:6200:1766:8a30:2f44:4bb6)
2021-05-29 00:05:00 +0200 <boxscape> okay that's fair, the analogy does work in that sense
2021-05-29 00:05:30 +0200larryba(~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/)
2021-05-29 00:05:34 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 248 seconds)
2021-05-29 00:05:45 +0200larryba(~bc817c21@217.29.117.252)
2021-05-29 00:06:31 +0200kradley(~kh@2600:4040:11e5:6200:1766:8a30:2f44:4bb6) (Client Quit)
2021-05-29 00:06:37 +0200haskman(~haskman@106.201.28.184) (Quit: Going to sleep. ZZZzzz…)
2021-05-29 00:07:23 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-05-29 00:08:12 +0200 <monochrom> It could also be not very nice for either of {Data.Functor.Compose, GHC.Generics} to have to import the other.
2021-05-29 00:08:53 +0200 <boxscape> hm maybe
2021-05-29 00:08:58 +0200sa1(uid7690@id-7690.charlton.irccloud.com)
2021-05-29 00:09:31 +0200Philonous(~Philonous@user/philonous) (Remote host closed the connection)
2021-05-29 00:09:50 +0200Philonous(~Philonous@user/philonous)
2021-05-29 00:10:06 +0200 <boxscape> monochrom actually it turns out Data.Functor.Compose already imports GHC.Generics to derive Generic
2021-05-29 00:10:06 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:1c80:6870:d96d:577b)
2021-05-29 00:10:31 +0200 <monochrom> Haha that's sad.
2021-05-29 00:13:19 +0200allbery_bgeekosaur
2021-05-29 00:13:42 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:1c80:6870:d96d:577b) (Client Quit)
2021-05-29 00:14:18 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Quit: Konversation terminated!)
2021-05-29 00:17:27 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-05-29 00:17:52 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com)
2021-05-29 00:18:21 +0200argento(~argent0@168.227.96.51)
2021-05-29 00:19:07 +0200michalz(~user@185.246.204.55) (Remote host closed the connection)
2021-05-29 00:19:56 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-05-29 00:21:27 +0200ddellacosta(~ddellacos@86.106.121.17)
2021-05-29 00:21:40 +0200janus(janus@anubis.0x90.dk)
2021-05-29 00:22:11 +0200oxide(~lambda@user/oxide) (Ping timeout: 252 seconds)
2021-05-29 00:22:15 +0200 <janus> how do i have ghcup install the links from ghc to ghc-8.6.5? i have to manually tell cabal which ghc to use...
2021-05-29 00:22:33 +0200 <maerwald> janus: ghcup set ghc 8.6.5
2021-05-29 00:22:38 +0200rahguzar(~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Ping timeout: 248 seconds)
2021-05-29 00:22:41 +0200 <monochrom> or ghcup tui
2021-05-29 00:22:45 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-05-29 00:22:55 +0200 <janus> ooh ok. i tried "ghcup set" and it gave me a ParseBundleError that i couldn't understand
2021-05-29 00:23:03 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds)
2021-05-29 00:23:24 +0200 <maerwald> janus: cool, can you paste the error?
2021-05-29 00:23:33 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 244 seconds)
2021-05-29 00:23:33 +0200 <maerwald> @where paste
2021-05-29 00:23:33 +0200 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2021-05-29 00:23:48 +0200 <janus> it is probably because i tried making the links myself...
2021-05-29 00:23:58 +0200 <maerwald> not a good idea :D
2021-05-29 00:24:15 +0200 <maerwald> but it seems to be rather frequent
2021-05-29 00:24:20 +0200 <janus> paste.tomsmeding.com/MsDYRqM3
2021-05-29 00:24:25 +0200dy(~dy@user/dy)
2021-05-29 00:24:29 +0200 <janus> https://paste.tomsmeding.com/MsDYRqM3
2021-05-29 00:25:06 +0200smatting(~stefan@p200300cd7715d600c9b2f2eb3b03ae08.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2021-05-29 00:25:06 +0200 <maerwald> that looks like an absolute path?
2021-05-29 00:25:12 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-05-29 00:25:48 +0200 <monochrom> :|
2021-05-29 00:25:51 +0200 <maerwald> anyway
2021-05-29 00:25:53 +0200 <janus> my pwd is on a separate line, that is just my shell. or are you referring to something from the error message
2021-05-29 00:25:58 +0200oatsmoats
2021-05-29 00:26:02 +0200moatsoats
2021-05-29 00:26:11 +0200 <maerwald> just wondering what your symlink looked like
2021-05-29 00:26:12 +0200 <janus> i'll just try and clean up those links
2021-05-29 00:26:13 +0200ddellacosta(~ddellacos@86.106.121.17) (Ping timeout: 265 seconds)
2021-05-29 00:26:22 +0200 <janus> i'll tell you how they look
2021-05-29 00:26:44 +0200 <maerwald> if it's a valid link, the parser can be adjusted to be more lax
2021-05-29 00:27:18 +0200skiusSoF
2021-05-29 00:27:27 +0200glider(~glider@user/glider) (Quit: ZNC 1.9.x-git-111-f2cdc3db - https://znc.in)
2021-05-29 00:28:20 +0200 <janus> maerwald: here is the contents of .ghcup/bin : https://paste.tomsmeding.com/jIzpsN1l . i will now look in my bash history and delete all the links i made
2021-05-29 00:29:45 +0200 <maerwald> is that before or after you ran `ghcup set ghc`?
2021-05-29 00:30:12 +0200 <janus> i did that before you taught my about that feature :P so that is why i corrupted that
2021-05-29 00:30:21 +0200 <maerwald> ah, I guess I know
2021-05-29 00:30:34 +0200 <maerwald> haddock -> haddock-8.6
2021-05-29 00:30:46 +0200 <janus> would be awesome if cabal somehow knew if it was installed from ghcup, then it could hint at that command...
2021-05-29 00:30:57 +0200 <janus> when you do "cabal build" and it just says "can't find compiler"
2021-05-29 00:31:07 +0200 <maerwald> janus: there was an idea to add hooks to cabal, but it was never executed
2021-05-29 00:31:21 +0200 <janus> i think the issue is that i originally installed one compiler, installed another, and deleted the first. so maybe that's why the original ghc link was removed?
2021-05-29 00:31:35 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e)
2021-05-29 00:32:05 +0200 <maerwald> you shouldn't change the symlinks manually
2021-05-29 00:32:11 +0200 <janus> right right, i know that now
2021-05-29 00:33:29 +0200mc47(~yecinem@89.246.239.190) (Quit: Leaving)
2021-05-29 00:35:46 +0200 <janus> all right, i fixed it, "ghcup set" works now
2021-05-29 00:36:10 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) (Ping timeout: 264 seconds)
2021-05-29 00:36:17 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 00:36:37 +0200 <janus> thanks for the help maerwald and sorry for the disturbance :) i will leave the symlinks automatically managed
2021-05-29 00:38:33 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e)
2021-05-29 00:38:36 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-05-29 00:38:40 +0200glider(~glider@user/glider)
2021-05-29 00:42:21 +0200 <maerwald> Any good alternatives for Fedora? They just broke all packages thas use c2hs: https://bugzilla.redhat.com/show_bug.cgi?id=1957233
2021-05-29 00:42:43 +0200 <maerwald> and they don't provide multiple gcc versions
2021-05-29 00:43:22 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 264 seconds)
2021-05-29 00:43:27 +0200 <maerwald> or a non-nix way to have a working gcc for haskell
2021-05-29 00:44:13 +0200 <monochrom> dockerize? :)
2021-05-29 00:45:02 +0200 <maerwald> I'm running a windows VM, so I already have a disk size killer
2021-05-29 00:45:03 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor)
2021-05-29 00:46:03 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) (Remote host closed the connection)
2021-05-29 00:46:08 +0200 <monochrom> yikes
2021-05-29 00:47:26 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e)
2021-05-29 00:47:36 +0200 <geekosaur> well, this explains some recent arch bug reports as well
2021-05-29 00:47:42 +0200 <maerwald> anaconda?
2021-05-29 00:47:52 +0200 <maerwald> they seem to have a lovely team: https://fedoraproject.org/wiki/Anaconda#Anaconda_Team
2021-05-29 00:49:13 +0200ubert(~Thunderbi@p200300ecdf259d1274882ed522245916.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2021-05-29 00:51:53 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) (Ping timeout: 252 seconds)
2021-05-29 00:52:34 +0200lavaman(~lavaman@98.38.249.169)
2021-05-29 00:56:00 +0200 <sclv> looks like chak needs to patch c2hs https://github.com/haskell/c2hs/issues/268
2021-05-29 00:56:34 +0200argento(~argent0@168.227.96.51) (Quit: leaving)
2021-05-29 00:56:46 +0200amahl(~amahl@dxv5skyy95x-mzmyd9kkt-3.rev.dnainternet.fi) (Ping timeout: 248 seconds)
2021-05-29 00:57:15 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2021-05-29 00:58:57 +0200janus(janus@anubis.0x90.dk) ()
2021-05-29 00:59:00 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-05-29 00:59:03 +0200autophagy(~mika@user/autophagy) (Quit: WeeChat 3.1)
2021-05-29 00:59:21 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds)
2021-05-29 01:01:02 +0200alx741(~alx741@186.178.109.84) (Ping timeout: 248 seconds)
2021-05-29 01:01:08 +0200winter(~winter@cpe-76-181-9-255.columbus.res.rr.com)
2021-05-29 01:01:13 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2021-05-29 01:02:46 +0200boxscape(~boxscape@user/boxscape) (Quit: Connection closed)
2021-05-29 01:03:09 +0200boxscape(~boxscape@user/boxscape)
2021-05-29 01:03:22 +0200zeenk(~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!)
2021-05-29 01:10:57 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-29 01:12:45 +0200winter(~winter@cpe-76-181-9-255.columbus.res.rr.com) (Quit: WeeChat 3.1)
2021-05-29 01:12:48 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-05-29 01:13:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-29 01:13:50 +0200td_(~td@muedsl-82-207-238-082.citykom.de) (Ping timeout: 248 seconds)
2021-05-29 01:14:15 +0200alx741(~alx741@181.196.68.165)
2021-05-29 01:14:37 +0200td_(~td@muedsl-82-207-238-082.citykom.de)
2021-05-29 01:15:04 +0200noddy(~self@user/noddy) (Quit: ⌨ ︵└(՞▃՞ └))
2021-05-29 01:17:59 +0200bfrk(~Thunderbi@200116b84508c2004c8614311807bd60.dip.versatel-1u1.de)
2021-05-29 01:24:41 +0200bfrk1(~Thunderbi@200116b8456a1f00d8d08c49fac857df.dip.versatel-1u1.de)
2021-05-29 01:26:35 +0200bfrk(~Thunderbi@200116b84508c2004c8614311807bd60.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
2021-05-29 01:26:35 +0200bfrk1bfrk
2021-05-29 01:27:03 +0200boxscape(~boxscape@user/boxscape) (Quit: Connection closed)
2021-05-29 01:27:57 +0200Franciman(~francesco@host-80-180-196-134.pool80180.interbusiness.it) (Quit: WeeChat 2.3)
2021-05-29 01:28:10 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2021-05-29 01:28:24 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-29 01:30:48 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-29 01:31:51 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-05-29 01:31:56 +0200Goblin17(~Goblin@141.70.40.93)
2021-05-29 01:32:16 +0200bilegeek(~bilegeek@2600:1008:b01a:69cf:a58b:76f2:71:1386)
2021-05-29 01:32:23 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-29 01:35:56 +0200zava(~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-05-29 01:38:31 +0200Goblin17(~Goblin@141.70.40.93) ()
2021-05-29 01:39:30 +0200stackbeard(~stackbear@pool-173-76-99-163.bstnma.fios.verizon.net) (Remote host closed the connection)
2021-05-29 01:40:03 +0200vicfred(~vicfred@user/vicfred)
2021-05-29 01:40:52 +0200tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2021-05-29 01:43:13 +0200egoist(~egoist@186.235.82.52) (Quit: WeeChat 3.1)
2021-05-29 01:47:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-29 01:48:46 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2021-05-29 01:49:19 +0200ddellacosta(~ddellacos@89.46.62.82)
2021-05-29 01:49:49 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2021-05-29 01:51:10 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds)
2021-05-29 01:51:54 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd) (Ping timeout: 264 seconds)
2021-05-29 01:54:18 +0200ddellacosta(~ddellacos@89.46.62.82) (Ping timeout: 264 seconds)
2021-05-29 01:55:13 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-05-29 01:59:08 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-29 02:00:38 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 252 seconds)
2021-05-29 02:01:08 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-29 02:01:13 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds)
2021-05-29 02:01:24 +0200allbery_bgeekosaur
2021-05-29 02:02:24 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 02:02:55 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd)
2021-05-29 02:03:41 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-29 02:04:52 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 02:05:13 +0200moet(~moet@172.58.27.119) (Ping timeout: 272 seconds)
2021-05-29 02:06:27 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-29 02:06:27 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-05-29 02:08:21 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 02:09:54 +0200sciencentistguy(~sciencent@212.102.63.133) (Ping timeout: 264 seconds)
2021-05-29 02:11:40 +0200JimL(~quassel@ti0577q162-3381.bb.online.no) (Ping timeout: 264 seconds)
2021-05-29 02:12:16 +0200myShoggoth(~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds)
2021-05-29 02:12:26 +0200JimL(~quassel@ti0577q162-3381.bb.online.no)
2021-05-29 02:13:50 +0200wenzel(~wenzel@user/wenzel) (Quit: Leaving)
2021-05-29 02:16:22 +0200python476(~user@88.160.31.174) (Ping timeout: 264 seconds)
2021-05-29 02:16:59 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-29 02:17:16 +0200sa1(uid7690@id-7690.charlton.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-29 02:17:26 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 02:17:34 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-05-29 02:17:40 +0200guest0123(~aaron@2601:602:a080:fa0:3d68:2a1a:74b4:e9fa)
2021-05-29 02:17:52 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Client Quit)
2021-05-29 02:19:22 +0200bfrk(~Thunderbi@200116b8456a1f00d8d08c49fac857df.dip.versatel-1u1.de) (Ping timeout: 264 seconds)
2021-05-29 02:22:07 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 272 seconds)
2021-05-29 02:23:26 +0200BaraGaymer(~BaraGayme@174.32.160.109)
2021-05-29 02:24:39 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2021-05-29 02:24:40 +0200 <srid[m]> maerwald: nix on wsl
2021-05-29 02:25:07 +0200dhil(~dhil@195.213.192.85) (Ping timeout: 265 seconds)
2021-05-29 02:25:07 +0200 <srid[m]> n/m misread you meant linux vm on windows
2021-05-29 02:26:01 +0200eggplant_(~Eggplanta@2600:1700:bef1:5e10:2038:b31a:2642:e4ef) (Remote host closed the connection)
2021-05-29 02:26:23 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-29 02:26:32 +0200lbseale(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-29 02:31:50 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:2038:b31a:2642:e4ef)
2021-05-29 02:33:59 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-05-29 02:36:55 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-29 02:37:25 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:8bbd:be16:55b8:ac38)
2021-05-29 02:39:24 +0200noddy(~user@user/noddy)
2021-05-29 02:41:12 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:8bbd:be16:55b8:ac38) (Client Quit)
2021-05-29 02:42:24 +0200Guest37641(~Guest3764@79.105.116.15)
2021-05-29 02:42:50 +0200myShoggoth(~myShoggot@97-120-89-117.ptld.qwest.net)
2021-05-29 02:46:51 +0200BaraGaymer(~BaraGayme@174.32.160.109) (Quit: Client closed)
2021-05-29 02:47:37 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 02:51:46 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-05-29 02:56:34 +0200hmmmas(~chenqisu1@183.217.202.217)
2021-05-29 02:57:00 +0200hmmmas(~chenqisu1@183.217.202.217) (Client Quit)
2021-05-29 02:57:17 +0200hmmmas(~chenqisu1@183.217.202.217)
2021-05-29 02:59:26 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd) (Ping timeout: 248 seconds)
2021-05-29 02:59:40 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds)
2021-05-29 03:00:06 +0200peddie[m](~peddiemat@2001:470:69fc:105::25d) (Quit: node-irc says goodbye)
2021-05-29 03:00:23 +0200peddie[m](~peddiemat@2001:470:69fc:105::25d)
2021-05-29 03:00:37 +0200peddie[m]peddie
2021-05-29 03:00:45 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-29 03:01:06 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-29 03:01:39 +0200peddie(~peddiemat@2001:470:69fc:105::25d) (Client Quit)
2021-05-29 03:01:57 +0200peddie(~peddiemat@2001:470:69fc:105::25d)
2021-05-29 03:02:06 +0200myShoggoth(~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds)
2021-05-29 03:03:46 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 264 seconds)
2021-05-29 03:03:58 +0200peddie(~peddiemat@2001:470:69fc:105::25d) (Client Quit)
2021-05-29 03:04:15 +0200peddie(~peddiemat@2001:470:69fc:105::25d)
2021-05-29 03:08:11 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 03:12:39 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-29 03:14:03 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 03:15:13 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-29 03:16:13 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 03:17:46 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-29 03:18:46 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 03:18:59 +0200Guest37641(~Guest3764@79.105.116.15) ()
2021-05-29 03:20:20 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-29 03:22:14 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 03:22:46 +0200lbseale(~lbseale@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-05-29 03:22:55 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-29 03:23:19 +0200lavaman(~lavaman@98.38.249.169)
2021-05-29 03:24:19 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 03:25:28 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-29 03:25:59 +0200z0k(~z0k@101.50.108.132)
2021-05-29 03:26:59 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 03:27:46 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-05-29 03:27:52 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds)
2021-05-29 03:28:12 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-29 03:28:22 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 03:29:22 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 03:30:48 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-29 03:31:49 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 03:32:11 +0200grnman_(~gandalf@c-73-49-209-161.hsd1.fl.comcast.net)
2021-05-29 03:33:21 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-29 03:34:51 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 03:35:41 +0200v01d4lph4(~v01d4lph4@122.161.239.36)
2021-05-29 03:35:41 +0200v01d4lph4(~v01d4lph4@122.161.239.36) (Changing host)
2021-05-29 03:35:41 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-05-29 03:35:52 +0200edrx(~Eduardo@2804:56c:d2ed:d900:c8c3:44eb:a6ad:a542)
2021-05-29 03:35:56 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-29 03:36:57 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 03:38:22 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160) (Ping timeout: 248 seconds)
2021-05-29 03:38:54 +0200xff0x(~xff0x@2001:1a81:53ff:e00:12bf:9005:d371:65a7) (Ping timeout: 248 seconds)
2021-05-29 03:39:54 +0200brian_da_mage(~Neuromanc@user/briandamag) (Ping timeout: 264 seconds)
2021-05-29 03:39:59 +0200smithzv(~user@c-98-206-246-65.hsd1.il.comcast.net)
2021-05-29 03:40:11 +0200smithzv(~user@c-98-206-246-65.hsd1.il.comcast.net) ()
2021-05-29 03:40:28 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2021-05-29 03:40:36 +0200xff0x(~xff0x@2001:1a81:5217:e000:c979:fd80:46fd:6afc)
2021-05-29 03:40:51 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4) (Ping timeout: 272 seconds)
2021-05-29 03:43:38 +0200xacktm(xacktm@user/xacktm) (Remote host closed the connection)
2021-05-29 03:44:23 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-05-29 03:44:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-29 03:44:43 +0200zebrag(~chris@user/zebrag)
2021-05-29 03:46:54 +0200oxide(~lambda@user/oxide)
2021-05-29 03:50:47 +0200ddellacosta(~ddellacos@86.106.121.58)
2021-05-29 03:51:39 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-05-29 03:54:04 +0200xacktm(xacktm@user/xacktm)
2021-05-29 03:55:26 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-29 03:55:26 +0200ddellacosta(~ddellacos@86.106.121.58) (Ping timeout: 248 seconds)
2021-05-29 03:55:54 +0200 <statusbot> Maintenance update: We're going to be taking down hackage for migration very soon. -- http://status.haskell.org/pages/maintenance/537c07b0cf1fad5830000093/60aad637d7fc95052eff0e74
2021-05-29 03:57:27 +0200wei2912(~wei2912@112.199.250.21)
2021-05-29 03:59:06 +0200edrx(~Eduardo@2804:56c:d2ed:d900:c8c3:44eb:a6ad:a542) (Killed buffer)
2021-05-29 03:59:50 +0200doublex(~doublex@2601:542:c480:6ee0:84eb:7213:de16:e82e) (Read error: Connection reset by peer)
2021-05-29 04:00:15 +0200doublex(~doublex@2601:542:c480:6ee0:a5a3:1270:f9ea:4275)
2021-05-29 04:06:06 +0200oxide(~lambda@user/oxide) (Ping timeout: 248 seconds)
2021-05-29 04:08:17 +0200oxide(~lambda@user/oxide)
2021-05-29 04:10:21 +0200grnman_(~gandalf@c-73-49-209-161.hsd1.fl.comcast.net) ()
2021-05-29 04:11:02 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-05-29 04:11:34 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Client Quit)
2021-05-29 04:11:40 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd)
2021-05-29 04:15:06 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:9b0:fc3f:488a:32da) (Read error: Connection reset by peer)
2021-05-29 04:18:16 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 264 seconds)
2021-05-29 04:18:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-05-29 04:19:00 +0200juhp(~juhp@bb219-75-40-154.singnet.com.sg) (Quit: juhp)
2021-05-29 04:19:14 +0200juhp(~juhp@bb219-75-40-154.singnet.com.sg)
2021-05-29 04:19:53 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-05-29 04:24:05 +0200ymirhotfoot(~ymirhotfo@user/ymirhotfoot)
2021-05-29 04:25:28 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-05-29 04:31:34 +0200Baby_Bird(~Baby_Bird@89.45.224.252)
2021-05-29 04:31:42 +0200ddellacosta(~ddellacos@86.106.121.75)
2021-05-29 04:32:07 +0200 <Baby_Bird> first they came for the #liberia ns and we said nothing, then they came for #israel and we said nothing, they even went after chatters with #autism. they dont want us to #stopasianhate
2021-05-29 04:32:43 +0200Baby_Bird(~Baby_Bird@89.45.224.252) (Remote host closed the connection)
2021-05-29 04:34:26 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-29 04:34:39 +0200td_(~td@muedsl-82-207-238-082.citykom.de) (Ping timeout: 265 seconds)
2021-05-29 04:35:44 +0200juhp(~juhp@bb219-75-40-154.singnet.com.sg) (Ping timeout: 252 seconds)
2021-05-29 04:35:58 +0200ddellacosta(~ddellacos@86.106.121.75) (Ping timeout: 248 seconds)
2021-05-29 04:36:00 +0200td_(~td@94.134.91.167)
2021-05-29 04:36:42 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-29 04:41:39 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-05-29 04:42:55 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2021-05-29 04:47:58 +0200ymirhotfoot(~ymirhotfo@user/ymirhotfoot) (Quit: ymirhotfoot)
2021-05-29 04:48:52 +0200 <ukari> is there some function with signature looks like `(a -> b) -> f a -> (f a, f b)` ?
2021-05-29 04:49:03 +0200rk04(~rk04@user/rajk)
2021-05-29 04:49:15 +0200 <Axman6> I doubt it, but it's easy to write
2021-05-29 04:49:34 +0200emergence(~emergence@vm0.max-p.me) (Remote host closed the connection)
2021-05-29 04:51:44 +0200 <ukari> I think `join . ((,) .) . fmap :: Functor f => (a -> b) -> f a -> (f b, f a)` is not clear enough so I wonder if there has been a customary one
2021-05-29 04:51:58 +0200 <Axman6> don't do it pointfree
2021-05-29 04:52:09 +0200 <ukari> well
2021-05-29 04:52:17 +0200 <Axman6> the definition looks almost exactly the same as the type signature
2021-05-29 04:52:34 +0200 <Axman6> :t \f fa -> (fa, f <$> fa)
2021-05-29 04:52:35 +0200 <lambdabot> Functor f => (a -> b) -> f a -> (f a, f b)
2021-05-29 04:53:24 +0200dyeplexer(~dyeplexer@user/dyeplexer)
2021-05-29 04:53:41 +0200 <ukari> nice
2021-05-29 04:56:02 +0200 <ukari> I wanna write a help function for this no-pointfree function, maybe it could be named as consfmap
2021-05-29 04:56:14 +0200vk3wtf(~doc@59-102-3-251.tpgi.com.au) (Quit: WeeChat 3.1)
2021-05-29 04:57:17 +0200arjun(~user@user/arjun)
2021-05-29 04:58:50 +0200 <Axman6> andFmap :: Functor f => f a -> (a -> b) -> (f a, f b); andFmap fa f = (fa, f <$> fa) -- now you can write fa `andFmap` f
2021-05-29 04:59:34 +0200 <ukari> thanks you, Axman6
2021-05-29 05:04:07 +0200emergence(~emergence@vm0.max-p.me)
2021-05-29 05:04:18 +0200myShoggoth(~myShoggot@97-120-89-117.ptld.qwest.net)
2021-05-29 05:04:23 +0200 <Axman6> you could also give it an operator name, something like (<+$>)
2021-05-29 05:04:29 +0200Toast52(~Toast52@151.192.167.120)
2021-05-29 05:06:19 +0200emergence(~emergence@vm0.max-p.me) (Client Quit)
2021-05-29 05:07:09 +0200emergence(~emergence@vm0.max-p.me)
2021-05-29 05:11:25 +0200arjun(~user@user/arjun) (Remote host closed the connection)
2021-05-29 05:11:34 +0200rk04(~rk04@user/rajk) (Quit: Client closed)
2021-05-29 05:13:13 +0200bhrgunatha(~bhrgunath@2001-b011-8011-2c99-8dde-8259-3b01-c51a.dynamic-ip6.hinet.net)
2021-05-29 05:13:16 +0200rk04(~rk04@user/rajk)
2021-05-29 05:14:03 +0200ikex(~ash@user/ikex)
2021-05-29 05:15:18 +0200rk04(~rk04@user/rajk) (Client Quit)
2021-05-29 05:16:40 +0200novanovasenco
2021-05-29 05:16:51 +0200bilegeek(~bilegeek@2600:1008:b01a:69cf:a58b:76f2:71:1386) (Quit: Leaving)
2021-05-29 05:17:11 +0200bhrgunatha_(~bhrgunath@2001-b011-8011-2c99-8dde-8259-3b01-c51a.dynamic-ip6.hinet.net)
2021-05-29 05:17:44 +0200zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-05-29 05:17:51 +0200bhrgunatha(~bhrgunath@2001-b011-8011-2c99-8dde-8259-3b01-c51a.dynamic-ip6.hinet.net) (Client Quit)
2021-05-29 05:19:45 +0200bhrgunatha_(~bhrgunath@2001-b011-8011-2c99-8dde-8259-3b01-c51a.dynamic-ip6.hinet.net) (Client Quit)
2021-05-29 05:20:00 +0200bhrgunatha(~bhrgunath@2001-b011-8011-2c99-8dde-8259-3b01-c51a.dynamic-ip6.hinet.net)
2021-05-29 05:20:59 +0200otto_s(~user@p5de2fc29.dip0.t-ipconnect.de)
2021-05-29 05:21:22 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-05-29 05:21:54 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2021-05-29 05:22:25 +0200Lord_of_Life_Lord_of_Life
2021-05-29 05:22:42 +0200ryantrinkle(~ryan@24.229.199.25.res-cmts.sm.ptd.net)
2021-05-29 05:22:42 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-05-29 05:24:18 +0200otto_s_(~user@p5de2fa14.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2021-05-29 05:26:56 +0200Deide(~Deide@user/deide) (Quit: Seeee yaaaa)
2021-05-29 05:28:19 +0200Guest29(~Guest29@2601:542:c480:6ee0:a5a3:1270:f9ea:4275)
2021-05-29 05:29:11 +0200smitop(uid328768@user/smitop) (Quit: Connection closed for inactivity)
2021-05-29 05:30:01 +0200Guest29(~Guest29@2601:542:c480:6ee0:a5a3:1270:f9ea:4275) (Quit: Client closed)
2021-05-29 05:31:00 +0200learner-monad(~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Quit: WeeChat 3.1)
2021-05-29 05:34:38 +0200Toast52_(~Toast52@151.192.167.120)
2021-05-29 05:36:37 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-29 05:37:42 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-05-29 05:38:12 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection)
2021-05-29 05:38:27 +0200Toast52(~Toast52@151.192.167.120) (Ping timeout: 265 seconds)
2021-05-29 05:38:38 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-05-29 05:40:20 +0200 <statusbot> Maintenance update: Hackage Migration done! Enjoy the new GSOC features (badges, better build logs, better candidate workflows) -- http://status.haskell.org/pages/maintenance/537c07b0cf1fad5830000093/60aad637d7fc95052eff0e74
2021-05-29 05:41:00 +0200lavaman(~lavaman@98.38.249.169)
2021-05-29 05:41:25 +0200 <arahael> What's the Go-to library if one wants to upload something to S3 in AWS? Just a bit wary of the 'official' libraries as they're generally huge and clunky.
2021-05-29 05:43:14 +0200 <arahael> A quick google suggests I have two options at least for the 'big' libraries - aws-sdk, and amazonka.
2021-05-29 05:43:22 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 264 seconds)
2021-05-29 05:43:30 +0200ku(~ku@2601:280:c780:7ea0:79bb:35dd:ebd0:6c0b)
2021-05-29 05:43:57 +0200kus(~ku@2601:280:c780:7ea0:4525:19e8:f489:a678)
2021-05-29 05:45:18 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 248 seconds)
2021-05-29 05:47:28 +0200 <arahael> Amazonka looks reasonable, actually - any opinions here?
2021-05-29 05:47:51 +0200vk3wtf(~doc@59-102-3-251.tpgi.com.au)
2021-05-29 05:48:35 +0200ku(~ku@2601:280:c780:7ea0:79bb:35dd:ebd0:6c0b) (Ping timeout: 272 seconds)
2021-05-29 05:49:59 +0200dy(~dy@user/dy) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-29 05:50:20 +0200leeb(~leeb@KD111239155167.au-net.ne.jp)
2021-05-29 05:51:11 +0200 <arahael> And is apparently split up in the various services - even better.
2021-05-29 05:52:23 +0200kus(~ku@2601:280:c780:7ea0:4525:19e8:f489:a678) (Ping timeout: 272 seconds)
2021-05-29 05:54:02 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-05-29 05:54:31 +0200peddie(~peddiemat@2001:470:69fc:105::25d) (Quit: node-irc says goodbye)
2021-05-29 05:54:45 +0200peddie(~peddie@2001:470:69fc:105::25d)
2021-05-29 05:55:01 +0200leeb(~leeb@KD111239155167.au-net.ne.jp) (Client Quit)
2021-05-29 05:56:23 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Ping timeout: 272 seconds)
2021-05-29 05:56:52 +0200ubikium(~ubikium@2400:2200:4f0:b727:af05:cd1d:8d0b:2b06)
2021-05-29 05:57:04 +0200peddie(~peddie@2001:470:69fc:105::25d) (Client Quit)
2021-05-29 05:57:09 +0200ddellacosta(~ddellacos@86.106.121.30)
2021-05-29 05:57:19 +0200peddie(~peddie@2001:470:69fc:105::25d)
2021-05-29 05:57:41 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e)
2021-05-29 06:00:31 +0200leeb(~leeb@KD111239155167.au-net.ne.jp)
2021-05-29 06:00:35 +0200 <wroathe> arahael: Even if there are alternatives, I'd generally prefer the official library as the organization usually provides some form of long-term support
2021-05-29 06:00:46 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds)
2021-05-29 06:01:05 +0200 <wroathe> arahael: Especially if the library is exists only to access services they provide
2021-05-29 06:01:50 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) (Ping timeout: 248 seconds)
2021-05-29 06:02:05 +0200mcglk(~mcglk@131.191.49.120) (Ping timeout: 252 seconds)
2021-05-29 06:02:06 +0200ddellacosta(~ddellacos@86.106.121.30) (Ping timeout: 264 seconds)
2021-05-29 06:03:24 +0200 <arahael> wroathe: Yeah, they don't really have an *official* library though - aws-sdk looks like it follows the java sdk, and amazonka looks like it follows the python sdk, in both cases for the code generation.
2021-05-29 06:04:13 +0200 <arahael> Hmm, and hte hackage home page for aws-sdk is a broken link. Not good.
2021-05-29 06:04:17 +0200 <wroathe> arahael: Ah, then this advice doesn't apply. I misinterpreted the above as you saying one of those was the official library.
2021-05-29 06:04:55 +0200 <arahael> wroathe: Yeah, I was slightly misleading in my question in retrospect.
2021-05-29 06:05:25 +0200 <wroathe> arahael: I was thinking "Amazon provides an official Haskell client!? It's a brave new world!"
2021-05-29 06:05:35 +0200 <wroathe> arahael: Way to take me on an emotional rollercoaster.
2021-05-29 06:05:41 +0200 <arahael> Haha. :(
2021-05-29 06:07:28 +0200 <ubikium> arahael: amazonka is great. The lens interface is very consistent and clean.
2021-05-29 06:07:42 +0200Erutuon(~Erutuon@97-116-14-180.mpls.qwest.net) (Ping timeout: 248 seconds)
2021-05-29 06:07:52 +0200 <arahael> ubikium: Nice. Should I be concerned about the various open tickets against S3, or is it all generally workaroundable?
2021-05-29 06:08:01 +0200 <ubikium> And also from the README
2021-05-29 06:08:01 +0200 <ubikium> > Parts of the code contained in this repository are auto-generated and automatically kept up to date with Amazon's latest service APIs.
2021-05-29 06:08:03 +0200 <lambdabot> <hint>:1:7: error: parse error on input ‘of’
2021-05-29 06:08:29 +0200 <arahael> ubikium: Yeah, except those latest service API's seem to be buggy, too!
2021-05-29 06:08:55 +0200 <arahael> As an example: https://github.com/brendanhay/amazonka/issues/630
2021-05-29 06:09:31 +0200Erutuon(~Erutuon@97-116-14-180.mpls.qwest.net)
2021-05-29 06:09:50 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 248 seconds)
2021-05-29 06:11:01 +0200 <ubikium> arahael: I haven't met any problems myself, but I'm using it in a different region and only the basic commands
2021-05-29 06:11:20 +0200 <arahael> ubikium: That's good. I think S3 has only one region, though.
2021-05-29 06:11:36 +0200mcglk(~mcglk@131.191.49.120)
2021-05-29 06:11:56 +0200 <arahael> Ah, so of course, I could 'just' use a different region and work around it if that was the case and it's affecting a specific region.
2021-05-29 06:12:56 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-05-29 06:13:12 +0200a6a45081-2b83(~aditya@106.212.79.20)
2021-05-29 06:13:21 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection)
2021-05-29 06:13:56 +0200larryba(~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-05-29 06:14:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-29 06:16:00 +0200ubikium(~ubikium@2400:2200:4f0:b727:af05:cd1d:8d0b:2b06) (Read error: Connection reset by peer)
2021-05-29 06:16:04 +0200ddellacosta(~ddellacos@89.46.62.87)
2021-05-29 06:16:14 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net)
2021-05-29 06:17:07 +0200fosskers(~colin@S0106f0f249642f53.vn.shawcable.net)
2021-05-29 06:17:29 +0200 <fosskers> Alright, made it to libera.chat
2021-05-29 06:18:01 +0200 <hololeap> % class MyClass r a | r -> a, a -> r ; class MyClass r a => NewClass r -- no `a' mentioned on RHS... is this possible?
2021-05-29 06:18:01 +0200 <yahb> hololeap: ; <interactive>:102:54: error: Not in scope: type variable `a'
2021-05-29 06:18:24 +0200 <arahael> fosskers: What took so long? ;)
2021-05-29 06:18:33 +0200ddellacosta(~ddellacos@89.46.62.87) (Read error: Connection reset by peer)
2021-05-29 06:19:03 +0200 <fosskers> Given everything that's happened I figured it was a good idea to come claim my username, heh
2021-05-29 06:20:24 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e)
2021-05-29 06:20:35 +0200favonia(~favonia@user/favonia) (Remote host closed the connection)
2021-05-29 06:21:02 +0200 <arahael> Welcome :)
2021-05-29 06:21:52 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) (Remote host closed the connection)
2021-05-29 06:22:38 +0200ralu(~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 248 seconds)
2021-05-29 06:23:19 +0200 <fosskers> Thanks!
2021-05-29 06:23:28 +0200moet(~moet@172.58.38.167)
2021-05-29 06:26:54 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl)
2021-05-29 06:29:02 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Ping timeout: 248 seconds)
2021-05-29 06:29:18 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-05-29 06:29:35 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net)
2021-05-29 06:29:38 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection)
2021-05-29 06:32:57 +0200hmmmas(~chenqisu1@183.217.202.217) (Quit: Leaving.)
2021-05-29 06:33:00 +0200ddellacosta(~ddellacos@86.106.121.22)
2021-05-29 06:35:29 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2021-05-29 06:36:11 +0200hololeap(~hololeap@71-218-232-238.hlrn.qwest.net) (Quit: Bye)
2021-05-29 06:36:29 +0200hololeap(~hololeap@71-218-232-238.hlrn.qwest.net)
2021-05-29 06:37:08 +0200hololeap(~hololeap@71-218-232-238.hlrn.qwest.net) (Client Quit)
2021-05-29 06:37:17 +0200ddellacosta(~ddellacos@86.106.121.22) (Ping timeout: 252 seconds)
2021-05-29 06:37:23 +0200hololeap(~hololeap@71-218-232-238.hlrn.qwest.net)
2021-05-29 06:37:39 +0200hmmmas(~chenqisu1@183.217.202.217)
2021-05-29 06:38:21 +0200hololeap(~hololeap@71-218-232-238.hlrn.qwest.net) (Client Quit)
2021-05-29 06:38:36 +0200hololeap(~hololeap@71-218-232-238.hlrn.qwest.net)
2021-05-29 06:39:12 +0200hololeap(~hololeap@71-218-232-238.hlrn.qwest.net) (Changing host)
2021-05-29 06:39:12 +0200hololeap(~hololeap@user/hololeap)
2021-05-29 06:40:44 +0200a6a45081-2b83(~aditya@106.212.79.20) (Remote host closed the connection)
2021-05-29 06:40:45 +0200weber(~weber@114-24-103-71.dynamic-ip.hinet.net)
2021-05-29 06:45:01 +0200hmmmas(~chenqisu1@183.217.202.217) (Quit: Leaving.)
2021-05-29 06:45:54 +0200hmmmas(~chenqisu1@183.217.202.217)
2021-05-29 06:45:54 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Read error: Connection reset by peer)
2021-05-29 06:45:58 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-05-29 06:46:12 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net)
2021-05-29 06:46:23 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection)
2021-05-29 06:49:17 +0200ddellacosta(~ddellacos@89.46.62.27)
2021-05-29 06:49:56 +0200bhrgunatha(~bhrgunath@2001-b011-8011-2c99-8dde-8259-3b01-c51a.dynamic-ip6.hinet.net) (Quit: Leaving)
2021-05-29 06:50:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-29 06:50:25 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e)
2021-05-29 06:50:25 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-29 06:51:48 +0200voldial(~user@user/voldial)
2021-05-29 06:51:59 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) (Remote host closed the connection)
2021-05-29 06:52:23 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection)
2021-05-29 06:53:19 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-05-29 06:53:27 +0200weber(~weber@114-24-103-71.dynamic-ip.hinet.net) ()
2021-05-29 06:53:45 +0200ralu(~ralu@static.211.245.203.116.clients.your-server.de)
2021-05-29 06:53:58 +0200 <voldial> is demo2.hs running 5+ processes in the example? http://hackage.haskell.org/package/concurrent-output how does the terminal writing process know how to reflow in the regions each process is allocated? or is it just one-process-per row? I tried but haskell is like greek AND lisp
2021-05-29 06:54:16 +0200ddellacosta(~ddellacos@89.46.62.27) (Ping timeout: 264 seconds)
2021-05-29 06:54:38 +0200leeb(~leeb@KD111239155167.au-net.ne.jp) (Quit: WeeChat 3.1)
2021-05-29 06:56:59 +0200leeb(~leeb@KD111239155167.au-net.ne.jp)
2021-05-29 06:57:42 +0200 <c_wraith> voldial: "withConsoleRegion ConsoleLine" seems like a key part of that
2021-05-29 06:58:09 +0200 <c_wraith> voldial: That suggests that each thread (not process) is reserving a line in the console
2021-05-29 06:59:51 +0200 <c_wraith> voldial: interestingly, I see nothing there that suggests the lines will come out the same order each time. It's likely that changes from run to run.
2021-05-29 07:00:11 +0200npl01(~textual@27.34.16.171)
2021-05-29 07:00:11 +0200 <voldial> c_wraith: indeed. now that I read the project that depends on this... it seems that "sub regions" are just ranges on that single line (if I understand the demo) http://joeyh.name/blog/entry/a_tiling_region_manager_for_the_console/
2021-05-29 07:01:00 +0200 <voldial> either way. I like it.
2021-05-29 07:01:05 +0200 <c_wraith> I'm sure it has the ability to create regions that aren't single lines, too
2021-05-29 07:01:08 +0200tose(~tose@ip-85-160-8-1.eurotel.cz)
2021-05-29 07:01:20 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e)
2021-05-29 07:01:23 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) (Remote host closed the connection)
2021-05-29 07:01:58 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-05-29 07:01:59 +0200 <voldial> c_wraith: well, there's where I am confused, sure, multiple complete lines, that's easy, but... real arb areas? how would the writing process deal with wrapping?
2021-05-29 07:03:02 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-05-29 07:03:29 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection)
2021-05-29 07:03:33 +0200 <voldial> iterate through the rest of the available char locations, checking if that process owns it?
2021-05-29 07:04:28 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-05-29 07:04:50 +0200 <c_wraith> Ok, this is a bit hard to follow, as it appears the API has been updated since that animation was generated.
2021-05-29 07:05:28 +0200alx741(~alx741@181.196.68.165) (Quit: alx741)
2021-05-29 07:05:31 +0200 <c_wraith> But I see concurrent-output depends on ansi-terminal, which allows access to control codes
2021-05-29 07:05:47 +0200voldialfollows...
2021-05-29 07:06:04 +0200 <c_wraith> As long as each thread has exclusive access to the screen when doing output, it can use ANSI control codes to manipulate the cursor position
2021-05-29 07:06:16 +0200 <c_wraith> So it just needs a shared lock to make sure things don't stomp on each other
2021-05-29 07:06:28 +0200 <c_wraith> Which I'm sure it has
2021-05-29 07:06:55 +0200 <voldial> c_wraith: each thread being one of the concurrent chared terminal writers?
2021-05-29 07:07:03 +0200 <voldial> chared->shared
2021-05-29 07:07:13 +0200ddellacosta(~ddellacos@89.46.62.27)
2021-05-29 07:07:16 +0200 <c_wraith> yes
2021-05-29 07:07:53 +0200 <voldial> but those dont know the geometry they are writing to... therefore cant emit the correct control codes to move the cursor to a space they control....
2021-05-29 07:08:11 +0200 <voldial> how the main process know where to move the cursor?
2021-05-29 07:08:17 +0200 <c_wraith> They certainly could know the screen geometry
2021-05-29 07:08:25 +0200 <voldial> mh.
2021-05-29 07:08:38 +0200 <c_wraith> there's that top-level call to displayConsoleRegions there
2021-05-29 07:08:44 +0200 <voldial> but... they could step on eachother...
2021-05-29 07:09:05 +0200 <c_wraith> https://hackage.haskell.org/package/concurrent-output-1.10.12/docs/System-Console-Regions.html#v:d…
2021-05-29 07:09:08 +0200Mark_Mark__
2021-05-29 07:09:42 +0200 <c_wraith> looks to me like that establishes global locks and manages layout stuff. I don't like that design particularly, but it can be done
2021-05-29 07:10:47 +0200voldialchews....
2021-05-29 07:12:10 +0200ddellacosta(~ddellacos@89.46.62.27) (Ping timeout: 264 seconds)
2021-05-29 07:12:33 +0200amk(~amk@176.61.106.150) (Read error: Connection reset by peer)
2021-05-29 07:12:44 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-29 07:13:47 +0200amk(~amk@176.61.106.150)
2021-05-29 07:14:53 +0200rk04(~rk04@user/rajk)
2021-05-29 07:15:58 +0200yumaikas-(~yumaikas@2601:281:c700:4240:90f1:d2bf:b6e2:acbf) (Ping timeout: 248 seconds)
2021-05-29 07:16:32 +0200rk04(~rk04@user/rajk) (Client Quit)
2021-05-29 07:17:40 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-05-29 07:18:22 +0200vicfred(~vicfred@user/vicfred)
2021-05-29 07:18:39 +0200chaosite(~chaosite@user/chaosite)
2021-05-29 07:20:27 +0200Toast52_(~Toast52@151.192.167.120) (Quit: Leaving)
2021-05-29 07:24:15 +0200ddellacosta(~ddellacos@89.46.62.60)
2021-05-29 07:28:46 +0200ddellacosta(~ddellacos@89.46.62.60) (Ping timeout: 248 seconds)
2021-05-29 07:31:44 +0200shiraeeshi(~shiraeesh@109.166.58.65) (Ping timeout: 252 seconds)
2021-05-29 07:32:50 +0200smatting(~stefan@p57adc506.dip0.t-ipconnect.de)
2021-05-29 07:36:17 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-05-29 07:37:08 +0200qbt(~edun@user/edun)
2021-05-29 07:41:04 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds)
2021-05-29 07:41:41 +0200ddellacosta(~ddellacos@89.46.62.121)
2021-05-29 07:41:43 +0200kiweun(~sheepduck@2607:fea8:2a60:b700::5d55) (Remote host closed the connection)
2021-05-29 07:42:55 +0200Guest9(~Guest9@103.240.169.6)
2021-05-29 07:43:34 +0200sheepduck(~sheepduck@2607:fea8:2a60:b700::5d55)
2021-05-29 07:44:33 +0200sheepduck(~sheepduck@2607:fea8:2a60:b700::5d55) (Remote host closed the connection)
2021-05-29 07:45:48 +0200sheepduck(~sheepduck@2607:fea8:2a60:b700::5d55)
2021-05-29 07:46:02 +0200ddellacosta(~ddellacos@89.46.62.121) (Ping timeout: 252 seconds)
2021-05-29 07:49:05 +0200 <sclv> ch-ch-check it out everyone! with new hackage and builder redeploy we run tests and report on their results, and also give code coverage numbers! https://hackage.haskell.org/package/aern2-mp
2021-05-29 07:49:31 +0200 <sclv> also you can finally request rebuilds from the maintainers corner and they actually work
2021-05-29 07:53:27 +0200img(~img@2405:6580:b1c0:2500:6e94:ae4a:a398:5347) (Quit: ZNC 1.8.1 - https://znc.in)
2021-05-29 07:53:49 +0200img(~img@2405:6580:b1c0:2500:6e94:ae4a:a398:5347)
2021-05-29 07:55:02 +0200bitmapper(uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-29 07:56:42 +0200y04nn(~y04nn@185.204.1.208) (Ping timeout: 264 seconds)
2021-05-29 07:58:59 +0200 <Guest9> is there any short cut for "run current file" in vscode?
2021-05-29 07:59:04 +0200ddellacosta(~ddellacos@89.46.62.38)
2021-05-29 08:00:47 +0200Sinbad(~Sinbad@user/sinbad)
2021-05-29 08:01:59 +0200ikex(~ash@user/ikex) (Ping timeout: 252 seconds)
2021-05-29 08:02:29 +0200jco(~jco@c83-248-173-38.bredband.tele2.se)
2021-05-29 08:02:34 +0200guest0123(~aaron@2601:602:a080:fa0:3d68:2a1a:74b4:e9fa) (Ping timeout: 264 seconds)
2021-05-29 08:03:26 +0200ddellacosta(~ddellacos@89.46.62.38) (Ping timeout: 248 seconds)
2021-05-29 08:04:34 +0200tonyz(~tonyz@user/tonyz)
2021-05-29 08:07:28 +0200tose(~tose@ip-85-160-8-1.eurotel.cz) (Ping timeout: 264 seconds)
2021-05-29 08:07:43 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 08:10:40 +0200bah(~bah@l1.tel)
2021-05-29 08:10:46 +0200lu(~lu@user/lu)
2021-05-29 08:13:02 +0200chaosite(~chaosite@user/chaosite) (Ping timeout: 248 seconds)
2021-05-29 08:15:33 +0200guest0123(~aaron@2601:602:a080:fa0:21da:7ddc:2cc6:a10c)
2021-05-29 08:15:46 +0200npl01(~textual@27.34.16.171) (Ping timeout: 264 seconds)
2021-05-29 08:15:47 +0200tose(~tose@ip-85-160-8-1.eurotel.cz)
2021-05-29 08:16:38 +0200qbt(~edun@user/edun) (Quit: WeeChat 3.1)
2021-05-29 08:16:54 +0200qbt(~edun@user/edun)
2021-05-29 08:17:09 +0200Bartosz(~textual@24.35.90.211)
2021-05-29 08:18:07 +0200ddellacosta(~ddellacos@86.106.121.31)
2021-05-29 08:18:47 +0200z0k(~z0k@101.50.108.132) (Quit: WeeChat 3.0)
2021-05-29 08:20:45 +0200Sinbad(~Sinbad@user/sinbad) (Quit: WeeChat 3.1)
2021-05-29 08:20:48 +0200wei2912(~wei2912@112.199.250.21) (Remote host closed the connection)
2021-05-29 08:21:16 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds)
2021-05-29 08:21:26 +0200wei2912(~wei2912@112.199.250.21)
2021-05-29 08:21:28 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no)
2021-05-29 08:23:06 +0200ddellacosta(~ddellacos@86.106.121.31) (Ping timeout: 264 seconds)
2021-05-29 08:24:11 +0200chaosite(~chaosite@user/chaosite)
2021-05-29 08:24:32 +0200winter(~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-29 08:24:32 +0200yumaikas-(~yumaikas@2601:281:c700:4240:90f1:d2bf:b6e2:acbf)
2021-05-29 08:25:02 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-05-29 08:29:27 +0200chaosite(~chaosite@user/chaosite) (Ping timeout: 272 seconds)
2021-05-29 08:36:35 +0200ddellacosta(~ddellacos@86.106.121.39)
2021-05-29 08:39:58 +0200dy(~dy@user/dy)
2021-05-29 08:41:02 +0200ddellacosta(~ddellacos@86.106.121.39) (Ping timeout: 252 seconds)
2021-05-29 08:42:00 +0200wei2912(~wei2912@112.199.250.21) (Remote host closed the connection)
2021-05-29 08:43:37 +0200Guest97(~Guest97@2601:140:8a00:2230:c5d6:6357:636:1349)
2021-05-29 08:45:48 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-29 08:46:32 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd) (Ping timeout: 252 seconds)
2021-05-29 08:47:10 +0200Erutuon(~Erutuon@97-116-14-180.mpls.qwest.net) (Ping timeout: 248 seconds)
2021-05-29 08:48:13 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 08:48:14 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 248 seconds)
2021-05-29 08:48:40 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2021-05-29 08:49:15 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-05-29 08:53:04 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds)
2021-05-29 08:54:37 +0200ddellacosta(~ddellacos@86.106.121.70)
2021-05-29 08:56:05 +0200gehmehgeh(~user@user/gehmehgeh)
2021-05-29 08:56:18 +0200Guest97(~Guest97@2601:140:8a00:2230:c5d6:6357:636:1349) (Quit: Client closed)
2021-05-29 08:57:52 +0200moet(~moet@172.58.38.167) (Ping timeout: 264 seconds)
2021-05-29 08:58:19 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-29 08:58:19 +0200pe200012(~pe200012@119.131.208.84) (Remote host closed the connection)
2021-05-29 08:58:47 +0200pe200012(~pe200012@119.131.208.84)
2021-05-29 08:59:30 +0200prite(~pritam@user/pritambaral)
2021-05-29 08:59:34 +0200ddellacosta(~ddellacos@86.106.121.70) (Ping timeout: 264 seconds)
2021-05-29 08:59:48 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-29 09:00:32 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-05-29 09:00:37 +0200julian1(julian@user/jmjl)
2021-05-29 09:00:46 +0200curiousgay(~curiousga@178.217.208.8) (Read error: Connection reset by peer)
2021-05-29 09:01:01 +0200curiousgay(~curiousga@178.217.208.8)
2021-05-29 09:03:01 +0200Guest9(~Guest9@103.240.169.6) (Ping timeout: 272 seconds)
2021-05-29 09:03:03 +0200amahl(~amahl@dxv5skyhtm57hk9s-c60t-3.rev.dnainternet.fi)
2021-05-29 09:04:38 +0200tose(~tose@ip-85-160-8-1.eurotel.cz) (Remote host closed the connection)
2021-05-29 09:06:39 +0200dydy`
2021-05-29 09:10:50 +0200fosskers(~colin@S0106f0f249642f53.vn.shawcable.net) (Remote host closed the connection)
2021-05-29 09:11:17 +0200ddellacosta(~ddellacos@86.106.121.17)
2021-05-29 09:13:03 +0200myShoggoth(~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 265 seconds)
2021-05-29 09:13:28 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-29 09:14:46 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-29 09:15:23 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e)
2021-05-29 09:15:57 +0200ddellacosta(~ddellacos@86.106.121.17) (Ping timeout: 265 seconds)
2021-05-29 09:16:57 +0200rahguzar(~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it)
2021-05-29 09:17:45 +0200fosskers(~colin@S0106f0f249642f53.vn.shawcable.net)
2021-05-29 09:18:06 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 248 seconds)
2021-05-29 09:19:58 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) (Ping timeout: 264 seconds)
2021-05-29 09:20:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-29 09:23:42 +0200rahguzar(~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Ping timeout: 264 seconds)
2021-05-29 09:24:46 +0200ikex(~ash@user/ikex)
2021-05-29 09:25:34 +0200doublex(~doublex@2601:542:c480:6ee0:a5a3:1270:f9ea:4275) (Ping timeout: 248 seconds)
2021-05-29 09:28:38 +0200fosskers(~colin@S0106f0f249642f53.vn.shawcable.net) (Remote host closed the connection)
2021-05-29 09:29:04 +0200wei2912(~wei2912@112.199.250.21)
2021-05-29 09:29:22 +0200ddellacosta(~ddellacos@86.106.121.73)
2021-05-29 09:31:00 +0200satai(~satai@ip-37-188-160-241.eurotel.cz) (Quit: satai)
2021-05-29 09:32:45 +0200TheLugalsndr
2021-05-29 09:33:54 +0200ddellacosta(~ddellacos@86.106.121.73) (Ping timeout: 264 seconds)
2021-05-29 09:34:09 +0200bfrk(~Thunderbi@200116b8456a1f00d8d08c49fac857df.dip.versatel-1u1.de)
2021-05-29 09:34:37 +0200connrs(~connrs@s1.connrs.uk) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-29 09:35:14 +0200connrs(~connrs@s1.connrs.uk)
2021-05-29 09:38:09 +0200paniash(~ashish@223.184.123.65)
2021-05-29 09:38:40 +0200connrs(~connrs@s1.connrs.uk) (Client Quit)
2021-05-29 09:39:12 +0200connrs(~connrs@s1.connrs.uk)
2021-05-29 09:39:26 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-05-29 09:39:52 +0200paniash(~ashish@223.184.123.65) (Client Quit)
2021-05-29 09:40:42 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-05-29 09:42:25 +0200lavaman(~lavaman@98.38.249.169)
2021-05-29 09:43:39 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 09:44:16 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-29 09:45:42 +0200haskman(~haskman@171.61.131.248)
2021-05-29 09:46:14 +0200zyzzyxdonta(~zyzzyxdon@p4ff1877f.dip0.t-ipconnect.de)
2021-05-29 09:46:40 +0200brian_da_mage(~Neuromanc@37.6.199.86)
2021-05-29 09:46:41 +0200ddellacosta(~ddellacos@86.106.121.86)
2021-05-29 09:46:58 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-05-29 09:47:02 +0200brian_da_mage(~Neuromanc@37.6.199.86) (Changing host)
2021-05-29 09:47:02 +0200brian_da_mage(~Neuromanc@user/briandamag)
2021-05-29 09:48:02 +0200rahguzar(~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it)
2021-05-29 09:48:37 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 272 seconds)
2021-05-29 09:48:41 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e)
2021-05-29 09:49:02 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 248 seconds)
2021-05-29 09:49:36 +0200wei2912(~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-05-29 09:50:05 +0200wei2912(~wei2912@112.199.250.21)
2021-05-29 09:50:11 +0200 <hololeap> % class MyClass r a | r -> a, a -> r ; class MyClass r a => NewClass r
2021-05-29 09:50:11 +0200 <yahb> hololeap: ; <interactive>:103:54: error: Not in scope: type variable `a'
2021-05-29 09:50:23 +0200gehmehgeh(~user@user/gehmehgeh)
2021-05-29 09:51:09 +0200 <hololeap> since there is a double functional dependency between `r' and `a', I would think that `a' wouldn't have to be mentioned on the RHS of NewClass
2021-05-29 09:51:16 +0200ddellacosta(~ddellacos@86.106.121.86) (Ping timeout: 264 seconds)
2021-05-29 09:51:42 +0200 <hololeap> because NewClass doesn't use it
2021-05-29 09:51:56 +0200reumeth(~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab)
2021-05-29 09:53:42 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) (Ping timeout: 264 seconds)
2021-05-29 09:53:50 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-29 09:55:29 +0200marinelli[m](~marinelli@2001:470:69fc:105::2d8)
2021-05-29 09:58:45 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd)
2021-05-29 09:59:28 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Read error: Connection reset by peer)
2021-05-29 10:00:27 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-29 10:00:50 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net)
2021-05-29 10:02:06 +0200yumaikas-(~yumaikas@2601:281:c700:4240:90f1:d2bf:b6e2:acbf) (Ping timeout: 264 seconds)
2021-05-29 10:02:27 +0200Tomurb(~tom@92-17.net.optinet.cz)
2021-05-29 10:03:32 +0200ddellacosta(~ddellacos@89.46.62.19)
2021-05-29 10:07:42 +0200ddellacosta(~ddellacos@89.46.62.19) (Ping timeout: 248 seconds)
2021-05-29 10:07:54 +0200zeenk(~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
2021-05-29 10:09:42 +0200hendursa1(~weechat@user/hendursaga)
2021-05-29 10:10:58 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 252 seconds)
2021-05-29 10:12:10 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-05-29 10:12:12 +0200hylisper(~yaaic@111.119.208.67)
2021-05-29 10:16:48 +0200wonko(~wjc@62.115.229.50)
2021-05-29 10:18:52 +0200rahguzar(~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Ping timeout: 264 seconds)
2021-05-29 10:20:53 +0200ddellacosta(~ddellacos@89.46.62.60)
2021-05-29 10:22:51 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-05-29 10:23:10 +0200smatting(~stefan@p57adc506.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2021-05-29 10:23:53 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-05-29 10:23:58 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Client Quit)
2021-05-29 10:25:22 +0200ddellacosta(~ddellacos@89.46.62.60) (Ping timeout: 264 seconds)
2021-05-29 10:26:42 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-29 10:26:48 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-05-29 10:28:34 +0200gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 252 seconds)
2021-05-29 10:29:21 +0200lu(~lu@user/lu) (Ping timeout: 272 seconds)
2021-05-29 10:29:48 +0200gehmehgeh(~user@user/gehmehgeh)
2021-05-29 10:31:03 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 272 seconds)
2021-05-29 10:33:17 +0200reumeth(~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab) (Quit: reumeth)
2021-05-29 10:35:18 +0200ksqsf(~textual@67.209.186.120.16clouds.com)
2021-05-29 10:36:11 +0200Tomurb(~tom@92-17.net.optinet.cz) (Ping timeout: 265 seconds)
2021-05-29 10:37:03 +0200ddellacosta(~ddellacos@89.46.62.36)
2021-05-29 10:37:18 +0200ksqsf(~textual@67.209.186.120.16clouds.com) (Client Quit)
2021-05-29 10:37:46 +0200koishi_(~ksqsf@67.209.186.120.16clouds.com)
2021-05-29 10:37:47 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 10:38:37 +0200chddr(~Thunderbi@31.148.23.125)
2021-05-29 10:41:18 +0200ddellacosta(~ddellacos@89.46.62.36) (Ping timeout: 248 seconds)
2021-05-29 10:42:09 +0200mankyKitty(uid31287@id-31287.brockwell.irccloud.com)
2021-05-29 10:42:22 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 248 seconds)
2021-05-29 10:43:22 +0200haskman(~haskman@171.61.131.248) (Ping timeout: 264 seconds)
2021-05-29 10:46:36 +0200koishi_(~ksqsf@67.209.186.120.16clouds.com) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-29 10:47:19 +0200koishi_(~koishi_@67.209.186.120.16clouds.com)
2021-05-29 10:48:16 +0200tonyz(~tonyz@user/tonyz) (Quit: Leaving)
2021-05-29 10:48:26 +0200nikoo
2021-05-29 10:50:23 +0200koishi_(~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 10:50:27 +0200ytg(~ytg@109-186-149-143.bb.netvision.net.il)
2021-05-29 10:50:32 +0200unyu(~pyon@user/pyon)
2021-05-29 10:50:50 +0200unyu(~pyon@user/pyon) (Quit: Fix config.)
2021-05-29 10:51:02 +0200koishi_(~koishi_@67.209.186.120.16clouds.com)
2021-05-29 10:51:04 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-05-29 10:51:18 +0200ytg(~ytg@109-186-149-143.bb.netvision.net.il) (Client Quit)
2021-05-29 10:52:09 +0200saolof(~olofs@185.217.69.158)
2021-05-29 10:53:07 +0200unyu(~pyon@user/pyon)
2021-05-29 10:54:01 +0200foldnaut(~stackbear@pool-173-76-99-163.bstnma.fios.verizon.net)
2021-05-29 10:54:11 +0200foldnaut(~stackbear@pool-173-76-99-163.bstnma.fios.verizon.net) (Remote host closed the connection)
2021-05-29 10:55:11 +0200koishi_(~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 10:55:48 +0200ddellacosta(~ddellacos@89.46.62.63)
2021-05-29 10:55:58 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 264 seconds)
2021-05-29 10:59:29 +0200koishi_(~koishi_@2001:e42:102:1532:160:16:113:140)
2021-05-29 11:00:46 +0200ddellacosta(~ddellacos@89.46.62.63) (Ping timeout: 264 seconds)
2021-05-29 11:03:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-29 11:05:44 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-05-29 11:06:25 +0200reumeth(~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab)
2021-05-29 11:07:45 +0200autophagy(~mika@user/autophagy)
2021-05-29 11:07:58 +0200berberman_(~berberman@user/berberman) (Ping timeout: 248 seconds)
2021-05-29 11:08:05 +0200autophagy(~mika@user/autophagy) (Client Quit)
2021-05-29 11:08:23 +0200dhil(~dhil@195.213.192.85)
2021-05-29 11:08:58 +0200berberman(~berberman@user/berberman)
2021-05-29 11:11:57 +0200sondre(~sondrelun@eduroam-193-157-188-96.wlan.uio.no)
2021-05-29 11:12:01 +0200ubert(~Thunderbi@p200300ecdf259d1274882ed522245916.dip0.t-ipconnect.de)
2021-05-29 11:12:31 +0200zyzzyxdonta(~zyzzyxdon@p4ff1877f.dip0.t-ipconnect.de) (Quit: Leaving)
2021-05-29 11:14:34 +0200ddellacosta(~ddellacos@86.106.121.69)
2021-05-29 11:15:29 +0200tonyz(~tonyz@user/tonyz)
2021-05-29 11:17:08 +0200aravk(~aravk@user/aravk)
2021-05-29 11:19:28 +0200ddellacosta(~ddellacos@86.106.121.69) (Ping timeout: 264 seconds)
2021-05-29 11:24:22 +0200haskman(~haskman@223.190.19.0)
2021-05-29 11:27:54 +0200Scotty_Trees(~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving)
2021-05-29 11:31:50 +0200sh9(~sh9@softbank060116136158.bbtec.net)
2021-05-29 11:31:54 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 11:32:43 +0200amk(~amk@176.61.106.150) (Read error: Connection reset by peer)
2021-05-29 11:32:43 +0200ddellacosta(~ddellacos@86.106.121.82)
2021-05-29 11:32:49 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv)
2021-05-29 11:32:54 +0200amk(~amk@176.61.106.150)
2021-05-29 11:33:07 +0200sh9(~sh9@softbank060116136158.bbtec.net) ()
2021-05-29 11:33:16 +0200jonathanclarke(~jonathanc@103.10.31.4) (Ping timeout: 264 seconds)
2021-05-29 11:35:14 +0200reumeth(~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab) (Quit: reumeth)
2021-05-29 11:35:33 +0200reumeth(~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab)
2021-05-29 11:36:00 +0200tose(~tose@ip-85-160-8-1.eurotel.cz)
2021-05-29 11:36:55 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 272 seconds)
2021-05-29 11:37:33 +0200ddellacosta(~ddellacos@86.106.121.82) (Ping timeout: 272 seconds)
2021-05-29 11:39:15 +0200dy(~dy@user/dy)
2021-05-29 11:39:43 +0200dy`(~dy@user/dy) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-29 11:40:05 +0200tose(~tose@ip-85-160-8-1.eurotel.cz) (Remote host closed the connection)
2021-05-29 11:41:23 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:2038:b31a:2642:e4ef) (Remote host closed the connection)
2021-05-29 11:42:29 +0200rk04(~rk04@user/rajk)
2021-05-29 11:46:38 +0200jonathanclarke(~jonathanc@103.10.31.50)
2021-05-29 11:47:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-29 11:47:13 +0200mc47(~yecinem@89.246.239.190)
2021-05-29 11:49:41 +0200sh9(~sh9@softbank060116136158.bbtec.net)
2021-05-29 11:51:15 +0200ddellacosta(~ddellacos@86.106.121.21)
2021-05-29 11:52:30 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-29 11:53:45 +0200bhrgunatha(~bhrgunath@2001-b011-8011-2c99-8dde-8259-3b01-c51a.dynamic-ip6.hinet.net)
2021-05-29 11:54:32 +0200igghibu(~igghibu@91.193.5.30)
2021-05-29 11:55:55 +0200ddellacosta(~ddellacos@86.106.121.21) (Ping timeout: 272 seconds)
2021-05-29 12:02:54 +0200amahl(~amahl@dxv5skyhtm57hk9s-c60t-3.rev.dnainternet.fi) (Ping timeout: 248 seconds)
2021-05-29 12:03:16 +0200sh9(~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 3.0.1)
2021-05-29 12:04:38 +0200chddr(~Thunderbi@31.148.23.125) (Ping timeout: 265 seconds)
2021-05-29 12:08:08 +0200Klotz(~Klotzoman@gateway/tor-sasl/klotz)
2021-05-29 12:08:34 +0200qbt(~edun@user/edun) (Ping timeout: 264 seconds)
2021-05-29 12:08:36 +0200haskman(~haskman@223.190.19.0) (Quit: Going to sleep. ZZZzzz…)
2021-05-29 12:08:37 +0200ddellacosta(~ddellacos@89.46.62.56)
2021-05-29 12:08:39 +0200rahguzar(~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it)
2021-05-29 12:11:52 +0200phi(~phi@216.255.205.15)
2021-05-29 12:12:13 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-chan)
2021-05-29 12:13:30 +0200ddellacosta(~ddellacos@89.46.62.56) (Ping timeout: 264 seconds)
2021-05-29 12:14:53 +0200rk04(~rk04@user/rajk) (Quit: Client closed)
2021-05-29 12:18:13 +0200phi(~phi@216.255.205.15) (Quit: Leaving)
2021-05-29 12:20:12 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-05-29 12:20:16 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e)
2021-05-29 12:21:20 +0200y04nn(~y04nn@185.204.1.208)
2021-05-29 12:21:44 +0200bhrgunatha(~bhrgunath@2001-b011-8011-2c99-8dde-8259-3b01-c51a.dynamic-ip6.hinet.net) (Quit: Leaving)
2021-05-29 12:23:47 +0200smatting(~stefan@p57adc506.dip0.t-ipconnect.de)
2021-05-29 12:24:48 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-05-29 12:24:53 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) (Ping timeout: 252 seconds)
2021-05-29 12:25:18 +0200blankhart(~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net)
2021-05-29 12:25:54 +0200blankhart(~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Client Quit)
2021-05-29 12:26:02 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 12:26:09 +0200blankhart(~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net)
2021-05-29 12:29:17 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-05-29 12:30:44 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 265 seconds)
2021-05-29 12:31:52 +0200 <juri_> is there a noninfinite similar to nonempty?
2021-05-29 12:38:34 +0200 <Hecate> juri_: why? :)
2021-05-29 12:38:35 +0200ac[irc](uid2076@id-2076.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-29 12:38:50 +0200nsilv-phone(~nsilv-pho@37.161.63.79)
2021-05-29 12:39:02 +0200 <rahguzar> juri_ , what do you need it for? Data structures from `condtainers` and `Vector` are finite and there are length indexed data structures too
2021-05-29 12:39:15 +0200 <juri_> I'm trying to apply stan to my code, and there are constructs i have that i know will not be empty, AND cannot be infinite.
2021-05-29 12:39:35 +0200 <juri_> I figgured it'd be nice to add this to the types.
2021-05-29 12:39:46 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160)
2021-05-29 12:40:39 +0200 <juri_> maybe i should just wait for linear types to be more of a thing.
2021-05-29 12:41:50 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:2038:b31a:2642:e4ef)
2021-05-29 12:41:52 +0200nsilv-phone-1(~nsilv-pho@host-82-50-119-12.retail.telecomitalia.it) (Ping timeout: 244 seconds)
2021-05-29 12:42:47 +0200ddellacosta(~ddellacos@89.46.62.60)
2021-05-29 12:43:07 +0200koishi_(~koishi_@2001:e42:102:1532:160:16:113:140) (Quit: /ragequit)
2021-05-29 12:44:06 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Ping timeout: 264 seconds)
2021-05-29 12:44:46 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net)
2021-05-29 12:46:54 +0200snan(~snan@89-253-122-95.customers.ownit.se) (part weird creature)
2021-05-29 12:47:40 +0200ddellacosta(~ddellacos@89.46.62.60) (Ping timeout: 264 seconds)
2021-05-29 12:47:51 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:2038:b31a:2642:e4ef) (Ping timeout: 272 seconds)
2021-05-29 12:51:53 +0200mankyKitty(uid31287@id-31287.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-29 12:54:38 +0200ubert(~Thunderbi@p200300ecdf259d1274882ed522245916.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2021-05-29 12:55:18 +0200 <siraben> Constraining finite data types, heh
2021-05-29 12:55:22 +0200 <siraben> to finite data types*
2021-05-29 12:55:50 +0200 <siraben> juri_: if the datatype is strict, then it cannot be infinite (as constructing an finite datatype will diverge)
2021-05-29 12:57:04 +0200 <siraben> oops I mean constructing an infinite datatype will diverge
2021-05-29 12:59:17 +0200ddellacosta(~ddellacos@86.106.121.110)
2021-05-29 13:00:54 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dd4f:e91d:2ac5:15ba)
2021-05-29 13:01:58 +0200xff0x(~xff0x@2001:1a81:5217:e000:c979:fd80:46fd:6afc) (Ping timeout: 264 seconds)
2021-05-29 13:02:14 +0200xff0x(~xff0x@185.65.135.235)
2021-05-29 13:02:25 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-05-29 13:03:53 +0200ddellacosta(~ddellacos@86.106.121.110) (Ping timeout: 272 seconds)
2021-05-29 13:04:41 +0200dustingetz(~textual@pool-173-49-123-198.phlapa.fios.verizon.net)
2021-05-29 13:05:32 +0200smatting(~stefan@p57adc506.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2021-05-29 13:05:47 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dd4f:e91d:2ac5:15ba) (Ping timeout: 272 seconds)
2021-05-29 13:07:43 +0200koishi_(~koishi_@67.209.186.120.16clouds.com)
2021-05-29 13:09:32 +0200koishi_(~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 13:10:18 +0200koishi_(~koishi_@67.209.186.120.16clouds.com)
2021-05-29 13:10:29 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-29 13:11:29 +0200koishi_(~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 13:12:16 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection)
2021-05-29 13:12:19 +0200holy_bazooka(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-29 13:12:24 +0200ggole(~ggole@2001:8003:8119:7200:5512:f869:3799:bae7)
2021-05-29 13:12:54 +0200koishi_(~koishi_@67.209.186.120.16clouds.com)
2021-05-29 13:13:19 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es)
2021-05-29 13:13:58 +0200oxide(~lambda@user/oxide) (Ping timeout: 264 seconds)
2021-05-29 13:16:16 +0200ddellacosta(~ddellacos@86.106.121.23)
2021-05-29 13:16:43 +0200koishi_(~koishi_@67.209.186.120.16clouds.com) (Client Quit)
2021-05-29 13:18:19 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:8f7:7cd4:97ed:dc53)
2021-05-29 13:18:36 +0200aman(~aman@user/aman)
2021-05-29 13:18:50 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-05-29 13:20:09 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 13:20:22 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-05-29 13:21:00 +0200ddellacosta(~ddellacos@86.106.121.23) (Ping timeout: 265 seconds)
2021-05-29 13:21:29 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-05-29 13:21:37 +0200ubert(~Thunderbi@p200300ecdf259d1274882ed522245916.dip0.t-ipconnect.de)
2021-05-29 13:22:09 +0200koishi_(~koishi_@67.209.186.120.16clouds.com)
2021-05-29 13:22:28 +0200sondre(~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 264 seconds)
2021-05-29 13:23:28 +0200koishi_(~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 13:24:45 +0200koishi_(~koishi_@67.209.186.120.16clouds.com)
2021-05-29 13:24:52 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 265 seconds)
2021-05-29 13:25:52 +0200koishi_(~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 13:26:08 +0200rahguzar(~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Quit: Connection closed)
2021-05-29 13:26:22 +0200rahguzar(~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it)
2021-05-29 13:26:27 +0200pe200012(~pe200012@119.131.208.84) (Quit: Konversation terminated!)
2021-05-29 13:26:34 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd) (Ping timeout: 264 seconds)
2021-05-29 13:26:35 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-05-29 13:26:38 +0200benin(~benin@183.82.177.19) (Ping timeout: 248 seconds)
2021-05-29 13:27:21 +0200koishi_(~koishi_@67.209.186.120.16clouds.com)
2021-05-29 13:27:45 +0200winter(~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 272 seconds)
2021-05-29 13:27:58 +0200sondre(~sondrelun@eduroam-193-157-188-96.wlan.uio.no)
2021-05-29 13:28:23 +0200 <hjulle[m]> Does anyone know how to tell cabal to not try to build (the dependencies of) some of the packages mentioned in a `cabal.project` file? (other than removing them from the `cabal.project` file)
2021-05-29 13:29:13 +0200hmmmas(~chenqisu1@183.217.202.217) (Quit: Leaving.)
2021-05-29 13:30:28 +0200Guest31(~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net)
2021-05-29 13:31:24 +0200 <hjulle[m]> I get `cabal: Could not resolve dependencies:` because of a different package than the one I am currently trying to build. My guess is that the problem that cabal requires all the versions inside a project to be compatible, so it refuses to build anything if it can't figure out a plan for everything?
2021-05-29 13:31:39 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-05-29 13:32:39 +0200koishi_(~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 13:34:27 +0200ddellacosta(~ddellacos@86.106.121.70)
2021-05-29 13:34:38 +0200xff0x(~xff0x@185.65.135.235) (Ping timeout: 248 seconds)
2021-05-29 13:36:24 +0200xff0x(~xff0x@2001:1a81:5217:e000:c979:fd80:46fd:6afc)
2021-05-29 13:36:47 +0200koishi_(~koishi_@67.209.186.120.16clouds.com)
2021-05-29 13:37:48 +0200koishi_(~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 13:38:45 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor)
2021-05-29 13:39:04 +0200sciencentistguy(~sciencent@194.110.13.67)
2021-05-29 13:39:10 +0200ubert(~Thunderbi@p200300ecdf259d1274882ed522245916.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2021-05-29 13:39:16 +0200ddellacosta(~ddellacos@86.106.121.70) (Ping timeout: 264 seconds)
2021-05-29 13:39:24 +0200koishi_(~koishi_@67.209.186.120.16clouds.com)
2021-05-29 13:40:26 +0200koishi_(~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 13:40:55 +0200aman(~aman@user/aman) (Quit: aman)
2021-05-29 13:41:57 +0200winter(~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-29 13:42:00 +0200koishi_(~koishi_@185.209.85.134)
2021-05-29 13:44:09 +0200lavaman(~lavaman@98.38.249.169)
2021-05-29 13:47:44 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-29 13:48:29 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-05-29 13:49:33 +0200 <juri_> grr. so, i can chose slists, which are safe, or nonempty, which is not safe... and there is no nonempty slist.
2021-05-29 13:50:37 +0200zweimach(~zweimach@180.251.184.182)
2021-05-29 13:53:19 +0200ddellacosta(~ddellacos@89.46.62.27)
2021-05-29 13:54:29 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd)
2021-05-29 13:54:43 +0200Deide(~Deide@wire.desu.ga)
2021-05-29 13:54:43 +0200Deide(~Deide@wire.desu.ga) (Changing host)
2021-05-29 13:54:43 +0200Deide(~Deide@user/deide)
2021-05-29 13:55:15 +0200ddellacosta(~ddellacos@89.46.62.27) (Read error: Connection reset by peer)
2021-05-29 13:55:19 +0200xsperry(~as@user/xsperry) ()
2021-05-29 13:55:28 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-29 13:55:47 +0200xsperry(~as@user/xsperry)
2021-05-29 13:55:48 +0200holy_bazooka(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Read error: Connection reset by peer)
2021-05-29 13:55:49 +0200 <Axman6> juri_: can you not use vectors?
2021-05-29 13:56:24 +0200bmsk(~user@2001:19f0:5001:2f3b:5400:3ff:fe53:2d96) (Quit: bmsk)
2021-05-29 13:56:39 +0200rk04(~rk04@user/rajk)
2021-05-29 13:57:09 +0200bmsk(~user@2001:19f0:5001:2f3b:5400:3ff:fe53:2d96)
2021-05-29 13:57:55 +0200 <rahguzar> juri_ if you want something builtin use a tuple of an element and a strict list. That gives non-empty strict list and all the instances. Or you can define the `NonEmpty` data structure yourself and most of the instances you need can probably be derived using extensions
2021-05-29 13:58:16 +0200wei2912(~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-05-29 13:58:52 +0200 <wz1000> juri_: which is this unsafe slist?
2021-05-29 13:59:34 +0200oxide(~lambda@user/oxide)
2021-05-29 13:59:46 +0200 <Axman6> You could pretty easily write a length bounded, non-empty list though - data SList n a where SNil :: a -> SNil ('S n) a; SCons :: a -> SList n a -> SList ('S n); a value of type SList n a has at most n elements in it but can have fewer
2021-05-29 14:00:27 +0200 <juri_> I'm going to read on vectors for a bit.
2021-05-29 14:00:59 +0200tonyz(~tonyz@user/tonyz) (Quit: Leaving)
2021-05-29 14:02:12 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-05-29 14:02:32 +0200winter(~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1)
2021-05-29 14:02:55 +0200 <Axman6> As assuminbg you can define a constrasint of Finite n, you can have foo :: Finite n => Slist n a -> Int
2021-05-29 14:03:03 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-05-29 14:03:21 +0200 <rahguzar> If the length is statically known there are already packages that track the length in type like `vector-sized`
2021-05-29 14:03:28 +0200 <juri_> Axman6: I'm trying to make Stan happy with me.. which leads me in directions that are not very happy in haskell.
2021-05-29 14:03:36 +0200 <Axman6> @
2021-05-29 14:03:49 +0200 <Axman6> @hackage stan
2021-05-29 14:03:49 +0200 <lambdabot> https://hackage.haskell.org/package/stan
2021-05-29 14:05:07 +0200 <juri_> specifically, i'm using length in my test suite, to ensure what comes into a transform has the same count of items as what comes out... and stan warns you if you use length, pointing you to slist..
2021-05-29 14:05:44 +0200 <Axman6> I've never used stan, so I can;t really help you there
2021-05-29 14:06:19 +0200blurgy(~blurgy@blurgy.xyz)
2021-05-29 14:06:37 +0200 <juri_> maybe i've been watching too many idris2 videos. i want to specify a length at the type level, which haskell has.. fun with.
2021-05-29 14:06:54 +0200saolof(~olofs@185.217.69.158) (Ping timeout: 264 seconds)
2021-05-29 14:06:59 +0200 <Axman6> Have you looked at liquid haskell?
2021-05-29 14:08:04 +0200jco(~jco@c83-248-173-38.bredband.tele2.se) (Ping timeout: 264 seconds)
2021-05-29 14:08:21 +0200 <rahguzar> @hackage vector-sized
2021-05-29 14:08:21 +0200 <lambdabot> https://hackage.haskell.org/package/vector-sized
2021-05-29 14:09:00 +0200zweimach(~zweimach@180.251.184.182) (Ping timeout: 250 seconds)
2021-05-29 14:09:12 +0200 <juri_> Axman6: I'll add that to my reading list.
2021-05-29 14:09:54 +0200Guest31(~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-29 14:10:05 +0200 <rahguzar> juri_ data structures tagged with type level length are somewhat annoying but I have used `vector-sized` and it is workable
2021-05-29 14:11:53 +0200ddellacosta(~ddellacos@89.46.62.52)
2021-05-29 14:14:15 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2021-05-29 14:14:17 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 14:14:46 +0200gentauro(~gentauro@user/gentauro)
2021-05-29 14:15:07 +0200monadlight(~chris@bras-vprn-nwmkon8540w-lp130-19-184-147-249-234.dsl.bell.ca)
2021-05-29 14:17:34 +0200ddellacosta(~ddellacos@89.46.62.52) (Ping timeout: 264 seconds)
2021-05-29 14:18:23 +0200leeb_(~leeb@KD111239159143.au-net.ne.jp)
2021-05-29 14:18:29 +0200igghibu(~igghibu@91.193.5.30) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-29 14:18:46 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds)
2021-05-29 14:19:21 +0200rk04(~rk04@user/rajk) (Quit: Client closed)
2021-05-29 14:19:28 +0200monadlight(~chris@bras-vprn-nwmkon8540w-lp130-19-184-147-249-234.dsl.bell.ca) (Ping timeout: 264 seconds)
2021-05-29 14:21:46 +0200leeb(~leeb@KD111239155167.au-net.ne.jp) (Ping timeout: 264 seconds)
2021-05-29 14:22:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-05-29 14:25:04 +0200hmmmas(~chenqisu1@183.217.202.217)
2021-05-29 14:25:58 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd) (Ping timeout: 264 seconds)
2021-05-29 14:26:31 +0200timothy1(~timothy@bb42-60-217-138.singnet.com.sg)
2021-05-29 14:26:50 +0200Mark__(uid14803@user/mark/x-9597255) (Quit: Connection closed for inactivity)
2021-05-29 14:26:50 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2021-05-29 14:26:52 +0200timothy1(~timothy@bb42-60-217-138.singnet.com.sg) (Client Quit)
2021-05-29 14:27:11 +0200gentauro(~gentauro@user/gentauro)
2021-05-29 14:28:55 +0200ddellacosta(~ddellacos@89.46.62.82)
2021-05-29 14:28:55 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2021-05-29 14:32:11 +0200gentauro(~gentauro@user/gentauro)
2021-05-29 14:32:30 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-05-29 14:32:40 +0200sondre(~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 264 seconds)
2021-05-29 14:33:30 +0200zebrag(~chris@user/zebrag)
2021-05-29 14:33:46 +0200ddellacosta(~ddellacos@89.46.62.82) (Ping timeout: 264 seconds)
2021-05-29 14:34:16 +0200hmmmas(~chenqisu1@183.217.202.217) (Quit: Leaving.)
2021-05-29 14:35:29 +0200dudek(~dudek@185.150.236.112)
2021-05-29 14:36:28 +0200lavaman(~lavaman@98.38.249.169)
2021-05-29 14:36:54 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd)
2021-05-29 14:37:02 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-05-29 14:37:19 +0200lavaman(~lavaman@98.38.249.169)
2021-05-29 14:37:25 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-05-29 14:38:36 +0200 <xerox> does anyone know if there are info about this year's icfpc? https://www.icfpconference.org/contest.html
2021-05-29 14:39:10 +0200micro(~micro@user/micro)
2021-05-29 14:40:13 +0200sondre(~sondrelun@eduroam-193-157-188-96.wlan.uio.no)
2021-05-29 14:40:13 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2021-05-29 14:40:24 +0200vshev4enko(~vshev4enk@178.151.117.243)
2021-05-29 14:40:31 +0200dudek(~dudek@185.150.236.112) (Quit: Leaving)
2021-05-29 14:40:31 +0200gentauro(~gentauro@user/gentauro)
2021-05-29 14:40:45 +0200dudek(~dudek@185.150.236.112)
2021-05-29 14:40:58 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 264 seconds)
2021-05-29 14:41:04 +0200dudek(~dudek@185.150.236.112) (Remote host closed the connection)
2021-05-29 14:41:20 +0200dudek(~dudek@185.150.236.112)
2021-05-29 14:42:29 +0200rk04(~rk04@user/rajk)
2021-05-29 14:42:29 +0200gentauro(~gentauro@user/gentauro) (Write error: Connection reset by peer)
2021-05-29 14:43:28 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-05-29 14:45:06 +0200sondre(~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 265 seconds)
2021-05-29 14:45:07 +0200python476(~user@88.160.31.174)
2021-05-29 14:45:09 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr)
2021-05-29 14:45:31 +0200gentauro(~gentauro@user/gentauro)
2021-05-29 14:47:42 +0200ddellacosta(~ddellacos@89.46.62.79)
2021-05-29 14:47:45 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-05-29 14:48:13 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection)
2021-05-29 14:49:28 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2021-05-29 14:50:32 +0200gentauro(~gentauro@user/gentauro)
2021-05-29 14:51:23 +0200python476(~user@88.160.31.174) (Ping timeout: 265 seconds)
2021-05-29 14:51:23 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2021-05-29 14:52:28 +0200ddellacosta(~ddellacos@89.46.62.79) (Ping timeout: 264 seconds)
2021-05-29 14:53:31 +0200sondre(~sondrelun@eduroam-193-157-188-96.wlan.uio.no)
2021-05-29 14:53:42 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 264 seconds)
2021-05-29 14:55:32 +0200gentauro(~gentauro@user/gentauro)
2021-05-29 14:56:01 +0200nsilv-phone(~nsilv-pho@37.161.63.79) (Quit: Quit)
2021-05-29 14:56:17 +0200pie_bnc(~pie_bnc@user/pie/x-2818909)
2021-05-29 14:57:22 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2021-05-29 14:57:41 +0200Dynom(~niels@80-114-12-206.cable.dynamic.v4.ziggo.nl)
2021-05-29 14:57:57 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-05-29 14:58:09 +0200sondre(~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 265 seconds)
2021-05-29 14:58:45 +0200ubert(~Thunderbi@p200300ecdf259d1274882ed522245916.dip0.t-ipconnect.de)
2021-05-29 15:00:32 +0200gentauro(~gentauro@user/gentauro)
2021-05-29 15:01:01 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection)
2021-05-29 15:01:14 +0200alx741(~alx741@181.196.68.165)
2021-05-29 15:02:02 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dd4f:e91d:2ac5:15ba)
2021-05-29 15:03:53 +0200ddellacosta(~ddellacos@86.106.121.17)
2021-05-29 15:04:16 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e)
2021-05-29 15:06:35 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dd4f:e91d:2ac5:15ba) (Ping timeout: 252 seconds)
2021-05-29 15:07:07 +0200sondre(~sondrelun@eduroam-193-157-188-96.wlan.uio.no)
2021-05-29 15:07:58 +0200lavaman(~lavaman@98.38.249.169)
2021-05-29 15:08:14 +0200fizbin_(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-05-29 15:08:23 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 15:08:27 +0200ddellacosta(~ddellacos@86.106.121.17) (Ping timeout: 272 seconds)
2021-05-29 15:09:05 +0200fizbin(~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) (Ping timeout: 272 seconds)
2021-05-29 15:10:43 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-29 15:12:46 +0200fizbin_(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
2021-05-29 15:12:53 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2021-05-29 15:13:14 +0200smitop(uid328768@user/smitop)
2021-05-29 15:13:22 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds)
2021-05-29 15:13:37 +0200y04nn(~y04nn@185.204.1.208) (Ping timeout: 265 seconds)
2021-05-29 15:13:44 +0200sciencentistguy(~sciencent@194.110.13.67) (Ping timeout: 252 seconds)
2021-05-29 15:14:30 +0200dudek(~dudek@185.150.236.112) (Quit: Leaving)
2021-05-29 15:15:00 +0200dudek(~dudek@185.150.236.112)
2021-05-29 15:16:22 +0200pe200012(~pe200012@119.131.208.84)
2021-05-29 15:18:45 +0200haskman(~haskman@223.190.19.0)
2021-05-29 15:19:08 +0200favonia(~favonia@user/favonia)
2021-05-29 15:20:00 +0200ddellacosta(~ddellacos@89.46.62.78)
2021-05-29 15:21:15 +0200kus(~ku@c-75-70-155-244.hsd1.co.comcast.net)
2021-05-29 15:21:36 +0200hadak__(~ku@2601:280:c780:7ea0:814a:a68d:33de:f626)
2021-05-29 15:21:42 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl)
2021-05-29 15:21:43 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Read error: Connection reset by peer)
2021-05-29 15:22:04 +0200koishi_(~koishi_@185.209.85.134) (Bye!)
2021-05-29 15:22:32 +0200koishi_(~koishi_@185.209.85.134)
2021-05-29 15:24:30 +0200ddellacosta(~ddellacos@89.46.62.78) (Ping timeout: 248 seconds)
2021-05-29 15:24:47 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-29 15:25:34 +0200kus(~ku@c-75-70-155-244.hsd1.co.comcast.net) (Ping timeout: 248 seconds)
2021-05-29 15:26:06 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com)
2021-05-29 15:27:07 +0200tremon_(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl)
2021-05-29 15:30:19 +0200_73(~user@pool-96-233-64-53.bstnma.fios.verizon.net)
2021-05-29 15:30:54 +0200rahguzar(~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Ping timeout: 248 seconds)
2021-05-29 15:30:59 +0200ddellacosta(~ddellacos@86.106.121.43)
2021-05-29 15:31:14 +0200 <maerwald> is the CLC still active?
2021-05-29 15:31:30 +0200rahguzar(~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it)
2021-05-29 15:31:45 +0200aman(~aman@user/aman)
2021-05-29 15:33:01 +0200doublex(~doublex@2601:542:c480:6ee0:a5a3:1270:f9ea:4275)
2021-05-29 15:34:53 +0200vshev4enko(~vshev4enk@178.151.117.243) (Ping timeout: 265 seconds)
2021-05-29 15:36:17 +0200zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-05-29 15:37:00 +0200_73(~user@pool-96-233-64-53.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2))
2021-05-29 15:38:55 +0200Guest9(~Guest9@103.240.169.6)
2021-05-29 15:41:35 +0200leeb_(~leeb@KD111239159143.au-net.ne.jp) (Quit: WeeChat 3.1)
2021-05-29 15:41:42 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net)
2021-05-29 15:41:59 +0200leeb(~leeb@KD111239159143.au-net.ne.jp)
2021-05-29 15:43:28 +0200lavaman(~lavaman@98.38.249.169)
2021-05-29 15:44:11 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-29 15:48:10 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-05-29 15:48:40 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-29 15:49:10 +0200zebrag(~chris@user/zebrag)
2021-05-29 15:51:24 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-05-29 15:52:17 +0200leeb(~leeb@KD111239159143.au-net.ne.jp) (Quit: WeeChat 3.1)
2021-05-29 15:56:41 +0200Tomurb(~tom@92-17.net.optinet.cz)
2021-05-29 15:57:24 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-29 15:57:42 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl)
2021-05-29 15:57:56 +0200 <altern> If anyone could look at https://stackoverflow.com/questions/67752191/unions-data-map-singletons-inside-an-io , I would be grateful
2021-05-29 16:02:32 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 16:03:07 +0200Tomurb(~tom@92-17.net.optinet.cz) (Quit: Konversation terminated!)
2021-05-29 16:06:34 +0200 <rahguzar> @altern there is `sequence` you can use to go from `[IO a]` to `IO [a]`
2021-05-29 16:06:34 +0200 <lambdabot> Unknown command, try @list
2021-05-29 16:07:14 +0200 <rahguzar> @type sequence
2021-05-29 16:07:15 +0200 <lambdabot> (Traversable t, Monad m) => t (m a) -> m (t a)
2021-05-29 16:07:21 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 272 seconds)
2021-05-29 16:07:35 +0200 <cdsmith> @type mapM
2021-05-29 16:07:36 +0200 <lambdabot> (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b)
2021-05-29 16:07:52 +0200mcwitt(~user@user/mcwitt)
2021-05-29 16:07:52 +0200 <cdsmith> That works for you as well
2021-05-29 16:09:19 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net)
2021-05-29 16:11:54 +0200mcwitt(~user@user/mcwitt) (Remote host closed the connection)
2021-05-29 16:12:35 +0200mcwitt(~user@user/mcwitt)
2021-05-29 16:12:47 +0200typesafety(~typesafet@umbreller.kvi.sgsnet.se)
2021-05-29 16:12:54 +0200Guest9(~Guest9@103.240.169.6) (Ping timeout: 264 seconds)
2021-05-29 16:13:22 +0200koishi_(~koishi_@185.209.85.134) (Quit: /ragequit)
2021-05-29 16:13:28 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection)
2021-05-29 16:14:47 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 16:16:00 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-05-29 16:17:15 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection)
2021-05-29 16:18:04 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-05-29 16:18:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-29 16:18:27 +0200 <trueboxguy> sequenceA fans entering chat like
2021-05-29 16:18:27 +0200ikex\n
2021-05-29 16:18:33 +0200\nikex
2021-05-29 16:19:03 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-05-29 16:19:08 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-05-29 16:20:48 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 265 seconds)
2021-05-29 16:21:18 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection)
2021-05-29 16:22:30 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-05-29 16:23:10 +0200Guest11(~textual@146.212.240.255)
2021-05-29 16:24:12 +0200rk04(~rk04@user/rajk) (Ping timeout: 250 seconds)
2021-05-29 16:24:39 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd) (Ping timeout: 272 seconds)
2021-05-29 16:25:59 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd)
2021-05-29 16:26:11 +0200altern(~Sergii@altern.corbina.com.ua) (Remote host closed the connection)
2021-05-29 16:28:50 +0200Klotz(~Klotzoman@gateway/tor-sasl/klotz) (Quit: Klotz)
2021-05-29 16:30:32 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2021-05-29 16:31:13 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection)
2021-05-29 16:32:29 +0200dunham(~dunham@97-113-35-16.tukw.qwest.net) (Quit: leaving)
2021-05-29 16:32:45 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-05-29 16:33:46 +0200ddellacosta(~ddellacos@86.106.121.43) (Ping timeout: 264 seconds)
2021-05-29 16:36:23 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection)
2021-05-29 16:37:18 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-29 16:37:23 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-05-29 16:39:10 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 264 seconds)
2021-05-29 16:39:51 +0200favonia(~favonia@user/favonia) (Ping timeout: 272 seconds)
2021-05-29 16:40:14 +0200hadak__(~ku@2601:280:c780:7ea0:814a:a68d:33de:f626) (Ping timeout: 248 seconds)
2021-05-29 16:40:15 +0200favonia(~favonia@user/favonia)
2021-05-29 16:41:24 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Client Quit)
2021-05-29 16:42:18 +0200hendursa1(~weechat@user/hendursaga) (Quit: hendursa1)
2021-05-29 16:43:16 +0200hendursaga(~weechat@user/hendursaga)
2021-05-29 16:45:59 +0200fosskers(~colin@S0106f0f249642f53.vn.shawcable.net)
2021-05-29 16:47:09 +0200ddellacosta(~ddellacos@86.106.121.65)
2021-05-29 16:47:52 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-05-29 16:48:02 +0200mcwitt(~user@user/mcwitt) (Remote host closed the connection)
2021-05-29 16:48:53 +0200favonia(~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-05-29 16:49:17 +0200favonia(~favonia@user/favonia)
2021-05-29 16:51:52 +0200ddellacosta(~ddellacos@86.106.121.65) (Ping timeout: 264 seconds)
2021-05-29 16:52:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-29 16:54:09 +0200zyzzyxdonta(~zyzzyxdon@p4ff1877f.dip0.t-ipconnect.de)
2021-05-29 16:55:12 +0200dhazel(~quassel@2601:1c1:8a00:3390:488e:c0d7:e238:3215) (Quit: No Ping reply in 180 seconds.)
2021-05-29 16:56:26 +0200dhazel(~quassel@2601:1c1:8a00:3390:80d7:bcce:50b1:298c)
2021-05-29 16:58:27 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160) (Quit: Robin_Jadoul)
2021-05-29 16:59:39 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-05-29 17:00:56 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db)
2021-05-29 17:02:56 +0200saolof(~olofs@217.138.208.142)
2021-05-29 17:03:08 +0200lbseale(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-29 17:03:22 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dd4f:e91d:2ac5:15ba)
2021-05-29 17:04:13 +0200fabfianda(~fabfianda@net-93-148-125-174.cust.vodafonedsl.it)
2021-05-29 17:05:13 +0200ddellacosta(~ddellacos@86.106.121.56)
2021-05-29 17:06:00 +0200y04nn(~y04nn@185.204.1.208)
2021-05-29 17:06:46 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 264 seconds)
2021-05-29 17:07:51 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-29 17:07:58 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dd4f:e91d:2ac5:15ba) (Ping timeout: 264 seconds)
2021-05-29 17:09:51 +0200Andrey-t2(~Andrey-t2@host-87-20-27-58.retail.telecomitalia.it)
2021-05-29 17:10:03 +0200Andrey-t2(~Andrey-t2@host-87-20-27-58.retail.telecomitalia.it) (K-Lined)
2021-05-29 17:10:03 +0200ddellacosta(~ddellacos@86.106.121.56) (Ping timeout: 272 seconds)
2021-05-29 17:10:14 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-05-29 17:12:18 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd) (Ping timeout: 264 seconds)
2021-05-29 17:13:21 +0200hadak__(~ku@2601:280:c780:7ea0:814a:a68d:33de:f626)
2021-05-29 17:13:24 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-05-29 17:14:55 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-29 17:16:03 +0200azeem(~azeem@dynamic-adsl-84-220-228-254.clienti.tiscali.it)
2021-05-29 17:18:21 +0200rahguzar(~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Quit: Connection closed)
2021-05-29 17:18:33 +0200azeem(~azeem@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Client Quit)
2021-05-29 17:19:45 +0200rahguzar(~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it)
2021-05-29 17:20:13 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net)
2021-05-29 17:20:13 +0200hadak__(~ku@2601:280:c780:7ea0:814a:a68d:33de:f626) (Quit: Leaving)
2021-05-29 17:20:34 +0200ku(~ku@2601:280:c780:7ea0:814a:a68d:33de:f626)
2021-05-29 17:20:48 +0200haskman(~haskman@223.190.19.0) (Quit: Going to sleep. ZZZzzz…)
2021-05-29 17:21:16 +0200rk04(~rk04@user/rajk)
2021-05-29 17:21:36 +0200myShoggoth(~myShoggot@97-120-89-117.ptld.qwest.net)
2021-05-29 17:21:49 +0200simmsb(~simmsb@2a02:c7f:343a:6d00:69bb:9905:870a:6538) (Remote host closed the connection)
2021-05-29 17:23:14 +0200bitmapper(uid464869@id-464869.tooting.irccloud.com)
2021-05-29 17:23:21 +0200haskman(~haskman@223.190.19.0)
2021-05-29 17:23:32 +0200haskman(~haskman@223.190.19.0) (Client Quit)
2021-05-29 17:23:34 +0200favonia(~favonia@user/favonia) (Ping timeout: 264 seconds)
2021-05-29 17:23:40 +0200ddellacosta(~ddellacos@89.46.62.30)
2021-05-29 17:23:54 +0200noddy(~user@user/noddy) (Quit: WeeChat 3.1)
2021-05-29 17:24:24 +0200favonia(~favonia@user/favonia)
2021-05-29 17:24:54 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 264 seconds)
2021-05-29 17:25:36 +0200haskman(~haskman@223.190.19.0)
2021-05-29 17:26:32 +0200blankhart(~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 265 seconds)
2021-05-29 17:26:48 +0200rk04(~rk04@user/rajk) (Quit: Client closed)
2021-05-29 17:27:10 +0200lbseale(~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 264 seconds)
2021-05-29 17:28:28 +0200ddellacosta(~ddellacos@89.46.62.30) (Ping timeout: 265 seconds)
2021-05-29 17:32:51 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b)
2021-05-29 17:33:18 +0200favonia(~favonia@user/favonia) (Ping timeout: 264 seconds)
2021-05-29 17:33:18 +0200ku(~ku@2601:280:c780:7ea0:814a:a68d:33de:f626) (Ping timeout: 264 seconds)
2021-05-29 17:33:34 +0200amahl(~amahl@dxv5skyh5dhdp0ngh76yy-3.rev.dnainternet.fi)
2021-05-29 17:33:43 +0200favonia(~favonia@user/favonia)
2021-05-29 17:34:38 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 248 seconds)
2021-05-29 17:35:52 +0200torsina4(~torsina4@ppp-115-87-125-17.revip4.asianet.co.th)
2021-05-29 17:35:56 +0200torsina4(~torsina4@ppp-115-87-125-17.revip4.asianet.co.th) (K-Lined)
2021-05-29 17:36:35 +0200ku(~ku@2601:280:c780:7ea0:9466:dde1:eec0:d73)
2021-05-29 17:37:10 +0200kus(~ku@2601:280:c780:7ea0:4174:90ee:dee7:6a36)
2021-05-29 17:37:43 +0200favonia(~favonia@user/favonia) (*.net *.split)
2021-05-29 17:37:43 +0200amahl(~amahl@dxv5skyh5dhdp0ngh76yy-3.rev.dnainternet.fi) (*.net *.split)
2021-05-29 17:37:43 +0200y04nn(~y04nn@185.204.1.208) (*.net *.split)
2021-05-29 17:37:43 +0200fabfianda(~fabfianda@net-93-148-125-174.cust.vodafonedsl.it) (*.net *.split)
2021-05-29 17:37:43 +0200slowButPresent(~slowButPr@user/slowbutpresent) (*.net *.split)
2021-05-29 17:37:43 +0200dhazel(~quassel@2601:1c1:8a00:3390:80d7:bcce:50b1:298c) (*.net *.split)
2021-05-29 17:37:43 +0200Guest11(~textual@146.212.240.255) (*.net *.split)
2021-05-29 17:37:43 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (*.net *.split)
2021-05-29 17:37:43 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com) (*.net *.split)
2021-05-29 17:37:43 +0200xff0x(~xff0x@2001:1a81:5217:e000:c979:fd80:46fd:6afc) (*.net *.split)
2021-05-29 17:37:43 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (*.net *.split)
2021-05-29 17:37:43 +0200img(~img@2405:6580:b1c0:2500:6e94:ae4a:a398:5347) (*.net *.split)
2021-05-29 17:37:43 +0200sheepduck(~sheepduck@2607:fea8:2a60:b700::5d55) (*.net *.split)
2021-05-29 17:37:43 +0200ralu(~ralu@static.211.245.203.116.clients.your-server.de) (*.net *.split)
2021-05-29 17:37:44 +0200JimL(~quassel@ti0577q162-3381.bb.online.no) (*.net *.split)
2021-05-29 17:37:44 +0200ukari(~ukari@user/ukari) (*.net *.split)
2021-05-29 17:37:44 +0200Cubic(~hannesste@ip5f5be453.dynamic.kabel-deutschland.de) (*.net *.split)
2021-05-29 17:37:44 +0200taeaad(~taeaad@user/taeaad) (*.net *.split)
2021-05-29 17:37:44 +0200o(~niko@libera/staff/niko) (*.net *.split)
2021-05-29 17:37:44 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (*.net *.split)
2021-05-29 17:37:44 +0200Ranhir(~Ranhir@157.97.53.139) (*.net *.split)
2021-05-29 17:37:44 +0200jjhoo(jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (*.net *.split)
2021-05-29 17:37:44 +0200alinab(sid468903@id-468903.brockwell.irccloud.com) (*.net *.split)
2021-05-29 17:37:44 +0200ystael(~ystael@user/ystael) (*.net *.split)
2021-05-29 17:37:44 +0200Megant(~kaitsu@user/megant) (*.net *.split)
2021-05-29 17:37:44 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (*.net *.split)
2021-05-29 17:37:44 +0200thonkpod(~thonkpod@user/thonkpod) (*.net *.split)
2021-05-29 17:37:44 +0200jonrh(sid5185@id-5185.charlton.irccloud.com) (*.net *.split)
2021-05-29 17:37:44 +0200NemesisD(sid24071@id-24071.tooting.irccloud.com) (*.net *.split)
2021-05-29 17:37:44 +0200bw(sid2730@user/betawaffle) (*.net *.split)
2021-05-29 17:37:44 +0200alanz(sid110616@id-110616.highgate.irccloud.com) (*.net *.split)
2021-05-29 17:37:44 +0200amir(sid22336@user/amir) (*.net *.split)
2021-05-29 17:37:44 +0200Firedancer(sid336191@id-336191.stonehaven.irccloud.com) (*.net *.split)
2021-05-29 17:37:44 +0200parseval(sid239098@brockwell.irccloud.com) (*.net *.split)
2021-05-29 17:37:44 +0200Adeon(sid418992@tooting.irccloud.com) (*.net *.split)
2021-05-29 17:37:44 +0200cln(sid336875@id-336875.charlton.irccloud.com) (*.net *.split)
2021-05-29 17:37:44 +0200aravk(~aravk@user/aravk) (*.net *.split)
2021-05-29 17:37:44 +0200aji(~alex@prickle.ajitek.net) (*.net *.split)
2021-05-29 17:37:44 +0200edwtjo(~edwtjo@user/edwtjo) (*.net *.split)
2021-05-29 17:37:44 +0200brown121407(~smarton@121407.xyz) (*.net *.split)
2021-05-29 17:37:44 +0200kmein(~weechat@static.173.83.99.88.clients.your-server.de) (*.net *.split)
2021-05-29 17:37:44 +0200jiribenes(~jiribenes@rosa.jiribenes.com) (*.net *.split)
2021-05-29 17:37:44 +0200TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split)
2021-05-29 17:37:44 +0200reda(~reda@user/reda) (*.net *.split)
2021-05-29 17:37:44 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (*.net *.split)
2021-05-29 17:37:44 +0200julm(~julm@user/julm) (*.net *.split)
2021-05-29 17:37:44 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split)
2021-05-29 17:37:44 +0200juri_(~juri@178.63.35.222) (*.net *.split)
2021-05-29 17:37:44 +0200Ekho(~Ekho@user/ekho) (*.net *.split)
2021-05-29 17:37:44 +0200djanatyn(~djanatyn@vps-7f49a6b0.vps.ovh.ca) (*.net *.split)
2021-05-29 17:37:44 +0200otoburb(~otoburb@user/otoburb) (*.net *.split)
2021-05-29 17:37:44 +0200kawzeg_(~finn@li2046-66.members.linode.com) (*.net *.split)
2021-05-29 17:37:44 +0200tdammers(~tdammers@77.109.72.213) (*.net *.split)
2021-05-29 17:37:44 +0200Logio(em@kapsi.fi) (*.net *.split)
2021-05-29 17:37:52 +0200Logio(em@kapsi.fi)
2021-05-29 17:37:53 +0200TimWolla_(~timwolla@2a01:4f8:150:6153:beef::6667)
2021-05-29 17:37:53 +0200alinab(sid468903@id-468903.brockwell.irccloud.com)
2021-05-29 17:37:55 +0200Cubic(~hannesste@ip5f5be453.dynamic.kabel-deutschland.de)
2021-05-29 17:37:56 +0200dhazel(~quassel@2601:1c1:8a00:3390:80d7:bcce:50b1:298c)
2021-05-29 17:37:56 +0200JimL(~quassel@ti0577q162-3381.bb.online.no)
2021-05-29 17:37:56 +0200juri_(~juri@178.63.35.222)
2021-05-29 17:37:59 +0200xff0x(~xff0x@2001:1a81:5217:e000:c979:fd80:46fd:6afc)
2021-05-29 17:38:00 +0200edwtjo(~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se)
2021-05-29 17:38:04 +0200kmein(~weechat@static.173.83.99.88.clients.your-server.de)
2021-05-29 17:38:04 +0200alanz(sid110616@id-110616.highgate.irccloud.com)
2021-05-29 17:38:04 +0200reda(~reda@user/reda)
2021-05-29 17:38:05 +0200djanatyn(~djanatyn@vps-7f49a6b0.vps.ovh.ca)
2021-05-29 17:38:06 +0200ralu(~ralu@static.211.245.203.116.clients.your-server.de)
2021-05-29 17:38:07 +0200tdammers(~tdammers@77.109.72.213.res.static.edpnet.net)
2021-05-29 17:38:09 +0200Ranhir(~Ranhir@157.97.53.139)
2021-05-29 17:38:09 +0200Firedancer(sid336191@id-336191.stonehaven.irccloud.com)
2021-05-29 17:38:11 +0200aravk(~aravk@user/aravk)
2021-05-29 17:38:12 +0200parseval(sid239098@brockwell.irccloud.com)
2021-05-29 17:38:13 +0200jonrh(sid5185@id-5185.charlton.irccloud.com)
2021-05-29 17:38:13 +0200cln(sid336875@id-336875.charlton.irccloud.com)
2021-05-29 17:38:15 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2021-05-29 17:38:16 +0200kawzeg_(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34)
2021-05-29 17:38:18 +0200bw(sid2730@user/betawaffle)
2021-05-29 17:38:23 +0200amir(sid22336@stonehaven.irccloud.com)
2021-05-29 17:38:23 +0200thonkpod(~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d)
2021-05-29 17:38:24 +0200edwtjo(~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) (Changing host)
2021-05-29 17:38:24 +0200edwtjo(~edwtjo@user/edwtjo)
2021-05-29 17:38:24 +0200jiribenes(~jiribenes@rosa.jiribenes.com)
2021-05-29 17:38:25 +0200NemesisD(sid24071@tooting.irccloud.com)
2021-05-29 17:38:29 +0200xkapastel(uid17782@tinside.irccloud.com)
2021-05-29 17:38:46 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-05-29 17:38:53 +0200julm(~julm@revolt129.abo.ilico.org)
2021-05-29 17:39:01 +0200amir(sid22336@stonehaven.irccloud.com) (Changing host)
2021-05-29 17:39:01 +0200amir(sid22336@user/amir)
2021-05-29 17:39:10 +0200Adeon(sid418992@tooting.irccloud.com)
2021-05-29 17:39:25 +0200TimWolla_TimWolla
2021-05-29 17:39:26 +0200sheepduck(~sheepduck@2607:fea8:2a60:b700::5d55)
2021-05-29 17:39:34 +0200amahl(~amahl@dxv5skyh5dhdp0ngh76yy-3.rev.dnainternet.fi)
2021-05-29 17:39:40 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net)
2021-05-29 17:39:41 +0200julmGuest6979
2021-05-29 17:39:41 +0200smarton(~smarton@2a01:4f9:c010:4e92::1)
2021-05-29 17:39:41 +0200aji(~alex@prickle.ajitek.net)
2021-05-29 17:39:43 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-05-29 17:39:44 +0200ddellacosta(~ddellacos@89.46.62.73)
2021-05-29 17:39:47 +0200ukari(~ukari@user/ukari)
2021-05-29 17:40:44 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd)
2021-05-29 17:41:43 +0200kus(~ku@2601:280:c780:7ea0:4174:90ee:dee7:6a36) (Ping timeout: 272 seconds)
2021-05-29 17:41:43 +0200ku(~ku@2601:280:c780:7ea0:9466:dde1:eec0:d73) (Ping timeout: 272 seconds)
2021-05-29 17:42:00 +0200noddy(~user@user/noddy)
2021-05-29 17:42:56 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-05-29 17:42:58 +0200jjhoo(~jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi)
2021-05-29 17:42:58 +0200Megant(~kaitsu@user/megant)
2021-05-29 17:42:58 +0200ystael(~ystael@user/ystael)
2021-05-29 17:42:59 +0200otoburb(~otoburb@user/otoburb)
2021-05-29 17:43:01 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-05-29 17:43:06 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-05-29 17:43:26 +0200taeaad(~taeaad@user/taeaad)
2021-05-29 17:43:49 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (*.net *.split)
2021-05-29 17:43:49 +0200slowButPresent(~slowButPr@user/slowbutpresent) (*.net *.split)
2021-05-29 17:43:49 +0200otoburb(~otoburb@user/otoburb) (*.net *.split)
2021-05-29 17:43:49 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (*.net *.split)
2021-05-29 17:43:49 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd) (*.net *.split)
2021-05-29 17:43:49 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (*.net *.split)
2021-05-29 17:43:49 +0200amahl(~amahl@dxv5skyh5dhdp0ngh76yy-3.rev.dnainternet.fi) (*.net *.split)
2021-05-29 17:43:49 +0200jiribenes(~jiribenes@rosa.jiribenes.com) (*.net *.split)
2021-05-29 17:43:49 +0200amir(sid22336@user/amir) (*.net *.split)
2021-05-29 17:43:49 +0200bitmapper(uid464869@id-464869.tooting.irccloud.com) (*.net *.split)
2021-05-29 17:43:49 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b) (*.net *.split)
2021-05-29 17:43:49 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (*.net *.split)
2021-05-29 17:43:49 +0200pe200012(~pe200012@119.131.208.84) (*.net *.split)
2021-05-29 17:43:49 +0200smitop(uid328768@user/smitop) (*.net *.split)
2021-05-29 17:43:49 +0200bfrk(~Thunderbi@200116b8456a1f00d8d08c49fac857df.dip.versatel-1u1.de) (*.net *.split)
2021-05-29 17:43:49 +0200td_(~td@94.134.91.167) (*.net *.split)
2021-05-29 17:43:49 +0200xacktm(xacktm@user/xacktm) (*.net *.split)
2021-05-29 17:43:49 +0200srid[m](~sridmatri@2001:470:69fc:105::1c2) (*.net *.split)
2021-05-29 17:43:49 +0200maralorn[m](~maralorn@2001:470:69fc:105::251) (*.net *.split)
2021-05-29 17:43:49 +0200hjulle[m](~hjullemat@2001:470:69fc:105::1dd) (*.net *.split)
2021-05-29 17:43:49 +0200sm[m](~sm@plaintextaccounting/sm) (*.net *.split)
2021-05-29 17:43:49 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a) (*.net *.split)
2021-05-29 17:43:49 +0200siraben(~siraben@user/siraben) (*.net *.split)
2021-05-29 17:43:49 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (*.net *.split)
2021-05-29 17:43:49 +0200notzmv(~zmv@user/notzmv) (*.net *.split)
2021-05-29 17:43:49 +0200wagle(~wagle@quassel.wagle.io) (*.net *.split)
2021-05-29 17:43:49 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split)
2021-05-29 17:43:49 +0200dmwit(~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (*.net *.split)
2021-05-29 17:43:49 +0200bwe(~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split)
2021-05-29 17:43:49 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (*.net *.split)
2021-05-29 17:43:49 +0200khumba(~khumba@user/khumba) (*.net *.split)
2021-05-29 17:43:49 +0200dexterfoo(dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split)
2021-05-29 17:43:49 +0200nf(~n@monade.li) (*.net *.split)
2021-05-29 17:43:49 +0200sm2n(~sm2n@user/sm2n) (*.net *.split)
2021-05-29 17:43:50 +0200np(znc@user/nerdypepper) (*.net *.split)
2021-05-29 17:43:50 +0200incertia(~incertia@d4-50-26-103.nap.wideopenwest.com) (*.net *.split)
2021-05-29 17:43:50 +0200jassob(~jassob@korrob.vth.sgsnet.se) (*.net *.split)
2021-05-29 17:43:58 +0200wagle(~wagle@quassel.wagle.io)
2021-05-29 17:43:58 +0200aplainze1akind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-05-29 17:44:01 +0200dmwit(~dmwit@pool-173-66-86-32.washdc.fios.verizon.net)
2021-05-29 17:44:02 +0200td_(~td@94.134.91.167)
2021-05-29 17:44:05 +0200dexterfoo(dexter@2a01:7e00::f03c:91ff:fe86:59ec)
2021-05-29 17:44:06 +0200bitmapper(uid464869@id-464869.tooting.irccloud.com)
2021-05-29 17:44:10 +0200jassob(~jassob@korrob.vth.sgsnet.se)
2021-05-29 17:44:10 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b)
2021-05-29 17:44:21 +0200amir(sid22336@id-22336.stonehaven.irccloud.com)
2021-05-29 17:44:30 +0200jiribenes(~jiribenes@rosa.jiribenes.com)
2021-05-29 17:44:33 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd)
2021-05-29 17:44:34 +0200ddellacosta(~ddellacos@89.46.62.73) (Ping timeout: 264 seconds)
2021-05-29 17:44:34 +0200smitop(uid328768@id-328768.tinside.irccloud.com)
2021-05-29 17:44:38 +0200nerdy(znc@152.67.162.71)
2021-05-29 17:44:40 +0200sm2n(~sm2n@user/sm2n)
2021-05-29 17:44:51 +0200smitop(uid328768@id-328768.tinside.irccloud.com) (Changing host)
2021-05-29 17:44:51 +0200smitop(uid328768@user/smitop)
2021-05-29 17:44:51 +0200amir(sid22336@id-22336.stonehaven.irccloud.com) (Changing host)
2021-05-29 17:44:51 +0200amir(sid22336@user/amir)
2021-05-29 17:44:58 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-05-29 17:45:05 +0200img(~img@2405:6580:b1c0:2500:bbf0:3eb3:9fd0:16dd)
2021-05-29 17:45:07 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-05-29 17:45:09 +0200pe200012(~pe200012@218.107.17.245)
2021-05-29 17:45:29 +0200amahl(~amahl@dxv5skyh5dhdp0ngh76yy-3.rev.dnainternet.fi)
2021-05-29 17:45:39 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-29 17:45:51 +0200notzmv(~zmv@user/notzmv)
2021-05-29 17:46:00 +0200xacktm(xacktm@user/xacktm)
2021-05-29 17:47:02 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b) (Client Quit)
2021-05-29 17:47:40 +0200incertia(~incertia@d4-50-26-103.nap.wideopenwest.com)
2021-05-29 17:47:56 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-05-29 17:47:58 +0200otoburb(~otoburb@user/otoburb)
2021-05-29 17:48:00 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-05-29 17:48:32 +0200Ranhir(~Ranhir@157.97.53.139) (Remote host closed the connection)
2021-05-29 17:48:55 +0200bwe(~bwe@2a01:4f8:1c1c:4878::2)
2021-05-29 17:49:02 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-05-29 17:49:11 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-05-29 17:49:42 +0200nerdy(znc@152.67.162.71) (Changing host)
2021-05-29 17:49:42 +0200nerdy(znc@user/nerdypepper)
2021-05-29 17:49:58 +0200xp(~xp@2607:fa49:6500:bc00::e7b)
2021-05-29 17:50:20 +0200xpGuest2300
2021-05-29 17:50:35 +0200Ekho(~Ekho@user/ekho)
2021-05-29 17:50:44 +0200nf(~n@monade.li)
2021-05-29 17:51:54 +0200Guest2300(~xp@2607:fa49:6500:bc00::e7b) (Client Quit)
2021-05-29 17:52:01 +0200aveltras(~aveltras@2001:861:32c2:bb90:b4c3:30a6:5199:f5d8)
2021-05-29 17:52:47 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b)
2021-05-29 17:53:33 +0200 <xerox> maerwald: what's the CLC?
2021-05-29 17:53:54 +0200 <geekosaur> core libraries committee, I think
2021-05-29 17:54:01 +0200 <xerox> ah
2021-05-29 17:54:03 +0200tomku(~tomku@user/tomku) (Read error: Connection reset by peer)
2021-05-29 17:54:41 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-29 17:54:52 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b) (Client Quit)
2021-05-29 17:55:52 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b)
2021-05-29 17:56:06 +0200weber(~weber@114-24-103-71.dynamic-ip.hinet.net)
2021-05-29 17:56:14 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b) (Client Quit)
2021-05-29 17:56:34 +0200aveltras(~aveltras@2001:861:32c2:bb90:b4c3:30a6:5199:f5d8) (Client Quit)
2021-05-29 17:56:53 +0200 <maerwald> They haven't replied to my emails lately and I'm getting a little "worried"
2021-05-29 17:57:30 +0200kus(~ku@2601:280:c780:7ea0:a9c5:d391:6107:54ae)
2021-05-29 17:57:51 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b)
2021-05-29 17:58:15 +0200aveltras(~aveltras@2001:861:32c2:bb90:b4c3:30a6:5199:f5d8)
2021-05-29 17:58:27 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b) (Client Quit)
2021-05-29 17:59:05 +0200 <sclv> afaik theyre around just busy as individuals
2021-05-29 17:59:11 +0200tomku(~tomku@user/tomku)
2021-05-29 17:59:36 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-05-29 17:59:39 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b)
2021-05-29 18:01:22 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b) (Client Quit)
2021-05-29 18:01:52 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b)
2021-05-29 18:02:22 +0200 <maerwald> well... I'm gonna be blunt: if you're too busy to fullfill the role as a CLC member, it's time to ask for help
2021-05-29 18:03:03 +0200 <maerwald> it's a critical role
2021-05-29 18:04:08 +0200bfrk(~Thunderbi@200116b8456a1f00d8d08c49fac857df.dip.versatel-1u1.de)
2021-05-29 18:04:58 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dd4f:e91d:2ac5:15ba)
2021-05-29 18:05:08 +0200 <maerwald> (with "not replied" I'm talking about 1month+)
2021-05-29 18:05:59 +0200Bartosz(~textual@24.35.90.211)
2021-05-29 18:06:36 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-05-29 18:09:54 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dd4f:e91d:2ac5:15ba) (Ping timeout: 264 seconds)
2021-05-29 18:10:50 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-05-29 18:13:32 +0200aveltras(~aveltras@2001:861:32c2:bb90:b4c3:30a6:5199:f5d8) (Quit: Client closed)
2021-05-29 18:13:57 +0200aveltras(~aveltras@2001:861:32c2:bb90:b4c3:30a6:5199:f5d8)
2021-05-29 18:14:56 +0200ddellacosta(~ddellacos@89.46.62.92)
2021-05-29 18:14:57 +0200Ranhir(~Ranhir@157.97.53.139)
2021-05-29 18:16:48 +0200aman(~aman@user/aman) (Ping timeout: 265 seconds)
2021-05-29 18:17:05 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b) (Quit: WeeChat 2.3)
2021-05-29 18:17:28 +0200 <trueboxguy> hmm. I've seen the people in the CLC around here
2021-05-29 18:18:42 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2021-05-29 18:18:47 +0200aman(~aman@user/aman)
2021-05-29 18:19:30 +0200ddellacosta(~ddellacos@89.46.62.92) (Ping timeout: 264 seconds)
2021-05-29 18:19:52 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-05-29 18:19:55 +0200reumeth(~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab) (Ping timeout: 272 seconds)
2021-05-29 18:20:02 +0200Scotty_Trees(~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net)
2021-05-29 18:20:13 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b)
2021-05-29 18:20:41 +0200kus(~ku@2601:280:c780:7ea0:a9c5:d391:6107:54ae) (Quit: Leaving)
2021-05-29 18:20:58 +0200ku(~ku@2601:280:c780:7ea0:a9c5:d391:6107:54ae)
2021-05-29 18:23:48 +0200curiousgay_(~AdminUser@178.217.208.8)
2021-05-29 18:24:05 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b) (Client Quit)
2021-05-29 18:24:30 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b)
2021-05-29 18:24:36 +0200aveltras(~aveltras@2001:861:32c2:bb90:b4c3:30a6:5199:f5d8) (Quit: Client closed)
2021-05-29 18:26:20 +0200zyzzyxdonta(~zyzzyxdon@p4ff1877f.dip0.t-ipconnect.de) (Quit: Leaving)
2021-05-29 18:29:27 +0200ku(~ku@2601:280:c780:7ea0:a9c5:d391:6107:54ae) (Ping timeout: 245 seconds)
2021-05-29 18:31:43 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-05-29 18:32:23 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2021-05-29 18:33:37 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b) (Quit: WeeChat 2.3)
2021-05-29 18:34:35 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b)
2021-05-29 18:34:58 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b) (Client Quit)
2021-05-29 18:35:15 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b)
2021-05-29 18:35:46 +0200_bin(~bin@user/bin/x-1583188)
2021-05-29 18:36:08 +0200bin_(~bin@user/bin/x-1583188) (Ping timeout: 252 seconds)
2021-05-29 18:36:32 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-05-29 18:38:41 +0200curiousgay(~curiousga@178.217.208.8) (Remote host closed the connection)
2021-05-29 18:38:58 +0200curiousgay_curiousgay
2021-05-29 18:39:22 +0200aplainze1akindaplainzetakind
2021-05-29 18:39:47 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving)
2021-05-29 18:40:44 +0200buggy(~buggy@27.6.222.224)
2021-05-29 18:40:50 +0200buggy(~buggy@27.6.222.224) (Changing host)
2021-05-29 18:40:50 +0200buggy(~buggy@user/smorgasbord)
2021-05-29 18:43:22 +0200__monty__(~toonn@user/toonn)
2021-05-29 18:43:32 +0200bfrk(~Thunderbi@200116b8456a1f00d8d08c49fac857df.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2021-05-29 18:44:31 +0200boxscape(~boxscape@user/boxscape)
2021-05-29 18:45:25 +0200repaj(~repaj@89-64-1-87.dynamic.chello.pl)
2021-05-29 18:45:43 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-05-29 18:46:10 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Remote host closed the connection)
2021-05-29 18:46:17 +0200repaj(~repaj@89-64-1-87.dynamic.chello.pl) (Client Quit)
2021-05-29 18:48:41 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-29 18:48:57 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-29 18:49:37 +0200ddellacosta(~ddellacos@86.106.121.82)
2021-05-29 18:51:28 +0200henrylaxen(~user@177.239.36.179)
2021-05-29 18:52:34 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-29 18:52:47 +0200boxscape(~boxscape@user/boxscape) (Ping timeout: 245 seconds)
2021-05-29 18:52:59 +0200Guest962(~Guest9@103.240.169.6)
2021-05-29 18:53:19 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dd4f:e91d:2ac5:15ba)
2021-05-29 18:53:58 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-29 18:54:25 +0200ddellacosta(~ddellacos@86.106.121.82) (Ping timeout: 268 seconds)
2021-05-29 18:54:27 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-05-29 18:57:07 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-29 18:57:49 +0200Bartosz(~textual@24.35.90.211)
2021-05-29 18:57:59 +0200ixlun(~user@109.249.184.235)
2021-05-29 18:58:40 +0200dustingetz(~textual@pool-173-49-123-198.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-29 18:58:50 +0200weber(~weber@114-24-103-71.dynamic-ip.hinet.net) ()
2021-05-29 18:59:47 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-05-29 18:59:56 +0200littlefinger(~00000000@selfhost1.threedot14.com)
2021-05-29 19:00:02 +0200haskman(~haskman@223.190.19.0) (Quit: Going to sleep. ZZZzzz…)
2021-05-29 19:00:08 +0200rk04(~rk04@user/rajk)
2021-05-29 19:02:46 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-05-29 19:03:16 +0200typesafety(~typesafet@umbreller.kvi.sgsnet.se) ()
2021-05-29 19:03:17 +0200carbolymer_(~carbolyme@dropacid.net)
2021-05-29 19:03:32 +0200carbolymer(~carbolyme@dropacid.net) (Ping timeout: 272 seconds)
2021-05-29 19:04:27 +0200fendor(~fendor@178.165.129.15.wireless.dyn.drei.com)
2021-05-29 19:04:44 +0200sondre(~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 252 seconds)
2021-05-29 19:05:55 +0200siraben(~siraben@user/siraben)
2021-05-29 19:06:46 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a)
2021-05-29 19:06:54 +0200ddellacosta(~ddellacos@89.46.62.23)
2021-05-29 19:08:08 +0200INeedAHandleMan(~INeedAHan@93.37.157.76)
2021-05-29 19:08:12 +0200INeedAHandleMan(~INeedAHan@93.37.157.76) (K-Lined)
2021-05-29 19:10:10 +0200lbseale(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-29 19:11:42 +0200ddellacosta(~ddellacos@89.46.62.23) (Ping timeout: 264 seconds)
2021-05-29 19:12:35 +0200sm[m](~sm@plaintextaccounting/sm)
2021-05-29 19:12:52 +0200smitop(uid328768@user/smitop) (Quit: Connection closed for inactivity)
2021-05-29 19:13:28 +0200shiraeeshi(~shiraeesh@5.101.59.190)
2021-05-29 19:13:40 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2021-05-29 19:17:33 +0200werneta(~werneta@mobile-166-176-59-138.mycingular.net)
2021-05-29 19:18:12 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl)
2021-05-29 19:19:23 +0200lbseale(~lbseale@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-05-29 19:20:04 +0200Panther27(~Panther@118-160-149-34.dynamic-ip.hinet.net)
2021-05-29 19:20:15 +0200Panther27(~Panther@118-160-149-34.dynamic-ip.hinet.net) (K-Lined)
2021-05-29 19:20:32 +0200ixlun(~user@109.249.184.235) (Read error: Connection reset by peer)
2021-05-29 19:20:43 +0200 <rahguzar> @type traverse @t (@(->) a)
2021-05-29 19:20:45 +0200 <lambdabot> error: parse error on input ‘@’
2021-05-29 19:21:33 +0200ixlun(~user@109.249.184.235)
2021-05-29 19:21:59 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 272 seconds)
2021-05-29 19:22:06 +0200hjulle[m](~hjullemat@2001:470:69fc:105::1dd)
2021-05-29 19:22:07 +0200 <rahguzar> Is there a way to get ghci to use a type variable in type applications. It seems like I can only pass `_`
2021-05-29 19:22:14 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-29 19:22:48 +0200 <rahguzar> Otherwise it complains of out of scope type variables
2021-05-29 19:23:28 +0200 <c_wraith> what would you do with a free type variable in a type application?
2021-05-29 19:23:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-05-29 19:24:15 +0200ddellacosta(~ddellacos@89.46.62.33)
2021-05-29 19:24:22 +0200 <rahguzar> Mostly I just want to know the type that results
2021-05-29 19:24:54 +0200 <rahguzar> Like this for example `traverse @t (@(->) a)`
2021-05-29 19:25:38 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net)
2021-05-29 19:25:54 +0200econo(uid147250@user/econo)
2021-05-29 19:25:56 +0200 <rahguzar> But `:t` doesn't work with that
2021-05-29 19:26:28 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2021-05-29 19:26:30 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-05-29 19:26:52 +0200 <c_wraith> What is unsatisfying about the output of :t traverse @_ @((->) _) ?
2021-05-29 19:27:08 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-05-29 19:28:12 +0200fendor(~fendor@178.165.129.15.wireless.dyn.drei.com) (Remote host closed the connection)
2021-05-29 19:28:25 +0200 <rahguzar> Just that I have to remember `_1` is a `Traversable` while `t` would make it easier. It is minor thing
2021-05-29 19:28:38 +0200 <rahguzar> I was wondering if there is a way
2021-05-29 19:28:57 +0200ddellacosta(~ddellacos@89.46.62.33) (Ping timeout: 268 seconds)
2021-05-29 19:29:54 +0200 <c_wraith> you won't like it, but there is. :P
2021-05-29 19:30:16 +0200 <rahguzar> Ok!
2021-05-29 19:30:20 +0200 <c_wraith> enabled ScopedTypeVariables and PartialTypeSignatures
2021-05-29 19:30:50 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-29 19:30:53 +0200 <c_wraith> then suppress the partial-type-signatures warning
2021-05-29 19:31:25 +0200 <c_wraith> Then you can do something like :t let f :: forall t a. (_) => _ ; f = traverse @t @((->) a) in f
2021-05-29 19:31:37 +0200rk04(~rk04@user/rajk) (Quit: Client closed)
2021-05-29 19:32:12 +0200ecm(~user@103.88.87.15)
2021-05-29 19:32:37 +0200 <ecm> What is the best resource for a beginner that has read "Learn you a haskell" ?
2021-05-29 19:32:48 +0200 <rahguzar> That is lot of work but it can come in handy if there are a few type variables in some expression
2021-05-29 19:32:55 +0200 <rahguzar> @c_
2021-05-29 19:32:55 +0200 <lambdabot> Maybe you meant: wn v rc pl id do bf @ ? .
2021-05-29 19:33:03 +0200 <rahguzar> c_wraith thanks!
2021-05-29 19:33:12 +0200 <ecm> I want to learn how to do stack stuff and about advanced concepts like monads, types and stuff
2021-05-29 19:33:12 +0200 <c_wraith> you're welcome
2021-05-29 19:34:22 +0200sbmsr(~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd) (Ping timeout: 264 seconds)
2021-05-29 19:35:46 +0200ecm(~user@103.88.87.15) ()
2021-05-29 19:36:12 +0200buggy(~buggy@user/smorgasbord) (Quit: Lost terminal)
2021-05-29 19:36:32 +0200Bartosz(~textual@24.35.90.211)
2021-05-29 19:36:51 +0200haskman(~haskman@223.190.19.0)
2021-05-29 19:37:04 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-29 19:37:27 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no)
2021-05-29 19:37:35 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-05-29 19:37:59 +0200Erutuon(~Erutuon@71-34-10-193.mpls.qwest.net)
2021-05-29 19:41:07 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-05-29 19:41:42 +0200niko(~niko@libera/staff/niko)
2021-05-29 19:42:36 +0200ddellacosta(~ddellacos@89.46.62.116)
2021-05-29 19:44:57 +0200sbmsr(~pi@2600:1700:63d0:4830::26)
2021-05-29 19:45:00 +0200monadlight(~chris@bras-vprn-nwmkon8540w-lp130-19-184-147-249-234.dsl.bell.ca)
2021-05-29 19:45:19 +0200lavaman(~lavaman@98.38.249.169)
2021-05-29 19:47:11 +0200ddellacosta(~ddellacos@89.46.62.116) (Ping timeout: 265 seconds)
2021-05-29 19:47:19 +0200favonia(~favonia@user/favonia)
2021-05-29 19:47:58 +0200lieven(~mal@ns2.wyrd.be)
2021-05-29 19:49:27 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 245 seconds)
2021-05-29 19:49:48 +0200maralorn[m](~maralorn@2001:470:69fc:105::251)
2021-05-29 19:51:16 +0200srid[m](~sridmatri@2001:470:69fc:105::1c2)
2021-05-29 19:51:36 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-05-29 19:52:26 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2021-05-29 19:55:38 +0200Arsen(~arsen@fosshost/volunteer/ArsenArsen) (Quit: Quit.)
2021-05-29 19:55:55 +0200Arsen(~arsen@fosshost/volunteer/ArsenArsen)
2021-05-29 19:58:34 +0200ddellacosta(~ddellacos@86.106.121.86)
2021-05-29 19:59:15 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving)
2021-05-29 19:59:54 +0200fendor(~fendor@178.165.129.15.wireless.dyn.drei.com)
2021-05-29 20:00:53 +0200 <Bartosz> I'm trying to understand the idea of tagless final encoding. They always say that tagless can be done without GADTs. So I assume that using GADTs solves the problem too. The functions they define are just GADT constructors, aren't they?
2021-05-29 20:00:54 +0200 <shiraeeshi> ecm: "The book of monads" by Alejandro Serrano Mena
2021-05-29 20:01:05 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-05-29 20:01:24 +0200 <geekosaur> ecm left
2021-05-29 20:01:38 +0200 <shiraeeshi> oh, ok
2021-05-29 20:02:39 +0200vgtw(~vgtw@c-9164205c.07-348-756d651.bbcust.telenor.se)
2021-05-29 20:03:17 +0200 <shiraeeshi> Bartosz: "The functions they define are just GADT constructors, aren't they?" - who are "they"?
2021-05-29 20:03:18 +0200ddellacosta(~ddellacos@86.106.121.86) (Ping timeout: 264 seconds)
2021-05-29 20:03:36 +0200 <Bartosz> Kiselyov et al
2021-05-29 20:03:59 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-29 20:04:06 +0200monadlight(~chris@bras-vprn-nwmkon8540w-lp130-19-184-147-249-234.dsl.bell.ca) (Ping timeout: 268 seconds)
2021-05-29 20:04:30 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Client Quit)
2021-05-29 20:04:59 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-05-29 20:05:20 +0200favonia(~favonia@user/favonia) (Ping timeout: 268 seconds)
2021-05-29 20:05:49 +0200blurgy(~blurgy@blurgy.xyz) (Quit: Quit: Aliens invaded Earth)
2021-05-29 20:06:25 +0200 <Bartosz> edwardk : is that right?
2021-05-29 20:06:42 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-05-29 20:07:19 +0200 <siraben> Bartosz: tagless final encoding has better compositional properties
2021-05-29 20:07:37 +0200 <siraben> in the paper there's an example of MulSYM and ExpSYM
2021-05-29 20:07:46 +0200 <siraben> you can combine them to something like, x = add (lit 3) (mul (lit 3) (lit 5))
2021-05-29 20:08:02 +0200 <siraben> then the typeclass constraint on x would be, (ExpSYM a, MulSYM a) => a
2021-05-29 20:08:13 +0200 <siraben> notice that this would not typecheck with GADTs
2021-05-29 20:08:16 +0200blurgy(~blurgy@blurgy.xyz)
2021-05-29 20:08:16 +0200 <Bartosz> But can you do the same with GADT?
2021-05-29 20:08:21 +0200blurgy(~blurgy@blurgy.xyz) ()
2021-05-29 20:08:24 +0200blurgy(~blurgy@blurgy.xyz)
2021-05-29 20:08:32 +0200blurgy(~blurgy@blurgy.xyz) ()
2021-05-29 20:09:03 +0200 <siraben> Let's say you did, data ExpSYM a where Add :: ExpSYM Int → ExpSYM Int → ExpSYM Int
2021-05-29 20:09:08 +0200 <Bartosz> Aren't these just smart constructors?
2021-05-29 20:09:14 +0200 <siraben> and Lit :: Int → ExpSYM Int
2021-05-29 20:09:34 +0200 <siraben> data MulSYM a where Mul :: MulSYM Int → MulSYM Int → MulSYM Int
2021-05-29 20:09:40 +0200 <siraben> Add (Lit 3) (Mul (Lit 3) (Lit 5)) would not typecheck
2021-05-29 20:10:27 +0200 <siraben> So, while it's basically equivalent with GADTs for a single typeclass, the ability to freely combine things in tagless-final encoding is one of the advantages
2021-05-29 20:11:25 +0200xfc83e(~xfc83e@178.44.133.16)
2021-05-29 20:11:37 +0200xfc83e(~xfc83e@178.44.133.16) (K-Lined)
2021-05-29 20:11:56 +0200 <Bartosz> I was just reading this blog post, where the guy points out that tagless final has nothing to do with typeclasses. https://www.foxhound.systems/blog/final-tagless/
2021-05-29 20:12:39 +0200 <Bartosz> Ben Levy wrote it
2021-05-29 20:13:15 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-05-29 20:13:20 +0200 <siraben> Kiselyov expresses it through typeclasses, I'm only familiar with his presentation of GADTs
2021-05-29 20:13:24 +0200 <siraben> Oops I mean, presentation of tagless-final
2021-05-29 20:13:26 +0200smitop(uid328768@user/smitop)
2021-05-29 20:13:58 +0200 <cdsmith> So basically we're just saying that you're using the type class (or equivalent mechanism) to postpone the choice of model, meaning you can define your x = add (lit 3) (mul (lit 3) (lit 5)) in one place, and maybe instantiate the type with a GADT in one place, or a different model somewhere else?
2021-05-29 20:14:12 +0200 <siraben> Bartosz: I only see a single sort going on in that blog post; SqlExpr
2021-05-29 20:15:02 +0200 <siraben> In the little example I gave, there's two different kinds of expressions
2021-05-29 20:15:53 +0200 <cdsmith> Sure, but eventually, a has to be SOMETHING!
2021-05-29 20:16:31 +0200ddellacosta(~ddellacos@89.46.62.108)
2021-05-29 20:16:39 +0200 <cdsmith> Sorry, I think I was jumping in and confusing things.
2021-05-29 20:16:44 +0200 <siraben> Chris Smith: exactly, "choice of model" is a more mathematical way to put it
2021-05-29 20:16:49 +0200lu(~lu@user/lu)
2021-05-29 20:16:53 +0200henrylaxen(~user@177.239.36.179) (Remote host closed the connection)
2021-05-29 20:17:09 +0200Guest962(~Guest9@103.240.169.6) (Ping timeout: 265 seconds)
2021-05-29 20:17:20 +0200favonia(~favonia@user/favonia)
2021-05-29 20:18:05 +0200 <Bartosz> It seems to me that "tagless" and "final" are specific terms. It so happens that tagless final allows the use of typeclasses to postpone the interpretation.
2021-05-29 20:18:36 +0200werneta(~werneta@mobile-166-176-59-138.mycingular.net) (Ping timeout: 244 seconds)
2021-05-29 20:18:41 +0200 <siraben> it's like in mathematical logic, you can add more and more terms and equations for your logical theory, which possibly constrains the number of models that satisfy that theory
2021-05-29 20:19:28 +0200Guest997(~Guest9@103.240.169.6)
2021-05-29 20:19:37 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-05-29 20:20:08 +0200ku(~ku@2601:280:c780:7ea0:a9c5:d391:6107:54ae)
2021-05-29 20:20:37 +0200kus(~ku@2601:280:c780:7ea0:4047:2728:61af:6d22)
2021-05-29 20:21:16 +0200 <Bartosz> I'm just wondering if the use of GADTs is considered "tagging" the result. My understanding is that GADT tags are only used by the typechecker.
2021-05-29 20:21:18 +0200ddellacosta(~ddellacos@89.46.62.108) (Ping timeout: 264 seconds)
2021-05-29 20:22:32 +0200dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2021-05-29 20:23:13 +0200talismanick(~user@2601:644:8502:d700::94c9) (Ping timeout: 272 seconds)
2021-05-29 20:23:37 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds)
2021-05-29 20:23:52 +0200 <shiraeeshi> siraben: why did you create GADTs like that? How about something like this (it's not even a GADT, just a regular data):
2021-05-29 20:23:55 +0200 <shiraeeshi> data Exp where Add {a :: Exp, b :: Exp}; Mult {a :: Exp, b :: Exp}
2021-05-29 20:24:02 +0200Guest997(~Guest9@103.240.169.6) (Ping timeout: 245 seconds)
2021-05-29 20:24:08 +0200 <siraben> the point is that you can extend it post-hoc
2021-05-29 20:24:12 +0200 <siraben> without recompiling old code
2021-05-29 20:24:18 +0200 <siraben> the tagless-final paper talks about this
2021-05-29 20:24:27 +0200ku(~ku@2601:280:c780:7ea0:a9c5:d391:6107:54ae) (Ping timeout: 245 seconds)
2021-05-29 20:24:46 +0200 <siraben> if you added a new case to Exp, then you'd have to go along everywhere you destructed an Exp and handle the new case
2021-05-29 20:25:02 +0200 <siraben> with this, the old code that uses values of type (ExpSYM a) => a stay as such
2021-05-29 20:25:08 +0200 <siraben> with tagless-final*
2021-05-29 20:25:16 +0200 <Bartosz> You either need a parameterized data type or a GADT to handle Int and Bool expressions
2021-05-29 20:25:23 +0200 <siraben> and new code can freely combine it with MulSYM
2021-05-29 20:25:35 +0200 <siraben> Right, another alternative is to use parametrization over a functor, say
2021-05-29 20:25:52 +0200 <siraben> data Exp f a where Add :: Exp (f Int) → Exp (f Int)
2021-05-29 20:25:55 +0200beka(~beka@104.193.170-254.PUBLIC.monkeybrains.net)
2021-05-29 20:26:00 +0200 <siraben> Add :: Exp (f Int) → Exp (f Int) → Exp (f Int)
2021-05-29 20:26:07 +0200 <siraben> no idea if it will work, just a thought
2021-05-29 20:26:50 +0200 <siraben> Bartosz: the paper also talks about disadvantages of tagless-final, including things like deforestation and fusion are not so well studied (and I believe GHC is not going to do such things, so you'll incur quite a bit of penalty if you finally encode everything)
2021-05-29 20:27:25 +0200 <Bartosz> I think the idea is that you can have an "extensible GADT" if you define a parameterized data type and separately a bunch of smart constructors. If you combine these smart constructors into a GADT, you lose extensibility.
2021-05-29 20:27:44 +0200 <siraben> here's a blog post I wrote that uses tagless final to express an AST for a language that can be re-interpreted under different contexts (models) https://siraben.github.io/2020/02/26/translating_cl.html
2021-05-29 20:28:07 +0200 <siraben> Bartosz: right, another one is allowing reinterpretation of an AST just by type hints
2021-05-29 20:28:11 +0200kus(~ku@2601:280:c780:7ea0:4047:2728:61af:6d22) (Quit: Leaving)
2021-05-29 20:28:21 +0200 <siraben> if you have instance ExpSYM Int, then eval just becomes id @Int
2021-05-29 20:28:29 +0200ku(~ku@2601:280:c780:7ea0:4047:2728:61af:6d22)
2021-05-29 20:29:19 +0200pavonia(~user@user/siracusa)
2021-05-29 20:30:17 +0200 <Bartosz> Another question: what's the meaning of initial and final for these EDSLs? What is it that's initial or final?
2021-05-29 20:30:18 +0200myShoggoth(~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds)
2021-05-29 20:30:53 +0200 <dminuoso> http://okmij.org/ftp/tagless-final/course/lecture.pdf covers these terms right in the introduction
2021-05-29 20:31:14 +0200 <siraben> Yep, that's the paper
2021-05-29 20:31:21 +0200 <siraben> Bartosz: I highly suggest that pdf link, it's very readable
2021-05-29 20:31:32 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 245 seconds)
2021-05-29 20:31:57 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-29 20:32:01 +0200 <Bartosz> Thanks. I think I've seen it before, but already forgot.
2021-05-29 20:32:27 +0200bfrk(~Thunderbi@200116b8456a1f00d8d08c49fac857df.dip.versatel-1u1.de)
2021-05-29 20:32:32 +0200 <dminuoso> Bartosz: Also "Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed language" by Carette, Kiselyov and Shan.
2021-05-29 20:32:55 +0200 <dminuoso> Which is the original paper I think
2021-05-29 20:33:01 +0200 <Bartosz> Yes, I've seen it.
2021-05-29 20:33:26 +0200ddellacosta(~ddellacos@86.106.121.74)
2021-05-29 20:33:28 +0200 <Bartosz> Unfortunatley it's in ML
2021-05-29 20:35:15 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-29 20:35:33 +0200 <Bartosz> I guess the key is that a data constructor is a function, but a function is not necessarily a data constructor.
2021-05-29 20:35:37 +0200 <dminuoso> Bartosz: Reading some other parts, I think the word "final" is very informal and carries no exact notion. A relationship to "initial" from category theory is possible.
2021-05-29 20:36:01 +0200 <dminuoso> But Oleg seems to not elaborate on it very much
2021-05-29 20:37:07 +0200jco(~jco@c83-248-173-38.bredband.tele2.se)
2021-05-29 20:37:36 +0200 <Bartosz> It could be that initial means the language you're embedding; and final, the language you're embedding it into (like Haskell, in this case, or ML).
2021-05-29 20:37:56 +0200 <dminuoso> Well in the original paper Oleg says:
2021-05-29 20:38:01 +0200ddellacosta(~ddellacos@86.106.121.74) (Ping timeout: 268 seconds)
2021-05-29 20:38:04 +0200 <dminuoso> (Or presumably Oleg does)
2021-05-29 20:38:24 +0200boxscape(~boxscape@user/boxscape)
2021-05-29 20:38:32 +0200 <dminuoso> "We call this approach final (in contrast to initial), because we represent each object term not by its abstract syntax but by its denotation in a semantic algebra."
2021-05-29 20:40:59 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-29 20:44:50 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-05-29 20:45:28 +0200ixlun(~user@109.249.184.235) (Ping timeout: 244 seconds)
2021-05-29 20:45:44 +0200Gjestefest(~Gjestefes@81.191.174.68)
2021-05-29 20:46:22 +0200Gjestefest(~Gjestefes@81.191.174.68) ()
2021-05-29 20:47:53 +0200favonia(~favonia@user/favonia) (Ping timeout: 268 seconds)
2021-05-29 20:50:17 +0200lu(~lu@user/lu) (Ping timeout: 245 seconds)
2021-05-29 20:51:04 +0200 <Bartosz> I think I see it. It's like defining a list: you can define it as a recursive data type, or you can say it's a higher order function (fold) that maps an algebra to a value.
2021-05-29 20:51:23 +0200 <dminuoso> I guess
2021-05-29 20:52:02 +0200ddellacosta(~ddellacos@86.106.121.30)
2021-05-29 20:52:08 +0200ski. o O ( `mu r. ..r.. = forall r. (..r.. -> r) -> r' )
2021-05-29 20:52:21 +0200tehStickMan(~tehStickM@37.98.248.234)
2021-05-29 20:52:25 +0200tehStickMan(~tehStickM@37.98.248.234) (K-Lined)
2021-05-29 20:52:41 +0200 <Bartosz> He even compares interpreting to folding
2021-05-29 20:53:04 +0200 <Bartosz> Yes, exactly
2021-05-29 20:54:23 +0200 <Bartosz> Something called Bohm Baraducci representation?
2021-05-29 20:55:24 +0200 <shachaf> You can define data types as their folds, or codata types (I guess people would say) as their unfolds.
2021-05-29 20:56:19 +0200ddellacosta(~ddellacos@86.106.121.30) (Ping timeout: 244 seconds)
2021-05-29 20:56:26 +0200taeaad(~taeaad@user/taeaad) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-29 20:57:04 +0200ski. o O ( `nu s. ..s.. = exists s. (s,s -> ..s..)' )
2021-05-29 20:57:24 +0200favonia(~favonia@user/favonia)
2021-05-29 20:57:29 +0200Guest31_(~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net)
2021-05-29 20:57:36 +0200taeaad(~taeaad@user/taeaad)
2021-05-29 20:58:40 +0200 <Rembane> The eager pattern matching parts of my brain wants to talk about recursion schemes and mtl, do they fit into these final tagless encodings in some way?
2021-05-29 20:59:10 +0200 <Bartosz> data Mu f = Mu (forall a. Algebra f a -> a)
2021-05-29 20:59:10 +0200 <dminuoso> Rembane: mtl-style is tagless final encoding. :)
2021-05-29 21:00:03 +0200 <Rembane> dminuoso: Sweet! :)
2021-05-29 21:00:08 +0200 <monochrom> Classes like MonadState are examples.
2021-05-29 21:03:10 +0200 <Bartosz> @ski : data Nu f = forall a. Nu (a -> f a, a)
2021-05-29 21:03:10 +0200 <lambdabot> Maybe you meant: wiki src ask
2021-05-29 21:05:22 +0200jneira(~jneira@166.red-81-39-172.dynamicip.rima-tde.net)
2021-05-29 21:05:42 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 245 seconds)
2021-05-29 21:05:45 +0200werneta(~werneta@mobile-166-176-56-255.mycingular.net)
2021-05-29 21:06:16 +0200 <Bartosz> It's called Church/B ̈ohm/Berarducci encoding
2021-05-29 21:08:07 +0200 <Bartosz> Oleg says: the non-extensible final encoding is equivalent to the Church/B ̈ohm/Berarducci encoding of the data type representing the embedded language
2021-05-29 21:09:14 +0200 <Bartosz> But tagless final is more general, because it holds for higher-order typed languages.
2021-05-29 21:10:24 +0200ddellacosta(~ddellacos@86.106.121.117)
2021-05-29 21:11:07 +0200werneta(~werneta@mobile-166-176-56-255.mycingular.net) (Ping timeout: 245 seconds)
2021-05-29 21:14:30 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-dev)
2021-05-29 21:14:52 +0200ddellacosta(~ddellacos@86.106.121.117) (Ping timeout: 245 seconds)
2021-05-29 21:17:58 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e)
2021-05-29 21:18:32 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net)
2021-05-29 21:19:36 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-29 21:20:15 +0200river(~river@tilde.team/user/river) (Quit: Leaving)
2021-05-29 21:23:44 +0200ixlun(~user@109.249.184.235)
2021-05-29 21:23:55 +0200 <dminuoso> glguy: By the way, you asked about any rough edges with config-schema. One thing that has been bothering me slightly, is that I have much less ability to attach information for documentation purposes similarly to how I can mappend into an option in optparse-applicative
2021-05-29 21:26:13 +0200 <dminuoso> For example, I'd like to do something like `describe "Launch a nuclear missile, stopping the peace" (atomSpec "launchMissile" $> CmdLaunchMissile) <!> describe "Go to sleep" (atomSpec "sleep" $> CmdSleep)` to describe what values of an enum could do
2021-05-29 21:27:45 +0200 <shiraeeshi> "We call this approach final (in contrast to initial), because we represent each object term not by its abstract syntax but by its denotation in a semantic algebra."
2021-05-29 21:27:51 +0200 <shiraeeshi> what's final about that?
2021-05-29 21:27:52 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-29 21:28:07 +0200ddellacosta(~ddellacos@89.46.62.44)
2021-05-29 21:28:12 +0200rahguzar(~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Ping timeout: 266 seconds)
2021-05-29 21:28:12 +0200Erutuon(~Erutuon@71-34-10-193.mpls.qwest.net) (Ping timeout: 245 seconds)
2021-05-29 21:28:34 +0200danso(~danso@23-233-111-52.cpe.pppoe.ca)
2021-05-29 21:28:48 +0200 <shiraeeshi> I think I get it: it's just a silly wordplay
2021-05-29 21:31:19 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-29 21:31:32 +0200lavaman(~lavaman@98.38.249.169)
2021-05-29 21:32:29 +0200curiousgay(~AdminUser@178.217.208.8) (Ping timeout: 244 seconds)
2021-05-29 21:32:58 +0200Bartosz(~textual@24.35.90.211)
2021-05-29 21:33:00 +0200werneta(~werneta@mobile-166-176-57-108.mycingular.net)
2021-05-29 21:33:02 +0200ddellacosta(~ddellacos@89.46.62.44) (Ping timeout: 265 seconds)
2021-05-29 21:33:19 +0200kus(~ku@2601:280:c780:7ea0:107b:4384:cef1:a6bd)
2021-05-29 21:35:23 +0200esclear(~esclear@phobos.esclear.de)
2021-05-29 21:35:44 +0200 <zebrag> When we use recursive data types, for that purpose we need our objects to have some set-like properties. Specifically we can speak of the elements because we have an initial object.
2021-05-29 21:36:08 +0200 <zebrag> Hence initial.
2021-05-29 21:36:19 +0200 <zebrag> Just saying.
2021-05-29 21:36:36 +0200ku(~ku@2601:280:c780:7ea0:4047:2728:61af:6d22) (Ping timeout: 268 seconds)
2021-05-29 21:36:49 +0200 <zebrag> I don't even know what paper the quote is from.
2021-05-29 21:38:09 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-05-29 21:39:04 +0200favonia(~favonia@user/favonia) (Ping timeout: 268 seconds)
2021-05-29 21:39:19 +0200 <glguy> dminuoso, Is namedSpec related?
2021-05-29 21:39:40 +0200river(~river@tilde.team/user/river)
2021-05-29 21:40:18 +0200kus(~ku@2601:280:c780:7ea0:107b:4384:cef1:a6bd) (Ping timeout: 268 seconds)
2021-05-29 21:40:19 +0200favonia(~favonia@user/favonia)
2021-05-29 21:40:22 +0200xff0x(~xff0x@2001:1a81:5217:e000:c979:fd80:46fd:6afc) (Ping timeout: 264 seconds)
2021-05-29 21:40:52 +0200 <glguy> dminuoso, namedSpec "Launch a missle" (atomSpec "launch" <!> atomSpec "sleep"))
2021-05-29 21:41:11 +0200xff0x(~xff0x@2001:1a81:5217:e000:4218:6218:8e9f:303f)
2021-05-29 21:41:21 +0200 <xerox> is MVar the correct abstraction to send information one-way only between threads?
2021-05-29 21:41:26 +0200unyu(~pyon@user/pyon) (Quit: Fix config.)
2021-05-29 21:42:36 +0200feepo(sid28508@id-28508.brockwell.irccloud.com)
2021-05-29 21:42:42 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-05-29 21:42:49 +0200aman(~aman@user/aman) (Ping timeout: 244 seconds)
2021-05-29 21:42:54 +0200guest0123(~aaron@2601:602:a080:fa0:21da:7ddc:2cc6:a10c) (Ping timeout: 264 seconds)
2021-05-29 21:42:57 +0200 <xerox> I was trying to find something akin a write-only/read-only pair of "channel" ends to avoid messing things up by accident
2021-05-29 21:43:02 +0200 <monochrom> Yes if its blocking behaviour is what you want.
2021-05-29 21:43:36 +0200dustingetz(~textual@pool-173-49-123-198.phlapa.fios.verizon.net)
2021-05-29 21:44:20 +0200dustingetz(~textual@pool-173-49-123-198.phlapa.fios.verizon.net) (Client Quit)
2021-05-29 21:44:22 +0200 <dminuoso> glguy: This is only useful for refactoring them out, but not for attaching a description string to something.
2021-05-29 21:44:27 +0200andreas[m]3(~andreasm]@31.43.233.36)
2021-05-29 21:44:39 +0200andreas[m]3(~andreasm]@31.43.233.36) (K-Lined)
2021-05-29 21:44:51 +0200aman(~aman@user/aman)
2021-05-29 21:45:27 +0200 <dminuoso> In particular to say individual enum values
2021-05-29 21:45:29 +0200 <xerox> the setup is easy to imagine I guess, just like a chess program that talks to a chess engine, on one side there's a UI thread, on the other the one that talks to the engine
2021-05-29 21:46:00 +0200 <xerox> the only blocking I want is a thread waiting on the game engine responses, use them to update the world, and trigger a redraw
2021-05-29 21:46:01 +0200ddellacosta(~ddellacos@86.106.121.108)
2021-05-29 21:46:16 +0200 <glguy> dminuoso, customSpec can do extra text on things, but it's not quite in the right place
2021-05-29 21:46:18 +0200 <dminuoso> glguy: The dimension to add a description string seems to only exist for sections in a SectionsSpec
2021-05-29 21:46:35 +0200 <glguy> generateDocs ( namedSpec "Launch a missle" (customSpec "extra text" (atomSpec "launch") Right <!> atomSpec "sleep")) -- Launch a missle -- extra text `launch` or `sleep`
2021-05-29 21:46:37 +0200 <xerox> all the while the ui should be able to spam the engine with requests
2021-05-29 21:46:55 +0200 <glguy> dminuoso, If you have a design in mind I'm open to ideas
2021-05-29 21:48:12 +0200favonia(~favonia@user/favonia) (Ping timeout: 245 seconds)
2021-05-29 21:48:27 +0200 <monochrom> MVar blocks the sender when full. And it's very easy to be full, just one unread item does it. This may or may not let you spam, depending on how impatiently you mean by "spam".
2021-05-29 21:49:27 +0200 <dminuoso> glguy: Well adding a Text field to each PrimValueSpec other than SectionsSpec seems trivial enough. The main issue is rather how to render this
2021-05-29 21:49:29 +0200 <ski> zebrag : "Specifically we can speak of the elements because we have an initial object." -- huh ? .. did you mean "final"/"terminal" ?
2021-05-29 21:50:12 +0200 <dminuoso> Ill give it some thought and get back to you
2021-05-29 21:50:17 +0200ddellacosta(~ddellacos@86.106.121.108) (Ping timeout: 245 seconds)
2021-05-29 21:50:25 +0200favonia(~favonia@user/favonia)
2021-05-29 21:50:29 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-29 21:53:19 +0200 <zebrag> ski: isn't it the second time at least that I make huge mistakes of that sort?
2021-05-29 21:54:01 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-29 21:54:18 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 265 seconds)
2021-05-29 21:54:52 +0200Artem[m](~artemtype@2001:470:69fc:105::75b)
2021-05-29 21:55:01 +0200 <xerox> monochrom: I'm temped to switch to TChans to avoid the possiblility of the UI getting stuck and be explicit as to who reads and who writes, since the channels are one-way
2021-05-29 21:55:06 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-05-29 21:55:52 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-05-29 21:57:22 +0200 <ski> zebrag, dunno
2021-05-29 21:58:02 +0200 <dminuoso> xerox: A TQueue might be interesting too, since it features flushTQueue
2021-05-29 21:58:19 +0200 <dminuoso> That way whenever you are ready, you can flush the entire buffer of commands - and then decide what to do with it
2021-05-29 21:58:32 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-05-29 21:58:36 +0200 <dminuoso> Gives you the option to perhaps throw some away, merge others
2021-05-29 21:58:37 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds)
2021-05-29 22:01:36 +0200notzmv(~zmv@user/notzmv) (Read error: Connection reset by peer)
2021-05-29 22:02:28 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving)
2021-05-29 22:03:01 +0200ddellacosta(~ddellacos@89.46.62.115)
2021-05-29 22:03:40 +0200hylisper(~yaaic@111.119.208.67) (Quit: Yaaic - Yet another Android IRC client - http://www.yaaic.org)
2021-05-29 22:05:08 +0200notzmv(~zmv@user/notzmv)
2021-05-29 22:05:49 +0200ubert(~Thunderbi@p200300ecdf259d1274882ed522245916.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2021-05-29 22:05:50 +0200ub(~Thunderbi@p548c937f.dip0.t-ipconnect.de)
2021-05-29 22:07:17 +0200mc47(~yecinem@89.246.239.190) (Ping timeout: 272 seconds)
2021-05-29 22:07:28 +0200dcoutts(~duncan@94.186.125.91.dyn.plus.net) (Ping timeout: 264 seconds)
2021-05-29 22:07:50 +0200ddellacosta(~ddellacos@89.46.62.115) (Ping timeout: 265 seconds)
2021-05-29 22:08:05 +0200mc47(~yecinem@89.246.239.190)
2021-05-29 22:08:08 +0200ububert
2021-05-29 22:08:15 +0200ixlun(~user@109.249.184.235) (Remote host closed the connection)
2021-05-29 22:08:53 +0200Jeanne-Kamikaze(~Jeanne-Ka@192.252.212.4)
2021-05-29 22:09:49 +0200haskman(~haskman@223.190.19.0) (Quit: Going to sleep. ZZZzzz…)
2021-05-29 22:11:59 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-05-29 22:14:18 +0200ggole(~ggole@2001:8003:8119:7200:5512:f869:3799:bae7) (Quit: Leaving)
2021-05-29 22:14:31 +0200Guest31_(~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-29 22:19:31 +0200Jeanne-Kamikaze(~Jeanne-Ka@192.252.212.4) (Quit: Leaving)
2021-05-29 22:20:25 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-05-29 22:21:25 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-05-29 22:24:52 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 264 seconds)
2021-05-29 22:29:22 +0200superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4)
2021-05-29 22:31:40 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl)
2021-05-29 22:33:07 +0200reumeth(~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab)
2021-05-29 22:33:35 +0200Dynom(~niels@80-114-12-206.cable.dynamic.v4.ziggo.nl) (Quit: WeeChat 3.1)
2021-05-29 22:33:56 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 265 seconds)
2021-05-29 22:36:35 +0200DASPRiD18(~DASPRiD@49.229.47.136)
2021-05-29 22:36:47 +0200DASPRiD18(~DASPRiD@49.229.47.136) (K-Lined)
2021-05-29 22:37:01 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4) (Quit: my macbook has gone to sleep zzz)
2021-05-29 22:38:00 +0200ddellacosta(~ddellacos@89.46.62.109)
2021-05-29 22:39:30 +0200favonia(~favonia@user/favonia) (Ping timeout: 268 seconds)
2021-05-29 22:39:55 +0200favonia(~favonia@user/favonia)
2021-05-29 22:41:08 +0200mc47(~yecinem@89.246.239.190) (Quit: Leaving)
2021-05-29 22:42:54 +0200ddellacosta(~ddellacos@89.46.62.109) (Ping timeout: 264 seconds)
2021-05-29 22:44:22 +0200xkapastelabcdefrs
2021-05-29 22:44:35 +0200abcdefrsxkapastel
2021-05-29 22:45:42 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-29 22:46:22 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 244 seconds)
2021-05-29 22:46:23 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 252 seconds)
2021-05-29 22:46:33 +0200AkechiShiro(~licht@user/akechishiro) (Ping timeout: 272 seconds)
2021-05-29 22:46:54 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2021-05-29 22:47:10 +0200AkechiShiro(~licht@user/akechishiro)
2021-05-29 22:48:02 +0200curiousgay(~AdminUser@178.217.208.8)
2021-05-29 22:48:24 +0200meltedbrain_y2k(~tekserf@45.83.220.218)
2021-05-29 22:55:51 +0200v01d4lph4(~v01d4lph4@122.161.239.36)
2021-05-29 22:55:51 +0200v01d4lph4(~v01d4lph4@122.161.239.36) (Changing host)
2021-05-29 22:55:51 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-05-29 22:56:55 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-05-29 22:56:57 +0200jco(~jco@c83-248-173-38.bredband.tele2.se) (Ping timeout: 245 seconds)
2021-05-29 22:57:24 +0200aman(~aman@user/aman) (Quit: aman)
2021-05-29 23:01:03 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-05-29 23:01:20 +0200LukeHoersten(~LukeHoers@user/lukehoersten)
2021-05-29 23:01:37 +0200psydroid(~psydroidm@2001:470:69fc:105::165) (Changing host)
2021-05-29 23:01:37 +0200psydroid(~psydroidm@user/psydroid)
2021-05-29 23:01:42 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-05-29 23:01:48 +0200r0ku-M(~r0ku-M@46.149.184.12)
2021-05-29 23:01:52 +0200r0ku-M(~r0ku-M@46.149.184.12) (K-Lined)
2021-05-29 23:02:13 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-05-29 23:04:52 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-05-29 23:06:57 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 245 seconds)
2021-05-29 23:08:29 +0200favonia(~favonia@user/favonia) (Ping timeout: 268 seconds)
2021-05-29 23:11:42 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-05-29 23:11:49 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4) (Remote host closed the connection)
2021-05-29 23:11:49 +0200coot(~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-29 23:14:02 +0200reumeth(~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab) (Ping timeout: 268 seconds)
2021-05-29 23:16:49 +0200 <hololeap> I just want to get a quick poll, when writing code, do you stay strictly below the 80 char limit on lines?
2021-05-29 23:17:25 +0200 <geekosaur> for code intended for distribution, yes. for my own stuff, not necessarily
2021-05-29 23:17:39 +0200rahguzar(~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it)
2021-05-29 23:18:01 +0200favonia(~favonia@user/favonia)
2021-05-29 23:18:04 +0200Bartosz(~textual@24.35.90.211)
2021-05-29 23:18:47 +0200psydroidpsydroid[m]
2021-05-29 23:19:14 +0200 <dminuoso> Nope. My measure is half a screen on my 27" WQHD screen with the font size Im comfortable with. :p
2021-05-29 23:19:31 +0200 <dminuoso> Since that's usually the size of my emacs
2021-05-29 23:19:58 +0200 <Bartosz> zebrag : you mean terminal object.
2021-05-29 23:20:00 +0200 <davean> hololeap: absolutely not
2021-05-29 23:20:02 +0200psydroid[m]psydroid
2021-05-29 23:20:06 +0200 <yushyin> 80 is more of a soft limit to me, and 120 a hard limit.
2021-05-29 23:20:16 +0200 <boxscape> ^
2021-05-29 23:20:30 +0200 <hololeap> interesting. it seems kind of antiquated, but I still get kinda OCD about it for no real reason. I'm thinking about moving my word wrap marker to something higher
2021-05-29 23:20:33 +0200 <Rembane> I use what Brittany uses
2021-05-29 23:20:47 +0200 <hololeap> 80 just seems kind of rediculous at times
2021-05-29 23:21:00 +0200 <davean> 80 char limits is a joke IMO
2021-05-29 23:21:02 +0200 <dminuoso> hololeap: My code frequently looks like cabal, with long identifiers often.
2021-05-29 23:21:03 +0200 <boxscape> for comments I do 79 without exceptions
2021-05-29 23:21:05 +0200 <ski> hololeap : yes. and if i'm using pages, i often try to keep them at most sixtysix lines
2021-05-29 23:21:13 +0200 <dminuoso> 80 characters would be limiting
2021-05-29 23:21:18 +0200ikex(~ash@user/ikex) (Ping timeout: 264 seconds)
2021-05-29 23:21:38 +0200 <boxscape> (well, one exception: having a URL in a comment that's > 79 characters)
2021-05-29 23:21:49 +0200 <ski> (yes)
2021-05-29 23:23:02 +0200 <boxscape> is 66 lines a widely accepted limit as well?
2021-05-29 23:23:08 +0200 <superstar64> hololeap, i don't use a limit
2021-05-29 23:23:19 +0200 <geekosaur> I don't see much use of pages as such any more
2021-05-29 23:23:23 +0200pfurla_(~pfurla@183.15.195.173.client.static.strong-in52.as13926.net)
2021-05-29 23:23:33 +0200 <geekosaur> they kinda went away when line printers did
2021-05-29 23:23:39 +0200 <superstar64> i just let my text editor do line wrapping when they get too big
2021-05-29 23:24:24 +0200 <[exa]> hololeap: I'm doing the same purposefully, reading and navigating long code lines is super bad
2021-05-29 23:24:29 +0200 <ski> boxscape : "Pagination" section of Riastradh's <https://mumble.net/~campbell/scheme/style.txt> mentions it
2021-05-29 23:24:39 +0200 <boxscape> I see, thanks
2021-05-29 23:24:42 +0200 <dminuoso> geekosaur: what is `pages`?
2021-05-29 23:25:15 +0200 <ski> the subdivisions of a file by form feeds
2021-05-29 23:25:25 +0200 <dminuoso> Mmm
2021-05-29 23:25:25 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-05-29 23:25:59 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-29 23:26:31 +0200 <Athas> Any suggestions for tweaking the GHC GC for throughput? I don't care about latency. Currently I have '-A4m -qg1 -N', which seems to work OK. Actually surprised that parallel GC is now a (small) improvement; it didn't use to be.
2021-05-29 23:27:00 +0200myShoggoth(~myShoggot@97-120-89-117.ptld.qwest.net)
2021-05-29 23:27:36 +0200curiousgay(~AdminUser@178.217.208.8) (Ping timeout: 268 seconds)
2021-05-29 23:28:01 +0200 <[exa]> hololeap: btw one reason for breaking long stuff is that you can more easily see the structure and (non-)complexity of the expression if it's easy to see the starts of sub-expressions
2021-05-29 23:28:29 +0200 <[exa]> wow ^L is new
2021-05-29 23:28:42 +0200 <geekosaur> not for some of us :)
2021-05-29 23:28:55 +0200 <geekosaur> or escape sequence \f
2021-05-29 23:28:59 +0200 <hololeap> [exa]: yeah I like to break up my type signatures when possible (aka when it doesn't look stupid)
2021-05-29 23:29:43 +0200 <hololeap> Athas: I read something recently where a company figured out how to get some massive throughput with GHC. I'll see if I can find it
2021-05-29 23:30:10 +0200involans(~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 264 seconds)
2021-05-29 23:30:57 +0200 <geekosaur> at one point dons had a program that would try various combinations of (compile time and I think run time) options to get the fastest program. it's massively bitrotted of course at this point
2021-05-29 23:31:33 +0200 <davean> Athas: parallel gc benefits are entirely dataset dependent
2021-05-29 23:32:42 +0200 <Athas> davean: sure, but I recall it previously being a net negative for my workload.
2021-05-29 23:32:47 +0200chomwitt(~Pitsikoko@athedsl-20549.home.otenet.gr)
2021-05-29 23:32:52 +0200 <Athas> Of course I have upgraded both my machine and GHC since then.
2021-05-29 23:32:58 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2021-05-29 23:33:22 +0200ddellacosta(~ddellacos@86.106.121.17)
2021-05-29 23:34:55 +0200involans(~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net)
2021-05-29 23:35:51 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-05-29 23:35:57 +0200MaximA-t(~MaximA-t@14.39.157.53)
2021-05-29 23:36:00 +0200MaximA-t(~MaximA-t@14.39.157.53) (K-Lined)
2021-05-29 23:36:23 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2021-05-29 23:38:05 +0200amahl(~amahl@dxv5skyh5dhdp0ngh76yy-3.rev.dnainternet.fi) (Ping timeout: 252 seconds)
2021-05-29 23:38:05 +0200ddellacosta(~ddellacos@86.106.121.17) (Ping timeout: 268 seconds)
2021-05-29 23:38:08 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-29 23:39:19 +0200altern(~Sergii@altern.corbina.com.ua)
2021-05-29 23:40:33 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds)
2021-05-29 23:41:28 +0200 <hololeap> Athas: found it: https://tech.channable.com/posts/2020-04-07-lessons-in-managing-haskell-memory.html
2021-05-29 23:42:25 +0200 <Athas> hololeap: thanks, I'll give it a read.
2021-05-29 23:43:08 +0200 <__monty__> hololeap: Strict 80 here as well. Leaves so much more room on my screen for browsers and whatnot.
2021-05-29 23:43:38 +0200favonia(~favonia@user/favonia) (Ping timeout: 268 seconds)
2021-05-29 23:44:31 +0200 <hololeap> __monty__: that's fair. out of curiosity, what WM do you use?
2021-05-29 23:44:40 +0200 <Athas> I wonder if I could use compact regions, or if that would fly too close to the sun...
2021-05-29 23:45:25 +0200 <__monty__> hololeap: Anything but tiling. I want fixed widths for most of my windows.
2021-05-29 23:45:28 +0200favonia(~favonia@user/favonia)
2021-05-29 23:45:47 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds)
2021-05-29 23:45:51 +0200 <pavonia> Is there no monadic version of foldl for ByteStrings?
2021-05-29 23:46:03 +0200 <hololeap> ok, yeah that's what I was curious about. I've used sway a bit and it was pretty cool, but I keep going back to plasma
2021-05-29 23:46:26 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
2021-05-29 23:47:38 +0200fendor(~fendor@178.165.129.15.wireless.dyn.drei.com) (Remote host closed the connection)
2021-05-29 23:47:49 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-05-29 23:47:54 +0200 <dminuoso> pavonia: You can handroll that trivially
2021-05-29 23:48:07 +0200 <dminuoso> foldlM f z0 xs = foldr c return xs z0 where c x k z = f z x >>= k
2021-05-29 23:48:14 +0200 <hololeap> pavonia: there's also something in mono-traversable
2021-05-29 23:48:17 +0200 <dminuoso> Is the definition of foldlM from base, you can copy that straight
2021-05-29 23:48:54 +0200 <hololeap> https://hackage.haskell.org/package/mono-traversable-1.0.15.1/docs/Data-MonoTraversable.html#v:ofo…
2021-05-29 23:49:27 +0200 <dminuoso> I found that mono-traversable is overkill for "that single function" usually :p
2021-05-29 23:49:37 +0200 <hololeap> fair enough
2021-05-29 23:49:59 +0200 <pavonia> dminuoso: Is that traversing from left to right?
2021-05-29 23:50:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-29 23:50:18 +0200involans(~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 265 seconds)
2021-05-29 23:50:33 +0200 <dminuoso> pavonia: right-associative in effects, left-associative in its output
2021-05-29 23:50:41 +0200 <dminuoso> See https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Foldable.html#v:foldlM
2021-05-29 23:51:12 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-05-29 23:51:20 +0200 <pavonia> After more than 10 years in Haskell, those folds are still confusing me :S
2021-05-29 23:51:57 +0200 <dminuoso> pavonia: the main thing to understand is that foldr/foldl dont fold in different directions
2021-05-29 23:52:19 +0200ddellacosta(~ddellacos@89.46.62.25)
2021-05-29 23:52:37 +0200 <pavonia> Yeah, it depends on the function
2021-05-29 23:52:47 +0200favonia(~favonia@user/favonia) (Ping timeout: 245 seconds)
2021-05-29 23:53:16 +0200 <dminuoso> nope
2021-05-29 23:53:29 +0200 <pavonia> ?
2021-05-29 23:53:40 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-05-29 23:54:20 +0200favonia(~favonia@user/favonia)
2021-05-29 23:54:51 +0200 <davean> pavonia: its the side the parens are placed on
2021-05-29 23:55:01 +0200 <dminuoso> try to imagine a fold as turning your structure into a list [1 2 3 4], and then putting a function between those elements [1 `f` 2 `f` 3 `4`]
2021-05-29 23:55:05 +0200 <davean> pavonia: the fold its self always progresses from the start of the datastrcuture to the end
2021-05-29 23:55:09 +0200 <dminuoso> the difference between foldr and foldr is how this associates
2021-05-29 23:55:11 +0200 <dminuoso> that is whether it becomes
2021-05-29 23:55:26 +0200 <dminuoso> ((1 `f` 2) `f` 3) `f` 4
2021-05-29 23:55:27 +0200 <dminuoso> or
2021-05-29 23:55:41 +0200 <dminuoso> 1 `f` (2 `f` (3 `f` 4))
2021-05-29 23:56:04 +0200 <dminuoso> I indentionally ignored the final element for pedagogic purposes.
2021-05-29 23:56:35 +0200pfurla_(~pfurla@183.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 268 seconds)
2021-05-29 23:57:18 +0200 <pavonia> Well, that basically is reversing the evaluation order, no?
2021-05-29 23:57:18 +0200ddellacosta(~ddellacos@89.46.62.25) (Ping timeout: 264 seconds)
2021-05-29 23:57:25 +0200 <dminuoso> evaluation order? :)
2021-05-29 23:57:31 +0200 <dminuoso> is unspecified in haskell
2021-05-29 23:57:40 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-05-29 23:57:58 +0200 <pavonia> There's only one meaningful way to evaluate those terms
2021-05-29 23:58:09 +0200 <dminuoso> Is there?
2021-05-29 23:58:54 +0200 <dminuoso> Let's make two real examples:
2021-05-29 23:58:54 +0200smatting(~stefan@p200300cd7715d60001a96e63c195d7c7.dip0.t-ipconnect.de)
2021-05-29 23:59:04 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-29 23:59:13 +0200 <dminuoso> foldr f z [1,2,3,4] = 1 `f` (2 `f` (3 `f` (4 `f` z)))