2021/05/23

2021-05-23 00:00:32 +0200 <monochrom> Yeah, unfortunately Snoyman blogged to make people believe there are "good parts" and "bad parts".
2021-05-23 00:01:11 +0200 <monochrom> That blog entry was basically unheard of by the regulars here because we don't read his blog.
2021-05-23 00:01:38 +0200 <Vq> n+k patterns were removed, I guess enough people deemed that a "bad part".
2021-05-23 00:01:38 +0200ddellacosta(~ddellacos@89.46.62.122)
2021-05-23 00:03:27 +0200 <boxscape> Certainly seems like if they had never existed they never would be able to make it into the language today
2021-05-23 00:03:37 +0200 <boxscape> the use case seems fairly narrow
2021-05-23 00:04:13 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 244 seconds)
2021-05-23 00:04:16 +0200 <boxscape> (mostly "demonstrate neat little introductory examples of how Haskell looks like math", I would think)
2021-05-23 00:04:47 +0200 <boxscape> though I'm not sure why I'm going on about this, not like I have to convince anyone
2021-05-23 00:05:42 +0200wonko_(~wjc@62.115.229.50) (Ping timeout: 264 seconds)
2021-05-23 00:05:56 +0200 <pflanze> I was using the "good parts" sentence referring to JavaScript. I haven't read any blog post on this about Haskell.
2021-05-23 00:06:10 +0200ddellacosta(~ddellacos@89.46.62.122) (Ping timeout: 264 seconds)
2021-05-23 00:06:28 +0200 <Vq> boxscape: I think that's exactly it.
2021-05-23 00:07:45 +0200 <pflanze> What I basically meant is, "how do I write good Haskell code that's generic or easy to modify, what do I need to know to achieve this?"
2021-05-23 00:07:58 +0200pretty_dumm_guy(~trottel@217.138.220.198) (Quit: WeeChat 3.2-dev)
2021-05-23 00:09:27 +0200 <boxscape> Matt Parson's is writing a "Haskell in production" book which seems like it might go in that direction, but I haven't actually read it yet
2021-05-23 00:09:31 +0200 <boxscape> ( https://leanpub.com/production-haskell )
2021-05-23 00:09:32 +0200 <pflanze> Like, I know to avoid a range of non-total functions like `head`, now `map`, now fmap is for Functor not Traversable, so it's a bit confusing to see which are the right bits for which cases.
2021-05-23 00:09:42 +0200 <boxscape> also his name is not a genetive, actually, it's Matt Parsons
2021-05-23 00:10:48 +0200 <boxscape> pflanze a good primer on Functor and Traversable etc is the Typeclassopedia
2021-05-23 00:10:52 +0200 <boxscape> @where typeclassopedia
2021-05-23 00:10:52 +0200 <lambdabot> http://www.haskell.org/haskellwiki/Typeclassopedia
2021-05-23 00:11:10 +0200 <pflanze> Thanks, I'll check those out
2021-05-23 00:21:41 +0200gehmehgeh(~ircuser1@user/gehmehgeh) (Quit: Leaving)
2021-05-23 00:27:04 +0200post-factum21(~post-fact@2403:6200:8000:a6:1944:23a:d705:4f2b)
2021-05-23 00:27:08 +0200post-factum21(~post-fact@2403:6200:8000:a6:1944:23a:d705:4f2b) (K-Lined)
2021-05-23 00:27:36 +0200zikey(~zikey@197.253.219.210) ()
2021-05-23 00:30:57 +0200opal25(~opal@2804:18:401a:9314:1:0:1203:7ada)
2021-05-23 00:31:01 +0200opal25(~opal@2804:18:401a:9314:1:0:1203:7ada) (K-Lined)
2021-05-23 00:31:59 +0200amahl(~amahl@dxv5skybfp5vl4n44dmbt-3.rev.dnainternet.fi) (Ping timeout: 272 seconds)
2021-05-23 00:44:51 +0200Morrow(~MorrowM_@147.161.15.179) (Ping timeout: 272 seconds)
2021-05-23 00:47:44 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-23 00:47:45 +0200haskman(~haskman@223.233.96.253)
2021-05-23 00:49:31 +0200Morrow(~MorrowM_@147.161.15.179)
2021-05-23 00:49:36 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-23 00:49:50 +0200juhp(~juhp@128.106.188.199)
2021-05-23 00:52:22 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2021-05-23 00:53:20 +0200heath(~heath@68.68.64.38)
2021-05-23 00:53:23 +0200daniel(uid501063@id-501063.charlton.irccloud.com)
2021-05-23 00:53:47 +0200danielGuest8168
2021-05-23 00:53:53 +0200Guest8168kaze
2021-05-23 00:56:04 +0200 <boxscape> Seems strange that Parsec still defines its own <|> instead of just re-exporting the one from Control.Applicative
2021-05-23 00:56:41 +0200kazedt
2021-05-23 00:57:01 +0200dtdan
2021-05-23 00:57:03 +0200Jeanne-Kamikaze(~Jeanne-Ka@192.252.212.59) (Quit: Leaving)
2021-05-23 00:57:20 +0200 <boxscape> (same with `many` etc.)
2021-05-23 00:57:20 +0200nan`(~nan`@68.235.43.173) (Quit: Computer is sleeping. ZZZzzz…)
2021-05-23 00:57:21 +0200dankaze
2021-05-23 00:57:44 +0200irc_user(uid423822@id-423822.tooting.irccloud.com)
2021-05-23 00:58:02 +0200sm2n(~sm2n@user/sm2n)
2021-05-23 00:58:29 +0200kaze(uid501063@id-501063.charlton.irccloud.com) ()
2021-05-23 00:58:40 +0200hamhamtaro
2021-05-23 00:58:51 +0200hamtaroham
2021-05-23 00:58:55 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160)
2021-05-23 00:59:37 +0200sm2nsm2n_
2021-05-23 00:59:51 +0200alx741(~alx741@186.178.109.76) (Ping timeout: 272 seconds)
2021-05-23 01:00:03 +0200dteb(uid501063@id-501063.charlton.irccloud.com)
2021-05-23 01:00:33 +0200sprog(~1860f15a@ircip2.mibbit.com)
2021-05-23 01:00:37 +0200sm2n_sm2n
2021-05-23 01:00:59 +0200 <sprog> Wow, this channel has a lot more users than the one on Freenode.
2021-05-23 01:03:22 +0200Franciman(~francesco@host-80-180-196-134.retail.telecomitalia.it) (Quit: Leaving)
2021-05-23 01:03:56 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-05-23 01:05:16 +0200 <int-e> > 370 > 766
2021-05-23 01:05:18 +0200 <lambdabot> False
2021-05-23 01:05:36 +0200 <int-e> sprog: I don't understand the metric :)
2021-05-23 01:06:51 +0200 <Morrow> @let 370 > 766 = True
2021-05-23 01:06:51 +0200 <lambdabot> <command line>: cannot satisfy -trust random
2021-05-23 01:06:51 +0200 <lambdabot> (use -v for more information)
2021-05-23 01:07:21 +0200 <boxscape> foiled, yet again
2021-05-23 01:09:31 +0200 <int-e> uh, but that's not a good reason...
2021-05-23 01:10:29 +0200sprogdoesn't have the nicklist turned on in his irc client, so was just going off of memory.
2021-05-23 01:10:48 +0200 <int-e> But I probably know what's wrong.
2021-05-23 01:10:53 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-23 01:11:13 +0200 <int-e> @let 370 > 766 = True
2021-05-23 01:11:14 +0200 <lambdabot> Defined.
2021-05-23 01:11:22 +0200 <int-e> > 2 > 1
2021-05-23 01:11:24 +0200 <lambdabot> error:
2021-05-23 01:11:24 +0200 <lambdabot> Ambiguous occurrence ‘>’
2021-05-23 01:11:24 +0200 <lambdabot> It could refer to
2021-05-23 01:11:27 +0200 <int-e> @undef
2021-05-23 01:11:30 +0200 <lambdabot> Undefined.
2021-05-23 01:11:54 +0200 <boxscape> > fmap (+5) 4 -- int-e btw earlier I did this
2021-05-23 01:11:55 +0200 <lambdabot> error:
2021-05-23 01:11:55 +0200 <lambdabot> • Ambiguous type variable ‘f0’ arising from a use of ‘show_M449914741216...
2021-05-23 01:11:55 +0200 <lambdabot> prevents the constraint ‘(Show (f0 Integer))’ from being solved.
2021-05-23 01:12:10 +0200 <boxscape> and it said show more with @More
2021-05-23 01:12:12 +0200 <boxscape> @more
2021-05-23 01:12:12 +0200 <lambdabot> Plugin `more' failed with: Prelude.init: empty list
2021-05-23 01:12:15 +0200 <boxscape> but that appeared
2021-05-23 01:12:35 +0200alx741(~alx741@186.178.109.193)
2021-05-23 01:12:43 +0200 <boxscape> (okay actually it said [15 @more lines]
2021-05-23 01:12:52 +0200 <boxscape> )
2021-05-23 01:13:34 +0200 <int-e> hrm, interesting
2021-05-23 01:13:58 +0200 <ski> `@more' has been a bit broken/flaky, for a while. usually working for the next page, but then failing
2021-05-23 01:14:21 +0200 <int-e> when did I last touch that
2021-05-23 01:14:49 +0200 <int-e> 2013?!
2021-05-23 01:15:10 +0200 <int-e> (Well, that's More.hs itself)
2021-05-23 01:16:03 +0200whatsupboy(~scoby@user/scobydoo)
2021-05-23 01:17:39 +0200 <int-e> (Well, *I* never touched that module. But I may have touched something in Lambdabot's generic state handling machinery that broke it, hmm.)
2021-05-23 01:18:11 +0200 <int-e> Well, it'll have to wait
2021-05-23 01:18:33 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-23 01:19:02 +0200 <boxscape> I'll just imagine something for what the rest of the error message was until then :)
2021-05-23 01:19:39 +0200 <int-e> it'll be similar to the same thing in ghci
2021-05-23 01:19:44 +0200 <boxscape> that is true
2021-05-23 01:21:27 +0200whatsupboy(~scoby@user/scobydoo) (Quit: WeeChat 2.8)
2021-05-23 01:28:29 +0200space-shell(5862f726@107.161.19.109) (Quit: Connection closed)
2021-05-23 01:29:27 +0200 <int-e> https://github.com/lambdabot/lambdabot/issues/199 is all I have energy for right now :P
2021-05-23 01:30:43 +0200mmaruseacph2(~mihai@198.199.100.72)
2021-05-23 01:30:57 +0200 <boxscape> that's plenty
2021-05-23 01:32:21 +0200 <int-e> declaration of intent to fix
2021-05-23 01:33:24 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-23 01:38:13 +0200pe200012_pe200012
2021-05-23 01:39:34 +0200 <jaevanko> Is the "best" way to do a GUI in Haskell gi-gtk?
2021-05-23 01:40:07 +0200 <monochrom> All PhD theses that take forever to finish begin with a statement of intention to do a PhD. >:)
2021-05-23 01:41:25 +0200 <monochrom> I think yes.
2021-05-23 01:46:04 +0200FreeVariable(1f0aa548@107.161.19.109)
2021-05-23 01:47:10 +0200 <FreeVariable> Whenever I connect to this channel there is 0 history, 0 log, just an empty white page, which is not very enticing. Is it intended or is it because of my default settings?
2021-05-23 01:47:39 +0200 <FreeVariable> (I am new to this IRC thing)
2021-05-23 01:48:15 +0200 <monochrom> Intended.
2021-05-23 01:48:24 +0200 <monochrom> IRC servers don't keep history.
2021-05-23 01:48:34 +0200 <FreeVariable> Ouch.
2021-05-23 01:49:19 +0200 <FreeVariable> But Matrix does, so there would be a chat history for people connecting over Matrix?
2021-05-23 01:49:22 +0200 <ham> you can find them here though: https://ircbrowse.tomsmeding.com/browse/lchaskell
2021-05-23 01:49:33 +0200 <monochrom> I don't know Matrix.
2021-05-23 01:49:39 +0200 <FreeVariable> Okay.
2021-05-23 01:49:47 +0200 <monochrom> But I would ask the economic question: Who pays for the storage?
2021-05-23 01:49:49 +0200 <boxscape> FreeVariable I believe so, IIUC matrix stays connected to the IRC server so you don't have to
2021-05-23 01:49:54 +0200 <felixphew> FreeVariable: yes, but there's no Libera.Chat large-scale bridge set up yet
2021-05-23 01:50:01 +0200 <ham> (it's just not part of the irc protocol, like on discord or slack)
2021-05-23 01:50:06 +0200 <felixphew> (both communities are working on it)
2021-05-23 01:50:44 +0200 <FreeVariable> felixphew ham I see, thanks
2021-05-23 01:51:11 +0200haskman(~haskman@223.233.96.253) (Quit: Going to sleep. ZZZzzz…)
2021-05-23 01:51:11 +0200Deide(~Deide@user/deide) (Quit: Seeee yaaaa)
2021-05-23 01:52:35 +0200sm(~sm@172.56.44.219)
2021-05-23 01:52:35 +0200sm(~sm@172.56.44.219) (Changing host)
2021-05-23 01:52:35 +0200sm(~sm@plaintextaccounting/sm)
2021-05-23 01:52:59 +0200 <felixphew> many people either run a "bouncer" like znc that stays permanently connected to IRC and keeps history, or simply leave an IRC client running all the time (often on a remote server)
2021-05-23 01:53:40 +0200 <felixphew> also, many channels keep a public log - this one included: https://ircbrowse.tomsmeding.com/browse/lchaskell
2021-05-23 01:54:39 +0200 <FreeVariable> It's okay if you happen to have a simple question and to ask it during a favourable time window. But searchability, discoverability, and overall social experience is awful.
2021-05-23 01:55:00 +0200 <FreeVariable> I guess that's not the point of pure IRCs chats, I get it.
2021-05-23 01:55:59 +0200 <monochrom> Social experience eh?
2021-05-23 01:56:15 +0200FreeVariable(1f0aa548@107.161.19.109) (Quit: Connection closed)
2021-05-23 01:56:38 +0200 <monochrom> If my friends are at a pub and I join them late, I don't expect a replay.
2021-05-23 01:56:56 +0200 <monochrom> And that is not an awful social experience.
2021-05-23 01:57:08 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:88fc:3def:1205:9c05) (Read error: Connection reset by peer)
2021-05-23 01:57:44 +0200 <monochrom> And that is real life. Not this Facebook make-believe.
2021-05-23 01:59:34 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 264 seconds)
2021-05-23 02:00:32 +0200 <yushyin> they left ;D the irony that they won't see your answers after rejoin
2021-05-23 02:00:45 +0200 <monochrom> haha
2021-05-23 02:01:21 +0200 <monochrom> Why did they even come in the first place? Never saw them on Freenode.
2021-05-23 02:02:52 +0200 <felixphew> heard about new IRC net, gave it a try, saw Haskell (this is one of the bigger channels rn so you'd be near the top of the /list) and joined, presumably
2021-05-23 02:04:17 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Quit: leaving)
2021-05-23 02:05:54 +0200 <boxscape> maybe, but only if they confused "server" with "channel", since they specifically said "whenever I go to this channel"
2021-05-23 02:07:23 +0200ubuntu_(~ubuntu@ec2-13-49-142-87.eu-north-1.compute.amazonaws.com)
2021-05-23 02:07:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-05-23 02:12:39 +0200ubuntu_(~ubuntu@ec2-13-49-142-87.eu-north-1.compute.amazonaws.com) (Quit: leaving)
2021-05-23 02:13:28 +0200Guest5439(~ubuntu@ec2-13-49-142-87.eu-north-1.compute.amazonaws.com)
2021-05-23 02:14:45 +0200seven_three(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-23 02:16:31 +0200seven_three(~user@pool-96-252-123-136.bstnma.fios.verizon.net) ()
2021-05-23 02:17:17 +0200seven_three(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-23 02:22:30 +0200Gurkenglas__(~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2021-05-23 02:30:19 +0200 <boxscape> hm, so, if you want to have an action of type `IO A` that doesn't produce the `A` value every time you use it, somewhere in its definition you have to use unsafePerformIO (or another unsafe function), is that right?
2021-05-23 02:30:46 +0200 <mniip> no?
2021-05-23 02:30:50 +0200 <boxscape> example?
2021-05-23 02:30:57 +0200 <mniip> I'm not sure what you mean though
2021-05-23 02:31:32 +0200 <boxscape> like I do `do {x <- foo; y <- foo; pure (x, y)}`, and the two elements of the tuple are different
2021-05-23 02:31:48 +0200 <boxscape> my assertion is that `foo`'s implementation must use unsafePerformIO, directly or indirectly
2021-05-23 02:32:05 +0200seven_threeYY
2021-05-23 02:32:35 +0200YYGuest9574
2021-05-23 02:32:41 +0200 <ChaiTRex> boxscape: No, if foo :: IO Whatever, then it can produce different Whatever values each time it's called.
2021-05-23 02:32:44 +0200Guest9574X1
2021-05-23 02:32:51 +0200 <ChaiTRex> Like getLine :: IO String
2021-05-23 02:32:58 +0200 <boxscape> getLine uses unsafePerformIO
2021-05-23 02:32:59 +0200X1three_seven
2021-05-23 02:33:02 +0200 <ChaiTRex> Produces different lines based on what's typed.
2021-05-23 02:33:04 +0200 <boxscape> stdin is defined with it
2021-05-23 02:33:15 +0200 <boxscape> https://hackage.haskell.org/package/base-4.15.0.0/docs/src/GHC-IO-Handle-FD.html#stdin
2021-05-23 02:33:29 +0200nnm__(~nnm@109.252.72.186)
2021-05-23 02:33:35 +0200three_seven(~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Quit: ERC (IRC client for Emacs 27.2))
2021-05-23 02:33:41 +0200 <boxscape> (and `getLine` calls hGetLine `stdin`)
2021-05-23 02:33:49 +0200nnm_(~nnm@2a00:1370:811d:8e45:e6a3:c3d2:f62c:e07) (Read error: Connection reset by peer)
2021-05-23 02:33:49 +0200 <boxscape> err, `hGetLine stdin`
2021-05-23 02:34:19 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Quit: Konversation terminated!)
2021-05-23 02:34:38 +0200 <ChaiTRex> stdin isn't IO Handle.
2021-05-23 02:34:48 +0200 <ChaiTRex> It's Handle
2021-05-23 02:34:50 +0200 <boxscape> no, but getLine is IO Srring
2021-05-23 02:34:52 +0200 <boxscape> IO String
2021-05-23 02:35:00 +0200 <boxscape> and getLine uses stdin in it's implementation
2021-05-23 02:35:07 +0200 <boxscape> so it indirectly calls unsafePerformIO
2021-05-23 02:36:03 +0200 <boxscape> ...though I guess you could hardcode stdin to some specific value, hope that it's right, and then it would work without unsafePerformIO, hm
2021-05-23 02:36:24 +0200 <monochrom> This is an interesting observation but you need to sharpen your mind way more to see what it really means.
2021-05-23 02:36:33 +0200 <ChaiTRex> You can also use the stdin definition without unsafePerformIO
2021-05-23 02:36:41 +0200seven_three(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-23 02:36:45 +0200seven_three_37
2021-05-23 02:36:53 +0200 <boxscape> oh.
2021-05-23 02:36:55 +0200 <boxscape> true
2021-05-23 02:36:55 +0200 <monochrom> For starters "have" is very open-ended.
2021-05-23 02:37:02 +0200 <ChaiTRex> do { stdin <- stdinDefintionWithoutUnsafePerformIO; ... }
2021-05-23 02:37:23 +0200 <ChaiTRex> So, no, you don't need unsafePerformIO, strictly speaking.
2021-05-23 02:37:27 +0200 <boxscape> yeah
2021-05-23 02:37:50 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-23 02:37:57 +0200_37(~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Client Quit)
2021-05-23 02:38:26 +0200seven_three(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-23 02:38:42 +0200 <monochrom> The role of unsafePerformIO in this case is only to make stdin available at the top level.
2021-05-23 02:38:44 +0200seven_three(~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Remote host closed the connection)
2021-05-23 02:39:28 +0200justsomeguy(~chris@24.96.241.90)
2021-05-23 02:39:36 +0200_37(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-23 02:39:40 +0200 <boxscape> right, okay
2021-05-23 02:41:24 +0200_37(~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Client Quit)
2021-05-23 02:41:59 +0200_73(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-23 02:43:17 +0200pe200012(~pe200012@218.107.17.245) (Ping timeout: 272 seconds)
2021-05-23 02:43:25 +0200_73(~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Client Quit)
2021-05-23 02:43:51 +0200seven_three(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-23 02:44:49 +0200seven_three(~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Client Quit)
2021-05-23 02:45:05 +0200nighmi(~felix@port-92-196-54-216.dynamic.as20676.net) (Quit: WeeChat 3.0.1)
2021-05-23 02:45:10 +0200_73(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-23 02:46:16 +0200 <hpc> alternatively, you could imagine the fact that stdin is initialized before main gains control, and in another world haskell programs might start with "main stdin stdout stderr ... = do"
2021-05-23 02:46:33 +0200_73(~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Client Quit)
2021-05-23 02:46:40 +0200sprog(~1860f15a@ircip2.mibbit.com) (Quit: https://mibbit.com Online IRC Client)
2021-05-23 02:46:59 +0200_37(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-23 02:48:03 +0200_37(~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Client Quit)
2021-05-23 02:52:38 +0200 <boxscape> funnily enough the other example I just thought off that is of type `IO Something` is randomIO, but that *also* uses unsafePerformIO
2021-05-23 02:52:55 +0200 <boxscape> but I think if you were to read from a file on the harddrive, it wouldn't need unsafePerformIO
2021-05-23 02:53:00 +0200 <boxscape> s/off/of
2021-05-23 02:53:14 +0200 <boxscape> (and of course the file could change)
2021-05-23 02:53:28 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2021-05-23 02:55:57 +0200 <hpc> boxscape: there's an even better example, i forget what module it's in but there's a top-level definition of your operating system
2021-05-23 02:56:17 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-05-23 02:56:17 +0200 <hpc> i forget if it's at build-time or runtime, and if it has IO in the type, but it's something to contemplate
2021-05-23 02:56:35 +0200 <boxscape> hm
2021-05-23 02:57:20 +0200 <monochrom> System.Info.os? That one is compiled-time. Basically a cheesy CPP.
2021-05-23 02:58:04 +0200 <hpc> ah, boring
2021-05-23 02:58:13 +0200 <hpc> maybe that's why i forgot :P
2021-05-23 02:58:25 +0200 <boxscape> if it's this one it uses the FFI https://hackage.haskell.org/package/system-info-0.5.2/docs/src/System.OS.html
2021-05-23 02:58:31 +0200 <monochrom> Totally exploits the fact that GHC does not do cross-OS-compilation.
2021-05-23 02:59:00 +0200 <monochrom> How often do you get to say "linux GHC can't make a windows exe, and that's a good thing"? >:)
2021-05-23 02:59:08 +0200 <boxscape> hehe
2021-05-23 02:59:51 +0200dmwit(~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-05-23 03:00:49 +0200dmwit(~dmwit@pool-173-66-86-32.washdc.fios.verizon.net)
2021-05-23 03:00:50 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 264 seconds)
2021-05-23 03:01:35 +0200 <boxscape> Perhaps there's some way to make this more rigorous and correct though, IORefs and Random both seem to have this property and both don't get information from outside the haskell program
2021-05-23 03:02:11 +0200steve-chavez(~steve-cha@190.237.35.83)
2021-05-23 03:02:26 +0200steve-chavez(~steve-cha@190.237.35.83) (Client Quit)
2021-05-23 03:02:49 +0200steve-chavez(~steve-cha@190.237.35.83)
2021-05-23 03:03:51 +0200 <boxscape> oh, I think it might be the same criterion that lets effects be run in ST instead of in IO
2021-05-23 03:07:05 +0200 <boxscape> so
2021-05-23 03:07:19 +0200 <boxscape> do actions of type `ST Something` always have to return the same `Something`?
2021-05-23 03:07:50 +0200 <boxscape> ah wait
2021-05-23 03:07:55 +0200 <boxscape> that's not quite how ST works
2021-05-23 03:11:25 +0200hmmmas(~chenqisu1@183.217.200.8)
2021-05-23 03:11:47 +0200xff0x(~xff0x@2001:1a81:52a0:e100:12d8:511d:ef81:b662) (Ping timeout: 272 seconds)
2021-05-23 03:12:18 +0200 <boxscape> I suppose any `IO Something` you can get with `stToIO` must always produce the same value
2021-05-23 03:12:55 +0200xff0x(~xff0x@2001:1a81:52b2:9700:762c:2533:bcf3:80b7)
2021-05-23 03:14:02 +0200Morrow(~MorrowM_@147.161.15.179) (Ping timeout: 264 seconds)
2021-05-23 03:14:12 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-23 03:16:24 +0200 <yuglg> That seems right
2021-05-23 03:16:49 +0200Morrow(~Morrow@147.161.15.179)
2021-05-23 03:17:25 +0200 <boxscape> okay
2021-05-23 03:18:14 +0200Fare(~fare@2601:184:4a7f:995c:21a2:6e2:303e:7b32)
2021-05-23 03:18:49 +0200 <boxscape> what makes a little uncomfortable is that `stToIO` takes a `ST RealWorld a` rather than a `forall s. ST s a`, and I read everywhere that this universal quantification over threads is what makes it pure
2021-05-23 03:19:49 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2021-05-23 03:19:49 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 272 seconds)
2021-05-23 03:25:56 +0200cdsmith(~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net)
2021-05-23 03:27:35 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160) (Ping timeout: 252 seconds)
2021-05-23 03:32:49 +0200lwerdna(~lerdna@97.104.76.14) (Quit: Lost terminal)
2021-05-23 03:34:11 +0200waleee-cl(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 252 seconds)
2021-05-23 03:34:57 +0200dy(~dy@cpe-75-80-50-89.san.res.rr.com)
2021-05-23 03:35:29 +0200dy(~dy@cpe-75-80-50-89.san.res.rr.com) (Client Quit)
2021-05-23 03:35:47 +0200dy(~dy@cpe-75-80-50-89.san.res.rr.com)
2021-05-23 03:41:19 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com)
2021-05-23 03:55:24 +0200agander_m(sid407952@tinside.irccloud.com) (Ping timeout: 272 seconds)
2021-05-23 03:56:29 +0200agander_m(sid407952@id-407952.tinside.irccloud.com)
2021-05-23 04:00:10 +0200nnm__(~nnm@109.252.72.186) (Ping timeout: 264 seconds)
2021-05-23 04:01:35 +0200yin(~yang@user/yin) ()
2021-05-23 04:02:02 +0200 <nshepperd> that means it can access a previously created STRef Realworld
2021-05-23 04:02:20 +0200xlei(znc@pool-68-129-84-118.nycmny.fios.verizon.net) (Read error: Connection reset by peer)
2021-05-23 04:03:05 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2021-05-23 04:04:00 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-23 04:06:22 +0200barryfm(~Barry@184-089-175-050.res.spectrum.com)
2021-05-23 04:07:12 +0200xlei(znc@pool-68-129-84-118.nycmny.fios.verizon.net)
2021-05-23 04:08:04 +0200 <boxscape> Ah, I see.
2021-05-23 04:08:21 +0200 <nshepperd> i think it's only 'forall s. ST s Something' that are guaranteed to always produce the same value
2021-05-23 04:08:28 +0200 <boxscape> okay
2021-05-23 04:08:39 +0200 <nshepperd> as long as you don't use unsafeIOToST
2021-05-23 04:08:43 +0200 <boxscape> right
2021-05-23 04:09:36 +0200Techcable(~Techcable@168.235.93.147)
2021-05-23 04:12:54 +0200barryfm(~Barry@184-089-175-050.res.spectrum.com) (Quit: Leaving)
2021-05-23 04:14:17 +0200Erutuon(~Erutuon@97-116-14-180.mpls.qwest.net) (Ping timeout: 244 seconds)
2021-05-23 04:14:56 +0200barryfm(~Barry@184-089-175-050.res.spectrum.com)
2021-05-23 04:16:32 +0200Erutuon(~Erutuon@97-116-14-180.mpls.qwest.net)
2021-05-23 04:17:30 +0200irc_user(uid423822@id-423822.tooting.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-23 04:19:54 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-05-23 04:19:54 +0200finn_elijaGuest2589
2021-05-23 04:19:54 +0200Guest2589(~finn_elij@user/finn-elija/x-0085643) (Killed (tungsten.libera.chat (Nickname regained by services)))
2021-05-23 04:19:54 +0200FinnElijafinn_elija
2021-05-23 04:21:00 +0200Fare(~fare@2601:184:4a7f:995c:21a2:6e2:303e:7b32) (Ping timeout: 244 seconds)
2021-05-23 04:21:36 +0200liv(~liv@bras-base-burlon0233w-grc-86-70-30-52-48.dsl.bell.ca)
2021-05-23 04:22:09 +0200 <liv> Oh, V, are you the same V I'm thinking of?
2021-05-23 04:23:46 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-23 04:25:38 +0200vk3wtf(~doc@61.68.250.44) (Quit: WeeChat 3.0.1)
2021-05-23 04:25:56 +0200doc1(~doc@61.68.250.44)
2021-05-23 04:30:17 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-23 04:31:26 +0200 <dmwit> Um. I jumped into the middle of this, so I may be missing some context. But a `forall s. ST s Something` isn't guaranteed to always produce the same value (or what would be the point of ST?), and `stToIO :: ST RealWorld Something -> IO Something` is not guaranteed to always produce the same Something.
2021-05-23 04:32:45 +0200 <nshepperd> the point of st is to execute algorithms that are more efficient with mutability, isn't it?
2021-05-23 04:32:46 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-05-23 04:33:41 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net)
2021-05-23 04:34:39 +0200 <boxscape> okay, more precisely: Let's say you have an expression of type `x :: forall s . ST s Something`, and importantly x does not have any free variables. Would `main = stToIO x >>= print` always result in the same output?
2021-05-23 04:35:15 +0200 <boxscape> (or rather, would it be guaranteed to always have the same output for a given x))
2021-05-23 04:35:50 +0200 <dmwit> nshepperd: Yes, exactly. And mutability means if you look at the same variable twice you might get different answers.
2021-05-23 04:36:48 +0200 <nshepperd> dmwit: the forall is important
2021-05-23 04:37:05 +0200 <dmwit> nshepperd: `readSTRef foo` has the forall
2021-05-23 04:37:19 +0200 <nshepperd> no it doesn't
2021-05-23 04:37:41 +0200 <dmwit> boxscape: Hm. You are talking about "same across program executions", not "same across multiple references to x"? Why?
2021-05-23 04:37:55 +0200 <boxscape> `readSTRef :: STRef s a -> ST s a` is of type (forall s . STRef s a -> ST s a), not of type (forall s . ST s a)
2021-05-23 04:38:07 +0200 <boxscape> dmwit because it was the simplest way I could think of to make my question precise
2021-05-23 04:38:11 +0200 <nshepperd> the s is bound to the s of foo, not forall'd
2021-05-23 04:38:16 +0200 <nshepperd> in that case
2021-05-23 04:38:27 +0200 <boxscape> oh wait
2021-05-23 04:38:31 +0200 <boxscape> I missed the foo
2021-05-23 04:38:44 +0200 <boxscape> but yeah, no forall then I suppose
2021-05-23 04:38:51 +0200mrkajetanp_(~mrkajetan@88.98.245.28)
2021-05-23 04:39:02 +0200dmwitshrugs
2021-05-23 04:39:06 +0200 <dmwit> newSTRef has the forall
2021-05-23 04:39:14 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-23 04:40:00 +0200doc1(~doc@61.68.250.44) (Quit: WeeChat 3.1)
2021-05-23 04:40:15 +0200doc1(~doc@61.68.250.44)
2021-05-23 04:40:16 +0200 <boxscape> % :t newSTRef
2021-05-23 04:40:16 +0200 <yahb> boxscape: forall {a} {s}. a -> ST s (STRef s a)
2021-05-23 04:40:23 +0200barryfm(~Barry@184-089-175-050.res.spectrum.com) (Quit: Leaving)
2021-05-23 04:40:57 +0200 <boxscape> % :t newSTRef 'c' -- something like this would have the right type
2021-05-23 04:40:57 +0200 <yahb> boxscape: forall {s}. ST s (STRef s Char)
2021-05-23 04:41:00 +0200 <dmwit> If print showed you the, like, memory address that the reference was referencing, two runs of the program could reasonably allocate it in different places.
2021-05-23 04:41:31 +0200td_(~td@94.134.91.158) (Ping timeout: 272 seconds)
2021-05-23 04:41:40 +0200 <boxscape> hmm
2021-05-23 04:41:43 +0200 <nshepperd> you can wrap the resulting STRef in an existential container to hide the s, in which case yes, the result is in some sense different but the difference is useless
2021-05-23 04:42:08 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-23 04:42:39 +0200td_(~td@muedsl-82-207-238-244.citykom.de)
2021-05-23 04:44:36 +0200 <nshepperd> what i said is really just a complicated way of saying 'runST foo is referentially transparent'
2021-05-23 04:44:39 +0200slice(~slice@user/slice)
2021-05-23 04:45:15 +0200 <dmwit> stToIO lets you return it without wrapping in an existential. Yes, runST foo is referentially transparent but my read of the question is that we are explicitly asking about the unsafe version where we don't use runST.
2021-05-23 04:46:40 +0200 <dmwit> Here's a better example of my objection: if you wrote `main = do { x <- stToIO (newSTRef 'a'); y <- stToIO (newSTRef 'b'); print (a == b) }` I think GHC would be within its rights to make a program that sometimes printed True and sometimes False.
2021-05-23 04:47:48 +0200 <dmwit> Okay, I had to use stToIO on two actions instead of just one. But I think this is still in the spirit of boxscape's inquiry.
2021-05-23 04:48:00 +0200 <boxscape> I think so
2021-05-23 04:49:39 +0200 <nshepperd> a == b?
2021-05-23 04:49:47 +0200 <dmwit> Yes. STRef implements Eq.
2021-05-23 04:49:52 +0200 <boxscape> x == y
2021-05-23 04:49:59 +0200 <dmwit> Oh, sorry. Yes, x == y
2021-05-23 04:50:01 +0200 <dmwit> lol
2021-05-23 04:52:09 +0200 <nshepperd> what this tells us is that it's important that the s in forall s. ST s Something is not free in Something
2021-05-23 04:52:43 +0200 <boxscape> ah, interesting
2021-05-23 04:52:48 +0200 <dmwit> Yes. That is exactly the constraint that runST enforces.
2021-05-23 04:53:27 +0200 <dmwit> If you restrict your stToIO'ing to things you could have runST'd in the first place, sure, you're safe. But then... why didn't you just runST it?
2021-05-23 04:54:09 +0200 <boxscape> because the original question was about IO :)
2021-05-23 04:54:36 +0200 <boxscape> but yeah, fair point
2021-05-23 04:54:46 +0200 <dmwit> Okay. Well, IO Something is even more emphatically not guaranteed to produce the same Something every time.
2021-05-23 04:55:00 +0200 <boxscape> yeah
2021-05-23 04:55:29 +0200 <boxscape> the question basically became, what restrictions do we have to impose to make it so
2021-05-23 04:55:57 +0200willbush(~user@47.183.200.14)
2021-05-23 04:56:43 +0200whosit(~whosit@109.252.95.147) (Ping timeout: 272 seconds)
2021-05-23 04:57:24 +0200ddellacosta(~ddellacos@86.106.121.108)
2021-05-23 04:58:23 +0200 <dmwit> I think it's hard to safely do much better than ST. I think there's some work out there on using concurrency as an implementation technique, but making it safe by exposing an API that only allows parallelism.
2021-05-23 04:58:46 +0200 <boxscape> I see
2021-05-23 04:58:58 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds)
2021-05-23 05:01:26 +0200 <nshepperd> lvish, wasn't it? that whole lattice based framework for 'deterministic parallelism'
2021-05-23 05:01:49 +0200ddellacosta(~ddellacos@86.106.121.108) (Ping timeout: 244 seconds)
2021-05-23 05:02:24 +0200 <dmwit> Yeah. There's been a couple attempts, I think, though my recollection is that one is the most sophisticated of them.
2021-05-23 05:02:44 +0200exzeta__(~exzeta@client-8-84.eduroam.oxuni.org.uk) (Ping timeout: 252 seconds)
2021-05-23 05:03:37 +0200willbush(~user@47.183.200.14) (Remote host closed the connection)
2021-05-23 05:06:49 +0200na(~na@user/na)
2021-05-23 05:08:11 +0200whosit(~whosit@109-252-95-147.nat.spd-mgts.ru)
2021-05-23 05:09:15 +0200qualiaqq(~user@47.183.200.14)
2021-05-23 05:09:27 +0200boxscape(4ff0bb95@user/boxscape) (Quit: Ping timeout (120 seconds))
2021-05-23 05:09:46 +0200boxscape(4ff0bb95@user/boxscape)
2021-05-23 05:15:46 +0200whosit(~whosit@109-252-95-147.nat.spd-mgts.ru) (Ping timeout: 264 seconds)
2021-05-23 05:15:54 +0200smitop(uid328768@user/smitop) (Quit: Connection closed for inactivity)
2021-05-23 05:16:23 +0200whosit(~whosit@109.252.95.147)
2021-05-23 05:16:27 +0200na(~na@user/na) (WeeChat 3.0)
2021-05-23 05:17:15 +0200 <V> liv: which V are you thinking of? :o
2021-05-23 05:17:27 +0200Lord_of_Life(~Lord@46.217.220.205)
2021-05-23 05:18:54 +0200Lord_of_Life_(~Lord@46.217.217.138) (Ping timeout: 264 seconds)
2021-05-23 05:21:01 +0200Guest59(4492768b@107.161.19.109)
2021-05-23 05:21:09 +0200Guest59Genius
2021-05-23 05:24:59 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-23 05:28:01 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-05-23 05:28:22 +0200boxscape(4ff0bb95@user/boxscape) (Ping timeout: 264 seconds)
2021-05-23 05:29:03 +0200zvijezda(~space-mar@c-73-239-80-24.hsd1.wa.comcast.net)
2021-05-23 05:31:37 +0200bitmapper(uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-23 05:31:58 +0200whosit(~whosit@109.252.95.147) (Ping timeout: 264 seconds)
2021-05-23 05:32:22 +0200boxscape(4ff0bb95@user/boxscape)
2021-05-23 05:32:49 +0200hendi(sid489601@id-489601.tooting.irccloud.com) (Ping timeout: 272 seconds)
2021-05-23 05:32:59 +0200rizary_andika_(sid220347@id-220347.tooting.irccloud.com) (Ping timeout: 252 seconds)
2021-05-23 05:33:39 +0200whosit(~whosit@109-252-95-147.nat.spd-mgts.ru)
2021-05-23 05:34:05 +0200JSharp(sid4580@id-4580.tooting.irccloud.com) (Ping timeout: 272 seconds)
2021-05-23 05:34:05 +0200enemeth79(sid309041@id-309041.tooting.irccloud.com) (Ping timeout: 272 seconds)
2021-05-23 05:34:05 +0200doc1(~doc@61.68.250.44) (Quit: WeeChat 3.1)
2021-05-23 05:34:20 +0200doc1(~doc@61.68.250.44)
2021-05-23 05:34:27 +0200 <pavonia> This V perhaps: https://en.wikipedia.org/wiki/V_(character) :3
2021-05-23 05:34:58 +0200steve-chavez(~steve-cha@190.237.35.83) (Ping timeout: 264 seconds)
2021-05-23 05:35:27 +0200JSharp(sid4580@id-4580.tooting.irccloud.com)
2021-05-23 05:35:31 +0200rizary_andika_(sid220347@id-220347.tooting.irccloud.com)
2021-05-23 05:35:34 +0200hendi(sid489601@id-489601.tooting.irccloud.com)
2021-05-23 05:36:58 +0200enemeth79(sid309041@id-309041.tooting.irccloud.com)
2021-05-23 05:46:05 +0200bilegeek(~bilegeek@2600:1008:b01f:f38c:3168:4441:25c3:560f) (Quit: Leaving)
2021-05-23 05:46:26 +0200liv(~liv@bras-base-burlon0233w-grc-86-70-30-52-48.dsl.bell.ca) (Ping timeout: 264 seconds)
2021-05-23 05:51:58 +0200charukiewicz(~quassel@irouteince04.i.subnet.rcn.com) (Read error: Connection reset by peer)
2021-05-23 05:54:13 +0200sm(~sm@172.56.44.220)
2021-05-23 05:54:13 +0200sm(~sm@172.56.44.220) (Changing host)
2021-05-23 05:54:13 +0200sm(~sm@plaintextaccounting/sm)
2021-05-23 05:54:59 +0200charukiewicz(~quassel@irouteince04.i.subnet.rcn.com)
2021-05-23 05:55:18 +0200justsomeguy(~chris@24.96.241.90) (WeeChat 3.0.1)
2021-05-23 05:58:03 +0200sm(~sm@plaintextaccounting/sm) (Client Quit)
2021-05-23 05:59:02 +0200zvijezda(~space-mar@c-73-239-80-24.hsd1.wa.comcast.net) (Ping timeout: 264 seconds)
2021-05-23 06:01:03 +0200MidAutumnMoon(~MidAutumn@user/midautumnmoon)
2021-05-23 06:02:46 +0200ornxka_ornxka
2021-05-23 06:05:35 +0200bilegeek(~bilegeek@2600:1008:b01f:f38c:3168:4441:25c3:560f)
2021-05-23 06:07:16 +0200ornxka(~ornxka@207.246.90.152) (Changing host)
2021-05-23 06:07:16 +0200ornxka(~ornxka@user/ornxka)
2021-05-23 06:08:29 +0200sm(~sm@172.56.44.220)
2021-05-23 06:08:29 +0200sm(~sm@172.56.44.220) (Changing host)
2021-05-23 06:08:29 +0200sm(~sm@plaintextaccounting/sm)
2021-05-23 06:13:48 +0200cdsmith(~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Read error: Connection reset by peer)
2021-05-23 06:14:31 +0200Adran(~adran@user/adran) (Quit: Este é o fim.)
2021-05-23 06:14:56 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-23 06:15:10 +0200juhp(~juhp@128.106.188.199)
2021-05-23 06:15:51 +0200sm(~sm@plaintextaccounting/sm) (Read error: Connection reset by peer)
2021-05-23 06:17:59 +0200Adran(~adran@user/adran)
2021-05-23 06:19:16 +0200sm(~igloo@172.56.44.220)
2021-05-23 06:28:30 +0200oatsot
2021-05-23 06:33:06 +0200sm(~igloo@172.56.44.220) ()
2021-05-23 06:34:01 +0200sm(~igloo@172.56.44.220)
2021-05-23 06:34:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-23 06:37:39 +0200sm(~igloo@172.56.44.220) (Client Quit)
2021-05-23 06:38:34 +0200heath(~heath@68.68.64.38) (Ping timeout: 264 seconds)
2021-05-23 06:46:22 +0200whosit(~whosit@109-252-95-147.nat.spd-mgts.ru) (Ping timeout: 264 seconds)
2021-05-23 06:49:17 +0200SanchayanMaity(~Sanchayan@136.185.150.127)
2021-05-23 06:50:17 +0200Genius(4492768b@107.161.19.109) ()
2021-05-23 06:51:40 +0200whosit(~whosit@109.252.95.147)
2021-05-23 06:52:03 +0200hmmmas(~chenqisu1@183.217.200.8) (Quit: Leaving.)
2021-05-23 06:52:27 +0200heath(~heath@68.68.64.38)
2021-05-23 06:58:29 +0200ddellacosta(~ddellacos@89.46.62.37)
2021-05-23 06:59:52 +0200alx741(~alx741@186.178.109.193) (Quit: alx741)
2021-05-23 07:03:35 +0200ddellacosta(~ddellacos@89.46.62.37) (Ping timeout: 272 seconds)
2021-05-23 07:04:48 +0200pe200012(~pe200012@119.131.208.84)
2021-05-23 07:05:45 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-05-23 07:06:45 +0200whosit(~whosit@109.252.95.147) (Ping timeout: 272 seconds)
2021-05-23 07:08:25 +0200SanchayanMaity(~Sanchayan@136.185.150.127) (Quit: SanchayanMaity)
2021-05-23 07:09:50 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-23 07:10:59 +0200heath(~heath@68.68.64.38) (Ping timeout: 244 seconds)
2021-05-23 07:11:57 +0200whosit(~whosit@109-252-95-147.nat.spd-mgts.ru)
2021-05-23 07:13:03 +0200yumaikas94(~yumaikas@2601:281:c700:4240:8461:c97a:2a51:f49a) (Ping timeout: 244 seconds)
2021-05-23 07:17:38 +0200yumaikas94(~yumaikas@2601:281:c700:4240:8461:c97a:2a51:f49a)
2021-05-23 07:19:26 +0200gambpang(~ian@c-69-246-197-46.hsd1.il.comcast.net) (Ping timeout: 264 seconds)
2021-05-23 07:20:05 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-05-23 07:20:08 +0200fabfianda(~fabfianda@net-93-148-125-174.cust.dsl.teletu.it)
2021-05-23 07:23:14 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net)
2021-05-23 07:29:06 +0200scrazen(~scrazen@user/scrazen)
2021-05-23 07:29:31 +0200haskman(~haskman@223.233.96.253)
2021-05-23 07:30:49 +0200sm(~user@plaintextaccounting/sm)
2021-05-23 07:31:35 +0200derelict(~winter@75.186.121.128) (Quit: WeeChat 3.1)
2021-05-23 07:38:53 +0200 <V> pavonia: no comment
2021-05-23 07:41:23 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-05-23 07:41:43 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net)
2021-05-23 07:43:09 +0200radw(~radw@user/radw)
2021-05-23 07:45:36 +0200whosit(~whosit@109-252-95-147.nat.spd-mgts.ru) (Ping timeout: 244 seconds)
2021-05-23 07:47:03 +0200whosit(~whosit@109-252-95-147.nat.spd-mgts.ru)
2021-05-23 07:52:58 +0200haskman(~haskman@223.233.96.253) (Ping timeout: 264 seconds)
2021-05-23 07:53:37 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-05-23 07:55:31 +0200minoru_shiraeesh(~shiraeesh@109.166.58.83) (Ping timeout: 272 seconds)
2021-05-23 07:55:43 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-05-23 07:57:30 +0200qualiaqq(~user@47.183.200.14) (Quit: ERC (IRC client for Emacs 28.0.50))
2021-05-23 08:01:00 +0200heath(~heath@68.68.64.38)
2021-05-23 08:02:48 +0200bilegeek(~bilegeek@2600:1008:b01f:f38c:3168:4441:25c3:560f) (Quit: Leaving)
2021-05-23 08:05:45 +0200heath(~heath@68.68.64.38) (Ping timeout: 244 seconds)
2021-05-23 08:06:29 +0200Fare(~fare@2601:184:4a7f:995c:d475:1ba3:38b5:cc3f)
2021-05-23 08:06:46 +0200whosit(~whosit@109-252-95-147.nat.spd-mgts.ru) (Ping timeout: 264 seconds)
2021-05-23 08:06:52 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no)
2021-05-23 08:07:52 +0200whosit(~whosit@109.252.95.147)
2021-05-23 08:09:53 +0200heath(~heath@68.68.64.38)
2021-05-23 08:10:23 +0200Erutuon(~Erutuon@97-116-14-180.mpls.qwest.net) (Quit: WeeChat 2.8)
2021-05-23 08:15:09 +0200heath(~heath@68.68.64.38) (Ping timeout: 272 seconds)
2021-05-23 08:15:46 +0200boxscape(4ff0bb95@user/boxscape) (Ping timeout: 264 seconds)
2021-05-23 08:15:48 +0200slice(~slice@user/slice) (Quit: cya)
2021-05-23 08:15:50 +0200Guest76(5248ff17@107.161.19.109)
2021-05-23 08:15:53 +0200Guest76(5248ff17@107.161.19.109) ()
2021-05-23 08:17:10 +0200heath(~heath@68.68.64.38)
2021-05-23 08:17:21 +0200taeaad_(~taeaad@ec2-34-245-165-26.eu-west-1.compute.amazonaws.com)
2021-05-23 08:21:46 +0200heath(~heath@68.68.64.38) (Ping timeout: 244 seconds)
2021-05-23 08:22:17 +0200heath(~heath@68.68.64.38)
2021-05-23 08:23:30 +0200Lord_of_Life(~Lord@46.217.220.205) (Changing host)
2021-05-23 08:23:30 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-05-23 08:28:07 +0200zzz(~yang@user/yin)
2021-05-23 08:28:09 +0200zzz(~yang@user/yin) ()
2021-05-23 08:29:31 +0200heath(~heath@68.68.64.38) (Ping timeout: 244 seconds)
2021-05-23 08:29:39 +0200heath(~heath@68.68.64.38)
2021-05-23 08:34:26 +0200heath(~heath@68.68.64.38) (Ping timeout: 264 seconds)
2021-05-23 08:42:07 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-23 08:45:53 +0200heath(~heath@68.68.64.38)
2021-05-23 08:47:54 +0200biberu(~biberu@user/biberu)
2021-05-23 08:55:26 +0200heath(~heath@68.68.64.38) (Ping timeout: 264 seconds)
2021-05-23 08:58:23 +0200heath(~heath@68.68.64.38)
2021-05-23 08:59:50 +0200ddellacosta(~ddellacos@86.106.121.116)
2021-05-23 09:02:12 +0200jalonso(~user@90.71.135.168)
2021-05-23 09:04:22 +0200ddellacosta(~ddellacos@86.106.121.116) (Ping timeout: 264 seconds)
2021-05-23 09:05:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-23 09:07:11 +0200wonko_(~wjc@62.115.229.50)
2021-05-23 09:07:40 +0200heath(~heath@68.68.64.38) (Ping timeout: 265 seconds)
2021-05-23 09:07:52 +0200blizzard(~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-23 09:08:16 +0200yumaikas94(~yumaikas@2601:281:c700:4240:8461:c97a:2a51:f49a) (Ping timeout: 244 seconds)
2021-05-23 09:09:30 +0200blizzardderelict
2021-05-23 09:11:57 +0200 <jalonso> alist
2021-05-23 09:12:08 +0200heath(~heath@68.68.64.38)
2021-05-23 09:13:30 +0200tzh_(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-05-23 09:14:20 +0200mib_iumehu(~4e36b623@ircip2.mibbit.com)
2021-05-23 09:15:03 +0200mib_iumehu(~4e36b623@ircip2.mibbit.com) (Client Quit)
2021-05-23 09:16:01 +0200Morrow(~Morrow@147.161.15.179) (Ping timeout: 244 seconds)
2021-05-23 09:16:19 +0200jalonso(~user@90.71.135.168) (ERC (IRC client for Emacs 26.3))
2021-05-23 09:17:13 +0200heath(~heath@68.68.64.38) (Ping timeout: 272 seconds)
2021-05-23 09:17:59 +0200jalonso(~user@90.71.135.168)
2021-05-23 09:20:33 +0200heath(~heath@68.68.64.38)
2021-05-23 09:23:30 +0200gehmehgeh(~ircuser1@88.130.152.103)
2021-05-23 09:23:38 +0200gehmehgeh(~ircuser1@88.130.152.103) ()
2021-05-23 09:30:07 +0200gehmehgeh(~ircuser1@88.130.152.103)
2021-05-23 09:30:07 +0200gehmehgeh(~ircuser1@88.130.152.103) (Changing host)
2021-05-23 09:30:07 +0200gehmehgeh(~ircuser1@user/gehmehgeh)
2021-05-23 09:32:16 +0200fendor(~fendor@77.119.128.108.wireless.dyn.drei.com)
2021-05-23 09:32:34 +0200heath(~heath@68.68.64.38) (Ping timeout: 264 seconds)
2021-05-23 09:32:38 +0200jalonso(~user@90.71.135.168) (Quit: ERC (IRC client for Emacs 26.3))
2021-05-23 09:33:58 +0200Axman6(~Axman6@user/axman6)
2021-05-23 09:34:23 +0200jalonso(~user@90.71.135.168)
2021-05-23 09:35:33 +0200jalonso(~user@90.71.135.168) ()
2021-05-23 09:35:35 +0200Fare(~fare@2601:184:4a7f:995c:d475:1ba3:38b5:cc3f) (Ping timeout: 272 seconds)
2021-05-23 09:36:30 +0200jalonso(~user@90.71.135.168)
2021-05-23 09:36:33 +0200gehmehgeh(~ircuser1@user/gehmehgeh) (Quit: Leaving)
2021-05-23 09:36:41 +0200DigitalKiwi(~kiwi@192.241.157.119)
2021-05-23 09:37:11 +0200heath(~heath@68.68.64.38)
2021-05-23 09:37:33 +0200pretty_dumm_guy(~trottel@92.223.89.149)
2021-05-23 09:38:10 +0200gehmehgeh(~ircuser1@88.130.152.103)
2021-05-23 09:38:11 +0200gehmehgeh(~ircuser1@88.130.152.103) (Changing host)
2021-05-23 09:38:11 +0200gehmehgeh(~ircuser1@user/gehmehgeh)
2021-05-23 09:38:36 +0200gehmehgeh(~ircuser1@user/gehmehgeh) (Client Quit)
2021-05-23 09:39:16 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-05-23 09:39:23 +0200wonko_(~wjc@62.115.229.50) (Quit: See You Space Cowboy..)
2021-05-23 09:39:44 +0200wonko(~wjc@62.115.229.50)
2021-05-23 09:40:25 +0200gehmehgeh(~ircuser1@user/gehmehgeh)
2021-05-23 09:40:43 +0200wonko(~wjc@62.115.229.50) (Changing host)
2021-05-23 09:40:43 +0200wonko(~wjc@user/wonko)
2021-05-23 09:41:11 +0200jsilver(~jonathan@2601:282:300:aa0:a503:f2dc:94e8:c582)
2021-05-23 09:41:21 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-23 09:42:08 +0200gehmehgeh(~ircuser1@user/gehmehgeh) (Client Quit)
2021-05-23 09:42:33 +0200heath(~heath@68.68.64.38) (Ping timeout: 272 seconds)
2021-05-23 09:43:02 +0200 <jsilver> make 500 bucks in 1 second https://www.gbaldraw.fun/
2021-05-23 09:43:19 +0200gehmehgeh(~ircuser1@user/gehmehgeh)
2021-05-23 09:43:20 +0200heath(~heath@68.68.64.38)
2021-05-23 09:43:23 +0200jsilver(~jonathan@2601:282:300:aa0:a503:f2dc:94e8:c582) (Read error: Connection reset by peer)
2021-05-23 09:43:26 +0200gehmehgeh(~ircuser1@user/gehmehgeh) (Client Quit)
2021-05-23 09:44:22 +0200jalonso(~user@90.71.135.168) (Quit: ERC (IRC client for Emacs 26.3))
2021-05-23 09:45:11 +0200jalonso(~user@90.71.135.168)
2021-05-23 09:45:55 +0200nikoo
2021-05-23 09:46:28 +0200jalonso(~user@90.71.135.168) (Client Quit)
2021-05-23 09:47:32 +0200jalonso(~user@90.71.135.168)
2021-05-23 09:48:07 +0200gehmehgeh(~user@user/gehmehgeh)
2021-05-23 09:49:17 +0200gehmehgeh(~user@user/gehmehgeh) (Client Quit)
2021-05-23 09:57:04 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-23 09:59:32 +0200thevishy(~Nishant@117.221.150.153)
2021-05-23 10:00:16 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-23 10:00:29 +0200juhp(~juhp@128.106.188.199)
2021-05-23 10:00:55 +0200gehmehgeh(~user@user/gehmehgeh)
2021-05-23 10:01:30 +0200Morrow(~Morrow@147.161.15.179)
2021-05-23 10:02:08 +0200cos(~cos@user/cos)
2021-05-23 10:05:31 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-23 10:07:31 +0200thevishy(~Nishant@117.221.150.153) (Quit: Leaving)
2021-05-23 10:07:41 +0200dolio(~dolio@130.44.130.54) (Ping timeout: 272 seconds)
2021-05-23 10:10:37 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-05-23 10:10:54 +0200dolio(~dolio@130.44.130.54)
2021-05-23 10:12:55 +0200gehmehgeh(~user@user/gehmehgeh)
2021-05-23 10:13:20 +0200Techcable(~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in)
2021-05-23 10:14:35 +0200lep-lep
2021-05-23 10:15:20 +0200Techcable(~Techcable@168.235.93.147)
2021-05-23 10:17:38 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-23 10:20:05 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 252 seconds)
2021-05-23 10:24:05 +0200 <tomjaguarpaw> How can I easily discover all the defaults in force?
2021-05-23 10:24:16 +0200buggy(~buggy@user/smorgasbord)
2021-05-23 10:32:48 +0200cos(~cos@user/cos) (Read error: Connection reset by peer)
2021-05-23 10:50:29 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds)
2021-05-23 10:56:11 +0200talismanick(~user@2601:644:8502:d700::94c9)
2021-05-23 10:56:47 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2021-05-23 10:57:35 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-23 11:01:04 +0200ddellacosta(~ddellacos@89.46.62.30)
2021-05-23 11:02:16 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (*.net *.split)
2021-05-23 11:02:16 +0200ivan(~ivan@user/ivan) (*.net *.split)
2021-05-23 11:02:16 +0200integral(sid296274@user/integral) (*.net *.split)
2021-05-23 11:02:16 +0200robertm(~robertm@rojoma.com) (*.net *.split)
2021-05-23 11:02:16 +0200glguy(x@libera/staff/glguy) (*.net *.split)
2021-05-23 11:02:16 +0200polux(~polux@51.15.169.172) (*.net *.split)
2021-05-23 11:02:16 +0200caleb(sid225275@user/ace) (*.net *.split)
2021-05-23 11:02:16 +0200dyniec_(~dyniec@mail.dybiec.info) (*.net *.split)
2021-05-23 11:02:16 +0200totbwf(sid402332@highgate.irccloud.com) (*.net *.split)
2021-05-23 11:02:16 +0200nshepperd2(~nshepperd@li364-218.members.linode.com) (*.net *.split)
2021-05-23 11:02:16 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (*.net *.split)
2021-05-23 11:02:16 +0200DasBrain(~DasBrain@user/dasbrain) (*.net *.split)
2021-05-23 11:02:16 +0200NinjaTrappeur(~ninja@user/ninjatrappeur) (*.net *.split)
2021-05-23 11:02:16 +0200opqdonut(opqdonut@pseudo.fixme.fi) (*.net *.split)
2021-05-23 11:02:16 +0200lightandlight(sid135476@brockwell.irccloud.com) (*.net *.split)
2021-05-23 11:02:17 +0200c_wraith(~c_wraith@adjoint.us) (*.net *.split)
2021-05-23 11:02:17 +0200nurupo(~nurupo.ga@user/nurupo) (*.net *.split)
2021-05-23 11:02:17 +0200gmc(sid58314@charlton.irccloud.com) (*.net *.split)
2021-05-23 11:02:17 +0200pflanze(~pflanze@5-168-208-80-pool.fiber.fcom.ch) (*.net *.split)
2021-05-23 11:02:17 +0200pony(sid257727@brockwell.irccloud.com) (*.net *.split)
2021-05-23 11:02:17 +0200emergence(~emergence@vm0.max-p.me) (*.net *.split)
2021-05-23 11:02:17 +0200jess(~jess@libera/staff/jess) (*.net *.split)
2021-05-23 11:02:17 +0200etrepum(sid763@highgate.irccloud.com) (*.net *.split)
2021-05-23 11:02:17 +0200Athas(athas@sigkill.dk) (*.net *.split)
2021-05-23 11:02:17 +0200piele(~piele@tbonesteak.creativeserver.net) (*.net *.split)
2021-05-23 11:02:17 +0200thaumavorio(~thaumavor@thaumavor.io) (*.net *.split)
2021-05-23 11:02:17 +0200blades(~blades@204.48.29.163) (*.net *.split)
2021-05-23 11:02:17 +0200tdammers(~tdammers@77.109.72.213.res.static.edpnet.net) (*.net *.split)
2021-05-23 11:02:17 +0200tv(~tv@user/tv) (*.net *.split)
2021-05-23 11:02:17 +0200welterde(welterde@thinkbase.srv.welterde.de) (*.net *.split)
2021-05-23 11:02:17 +0200smarton(~smarton@121407.xyz) (*.net *.split)
2021-05-23 11:02:17 +0200nckx(~nckx@tobias.gr) (*.net *.split)
2021-05-23 11:02:17 +0200maerwald(~maerwald@user/maerwald) (*.net *.split)
2021-05-23 11:02:17 +0200cohn(~noone@user/cohn) (*.net *.split)
2021-05-23 11:02:17 +0200kaol(~kaol@178.62.241.234) (*.net *.split)
2021-05-23 11:02:17 +0200bcoppens(~bartcopp@user/bcoppens) (*.net *.split)
2021-05-23 11:02:17 +0200grfn(sid449115@brockwell.irccloud.com) (*.net *.split)
2021-05-23 11:02:17 +0200averell(~averell@dishfire.rxd4.com) (*.net *.split)
2021-05-23 11:02:17 +0200bjs(sid190364@brockwell.irccloud.com) (*.net *.split)
2021-05-23 11:02:17 +0200relrod(~relrod@user/relrod) (*.net *.split)
2021-05-23 11:02:17 +0200jiribenes(~jiribenes@rosa.jiribenes.com) (*.net *.split)
2021-05-23 11:02:17 +0200liskin(~liskin@ackle.nomi.cz) (*.net *.split)
2021-05-23 11:02:17 +0200edwardk(sid47016@haskell/developer/edwardk) (*.net *.split)
2021-05-23 11:02:17 +0200systemfault(sid267009@highgate.irccloud.com) (*.net *.split)
2021-05-23 11:02:17 +0200Unhammer(~Unhammer@100.92-220-160.customer.lyse.net) (*.net *.split)
2021-05-23 11:02:17 +0200m4lvin(~m4lvin@w4eg.de) (*.net *.split)
2021-05-23 11:02:18 +0200gonz(sid304396@tooting.irccloud.com) (*.net *.split)
2021-05-23 11:02:18 +0200davean(~davean@davean.sciesnet.net) (*.net *.split)
2021-05-23 11:02:18 +0200asm(~alexander@user/asm) (*.net *.split)
2021-05-23 11:02:18 +0200anoe(~anoe@delanoe.org) (*.net *.split)
2021-05-23 11:02:18 +0200mrosenbe(~mrosenbe@104.225.243.2) (*.net *.split)
2021-05-23 11:02:18 +0200edwtjo(~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) (*.net *.split)
2021-05-23 11:02:18 +0200tomku(~tomku@user/tomku) (*.net *.split)
2021-05-23 11:02:18 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (*.net *.split)
2021-05-23 11:02:18 +0200tomjaguarpaw(~tom@li367-225.members.linode.com) (*.net *.split)
2021-05-23 11:02:18 +0200ham(~ham4@user/ham) (*.net *.split)
2021-05-23 11:02:18 +0200jackhill(~jackhill@kalessin.dragonsnail.net) (*.net *.split)
2021-05-23 11:02:18 +0200xerox(~edi@user/edi) (*.net *.split)
2021-05-23 11:02:18 +0200bw(sid2730@user/betawaffle) (*.net *.split)
2021-05-23 11:02:18 +0200Philonous(~Philonous@user/philonous) (*.net *.split)
2021-05-23 11:02:18 +0200alp(~alp@user/alp) (*.net *.split)
2021-05-23 11:02:18 +0200edmundnoble(sid229620@brockwell.irccloud.com) (*.net *.split)
2021-05-23 11:02:18 +0200V(~v@anomalous.eu) (*.net *.split)
2021-05-23 11:02:18 +0200carbolymer(~carbolyme@dropacid.net) (*.net *.split)
2021-05-23 11:02:18 +0200peutri(~peutri@ns317027.ip-94-23-46.eu) (*.net *.split)
2021-05-23 11:02:18 +0200int-e(~noone@int-e.eu) (*.net *.split)
2021-05-23 11:02:18 +0200df(~ben@51.15.198.140) (*.net *.split)
2021-05-23 11:02:18 +0200_________(~nobody@user//x-7881368) (*.net *.split)
2021-05-23 11:02:18 +0200statusfailed(~statusfai@statusfailed.com) (*.net *.split)
2021-05-23 11:02:18 +0200tlax(tlax@kapsi.fi) (*.net *.split)
2021-05-23 11:02:18 +0200Clint(~Clint@user/clint) (*.net *.split)
2021-05-23 11:02:18 +0200tapas(sid467876@charlton.irccloud.com) (*.net *.split)
2021-05-23 11:02:18 +0200travv0(sid293381@user/travv0) (*.net *.split)
2021-05-23 11:02:18 +0200Vq(~vq@90-227-195-41-no77.tbcn.telia.com) (*.net *.split)
2021-05-23 11:02:18 +0200[exa](exa@user/exa/x-3587197) (*.net *.split)
2021-05-23 11:02:18 +0200SquidDev(~SquidDev@autoclave.squiddev.cc) (*.net *.split)
2021-05-23 11:02:18 +0200idnar(sid12240@tooting.irccloud.com) (*.net *.split)
2021-05-23 11:02:18 +0200cjay(cjay@nerdbox.nerd2nerd.org) (*.net *.split)
2021-05-23 11:02:19 +0200shane(~shane@ana.rch.ist) (*.net *.split)
2021-05-23 11:02:19 +0200Hecate(~mariposa@user/hecate) (*.net *.split)
2021-05-23 11:02:19 +0200Taneb(~Taneb@runciman.hacksoc.org) (*.net *.split)
2021-05-23 11:02:19 +0200ridcully(~ridcully@pd951f269.dip0.t-ipconnect.de) (*.net *.split)
2021-05-23 11:02:19 +0200TimWolla(~timwolla@chrono.xqk7.com) (*.net *.split)
2021-05-23 11:02:19 +0200tomsmeding(~tomsmedin@tomsmeding.com) (*.net *.split)
2021-05-23 11:02:19 +0200bollu(~bollu@139.59.46.74) (*.net *.split)
2021-05-23 11:02:19 +0200mniip(mniip@libera/staff/mniip) (*.net *.split)
2021-05-23 11:02:34 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2021-05-23 11:05:34 +0200ddellacosta(~ddellacos@89.46.62.30) (Ping timeout: 264 seconds)
2021-05-23 11:07:03 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-23 11:07:29 +0200jalonso(~user@90.71.135.168) (Quit: ERC (IRC client for Emacs 26.3))
2021-05-23 11:07:44 +0200robertm(~robertm@rojoma.com)
2021-05-23 11:07:44 +0200edmundnoble(sid229620@brockwell.irccloud.com)
2021-05-23 11:07:44 +0200DasBrain(~DasBrain@user/dasbrain)
2021-05-23 11:07:44 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2021-05-23 11:07:44 +0200ivan(~ivan@user/ivan)
2021-05-23 11:07:44 +0200pflanze(~pflanze@5-168-208-80-pool.fiber.fcom.ch)
2021-05-23 11:07:44 +0200jess(~jess@libera/staff/jess)
2021-05-23 11:07:44 +0200smarton(~smarton@121407.xyz)
2021-05-23 11:07:44 +0200df(~ben@51.15.198.140)
2021-05-23 11:07:44 +0200mrosenbe(~mrosenbe@104.225.243.2)
2021-05-23 11:07:44 +0200Unhammer(~Unhammer@100.92-220-160.customer.lyse.net)
2021-05-23 11:07:44 +0200xerox(~edi@user/edi)
2021-05-23 11:07:44 +0200piele(~piele@tbonesteak.creativeserver.net)
2021-05-23 11:07:44 +0200Clint(~Clint@user/clint)
2021-05-23 11:07:44 +0200caleb(sid225275@user/ace)
2021-05-23 11:07:44 +0200edwtjo(~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se)
2021-05-23 11:07:44 +0200V(~v@anomalous.eu)
2021-05-23 11:07:44 +0200shane(~shane@ana.rch.ist)
2021-05-23 11:07:44 +0200bjs(sid190364@brockwell.irccloud.com)
2021-05-23 11:07:44 +0200statusfailed(~statusfai@statusfailed.com)
2021-05-23 11:07:44 +0200nckx(~nckx@tobias.gr)
2021-05-23 11:07:44 +0200lambdabot(~lambdabot@haskell/bot/lambdabot)
2021-05-23 11:07:44 +0200integral(sid296274@user/integral)
2021-05-23 11:07:44 +0200polux(~polux@51.15.169.172)
2021-05-23 11:07:44 +0200glguy(x@libera/staff/glguy)
2021-05-23 11:07:44 +0200dyniec_(~dyniec@mail.dybiec.info)
2021-05-23 11:07:44 +0200totbwf(sid402332@highgate.irccloud.com)
2021-05-23 11:07:44 +0200nshepperd2(~nshepperd@li364-218.members.linode.com)
2021-05-23 11:07:44 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-05-23 11:07:44 +0200etrepum(sid763@highgate.irccloud.com)
2021-05-23 11:07:44 +0200opqdonut(opqdonut@pseudo.fixme.fi)
2021-05-23 11:07:44 +0200NinjaTrappeur(~ninja@user/ninjatrappeur)
2021-05-23 11:07:44 +0200lightandlight(sid135476@brockwell.irccloud.com)
2021-05-23 11:07:44 +0200c_wraith(~c_wraith@adjoint.us)
2021-05-23 11:07:44 +0200nurupo(~nurupo.ga@user/nurupo)
2021-05-23 11:07:44 +0200gmc(sid58314@charlton.irccloud.com)
2021-05-23 11:07:44 +0200emergence(~emergence@vm0.max-p.me)
2021-05-23 11:07:44 +0200ham(~ham4@user/ham)
2021-05-23 11:07:44 +0200Athas(athas@sigkill.dk)
2021-05-23 11:07:44 +0200pony(sid257727@brockwell.irccloud.com)
2021-05-23 11:07:44 +0200blades(~blades@204.48.29.163)
2021-05-23 11:07:44 +0200thaumavorio(~thaumavor@thaumavor.io)
2021-05-23 11:07:44 +0200tdammers(~tdammers@77.109.72.213.res.static.edpnet.net)
2021-05-23 11:07:44 +0200tv(~tv@user/tv)
2021-05-23 11:07:44 +0200welterde(welterde@thinkbase.srv.welterde.de)
2021-05-23 11:07:44 +0200maerwald(~maerwald@user/maerwald)
2021-05-23 11:07:44 +0200iridium.libera.chat+o glguy
2021-05-23 11:07:44 +0200cohn(~noone@user/cohn)
2021-05-23 11:07:44 +0200kaol(~kaol@178.62.241.234)
2021-05-23 11:07:44 +0200bcoppens(~bartcopp@user/bcoppens)
2021-05-23 11:07:44 +0200grfn(sid449115@brockwell.irccloud.com)
2021-05-23 11:07:44 +0200averell(~averell@dishfire.rxd4.com)
2021-05-23 11:07:44 +0200jiribenes(~jiribenes@rosa.jiribenes.com)
2021-05-23 11:07:44 +0200relrod(~relrod@user/relrod)
2021-05-23 11:07:44 +0200liskin(~liskin@ackle.nomi.cz)
2021-05-23 11:07:44 +0200edwardk(sid47016@haskell/developer/edwardk)
2021-05-23 11:07:44 +0200systemfault(sid267009@highgate.irccloud.com)
2021-05-23 11:07:44 +0200m4lvin(~m4lvin@w4eg.de)
2021-05-23 11:07:44 +0200asm(~alexander@user/asm)
2021-05-23 11:07:44 +0200gonz(sid304396@tooting.irccloud.com)
2021-05-23 11:07:44 +0200davean(~davean@davean.sciesnet.net)
2021-05-23 11:07:44 +0200anoe(~anoe@delanoe.org)
2021-05-23 11:07:44 +0200TimWolla(~timwolla@chrono.xqk7.com)
2021-05-23 11:07:44 +0200tomku(~tomku@user/tomku)
2021-05-23 11:07:44 +0200tomjaguarpaw(~tom@li367-225.members.linode.com)
2021-05-23 11:07:44 +0200jackhill(~jackhill@kalessin.dragonsnail.net)
2021-05-23 11:07:44 +0200_________(~nobody@user//x-7881368)
2021-05-23 11:07:44 +0200idnar(sid12240@tooting.irccloud.com)
2021-05-23 11:07:44 +0200travv0(sid293381@user/travv0)
2021-05-23 11:07:44 +0200bw(sid2730@user/betawaffle)
2021-05-23 11:07:44 +0200Philonous(~Philonous@user/philonous)
2021-05-23 11:07:44 +0200alp(~alp@user/alp)
2021-05-23 11:07:44 +0200carbolymer(~carbolyme@dropacid.net)
2021-05-23 11:07:44 +0200peutri(~peutri@ns317027.ip-94-23-46.eu)
2021-05-23 11:07:44 +0200Vq(~vq@90-227-195-41-no77.tbcn.telia.com)
2021-05-23 11:07:44 +0200int-e(~noone@int-e.eu)
2021-05-23 11:07:44 +0200tlax(tlax@kapsi.fi)
2021-05-23 11:07:44 +0200tapas(sid467876@charlton.irccloud.com)
2021-05-23 11:07:44 +0200bollu(~bollu@139.59.46.74)
2021-05-23 11:07:44 +0200[exa](exa@user/exa/x-3587197)
2021-05-23 11:07:44 +0200SquidDev(~SquidDev@autoclave.squiddev.cc)
2021-05-23 11:07:44 +0200cjay(cjay@nerdbox.nerd2nerd.org)
2021-05-23 11:07:44 +0200Hecate(~mariposa@user/hecate)
2021-05-23 11:07:44 +0200Taneb(~Taneb@runciman.hacksoc.org)
2021-05-23 11:07:44 +0200ridcully(~ridcully@pd951f269.dip0.t-ipconnect.de)
2021-05-23 11:07:44 +0200tomsmeding(~tomsmedin@tomsmeding.com)
2021-05-23 11:07:44 +0200mniip(mniip@libera/staff/mniip)
2021-05-23 11:08:39 +0200 <ij> is chunking necessary for parallelization, if I simply want to utilize all processors?
2021-05-23 11:08:56 +0200 <ij> (so I've added -N8 and -threaded or what was it)
2021-05-23 11:12:35 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-23 11:13:39 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (*.net *.split)
2021-05-23 11:13:39 +0200ivan(~ivan@user/ivan) (*.net *.split)
2021-05-23 11:13:39 +0200integral(sid296274@user/integral) (*.net *.split)
2021-05-23 11:13:39 +0200robertm(~robertm@rojoma.com) (*.net *.split)
2021-05-23 11:13:39 +0200caleb(sid225275@user/ace) (*.net *.split)
2021-05-23 11:13:39 +0200polux(~polux@51.15.169.172) (*.net *.split)
2021-05-23 11:13:39 +0200dyniec_(~dyniec@mail.dybiec.info) (*.net *.split)
2021-05-23 11:13:39 +0200glguy(x@libera/staff/glguy) (*.net *.split)
2021-05-23 11:13:39 +0200totbwf(sid402332@highgate.irccloud.com) (*.net *.split)
2021-05-23 11:13:39 +0200nshepperd2(~nshepperd@li364-218.members.linode.com) (*.net *.split)
2021-05-23 11:13:39 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (*.net *.split)
2021-05-23 11:13:39 +0200DasBrain(~DasBrain@user/dasbrain) (*.net *.split)
2021-05-23 11:13:39 +0200NinjaTrappeur(~ninja@user/ninjatrappeur) (*.net *.split)
2021-05-23 11:13:39 +0200opqdonut(opqdonut@pseudo.fixme.fi) (*.net *.split)
2021-05-23 11:13:39 +0200lightandlight(sid135476@brockwell.irccloud.com) (*.net *.split)
2021-05-23 11:13:39 +0200c_wraith(~c_wraith@adjoint.us) (*.net *.split)
2021-05-23 11:13:39 +0200nurupo(~nurupo.ga@user/nurupo) (*.net *.split)
2021-05-23 11:13:39 +0200gmc(sid58314@charlton.irccloud.com) (*.net *.split)
2021-05-23 11:13:39 +0200pflanze(~pflanze@5-168-208-80-pool.fiber.fcom.ch) (*.net *.split)
2021-05-23 11:13:40 +0200pony(sid257727@brockwell.irccloud.com) (*.net *.split)
2021-05-23 11:13:40 +0200emergence(~emergence@vm0.max-p.me) (*.net *.split)
2021-05-23 11:13:40 +0200jess(~jess@libera/staff/jess) (*.net *.split)
2021-05-23 11:13:40 +0200etrepum(sid763@highgate.irccloud.com) (*.net *.split)
2021-05-23 11:13:40 +0200Athas(athas@sigkill.dk) (*.net *.split)
2021-05-23 11:13:40 +0200piele(~piele@tbonesteak.creativeserver.net) (*.net *.split)
2021-05-23 11:13:40 +0200thaumavorio(~thaumavor@thaumavor.io) (*.net *.split)
2021-05-23 11:13:40 +0200blades(~blades@204.48.29.163) (*.net *.split)
2021-05-23 11:13:40 +0200tdammers(~tdammers@77.109.72.213.res.static.edpnet.net) (*.net *.split)
2021-05-23 11:13:40 +0200tv(~tv@user/tv) (*.net *.split)
2021-05-23 11:13:40 +0200welterde(welterde@thinkbase.srv.welterde.de) (*.net *.split)
2021-05-23 11:13:40 +0200smarton(~smarton@121407.xyz) (*.net *.split)
2021-05-23 11:13:40 +0200nckx(~nckx@tobias.gr) (*.net *.split)
2021-05-23 11:13:40 +0200maerwald(~maerwald@user/maerwald) (*.net *.split)
2021-05-23 11:13:40 +0200cohn(~noone@user/cohn) (*.net *.split)
2021-05-23 11:13:40 +0200kaol(~kaol@178.62.241.234) (*.net *.split)
2021-05-23 11:13:40 +0200bcoppens(~bartcopp@user/bcoppens) (*.net *.split)
2021-05-23 11:13:40 +0200grfn(sid449115@brockwell.irccloud.com) (*.net *.split)
2021-05-23 11:13:40 +0200averell(~averell@dishfire.rxd4.com) (*.net *.split)
2021-05-23 11:13:40 +0200bjs(sid190364@brockwell.irccloud.com) (*.net *.split)
2021-05-23 11:13:40 +0200jiribenes(~jiribenes@rosa.jiribenes.com) (*.net *.split)
2021-05-23 11:13:40 +0200relrod(~relrod@user/relrod) (*.net *.split)
2021-05-23 11:13:40 +0200systemfault(sid267009@highgate.irccloud.com) (*.net *.split)
2021-05-23 11:13:40 +0200edwardk(sid47016@haskell/developer/edwardk) (*.net *.split)
2021-05-23 11:13:40 +0200liskin(~liskin@ackle.nomi.cz) (*.net *.split)
2021-05-23 11:13:40 +0200Unhammer(~Unhammer@100.92-220-160.customer.lyse.net) (*.net *.split)
2021-05-23 11:13:40 +0200m4lvin(~m4lvin@w4eg.de) (*.net *.split)
2021-05-23 11:13:40 +0200gonz(sid304396@tooting.irccloud.com) (*.net *.split)
2021-05-23 11:13:40 +0200asm(~alexander@user/asm) (*.net *.split)
2021-05-23 11:13:40 +0200davean(~davean@davean.sciesnet.net) (*.net *.split)
2021-05-23 11:13:40 +0200anoe(~anoe@delanoe.org) (*.net *.split)
2021-05-23 11:13:40 +0200mrosenbe(~mrosenbe@104.225.243.2) (*.net *.split)
2021-05-23 11:13:40 +0200edwtjo(~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) (*.net *.split)
2021-05-23 11:13:41 +0200tomku(~tomku@user/tomku) (*.net *.split)
2021-05-23 11:13:41 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (*.net *.split)
2021-05-23 11:13:41 +0200tomjaguarpaw(~tom@li367-225.members.linode.com) (*.net *.split)
2021-05-23 11:13:41 +0200ham(~ham4@user/ham) (*.net *.split)
2021-05-23 11:13:41 +0200jackhill(~jackhill@kalessin.dragonsnail.net) (*.net *.split)
2021-05-23 11:13:41 +0200xerox(~edi@user/edi) (*.net *.split)
2021-05-23 11:13:41 +0200bw(sid2730@user/betawaffle) (*.net *.split)
2021-05-23 11:13:41 +0200alp(~alp@user/alp) (*.net *.split)
2021-05-23 11:13:41 +0200edmundnoble(sid229620@brockwell.irccloud.com) (*.net *.split)
2021-05-23 11:13:41 +0200Philonous(~Philonous@user/philonous) (*.net *.split)
2021-05-23 11:13:41 +0200V(~v@anomalous.eu) (*.net *.split)
2021-05-23 11:13:41 +0200carbolymer(~carbolyme@dropacid.net) (*.net *.split)
2021-05-23 11:13:41 +0200peutri(~peutri@ns317027.ip-94-23-46.eu) (*.net *.split)
2021-05-23 11:13:41 +0200int-e(~noone@int-e.eu) (*.net *.split)
2021-05-23 11:13:41 +0200df(~ben@51.15.198.140) (*.net *.split)
2021-05-23 11:13:41 +0200_________(~nobody@user//x-7881368) (*.net *.split)
2021-05-23 11:13:41 +0200statusfailed(~statusfai@statusfailed.com) (*.net *.split)
2021-05-23 11:13:41 +0200tlax(tlax@kapsi.fi) (*.net *.split)
2021-05-23 11:13:41 +0200Clint(~Clint@user/clint) (*.net *.split)
2021-05-23 11:13:41 +0200tapas(sid467876@charlton.irccloud.com) (*.net *.split)
2021-05-23 11:13:41 +0200travv0(sid293381@user/travv0) (*.net *.split)
2021-05-23 11:13:41 +0200Vq(~vq@90-227-195-41-no77.tbcn.telia.com) (*.net *.split)
2021-05-23 11:13:41 +0200[exa](exa@user/exa/x-3587197) (*.net *.split)
2021-05-23 11:13:41 +0200SquidDev(~SquidDev@autoclave.squiddev.cc) (*.net *.split)
2021-05-23 11:13:41 +0200idnar(sid12240@tooting.irccloud.com) (*.net *.split)
2021-05-23 11:13:41 +0200cjay(cjay@nerdbox.nerd2nerd.org) (*.net *.split)
2021-05-23 11:13:41 +0200shane(~shane@ana.rch.ist) (*.net *.split)
2021-05-23 11:13:41 +0200Hecate(~mariposa@user/hecate) (*.net *.split)
2021-05-23 11:13:41 +0200Taneb(~Taneb@runciman.hacksoc.org) (*.net *.split)
2021-05-23 11:13:41 +0200ridcully(~ridcully@pd951f269.dip0.t-ipconnect.de) (*.net *.split)
2021-05-23 11:13:41 +0200TimWolla(~timwolla@chrono.xqk7.com) (*.net *.split)
2021-05-23 11:13:41 +0200tomsmeding(~tomsmedin@tomsmeding.com) (*.net *.split)
2021-05-23 11:13:41 +0200bollu(~bollu@139.59.46.74) (*.net *.split)
2021-05-23 11:13:41 +0200mniip(mniip@libera/staff/mniip) (*.net *.split)
2021-05-23 11:16:32 +0200 <gentauro> ij: I have this in my `template.cabal` -> https://pastebin.ubuntu.com/p/tYGpNnFCqV/
2021-05-23 11:16:49 +0200 <gentauro> read what `merijn` says write ;)
2021-05-23 11:17:19 +0200jalonso(~user@90.71.135.168)
2021-05-23 11:19:47 +0200robertm(~robertm@rojoma.com)
2021-05-23 11:19:47 +0200edmundnoble(sid229620@brockwell.irccloud.com)
2021-05-23 11:19:47 +0200DasBrain(~DasBrain@user/dasbrain)
2021-05-23 11:19:47 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2021-05-23 11:19:47 +0200ivan(~ivan@user/ivan)
2021-05-23 11:19:47 +0200pflanze(~pflanze@5-168-208-80-pool.fiber.fcom.ch)
2021-05-23 11:19:47 +0200jess(~jess@libera/staff/jess)
2021-05-23 11:19:47 +0200smarton(~smarton@121407.xyz)
2021-05-23 11:19:47 +0200df(~ben@51.15.198.140)
2021-05-23 11:19:47 +0200mrosenbe(~mrosenbe@104.225.243.2)
2021-05-23 11:19:47 +0200Unhammer(~Unhammer@100.92-220-160.customer.lyse.net)
2021-05-23 11:19:47 +0200xerox(~edi@user/edi)
2021-05-23 11:19:47 +0200piele(~piele@tbonesteak.creativeserver.net)
2021-05-23 11:19:47 +0200Clint(~Clint@user/clint)
2021-05-23 11:19:47 +0200caleb(sid225275@user/ace)
2021-05-23 11:19:47 +0200edwtjo(~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se)
2021-05-23 11:19:47 +0200V(~v@anomalous.eu)
2021-05-23 11:19:47 +0200shane(~shane@ana.rch.ist)
2021-05-23 11:19:47 +0200bjs(sid190364@brockwell.irccloud.com)
2021-05-23 11:19:47 +0200statusfailed(~statusfai@statusfailed.com)
2021-05-23 11:19:47 +0200nckx(~nckx@tobias.gr)
2021-05-23 11:19:47 +0200lambdabot(~lambdabot@haskell/bot/lambdabot)
2021-05-23 11:19:47 +0200integral(sid296274@user/integral)
2021-05-23 11:19:47 +0200polux(~polux@51.15.169.172)
2021-05-23 11:19:47 +0200glguy(x@libera/staff/glguy)
2021-05-23 11:19:47 +0200dyniec_(~dyniec@mail.dybiec.info)
2021-05-23 11:19:47 +0200totbwf(sid402332@highgate.irccloud.com)
2021-05-23 11:19:47 +0200nshepperd2(~nshepperd@li364-218.members.linode.com)
2021-05-23 11:19:47 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-05-23 11:19:47 +0200etrepum(sid763@highgate.irccloud.com)
2021-05-23 11:19:47 +0200opqdonut(opqdonut@pseudo.fixme.fi)
2021-05-23 11:19:47 +0200NinjaTrappeur(~ninja@user/ninjatrappeur)
2021-05-23 11:19:47 +0200lightandlight(sid135476@brockwell.irccloud.com)
2021-05-23 11:19:47 +0200c_wraith(~c_wraith@adjoint.us)
2021-05-23 11:19:47 +0200nurupo(~nurupo.ga@user/nurupo)
2021-05-23 11:19:47 +0200gmc(sid58314@charlton.irccloud.com)
2021-05-23 11:19:47 +0200emergence(~emergence@vm0.max-p.me)
2021-05-23 11:19:47 +0200ham(~ham4@user/ham)
2021-05-23 11:19:47 +0200Athas(athas@sigkill.dk)
2021-05-23 11:19:47 +0200pony(sid257727@brockwell.irccloud.com)
2021-05-23 11:19:47 +0200blades(~blades@204.48.29.163)
2021-05-23 11:19:47 +0200thaumavorio(~thaumavor@thaumavor.io)
2021-05-23 11:19:47 +0200tdammers(~tdammers@77.109.72.213.res.static.edpnet.net)
2021-05-23 11:19:47 +0200tv(~tv@user/tv)
2021-05-23 11:19:47 +0200welterde(welterde@thinkbase.srv.welterde.de)
2021-05-23 11:19:47 +0200maerwald(~maerwald@user/maerwald)
2021-05-23 11:19:47 +0200iridium.libera.chat+o glguy
2021-05-23 11:19:47 +0200cohn(~noone@user/cohn)
2021-05-23 11:19:47 +0200kaol(~kaol@178.62.241.234)
2021-05-23 11:19:47 +0200bcoppens(~bartcopp@user/bcoppens)
2021-05-23 11:19:47 +0200grfn(sid449115@brockwell.irccloud.com)
2021-05-23 11:19:47 +0200averell(~averell@dishfire.rxd4.com)
2021-05-23 11:19:47 +0200jiribenes(~jiribenes@rosa.jiribenes.com)
2021-05-23 11:19:47 +0200relrod(~relrod@user/relrod)
2021-05-23 11:19:47 +0200liskin(~liskin@ackle.nomi.cz)
2021-05-23 11:19:47 +0200edwardk(sid47016@haskell/developer/edwardk)
2021-05-23 11:19:47 +0200systemfault(sid267009@highgate.irccloud.com)
2021-05-23 11:19:47 +0200m4lvin(~m4lvin@w4eg.de)
2021-05-23 11:19:47 +0200asm(~alexander@user/asm)
2021-05-23 11:19:47 +0200gonz(sid304396@tooting.irccloud.com)
2021-05-23 11:19:47 +0200davean(~davean@davean.sciesnet.net)
2021-05-23 11:19:47 +0200anoe(~anoe@delanoe.org)
2021-05-23 11:19:47 +0200TimWolla(~timwolla@chrono.xqk7.com)
2021-05-23 11:19:47 +0200tomku(~tomku@user/tomku)
2021-05-23 11:19:47 +0200tomjaguarpaw(~tom@li367-225.members.linode.com)
2021-05-23 11:19:47 +0200jackhill(~jackhill@kalessin.dragonsnail.net)
2021-05-23 11:19:47 +0200_________(~nobody@user//x-7881368)
2021-05-23 11:19:47 +0200idnar(sid12240@tooting.irccloud.com)
2021-05-23 11:19:47 +0200travv0(sid293381@user/travv0)
2021-05-23 11:19:47 +0200bw(sid2730@user/betawaffle)
2021-05-23 11:19:47 +0200Philonous(~Philonous@user/philonous)
2021-05-23 11:19:47 +0200alp(~alp@user/alp)
2021-05-23 11:19:47 +0200carbolymer(~carbolyme@dropacid.net)
2021-05-23 11:19:47 +0200peutri(~peutri@ns317027.ip-94-23-46.eu)
2021-05-23 11:19:47 +0200Vq(~vq@90-227-195-41-no77.tbcn.telia.com)
2021-05-23 11:19:47 +0200int-e(~noone@int-e.eu)
2021-05-23 11:19:47 +0200tlax(tlax@kapsi.fi)
2021-05-23 11:19:47 +0200tapas(sid467876@charlton.irccloud.com)
2021-05-23 11:19:47 +0200bollu(~bollu@139.59.46.74)
2021-05-23 11:19:47 +0200[exa](exa@user/exa/x-3587197)
2021-05-23 11:19:47 +0200SquidDev(~SquidDev@autoclave.squiddev.cc)
2021-05-23 11:19:47 +0200cjay(cjay@nerdbox.nerd2nerd.org)
2021-05-23 11:19:47 +0200Hecate(~mariposa@user/hecate)
2021-05-23 11:19:47 +0200Taneb(~Taneb@runciman.hacksoc.org)
2021-05-23 11:19:47 +0200ridcully(~ridcully@pd951f269.dip0.t-ipconnect.de)
2021-05-23 11:19:47 +0200tomsmeding(~tomsmedin@tomsmeding.com)
2021-05-23 11:19:47 +0200mniip(mniip@libera/staff/mniip)
2021-05-23 11:20:49 +0200gawen(~gawen@movzbl.root.sx) (Quit: cya)
2021-05-23 11:21:35 +0200gawen(~gawen@movzbl.root.sx)
2021-05-23 11:22:24 +0200jalonso(~user@90.71.135.168) (ERC (IRC client for Emacs 26.3))
2021-05-23 11:24:15 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2021-05-23 11:24:55 +0200gawen(~gawen@movzbl.root.sx) (Client Quit)
2021-05-23 11:25:40 +0200gawen(~gawen@movzbl.root.sx)
2021-05-23 11:31:06 +0200wallymathieu(~wallymath@host-217-213-68-198.mobileonline.telia.com)
2021-05-23 11:35:53 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-23 11:35:56 +0200__monty__(~toonn@user/toonn)
2021-05-23 11:38:15 +0200kspalaiologos(~kspalaiol@user/kspalaiologos)
2021-05-23 11:46:37 +0200hmmmas(~chenqisu1@183.217.200.8)
2021-05-23 11:47:25 +0200xff0x(~xff0x@2001:1a81:52b2:9700:762c:2533:bcf3:80b7) (Quit: xff0x)
2021-05-23 11:47:43 +0200whosit(~whosit@109.252.95.147) (Read error: Connection reset by peer)
2021-05-23 11:50:12 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2021-05-23 11:52:03 +0200wallymathieu(~wallymath@host-217-213-68-198.mobileonline.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-23 11:58:21 +0200a6a45081-2b83(~aditya@122.163.181.9)
2021-05-23 11:58:55 +0200 <a6a45081-2b83> @pl "\x -> h (f x) (g x)"
2021-05-23 11:58:55 +0200 <lambdabot> (line 1, column 4):
2021-05-23 11:58:55 +0200 <lambdabot> unexpected " "
2021-05-23 11:58:55 +0200 <lambdabot> expecting expression
2021-05-23 11:59:01 +0200 <a6a45081-2b83> @pl \x -> h (f x) (g x)
2021-05-23 11:59:01 +0200 <lambdabot> liftM2 h f g
2021-05-23 11:59:16 +0200 <a6a45081-2b83> @t h <$> f <*> g
2021-05-23 11:59:16 +0200 <lambdabot> Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? .
2021-05-23 11:59:16 +0200radw(~radw@user/radw) (Quit: WeeChat 2.8)
2021-05-23 11:59:33 +0200 <a6a45081-2b83> @t "\f g h -> h <$> f <*> g"
2021-05-23 11:59:34 +0200 <lambdabot> Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? .
2021-05-23 11:59:35 +0200radw(~radw@user/radw)
2021-05-23 12:00:51 +0200 <tomsmeding> :t \f g h -> h <$> f <*> g
2021-05-23 12:00:52 +0200 <lambdabot> Applicative f => f a1 -> f a2 -> (a1 -> a2 -> b) -> f b
2021-05-23 12:02:07 +0200 <a6a45081-2b83> :t \f g h x -> (h <$> f <*> g) x
2021-05-23 12:02:08 +0200 <lambdabot> (t1 -> a1) -> (t1 -> a2) -> (a1 -> a2 -> t2) -> t1 -> t2
2021-05-23 12:02:11 +0200o(~if@libera/staff/niko) (Quit: i will be back)
2021-05-23 12:02:11 +0200 <a6a45081-2b83> cool
2021-05-23 12:02:42 +0200niko(~if@libera/staff/niko)
2021-05-23 12:09:50 +0200ziman(~ziman@c25-5.condornet.sk) (Changing host)
2021-05-23 12:09:50 +0200ziman(~ziman@user/ziman)
2021-05-23 12:10:04 +0200 <maerwald> things you add to extra-prog-path in cabal.config are not exposed in PATH when you run `cabal exec`?
2021-05-23 12:10:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-05-23 12:12:23 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 1.9.1)
2021-05-23 12:13:28 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2021-05-23 12:16:58 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Client Quit)
2021-05-23 12:17:04 +0200dudek(~dudek@185.150.236.112)
2021-05-23 12:17:14 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2021-05-23 12:17:39 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Client Quit)
2021-05-23 12:18:38 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-23 12:18:57 +0200 <a6a45081-2b83> why isn't "if'" included in Prelude?
2021-05-23 12:19:57 +0200supersven(uid501114@id-501114.charlton.irccloud.com)
2021-05-23 12:20:01 +0200WikiLycurgusguesses non standard idiom
2021-05-23 12:20:55 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2021-05-23 12:21:09 +0200 <maerwald> bzlib and clock fail to build on windows with a hsc2hs error: https://dpaste.com/3KEYA6EAV
2021-05-23 12:23:50 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Client Quit)
2021-05-23 12:24:15 +0200 <Hecate> I've almost conquered Generics!
2021-05-23 12:24:22 +0200 <Hecate> for minimal fun and 0 profit!
2021-05-23 12:24:25 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2021-05-23 12:25:44 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Client Quit)
2021-05-23 12:26:27 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr)
2021-05-23 12:28:28 +0200space-shell(5862faba@107.161.19.109)
2021-05-23 12:29:26 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2021-05-23 12:29:41 +0200waleee-cl(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-05-23 12:29:41 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Client Quit)
2021-05-23 12:30:01 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2021-05-23 12:32:12 +0200pretty_dumm_guy(~trottel@92.223.89.149) (Quit: WeeChat 3.2-dev)
2021-05-23 12:33:50 +0200xwx(~george@user/george)
2021-05-23 12:34:27 +0200nan`(~nan`@68.235.43.173)
2021-05-23 12:35:36 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-23 12:35:50 +0200juhp(~juhp@128.106.188.199)
2021-05-23 12:37:20 +0200edun(~edun@user/edun)
2021-05-23 12:38:16 +0200edun(~edun@user/edun) (Client Quit)
2021-05-23 12:39:26 +0200Franciman(~francesco@host-80-180-196-134.retail.telecomitalia.it)
2021-05-23 12:41:57 +0200radw(~radw@user/radw) (Quit: WeeChat 2.8)
2021-05-23 12:42:21 +0200Gurkenglas__(~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de)
2021-05-23 12:42:58 +0200radw(~radw@user/radw)
2021-05-23 12:43:22 +0200xwx(~george@user/george) (Ping timeout: 264 seconds)
2021-05-23 12:44:10 +0200xwx(~george@user/george)
2021-05-23 12:46:29 +0200 <river> :t bool
2021-05-23 12:46:30 +0200 <lambdabot> a -> a -> Bool -> a
2021-05-23 12:46:35 +0200 <river> a6a45081-2b83, there you go
2021-05-23 12:46:46 +0200space-shell(5862faba@107.161.19.109) (Quit: Connection closed)
2021-05-23 12:49:01 +0200 <a6a45081-2b83> > bool 3 2 (3>2)
2021-05-23 12:49:03 +0200 <lambdabot> 2
2021-05-23 12:49:17 +0200 <a6a45081-2b83> hmm
2021-05-23 12:53:32 +0200xwx(~george@user/george) (Ping timeout: 244 seconds)
2021-05-23 12:55:56 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-23 12:56:10 +0200juhp(~juhp@128.106.188.199)
2021-05-23 12:56:10 +0200 <enikar> You can see bool as: bool ifFalse ifTrue aBool
2021-05-23 12:56:36 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-23 12:59:55 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-23 13:01:49 +0200ddellacosta(~ddellacos@89.46.62.65)
2021-05-23 13:03:14 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 264 seconds)
2021-05-23 13:03:33 +0200exzeta__(~exzeta@client-8-84.eduroam.oxuni.org.uk)
2021-05-23 13:04:30 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-05-23 13:05:49 +0200radw(~radw@user/radw) (Quit: WeeChat 3.0.1)
2021-05-23 13:06:46 +0200ddellacosta(~ddellacos@89.46.62.65) (Ping timeout: 264 seconds)
2021-05-23 13:09:44 +0200radw(~radw@user/radw)
2021-05-23 13:14:59 +0200a6a45081-2b83(~aditya@122.163.181.9) (Remote host closed the connection)
2021-05-23 13:16:21 +0200radw(~radw@user/radw) (Quit: WeeChat 3.0.1)
2021-05-23 13:16:36 +0200radw(~radw@user/radw)
2021-05-23 13:17:14 +0200Mark_(uid14803@user/mark/x-9597255) (Quit: Connection closed for inactivity)
2021-05-23 13:20:03 +0200xwx(~george@user/george)
2021-05-23 13:25:43 +0200barryfm(~Barry@184-089-175-050.res.spectrum.com)
2021-05-23 13:28:47 +0200barryfm(~Barry@184-089-175-050.res.spectrum.com) (Client Quit)
2021-05-23 13:29:06 +0200duuk
2021-05-23 13:29:43 +0200bezik(~bezik@static.172.45.47.78.clients.your-server.de) (Ping timeout: 245 seconds)
2021-05-23 13:30:45 +0200minoru_shiraeesh(~shiraeesh@109.166.58.83)
2021-05-23 13:34:22 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no)
2021-05-23 13:40:57 +0200edun(~edun@user/edun)
2021-05-23 13:41:19 +0200Deide(~Deide@217.155.19.23)
2021-05-23 13:41:19 +0200Deide(~Deide@217.155.19.23) (Changing host)
2021-05-23 13:41:19 +0200Deide(~Deide@user/deide)
2021-05-23 13:41:24 +0200edun(~edun@user/edun) (Client Quit)
2021-05-23 13:46:58 +0200xwx(~george@user/george) (Ping timeout: 264 seconds)
2021-05-23 13:50:06 +0200 <tomjaguarpaw> > \case { True -> 3; False -> 2 } $ (3>2)
2021-05-23 13:50:07 +0200 <lambdabot> 3
2021-05-23 13:50:29 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv)
2021-05-23 13:56:24 +0200xwx(~george@user/george)
2021-05-23 14:00:58 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-23 14:01:30 +0200horex539(~horex539@2a02:a03f:6aa5:a00:453e:7b5d:5266:64cc)
2021-05-23 14:02:01 +0200waleee-cl(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 265 seconds)
2021-05-23 14:03:59 +0200waleee-cl(~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2021-05-23 14:04:57 +0200oxide_(~lambda@user/oxide) (Read error: Connection reset by peer)
2021-05-23 14:06:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-23 14:09:00 +0200oxide(~lambda@user/oxide)
2021-05-23 14:11:12 +0200xwx(~george@user/george) (Ping timeout: 265 seconds)
2021-05-23 14:11:43 +0200xwx(~george@user/george)
2021-05-23 14:21:52 +0200smitop(uid328768@user/smitop)
2021-05-23 14:22:35 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-23 14:24:23 +0200jco(~jco@c83-248-173-38.bredband.tele2.se)
2021-05-23 14:25:55 +0200 <jco> Hi! Anyone here using `stylisk-haskell` with Haddock comments? I get this: http://ix.io/3nDi. The comment for each data constructor are moved to after the constructors, when running `stylish-haskell` on a buffer... Any idea if there is a configuration option to fix this?
2021-05-23 14:26:16 +0200horex539_(~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f)
2021-05-23 14:26:55 +0200codedmart(~codedmart@li335-49.members.linode.com)
2021-05-23 14:27:02 +0200wallymathieu(~wallymath@host-217-213-68-198.mobileonline.telia.com)
2021-05-23 14:27:09 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 265 seconds)
2021-05-23 14:27:57 +0200codedmart(~codedmart@li335-49.members.linode.com) (Client Quit)
2021-05-23 14:30:03 +0200horex539(~horex539@2a02:a03f:6aa5:a00:453e:7b5d:5266:64cc) (Ping timeout: 265 seconds)
2021-05-23 14:33:15 +0200buggy(~buggy@user/smorgasbord) (Quit: Lost terminal)
2021-05-23 14:34:37 +0200horex539_(~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f) (Remote host closed the connection)
2021-05-23 14:35:12 +0200horex539(~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f)
2021-05-23 14:37:04 +0200unautre_unautre
2021-05-23 14:37:56 +0200horex539(~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f) (Remote host closed the connection)
2021-05-23 14:38:09 +0200space-shell(5862f726@107.161.19.109)
2021-05-23 14:38:11 +0200horex539(~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f)
2021-05-23 14:40:01 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-23 14:40:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-05-23 14:43:51 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr)
2021-05-23 14:45:08 +0200xwx(~george@user/george) (Ping timeout: 244 seconds)
2021-05-23 14:50:23 +0200hmmmas(~chenqisu1@183.217.200.8) (Quit: Leaving.)
2021-05-23 14:51:16 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-23 14:51:29 +0200juhp(~juhp@128.106.188.199)
2021-05-23 14:53:14 +0200littlefinger(~00000000@selfhost1.threedot14.com)
2021-05-23 14:53:23 +0200Rembane(~Rembane@li346-36.members.linode.com)
2021-05-23 14:53:55 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 244 seconds)
2021-05-23 14:55:58 +0200yddern(~manjaro-u@78.156.4.58)
2021-05-23 14:58:33 +0200vclerc(~vclerc@216.252.75.231)
2021-05-23 15:01:37 +0200vclerc(~vclerc@216.252.75.231) (Client Quit)
2021-05-23 15:03:17 +0200ddellacosta(~ddellacos@89.46.62.35)
2021-05-23 15:07:58 +0200ddellacosta(~ddellacos@89.46.62.35) (Ping timeout: 264 seconds)
2021-05-23 15:08:30 +0200cpape(~user@2a01:4f9:c010:632d::1)
2021-05-23 15:09:15 +0200haskman(~haskman@106.215.24.177)
2021-05-23 15:10:41 +0200wallymathieu(~wallymath@host-217-213-68-198.mobileonline.telia.com) (Read error: Connection reset by peer)
2021-05-23 15:15:32 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-05-23 15:23:11 +0200horex539(~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f) (Remote host closed the connection)
2021-05-23 15:27:22 +0200boxscape(4ff0bb95@user/boxscape)
2021-05-23 15:27:59 +0200Fare(~fare@c-66-31-47-143.hsd1.ma.comcast.net)
2021-05-23 15:30:13 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-23 15:33:52 +0200allbery_bgeekosaur
2021-05-23 15:33:53 +0200Morrow(~Morrow@147.161.15.179) (Read error: Connection reset by peer)
2021-05-23 15:34:50 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-05-23 15:36:51 +0200littlefinger(~00000000@selfhost1.threedot14.com) (Quit: Client closed)
2021-05-23 15:37:05 +0200tose(~tose@ip-37-188-160-86.eurotel.cz)
2021-05-23 15:41:36 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-23 15:41:49 +0200juhp(~juhp@128.106.188.199)
2021-05-23 15:49:22 +0200exzeta__(~exzeta@client-8-84.eduroam.oxuni.org.uk) (Ping timeout: 264 seconds)
2021-05-23 15:51:10 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-05-23 15:53:34 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-05-23 15:53:34 +0200minoru_shiraeesh(~shiraeesh@109.166.58.83) (Read error: Connection reset by peer)
2021-05-23 15:53:59 +0200biberu(~biberu@user/biberu) (Quit: ZNC - https://znc.in)
2021-05-23 15:54:59 +0200edun(~edun@user/edun)
2021-05-23 15:56:50 +0200yorick(~yorick@user/yorick)
2021-05-23 15:57:02 +0200yorick(~yorick@user/yorick) (Quit: see you on libera)
2021-05-23 15:58:38 +0200yorick(~yorick@user/yorick)
2021-05-23 16:00:42 +0200exzeta__(~exzeta@client-8-84.eduroam.oxuni.org.uk)
2021-05-23 16:01:23 +0200haskman(~haskman@106.215.24.177) (Quit: Going to sleep. ZZZzzz…)
2021-05-23 16:02:02 +0200biberu(~biberu@user/biberu)
2021-05-23 16:11:51 +0200cheater(~Username@user/cheater) (Ping timeout: 272 seconds)
2021-05-23 16:12:04 +0200cheater(~Username@user/cheater)
2021-05-23 16:13:26 +0200tose(~tose@ip-37-188-160-86.eurotel.cz) (Ping timeout: 264 seconds)
2021-05-23 16:13:35 +0200edunqb
2021-05-23 16:13:42 +0200qbqbt
2021-05-23 16:14:06 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com)
2021-05-23 16:15:32 +0200alx741(~alx741@186.178.109.193)
2021-05-23 16:15:40 +0200qbt(~edun@user/edun) (Quit: WeeChat 3.1)
2021-05-23 16:16:05 +0200edun(~edun@user/edun)
2021-05-23 16:16:52 +0200edun(~edun@user/edun) (Client Quit)
2021-05-23 16:17:40 +0200edun(~edun@user/edun)
2021-05-23 16:18:02 +0200edun(~edun@user/edun) (Client Quit)
2021-05-23 16:18:47 +0200edun(~edun@user/edun)
2021-05-23 16:18:51 +0200ixlun(~user@195.213.99.113)
2021-05-23 16:19:15 +0200edun(~edun@user/edun) (Client Quit)
2021-05-23 16:19:39 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 272 seconds)
2021-05-23 16:20:41 +0200qbt(~edun@user/edun)
2021-05-23 16:20:49 +0200bsima1bsima
2021-05-23 16:25:21 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-23 16:26:06 +0200Reisen(2d53dcc0@107.161.19.109)
2021-05-23 16:26:07 +0200kilolympus(~kilolympu@5.151.5.180)
2021-05-23 16:26:50 +0200Reisen(2d53dcc0@107.161.19.109) (Client Quit)
2021-05-23 16:27:43 +0200Restle(2d53dcc0@107.161.19.109)
2021-05-23 16:28:15 +0200horex539(~horex539@2a02:a03f:6aa5:a00:a57b:d14a:ecd6:6d03)
2021-05-23 16:28:32 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-23 16:28:36 +0200Reisen(2d53dcc0@107.161.19.109)
2021-05-23 16:32:49 +0200horex539(~horex539@2a02:a03f:6aa5:a00:a57b:d14a:ecd6:6d03) (Ping timeout: 265 seconds)
2021-05-23 16:33:00 +0200zfnmxt_zfnmxt
2021-05-23 16:33:41 +0200xwx(~george@user/george)
2021-05-23 16:34:14 +0200ku(~ku@2601:280:c780:7ea0:f045:534c:8a14:7395)
2021-05-23 16:36:19 +0200haskman(~haskman@106.215.24.177)
2021-05-23 16:37:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-23 16:40:14 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-23 16:42:39 +0200 <Restle> Are there any idiomatic/nice ways to compose smart constructors? I'm imagining something like `mkA . mkB . mkC $ n` where the result is a nest of newtypes but using typeclasses to peel them off later on
2021-05-23 16:42:56 +0200xff0x(~xff0x@2001:1a81:52b2:9700:e0dc:1f9b:63de:5b34)
2021-05-23 16:42:58 +0200shiraeeshi(~shiraeesh@109.166.58.83)
2021-05-23 16:43:05 +0200moistoreos(~moistoreo@99-151-203-47.lightspeed.snantx.sbcglobal.net)
2021-05-23 16:43:10 +0200moistoreos(~moistoreo@99-151-203-47.lightspeed.snantx.sbcglobal.net) (Client Quit)
2021-05-23 16:43:50 +0200WikiLycurgusRealLycurgus
2021-05-23 16:44:14 +0200RealLycurgusWikiLycurgus
2021-05-23 16:45:13 +0200 <Restle> Something like, `instance (Unwrap a) => Unwrap f a where`, so that no matter how I nest them I can get to the `n`
2021-05-23 16:46:01 +0200exzeta__(~exzeta@client-8-84.eduroam.oxuni.org.uk) (Remote host closed the connection)
2021-05-23 16:46:15 +0200qbt(~edun@user/edun) (Quit: WeeChat 3.1)
2021-05-23 16:46:18 +0200exzeta__(~exzeta@client-8-84.eduroam.oxuni.org.uk)
2021-05-23 16:47:02 +0200pretty_dumm_guy(~trottel@188.241.83.100)
2021-05-23 16:50:46 +0200river(~river@user/river) (Read error: Connection reset by peer)
2021-05-23 16:52:48 +0200haskman(~haskman@106.215.24.177) (Quit: Going to sleep. ZZZzzz…)
2021-05-23 16:53:25 +0200river(~river@user/river)
2021-05-23 16:55:03 +0200Guest92(521cae2a@107.161.19.109)
2021-05-23 16:55:32 +0200Guest92(521cae2a@107.161.19.109) (Client Quit)
2021-05-23 16:55:59 +0200Guest98(~textual@47.203.170.49)
2021-05-23 17:02:55 +0200 <WikiLycurgus> tactic observed in another channel to force users here: set a low limit on the freenode channel
2021-05-23 17:03:08 +0200mrtbbr(~mrtbbr@159.146.113.223)
2021-05-23 17:03:46 +0200mrtbbr(~mrtbbr@159.146.113.223) (Client Quit)
2021-05-23 17:04:28 +0200Tomurb(~tom@92-17.net.optinet.cz)
2021-05-23 17:07:26 +0200oxide(~lambda@user/oxide) (Ping timeout: 264 seconds)
2021-05-23 17:08:19 +0200Heffalump(~ganesh@urchin.earth.li)
2021-05-23 17:08:21 +0200Heffalump(~ganesh@urchin.earth.li) ()
2021-05-23 17:09:17 +0200oxide(~lambda@user/oxide)
2021-05-23 17:09:59 +0200Sakura-(uid413071@user/scp-2000)
2021-05-23 17:10:36 +0200 <Guest98> those tactics don't necessarily force users here, they simply force them off freenode
2021-05-23 17:10:50 +0200Sakura-(uid413071@user/scp-2000) ()
2021-05-23 17:11:03 +0200 <ski> Restle : question is unclear. elaborate ?
2021-05-23 17:12:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-23 17:12:58 +0200jess(~jess@libera/staff/jess) (Quit: Reconnecting)
2021-05-23 17:13:28 +0200jess(~jess@libera/staff/jess)
2021-05-23 17:13:43 +0200 <hpc> it does prevent splitting the community, at least
2021-05-23 17:14:34 +0200ku(~ku@2601:280:c780:7ea0:f045:534c:8a14:7395) (Ping timeout: 264 seconds)
2021-05-23 17:14:38 +0200 <dmwit> Restle: Is `coerce` good enough for you?
2021-05-23 17:18:09 +0200moistoreos(~moistoreo@2600:1700:1884:90:7408:f8f4:ab1a:e0d2)
2021-05-23 17:19:37 +0200 <Hafydd> It seems better to set the channel to +m and state in the topic that the channel has moved to liberachat.
2021-05-23 17:21:06 +0200Tomurb(~tom@92-17.net.optinet.cz) (Remote host closed the connection)
2021-05-23 17:24:06 +0200Tomurb(~tom@92-17.net.optinet.cz)
2021-05-23 17:25:07 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-05-23 17:25:09 +0200 <ski> Hafydd : all of those were employed
2021-05-23 17:27:42 +0200 <Hafydd> Oh, good.
2021-05-23 17:29:06 +0200 <ski> @hoogle stToIO
2021-05-23 17:29:06 +0200 <lambdabot> Error, database does not exist (run 'hoogle generate' first)
2021-05-23 17:29:06 +0200 <lambdabot> Filename: /home/lambda/libera/.hoogle/default-haskell-5.0.18.hoo
2021-05-23 17:30:25 +0200 <ChaiTRex> Who owns lambdabot?
2021-05-23 17:31:58 +0200oxide(~lambda@user/oxide) (Ping timeout: 264 seconds)
2021-05-23 17:32:50 +0200oxide(~lambda@user/oxide)
2021-05-23 17:34:13 +0200gambpang(~ian@c-69-246-197-46.hsd1.il.comcast.net)
2021-05-23 17:35:41 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-23 17:39:22 +0200pbrisbin(~patrick@pool-173-49-145-161.phlapa.fios.verizon.net)
2021-05-23 17:39:37 +0200 <dmwit> int-e: ^
2021-05-23 17:39:58 +0200 <hpc> Hafydd: scroll back a bit in freenode #haskell, saying the channel has moved in the topic is against the rules now
2021-05-23 17:40:09 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-05-23 17:41:04 +0200saturn2(~visitant@user/clone-of-saturn/x-1551297)
2021-05-23 17:43:18 +0200 <mmaruseacph2> :o
2021-05-23 17:43:44 +0200 <Hafydd> hpc: I'm not surprised they implemented such a rule (but it might be worth Disobeying the rule). I've dropped my account on freenode, though, so I'm no longer frequenting that channel.
2021-05-23 17:44:10 +0200 <hpc> ah
2021-05-23 17:44:36 +0200 <hpc> the current phrasing of the topic is that this channel exists and is "very active"
2021-05-23 17:44:43 +0200 <hpc> basically a wink wink nudge nudge kind of thing
2021-05-23 17:45:04 +0200 <Hafydd> This kind of reminds me of the partition of Berlin.
2021-05-23 17:45:10 +0200Patternmaster(~georg@li1192-118.members.linode.com) (Quit: leaving)
2021-05-23 17:46:48 +0200pretty_dumm_guy(~trottel@188.241.83.100) (Quit: WeeChat 3.2-dev)
2021-05-23 17:46:54 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-23 17:47:14 +0200 <Hafydd> (Would it also be illegal for a liberachat channel to state it has moved to freenode?)
2021-05-23 17:47:28 +0200 <hpc> nope
2021-05-23 17:47:42 +0200 <hpc> this is west berlin
2021-05-23 17:48:36 +0200Patternmaster(~georg@li1192-118.members.linode.com)
2021-05-23 17:49:26 +0200 <dmwit> I would certainly find it a bit odd for a liberachat channel to move, given that liberachat is only days old.
2021-05-23 17:49:42 +0200 <juri_> https://github.com/freenode/web-7.0/commit/1194a3e71a427a669ccdddee22006416d46eeb43
2021-05-23 17:49:49 +0200 <juri_> partay.
2021-05-23 17:50:00 +0200ptr_frac7al(~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409)
2021-05-23 17:50:21 +0200 <uk> 22Co-authored-by: Andrew Lee <rasengan@Andrews-MacBook-Air.local> lol
2021-05-23 17:50:57 +0200 <int-e> @hoogle stToIO
2021-05-23 17:50:57 +0200 <lambdabot> Control.Monad.ST stToIO :: ST RealWorld a -> IO a
2021-05-23 17:50:58 +0200 <lambdabot> Control.Monad.ST.Lazy stToIO :: ST RealWorld a -> IO a
2021-05-23 17:50:58 +0200 <lambdabot> Control.Monad.ST.Lazy.Safe stToIO :: ST RealWorld a -> IO a
2021-05-23 17:51:41 +0200 <int-e> dmwit: thanks
2021-05-23 17:53:37 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-23 17:55:32 +0200ptr_frac7al(~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) (Quit: BitchX: a new fragrance for men, by Calvin Klein)
2021-05-23 17:55:55 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com)
2021-05-23 17:56:02 +0200 <dmwit> No, thank YOU!
2021-05-23 17:56:17 +0200ptr_frac7al(~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409)
2021-05-23 17:56:55 +0200ptr_frac7al(~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) ()
2021-05-23 17:57:14 +0200pbrisbin(~patrick@pool-173-49-145-161.phlapa.fios.verizon.net) (Ping timeout: 264 seconds)
2021-05-23 18:00:03 +0200Jeanne-Kamikaze(~Jeanne-Ka@192.252.212.15)
2021-05-23 18:02:23 +0200ptr_frac7al(~char_star@58.161.162.114)
2021-05-23 18:02:38 +0200ptr_frac7al(~char_star@58.161.162.114) (Client Quit)
2021-05-23 18:03:22 +0200ptr_frac7al(~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409)
2021-05-23 18:03:43 +0200ptr_frac7al(~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) (Client Quit)
2021-05-23 18:04:49 +0200ukhrnz
2021-05-23 18:06:41 +0200 <int-e> dmwit: it was just a symlink. but I wouldn't have noticed it myself :)
2021-05-23 18:06:50 +0200ptr_frac7al(~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409)
2021-05-23 18:06:50 +0200 <int-e> (well, not soon anyway. probably)
2021-05-23 18:06:54 +0200ptr_frac7al(~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) ()
2021-05-23 18:07:39 +0200 <int-e> maybe I should write about my arcane lambdabot setup just so that people can teach me how to do it better ;)
2021-05-23 18:10:36 +0200MorrowM(~MorrowM_@bzq-110-168-31-106.red.bezeqint.net)
2021-05-23 18:11:10 +0200ptr_frac7al(~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409)
2021-05-23 18:11:27 +0200ptr_frac7al(~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) ()
2021-05-23 18:11:31 +0200ptr_frac7al(~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409)
2021-05-23 18:11:34 +0200ptr_frac7al(~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) ()
2021-05-23 18:11:36 +0200smitop(uid328768@user/smitop) (Quit: Connection closed for inactivity)
2021-05-23 18:12:16 +0200ptr_frac7al(~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409)
2021-05-23 18:12:20 +0200ptr_frac7al(~char_star@2001:8003:e406:1a01:ccd9:ed21:f0f9:5409) ()
2021-05-23 18:12:36 +0200 <dmwit> hah!
2021-05-23 18:15:33 +0200ddellacosta(~ddellacos@86.106.121.65)
2021-05-23 18:16:10 +0200safinaskar(~user@109.252.90.89)
2021-05-23 18:19:30 +0200nan`(~nan`@68.235.43.173) (Quit: Bye, all!)
2021-05-23 18:20:37 +0200ddellacosta(~ddellacos@86.106.121.65) (Ping timeout: 272 seconds)
2021-05-23 18:20:42 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-23 18:23:29 +0200moistoreos(~moistoreo@2600:1700:1884:90:7408:f8f4:ab1a:e0d2) (Quit: Computer Asleep 😴)
2021-05-23 18:23:56 +0200 <safinaskar> i just uploaded my first candidate package
2021-05-23 18:24:05 +0200 <safinaskar> http://hackage.haskell.org/package/check-cfg-ambiguity-0.0.0.1/candidate
2021-05-23 18:24:11 +0200 <safinaskar> but haddock doc is absent
2021-05-23 18:24:13 +0200 <safinaskar> why?
2021-05-23 18:24:25 +0200 <safinaskar> it is not generated yet? haddock for candidate packages not supported? or i did something wrong?
2021-05-23 18:24:27 +0200derelict(~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1)
2021-05-23 18:26:45 +0200 <fendor> safinaskar, it takes hackage some time to build the documentation
2021-05-23 18:27:05 +0200 <safinaskar> fendor: thanks. how many?
2021-05-23 18:27:19 +0200 <int-e> hmm, lambdabot's list has 15 channels so far... surely that can't be all; it used to be 77 (plus a couple that people kept adding manually) :)
2021-05-23 18:27:34 +0200 <fendor> with `cabal haddock --haddock-for-hackage`, you can build the documentation manually and upload it to the candidate with `cabal upload -d ...`
2021-05-23 18:27:46 +0200Tomurb(~tom@92-17.net.optinet.cz) (Ping timeout: 264 seconds)
2021-05-23 18:28:00 +0200 <int-e> what I'm trying to say, lambdabot can join more channels, just ask
2021-05-23 18:28:00 +0200 <fendor> no idea how long, I usually upload it myself or just don't check
2021-05-23 18:28:03 +0200 <safinaskar> fendor: i don't want this. i want hackage to generate docs for me to be sure that everything is ok
2021-05-23 18:28:57 +0200kewa(~kewa@5.138.148.77)
2021-05-23 18:29:13 +0200 <fendor> safinaskar, according to https://hackage.haskell.org/upload this is basically what hackage does (last paragraph).
2021-05-23 18:31:09 +0200 <geekosaur> int-e, can we have lambdabot in #xmonad again?
2021-05-23 18:32:12 +0200 <int-e> okay
2021-05-23 18:32:53 +0200undvrainbowvita8(~pjetcetal@2.95.204.25) (Remote host closed the connection)
2021-05-23 18:33:18 +0200 <geekosaur> thank you
2021-05-23 18:33:53 +0200 <tomsmeding> Where does @botsnack even come from
2021-05-23 18:37:02 +0200 <kewa> @type map
2021-05-23 18:37:03 +0200 <lambdabot> (a -> b) -> [a] -> [b]
2021-05-23 18:38:39 +0200 <int-e> tomsmeding: https://github.com/lambdabot/lambdabot/blob/master/lambdabot-misc-plugins/src/Lambdabot/Plugin/Mis… ;-)
2021-05-23 18:39:07 +0200 <int-e> lambdabot has a long history and a number of silly people were involved in it
2021-05-23 18:39:35 +0200 <int-e> but I think the idea is, lambdabot helps you, you feed it a treat :)
2021-05-23 18:39:50 +0200 <tomsmeding> @thx
2021-05-23 18:39:50 +0200 <lambdabot> you are welcome
2021-05-23 18:39:59 +0200 <tomsmeding> :)
2021-05-23 18:40:28 +0200eight(~eight@user/eight)
2021-05-23 18:42:21 +0200whitgreenlghtsbr(~pjetcetal@2.95.204.25)
2021-05-23 18:42:54 +0200 <lyxia> safinaskar: I'm not sure it builds the documentation for candidates. For released packages it took 10 minutes for one package of mine recently.
2021-05-23 18:46:19 +0200 <safinaskar> lyxia: thanks. 2 hours passed, it seems, hackage really doesn't build docs
2021-05-23 18:47:29 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-23 18:48:28 +0200 <kewa> @botsnack
2021-05-23 18:48:28 +0200 <lambdabot> :)
2021-05-23 18:48:34 +0200 <kewa> so cool
2021-05-23 18:49:58 +0200 <kewa> @choose flood notflood
2021-05-23 18:49:58 +0200 <lambdabot> notflood
2021-05-23 18:50:04 +0200 <kewa> @sorry
2021-05-23 18:50:04 +0200 <lambdabot> Unknown command, try @list
2021-05-23 18:52:17 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-05-23 18:53:11 +0200cerise8192(~cerise819@136.169.243.189)
2021-05-23 18:53:23 +0200cerise8192(~cerise819@136.169.243.189) (K-Lined)
2021-05-23 18:59:30 +0200SIben_(~SIben@ns3106586.ip-5-135-191.eu) (Quit: leaving)
2021-05-23 18:59:34 +0200 <juri_> @choose cake death
2021-05-23 18:59:34 +0200 <lambdabot> death
2021-05-23 18:59:45 +0200 <juri_> not the smartest...
2021-05-23 19:00:02 +0200 <safinaskar> juri_: :)
2021-05-23 19:00:56 +0200SIben(~SIben@ns3106586.ip-5-135-191.eu)
2021-05-23 19:03:46 +0200SIben(~SIben@ns3106586.ip-5-135-191.eu) (Client Quit)
2021-05-23 19:04:42 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-05-23 19:05:41 +0200doyougnu(~user@c-67-168-253-231.hsd1.or.comcast.net)
2021-05-23 19:06:51 +0200SIben(~SIben@ns3106586.ip-5-135-191.eu)
2021-05-23 19:06:57 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-23 19:07:48 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-23 19:09:09 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 244 seconds)
2021-05-23 19:09:46 +0200kewa(~kewa@5.138.148.77) (Ping timeout: 264 seconds)
2021-05-23 19:11:58 +0200smitop(uid328768@user/smitop)
2021-05-23 19:13:31 +0200SIben(~SIben@ns3106586.ip-5-135-191.eu) (Quit: leaving)
2021-05-23 19:13:49 +0200SIben(~SIben@ns3106586.ip-5-135-191.eu)
2021-05-23 19:14:20 +0200SIben(~SIben@ns3106586.ip-5-135-191.eu) (Client Quit)
2021-05-23 19:14:26 +0200henrylaxen(~user@177.239.36.179)
2021-05-23 19:16:00 +0200SIben(~SIben@ns3106586.ip-5-135-191.eu)
2021-05-23 19:19:49 +0200 <boxscape> % writeFile "foo" "—"
2021-05-23 19:19:49 +0200 <yahb> boxscape: *** Exception: foo: commitBuffer: invalid argument (invalid character)
2021-05-23 19:19:55 +0200 <boxscape> why can haskell not write m-dashes?
2021-05-23 19:20:39 +0200 <boxscape> (or read, for that matter)
2021-05-23 19:21:09 +0200 <lyxia> that probably depends on the encoding and the default for yahb is probably not UTF-8
2021-05-23 19:21:15 +0200 <boxscape> hm, I see
2021-05-23 19:23:34 +0200 <boxscape> weirdly my haskell script was able to read a file containing an m-dash yesterday but now refuses to do so
2021-05-23 19:23:56 +0200 <boxscape> on the same machine and everything
2021-05-23 19:24:13 +0200Mark_(uid14803@user/mark/x-9597255)
2021-05-23 19:25:04 +0200 <lyxia> You need to call an exorcist.
2021-05-23 19:25:32 +0200 <boxscape> % System.IO.hGetEncoding System.IO.stdin
2021-05-23 19:25:32 +0200 <yahb> boxscape: Just UTF-8
2021-05-23 19:25:35 +0200 <boxscape> I guess I will
2021-05-23 19:25:53 +0200 <koz> The singularity is here.
2021-05-23 19:26:01 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no)
2021-05-23 19:26:49 +0200 <hpc> % writeFile "foo" "-"
2021-05-23 19:26:49 +0200 <yahb> hpc:
2021-05-23 19:27:07 +0200 <hpc> just to be sure :P
2021-05-23 19:27:14 +0200 <monochrom> In fact...
2021-05-23 19:27:14 +0200 <boxscape> hah yes
2021-05-23 19:27:19 +0200 <monochrom> % readFile "foo"
2021-05-23 19:27:19 +0200 <yahb> monochrom: "-"
2021-05-23 19:27:35 +0200 <geekosaur> that doesn't look like the same dash to me?
2021-05-23 19:27:52 +0200 <monochrom> No, not intended to be the same dash.
2021-05-23 19:27:54 +0200 <hpc> it isn't, i just wanted to make sure it wasn't lying and it was somehow an IO error of some sort
2021-05-23 19:28:03 +0200 <monochrom> Instead, testing what writeFile does "normally".
2021-05-23 19:28:08 +0200 <monochrom> control experiment
2021-05-23 19:28:55 +0200 <ptrcmd> %readFile "foo"
2021-05-23 19:29:01 +0200 <ptrcmd> % readFile "foo"
2021-05-23 19:29:01 +0200 <yahb> ptrcmd: "-"
2021-05-23 19:29:47 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2021-05-23 19:30:46 +0200 <lyxia> % localeEncoding
2021-05-23 19:30:46 +0200 <yahb> lyxia: ASCII
2021-05-23 19:30:50 +0200Fare(~fare@c-66-31-47-143.hsd1.ma.comcast.net) (Ping timeout: 264 seconds)
2021-05-23 19:31:44 +0200xaotuk(~xaotuk@89.110.231.41) (Quit: WeeChat 3.1)
2021-05-23 19:31:49 +0200 <monochrom> Hrm that's strange. It takes manual effort to set that.
2021-05-23 19:34:11 +0200 <boxscape> % withFile "foo23" WriteMode (\h -> hGetEncoding h >>= print >> hSetEncoding h utf8 >> hGetEncoding h >>= print >> hPutStrLn h "—") >> withFile "foo23" ReadMode (\h -> hSetEncoding h utf8 >> hGetContents h >>= putStrLn)
2021-05-23 19:34:12 +0200 <yahb> boxscape: Just ASCII; Just UTF-8; —
2021-05-23 19:34:13 +0200 <boxscape> I guess that works
2021-05-23 19:35:11 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-23 19:35:26 +0200 <boxscape> Ah! I figured out why it worked yesterday
2021-05-23 19:35:44 +0200 <boxscape> yesterday, I ran the runghc I got from ghc.nix, but today I used the one I got from `nix-shell -p ghc`
2021-05-23 19:36:52 +0200marinelli(~marinelli@2a01:4f8:211:ae5::2)
2021-05-23 19:37:00 +0200janislago(~user@c-24-98-52-54.hsd1.ga.comcast.net)
2021-05-23 19:37:04 +0200janislago(~user@c-24-98-52-54.hsd1.ga.comcast.net) (ERC (IRC client for Emacs 27.2))
2021-05-23 19:39:14 +0200gambpang(~ian@c-69-246-197-46.hsd1.il.comcast.net) (Ping timeout: 264 seconds)
2021-05-23 19:40:48 +0200 <tomsmeding> Locale settings are the worst
2021-05-23 19:41:21 +0200 <tomsmeding> Beware the day you're naively reading a floating point value from a string and it fails because you're now in a European locale where it expects , instead of .
2021-05-23 19:41:31 +0200 <boxscape> the correct encoding always depends only on the file you read, right?
2021-05-23 19:41:35 +0200 <tomsmeding> C does that, I hope haskell doesn't
2021-05-23 19:42:26 +0200 <tomsmeding> I wrote a C++ application once that broke when I added gtk+ as a dependency, because on initialisation that set the locale to a local thing that made floating point IO ops use ,
2021-05-23 19:42:33 +0200 <monochrom> Files have no metadata stating its encoding.
2021-05-23 19:42:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-23 19:43:34 +0200 <boxscape> monochrom right, but the characters are going to be encoded in some encoding anyway, so you might not be able to figure out what the right encoding is, but it shouldn't depend on anything except the file you're reading, is my understanding
2021-05-23 19:43:58 +0200fabfianda(~fabfianda@net-93-148-125-174.cust.dsl.teletu.it) (Ping timeout: 264 seconds)
2021-05-23 19:44:07 +0200 <monochrom> Yeah, ideally, someone tells you via a back channel.
2021-05-23 19:44:11 +0200 <boxscape> okay
2021-05-23 19:44:23 +0200fabfianda(~fabfianda@mob-5-90-249-226.net.vodafone.it)
2021-05-23 19:44:34 +0200 <monochrom> In practice, everyone disagree what the back channel should be.
2021-05-23 19:44:39 +0200 <boxscape> nice
2021-05-23 19:44:41 +0200 <monochrom> Naw, it's worse.
2021-05-23 19:45:18 +0200 <monochrom> In practice, everyone agrees there should be one universally adopted encoding, and disagrees what it should be.
2021-05-23 19:48:14 +0200sander(~sander@164.89-11-223.nextgentel.com) (Quit: So long! :))
2021-05-23 19:48:27 +0200sander(~sander@164.89-11-223.nextgentel.com)
2021-05-23 19:59:33 +0200ku(~ku@2601:280:c780:7ea0:f045:534c:8a14:7395)
2021-05-23 20:04:04 +0200 <c_wraith> let's settle on UTF-16, the worst of all worlds
2021-05-23 20:05:46 +0200haskman(~haskman@106.215.24.177)
2021-05-23 20:06:46 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-05-23 20:06:49 +0200 <hpc> https://en.wikipedia.org/wiki/UTF-7
2021-05-23 20:08:23 +0200 <hpc> no matter how bad UTF-16 is, it doesn't have security flaws :D
2021-05-23 20:08:57 +0200pretty_dumm_guy(~trottel@188.241.83.100)
2021-05-23 20:09:29 +0200safinaskar(~user@109.252.90.89) ()
2021-05-23 20:10:40 +0200 <davean> it sure would be harder, but do you think something similar is entirely impossible with UTF-16?
2021-05-23 20:11:05 +0200 <davean> Thats a fundimental data-handling flaw in the program handling the data.
2021-05-23 20:11:15 +0200henrylaxen(~user@177.239.36.179) (Remote host closed the connection)
2021-05-23 20:14:52 +0200 <hpc> unicode in general does have normalization issues, but they're limited to things like ä
2021-05-23 20:15:21 +0200 <davean> hpc: but I can read UTF-16 as ascii all I want.
2021-05-23 20:15:38 +0200 <davean> its not like that fails - and thats all that attack is s/utf-16/utf-7/
2021-05-23 20:15:47 +0200 <davean> it just happens that for HTML this is a convinient confusion
2021-05-23 20:15:58 +0200 <davean> other encodings can have convinient confusions for different things.
2021-05-23 20:16:22 +0200 <hpc> oh well sure, for that first point on the wiki page
2021-05-23 20:16:32 +0200 <hpc> i was thinking more the XSS thing, where "<" has multiple representations
2021-05-23 20:16:41 +0200 <davean> ah
2021-05-23 20:17:03 +0200 <davean> I mean same issue really - that just makes it easier to not notice you've fucked up your encoding handling.
2021-05-23 20:17:59 +0200 <hpc> yeah, the real answer is normalizing your input since that generalizes to all encodings of unicode
2021-05-23 20:19:47 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-23 20:19:50 +0200 <davean> ight
2021-05-23 20:20:07 +0200 <davean> utf-7 just has a convinient bad example
2021-05-23 20:21:00 +0200 <hpc> well, the point is that issue exists for every codepoint
2021-05-23 20:21:07 +0200 <hpc> not just the stuff that's equivalent to combining characters
2021-05-23 20:26:53 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-05-23 20:28:16 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-23 20:29:42 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2021-05-23 20:30:27 +0200biberu(~biberu@user/biberu)
2021-05-23 20:30:31 +0200river(~river@user/river) (Read error: Connection reset by peer)
2021-05-23 20:37:44 +0200novamnamejeff
2021-05-23 20:38:01 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 244 seconds)
2021-05-23 20:38:06 +0200dextercd(~dexter@2a02-a450-f25d-1-76d4-35ff-fefe-34c.fixed6.kpn.net)
2021-05-23 20:38:47 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2021-05-23 20:41:27 +0200saturn2(~visitant@user/clone-of-saturn/x-1551297) (WeeChat 1.0.1)
2021-05-23 20:44:20 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-23 20:44:32 +0200Guest8718(ae32b849@107.161.19.109)
2021-05-23 20:48:11 +0200cdsmith(~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net)
2021-05-23 20:51:55 +0200Guest8718(ae32b849@107.161.19.109) (Quit: Connection closed)
2021-05-23 20:56:34 +0200qbt(~edun@user/edun)
2021-05-23 20:57:55 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-23 21:02:11 +0200yddern(~manjaro-u@78.156.4.58) (Quit: Konversation terminated!)
2021-05-23 21:05:49 +0200ddellacosta(~ddellacos@89.46.62.86)
2021-05-23 21:10:22 +0200ddellacosta(~ddellacos@89.46.62.86) (Ping timeout: 264 seconds)
2021-05-23 21:20:03 +0200Unhammer(~Unhammer@100.92-220-160.customer.lyse.net) (Quit: WeeChat 1.6)
2021-05-23 21:20:13 +0200Unhammer(~Unhammer@2a01:799:42:6a00::40c)
2021-05-23 21:25:00 +0200jco(~jco@c83-248-173-38.bredband.tele2.se) (Remote host closed the connection)
2021-05-23 21:25:38 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-23 21:29:02 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-23 21:29:09 +0200ryantrinkle(~ryan@24.229.199.25.res-cmts.sm.ptd.net) (Ping timeout: 272 seconds)
2021-05-23 21:30:14 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-23 21:31:31 +0200haasn(~nand@haasn.dev) (Ping timeout: 265 seconds)
2021-05-23 21:33:02 +0200otoats
2021-05-23 21:33:54 +0200haasn(~nand@haasn.dev)
2021-05-23 21:34:18 +0200jneira(5127aca6@107.161.19.109) (Quit: Connection closed)
2021-05-23 21:38:07 +0200pyon(~pyon@user/pyon) (WeeChat 3.1)
2021-05-23 21:39:04 +0200farmfrmjakestate(~farmfromj@user/farmfrmjakestate)
2021-05-23 21:43:34 +0200cdsmith(~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Quit: Leaving)
2021-05-23 21:43:53 +0200cdsmith(~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net)
2021-05-23 21:45:27 +0200fendor_(~fendor@178.165.191.174.wireless.dyn.drei.com)
2021-05-23 21:48:10 +0200fendor(~fendor@77.119.128.108.wireless.dyn.drei.com) (Ping timeout: 264 seconds)
2021-05-23 21:50:37 +0200kubes(~kubes@188.120.84.109)
2021-05-23 21:52:50 +0200Franciman(~francesco@host-80-180-196-134.retail.telecomitalia.it) (Quit: Leaving)
2021-05-23 21:53:02 +0200matijja(~matijja@193.77.181.208)
2021-05-23 21:53:07 +0200phanf(~phanf@226.148.192.35.bc.googleusercontent.com)
2021-05-23 21:59:04 +0200xwx(~george@user/george) (Ping timeout: 265 seconds)
2021-05-23 21:59:14 +0200m_shiraeeshi(~shiraeesh@109.166.56.7)
2021-05-23 22:00:24 +0200MorrowM(~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer)
2021-05-23 22:00:46 +0200shiraeeshi(~shiraeesh@109.166.58.83) (Ping timeout: 264 seconds)
2021-05-23 22:03:52 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-23 22:03:54 +0200jneira(5127aca6@107.161.19.109)
2021-05-23 22:04:35 +0200kspalaiologos(~kspalaiol@user/kspalaiologos) (Quit: Leaving)
2021-05-23 22:05:39 +0200juhp(~juhp@128.106.188.199) (Ping timeout: 264 seconds)
2021-05-23 22:06:46 +0200farmfrmjakestate(~farmfromj@user/farmfrmjakestate) (Ping timeout: 264 seconds)
2021-05-23 22:06:48 +0200 <boxscape> with mtl is it more common to have the constraints like MonadError in your types or to use concrete transformer stack with e.g. ExceptT?
2021-05-23 22:07:23 +0200juhp(~juhp@128.106.188.199)
2021-05-23 22:07:30 +0200 <__monty__> I think the former is the point of mtl?
2021-05-23 22:07:43 +0200 <__monty__> The latter just sounds like monad transformers?
2021-05-23 22:08:15 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 265 seconds)
2021-05-23 22:09:34 +0200janislago(~user@c-24-98-52-54.hsd1.ga.comcast.net)
2021-05-23 22:09:41 +0200 <janislago> im wondering about how to get into haskell
2021-05-23 22:09:46 +0200 <janislago> where would i start?
2021-05-23 22:10:07 +0200 <doyougnu> You usually want constraints because you may change the monad transformer stack for testing or something else.
2021-05-23 22:10:29 +0200janislago(~user@c-24-98-52-54.hsd1.ga.comcast.net) ()
2021-05-23 22:10:37 +0200 <boxscape> __monty__ IIUC the point is that you don't have to use lift everywhere, i.e. you can directly use throwError for example even if you're in `WriterT String (ExceptT String) Reader Int`, or whatever
2021-05-23 22:10:46 +0200 <boxscape> doyougnu ok, that makes sense
2021-05-23 22:11:29 +0200 <boxscape> I suppose mtl has more than one point then :)
2021-05-23 22:12:06 +0200xwx(~george@user/george)
2021-05-23 22:12:20 +0200 <__monty__> boxscape: But that's because of the typeclass approach.
2021-05-23 22:13:04 +0200 <__monty__> These are not separate things. You can use those methods because they're typeclass methods, not functions that work at a certain level of a stack.
2021-05-23 22:13:07 +0200 <boxscape> __monty__ yes, but you can use the methods even if you have a concrete stack, just like you can use `show` even if you have `x :: Int` instead of `x :: Show a => a`
2021-05-23 22:13:46 +0200 <__monty__> Hmm, yes, true.
2021-05-23 22:20:13 +0200exarkun2(~exarkun@2605:59c1:c2cc:400:70e1:a9aa:6155:349e)
2021-05-23 22:21:25 +0200_73(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-23 22:22:52 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2021-05-23 22:23:16 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Client Quit)
2021-05-23 22:23:53 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2021-05-23 22:24:05 +0200_73(~user@pool-96-252-123-136.bstnma.fios.verizon.net) ()
2021-05-23 22:24:23 +0200kubes(~kubes@188.120.84.109) (Quit: Leaving)
2021-05-23 22:24:24 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Client Quit)
2021-05-23 22:25:11 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2021-05-23 22:25:11 +0200ryantrinkle(~ryan@24.229.199.25.res-cmts.sm.ptd.net)
2021-05-23 22:27:53 +0200mastarija(~mastarija@31.217.14.127)
2021-05-23 22:29:10 +0200gabiruhgabiruh_
2021-05-23 22:29:58 +0200gabiruh_gabiruh
2021-05-23 22:33:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-23 22:34:21 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2021-05-23 22:34:45 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2021-05-23 22:44:05 +0200fabfianda(~fabfianda@mob-5-90-249-226.net.vodafone.it) (Ping timeout: 244 seconds)
2021-05-23 22:44:12 +0200 <doyougnu> janislago: I would start with learn you a haskell. That's how I got started with the language. Brent Yorgey's CIS 194 is also a great introduction. CIS 194: https://www.cis.upenn.edu/~cis194/spring13/ LYAH: http://learnyouahaskell.com/
2021-05-23 22:44:30 +0200 <boxscape> doyougnu alas, they left
2021-05-23 22:44:36 +0200 <doyougnu> oh damn I was too late :(
2021-05-23 22:44:47 +0200 <boxscape> I meant to reply too but forgot :(
2021-05-23 22:45:23 +0200fabfianda(~fabfianda@net-93-148-125-174.cust.vodafonedsl.it)
2021-05-23 22:46:19 +0200 <enikar> doyougnu: the cis 194 moved to https://haskell-via-sokoban.nomeata.de/
2021-05-23 22:47:11 +0200 <enikar> someon told me that a couple of days ago
2021-05-23 22:47:42 +0200mbomba(~mbomba@bras-base-toroon2719w-grc-38-142-114-122-216.dsl.bell.ca)
2021-05-23 22:47:52 +0200 <doyougnu> looks like the old website is still up though
2021-05-23 22:48:09 +0200 <doyougnu> also that link says its for the 2016 version. The BY version I linked to is the 2013 version
2021-05-23 22:48:49 +0200biberu(~biberu@user/biberu) (Quit: ZNC - https://znc.in)
2021-05-23 22:49:45 +0200enikarnods
2021-05-23 22:53:03 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-05-23 22:53:45 +0200 <yushyin> :)
2021-05-23 22:53:59 +0200pavonia(~user@user/siracusa)
2021-05-23 22:54:14 +0200mbomba(~mbomba@bras-base-toroon2719w-grc-38-142-114-122-216.dsl.bell.ca) (Quit: WeeChat 3.1)
2021-05-23 22:54:55 +0200NemesisD(sid24071@id-24071.tooting.irccloud.com)
2021-05-23 22:59:28 +0200qbt(~edun@user/edun) (Quit: WeeChat 3.1)
2021-05-23 22:59:47 +0200qbt(~edun@user/edun)
2021-05-23 23:00:45 +0200qbt(~edun@user/edun) (Client Quit)
2021-05-23 23:01:07 +0200 <hrnz> :)
2021-05-23 23:02:12 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-23 23:05:17 +0200pretty_dumm_guy(~trottel@188.241.83.100) (Quit: WeeChat 3.2-dev)
2021-05-23 23:05:35 +0200jneira(5127aca6@107.161.19.109) (Quit: Ping timeout (120 seconds))
2021-05-23 23:06:03 +0200pretty_dumm_guy(~trottel@37.120.236.4)
2021-05-23 23:06:41 +0200jneira(5127aca6@107.161.19.109)
2021-05-23 23:06:47 +0200ddellacosta(~ddellacos@89.46.62.25)
2021-05-23 23:09:15 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 264 seconds)
2021-05-23 23:10:58 +0200qbt(~edun@user/edun)
2021-05-23 23:11:39 +0200ddellacosta(~ddellacos@89.46.62.25) (Ping timeout: 264 seconds)
2021-05-23 23:15:08 +0200fart(68e8ca7b@user/actor)
2021-05-23 23:15:48 +0200 <fart> does anyone have some up to date references for building a stack project (yesod specifically) with nix?
2021-05-23 23:16:53 +0200kenran(~kenran@200116b82bbd74003baa1f87b397ac11.dip.versatel-1u1.de)
2021-05-23 23:17:03 +0200 <__monty__> Isn't the haskell infra documentation linked to in the manual up to date?
2021-05-23 23:17:39 +0200kenran(~kenran@200116b82bbd74003baa1f87b397ac11.dip.versatel-1u1.de) (Client Quit)
2021-05-23 23:18:46 +0200pretty_dumm_guy(~trottel@37.120.236.4) (Quit: WeeChat 3.2-dev)
2021-05-23 23:19:06 +0200 <__monty__> Yeah, I think this is what you're looking for, https://haskell4nix.readthedocs.io/nixpkgs-users-guide.html#how-to-create-nix-builds-for-your-own-…
2021-05-23 23:20:27 +0200 <fart> thanks!
2021-05-23 23:26:15 +0200 <doyougnu> fart: if you're just looking to use yesod as a dependency you might just need to enable nix flag in your stack.yaml
2021-05-23 23:32:30 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-23 23:32:44 +0200juhp(~juhp@128.106.188.199)
2021-05-23 23:34:26 +0200nan`(~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Quit: Computer is sleeping. ZZZzzz…)
2021-05-23 23:36:32 +0200dextercd(~dexter@2a02-a450-f25d-1-76d4-35ff-fefe-34c.fixed6.kpn.net) (Quit: WeeChat 3.1)
2021-05-23 23:41:49 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-23 23:45:01 +0200zvijezda(~space-mar@c-73-239-80-24.hsd1.wa.comcast.net)
2021-05-23 23:45:53 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-23 23:48:19 +0200chddr(~Thunderbi@91.226.34.182)
2021-05-23 23:51:37 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160)
2021-05-23 23:51:47 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-23 23:52:39 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-23 23:53:32 +0200qbt(~edun@user/edun) (Quit: WeeChat 3.1)
2021-05-23 23:54:19 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-23 23:55:10 +0200yumaikas-(~yumaikas@c-75-70-163-65.hsd1.co.comcast.net)
2021-05-23 23:58:40 +0200zvijezda(~space-mar@c-73-239-80-24.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2021-05-23 23:58:59 +0200talismanick(~user@2601:644:8502:d700::94c9) (Read error: Connection reset by peer)