IRCBrowse

2020/10/31

2020-10-31 00:00:28 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 00:02:45 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds)
2020-10-31 00:03:32 +0100 <crucify_me> correction on line 4 of evaluation https://termbin.com/5r6r (guessing at this point)
2020-10-31 00:04:16 +0100vicfred_(~vicfred@unaffiliated/vicfred)
2020-10-31 00:06:34 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-31 00:07:12 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-31 00:07:21 +0100vicfred(~vicfred@unaffiliated/vicfred) (Ping timeout: 268 seconds)
2020-10-31 00:07:43 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a)
2020-10-31 00:08:10 +0100chaosmasttter(~chaosmast@p200300c4a70a4101f96c699b406ffa93.dip0.t-ipconnect.de)
2020-10-31 00:08:11 +0100motte(~weechat@unaffiliated/motte) (Quit: WeeChat 1.9.1)
2020-10-31 00:09:10 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 00:09:31 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-10-31 00:09:58 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a) (Client Quit)
2020-10-31 00:11:52 +0100kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-31 00:13:56 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-10-31 00:14:20 +0100christo(~chris@81.96.113.213)
2020-10-31 00:14:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 00:15:21 +0100thir(~thir@pd9e1bd8a.dip0.t-ipconnect.de)
2020-10-31 00:17:44 +0100christo(~chris@81.96.113.213) (Read error: Connection reset by peer)
2020-10-31 00:17:48 +0100christo_(~chris@81.96.113.213)
2020-10-31 00:18:39 +0100hackagelentil 1.4.0.0 - frugal issue tracker https://hackage.haskell.org/package/lentil-1.4.0.0 (fffaaa)
2020-10-31 00:19:13 +0100zoran119_(~zoran119@124-169-22-52.dyn.iinet.net.au) (Read error: Connection reset by peer)
2020-10-31 00:19:40 +0100sam___(~sam@210.166.185.81.rev.sfr.net) (Ping timeout: 258 seconds)
2020-10-31 00:19:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-31 00:20:08 +0100thir(~thir@pd9e1bd8a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-31 00:20:08 +0100bennofs1(~benno@dslb-188-106-225-242.188.106.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2020-10-31 00:21:44 +0100nados(~dan@69-165-210-185.cable.teksavvy.com) (Ping timeout: 240 seconds)
2020-10-31 00:26:49 +0100Tario(~Tario@200.119.187.214) (Ping timeout: 260 seconds)
2020-10-31 00:27:06 +0100Tario(~Tario@201.204.63.11)
2020-10-31 00:30:10 +0100son0p(~son0p@181.136.122.143) (Quit: Lost terminal)
2020-10-31 00:31:43 +0100hoppfull(55e07432@c-3274e055.19-9-64736c10.bbcust.telenor.se)
2020-10-31 00:31:58 +0100quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-31 00:33:37 +0100justsomeguy(~justsomeg@216.186.218.241)
2020-10-31 00:33:37 +0100justsomeguy(~justsomeg@216.186.218.241) (Changing host)
2020-10-31 00:33:37 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-10-31 00:33:59 +0100quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
2020-10-31 00:34:34 +0100BluePass(~BluePass@195.206.169.184)
2020-10-31 00:37:42 +0100fendor(~fendor@77.119.131.209.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-31 00:38:40 +0100 <jbox> what should I do if I keep getting errors like "error while loading shared libraries: libHSxmonad-0.15-2PS2yVgZEOJ5LumuexxAMV-ghc8.10.2.so: cannot open shared object file: No such file or directory"
2020-10-31 00:39:00 +0100 <jbox> I've installed xmonad and xmonad-contrib with cabal
2020-10-31 00:39:21 +0100bgamari_(~bgamari@72.65.102.83)
2020-10-31 00:39:44 +0100bgamari(~bgamari@72.65.123.7) (Ping timeout: 240 seconds)
2020-10-31 00:40:25 +0100 <jbox> also, for some reason, I don't have ghc-pkg installed
2020-10-31 00:42:36 +0100 <jbox> oops, disregard my last
2020-10-31 00:43:46 +0100 <jbox> /usr/bin/ghc-pkg: line 11: /usr/lib/ghc-8.10.2/bin/ghc-pkg: No such file or directory
2020-10-31 00:43:49 +0100 <jbox> I'm so stumped
2020-10-31 00:44:35 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-31 00:46:02 +0100 <infinisil> Well personally I'd try installing xmonad with Nix
2020-10-31 00:46:17 +0100bennofs1(~benno@dslb-188-106-225-242.188.106.pools.vodafone-ip.de)
2020-10-31 00:46:27 +0100nineonine(~textual@216-19-190-182.dyn.novuscom.net)
2020-10-31 00:46:28 +0100 <infinisil> Works on any distro, and pretty much guarantees no dynamic linker errors ever
2020-10-31 00:46:54 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-31 00:46:54 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a)
2020-10-31 00:47:13 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-31 00:47:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 00:47:41 +0100 <hoppfull> I'm starting an SDL2 window and I want to be able to interact with my program in ghci while it's running. Since SDL2 is a foreign C library with state, I suspect I need to start the application with forkOS and use an MVar to communicate with it. If anyone has experience with this and any bells are ringing like "oh don
2020-10-31 00:47:41 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-31 00:47:53 +0100nineonine(~textual@216-19-190-182.dyn.novuscom.net) (Client Quit)
2020-10-31 00:48:00 +0100 <hoppfull> I'm starting an SDL2 window and I want to be able to interact with my program in ghci while it's running. Since SDL2 is a foreign C library with state, I suspect I need to start the application with forkOS and use an MVar to communicate with it. If anyone has experience with this and any bells are ringing like "oh don't forget to say your name
2020-10-31 00:48:00 +0100 <hoppfull> backwards" or something, please tell me
2020-10-31 00:48:58 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-31 00:49:36 +0100chele(~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-10-31 00:49:48 +0100 <hoppfull> sorry, that was formulated kind of rude, I didn't mean that you have to tell me, I'm just curious if anyone knows anything about this since it seems quite subtle
2020-10-31 00:49:58 +0100nineonine(~textual@216-19-190-182.dyn.novuscom.net)
2020-10-31 00:50:50 +0100HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2020-10-31 00:51:36 +0100nineonine(~textual@216-19-190-182.dyn.novuscom.net) (Client Quit)
2020-10-31 00:51:39 +0100 <hoppfull> Does a thread disappear after it has run its course? Or do I have to manually clean it up?
2020-10-31 00:53:11 +0100christo_(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 00:53:29 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-10-31 00:54:13 +0100jespada(~jespada@90.254.243.98) (Ping timeout: 268 seconds)
2020-10-31 00:54:20 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 272 seconds)
2020-10-31 00:54:41 +0100 <ghoulguy> A GHC thread from forkIO doesn't need to be cleaned up. Once the ThreadId gets GC'd and the thread as completed it's done
2020-10-31 00:54:51 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-zyompbzjqpnqanhg)
2020-10-31 00:55:41 +0100 <hoppfull> ghoulguy: thanks, I'm using forkOS though, I'm guessing it's the same
2020-10-31 00:55:48 +0100 <ghoulguy> yeah, same deal
2020-10-31 00:55:52 +0100 <hoppfull> cool
2020-10-31 00:56:22 +0100jespada(~jespada@90.254.243.98)
2020-10-31 00:56:35 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-31 01:00:01 +0100BluePass(~BluePass@195.206.169.184) ()
2020-10-31 01:03:34 +0100Codaraxis(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection)
2020-10-31 01:03:59 +0100Codaraxis(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-10-31 01:11:53 +0100m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 256 seconds)
2020-10-31 01:12:24 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a)
2020-10-31 01:12:42 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2020-10-31 01:12:48 +0100elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2020-10-31 01:13:07 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-10-31 01:15:39 +0100hackagerecursion 2.2.4.3 - A recursion schemes library for Haskell. https://hackage.haskell.org/package/recursion-2.2.4.3 (vmchale)
2020-10-31 01:15:51 +0100machinedgod(~machinedg@24.105.81.50)
2020-10-31 01:16:06 +0100bennofs1(~benno@dslb-188-106-225-242.188.106.pools.vodafone-ip.de) (Quit: WeeChat 2.9)
2020-10-31 01:18:18 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-31 01:19:13 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-31 01:19:50 +0100 <jbox> I managed to fix the missing library
2020-10-31 01:20:05 +0100 <jbox> now I just need to fix where it can't find the XMonad lib
2020-10-31 01:20:11 +0100 <jbox> it errors on `import XMonad`
2020-10-31 01:22:05 +0100chaosmasttter(~chaosmast@p200300c4a70a4101f96c699b406ffa93.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-31 01:22:14 +0100argent0(~argent0@168.227.96.4)
2020-10-31 01:22:28 +0100 <jbox> sike, the library is still missing
2020-10-31 01:22:32 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-10-31 01:22:59 +0100Jeanne-Kamikaze(~Jeanne-Ka@68.235.43.150)
2020-10-31 01:23:19 +0100Codaraxis(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection)
2020-10-31 01:23:24 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 240 seconds)
2020-10-31 01:23:45 +0100Codaraxis(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-10-31 01:25:35 +0100FreeBirdLjj(~freebirdl@101.228.42.108) (Remote host closed the connection)
2020-10-31 01:26:12 +0100 <infinisil> Again, would be pretty easy to have that work with Nix, just sayin!
2020-10-31 01:26:21 +0100FreeBirdLjj(~freebirdl@101.228.42.108)
2020-10-31 01:27:34 +0100nineonine(~textual@216-19-190-182.dyn.novuscom.net)
2020-10-31 01:27:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-31 01:27:57 +0100 <sm[m]> jbox: often it's something like: need to prefix your command with "cabal exec --". Xmonad project should be explaining this stuff
2020-10-31 01:28:29 +0100 <yushyin> I'm pretty sure, cabal install xmonad works just as good, but _using_ the library with cabal v2-* is another matter
2020-10-31 01:28:59 +0100 <jbox> I'm running into different kinds of issues, so I'm not sure where I am in the "stack" persay. I don't know if it's an xmonad issue or a haskell issue
2020-10-31 01:29:36 +0100nineonine(~textual@216-19-190-182.dyn.novuscom.net) (Client Quit)
2020-10-31 01:29:51 +0100hoppfull(55e07432@c-3274e055.19-9-64736c10.bbcust.telenor.se) (Remote host closed the connection)
2020-10-31 01:31:50 +0100FreeBirdLjj(~freebirdl@101.228.42.108) (Ping timeout: 264 seconds)
2020-10-31 01:31:52 +0100 <sm[m]> jbox: understandable. It sounds like a typical 2020 Haskell tooling/packaging gotcha, and it's something the xmonad project should be explaining/supporting since it's really common. Just saying, nothing wrong with your question
2020-10-31 01:32:06 +0100 <jbox> sm[m]: thank you :)
2020-10-31 01:32:42 +0100 <jbox> I'm very thankful to be getting help in here and I hope I'm not being too annoying with my noob questions. I'd have given up if I didn't have all this help haha
2020-10-31 01:32:46 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-31 01:32:53 +0100 <yushyin> https://github.com/xmonad/xmonad/issues/199#issuecomment-609433196 maybe relevant?
2020-10-31 01:34:23 +0100 <yushyin> I think so
2020-10-31 01:34:35 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-31 01:35:29 +0100 <sm[m]> lord.. I knew about cabal v1 and v2, what's v3 ?
2020-10-31 01:35:40 +0100crucify_mecrestfallen
2020-10-31 01:35:49 +0100jbox(~atlas@unaffiliated/jbox) (Quit: going home for the day o/)
2020-10-31 01:35:53 +0100LKoen(~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-10-31 01:36:33 +0100 <crestfallen> hi another attempt: please critique the evaluation of the 'bb' program here. thanks: https://termbin.com/2b34
2020-10-31 01:36:33 +0100 <yushyin> sm[m]: I think they meant cabal-install v3.x
2020-10-31 01:36:38 +0100 <yushyin> ^^
2020-10-31 01:36:55 +0100 <sm[m]> I guess so
2020-10-31 01:37:25 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2020-10-31 01:40:07 +0100 <yushyin> and yes, the xmonad project really should explain how to use xmonad with cabal v2-* oO
2020-10-31 01:41:26 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds)
2020-10-31 01:42:36 +0100jedws(~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-31 01:44:44 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9)
2020-10-31 01:48:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 01:48:54 +0100 <crestfallen> man I think I was barred from the chatroom. sorry folks for any over-reliance on you.
2020-10-31 01:49:39 +0100Codaraxis(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection)
2020-10-31 01:49:49 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 01:49:54 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 01:51:20 +0100Codaraxis(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-10-31 01:53:38 +0100 <DigitalKiWicked> wat
2020-10-31 01:54:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-31 01:54:04 +0100Codaraxis(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection)
2020-10-31 01:55:22 +0100codygman(~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer)
2020-10-31 01:55:35 +0100codygman(~codygman@47-184-107-46.dlls.tx.frontiernet.net)
2020-10-31 01:56:40 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-31 02:01:26 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 268 seconds)
2020-10-31 02:02:53 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-31 02:03:27 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Quit: hekkaidekapus)
2020-10-31 02:04:24 +0100codygman(~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Ping timeout: 240 seconds)
2020-10-31 02:04:24 +0100andi-(~andi-@NixOS/user/andi-) (Ping timeout: 240 seconds)
2020-10-31 02:04:27 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-31 02:04:59 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-31 02:05:26 +0100argent0(~argent0@168.227.96.4) (Ping timeout: 264 seconds)
2020-10-31 02:05:45 +0100argent0(~argent0@168.227.96.4)
2020-10-31 02:06:05 +0100codygman(~codygman@2600:380:f938:a10f:573f:2468:f5ab:7302)
2020-10-31 02:07:00 +0100codygman(~codygman@2600:380:f938:a10f:573f:2468:f5ab:7302) (Read error: Connection reset by peer)
2020-10-31 02:07:48 +0100codygman(~codygman@47.190.47.120)
2020-10-31 02:07:50 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-31 02:08:10 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-31 02:12:38 +0100codygman(~codygman@47.190.47.120) (Ping timeout: 264 seconds)
2020-10-31 02:12:51 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 02:13:32 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 02:14:21 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 02:15:30 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 02:15:49 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-31 02:15:51 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 02:16:29 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 02:16:52 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-31 02:17:20 +0100codygman(~codygman@47-184-107-46.dlls.tx.frontiernet.net)
2020-10-31 02:17:21 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 02:18:34 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-10-31 02:18:55 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-31 02:19:27 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-31 02:19:54 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 02:20:19 +0100andi-(~andi-@NixOS/user/andi-)
2020-10-31 02:20:25 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-10-31 02:20:34 +0100crestfallen(~john@128.32.176.159) (Quit: Leaving)
2020-10-31 02:20:51 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 02:21:15 +0100Lord_of_Life(~Lord@46.217.218.94)
2020-10-31 02:21:23 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 02:22:21 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 02:22:50 +0100Lord_of_Life_(~Lord@46.217.219.201) (Ping timeout: 264 seconds)
2020-10-31 02:23:22 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 02:23:51 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 02:26:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 02:26:10 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-31 02:26:43 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-10-31 02:26:58 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-31 02:27:06 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 02:27:27 +0100shazow(~shazow@195.140.213.38)
2020-10-31 02:27:45 +0100xiinotulp(~q@ppp-49-237-16-83.revip6.asianet.co.th) (Quit: Leaving)
2020-10-31 02:29:06 +0100Benzi-Junior(~BenziJuni@88-149-67-198.du.xdsl.is) (Max SendQ exceeded)
2020-10-31 02:29:44 +0100Benzi-Junior(~BenziJuni@88-149-67-198.du.xdsl.is)
2020-10-31 02:31:50 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2020-10-31 02:32:52 +0100codygman(~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer)
2020-10-31 02:33:00 +0100codygman(codygman@gateway/vpn/privateinternetaccess/codygman)
2020-10-31 02:36:05 +0100Tario(~Tario@201.204.63.11) (Ping timeout: 260 seconds)
2020-10-31 02:36:35 +0100Licious(~Licious@4e69b241.skybroadband.com) (Ping timeout: 268 seconds)
2020-10-31 02:36:46 +0100Tario(~Tario@200.119.186.173)
2020-10-31 02:40:04 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-31 02:41:51 +0100FreeBirdLjj(~freebirdl@101.228.42.108)
2020-10-31 02:42:22 +0100sw1nn(~sw1nn@2a00:23c6:2385:3a00:11be:8bb9:294d:1e35) (Ping timeout: 260 seconds)
2020-10-31 02:44:22 +0100Ariakenom(~Ariakenom@h-155-4-221-164.NA.cust.bahnhof.se) (Read error: Connection reset by peer)
2020-10-31 02:46:33 +0100FreeBirdLjj(~freebirdl@101.228.42.108) (Ping timeout: 265 seconds)
2020-10-31 02:47:01 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 264 seconds)
2020-10-31 02:47:10 +0100pera(~pera@unaffiliated/pera)
2020-10-31 02:51:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-31 02:51:46 +0100codygman(codygman@gateway/vpn/privateinternetaccess/codygman) (Ping timeout: 246 seconds)
2020-10-31 02:52:50 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds)
2020-10-31 02:53:54 +0100FreeBirdLjj(~freebirdl@101.228.42.108)
2020-10-31 02:53:55 +0100FreeBirdLjj(~freebirdl@101.228.42.108) (Read error: Connection reset by peer)
2020-10-31 02:54:28 +0100pera(~pera@unaffiliated/pera) (Quit: leaving)
2020-10-31 02:54:30 +0100FreeBirdLjj(~freebirdl@101.228.42.108)
2020-10-31 02:55:05 +0100conal(~conal@64.71.133.70)
2020-10-31 02:55:27 +0100sw1nn(~sw1nn@2a00:23c6:2385:3a00:fd2b:5be1:b825:ba91)
2020-10-31 02:56:26 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-31 02:57:44 +0100sajith(~sajith@fsf/member/nonzen) (Quit: Lost terminal)
2020-10-31 02:57:45 +0100jackhill(~jackhill@marsh.hcoop.net) (Read error: Connection reset by peer)
2020-10-31 02:59:01 +0100FreeBirdLjj(~freebirdl@101.228.42.108) (Ping timeout: 264 seconds)
2020-10-31 02:59:04 +0100codygman(~codygman@47-184-107-46.dlls.tx.frontiernet.net)
2020-10-31 02:59:44 +0100sakirious(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2020-10-31 03:00:01 +0100sakirious(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
2020-10-31 03:00:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-31 03:01:26 +0100vicfred_(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-31 03:02:12 +0100alp_(~alp@2a01:e0a:58b:4920:ac3f:7188:7379:b7ad) (Ping timeout: 260 seconds)
2020-10-31 03:03:48 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 03:04:13 +0100mimi_vx(~mimi@tulipan.habr.nat.praha12.net) (Ping timeout: 260 seconds)
2020-10-31 03:04:45 +0100dhil(~dhil@195.213.192.107) (Ping timeout: 240 seconds)
2020-10-31 03:05:44 +0100ColdRush_(~coldrush@4e69b241.skybroadband.com)
2020-10-31 03:17:17 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
2020-10-31 03:17:45 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-31 03:18:05 +0100dhil(~dhil@195.213.192.85)
2020-10-31 03:21:08 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-31 03:23:08 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-31 03:23:52 +0100renzhi(~renzhi@2607:fa49:655f:e600::28da)
2020-10-31 03:24:09 +0100Codaraxis(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-10-31 03:25:50 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2020-10-31 03:26:45 +0100dhil(~dhil@195.213.192.85) (Ping timeout: 240 seconds)
2020-10-31 03:30:08 +0100mimi_vx(~mimi@2a01:490:16:1026:280c:3ca1:5901:7678)
2020-10-31 03:30:28 +0100akad_(~akad@109107030050.radomsko.vectranet.pl) (Ping timeout: 260 seconds)
2020-10-31 03:31:59 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c427:c5ca:d62:565b)
2020-10-31 03:33:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 03:37:45 +0100mbomba(~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca)
2020-10-31 03:38:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-31 03:42:05 +0100texasmynsted(~texasmyns@185.229.59.3) (Remote host closed the connection)
2020-10-31 03:42:05 +0100drbean(~drbean@TC210-63-209-28.static.apol.com.tw)
2020-10-31 03:42:43 +0100texasmynsted(~texasmyns@185.229.59.3)
2020-10-31 03:43:17 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-31 03:48:07 +0100emb(ac3a150b@172.58.21.11)
2020-10-31 03:48:42 +0100texasmynsted(~texasmyns@185.229.59.3) (Ping timeout: 256 seconds)
2020-10-31 03:48:47 +0100 <emb> Any suggestions on the fastest way to become fluent in Haskell?
2020-10-31 03:50:19 +0100 <emb> 📖📚📖📚
2020-10-31 03:50:24 +0100hamishmack(sid389057@gateway/web/irccloud.com/x-ozwasearskoxrztl) (Ping timeout: 240 seconds)
2020-10-31 03:50:24 +0100adius(sid321344@gateway/web/irccloud.com/x-tsjvbmdyswxbltja) (Ping timeout: 240 seconds)
2020-10-31 03:50:57 +0100 <ghoulguy> emb, finding a project your interested in working on
2020-10-31 03:51:02 +0100gluegadget(sid22336@gateway/web/irccloud.com/x-lvckmaknkvyxabnz) (Ping timeout: 264 seconds)
2020-10-31 03:51:02 +0100acertain(sid470584@gateway/web/irccloud.com/x-fisxzvdyqjtaymih) (Ping timeout: 264 seconds)
2020-10-31 03:51:03 +0100 <ghoulguy> you're*
2020-10-31 03:51:04 +0100heyj(sid171370@gateway/web/irccloud.com/x-clcpomavaqzfbrgp) (Ping timeout: 240 seconds)
2020-10-31 03:51:09 +0100rann(sid175221@gateway/web/irccloud.com/x-ncptwvbelgpxvrhv) (Write error: Connection reset by peer)
2020-10-31 03:51:09 +0100mpickering(sid78412@gateway/web/irccloud.com/x-kmcoybooadbmanxe) (Read error: Connection reset by peer)
2020-10-31 03:51:09 +0100simony(sid226116@gateway/web/irccloud.com/x-wfspjvkdvvrjhuut) (Read error: Connection reset by peer)
2020-10-31 03:51:09 +0100joel135(sid136450@gateway/web/irccloud.com/x-pppqazmuonflegfo) (Read error: Connection reset by peer)
2020-10-31 03:51:09 +0100dsturnbull(sid347899@gateway/web/irccloud.com/x-uawwozpxtxtrrqmh) (Read error: Connection reset by peer)
2020-10-31 03:51:09 +0100PoliticsII______(sid193551@gateway/web/irccloud.com/x-ezmkktbpttxccjku) (Write error: Connection reset by peer)
2020-10-31 03:51:12 +0100nick_h(sid319833@gateway/web/irccloud.com/x-qnwqcxnepqhxpufs) (Ping timeout: 268 seconds)
2020-10-31 03:51:20 +0100dmj`(sid72307@gateway/web/irccloud.com/x-rsiipfauoercnqib) (Read error: Connection reset by peer)
2020-10-31 03:51:28 +0100affinespaces(sid327561@gateway/web/irccloud.com/x-ulxjdfowznxqutkz) (Read error: Connection reset by peer)
2020-10-31 03:51:34 +0100 <emb> How do yoi define "project"?
2020-10-31 03:51:41 +0100 <emb> *you
2020-10-31 03:51:52 +0100 <emb> Opensource?
2020-10-31 03:51:55 +0100hamishmack(sid389057@gateway/web/irccloud.com/x-fsqypfxhxngpdcwg)
2020-10-31 03:51:55 +0100joel135(sid136450@gateway/web/irccloud.com/x-zghwohvzvvqakrrc)
2020-10-31 03:51:55 +0100simony(sid226116@gateway/web/irccloud.com/x-oxjsxgaxlozpcnzr)
2020-10-31 03:51:56 +0100gluegadget(sid22336@gateway/web/irccloud.com/x-njxxjgindekwkpai)
2020-10-31 03:51:56 +0100mpickering(sid78412@gateway/web/irccloud.com/x-rlednwxdkvlzgbsb)
2020-10-31 03:51:56 +0100acertain(sid470584@gateway/web/irccloud.com/x-tgfvzorhghscujkl)
2020-10-31 03:51:58 +0100dsturnbull(sid347899@gateway/web/irccloud.com/x-rzjhsxvlzniycmws)
2020-10-31 03:52:00 +0100heyj(sid171370@gateway/web/irccloud.com/x-yspozlqxggxsaoub)
2020-10-31 03:52:02 +0100PoliticsII______(sid193551@gateway/web/irccloud.com/x-sjfdetpracswwaxn)
2020-10-31 03:52:02 +0100Tritlo(sid58727@gateway/web/irccloud.com/x-evfeortnferrsqbc) (Ping timeout: 260 seconds)
2020-10-31 03:52:13 +0100rann(sid175221@gateway/web/irccloud.com/x-cbkhufxlhkwsdype)
2020-10-31 03:52:14 +0100 <ghoulguy> Either a new program that does something you're interested in or modifying one that does something you're interested in
2020-10-31 03:52:14 +0100edwinb(sid69486@gateway/web/irccloud.com/x-scskswtevqzxoxpf) (Ping timeout: 264 seconds)
2020-10-31 03:52:21 +0100adius(sid321344@gateway/web/irccloud.com/x-mcvitqgcgllwejox)
2020-10-31 03:52:43 +0100affinespaces(sid327561@gateway/web/irccloud.com/x-mbamrsiemussquvx)
2020-10-31 03:52:46 +0100dmj`(sid72307@gateway/web/irccloud.com/x-qhzxzmhwnrxmctyu)
2020-10-31 03:52:58 +0100edwinb(sid69486@gateway/web/irccloud.com/x-erjlpgegwzefpuci)
2020-10-31 03:53:03 +0100Firedancer(sid336191@gateway/web/irccloud.com/x-hyzigtsebzrvzmdr) (Ping timeout: 268 seconds)
2020-10-31 03:53:40 +0100Chi1thangoo(~Chi1thang@87.112.60.168) (Ping timeout: 268 seconds)
2020-10-31 03:53:55 +0100Tritlo(sid58727@gateway/web/irccloud.com/x-arbdiqjurckmdrum)
2020-10-31 03:53:58 +0100nick_h(sid319833@gateway/web/irccloud.com/x-hxgnrrrbhgxltptt)
2020-10-31 03:54:00 +0100Firedancer(sid336191@gateway/web/irccloud.com/x-uonzbjjvjjwxnapj)
2020-10-31 03:55:53 +0100aarvar(~foewfoiew@50.35.43.33)
2020-10-31 03:56:39 +0100emb(ac3a150b@172.58.21.11) (Remote host closed the connection)
2020-10-31 03:57:06 +0100emb2(ac3a150b@172.58.21.11)
2020-10-31 03:59:04 +0100xff0x_(~fox@2001:1a81:52d0:1400:272a:7056:8d00:dd17) (Ping timeout: 240 seconds)
2020-10-31 04:00:01 +0100shazow(~shazow@195.140.213.38) ()
2020-10-31 04:01:05 +0100xff0x_(~fox@2001:1a81:5309:6900:c739:a68b:bd50:f0f2)
2020-10-31 04:01:48 +0100jackhill(~jackhill@marsh.hcoop.net)
2020-10-31 04:04:49 +0100conal(~conal@64.71.133.70) (Read error: Connection reset by peer)
2020-10-31 04:05:42 +0100mbomba(~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) (Quit: WeeChat 2.9)
2020-10-31 04:06:06 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 04:06:23 +0100conal(~conal@64.71.133.70)
2020-10-31 04:08:05 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-31 04:08:09 +0100akad_(~akad@109107030050.radomsko.vectranet.pl)
2020-10-31 04:08:15 +0100emb2(ac3a150b@172.58.21.11) (Remote host closed the connection)
2020-10-31 04:09:37 +0100whatisRT(~whatisRT@2002:5b41:6a33:0:f988:5b44:bba9:c342)
2020-10-31 04:09:42 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 268 seconds)
2020-10-31 04:11:17 +0100lagothrixGuest81375
2020-10-31 04:11:17 +0100Guest81375(~lagothrix@unaffiliated/lagothrix) (Killed (cherryh.freenode.net (Nickname regained by services)))
2020-10-31 04:11:23 +0100lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-10-31 04:12:38 +0100macrover(~macrover@ip70-189-231-35.lv.lv.cox.net) (Ping timeout: 264 seconds)
2020-10-31 04:14:33 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds)
2020-10-31 04:14:51 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-31 04:15:03 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-31 04:16:42 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-31 04:17:30 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 04:19:04 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2020-10-31 04:19:34 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2020-10-31 04:20:38 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 04:21:01 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 04:21:11 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2020-10-31 04:21:21 +0100texasmynsted(~texasmyns@185.229.59.3)
2020-10-31 04:22:09 +0100texasmyn_(~texasmyns@185.229.59.3)
2020-10-31 04:22:19 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-31 04:23:23 +0100ech(~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-31 04:24:39 +0100Just(2d309dbf@cpe-45-48-157-191.socal.res.rr.com)
2020-10-31 04:25:50 +0100texasmynsted(~texasmyns@185.229.59.3) (Ping timeout: 264 seconds)
2020-10-31 04:26:02 +0100 <Just> Hi there. I'm trying to get ghcide working with stack. Output for "stack ghc -- --version" says ghc is 8.8.4. It looks like hie only has up to 8.8.3. Should I downgrade stack's ghc version?
2020-10-31 04:26:57 +0100 <ghoulguy> Just, stack's GHC version is selected by the resolver you pick
2020-10-31 04:26:58 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 268 seconds)
2020-10-31 04:30:04 +0100theDon(~td@94.134.91.17) (Ping timeout: 240 seconds)
2020-10-31 04:32:04 +0100theDon(~td@muedsl-82-207-238-061.citykom.de)
2020-10-31 04:32:43 +0100whatisRT(~whatisRT@2002:5b41:6a33:0:f988:5b44:bba9:c342) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-31 04:33:40 +0100ech(~user@gateway/tor-sasl/ech)
2020-10-31 04:33:41 +0100akad_(~akad@109107030050.radomsko.vectranet.pl) (Ping timeout: 260 seconds)
2020-10-31 04:35:18 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-31 04:37:22 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-31 04:40:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-31 04:41:17 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 04:41:40 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 04:41:46 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-10-31 04:45:04 +0100acidjnk_new(~acidjnk@p200300d0c72260940830e3b8f3af47a8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-31 04:46:08 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c427:c5ca:d62:565b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-31 04:49:04 +0100mimi_vx(~mimi@2a01:490:16:1026:280c:3ca1:5901:7678) (Ping timeout: 240 seconds)
2020-10-31 04:49:25 +0100nineonine(~textual@216-19-190-182.dyn.novuscom.net)
2020-10-31 04:49:51 +0100quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in)
2020-10-31 04:50:08 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c427:c5ca:d62:565b)
2020-10-31 04:50:14 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 04:52:36 +0100texasmyn_(~texasmyns@185.229.59.3) (Ping timeout: 258 seconds)
2020-10-31 04:54:20 +0100dwfreed1(~dwfreed@154.13.1.56)
2020-10-31 04:54:48 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-31 04:55:15 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-31 04:55:38 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-31 04:57:43 +0100huluobo(182277ae@c-24-34-119-174.hsd1.ct.comcast.net)
2020-10-31 04:57:54 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-wolcdiinxgeovzoz) (Quit: Connection closed for inactivity)
2020-10-31 04:58:52 +0100quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
2020-10-31 04:59:26 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 264 seconds)
2020-10-31 04:59:44 +0100DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-10-31 04:59:53 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-31 05:01:26 +0100huluobo(182277ae@c-24-34-119-174.hsd1.ct.comcast.net) (Remote host closed the connection)
2020-10-31 05:03:44 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-31 05:04:01 +0100Tario(~Tario@200.119.186.173) (Ping timeout: 260 seconds)
2020-10-31 05:04:14 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2020-10-31 05:04:21 +0100Tario(~Tario@200.119.186.173)
2020-10-31 05:05:13 +0100christo(~chris@81.96.113.213)
2020-10-31 05:05:23 +0100DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-10-31 05:06:02 +0100zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2020-10-31 05:09:10 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-31 05:12:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 05:13:24 +0100zaquest(~notzaques@5.128.210.178)
2020-10-31 05:13:41 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 258 seconds)
2020-10-31 05:14:28 +0100Just(2d309dbf@cpe-45-48-157-191.socal.res.rr.com) (Remote host closed the connection)
2020-10-31 05:17:08 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 05:18:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2020-10-31 05:22:14 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds)
2020-10-31 05:24:56 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2020-10-31 05:25:09 +0100teardown(~user@gateway/tor-sasl/mrush)
2020-10-31 05:26:46 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-31 05:29:33 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 05:31:01 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 246 seconds)
2020-10-31 05:31:59 +0100runeks(sid21167@gateway/web/irccloud.com/x-goodnfpseiwfywis) (Read error: Connection reset by peer)
2020-10-31 05:32:18 +0100runeks(sid21167@gateway/web/irccloud.com/x-kspayncfhjidsext)
2020-10-31 05:32:36 +0100moobar(sid171730@gateway/web/irccloud.com/x-tjgzicifcocmdkpp) (Read error: Connection reset by peer)
2020-10-31 05:32:37 +0100ddellacosta(~dd@86.106.121.168) (Ping timeout: 264 seconds)
2020-10-31 05:32:41 +0100kori(~kori@2804:14c:85a3:9105::1000)
2020-10-31 05:32:41 +0100kori(~kori@2804:14c:85a3:9105::1000) (Changing host)
2020-10-31 05:32:41 +0100kori(~kori@arrowheads/kori)
2020-10-31 05:32:51 +0100moobar(sid171730@gateway/web/irccloud.com/x-rdzoqwqwylvkfave)
2020-10-31 05:34:50 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds)
2020-10-31 05:40:39 +0100peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2020-10-31 05:40:50 +0100pgib(~textual@lmms/pgib) (Ping timeout: 256 seconds)
2020-10-31 05:47:17 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 05:50:34 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 05:50:39 +0100mimi_vx(~mimi@2a01:490:16:1026:280c:3ca1:5901:7678)
2020-10-31 05:55:14 +0100mimi_vx(~mimi@2a01:490:16:1026:280c:3ca1:5901:7678) (Ping timeout: 264 seconds)
2020-10-31 05:55:33 +0100christo(~chris@81.96.113.213)
2020-10-31 05:59:24 +0100Jeanne-Kamikaze(~Jeanne-Ka@68.235.43.150) (Ping timeout: 265 seconds)
2020-10-31 05:59:30 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 06:03:17 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-31 06:04:12 +0100ggole(~ggole@2001:8003:8119:7200:6492:5ce9:dfdc:4cda)
2020-10-31 06:04:24 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 268 seconds)
2020-10-31 06:06:40 +0100_vaibhavingale_(~Adium@203.188.228.9)
2020-10-31 06:07:58 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2020-10-31 06:08:04 +0100peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Read error: Connection reset by peer)
2020-10-31 06:08:55 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 06:09:28 +0100jedws(~jedws@101.184.150.81)
2020-10-31 06:09:36 +0100berberman(~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-31 06:10:22 +0100christo(~chris@81.96.113.213)
2020-10-31 06:10:23 +0100berberman(~berberman@unaffiliated/berberman)
2020-10-31 06:11:51 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 06:16:32 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-31 06:16:50 +0100solonarv(~solonarv@astrasbourg-653-1-117-122.w90-33.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-10-31 06:23:25 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-31 06:24:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2020-10-31 06:28:14 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds)
2020-10-31 06:29:35 +0100mbomba(~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca)
2020-10-31 06:29:51 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 06:31:35 +0100christo(~chris@81.96.113.213)
2020-10-31 06:37:24 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-31 06:37:55 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-31 06:38:26 +0100mbomba(~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) (Quit: WeeChat 2.9)
2020-10-31 06:42:38 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-10-31 06:43:08 +0100nados(~dan@69-165-210-185.cable.teksavvy.com)
2020-10-31 06:45:01 +0100falafel_(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-31 06:46:30 +0100day_(~Unknown@unaffiliated/day)
2020-10-31 06:49:20 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 06:50:01 +0100day(~Unknown@unaffiliated/day) (Ping timeout: 264 seconds)
2020-10-31 06:50:01 +0100day_day
2020-10-31 06:51:50 +0100vonfry(~user@2001:da8:801b:1010:9479:b22e:3eea:b61e)
2020-10-31 06:52:05 +0100deftly(~user@209.58.189.165) (Ping timeout: 240 seconds)
2020-10-31 06:54:21 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 268 seconds)
2020-10-31 06:57:23 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-31 06:57:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 06:59:01 +0100falafel_(~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 264 seconds)
2020-10-31 07:00:01 +0100dwfreed1(~dwfreed@154.13.1.56) ()
2020-10-31 07:01:45 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 07:02:26 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2020-10-31 07:03:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-31 07:06:41 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 268 seconds)
2020-10-31 07:09:21 +0100sepi(49dc4892@c-73-220-72-146.hsd1.ca.comcast.net)
2020-10-31 07:16:02 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2020-10-31 07:20:35 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c427:c5ca:d62:565b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-31 07:23:08 +0100vicfred(~vicfred@unaffiliated/vicfred)
2020-10-31 07:25:12 +0100wowi42_(~wowi42@51.15.249.183)
2020-10-31 07:25:14 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 07:25:56 +0100wowi42(~wowi42@51.15.249.183) (Ping timeout: 272 seconds)
2020-10-31 07:25:56 +0100dddddd(~dddddd@unaffiliated/dddddd) (Ping timeout: 272 seconds)
2020-10-31 07:25:56 +0100[df](~ben@51.15.198.140) (Ping timeout: 272 seconds)
2020-10-31 07:26:00 +0100[df](~ben@51.15.198.140)
2020-10-31 07:26:05 +0100dddddd(~dddddd@unaffiliated/dddddd)
2020-10-31 07:27:06 +0100christo_(~chris@81.96.113.213)
2020-10-31 07:28:14 +0100nlhowell(~nlhowell@don28-11.ln.rinet.ru) (Ping timeout: 264 seconds)
2020-10-31 07:29:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 07:29:25 +0100rotaerk(rotaerk@2600:3c02::f03c:91ff:fe70:4a45) (Ping timeout: 272 seconds)
2020-10-31 07:35:16 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-31 07:38:47 +0100mimi_vx(~mimi@2a01:490:16:1026:280c:3ca1:5901:7678)
2020-10-31 07:43:41 +0100mimi_vx(~mimi@2a01:490:16:1026:280c:3ca1:5901:7678) (Ping timeout: 268 seconds)
2020-10-31 07:44:53 +0100Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (Quit: Lost terminal)
2020-10-31 07:49:27 +0100Lord_of_Life(~Lord@46.217.218.94) (Changing host)
2020-10-31 07:49:27 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-31 07:51:38 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-31 07:52:58 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2020-10-31 07:56:04 +0100pmxb0t(~pmxb0t@178.239.168.171)
2020-10-31 07:56:14 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2020-10-31 07:56:35 +0100drbean(~drbean@TC210-63-209-28.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in)
2020-10-31 07:59:18 +0100rotaerk(~rotaerk@ender.afternet.org)
2020-10-31 07:59:21 +0100dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-10-31 08:00:21 +0100mimi_vx(~mimi@2a01:490:16:1026:280c:3ca1:5901:7678)
2020-10-31 08:00:29 +0100sepi(49dc4892@c-73-220-72-146.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2020-10-31 08:01:30 +0100toorevitimirp(~tooreviti@117.182.180.36)
2020-10-31 08:03:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-31 08:08:47 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-31 08:09:46 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-10-31 08:11:40 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-31 08:11:51 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-31 08:15:05 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 08:15:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 08:15:22 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: No route to host)
2020-10-31 08:15:52 +0100jrm(~jrm@freebsd/developer/jrm) (Quit: ciao)
2020-10-31 08:16:18 +0100jrm(~jrm@freebsd/developer/jrm)
2020-10-31 08:16:18 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-31 08:16:44 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-31 08:16:48 +0100bartemius(~bartemius@109-252-20-20.nat.spd-mgts.ru)
2020-10-31 08:21:38 +0100bartemius(~bartemius@109-252-20-20.nat.spd-mgts.ru) (Ping timeout: 264 seconds)
2020-10-31 08:22:04 +0100vonfry`(~user@181.115.198.104.bc.googleusercontent.com)
2020-10-31 08:24:23 +0100vonfry(~user@2001:da8:801b:1010:9479:b22e:3eea:b61e) (Ping timeout: 268 seconds)
2020-10-31 08:24:54 +0100coot(~coot@37.30.51.206.nat.umts.dynamic.t-mobile.pl)
2020-10-31 08:26:10 +0100hackagepolysemy-methodology 0.1.3.0 - Domain modelling algebra for polysemy https://hackage.haskell.org/package/polysemy-methodology-0.1.3.0 (locallycompact)
2020-10-31 08:26:52 +0100sfvm(~sfvm@37.228.215.148) (Remote host closed the connection)
2020-10-31 08:29:42 +0100nineonine(~textual@216-19-190-182.dyn.novuscom.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-31 08:29:52 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 08:30:09 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-glxsmlubttuxknpb) (Quit: Connection closed for inactivity)
2020-10-31 08:30:25 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 08:31:40 +0100hackagepolysemy-methodology 0.1.3.1 - Domain modelling algebra for polysemy https://hackage.haskell.org/package/polysemy-methodology-0.1.3.1 (locallycompact)
2020-10-31 08:32:39 +0100hackagepolysemy-methodology 0.1.3.2 - Domain modelling algebra for polysemy https://hackage.haskell.org/package/polysemy-methodology-0.1.3.2 (locallycompact)
2020-10-31 08:34:00 +0100 <int-e> that's a quick release cycle.
2020-10-31 08:35:52 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-31 08:36:12 +0100falafel_(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-31 08:37:35 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 08:38:02 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 08:40:51 +0100CMCDragonkai1(~Thunderbi@124.19.3.250)
2020-10-31 08:41:02 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2020-10-31 08:42:21 +0100Amras(~Amras@unaffiliated/amras0000) (Quit: Leaving)
2020-10-31 08:43:19 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-31 08:46:31 +0100argent0(~argent0@168.227.96.4) (Quit: leaving)
2020-10-31 08:54:30 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 08:54:51 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 08:54:56 +0100chaosmasttter(~chaosmast@p200300c4a72dee0155b8dce6c2fd4efc.dip0.t-ipconnect.de)
2020-10-31 08:55:20 +0100jassob(~jassob@korrob.vth.sgsnet.se) (Ping timeout: 265 seconds)
2020-10-31 08:56:57 +0100jassob(~jassob@korrob.vth.sgsnet.se)
2020-10-31 08:59:43 +0100xsperry(~as@unaffiliated/xsperry) (Remote host closed the connection)
2020-10-31 09:01:00 +0100christo_(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 09:02:35 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 09:03:30 +0100psj(~psj@193.22.133.82)
2020-10-31 09:03:45 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 09:04:00 +0100bartemius(~bartemius@109.252.20.20)
2020-10-31 09:04:06 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 09:04:50 +0100christo(~chris@81.96.113.213)
2020-10-31 09:06:07 +0100alp_(~alp@2a01:e0a:58b:4920:b0fc:c65:8d9a:69f9)
2020-10-31 09:07:22 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 09:07:31 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-31 09:08:09 +0100CMCDragonkai1(~Thunderbi@124.19.3.250) (Quit: CMCDragonkai1)
2020-10-31 09:08:39 +0100knupfer(~Thunderbi@200116b82ca398000815a2fffe89dded.dip.versatel-1u1.de)
2020-10-31 09:09:34 +0100knupfer(~Thunderbi@200116b82ca398000815a2fffe89dded.dip.versatel-1u1.de) (Remote host closed the connection)
2020-10-31 09:09:44 +0100knupfer(~Thunderbi@200116b82ca398000040671e55645d9a.dip.versatel-1u1.de)
2020-10-31 09:10:33 +0100Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 260 seconds)
2020-10-31 09:11:52 +0100alp_(~alp@2a01:e0a:58b:4920:b0fc:c65:8d9a:69f9) (Ping timeout: 268 seconds)
2020-10-31 09:14:01 +0100alp_(~alp@2a01:e0a:58b:4920:bcf8:5b79:8580:26e)
2020-10-31 09:15:01 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 09:19:46 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-31 09:19:47 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-31 09:20:47 +0100PerseusPlease(~{mikey}@79.140.122.39)
2020-10-31 09:26:03 +0100knupfer(~Thunderbi@200116b82ca398000040671e55645d9a.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
2020-10-31 09:26:32 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-31 09:27:09 +0100hackageprotocol-buffers 2.4.14 - Parse Google Protocol Buffer specifications https://hackage.haskell.org/package/protocol-buffers-2.4.14 (k_bx)
2020-10-31 09:27:19 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-10-31 09:27:21 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 09:28:09 +0100hackageprotocol-buffers-descriptor 2.4.14 - Text.DescriptorProto.Options and code generated from the Google Protocol Buffer specification https://hackage.haskell.org/package/protocol-buffers-descriptor-2.4.14 (k_bx)
2020-10-31 09:32:50 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 268 seconds)
2020-10-31 09:33:09 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-31 09:33:44 +0100shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:3077:a607:5321:a929)
2020-10-31 09:36:27 +0100pmxb0t(~pmxb0t@178.239.168.171) (Remote host closed the connection)
2020-10-31 09:37:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-10-31 09:37:16 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-31 09:37:50 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 264 seconds)
2020-10-31 09:39:05 +0100 <dminuoso> Mmm, Im starting to think Im reinventing the wheel here.
2020-10-31 09:39:40 +0100 <dminuoso> Im writing a sort of TH clone for larger scale code generation, and currently Im engineering a sort of knowledge base to keep track and discover where some identifier was defined in.
2020-10-31 09:39:46 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 09:40:08 +0100 <dminuoso> So I have `localReify :: String -> G ThingInfo` and `globalReify :: String -> G ThingInfo`, things like that
2020-10-31 09:40:26 +0100 <dminuoso> Does this already exist? Libraries to facilitate generating multiple connected modules from?
2020-10-31 09:41:40 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-31 09:42:29 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-31 09:44:26 +0100falafel_(~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 272 seconds)
2020-10-31 09:44:45 +0100mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-31 09:44:58 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-31 09:50:10 +0100LKoen(~LKoen@81.255.219.130)
2020-10-31 09:52:10 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 09:52:17 +0100Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-31 09:53:01 +0100Kolkrabe(~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-31 09:53:22 +0100BlaDe^(~BlaDe^@184.75.223.235)
2020-10-31 09:53:48 +0100jedws(~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-31 09:57:13 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds)
2020-10-31 10:00:01 +0100BlaDe^(~BlaDe^@184.75.223.235) ()
2020-10-31 10:01:14 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds)
2020-10-31 10:01:31 +0100codygman(~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer)
2020-10-31 10:02:02 +0100invaser(~Thunderbi@31.148.23.125)
2020-10-31 10:03:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 10:04:32 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 10:04:50 +0100alp_(~alp@2a01:e0a:58b:4920:bcf8:5b79:8580:26e) (Ping timeout: 264 seconds)
2020-10-31 10:05:19 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-31 10:09:28 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-31 10:09:38 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds)
2020-10-31 10:12:40 +0100hackagepolysemy-video 0.1.2.0 - https://hackage.haskell.org/package/polysemy-video-0.1.2.0 (locallycompact)
2020-10-31 10:15:51 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-msjovqkiidznwkye) (Quit: Connection closed for inactivity)
2020-10-31 10:17:13 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-10-31 10:18:39 +0100hackagesemver 0.4.0 - Representation, manipulation, and de/serialisation of Semantic Versions. https://hackage.haskell.org/package/semver-0.4.0 (BrendanHay)
2020-10-31 10:19:58 +0100jedws(~jedws@101.184.150.81)
2020-10-31 10:20:07 +0100jedws(~jedws@101.184.150.81) (Client Quit)
2020-10-31 10:20:07 +0100jneira(501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250) (Ping timeout: 246 seconds)
2020-10-31 10:24:16 +0100bartemius(~bartemius@109.252.20.20) ()
2020-10-31 10:25:12 +0100zaquest(~notzaques@5.128.210.178) (Read error: Connection reset by peer)
2020-10-31 10:25:36 +0100zaquest(~notzaques@5.128.210.178)
2020-10-31 10:28:40 +0100hackagesemver 0.4.0.1 - Representation, manipulation, and de/serialisation of Semantic Versions. https://hackage.haskell.org/package/semver-0.4.0.1 (BrendanHay)
2020-10-31 10:28:47 +0100Tario(~Tario@200.119.186.173) (Ping timeout: 258 seconds)
2020-10-31 10:36:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 10:42:38 +0100nschoe(~quassel@2a01:e0a:3c4:c7b0:b8f0:6b21:1cae:fc94)
2020-10-31 10:46:16 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-31 10:52:46 +0100xsperry(~as@unaffiliated/xsperry)
2020-10-31 10:53:25 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-31 10:56:11 +0100cassier(~cassier@195.140.213.38)
2020-10-31 10:56:26 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds)
2020-10-31 10:57:20 +0100vonfry`(~user@181.115.198.104.bc.googleusercontent.com) (Quit: ERC (IRC client for Emacs 27.1))
2020-10-31 10:58:25 +0100Varis(~Tadas@unaffiliated/varis)
2020-10-31 10:59:41 +0100 <PerseusPlease> very basic question, if I have a function type declaration like "convertOrError :: String -> String -> a" how can I get the type "a" as a string e.g. "Int"
2020-10-31 11:00:34 +0100andi-(~andi-@NixOS/user/andi-) (Ping timeout: 260 seconds)
2020-10-31 11:01:14 +0100 <Rembane> PerseusPlease: I think that's a bit tricky, what's the thing you really want to solve?
2020-10-31 11:02:16 +0100fendor(~fendor@77.119.131.204.wireless.dyn.drei.com)
2020-10-31 11:02:44 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2020-10-31 11:02:48 +0100 <PerseusPlease> I'm reading a config using ConfigFile and have a string which I want to convert into appropriate types such as Int
2020-10-31 11:03:43 +0100m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-31 11:03:59 +0100 <PerseusPlease> I could use "read" and have the default exception message, but it's rubbish, so I'd rather write a function that outputs a sensible exception including the type conversion that failed.
2020-10-31 11:04:14 +0100Rudd0(~Rudd0@185.189.115.108)
2020-10-31 11:04:33 +0100 <Rembane> PerseusPlease: Got it, there's a better version here: https://hackage.haskell.org/package/base-4.14.0.0/docs/Text-Read.html#v:readMaybe
2020-10-31 11:04:45 +0100 <Rembane> PerseusPlease: It has another variant here: https://hackage.haskell.org/package/base-4.14.0.0/docs/Text-Read.html#v:readEither
2020-10-31 11:04:49 +0100 <PerseusPlease> Rembane, that's what I'm using.
2020-10-31 11:05:16 +0100 <PerseusPlease> I also saw that, but I actually want to throw an exception.
2020-10-31 11:05:45 +0100andi-(~andi-@NixOS/user/andi-)
2020-10-31 11:05:49 +0100 <Rembane> PerseusPlease: Why do you want to throw an exception?
2020-10-31 11:05:53 +0100petersen(~petersen@redhat/juhp)
2020-10-31 11:06:26 +0100 <PerseusPlease> Why does anyone ever want to throw an exception, the program can't continue
2020-10-31 11:09:22 +0100 <Rembane> PerseusPlease: You can instead have a function that returns a Left with an error message if the parsing fails and if it succeeds you return a Right with the configuration record.
2020-10-31 11:09:43 +0100 <PerseusPlease> Rembane, sure.
2020-10-31 11:09:52 +0100dhil(~dhil@195.213.192.85)
2020-10-31 11:10:32 +0100 <PerseusPlease> I think we're concentrating on the wrong bit. I would still have the problem of getting a message that included the type I was trying to convert
2020-10-31 11:10:50 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-31 11:11:21 +0100 <joel135> You want to say something like (convertOrError "(20, 5, True)" "Unable to interpret the missile parameters")?
2020-10-31 11:12:02 +0100rprije(~rprije@194-193-168-77.tpgi.com.au) (Ping timeout: 264 seconds)
2020-10-31 11:12:57 +0100 <joel135> And then the error message should say something like "E: Unable to interpret the missile parameters (expected (Integer, Integer, Bool))"?
2020-10-31 11:13:00 +0100 <PerseusPlease> joel135, well... convertOrError "port" "foo123" gives error "port is not Int"
2020-10-31 11:14:06 +0100sam___(~sam@112.107.204.77.rev.sfr.net)
2020-10-31 11:15:51 +0100 <PerseusPlease> ^^ that probably needs an ":: Int"
2020-10-31 11:17:13 +0100rusua(uid124537@gateway/web/irccloud.com/x-eqeurrcaunytkiar)
2020-10-31 11:17:55 +0100 <joel135> Did you see this? https://hackage.haskell.org/package/model-0.4.2/docs/Data-Model-Util.html#v:convertOrError
2020-10-31 11:25:23 +0100 <PerseusPlease> joel135, thanks. that is close to what I am looking for but a bit on the noisy side.
2020-10-31 11:27:04 +0100 <PerseusPlease> this isn't pretty but works "drop 6 $ show $ typeOf (Nothing :: Maybe Int)"
2020-10-31 11:27:59 +0100 <joel135> What do you import for that?
2020-10-31 11:28:10 +0100 <PerseusPlease> import Data.Typeable
2020-10-31 11:28:33 +0100 <joel135> nice
2020-10-31 11:35:13 +0100lxsameer(~lxsameer@unaffiliated/lxsameer) (Ping timeout: 260 seconds)
2020-10-31 11:38:24 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-31 11:39:30 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 11:43:05 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-31 11:43:35 +0100AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-31 11:44:05 +0100petersen(~petersen@redhat/juhp) (Ping timeout: 240 seconds)
2020-10-31 11:44:24 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-31 11:45:55 +0100 <jil`> hello
2020-10-31 11:46:32 +0100 <simon> hi
2020-10-31 11:48:54 +0100lxsameer(lxsameer@gateway/vpn/protonvpn/lxsameer)
2020-10-31 11:53:15 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-31 11:57:34 +0100 <jil`> I'm trying a code example from a book and I don't understand why I get an error in ghci when I try it. https://paste.debian.net/1169336/
2020-10-31 11:57:59 +0100 <jil`> It has to do with the notation of the operator
2020-10-31 11:58:04 +0100dansho(~dansho@ip68-108-167-185.lv.lv.cox.net)
2020-10-31 11:58:25 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 264 seconds)
2020-10-31 11:58:36 +0100 <jil`> but do you see something wrong with fsum = foldr (+) 0 ?
2020-10-31 11:59:28 +0100 <byorgey> jil`: there's nothing wrong with the definition of fsum, the problem is 'fsum 1 2'
2020-10-31 11:59:36 +0100 <byorgey> fsum must be applied to a list
2020-10-31 11:59:57 +0100 <byorgey> so you could say 'fsum [1,2]' for example.
2020-10-31 12:02:26 +0100petersen(~petersen@redhat/juhp)
2020-10-31 12:04:47 +0100acidjnk_new(~acidjnk@p200300d0c72260940830e3b8f3af47a8.dip0.t-ipconnect.de)
2020-10-31 12:05:23 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 12:05:41 +0100 <jil`> I see . Thak you.
2020-10-31 12:06:15 +0100tolt_(~weechat-h@li219-154.members.linode.com)
2020-10-31 12:09:17 +0100christo(~chris@81.96.113.213)
2020-10-31 12:10:36 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 265 seconds)
2020-10-31 12:12:13 +0100alx741(~alx741@181.196.68.193) (Ping timeout: 264 seconds)
2020-10-31 12:12:53 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-31 12:13:14 +0100tolt_(~weechat-h@li219-154.members.linode.com) (Quit: WeeChat 2.9)
2020-10-31 12:13:57 +0100Varis(~Tadas@unaffiliated/varis)
2020-10-31 12:14:01 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-31 12:14:33 +0100tolt_(~weechat-h@li219-154.members.linode.com)
2020-10-31 12:16:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 12:17:11 +0100tolt_(~weechat-h@li219-154.members.linode.com) (Client Quit)
2020-10-31 12:18:31 +0100tolt_(~weechat-h@li219-154.members.linode.com)
2020-10-31 12:20:27 +0100mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 260 seconds)
2020-10-31 12:21:04 +0100nschoe(~quassel@2a01:e0a:3c4:c7b0:b8f0:6b21:1cae:fc94) (Ping timeout: 240 seconds)
2020-10-31 12:21:23 +0100psj(~psj@193.22.133.82) (Remote host closed the connection)
2020-10-31 12:21:50 +0100nschoe(~quassel@91-175-19-30.subs.proxad.net)
2020-10-31 12:23:34 +0100carlomagno1(~cararell@148.87.23.4)
2020-10-31 12:23:34 +0100carlomagno(~cararell@148.87.23.4) (Remote host closed the connection)
2020-10-31 12:25:11 +0100alx741(~alx741@186.178.110.132)
2020-10-31 12:29:32 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-31 12:29:39 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-31 12:29:42 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-31 12:29:44 +0100idhugo(~idhugo@80-62-116-101-mobile.dk.customer.tdc.net)
2020-10-31 12:30:41 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-31 12:32:17 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 268 seconds)
2020-10-31 12:32:58 +0100dansho(~dansho@ip68-108-167-185.lv.lv.cox.net) (Ping timeout: 260 seconds)
2020-10-31 12:33:55 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 12:34:59 +0100Franciman(~francesco@host-79-36-167-172.retail.telecomitalia.it)
2020-10-31 12:35:14 +0100jrqc(~rofl@96.78.87.197)
2020-10-31 12:36:58 +0100christo(~chris@81.96.113.213)
2020-10-31 12:38:30 +0100jedws(~jedws@101.184.150.81)
2020-10-31 12:40:15 +0100coot(~coot@37.30.51.206.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-31 12:43:04 +0100jedws(~jedws@101.184.150.81) (Ping timeout: 256 seconds)
2020-10-31 12:44:08 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-10-31 12:44:30 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-31 12:50:32 +0100__monty__(~toonn@unaffiliated/toonn)
2020-10-31 12:50:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-31 12:52:24 +0100 <simon> I'm trying to test a Servant API. I'm getting a type mismatch between 'Handler a' and 'ClientM a' following this tutorial: https://docs.servant.dev/en/stable/cookbook/testing/Testing.html#strategy-1-spin-up-a-server-creat… -- my code and type error can be found here: https://gist.github.com/sshine/12ba219e94ea043aabf171b2918a1c07
2020-10-31 12:54:51 +0100 <simon> so, when reasoning about this error myself, I'd have to agree with GHC that a Server is not a Client. so I'm not sure why the tutorial so freely uses 'runClientM (createUser 50001)' when 'createUser :: Integer -> Handler User'. I don't know if 'Handler' is server-specific, but at least it aliases to 'Server' and does not alias to 'ClientM'.
2020-10-31 12:55:04 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-31 12:57:18 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 12:57:34 +0100christo(~chris@81.96.113.213)
2020-10-31 12:59:17 +0100 <__monty__> I'm not familiar with servant but I don't see a problem with your reasoning.
2020-10-31 12:59:48 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-31 13:00:01 +0100cassier(~cassier@195.140.213.38) ()
2020-10-31 13:01:09 +0100 <dminuoso> simon: You're probably just confused about scoping here
2020-10-31 13:01:23 +0100 <dminuoso> simon: In the documentation example, there's two different createUser
2020-10-31 13:01:47 +0100 <dminuoso> Inside the code block you're looking at, there is:
2020-10-31 13:01:56 +0100 <__monty__> Ah, you're right, didn't see the local binding.
2020-10-31 13:02:04 +0100 <dminuoso> `let createUser = client (Proxy :: Proxy UserApi) ... runClientM (createUser 50001) (clientEnv port)`
2020-10-31 13:02:19 +0100 <__monty__> Not exactly stellar pedagogy of the docs maybe.
2020-10-31 13:02:26 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-31 13:02:49 +0100 <dminuoso> Dunno, but if you copy and paste the examples as they are, they work just fine.
2020-10-31 13:02:55 +0100 <dminuoso> And the code comments make it clear too
2020-10-31 13:03:07 +0100chaosmasttter(~chaosmast@p200300c4a72dee0155b8dce6c2fd4efc.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-10-31 13:03:13 +0100 <dminuoso> But if you think there's improvements to be made, make a PR?
2020-10-31 13:03:53 +0100MindlessDrone(~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds)
2020-10-31 13:06:46 +0100 <__monty__> Haven't looked into servant enough to have a well founded opinion. Imo, "the examples work when copied verbatim," shouldn't be the goal for tutorial-style docs. There could be great reasons for the apparent shadowing though, if server and client code are clearly separated it might be a good way to make it easy to find related code "on the other side."
2020-10-31 13:07:20 +0100 <dminuoso> Well, I think it's reasonable to expect a user to *read* the examples?
2020-10-31 13:07:26 +0100 <dminuoso> Rather than just skim
2020-10-31 13:08:17 +0100MindlessDrone(~MindlessD@unaffiliated/mindlessdrone)
2020-10-31 13:08:31 +0100 <dminuoso> Plus
2020-10-31 13:08:37 +0100 <dminuoso> This is deep inside the *testing* documentation
2020-10-31 13:08:55 +0100 <__monty__> Sure, but relying on careful reading and understanding of each line is wholly unnecessary. It's not like it's important the name is shadowed.
2020-10-31 13:10:10 +0100hackageHUnit 1.6.1.0 - A unit testing framework for Haskell https://hackage.haskell.org/package/HUnit-1.6.1.0 (SimonHengel)
2020-10-31 13:10:21 +0100 <dminuoso> __monty__: At the beginning the documentation starts off with
2020-10-31 13:10:23 +0100 <dminuoso> "We’ll use servant-client to derive client functions and then send valid requests to our API, running in another thread. This is great for testing that our business logic is correctly implemented with only valid HTTP requests."
2020-10-31 13:10:37 +0100 <dminuoso> But anyway
2020-10-31 13:10:56 +0100 <Uniaika> servant-client is awesome
2020-10-31 13:11:07 +0100 <simon> dminuoso, d'oh. thanks. :)
2020-10-31 13:11:37 +0100geekosaur(ac3a3be8@172.58.59.232)
2020-10-31 13:12:08 +0100 <dminuoso> Overall, when writing servant code, you either end up shadowing names a lot, of you find yourself with very verbose naming
2020-10-31 13:12:14 +0100 <dminuoso> Since you might have:
2020-10-31 13:12:29 +0100 <dminuoso> createUser :: Proxy UserEndpoint
2020-10-31 13:12:30 +0100 <__monty__> Nothing wrong with verbosity in a 20 line example.
2020-10-31 13:12:34 +0100 <dminuoso> createUser :: ClientM ...
2020-10-31 13:12:37 +0100 <dminuoso> createUser :: Handler ...
2020-10-31 13:12:45 +0100 <dminuoso> createUser :: User -> IO ...
2020-10-31 13:13:17 +0100 <__monty__> You can even add a note "In a real app just shadow the names for sanity's sake."
2020-10-31 13:13:18 +0100 <dminuoso> __monty__: Sure, but the code style will reflect the authors opinion.
2020-10-31 13:13:43 +0100 <dminuoso> Dunno, I think when you're that far in, you shouldn't get confused by this
2020-10-31 13:13:45 +0100 <dminuoso> It's not the beginning
2020-10-31 13:13:58 +0100 <dminuoso> It's almost at the end of the documentation when its about testing
2020-10-31 13:14:12 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 13:14:37 +0100 <__monty__> It's a cookbook it's not intended to be read front to back. So it's not at the end. It's exactly at the start if what you're looking for is how to test your business logic...
2020-10-31 13:14:49 +0100 <dminuoso> make a PR if you think its worthwhile changing
2020-10-31 13:16:35 +0100dansho(~dansho@ip68-108-167-185.lv.lv.cox.net)
2020-10-31 13:17:42 +0100dyeplexer(~lol@unaffiliated/terpin)
2020-10-31 13:17:58 +0100 <__monty__> I've already said I don't know enough about servant to go changing their docs, there's plenty of docs to improve that I do feel like I have enough experience with to make good contributions. Like the GHC user guide and the cabal docs.
2020-10-31 13:21:58 +0100invaser(~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-10-31 13:22:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 13:23:43 +0100 <Athas> Which exception does Haskell for SIGPIPE (the one that manifests as a "Broken pipe" error message)?
2020-10-31 13:24:35 +0100 <dminuoso> Athas: ResourceVanished
2020-10-31 13:25:11 +0100 <Athas> From GHC.IO.Exception? Makes sense.
2020-10-31 13:25:12 +0100 <Athas> Thanks.
2020-10-31 13:27:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-31 13:28:40 +0100christo(~chris@81.96.113.213)
2020-10-31 13:29:23 +0100dansho(~dansho@ip68-108-167-185.lv.lv.cox.net) (Ping timeout: 265 seconds)
2020-10-31 13:30:55 +0100jedws(~jedws@101.184.150.81)
2020-10-31 13:32:11 +0100hc(~hc@bsd.pm)
2020-10-31 13:32:49 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 13:33:49 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 264 seconds)
2020-10-31 13:33:56 +0100jrqc(~rofl@96.78.87.197)
2020-10-31 13:34:25 +0100lxsameer(lxsameer@gateway/vpn/protonvpn/lxsameer) (Ping timeout: 240 seconds)
2020-10-31 13:34:46 +0100wei2912(~wei2912@unaffiliated/wei2912)
2020-10-31 13:35:26 +0100toorevitimirp(~tooreviti@117.182.180.36) (Ping timeout: 264 seconds)
2020-10-31 13:36:31 +0100drbean(~drbean@TC210-63-209-85.static.apol.com.tw)
2020-10-31 13:39:53 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-31 13:40:21 +0100Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-31 13:44:50 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-31 13:45:39 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 13:48:59 +0100jakob_(~textual@p200300f49f1622007caf13ec66be0ccb.dip0.t-ipconnect.de)
2020-10-31 13:50:04 +0100lemmih(~lemmih@2406:3003:2072:44:2d80:b13f:a816:7456) (Remote host closed the connection)
2020-10-31 13:50:18 +0100lxsameer(lxsameer@gateway/vpn/protonvpn/lxsameer)
2020-10-31 13:50:25 +0100lemmih(~lemmih@2406:3003:2072:44:51b:ea3d:d135:394c)
2020-10-31 13:54:24 +0100leoburd(~leoburd@84.39.116.180)
2020-10-31 13:57:53 +0100Tario(~Tario@201.204.63.11)
2020-10-31 13:58:50 +0100jedws(~jedws@101.184.150.81) (Ping timeout: 260 seconds)
2020-10-31 14:00:15 +0100Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-31 14:01:08 +0100Ohg(~ohg@host31-54-224-58.range31-54.btcentralplus.com)
2020-10-31 14:01:18 +0100toorevitimirp(~tooreviti@117.182.183.132)
2020-10-31 14:06:12 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 14:06:58 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-31 14:07:24 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-31 14:10:25 +0100lxsameer(lxsameer@gateway/vpn/protonvpn/lxsameer) (Ping timeout: 240 seconds)
2020-10-31 14:11:34 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 268 seconds)
2020-10-31 14:12:15 +0100machinedgod(~machinedg@24.105.81.50)
2020-10-31 14:12:35 +0100carlomagno1(~cararell@148.87.23.4) (Quit: Leaving.)
2020-10-31 14:14:43 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-31 14:14:44 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-31 14:16:24 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-31 14:17:38 +0100nschoe(~quassel@91-175-19-30.subs.proxad.net) (Ping timeout: 258 seconds)
2020-10-31 14:18:11 +0100solonarv(~solonarv@astrasbourg-653-1-117-122.w90-33.abo.wanadoo.fr)
2020-10-31 14:22:59 +0100LKoen(~LKoen@81.255.219.130) (Remote host closed the connection)
2020-10-31 14:23:18 +0100Chi1thangoo(~Chi1thang@87.112.60.168)
2020-10-31 14:24:40 +0100hackageredis-io 1.1.0 - Yet another redis client. https://hackage.haskell.org/package/redis-io-1.1.0 (ToralfWittner)
2020-10-31 14:25:43 +0100lxsameer(~lxsameer@unaffiliated/lxsameer)
2020-10-31 14:28:07 +0100nschoe(~quassel@91-175-19-30.subs.proxad.net)
2020-10-31 14:29:42 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-31 14:30:10 +0100hackagewai-predicates 1.0.0 - WAI request predicates https://hackage.haskell.org/package/wai-predicates-1.0.0 (ToralfWittner)
2020-10-31 14:32:37 +0100jud^(~jud@cpe-70-113-106-222.austin.res.rr.com) (Quit: Leaving)
2020-10-31 14:32:52 +0100rotty(rotty@ghost.xx.vu) (Ping timeout: 260 seconds)
2020-10-31 14:32:54 +0100jud(~jud@unaffiliated/jud)
2020-10-31 14:33:30 +0100rotty(rotty@ghost.xx.vu)
2020-10-31 14:33:53 +0100mmfood(~mmfood@81-232-132-159-no64.tbcn.telia.com)
2020-10-31 14:39:05 +0100nschoe(~quassel@91-175-19-30.subs.proxad.net) (Ping timeout: 240 seconds)
2020-10-31 14:39:37 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-31 14:40:55 +0100akad_(~akad@109107030050.radomsko.vectranet.pl)
2020-10-31 14:42:27 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-31 14:43:38 +0100drbean(~drbean@TC210-63-209-85.static.apol.com.tw) (Ping timeout: 260 seconds)
2020-10-31 14:47:32 +0100mmfood(~mmfood@81-232-132-159-no64.tbcn.telia.com) (Quit: Leaving)
2020-10-31 14:51:10 +0100Ohg(~ohg@host31-54-224-58.range31-54.btcentralplus.com) ()
2020-10-31 14:51:30 +0100coot(~coot@37.30.55.3.nat.umts.dynamic.t-mobile.pl)
2020-10-31 14:52:02 +0100geekosaur(ac3a3be8@172.58.59.232) (Remote host closed the connection)
2020-10-31 14:53:20 +0100texasmynsted(~texasmyns@212.102.45.109)
2020-10-31 14:53:24 +0100MindlessDrone(~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 240 seconds)
2020-10-31 14:54:08 +0100texasmyn_(~texasmyns@212.102.45.109)
2020-10-31 14:55:07 +0100texasmynsted(~texasmyns@212.102.45.109) (Read error: Connection reset by peer)
2020-10-31 14:56:09 +0100MindlessDrone(~MindlessD@unaffiliated/mindlessdrone)
2020-10-31 14:56:39 +0100jneira(501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250)
2020-10-31 14:56:54 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c427:c5ca:d62:565b)
2020-10-31 14:57:17 +0100raoulb(~weechat@stateless.vsos.ethz.ch) (Quit: raoulb)
2020-10-31 14:57:37 +0100ddellacosta(~dd@86.106.121.168)
2020-10-31 14:58:40 +0100hackagepolysemy-methodology 0.1.4.0 - Domain modelling algebra for polysemy https://hackage.haskell.org/package/polysemy-methodology-0.1.4.0 (locallycompact)
2020-10-31 15:00:02 +0100FreeBirdLjj(~freebirdl@101.228.42.108)
2020-10-31 15:01:00 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c427:c5ca:d62:565b) (Client Quit)
2020-10-31 15:01:23 +0100Ariakenom(~Ariakenom@h-155-4-221-164.NA.cust.bahnhof.se)
2020-10-31 15:05:17 +0100is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-31 15:05:46 +0100idhugo(~idhugo@80-62-116-101-mobile.dk.customer.tdc.net) (Read error: Connection reset by peer)
2020-10-31 15:05:53 +0100 <merijn> CS writing question time: What's the right way to refer to "the property of being memory bound"? Memory boundedness? Any better suggestions?
2020-10-31 15:06:07 +0100nschoe(~quassel@2a01:e0a:3c4:c7b0:b8f0:6b21:1cae:fc94)
2020-10-31 15:06:07 +0100idhugo(~idhugo@80-62-116-101-mobile.dk.customer.tdc.net)
2020-10-31 15:06:36 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c427:c5ca:d62:565b)
2020-10-31 15:08:27 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-31 15:09:43 +0100 <jkaye[m]> I think it's just "memory bound"
2020-10-31 15:09:46 +0100 <jkaye[m]> What's an example of how you'd want to use it?
2020-10-31 15:12:07 +0100 <merijn> jkaye[m]: "something is memory bound" and I need something more along the lines of "because of X being memory bound..." but that's very long and wordy in context. I'm not sure how I want to use it yet, I'm trying to figure out a non-awkward wording :p
2020-10-31 15:13:07 +0100 <pjb> merijn: X being memory bound is X being bloated.
2020-10-31 15:13:46 +0100 <jkaye[m]> Really? You believe there are no memory-bound tasks in the world? Stop trolling.
2020-10-31 15:14:12 +0100 <pjb> You can always trade time for space.
2020-10-31 15:14:16 +0100 <jkaye[m]> I do think that "memory bound" is probably the most succinct you're going to get, at least that I've heard that would be easily recognizable
2020-10-31 15:14:27 +0100 <pjb> Agreed.
2020-10-31 15:14:52 +0100 <jkaye[m]> Trading time for space is how you solve a memory-bound problem :)
2020-10-31 15:15:28 +0100rusua(uid124537@gateway/web/irccloud.com/x-eqeurrcaunytkiar) (Quit: Connection closed for inactivity)
2020-10-31 15:16:09 +0100Franciman(~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving)
2020-10-31 15:16:15 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-31 15:21:46 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-31 15:22:36 +0100jakob_(~textual@p200300f49f1622007caf13ec66be0ccb.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…)
2020-10-31 15:23:04 +0100Amras(~Amras@unaffiliated/amras0000)
2020-10-31 15:23:32 +0100 <merijn> Eh, hard disagree
2020-10-31 15:23:38 +0100 <merijn> memory bound is about space
2020-10-31 15:23:49 +0100kmwyard(uid471732@gateway/web/irccloud.com/x-tmjuaykfgmfaiqvc)
2020-10-31 15:23:50 +0100 <merijn> It's whether you are bottle-necked by memory transfer speeds
2020-10-31 15:23:50 +0100 <nshepperd2> PSPACE is not equal to EXPSPACE, so i don't think you can always trade time for space
2020-10-31 15:24:30 +0100 <merijn> If you are bottle-necked by memory transfer speed you can't necessarily trade that for time, definitely not without making things worse in terms of performance
2020-10-31 15:25:03 +0100 <merijn> nshepperd2: That's talking about complexity anyway, and while complexity analysis is interesting, it's also mostly intellectual masturbation in terms of practical HPC :)
2020-10-31 15:25:06 +0100jespada(~jespada@90.254.243.98) (Ping timeout: 258 seconds)
2020-10-31 15:25:40 +0100petersen(~petersen@redhat/juhp) (Ping timeout: 246 seconds)
2020-10-31 15:26:07 +0100 <nshepperd2> true, but i think it does suggest that there are problems that objectively take more space to solve than others
2020-10-31 15:26:33 +0100 <merijn> nshepperd2: I don't know PSPACE and EXPSPACE enough agree or disagree ;)
2020-10-31 15:29:37 +0100LKoen(~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr)
2020-10-31 15:29:37 +0100 <pjb> merijn: performace is a relative term. if memory bound is a problem it means your space performace is bad. You need to take less space! And a way to do that, is to lose time to compress, or to recompute what is stored, etc.
2020-10-31 15:30:54 +0100 <merijn> eh, no
2020-10-31 15:31:10 +0100 <merijn> compute vs memory bound is about bottlenecks in roofline models
2020-10-31 15:31:27 +0100jespada(~jespada@90.254.243.98)
2020-10-31 15:31:31 +0100 <pjb> I take memory bound here as meaning using too much memory. But it may be doing many memory exchanges. CPU bound vs memory-bus bound vs. I/O bound.
2020-10-31 15:31:36 +0100 <merijn> You can't solve being memory bound by "being slower and using less space", because then performance goes even lower
2020-10-31 15:32:07 +0100 <merijn> pjb: That's fine, but then you're taking memory bound to mean something different from literally everyone in HPC/performance oriented fields
2020-10-31 15:32:18 +0100 <pjb> In that case, you can up to a certain measure do some computation in the CPU (with registers) to avoid accessing the memory, but there's not much you can do in general.
2020-10-31 15:32:39 +0100mirrorbird(~psutcliff@2a00:801:3f2:56a2:5835:27e4:34fc:e9d)
2020-10-31 15:33:12 +0100 <merijn> Anyway, this discussion is woefully unhelpful to my original question >.>
2020-10-31 15:33:31 +0100 <pjb> It's a good thing to be memory bound in a way… Look at the alternatives! If you put the data in secondary memory, then you can become I/O bound. Not necessarily better.
2020-10-31 15:34:20 +0100Nachtgespenst(~user@unaffiliated/siracusa)
2020-10-31 15:34:28 +0100carlomagno(~cararell@148.87.23.13)
2020-10-31 15:34:28 +0100 <pjb> perhaps you could shorten it as "unbalanced". As in "unbalanced architecture" where the processor is too powerfull compared to the memory bus?
2020-10-31 15:35:06 +0100 <pjb> or unbalanced as in lacking cache memory vs. main memory?
2020-10-31 15:38:22 +0100urodna(~urodna@unaffiliated/urodna)
2020-10-31 15:38:31 +0100taurux(~taurux@net-130-25-101-121.cust.vodafonedsl.it) (Ping timeout: 258 seconds)
2020-10-31 15:38:41 +0100bennofs1(~benno@dslb-188-106-255-000.188.106.pools.vodafone-ip.de)
2020-10-31 15:39:30 +0100nshepperd2. o O ("memory bound" is when your ROI of performance per $ of additional memory is > performance per $ of processors)
2020-10-31 15:40:38 +0100taurux(~taurux@net-130-25-101-160.cust.vodafonedsl.it)
2020-10-31 15:41:42 +0100 <merijn> nshepperd2: In HPC roofline modelling the machine is usually a given, so you try and identify where you're bottlenecked so you can deal with that. If your implementation's memory bandwidth usage is equal to the max bandwith of your hardware, you are memory bound and any optimisation of compute is pointless, since it can't speed anything up
2020-10-31 15:41:47 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-31 15:42:06 +0100 <nshepperd2> makes sense
2020-10-31 15:42:21 +0100 <merijn> nshepperd2: If you're compute bound that means your implementation's FLOPS (traditionally, but that's a shitty metric for no floating point stuff) approaches theoretical peak FLOPS
2020-10-31 15:43:41 +0100kish(~oracle@unaffiliated/oracle) (Remote host closed the connection)
2020-10-31 15:43:56 +0100 <merijn> Although in parallel systems you also get stuff like occupancy and efficiency messing things up :p
2020-10-31 15:43:59 +0100tenniscp25(~tenniscp2@134.196.209.118)
2020-10-31 15:44:12 +0100FreeBirdLjj(~freebirdl@101.228.42.108) (Remote host closed the connection)
2020-10-31 15:44:14 +0100 <pjb> square[i]=f(i); loop(g(square[i])) can be optimized and lighten the memory load with loop(g(f(i))) if f(i) can be computed in the CPU.
2020-10-31 15:44:30 +0100 <pjb> Ie. remove temp variables, and let the compiler do its job.
2020-10-31 15:44:37 +0100Axman6(~Axman6@pdpc/supporter/student/Axman6) (Ping timeout: 264 seconds)
2020-10-31 15:44:59 +0100kish(~oracle@unaffiliated/oracle)
2020-10-31 15:46:38 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-31 15:47:59 +0100conal(~conal@64.71.133.70)
2020-10-31 15:49:29 +0100conal(~conal@64.71.133.70) (Client Quit)
2020-10-31 15:49:34 +0100whatisRT(~whatisRT@2002:5b41:6a33:0:f988:5b44:bba9:c342)
2020-10-31 15:49:52 +0100alx741(~alx741@186.178.110.132) (Ping timeout: 260 seconds)
2020-10-31 15:51:13 +0100sam___(~sam@112.107.204.77.rev.sfr.net) (Ping timeout: 246 seconds)
2020-10-31 15:51:22 +0100kish(~oracle@unaffiliated/oracle) (Remote host closed the connection)
2020-10-31 15:52:29 +0100kish(~oracle@unaffiliated/oracle)
2020-10-31 15:54:53 +0100xwvvvvwx(~xwvvvvwx@185.213.155.160) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-31 15:55:02 +0100xwvvvvwx(~xwvvvvwx@185.213.155.160)
2020-10-31 15:58:15 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-10-31 16:00:01 +0100leoburd(~leoburd@84.39.116.180) ()
2020-10-31 16:02:00 +0100nschoe(~quassel@2a01:e0a:3c4:c7b0:b8f0:6b21:1cae:fc94) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2020-10-31 16:03:14 +0100toorevitimirp(~tooreviti@117.182.183.132) (Remote host closed the connection)
2020-10-31 16:03:51 +0100alx741(~alx741@186.178.110.178)
2020-10-31 16:05:13 +0100LKoen(~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-10-31 16:07:04 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 16:07:30 +0100ddellacosta(~dd@86.106.121.168) (Ping timeout: 268 seconds)
2020-10-31 16:12:18 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-31 16:13:14 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2020-10-31 16:15:43 +0100burg_philo(~igloo@pool-100-33-61-227.nycmny.fios.verizon.net)
2020-10-31 16:16:11 +0100conal(~conal@64.71.133.70)
2020-10-31 16:16:49 +0100burg_philo(~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Client Quit)
2020-10-31 16:17:41 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-10-31 16:18:39 +0100nschoe(~quassel@2a01:e0a:3c4:c7b0:a0b3:310b:5dd6:f15e)
2020-10-31 16:19:02 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-31 16:20:38 +0100knupfer(~Thunderbi@200116b82ca39800d01699fffe5c6980.dip.versatel-1u1.de)
2020-10-31 16:21:30 +0100knupfer(~Thunderbi@200116b82ca39800d01699fffe5c6980.dip.versatel-1u1.de) (Remote host closed the connection)
2020-10-31 16:21:43 +0100knupfer(~Thunderbi@200116b82ca39800c42f3b4b7ad56f83.dip.versatel-1u1.de)
2020-10-31 16:23:37 +0100dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 264 seconds)
2020-10-31 16:23:41 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2020-10-31 16:24:20 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-10-31 16:24:54 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-10-31 16:25:35 +0100elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-10-31 16:25:46 +0100xsarnik0(xsarnik@gateway/shell/fi.muni.cz/x-atyswzwjgcedayoa) (Read error: Connection reset by peer)
2020-10-31 16:25:46 +0100Jajik(xchlup2@gateway/shell/fi.muni.cz/x-hhrtkuzapztvvdpl) (Write error: Connection reset by peer)
2020-10-31 16:26:20 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-31 16:26:40 +0100hackagehinotify 0.4.1 - Haskell binding to inotify https://hackage.haskell.org/package/hinotify-0.4.1 (LennartKolmodin)
2020-10-31 16:28:36 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-fgkoyqizymyfdrsz)
2020-10-31 16:29:19 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds)
2020-10-31 16:30:26 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c427:c5ca:d62:565b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-31 16:31:45 +0100Jajik(xchlup2@gateway/shell/fi.muni.cz/x-hwurnratxvflmvcz)
2020-10-31 16:33:24 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Quit: Lost terminal)
2020-10-31 16:34:55 +0100stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-31 16:35:07 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 16:35:12 +0100stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-31 16:35:28 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-31 16:38:12 +0100sam___(~sam@195.165.185.81.rev.sfr.net)
2020-10-31 16:39:46 +0100 <carter> Howdy
2020-10-31 16:39:49 +0100mirrorbird(~psutcliff@2a00:801:3f2:56a2:5835:27e4:34fc:e9d) (Quit: Leaving)
2020-10-31 16:40:13 +0100 <carter> @tell Merijn sup!
2020-10-31 16:40:13 +0100 <lambdabot> Consider it noted.
2020-10-31 16:40:43 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-31 16:41:02 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-31 16:42:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 16:43:44 +0100mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-31 16:46:43 +0100stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-31 16:46:53 +0100idhugo(~idhugo@80-62-116-101-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds)
2020-10-31 16:47:00 +0100stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-31 16:48:22 +0100akad_(~akad@109107030050.radomsko.vectranet.pl) (Ping timeout: 256 seconds)
2020-10-31 16:48:33 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-10-31 16:49:50 +0100mokulus(~mat@176.111.230.96)
2020-10-31 16:50:43 +0100macrover(~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-10-31 16:54:58 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-31 16:54:59 +0100xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 268 seconds)
2020-10-31 16:55:07 +0100qrf(~qrf@139.28.218.148)
2020-10-31 16:55:31 +0100whatisRT(~whatisRT@2002:5b41:6a33:0:f988:5b44:bba9:c342) (Read error: Connection reset by peer)
2020-10-31 16:57:02 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds)
2020-10-31 16:57:47 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 17:00:10 +0100elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2020-10-31 17:01:04 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-31 17:01:37 +0100petersen(~petersen@redhat/juhp)
2020-10-31 17:03:03 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds)
2020-10-31 17:06:36 +0100jakob_(~textual@p200300f49f162200c4c79d674b9ab9b3.dip0.t-ipconnect.de)
2020-10-31 17:06:40 +0100jakob_(~textual@p200300f49f162200c4c79d674b9ab9b3.dip0.t-ipconnect.de) (Client Quit)
2020-10-31 17:06:42 +0100petersen(~petersen@redhat/juhp) (Ping timeout: 268 seconds)
2020-10-31 17:06:44 +0100elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-31 17:07:33 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2020-10-31 17:08:47 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-31 17:10:14 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds)
2020-10-31 17:12:19 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2020-10-31 17:12:54 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-10-31 17:16:59 +0100Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-10-31 17:18:27 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-31 17:19:04 +0100Codaraxis(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 240 seconds)
2020-10-31 17:22:16 +0100Franciman(~francesco@host-79-36-167-172.retail.telecomitalia.it)
2020-10-31 17:22:55 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-31 17:33:24 +0100Tario(~Tario@201.204.63.11) (Ping timeout: 240 seconds)
2020-10-31 17:34:17 +0100Tario(~Tario@200.119.184.172)
2020-10-31 17:36:18 +0100acidjnk_new(~acidjnk@p200300d0c72260940830e3b8f3af47a8.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-10-31 17:40:51 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-31 17:46:42 +0100dolio(~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-31 17:47:09 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-31 17:48:37 +0100wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-10-31 17:48:43 +0100xerox_(~xerox@unaffiliated/xerox)
2020-10-31 17:52:45 +0100sam___(~sam@195.165.185.81.rev.sfr.net) (Ping timeout: 240 seconds)
2020-10-31 17:53:00 +0100texasmyn_(~texasmyns@212.102.45.109) (Remote host closed the connection)
2020-10-31 17:53:33 +0100Jeanne-Kamikaze(~Jeanne-Ka@68.235.43.102)
2020-10-31 17:53:39 +0100texasmynsted(~texasmyns@212.102.45.109)
2020-10-31 17:56:18 +0100texasmynsted(~texasmyns@212.102.45.109) (Read error: Connection reset by peer)
2020-10-31 17:56:52 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-31 18:03:02 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-31 18:03:48 +0100avdb(~avdb@ip-62-235-106-155.dsl.scarlet.be)
2020-10-31 18:04:43 +0100notnatebtw(~nate@125.161.131.154)
2020-10-31 18:04:59 +0100falafel_(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-31 18:07:45 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-31 18:07:53 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 18:08:18 +0100newbi(97fcf0ed@151.252.240.237)
2020-10-31 18:09:07 +0100 <newbi> hello, i have to instal WinGHCi for my course but everytime i download it on the internet i cant install it
2020-10-31 18:09:10 +0100 <newbi> can someone help
2020-10-31 18:10:13 +0100Foritus(~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Ping timeout: 268 seconds)
2020-10-31 18:10:34 +0100 <hc> newbi: I'm not familiar with webghci, but if all you want is a running haskell compiler/interpreter on windows, you might try out stack
2020-10-31 18:10:52 +0100 <hc> https://docs.haskellstack.org/en/stable/README/
2020-10-31 18:11:04 +0100 <hc> there is a direct link to a windows installer executable
2020-10-31 18:12:24 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-31 18:12:59 +0100 <newbi> hc: thank you i will try it. is it new user friendly? i have to submit my homework in *.hs format
2020-10-31 18:13:19 +0100falafel_(~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 246 seconds)
2020-10-31 18:14:16 +0100 <__monty__> newbi: ghcup might be another option
2020-10-31 18:16:02 +0100 <maerwald> on windows it doesn't work natively, only in WSL
2020-10-31 18:17:37 +0100 <newbi> i installed Haskell GHCI already from their site. is stack IDE for Haskell?
2020-10-31 18:19:31 +0100 <geekosaur> I don't know of any IDEs as such, although various editors have extensions with Haskell support
2020-10-31 18:19:48 +0100 <geekosaur> in any case stack is a command line interface, not an IDE
2020-10-31 18:21:19 +0100 <__monty__> Ah, WinGHCi looks like a GUI for GHCi. newbi: None of the previous advice will help any.
2020-10-31 18:21:29 +0100chaosmasttter(~chaosmast@p200300c4a72dee0155b8dce6c2fd4efc.dip0.t-ipconnect.de)
2020-10-31 18:21:43 +0100 <__monty__> newbi: When you say "their site" do you mean the google code archive?
2020-10-31 18:21:44 +0100 <monsterchrom> Finally, someone actually read the question.
2020-10-31 18:22:56 +0100 <__monty__> Oof, looks like pretty old software though. "Tested with GHC 6.10.1"
2020-10-31 18:23:04 +0100 <hc> newbi: no idea; it depends on your definition of 'user friendly'
2020-10-31 18:23:04 +0100 <newbi> thank you guys. I mean the haskell.org site. i downloaded everything using PowerShell
2020-10-31 18:23:05 +0100 <merijn> oof
2020-10-31 18:23:17 +0100 <geekosaur> I not only read the question, I went and asked google about it and got its github. but couldn't verify it's actually still maintained, notwithstanding what it claims
2020-10-31 18:23:30 +0100 <geekosaur> in any case it's not an IDE either
2020-10-31 18:23:37 +0100 <geekosaur> (which was also asked)
2020-10-31 18:23:46 +0100 <newbi> so, finally i did it. opened notepad and made a hello world .hs file, compiled it using ghc and ran in powershell
2020-10-31 18:23:54 +0100 <geekosaur> it's just a simplistic GUI over ghci
2020-10-31 18:23:55 +0100 <__monty__> newbi: I think I'd recommend just using `ghci` from a shell and skipping the GUI.
2020-10-31 18:25:29 +0100nschoe(~quassel@2a01:e0a:3c4:c7b0:a0b3:310b:5dd6:f15e) (Remote host closed the connection)
2020-10-31 18:26:27 +0100 <monsterchrom> WinGHCI used to come with the Windows version of GHC. I haven't checked recently. Especially with how the GHC people no longer officially post a Windows version.
2020-10-31 18:26:43 +0100nschoe(~quassel@2a01:e0a:3c4:c7b0:b8f0:6b21:1cae:fc94)
2020-10-31 18:26:44 +0100knupfer(~Thunderbi@200116b82ca39800c42f3b4b7ad56f83.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-10-31 18:27:42 +0100dolio(~dolio@haskell/developer/dolio)
2020-10-31 18:27:47 +0100 <monsterchrom> I like __monty__'s advice.
2020-10-31 18:27:50 +0100 <newbi> yea, teacher told us it should come installed with GHC but didnt. im just gonna stick with notepad++ and compile it in powershell. is this fine?
2020-10-31 18:27:55 +0100 <davean> monsterchrom: what do you mean? Theres windows versions of GHC released
2020-10-31 18:28:37 +0100texasmynsted(~texasmyns@212.102.45.109)
2020-10-31 18:29:08 +0100 <monsterchrom> Oops, they still do. Nevermind.
2020-10-31 18:29:13 +0100texasmyn_(~texasmyns@212.102.45.109)
2020-10-31 18:29:49 +0100 <monsterchrom> Ah, they quitted the installer part.
2020-10-31 18:30:01 +0100 <merijn> monsterchrom: And 32bit support on windows
2020-10-31 18:30:15 +0100 <geekosaur> i386 windows is gone, x86_64 is still there
2020-10-31 18:30:27 +0100texasmyn_texasmynsted_
2020-10-31 18:30:35 +0100 <merijn> Not that anyone cares about 32bit anyway :p
2020-10-31 18:30:50 +0100texasmynsted_(~texasmyns@212.102.45.109) (Client Quit)
2020-10-31 18:31:10 +0100 <merijn> newbi: just running ghci in powershell will work fine, that's basically what WinGHCI did anyway :p
2020-10-31 18:31:20 +0100texasmyn_(~texasmyns@212.102.45.109)
2020-10-31 18:31:52 +0100 <monsterchrom> Still, you can't tell the average Windows-using student to simply take the tar.xz file and figure out what to do with it.
2020-10-31 18:32:12 +0100 <geekosaur> but apparently some course or other assumes winghci is still included?
2020-10-31 18:32:17 +0100 <davean> Are there still 32bit versions of windows available?
2020-10-31 18:32:18 +0100mokulus(~mat@176.111.230.96) (Ping timeout: 260 seconds)
2020-10-31 18:32:24 +0100 <merijn> monsterchrom: The recommended way is via chocolatey, which I personally wouldn't recommend anyway
2020-10-31 18:32:31 +0100 <merijn> davean: Not any supported ones
2020-10-31 18:32:45 +0100 <merijn> davean: The only Windows versions that are not EOL are 64bit only
2020-10-31 18:32:55 +0100LKoen(~LKoen@127.251.88.92.rev.sfr.net)
2020-10-31 18:33:08 +0100 <monsterchrom> And the chocolatey way may or may not give you WinGHCi. (I bet not.)
2020-10-31 18:33:11 +0100 <merijn> davean: Which is why I strongly advocated for dropping it when that the discussion was in #ghc
2020-10-31 18:33:12 +0100texasmynsted(~texasmyns@212.102.45.109) (Ping timeout: 256 seconds)
2020-10-31 18:33:36 +0100 <__monty__> I suspect it's just a prof that's used to the GHC installed on lab and other uni computers.
2020-10-31 18:33:37 +0100 <davean> merijn: I thought there were still supported ones, but not for new installs. But none of those places *would* install GHC
2020-10-31 18:33:59 +0100 <merijn> Anyone whose big and legacy enough to still run 32bit machines clearly has plenty of money to pay for getting things working
2020-10-31 18:34:03 +0100 <__monty__> newbi: Compiling your code is fine. GHCi is an interpreter though, can be useful to try things out in.
2020-10-31 18:34:29 +0100 <monsterchrom> I want to point out the irony that no one knows what has really happened, and we are all talking wind.
2020-10-31 18:34:39 +0100nschoe(~quassel@2a01:e0a:3c4:c7b0:b8f0:6b21:1cae:fc94) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2020-10-31 18:34:41 +0100whatisRT(~whatisRT@2002:5b41:6a33:0:f988:5b44:bba9:c342)
2020-10-31 18:34:42 +0100 <merijn> monsterchrom: hmm?
2020-10-31 18:34:43 +0100christo(~chris@81.96.113.213)
2020-10-31 18:34:56 +0100 <monsterchrom> No one knows whether the asker is using the GHC HQ tar.xz file or chocolatey or what.
2020-10-31 18:35:37 +0100 <monsterchrom> No one knows which version, is it 8.10.x or 7.4.x or 6.10.x or what.
2020-10-31 18:35:53 +0100 <monsterchrom> No one knows what the asker has really tried or not tried.
2020-10-31 18:36:02 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-31 18:36:06 +0100 <merijn> monsterchrom: I think that's separate from the GHC 32bit windows discussion, though :p
2020-10-31 18:36:29 +0100 <monsterchrom> No one knows whether the course instructor has shown using WinGHCi during class, or it's just the asker XY-problem it to "I think I need WinGHCi".
2020-10-31 18:36:50 +0100 <newbi> okay, sorry for not being clear. i installed chocolatey, yes. but it didnt come with WinGHCi, but our teacher uses it
2020-10-31 18:37:02 +0100 <monsterchrom> See?
2020-10-31 18:37:07 +0100 <newbi> she says we should get it with chocolatey
2020-10-31 18:37:21 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0) (Remote host closed the connection)
2020-10-31 18:37:39 +0100 <monsterchrom> I haven't checked, but it is very likely newer GHC versions don't come with WinGHCi. Old versions did.
2020-10-31 18:37:43 +0100 <newbi> the course is discontinued probably in the new programme, so im probably the last gen learning Haskell
2020-10-31 18:37:50 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0)
2020-10-31 18:38:11 +0100 <newbi> im getting the hang of it now, thanks guys.
2020-10-31 18:39:00 +0100 <__monty__> That's too bad.
2020-10-31 18:39:02 +0100juri_(~juri@178.63.35.222) (Ping timeout: 260 seconds)
2020-10-31 18:39:10 +0100 <__monty__> Consider yourself lucky ; )
2020-10-31 18:39:31 +0100 <monsterchrom> But what __monty__ said. Don't worry about WinGHCi, it doesn't have important extra features. Use ghci directly. This won't affect the *.hs files you will have to hand in.
2020-10-31 18:40:01 +0100 <newbi> yea, it just looks easier the way she is using it
2020-10-31 18:40:11 +0100 <newbi> i bet logic programming will come in handy
2020-10-31 18:40:30 +0100 <monsterchrom> You will have to go through Window's "command prompt" though.
2020-10-31 18:40:48 +0100 <__monty__> I love prolog+haskell courses. Some of the most mind boggling : )
2020-10-31 18:41:16 +0100 <monsterchrom> Oh, I just inflicted shfit/reset on my students yesterday in a similar course.
2020-10-31 18:41:18 +0100 <__monty__> GHCi doesn't run in powershell? (That's the newer windows terminal is it not?)
2020-10-31 18:41:25 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-31 18:41:37 +0100 <monsterchrom> I haven't tried. I guess it works the same.
2020-10-31 18:42:56 +0100 <monsterchrom> The only thing I care on my Windows box right now is I want the downloading of AoE3DE to finish but I don't want to be a bandwidth hog (wrt my family) so how many more hours do I have to wait. :)
2020-10-31 18:43:05 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-10-31 18:44:16 +0100 <monsterchrom> Especially in the context of: last night I already got like 80% of it, then suddenly they pushed out the Oct30 hotfix, so it reset to 0% and started from scratch.
2020-10-31 18:44:24 +0100chaosmasttter(~chaosmast@p200300c4a72dee0155b8dce6c2fd4efc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-31 18:44:31 +0100coot_(~coot@37.30.53.159.nat.umts.dynamic.t-mobile.pl)
2020-10-31 18:44:59 +0100 <merijn> monsterchrom: Invest in better internet :p
2020-10-31 18:45:11 +0100 <monsterchrom> :)
2020-10-31 18:45:38 +0100juri_(~juri@178.63.35.222)
2020-10-31 18:46:25 +0100 <davean> monsterchrom: just how slow is your internet?
2020-10-31 18:46:27 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-10-31 18:46:37 +0100whatisRT(~whatisRT@2002:5b41:6a33:0:f988:5b44:bba9:c342) (Ping timeout: 260 seconds)
2020-10-31 18:46:42 +0100 <newbi> okay i hope i wont be bothering you guys, i will have about dozen questions in a few hours.
2020-10-31 18:46:59 +0100 <newbi> i need to write negative numbers in braces?
2020-10-31 18:47:08 +0100 <monsterchrom> full speed is 25Mbps. I could use full speed and get it down in < 2 hours. But I'm nice, I'm using 10% of that.
2020-10-31 18:47:11 +0100 <davean> yes, to distinguish it from subtraction
2020-10-31 18:47:40 +0100 <davean> monsterchrom: no QoS?
2020-10-31 18:47:53 +0100 <__monty__> newbi: Not always per se but it's a good habit.
2020-10-31 18:47:54 +0100 <monsterchrom> No.
2020-10-31 18:48:07 +0100 <newbi> okay, and is there a function for absolute value? because when i name my function "abs" i get an error that it could be referred to other functions that i dont know how to even use
2020-10-31 18:48:23 +0100 <monsterchrom> > abs (-4)
2020-10-31 18:48:26 +0100 <lambdabot> 4
2020-10-31 18:48:27 +0100coot(~coot@37.30.55.3.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 268 seconds)
2020-10-31 18:48:27 +0100coot_coot
2020-10-31 18:49:18 +0100 <newbi> oh okay thanks, is there a way to override default functions
2020-10-31 18:49:18 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-31 18:49:36 +0100 <monsterchrom> Yes, but do you have to?
2020-10-31 18:50:11 +0100 <newbi> no :)
2020-10-31 18:50:31 +0100muniftanjim(~MunifTanj@103.113.153.27)
2020-10-31 18:51:00 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2020-10-31 18:52:20 +0100 <__monty__> monsterchrom: I wish LEDBAT was easy to use for scenarios like that.
2020-10-31 18:54:06 +0100 <monsterchrom> If the wikiepdia entry for that is to be believed, more like "actually available".
2020-10-31 18:54:11 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2020-10-31 18:55:53 +0100 <__monty__> I mean, it's used by bittorrent clients, so there must be a foss implementation out there, right?
2020-10-31 18:57:15 +0100LKoen(~LKoen@127.251.88.92.rev.sfr.net) (Remote host closed the connection)
2020-10-31 18:57:15 +0100 <monsterchrom> How do I convince the Steam client to use it?
2020-10-31 18:57:38 +0100LKoen(~LKoen@127.251.88.92.rev.sfr.net)
2020-10-31 18:58:41 +0100kritzefitz(~kritzefit@212.86.56.80)
2020-10-31 18:58:45 +0100 <__monty__> Well now we get to my lamentation.
2020-10-31 18:58:59 +0100chaosmasttter(~chaosmast@p200300c4a72dee0155b8dce6c2fd4efc.dip0.t-ipconnect.de)
2020-10-31 19:00:02 +0100qrf(~qrf@139.28.218.148) ()
2020-10-31 19:00:19 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-31 19:00:53 +0100 <[exa]> monsterchrom: you can switch the tcp congestion algorithm in kernel, I guess it can be done even for process groups
2020-10-31 19:01:17 +0100 <[exa]> (that is, if steam uses TCP)
2020-10-31 19:01:46 +0100 <monsterchrom> How do I switch the TCP congestion algorithm in the Windows kernel? Do I have to recompile the kernel?
2020-10-31 19:01:53 +0100ubert(~Thunderbi@p200300ecdf1e539fe6b318fffe838f33.dip0.t-ipconnect.de)
2020-10-31 19:02:34 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-31 19:02:57 +0100ddellacosta(~dd@86.106.121.168)
2020-10-31 19:04:56 +0100Jeanne-Kamikaze(~Jeanne-Ka@68.235.43.102) (Quit: Leaving)
2020-10-31 19:05:23 +0100ech(~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-31 19:05:41 +0100Jeanne-Kamikaze(~Jeanne-Ka@68.235.43.110)
2020-10-31 19:06:27 +0100knupfer(~Thunderbi@200116b82ca398005405fcfffe7ba592.dip.versatel-1u1.de)
2020-10-31 19:06:27 +0100knupfer(~Thunderbi@200116b82ca398005405fcfffe7ba592.dip.versatel-1u1.de) (Client Quit)
2020-10-31 19:06:37 +0100avdb(~avdb@ip-62-235-106-155.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-10-31 19:06:41 +0100knupfer(~Thunderbi@mue-88-130-61-042.dsl.tropolys.de)
2020-10-31 19:07:35 +0100thir_(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-10-31 19:07:49 +0100Tario(~Tario@200.119.184.172) (Ping timeout: 258 seconds)
2020-10-31 19:08:26 +0100 <[exa]> monsterchrom: no idea. :]
2020-10-31 19:10:10 +0100 <newbi> whats with GHCi and tabs? what should i do? the functions still load but the errors are annoying
2020-10-31 19:10:30 +0100thir_(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-31 19:10:32 +0100 <newbi> i dont want all code to be in one line
2020-10-31 19:10:37 +0100Tario(~Tario@201.204.63.11)
2020-10-31 19:10:39 +0100thir(~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-10-31 19:10:41 +0100Amras(~Amras@unaffiliated/amras0000) (Quit: Leaving)
2020-10-31 19:10:47 +0100 <monsterchrom> use spaces.
2020-10-31 19:10:56 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-10-31 19:11:27 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-31 19:11:47 +0100kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-31 19:12:44 +0100muniftanjim(~MunifTanj@103.113.153.27) ()
2020-10-31 19:13:47 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-31 19:14:03 +0100yangby(~secret@220.191.36.22)
2020-10-31 19:14:12 +0100yangby(~secret@220.191.36.22) (Client Quit)
2020-10-31 19:14:33 +0100kritzefitz(~kritzefit@212.86.56.80)
2020-10-31 19:15:04 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-31 19:15:09 +0100LKoen(~LKoen@127.251.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2020-10-31 19:15:26 +0100LKoen(~LKoen@127.251.88.92.rev.sfr.net)
2020-10-31 19:15:40 +0100jumper149(~jumper149@ip185225.wh.uni-hannover.de)
2020-10-31 19:16:12 +0100Amras(~Amras@unaffiliated/amras0000)
2020-10-31 19:16:28 +0100 <tomsmeding> perhaps the ghc error message for tabs should include a note that spaces are the alternative
2020-10-31 19:16:37 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-31 19:16:49 +0100 <tomsmeding> this is not the first person I've seen who responds to the warning in question with "but I don't want my functions to be one-liners"
2020-10-31 19:17:03 +0100 <tomsmeding> s/error/warning/
2020-10-31 19:17:32 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-31 19:18:32 +0100 <DigitalKiWicked> i make all of my functions one line so i can run sort on the source files
2020-10-31 19:18:36 +0100 <newbi> it did print that i use spaces instead, i just wasnt used to it
2020-10-31 19:19:08 +0100 <davean> tabs are widly considered a problem in programming, though its really the mixingthat causes issues
2020-10-31 19:19:11 +0100 <tomsmeding> DigitalKiWicked: how do you handle the invesion of 'module' and 'import' lines ;)
2020-10-31 19:19:24 +0100 <DigitalKiWicked> copy paste
2020-10-31 19:19:25 +0100conal(~conal@64.71.133.70)
2020-10-31 19:19:45 +0100 <davean> why not just use an inteligent sort?
2020-10-31 19:19:50 +0100 <davean> also, why do you want it sorted?
2020-10-31 19:19:55 +0100 <DigitalKiWicked> mono repo? pfft! mono file!
2020-10-31 19:21:11 +0100 <tomsmeding> makes me think of that APL co-defns compiler
2020-10-31 19:21:40 +0100 <tomsmeding> that compiles APL code for the GPU while running the compiler itself on the GPU, and its source has one function per line and is like ~200 lines long or something
2020-10-31 19:22:40 +0100 <DigitalKiWicked> davean: if i can sort it i don't have to think about what the order should be the program decides and also it's uniform and things are easier to find because it's ordered
2020-10-31 19:22:40 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-31 19:22:50 +0100tenniscp25(~tenniscp2@134.196.209.118) (Remote host closed the connection)
2020-10-31 19:22:53 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-31 19:22:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-31 19:23:25 +0100tenniscp25(~tenniscp2@134.196.209.118)
2020-10-31 19:23:52 +0100 <DigitalKiWicked> i do actually sort data types and lists and also the way i format lists is such that they're easier to sort...
2020-10-31 19:24:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 19:24:17 +0100 <tomsmeding> also https://news.ycombinator.com/item?id=13590065
2020-10-31 19:25:27 +0100LKoen(~LKoen@127.251.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-10-31 19:27:45 +0100tenniscp25(~tenniscp2@134.196.209.118) (Ping timeout: 258 seconds)
2020-10-31 19:28:04 +0100 <DigitalKiWicked> https://github.com/NixOS/nixpkgs/blob/5a05601013407fc755d1d0d4f6385a9c14b3125a/pkgs/tools/text/ocr…
2020-10-31 19:28:59 +0100 <DigitalKiWicked> ...most of that is how i want it i see some of it is not "right"
2020-10-31 19:29:04 +0100sam___(~sam@230.41.205.77.rev.sfr.net)
2020-10-31 19:30:07 +0100 <DigitalKiWicked> where "easier to sort" implies everything is on a separate line
2020-10-31 19:30:28 +0100 <DigitalKiWicked> plz don't look at the first line of the file
2020-10-31 19:31:29 +0100tomsmedingre-opens the just-closed tab to look at the first line
2020-10-31 19:31:48 +0100tomsmedingsmiles mischievously
2020-10-31 19:31:58 +0100 <DigitalKiWicked> i've tried but the reviewers get mad
2020-10-31 19:32:30 +0100 <DigitalKiWicked> BONUS! makes for cleaner git diffs
2020-10-31 19:32:30 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-31 19:32:33 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-31 19:32:41 +0100 <tomsmeding> that _is_ a good advantage
2020-10-31 19:33:04 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-31 19:34:50 +0100dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 260 seconds)
2020-10-31 19:35:16 +0100whatisRT(~whatisRT@2002:5b41:6a33:0:f988:5b44:bba9:c342)
2020-10-31 19:39:32 +0100ystael(~ystael@209.6.50.55)
2020-10-31 19:39:41 +0100ubert(~Thunderbi@p200300ecdf1e539fe6b318fffe838f33.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2020-10-31 19:39:47 +0100Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-31 19:39:59 +0100ubert(~Thunderbi@p200300ecdf1e539fe6b318fffe838f33.dip0.t-ipconnect.de)
2020-10-31 19:41:15 +0100newbi(97fcf0ed@151.252.240.237) (Remote host closed the connection)
2020-10-31 19:41:24 +0100Entertainment(~lyle@104.246.132.210)
2020-10-31 19:41:32 +0100thir(~thir@pd9e1bd8a.dip0.t-ipconnect.de)
2020-10-31 19:42:44 +0100st8less(~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 240 seconds)
2020-10-31 19:44:14 +0100ystael(~ystael@209.6.50.55) (Ping timeout: 258 seconds)
2020-10-31 19:45:31 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-31 19:46:27 +0100nullheroes(~danielvu@168.235.66.22) (Quit: WeeChat 2.9)
2020-10-31 19:47:22 +0100mokulus(~mat@176.111.230.96)
2020-10-31 19:47:58 +0100knupfer1(~Thunderbi@200116b82ca398007c4da5fffe586f54.dip.versatel-1u1.de)
2020-10-31 19:48:06 +0100knupfer(~Thunderbi@mue-88-130-61-042.dsl.tropolys.de) (Quit: knupfer)
2020-10-31 19:50:00 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 19:50:22 +0100knupfer1knupfer
2020-10-31 19:50:22 +0100knupfer(~Thunderbi@200116b82ca398007c4da5fffe586f54.dip.versatel-1u1.de) (Remote host closed the connection)
2020-10-31 19:50:32 +0100christo(~chris@81.96.113.213)
2020-10-31 19:50:36 +0100knupfer(~Thunderbi@200116b82ca398009c9b5ae621267c78.dip.versatel-1u1.de)
2020-10-31 19:54:48 +0100christo(~chris@81.96.113.213) (Ping timeout: 256 seconds)
2020-10-31 19:58:36 +0100st8less(~st8less@2603:a060:11fd:0:c96f:d665:e05e:9620)
2020-10-31 19:59:47 +0100texasmyn_texasmynsted
2020-10-31 20:00:23 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-31 20:00:46 +0100 <texasmynsted> Trying out fourmolu. What does this mean? "diff-friendly-import-export: false # 'false' uses Ormolu-style lists" I looked on the ormolu site and can't find what an ormolu style list is.
2020-10-31 20:01:06 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 258 seconds)
2020-10-31 20:02:09 +0100 <yushyin> 'import Foo ( \n func1,' vs import 'import Foo \n ( func1,'
2020-10-31 20:02:20 +0100 <yushyin> -import
2020-10-31 20:03:07 +0100 <yushyin> as far as I could tell
2020-10-31 20:03:26 +0100berberman_(~berberman@unaffiliated/berberman)
2020-10-31 20:03:26 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-31 20:03:29 +0100dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2020-10-31 20:03:50 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-31 20:04:18 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 268 seconds)
2020-10-31 20:05:09 +0100tenniscp25(~tenniscp2@134.196.209.118)
2020-10-31 20:06:27 +0100jumper149(~jumper149@ip185225.wh.uni-hannover.de) (Quit: WeeChat 2.9)
2020-10-31 20:06:38 +0100 <texasmynsted> oh. thank you
2020-10-31 20:06:45 +0100thir(~thir@pd9e1bd8a.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-31 20:08:44 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 20:09:50 +0100tenniscp25(~tenniscp2@134.196.209.118) (Ping timeout: 260 seconds)
2020-10-31 20:13:11 +0100sphaleritespookyscarysphal
2020-10-31 20:13:34 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-31 20:13:45 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-cymfrztsmarkfalc)
2020-10-31 20:15:13 +0100newbi(97fcf0ed@151.252.240.237)
2020-10-31 20:15:17 +0100comerijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-31 20:15:22 +0100Tops2(~Tobias@dyndsl-095-033-089-167.ewe-ip-backbone.de)
2020-10-31 20:16:06 +0100 <newbi> is it better to use if else statements or just define a few function states
2020-10-31 20:16:16 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-zyompbzjqpnqanhg) (Quit: Connection closed for inactivity)
2020-10-31 20:16:50 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2020-10-31 20:17:12 +0100 <newbi> e.g. if x == then smth or foo 0 = smth
2020-10-31 20:17:28 +0100 <newbi> if x == 0 *
2020-10-31 20:18:12 +0100 <byorgey> newbi: depends. Personally I try to avoid if-then-else whenever possible because the syntax/indentation is annoying
2020-10-31 20:18:28 +0100christo(~chris@81.96.113.213)
2020-10-31 20:18:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-31 20:18:42 +0100 <monsterchrom> For a simple case like this, it's fine either way.
2020-10-31 20:18:59 +0100Foritus(~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net)
2020-10-31 20:19:06 +0100 <newbi> do you know which case uses less resources
2020-10-31 20:19:16 +0100 <maerwald> multiwayif is slightly nicer
2020-10-31 20:19:17 +0100 <monsterchrom> Same resources.
2020-10-31 20:19:26 +0100 <newbi> thanks
2020-10-31 20:19:42 +0100 <monsterchrom> It is way too premature to worry about that.
2020-10-31 20:20:26 +0100 <newbi> yea, just curios. completed my assignment for this week, will hang out here for the next semester :)
2020-10-31 20:22:34 +0100newbi(97fcf0ed@151.252.240.237) (Remote host closed the connection)
2020-10-31 20:23:22 +0100LKoen(~LKoen@127.251.88.92.rev.sfr.net)
2020-10-31 20:24:37 +0100whatisRT(~whatisRT@2002:5b41:6a33:0:f988:5b44:bba9:c342) (Ping timeout: 260 seconds)
2020-10-31 20:31:21 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 20:32:11 +0100danso(~dan@69-165-210-185.cable.teksavvy.com)
2020-10-31 20:32:29 +0100nineonine(~textual@216-19-190-182.dyn.novuscom.net)
2020-10-31 20:33:17 +0100sam___(~sam@230.41.205.77.rev.sfr.net) (Ping timeout: 268 seconds)
2020-10-31 20:34:05 +0100kish(~oracle@unaffiliated/oracle) (Ping timeout: 240 seconds)
2020-10-31 20:35:29 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c427:c5ca:d62:565b)
2020-10-31 20:35:58 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-31 20:38:27 +0100_vaibhavingale_(~Adium@203.188.228.9) (Quit: Leaving.)
2020-10-31 20:38:47 +0100_vaibhavingale_(~Adium@203.188.228.9)
2020-10-31 20:39:17 +0100Entertainment(~lyle@104.246.132.210) ()
2020-10-31 20:40:15 +0100thir(~thir@pd9e1bd8a.dip0.t-ipconnect.de)
2020-10-31 20:41:02 +0100conal(~conal@64.71.133.70)
2020-10-31 20:42:04 +0100acidjnk_new(~acidjnk@p200300d0c72260940830e3b8f3af47a8.dip0.t-ipconnect.de)
2020-10-31 20:42:39 +0100kish(~oracle@unaffiliated/oracle)
2020-10-31 20:43:33 +0100_vaibhavingale_(~Adium@203.188.228.9) (Ping timeout: 260 seconds)
2020-10-31 20:43:52 +0100ech(~user@gateway/tor-sasl/ech)
2020-10-31 20:44:22 +0100darjeeling_(~darjeelin@122.245.121.118) (Ping timeout: 272 seconds)
2020-10-31 20:46:18 +0100darjeeling_(~darjeelin@122.245.121.118)
2020-10-31 20:49:42 +0100sam___(~sam@182.146.204.77.rev.sfr.net)
2020-10-31 20:50:39 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-31 20:51:36 +0100Tops2(~Tobias@dyndsl-095-033-089-167.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-10-31 20:51:38 +0100xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 264 seconds)
2020-10-31 20:52:40 +0100hackagehOpenPGP 2.9.5 - native Haskell implementation of OpenPGP (RFC4880) https://hackage.haskell.org/package/hOpenPGP-2.9.5 (ClintAdams)
2020-10-31 20:56:06 +0100mmohammadi9812(~mmohammad@2.178.123.90) (Ping timeout: 268 seconds)
2020-10-31 20:56:10 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2020-10-31 20:56:51 +0100conal(~conal@64.71.133.70)
2020-10-31 20:57:08 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2020-10-31 20:57:19 +0100conal(~conal@64.71.133.70) (Client Quit)
2020-10-31 20:58:07 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c427:c5ca:d62:565b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-31 21:00:28 +0100kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 260 seconds)
2020-10-31 21:01:12 +0100xerox_(~xerox@unaffiliated/xerox)
2020-10-31 21:03:35 +0100christo(~chris@81.96.113.213)
2020-10-31 21:07:45 +0100christo(~chris@81.96.113.213) (Ping timeout: 240 seconds)
2020-10-31 21:09:11 +0100HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving)
2020-10-31 21:11:45 +0100nineonine(~textual@216-19-190-182.dyn.novuscom.net) (Ping timeout: 240 seconds)
2020-10-31 21:12:39 +0100Tario(~Tario@201.204.63.11) (Ping timeout: 256 seconds)
2020-10-31 21:12:44 +0100aarvar(~foewfoiew@50.35.43.33) (Ping timeout: 240 seconds)
2020-10-31 21:13:01 +0100Tario(~Tario@201.204.63.11)
2020-10-31 21:14:52 +0100Sgeo_(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-31 21:16:11 +0100st8less_(~st8less@2603:a060:11fd:0:2478:3f17:6763:7e3e)
2020-10-31 21:16:25 +0100DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Ping timeout: 240 seconds)
2020-10-31 21:17:15 +0100notnatebtw(~nate@125.161.131.154) (Ping timeout: 265 seconds)
2020-10-31 21:18:08 +0100invaser(~Thunderbi@31.148.23.125)
2020-10-31 21:18:11 +0100ggole(~ggole@2001:8003:8119:7200:6492:5ce9:dfdc:4cda) (Quit: Leaving)
2020-10-31 21:18:13 +0100Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Ping timeout: 264 seconds)
2020-10-31 21:18:40 +0100hackagepandoc-dhall-decoder 0.1.0.0 - Decodes pandoc to dhall. https://hackage.haskell.org/package/pandoc-dhall-decoder-0.1.0.0 (locallycompact)
2020-10-31 21:19:12 +0100notnatebtw(~nate@125.161.131.30)
2020-10-31 21:20:26 +0100sam___(~sam@182.146.204.77.rev.sfr.net) (Ping timeout: 264 seconds)
2020-10-31 21:20:51 +0100thir(~thir@pd9e1bd8a.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-31 21:21:25 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-10-31 21:21:41 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-31 21:25:04 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-10-31 21:25:26 +0100christo(~chris@81.96.113.213)
2020-10-31 21:25:52 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net)
2020-10-31 21:28:10 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-10-31 21:28:21 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 21:28:28 +0100conal(~conal@64.71.133.70)
2020-10-31 21:28:50 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-31 21:28:58 +0100superfly1(~superfly@154.13.1.56)
2020-10-31 21:30:16 +0100texasmynsted(~texasmyns@212.102.45.109) (Remote host closed the connection)
2020-10-31 21:30:55 +0100texasmynsted(~texasmyns@212.102.45.109)
2020-10-31 21:31:15 +0100knupfer(~Thunderbi@200116b82ca398009c9b5ae621267c78.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
2020-10-31 21:32:35 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-31 21:33:25 +0100texasmynsted(~texasmyns@212.102.45.109) (Read error: Connection reset by peer)
2020-10-31 21:33:43 +0100christo(~chris@81.96.113.213)
2020-10-31 21:33:58 +0100mmohammadi9812(~mmohammad@2.178.188.172)
2020-10-31 21:35:46 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 21:37:26 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-31 21:37:40 +0100rprije(~rprije@194-193-168-77.tpgi.com.au)
2020-10-31 21:38:01 +0100ddellacosta(~dd@86.106.121.168) (Ping timeout: 264 seconds)
2020-10-31 21:38:06 +0100christo(~chris@81.96.113.213)
2020-10-31 21:38:12 +0100kritzefitz(~kritzefit@212.86.56.80)
2020-10-31 21:41:49 +0100sfvm(~sfvm@37.228.215.148)
2020-10-31 21:41:49 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Read error: Connection reset by peer)
2020-10-31 21:45:03 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-10-31 21:48:29 +0100mokulus(~mat@176.111.230.96) (Read error: Connection reset by peer)
2020-10-31 21:49:32 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-stehtktsnkxbdlii)
2020-10-31 21:51:50 +0100sam___(~sam@19.247.204.77.rev.sfr.net)
2020-10-31 21:52:14 +0100st8less(~st8less@2603:a060:11fd:0:c96f:d665:e05e:9620) (Ping timeout: 264 seconds)
2020-10-31 21:52:39 +0100st8less(~st8less@2603:a060:11fd:0:c96f:d665:e05e:9620)
2020-10-31 21:52:42 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-31 21:53:37 +0100taio(~enrik@p200300ceaf3ada00d81a6ace504c91ff.dip0.t-ipconnect.de)
2020-10-31 21:53:37 +0100dwt(~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 264 seconds)
2020-10-31 21:54:57 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-10-31 21:55:42 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-31 21:56:39 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-31 21:57:53 +0100wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-31 21:58:10 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-31 21:58:42 +0100Varis(~Tadas@unaffiliated/varis)
2020-10-31 21:59:19 +0100mokulus(~mat@176.111.230.96)
2020-10-31 22:00:01 +0100superfly1(~superfly@154.13.1.56) ()
2020-10-31 22:01:03 +0100st8less(~st8less@2603:a060:11fd:0:c96f:d665:e05e:9620) (Quit: WeeChat 2.7.1)
2020-10-31 22:01:09 +0100hackagepandoc-dhall-decoder 0.1.0.1 - Decodes pandoc to dhall. https://hackage.haskell.org/package/pandoc-dhall-decoder-0.1.0.1 (locallycompact)
2020-10-31 22:04:43 +0100machinedgod(~machinedg@207.253.244.210)
2020-10-31 22:07:07 +0100conal(~conal@64.71.133.70)
2020-10-31 22:08:04 +0100xff0x_(~fox@2001:1a81:5309:6900:c739:a68b:bd50:f0f2) (Ping timeout: 240 seconds)
2020-10-31 22:09:16 +0100xff0x_(~fox@2001:1a81:5309:6900:d5d1:51a8:37d7:2b25)
2020-10-31 22:09:32 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 22:12:26 +0100matthew-(~matthew@smtp.wellquite.org)
2020-10-31 22:14:33 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-31 22:14:44 +0100 <matthew-> If a function has type of forall A. x -> A where x is some mono-type, it seems to me to be an indication of infinite recursion in the function - is this true, and is there a proof or a generalisation of such a thing?
2020-10-31 22:15:09 +0100 <comerijn> matthew-: As in "Int -> a"?
2020-10-31 22:15:16 +0100 <matthew-> yeah
2020-10-31 22:15:26 +0100 <dolio> Yeah, it indicates some sort of exception or non-termination.
2020-10-31 22:15:28 +0100 <matthew-> where "has a type" is really "is inferred to have type"
2020-10-31 22:15:42 +0100 <comerijn> matthew-: Sounds like you might be interested in "Theorems for Free!"/
2020-10-31 22:16:11 +0100 <matthew-> ahh, that's a phrase I've passed over in the last few days, yes.
2020-10-31 22:16:13 +0100 <comerijn> matthew-: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.38.9875&rep=rep1&type=pdf
2020-10-31 22:16:18 +0100 <matthew-> thank you, I'll have a read
2020-10-31 22:16:55 +0100Tario(~Tario@201.204.63.11) (Ping timeout: 246 seconds)
2020-10-31 22:17:07 +0100 <matthew-> having just implemented HM(X), I was astonished to see unbounded use of fix result of Int -> A
2020-10-31 22:17:20 +0100 <matthew-> and then it corrected itself when I added the base case...
2020-10-31 22:17:29 +0100 <matthew-> (and implemented "If"...)
2020-10-31 22:17:49 +0100 <comerijn> matthew-: Similarly sometimes people use Void to signal similar infinite recursion
2020-10-31 22:18:06 +0100 <comerijn> :t forever -- note the completely free 'b' here
2020-10-31 22:18:07 +0100 <lambdabot> Applicative f => f a -> f b
2020-10-31 22:18:22 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-31 22:18:41 +0100 <comerijn> Void being "data Void" (or in older Haskell versions "data Void = Void Void"
2020-10-31 22:18:43 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-10-31 22:18:44 +0100 <comerijn> )
2020-10-31 22:18:58 +0100 <hpc> newtype
2020-10-31 22:19:12 +0100Tario(~Tario@200.119.184.3)
2020-10-31 22:19:12 +0100 <comerijn> I just realised that's wrong, yeah >.>
2020-10-31 22:19:30 +0100 <matthew-> such a shame this implication is an if, and not an iff ;)
2020-10-31 22:19:33 +0100 <comerijn> Someone else can figure out what I meant to type :p
2020-10-31 22:19:48 +0100gioyik(~gioyik@186.112.105.190)
2020-10-31 22:20:36 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-31 22:23:09 +0100hackage(mniip@haskell/bot/hackage) (Read error: Connection reset by peer)
2020-10-31 22:23:45 +0100hackage(mniip@haskell/bot/hackage)
2020-10-31 22:28:45 +0100bennofs1(~benno@dslb-188-106-255-000.188.106.pools.vodafone-ip.de) (Quit: WeeChat 2.9)
2020-10-31 22:29:27 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-31 22:31:56 +0100machinedgod(~machinedg@207.253.244.210) (Remote host closed the connection)
2020-10-31 22:32:03 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-31 22:32:23 +0100ech(~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-31 22:32:53 +0100machinedgod(~machinedg@207.253.244.210)
2020-10-31 22:33:34 +0100chaosmasttter(~chaosmast@p200300c4a72dee0155b8dce6c2fd4efc.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-31 22:34:18 +0100 <jackdk> Is anyone aware of lenses that can fail noisily? I've been mucking around with profunctorish/arrowish decoders, and just noticed that `fromKey` might want to be `fromKey' :: (Failing f, Show k, Ixed m, Index m ~ k, IxValue m ~ v) => k -> LensLike f m a v a` https://www.irccloud.com/pastebin/mWf23ECx/Failing.hs
2020-10-31 22:34:57 +0100 <jackdk> `Failing` is a hacky typeclass to abstract over `Maybe`, `Either` and `These`, depending on how noisy you want your error reporting; perhaps there is a better way
2020-10-31 22:35:36 +0100ubert(~Thunderbi@p200300ecdf1e539fe6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-31 22:35:52 +0100ubert(~Thunderbi@p200300ecdf1e539fe6b318fffe838f33.dip0.t-ipconnect.de)
2020-10-31 22:35:56 +0100conal(~conal@64.71.133.70)
2020-10-31 22:41:49 +0100knupfer(~Thunderbi@200116b82ca39800d8796efffe0a1b48.dip.versatel-1u1.de)
2020-10-31 22:42:28 +0100knupfer(~Thunderbi@200116b82ca39800d8796efffe0a1b48.dip.versatel-1u1.de) (Remote host closed the connection)
2020-10-31 22:42:42 +0100knupfer(~Thunderbi@200116b82ca39800c888af6f5db88738.dip.versatel-1u1.de)
2020-10-31 22:42:43 +0100texasmynsted(~texasmyns@212.102.45.109)
2020-10-31 22:42:54 +0100heebo(~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net)
2020-10-31 22:43:04 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-31 22:44:49 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 22:45:01 +0100hackagecompdoc-dhall-decoder 0.1.0.0 - Allows you to write FromDhall instances for Compdoc https://hackage.haskell.org/package/compdoc-dhall-decoder-0.1.0.0 (locallycompact)
2020-10-31 22:45:59 +0100tenniscp25(~tenniscp2@134.196.209.118)
2020-10-31 22:47:52 +0100texasmynsted(~texasmyns@212.102.45.109) (Ping timeout: 272 seconds)
2020-10-31 22:47:53 +0100heebo(~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) (Remote host closed the connection)
2020-10-31 22:48:59 +0100whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2020-10-31 22:50:05 +0100whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2020-10-31 22:50:32 +0100tenniscp25(~tenniscp2@134.196.209.118) (Ping timeout: 265 seconds)
2020-10-31 22:51:43 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-31 22:53:23 +0100conal(~conal@64.71.133.70)
2020-10-31 22:53:37 +0100conal(~conal@64.71.133.70) (Client Quit)
2020-10-31 22:55:12 +0100conal(~conal@64.71.133.70)
2020-10-31 22:55:12 +0100conal(~conal@64.71.133.70) (Client Quit)
2020-10-31 22:56:15 +0100conal(~conal@64.71.133.70)
2020-10-31 22:59:32 +0100gioyik(~gioyik@186.112.105.190) (Ping timeout: 256 seconds)
2020-10-31 23:00:02 +0100wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-31 23:00:24 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 23:00:30 +0100hackagepolysemy-methodology 0.1.5.0 - Domain modelling algebra for polysemy https://hackage.haskell.org/package/polysemy-methodology-0.1.5.0 (locallycompact)
2020-10-31 23:01:48 +0100wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-31 23:02:48 +0100notnatebtw(~nate@125.161.131.30) (Quit: WeeChat 2.9)
2020-10-31 23:03:38 +0100invaser(~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds)
2020-10-31 23:04:22 +0100invaser(~Thunderbi@128-124-98-41.mobile.vf-ua.net)
2020-10-31 23:04:50 +0100wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-31 23:04:59 +0100Tario(~Tario@200.119.184.3) (Ping timeout: 268 seconds)
2020-10-31 23:05:11 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-31 23:05:19 +0100Tario(~Tario@201.204.63.11)
2020-10-31 23:05:54 +0100kish`(~oracle@unaffiliated/oracle)
2020-10-31 23:06:04 +0100christo(~chris@81.96.113.213)
2020-10-31 23:06:16 +0100Tario(~Tario@201.204.63.11) (Read error: Connection reset by peer)
2020-10-31 23:06:58 +0100Tario(~Tario@201.204.63.11)
2020-10-31 23:07:25 +0100mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 240 seconds)
2020-10-31 23:08:41 +0100kish(~oracle@unaffiliated/oracle) (Ping timeout: 268 seconds)
2020-10-31 23:09:58 +0100coot(~coot@37.30.53.159.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 260 seconds)
2020-10-31 23:10:07 +0100invaser(~Thunderbi@128-124-98-41.mobile.vf-ua.net) (Read error: Connection reset by peer)
2020-10-31 23:10:26 +0100christo(~chris@81.96.113.213) (Ping timeout: 260 seconds)
2020-10-31 23:10:32 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-10-31 23:14:00 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-31 23:14:44 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-31 23:16:37 +0100texasmynsted(~texasmyns@212.102.45.109)
2020-10-31 23:17:24 +0100texasmyn_(~texasmyns@212.102.45.109)
2020-10-31 23:17:47 +0100texasmynsted(~texasmyns@212.102.45.109) (Read error: Connection reset by peer)
2020-10-31 23:18:33 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Ping timeout: 268 seconds)
2020-10-31 23:18:43 +0100meowphius(~meowphius@pool-96-237-166-172.bstnma.fios.verizon.net)
2020-10-31 23:19:16 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-31 23:19:43 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-31 23:20:02 +0100st8less_(~st8less@2603:a060:11fd:0:2478:3f17:6763:7e3e) (Quit: WeeChat 2.7.1)
2020-10-31 23:20:11 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-31 23:20:55 +0100pasmuth(62ead86f@c-98-234-216-111.hsd1.ca.comcast.net)
2020-10-31 23:21:10 +0100Franciman(~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving)
2020-10-31 23:22:07 +0100pasmuth(62ead86f@c-98-234-216-111.hsd1.ca.comcast.net) ()
2020-10-31 23:26:11 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-31 23:26:18 +0100ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-31 23:26:50 +0100bennofs1(~benno@dslb-188-106-255-000.188.106.pools.vodafone-ip.de)
2020-10-31 23:27:11 +0100wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-31 23:27:33 +0100p-core(~Thunderbi@koleje-wifi-0045.koleje.cuni.cz)
2020-10-31 23:29:05 +0100gioyik(~gioyik@186.112.105.190)
2020-10-31 23:29:34 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-10-31 23:29:40 +0100Neo--(~neo@188-230-154-134.dynamic.t-2.net) (Ping timeout: 272 seconds)
2020-10-31 23:33:34 +0100gioyik(~gioyik@186.112.105.190) (Ping timeout: 246 seconds)
2020-10-31 23:33:42 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-31 23:34:35 +0100ubert(~Thunderbi@p200300ecdf1e539fe6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-10-31 23:34:37 +0100mokulus(~mat@176.111.230.96) (Ping timeout: 258 seconds)
2020-10-31 23:36:21 +0100ddellacosta(~dd@86.106.121.168)
2020-10-31 23:37:40 +0100knupfer(~Thunderbi@200116b82ca39800c888af6f5db88738.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
2020-10-31 23:38:08 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds)
2020-10-31 23:38:24 +0100hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-31 23:38:37 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer)
2020-10-31 23:39:23 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-31 23:39:36 +0100Lord_of_Life(~Lord@46.217.218.94)
2020-10-31 23:39:36 +0100Lord_of_Life(~Lord@46.217.218.94) (Changing host)
2020-10-31 23:39:36 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-31 23:39:42 +0100jedws(~jedws@101.184.150.81)
2020-10-31 23:43:03 +0100hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-31 23:45:41 +0100Tario(~Tario@201.204.63.11) (Ping timeout: 268 seconds)
2020-10-31 23:46:07 +0100Tario(~Tario@200.119.187.37)
2020-10-31 23:46:33 +0100split(~split@81-197-163-75.elisa-laajakaista.fi)
2020-10-31 23:50:20 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-31 23:51:05 +0100texasmyn_texasmynsted
2020-10-31 23:51:41 +0100kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-31 23:52:21 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-31 23:53:03 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-31 23:53:42 +0100taurux(~taurux@net-130-25-101-160.cust.vodafonedsl.it) (Ping timeout: 268 seconds)
2020-10-31 23:54:38 +0100taurux(~taurux@net-188-152-104-202.cust.dsl.teletu.it)