2022/09/08

2022-09-08 00:00:57 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-09-08 00:01:26 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-09-08 00:01:31 +0200 <fraznel> ok, i'm having a hell of a time with postgres connections, i was here earlier and was referred to a possible issue with exception handling in PostgreSQL-Simple under transactions... however I'm not using transaction and somehow my exception is still behaving wrong. I've done by best to produce a minimal viable repro but its pretty involved
2022-09-08 00:01:33 +0200 <fraznel> https://paste.tomsmeding.com/BhWSWkpL
2022-09-08 00:01:57 +0200 <fraznel> i don't understand why i don't even get prints in the console from before the exception is thrown in the scenario where it is
2022-09-08 00:02:36 +0200 <hpc> Guest9068: are you on windows and adding literal unicode to your source files?
2022-09-08 00:02:49 +0200 <hpc> it's probably saved in UTF-16 or something silly like that
2022-09-08 00:02:50 +0200 <fraznel> something is eating the exception and locking up the thread but i can't reason about what yet, hoping someone can nudge me in the right direction. I have a local repro by turning postgres off locally and forcing a scenario that runs the query in the thread
2022-09-08 00:03:27 +0200 <monochrom> I discourage us doing all the guessing. The querent should be the one providing more information.
2022-09-08 00:03:55 +0200 <monochrom> Programmers are the ones who don't have the right to say "it doesn't work I won't tell you more".
2022-09-08 00:03:58 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2022-09-08 00:04:15 +0200 <hpc> i have tried nothing and i am all out of ideas
2022-09-08 00:04:35 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2022-09-08 00:04:40 +0200 <geekosaur> that is why I asked what the error was
2022-09-08 00:05:13 +0200 <fraznel> but the stack is Control.Concurrent, Control.Concurrent.Async, UnliftIO, ResourcePool, Control.Exceptions.Safe. forkFinally -> withRunInIO -> withAsync -> handleAny -> query
2022-09-08 00:07:41 +0200 <fraznel> hope someone has a nudge in the right direction, in the meantime i'm putting together a full mvp so i can peel stuff off till the exception is actually shown
2022-09-08 00:07:46 +0200 <monochrom> Where does handleAny come from?
2022-09-08 00:08:02 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-08 00:08:12 +0200 <fraznel> handleAny is coming from Control.Exception.Safe from safe-exceptions
2022-09-08 00:09:02 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-08 00:09:29 +0200cawfee(~root@2406:3003:2077:2758::babe) (Ping timeout: 255 seconds)
2022-09-08 00:12:42 +0200 <monochrom> Wait, how is "result = getAllTags conn" not a syntax error in a do-block?
2022-09-08 00:14:29 +0200 <geekosaur> line 56 looks a bit questionable as well
2022-09-08 00:15:34 +0200 <fraznel> darn it, yeah i transposed this from different source files and a scratch .hs file i have with a simple repro and messed up syntax... i'm working on a one file repro
2022-09-08 00:15:49 +0200 <fraznel> line 56 shouldn't be there
2022-09-08 00:16:04 +0200cawfee(~root@2406:3003:2077:2758::babe)
2022-09-08 00:16:10 +0200 <fraznel> result = should be result <-
2022-09-08 00:16:23 +0200 <monochrom> If you have "let result = getAllTags conn" then nothing is executed there therefore no exception.
2022-09-08 00:16:41 +0200 <monochrom> OK that's more normal.
2022-09-08 00:18:55 +0200 <fraznel> and subThread is launched via Control.Concurrent forkFinally with some logging for when the thread exits
2022-09-08 00:20:08 +0200 <fraznel> er, forkFinally for logging and making sure to signal that the thread has finished to the main thread
2022-09-08 00:20:47 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-09-08 00:21:21 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 252 seconds)
2022-09-08 00:23:13 +0200cawfee(~root@2406:3003:2077:2758::babe) (Ping timeout: 244 seconds)
2022-09-08 00:23:17 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net)
2022-09-08 00:27:19 +0200cawfee(~root@2406:3003:2077:2758::babe)
2022-09-08 00:28:34 +0200 <monochrom> handleAny eats exceptions. Unless you mean "but my onException wasn't even called".
2022-09-08 00:30:24 +0200 <fraznel> I've been experimenting and i removed the withAsync just found out more. It looks like handleAny is not catching the exception when run insiding a forkFinally and/or inside a withRunInIO
2022-09-08 00:30:48 +0200 <fraznel> the behavior without the withAsync is that the thread terminates when the exception is called under the handleAny
2022-09-08 00:31:22 +0200 <fraznel> so withAsync must be silently terminating when its in the mix, but i would think handleAny should catch the exception. maybe withRunInIO is doing something odd
2022-09-08 00:31:40 +0200 <fraznel> s/odd/unknown to me/
2022-09-08 00:34:49 +0200 <fraznel> i'm most suspicous of a misuse of UnliftIO being the culprit now
2022-09-08 00:37:32 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 00:39:11 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 00:40:51 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-08 00:41:11 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-08 00:42:06 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-08 00:44:16 +0200 <fraznel> going to try using handleAny from UnliftIO but i had the handleAny worked into the internals of my storage capabilities so i gotta pull it out of there now... :| I guess its best for things that fail to fail and leave handling it to the caller
2022-09-08 00:44:44 +0200 <fraznel> s/fail/throw
2022-09-08 00:46:35 +0200zebrag(~chris@user/zebrag) (Remote host closed the connection)
2022-09-08 00:46:46 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2022-09-08 00:46:58 +0200zebrag(~chris@user/zebrag)
2022-09-08 00:47:21 +0200acidjnk(~acidjnk@p200300d6e7137a65d085a62f8a8c8d85.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-08 00:47:21 +0200acidjnk_new(~acidjnk@p200300d6e7137a65d085a62f8a8c8d85.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-08 00:47:44 +0200fserucas_|EoD(~fserucas|@89.214.127.144)
2022-09-08 00:48:54 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-09-08 00:50:49 +0200fserucas|EoD(~fserucas|@92.250.101.119) (Ping timeout: 268 seconds)
2022-09-08 00:51:09 +0200 <geekosaur> Guest9068, are you still there?
2022-09-08 00:51:20 +0200Sgeo(~Sgeo@user/sgeo)
2022-09-08 00:51:38 +0200 <Guest9068> i am
2022-09-08 00:51:52 +0200 <geekosaur> you said you got an error in ghc. what error?
2022-09-08 00:54:20 +0200 <Guest9068> this prob looks dumb, but i skipped the cards, i just want it to show the card number + suit symbol. so i tried:
2022-09-08 00:54:21 +0200 <Guest9068> displayCard :: Card -> String
2022-09-08 00:54:21 +0200 <Guest9068> displayCard card
2022-09-08 00:54:22 +0200 <Guest9068>     | suit(card) == Spades = show (rank(card)) ++ putStrLn "\9824"
2022-09-08 00:54:22 +0200 <Guest9068> and got "Couldn't match expected type ‘[Char]’ with actual type ‘IO ()’"
2022-09-08 00:54:30 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 00:54:31 +0200 <Guest9068> x))
2022-09-08 00:54:54 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-08 00:55:04 +0200dsrt^(~dsrt@96-86-241-229-static.hfc.comcastbusiness.net)
2022-09-08 00:55:18 +0200 <geekosaur> you don't want putStrLn there, that's when you actually want to do output. but displayCard should produce a String because display is supposed to produce a String
2022-09-08 00:55:52 +0200 <geekosaur> then you would use putStrLn to display that String properly
2022-09-08 00:56:31 +0200ec(~ec@gateway/tor-sasl/ec) (Client Quit)
2022-09-08 00:56:44 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-08 00:57:07 +0200 <Guest9068> if i only put "\9824" it just prints the numbers :c
2022-09-08 00:57:24 +0200 <geekosaur> you use putStrLn to display the String at the end
2022-09-08 00:57:38 +0200 <geekosaur> % "\9824"
2022-09-08 00:57:38 +0200 <yahb2> "\9824"
2022-09-08 00:57:45 +0200 <geekosaur> % putStrLn "\9824"
2022-09-08 00:57:46 +0200 <yahb2>
2022-09-08 00:58:14 +0200 <monochrom> When testing you will say putStrLn (displayCard ...)
2022-09-08 00:58:25 +0200 <monochrom> But putStrLn shall not be part of displayCard.
2022-09-08 00:58:37 +0200 <geekosaur> ^
2022-09-08 00:59:14 +0200 <Guest9068> in ghci? im confused
2022-09-08 00:59:38 +0200 <geekosaur> yes
2022-09-08 01:00:07 +0200 <geekosaur> when you output a String, by default it uses `print`, which uses `show`, which converts non-ASCII to escape characters
2022-09-08 01:00:09 +0200 <monochrom> This is going to be no less confusing than seeing \n vs seeing an actual line break.
2022-09-08 01:00:28 +0200 <geekosaur> if you use `putStrLn` it doesn't use `show`
2022-09-08 01:00:35 +0200 <Guest9068> oh lol it worked
2022-09-08 01:00:36 +0200 <Guest9068> now
2022-09-08 01:01:16 +0200 <fhn> Guest9068: Look at the types. What is the return type of your displayCard function? It's String. What is the return type of putStrLn? It's IO (). So you can't use putStrLn in displayCard.
2022-09-08 01:02:09 +0200 <fhn> You can however feed the result of displayCard, which is a String, to putStrLn which takes a String.
2022-09-08 01:03:29 +0200wolfshappen(~waff@irc.furworks.de)
2022-09-08 01:06:06 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds)
2022-09-08 01:06:20 +0200 <Guest9068> i have another problem, when using the rank function it prints "Numeric 2 ♠" instead of "2 ♠"
2022-09-08 01:06:26 +0200 <qrpnxz> typescript at work is frustratingly not haskell. Hypothetically strong typed, still get runtime nonsense. forEach: (a => void) 🤢. No functor instances, no traversable. 😭
2022-09-08 01:06:57 +0200 <geekosaur> Guest9068, sho9w us the rank function
2022-09-08 01:07:03 +0200 <Guest9068> -- | Extract the rank of a card
2022-09-08 01:07:03 +0200 <Guest9068> rank :: Card -> Rank
2022-09-08 01:07:04 +0200 <Guest9068> rank (Card r _) = r
2022-09-08 01:07:49 +0200 <Guest9068> and: data Rank = Numeric Int | Jack | Queen | King | Ace deriving (Eq, Show)
2022-09-08 01:08:05 +0200 <geekosaur> you should make it pattern match on r as well as Card, so it can extract a Numeric or decode the others
2022-09-08 01:11:47 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-08 01:12:49 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2022-09-08 01:13:03 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-08 01:16:49 +0200 <Guest9068> idk how to do that
2022-09-08 01:19:16 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-08 01:20:06 +0200 <geekosaur> same way you did with the Card
2022-09-08 01:21:05 +0200 <geekosaur> you really weren't taught how to pattern match a value yet?
2022-09-08 01:22:02 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 01:25:32 +0200sammelweis(~quassel@c-68-48-18-140.hsd1.mi.comcast.net)
2022-09-08 01:26:18 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-08 01:27:06 +0200causal(~user@50.35.83.177)
2022-09-08 01:29:38 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds)
2022-09-08 01:30:51 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-09-08 01:31:04 +0200 <geekosaur> you can nest patterns
2022-09-08 01:32:52 +0200 <geekosaur> https://paste.tomsmeding.com/ian06mCM
2022-09-08 01:33:03 +0200 <geekosaur> note that I changed the result type to String
2022-09-08 01:33:24 +0200 <hpc> qrpnxz: yeah, i appreciate the effort they go to but it's always just not quite there
2022-09-08 01:33:46 +0200 <hpc> it's a nice data point for how much technical debt you can accumulate by letting an untyped language run rampant though
2022-09-08 01:34:08 +0200 <hpc> you can see them trying to pay it off in real time
2022-09-08 01:34:42 +0200 <Guest9068> oh my
2022-09-08 01:34:51 +0200 <monochrom> I'm more cynical than that. You can see them getting paid more in real time.
2022-09-08 01:35:03 +0200 <qrpnxz> lol
2022-09-08 01:35:35 +0200 <monochrom> Programmers are paid per month of delays, not per validated delivery, amirite?
2022-09-08 01:35:53 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-08 01:36:57 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2022-09-08 01:37:04 +0200 <hpc> just do what FAANG does and say you have to wait 5 years to collect most of your paycheck :D
2022-09-08 01:37:58 +0200 <qrpnxz> not delivering definitely put you near the cliff in my experience. In particular, not having any quantifiable output. From a micro scale at the developer point, that means at least having meaningful story output. Going wider the team needs to have feature delivery or reasonable reasons for delay. Not delivering stories is higher risk than not delivering features, at least in the sense that the
2022-09-08 01:38:00 +0200 <qrpnxz> consequences are more immediate.
2022-09-08 01:41:31 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-08 01:42:36 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 01:45:19 +0200fserucas_|EoD(~fserucas|@89.214.127.144) (Ping timeout: 252 seconds)
2022-09-08 01:46:07 +0200 <Guest9068> i was about to ask why this didnt work and realized that my r in this case IS (Numeric 2), thats why it keeps printing Numeric too... hmm, what should i do?
2022-09-08 01:46:08 +0200 <Guest9068> displayCard :: Card -> String
2022-09-08 01:46:08 +0200 <Guest9068> displayCard card
2022-09-08 01:46:09 +0200 <Guest9068>     | suit(card) == Spades = show (rank(card)) ++ "\9824"
2022-09-08 01:46:09 +0200 <Guest9068> where card = Card (Numeric 2) Spades
2022-09-08 01:46:55 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-08 01:47:00 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-09-08 01:47:23 +0200 <geekosaur> did you use what I pasted? that recognizes and "unwraps" the Numeric
2022-09-08 01:48:01 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 01:48:36 +0200dsrt^(~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 260 seconds)
2022-09-08 01:49:26 +0200 <Guest9068> idk if we're allowed to rewrite the functions xd
2022-09-08 01:50:11 +0200 <geekosaur> if you can't modify rank then you want to write a different function. and use it in place of show
2022-09-08 01:50:35 +0200 <geekosaur> (also, `rank(card)` doesn't need parentheses
2022-09-08 01:50:38 +0200 <geekosaur> )
2022-09-08 01:51:12 +0200 <Guest9068> oh okay
2022-09-08 01:51:55 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 252 seconds)
2022-09-08 01:52:05 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-08 01:52:09 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-09-08 01:52:53 +0200 <geekosaur> https://paste.tomsmeding.com/PjlLxFCV
2022-09-08 01:53:00 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2022-09-08 01:54:24 +0200 <geekosaur> you should make sure you understand what this is doing
2022-09-08 01:55:18 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-08 01:56:22 +0200 <Guest9068> showRank unwraps the n from (Numeric n) ----- so i should write showRank(rank(card))
2022-09-08 01:56:28 +0200 <Guest9068> and it worked
2022-09-08 01:57:51 +0200 <lyxia> is there a difference between data family F :: Type -> Type and data family F (a :: Type) :: Type ? Both let me define data instance F Int but I am seeing a difference when querying th-abstraction so I'm wondering whether that's a bug
2022-09-08 02:00:18 +0200 <Guest9068> thank you so much ;-;
2022-09-08 02:01:29 +0200 <jackdk> Guest9068: yes but function calls do not use brackets that way - `showRank (rank card)` is idiomatic - this becomes important when you start considering partial application, etc
2022-09-08 02:02:31 +0200frost(~frost@user/frost)
2022-09-08 02:03:40 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 02:03:46 +0200 <geekosaur> I already said that but I'm not sure they understood 😕
2022-09-08 02:04:18 +0200 <Guest9068> oh okay, i removed them earlier and got an error, but i mustve done something wrong, tried it again just now and it worked
2022-09-08 02:05:17 +0200 <geekosaur> don't remove all of them. showRank still needs them because you want to pass `rank card` to it, not separately `rank` and `card`. remember that Haskell is a functional language; passing a function as a parameter can make sense
2022-09-08 02:05:38 +0200 <geekosaur> it's just wrong here, we want to pass the result of applying a function instead so we need the parentheses there
2022-09-08 02:06:12 +0200 <Guest9068> yeah, like showRank(rank card)
2022-09-08 02:06:19 +0200 <geekosaur> it doesn't matter for `rank card` because `card` is not itself a function application
2022-09-08 02:06:57 +0200 <geekosaur> and we'd have a space between `showRank` and the open parenthesis
2022-09-08 02:07:04 +0200 <geekosaur> as jackdk showed
2022-09-08 02:07:23 +0200 <geekosaur> parentheses aren't part of the syntax for calling functions, theyre part of
2022-09-08 02:07:27 +0200 <geekosaur> expressions
2022-09-08 02:13:21 +0200fhn(~fhn@2.58.185.24) (Quit: Client closed)
2022-09-08 02:14:15 +0200Successus(~Successus@user/Successus) ()
2022-09-08 02:20:31 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds)
2022-09-08 02:22:38 +0200nilradical(~nilradica@user/naso)
2022-09-08 02:25:04 +0200asivitz(uid178348@id-178348.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-08 02:27:13 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-08 02:27:51 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 252 seconds)
2022-09-08 02:28:44 +0200dsrt^(~dsrt@96-86-241-229-static.hfc.comcastbusiness.net)
2022-09-08 02:29:29 +0200ec(~ec@gateway/tor-sasl/ec) (Quit: ec)
2022-09-08 02:36:42 +0200gay9(~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) (Ping timeout: 264 seconds)
2022-09-08 02:37:13 +0200gay9(~quassel@92-65-73-218.biz.kpn.net)
2022-09-08 02:40:08 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds)
2022-09-08 02:40:50 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 02:43:45 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2022-09-08 02:46:54 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-08 02:46:54 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Client Quit)
2022-09-08 02:50:08 +0200mixfix41(~sdeny9ee@user/mixfix41)
2022-09-08 02:50:12 +0200cowboy8625(~cowboy@64.68.179.149)
2022-09-08 02:50:28 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 02:50:53 +0200_xor(~xor@74.215.182.83)
2022-09-08 02:58:13 +0200sammelweis(~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Ping timeout: 244 seconds)
2022-09-08 02:58:59 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-09-08 03:00:33 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds)
2022-09-08 03:00:55 +0200sammelweis(~quassel@166.176.250.193)
2022-09-08 03:01:30 +0200Guest9068(~Guest90@mainpc.lha.sgsnet.se) (Quit: Client closed)
2022-09-08 03:01:47 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-08 03:04:01 +0200bjobjo(~bjobjo@user/bjobjo) (Ping timeout: 268 seconds)
2022-09-08 03:04:47 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-08 03:09:36 +0200sammelweis(~quassel@166.176.250.193) (Read error: Connection reset by peer)
2022-09-08 03:11:02 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-09-08 03:13:52 +0200sammelweis(~quassel@c-68-48-18-140.hsd1.mi.comcast.net)
2022-09-08 03:14:13 +0200cacke(~cacke@mainpc.lha.sgsnet.se)
2022-09-08 03:14:47 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-08 03:15:30 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds)
2022-09-08 03:16:20 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-09-08 03:17:10 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-09-08 03:18:49 +0200sammelweis(~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Read error: Connection reset by peer)
2022-09-08 03:23:05 +0200sammelweis(~quassel@c-68-48-18-140.hsd1.mi.comcast.net)
2022-09-08 03:24:45 +0200bjobjo(~bjobjo@user/bjobjo)
2022-09-08 03:25:29 +0200sammelweis(~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Read error: Connection reset by peer)
2022-09-08 03:25:50 +0200cacke(~cacke@mainpc.lha.sgsnet.se) (Ping timeout: 252 seconds)
2022-09-08 03:27:59 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-09-08 03:29:48 +0200sammelweis(~quassel@c-68-48-18-140.hsd1.mi.comcast.net)
2022-09-08 03:34:49 +0200mixfix41(~sdeny9ee@user/mixfix41) (Ping timeout: 268 seconds)
2022-09-08 03:35:26 +0200dsrt^(~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 244 seconds)
2022-09-08 03:36:28 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-09-08 03:38:54 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 03:40:35 +0200zaquest(~notzaques@5.130.79.72)
2022-09-08 03:42:17 +0200sammelweis(~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Read error: Connection reset by peer)
2022-09-08 03:43:23 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-08 03:45:51 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-08 03:46:27 +0200sammelweis(~quassel@c-68-48-18-140.hsd1.mi.comcast.net)
2022-09-08 03:46:48 +0200nate1(~nate@98.45.169.16)
2022-09-08 03:50:08 +0200dsrt^(~dsrt@96-86-241-229-static.hfc.comcastbusiness.net)
2022-09-08 03:56:44 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 03:58:06 +0200raym(~raym@user/raym)
2022-09-08 04:00:00 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 04:01:15 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-09-08 04:02:25 +0200sammelweis(~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Read error: Connection reset by peer)
2022-09-08 04:03:48 +0200nilradical(~nilradica@user/naso) ()
2022-09-08 04:06:37 +0200sammelweis(~quassel@c-68-48-18-140.hsd1.mi.comcast.net)
2022-09-08 04:07:23 +0200Null_A(~null_a@c-73-93-244-42.hsd1.ca.comcast.net)
2022-09-08 04:07:58 +0200nate1(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-09-08 04:11:05 +0200erisco_(~erisco@d24-57-249-233.home.cgocable.net)
2022-09-08 04:11:49 +0200erisco(~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 268 seconds)
2022-09-08 04:11:49 +0200erisco_erisco
2022-09-08 04:13:30 +0200mrmr0(~mrmr@user/mrmr)
2022-09-08 04:14:17 +0200mrmr(~mrmr@user/mrmr) (Ping timeout: 268 seconds)
2022-09-08 04:14:17 +0200mrmr0mrmr
2022-09-08 04:16:50 +0200nate1(~nate@98.45.169.16)
2022-09-08 04:22:50 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-09-08 04:30:56 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-08 04:31:02 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 04:35:34 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-08 04:36:12 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 04:38:45 +0200YawnyYak(~YawnyYak@146.70.133.120)
2022-09-08 04:40:47 +0200td_(~td@muedsl-82-207-238-024.citykom.de)
2022-09-08 04:41:44 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-08 04:42:54 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-09-08 04:47:46 +0200YawnyYak(~YawnyYak@146.70.133.120) (Remote host closed the connection)
2022-09-08 04:48:47 +0200vglfr(~vglfr@145.224.94.171) (Ping timeout: 244 seconds)
2022-09-08 04:49:25 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-09-08 04:49:25 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-08 04:51:23 +0200Axman6(~Axman6@user/axman6)
2022-09-08 04:52:23 +0200YawnyYak(~YawnyYak@146.70.133.120)
2022-09-08 04:55:18 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-09-08 04:57:33 +0200YawnyYak(~YawnyYak@146.70.133.120) (Remote host closed the connection)
2022-09-08 04:57:58 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 05:00:32 +0200vglfr(~vglfr@145.224.94.171)
2022-09-08 05:01:08 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 05:03:11 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com)
2022-09-08 05:06:45 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-09-08 05:07:21 +0200fraznel(~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Ping timeout: 252 seconds)
2022-09-08 05:12:02 +0200nate1(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-09-08 05:12:59 +0200cowboy8625(~cowboy@64.68.179.149) (Quit: WeeChat 3.5)
2022-09-08 05:17:12 +0200vglfr(~vglfr@145.224.94.171) (Ping timeout: 244 seconds)
2022-09-08 05:19:16 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-08 05:24:06 +0200frost(~frost@user/frost)
2022-09-08 05:24:10 +0200fraznel(~fuag1@c-73-221-56-19.hsd1.wa.comcast.net)
2022-09-08 05:30:49 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-08 05:33:10 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-09-08 05:33:26 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-09-08 05:37:41 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in)
2022-09-08 05:38:15 +0200nate1(~nate@98.45.169.16)
2022-09-08 05:41:47 +0200vglfr(~vglfr@145.224.94.248)
2022-09-08 05:42:32 +0200nate1(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-09-08 05:47:49 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 05:50:07 +0200Vajb(~Vajb@85-76-165-214-nat.elisa-mobile.fi) (Read error: Connection reset by peer)
2022-09-08 05:50:28 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
2022-09-08 05:55:19 +0200mbuf(~Shakthi@49.204.139.63)
2022-09-08 05:56:06 +0200inversed(~inversed@90.209.137.56) (Ping timeout: 268 seconds)
2022-09-08 05:58:19 +0200fraznel(~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Ping timeout: 252 seconds)
2022-09-08 05:59:31 +0200[Leary](~Leary]@user/Leary/x-0910699)
2022-09-08 05:59:34 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds)
2022-09-08 06:04:05 +0200inversed(~inversed@90.209.137.56)
2022-09-08 06:06:26 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-08 06:12:18 +0200nate1(~nate@98.45.169.16)
2022-09-08 06:13:33 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-09-08 06:17:08 +0200nate1(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-09-08 06:27:09 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-09-08 06:27:27 +0200tomboy64(~tomboy64@user/tomboy64)
2022-09-08 06:27:52 +0200Vajb(~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b)
2022-09-08 06:28:38 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 06:32:25 +0200euandreh(~euandreh@179.214.113.107) (Ping timeout: 252 seconds)
2022-09-08 06:33:10 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 244 seconds)
2022-09-08 06:34:54 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 06:37:55 +0200bgamari(~bgamari@64.223.132.120) (Quit: ZNC 1.8.2 - https://znc.in)
2022-09-08 06:38:05 +0200YawnyYak(~YawnyYak@146.70.133.120)
2022-09-08 06:38:59 +0200YawnyYak(~YawnyYak@146.70.133.120) (Remote host closed the connection)
2022-09-08 06:39:41 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-08 06:39:56 +0200sammelweis(~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Remote host closed the connection)
2022-09-08 06:43:14 +0200sammelweis(~quassel@c-68-48-18-140.hsd1.mi.comcast.net)
2022-09-08 06:46:11 +0200bgamari(~bgamari@64.223.132.120)
2022-09-08 06:53:41 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 07:01:51 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-09-08 07:10:14 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-08 07:12:07 +0200jargon(~jargon@184.101.185.66) (Remote host closed the connection)
2022-09-08 07:12:50 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-09-08 07:12:59 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-08 07:23:23 +0200gay9(~quassel@92-65-73-218.biz.kpn.net) (Ping timeout: 252 seconds)
2022-09-08 07:23:51 +0200gay9(~quassel@94-168-123-190.static.v4.ziggozakelijk.nl)
2022-09-08 07:29:34 +0200mikoto-chan(~mikoto-ch@2001:999:480:b64d:a3b7:b0e2:c083:335d)
2022-09-08 07:30:14 +0200fraznel(~fuag1@c-73-221-56-19.hsd1.wa.comcast.net)
2022-09-08 07:30:31 +0200`2jt(~jtomas@86.red-88-17-188.dynamicip.rima-tde.net)
2022-09-08 07:38:46 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 07:43:16 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-08 07:56:19 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 07:59:53 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 08:04:24 +0200lottaquestions_(~nick@2607:fa49:503e:7100:1134:a996:3e20:f719) (Remote host closed the connection)
2022-09-08 08:04:50 +0200lottaquestions_(~nick@2607:fa49:503e:7100:5b4a:f7a4:f3c:9f44)
2022-09-08 08:05:11 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-09-08 08:08:58 +0200_xor(~xor@74.215.182.83) (Quit: brb)
2022-09-08 08:10:07 +0200Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds)
2022-09-08 08:11:19 +0200sammelweis(~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Ping timeout: 244 seconds)
2022-09-08 08:13:12 +0200euandreh(~euandreh@179.214.113.107)
2022-09-08 08:13:41 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-08 08:19:10 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:531:9af1:68b5:af54)
2022-09-08 08:21:31 +0200shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-09-08 08:22:28 +0200Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com)
2022-09-08 08:30:22 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-09-08 08:31:20 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-09-08 08:32:00 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-09-08 08:36:28 +0200brandonh(~brandonh@151.36.189.63)
2022-09-08 08:40:46 +0200cacke(~cacke@mainpc.lha.sgsnet.se)
2022-09-08 08:41:54 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 08:42:13 +0200fraznel(~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Ping timeout: 252 seconds)
2022-09-08 08:43:22 +0200`2jt(~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 244 seconds)
2022-09-08 08:44:42 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-08 08:46:27 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-08 08:47:40 +0200brandonh(~brandonh@151.36.189.63) (Quit: brandonh)
2022-09-08 08:48:37 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds)
2022-09-08 08:49:12 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-09-08 08:49:52 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-09-08 08:50:02 +0200fhn(~fhn@2.58.185.24)
2022-09-08 08:50:58 +0200brandonh(~brandonh@151.36.151.152)
2022-09-08 08:56:30 +0200brandonh(~brandonh@151.36.151.152) (Quit: brandonh)
2022-09-08 08:57:24 +0200brandonh(~brandonh@151.36.151.152)
2022-09-08 08:58:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-08 08:59:30 +0200cacke(~cacke@mainpc.lha.sgsnet.se) (Ping timeout: 252 seconds)
2022-09-08 09:00:07 +0200brandonh(~brandonh@151.36.151.152) (Client Quit)
2022-09-08 09:00:31 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-09-08 09:01:57 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 09:02:33 +0200brandonh(~brandonh@151.38.166.239)
2022-09-08 09:03:20 +0200fhn(~fhn@2.58.185.24) (Quit: Client closed)
2022-09-08 09:05:22 +0200bahamas(~lucian@78.87.133.233)
2022-09-08 09:05:27 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl)
2022-09-08 09:06:39 +0200brandonh(~brandonh@151.38.166.239) (Client Quit)
2022-09-08 09:06:44 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-09-08 09:07:57 +0200beteigeuze(~Thunderbi@89.187.168.47)
2022-09-08 09:12:24 +0200 <bahamas> hello. I'm seeing some unexpected behavior in a function and I wonder if you could shed some light. this is the function https://bpa.st/NCPA and this is output that it generates https://bpa.st/KLPA
2022-09-08 09:13:10 +0200 <bahamas> if you notice, the last `span` has the `class` attribute twice. I would have expected that it first concatenated `textSize` to the string and treat that as one string
2022-09-08 09:16:56 +0200mikoto-chan(~mikoto-ch@2001:999:480:b64d:a3b7:b0e2:c083:335d) (Ping timeout: 244 seconds)
2022-09-08 09:25:39 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-09-08 09:28:01 +0200lottaquestions(~nick@104.221.24.83)
2022-09-08 09:28:05 +0200lottaquestions(~nick@104.221.24.83) (Client Quit)
2022-09-08 09:28:29 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds)
2022-09-08 09:28:40 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 09:30:22 +0200lottaquestions_(~nick@2607:fa49:503e:7100:5b4a:f7a4:f3c:9f44) (Ping timeout: 244 seconds)
2022-09-08 09:30:37 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-08 09:30:38 +0200 <Axman6> what is the type of textSize?
2022-09-08 09:31:24 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-08 09:32:27 +0200 <bahamas> Axman6: are you asking whether it's String or Text?
2022-09-08 09:33:14 +0200nate1(~nate@98.45.169.16)
2022-09-08 09:33:55 +0200 <bahamas> Axman6: this is the type of `H.span` H.span
2022-09-08 09:33:55 +0200 <bahamas> :: [(Data.Text.Internal.Text, H.Prop m a)]
2022-09-08 09:33:56 +0200 <bahamas> -> [H.Html m a] -> H.Html m a
2022-09-08 09:34:40 +0200CiaoSen(~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-09-08 09:35:08 +0200coot(~coot@213.134.176.158)
2022-09-08 09:37:40 +0200 <tdammers> So the first argument to H.span is a list of pairs of names to property values, and naturally, its monoidal append operation (<>) is list concatenation. Blaze makes it look like a string by providing an IsString instance, and it looks like you have enabled the OverloadedStrings extension, which means that GHC will automatically convert your string literals to whatever type is demanded, via its
2022-09-08 09:37:42 +0200 <tdammers> IsString instance
2022-09-08 09:37:58 +0200 <tdammers> so while "block md:hidden" looks like a string, it really is not
2022-09-08 09:38:11 +0200nate1(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-09-08 09:38:24 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 09:39:03 +0200 <tdammers> wait, this isn't blaze... blaze uses the (!) combinator to add attributes
2022-09-08 09:41:23 +0200 <bahamas> tdammers: this is a library called shpadoinkle. but maybe it's doing the same thing as blaze
2022-09-08 09:42:55 +0200 <bahamas> so even though I expect string concatenation, it's actually treating the two string as two values from which to generate `class` attributes, if I understood your explanation
2022-09-08 09:43:28 +0200frost(~frost@user/frost)
2022-09-08 09:43:42 +0200 <Axman6> it's using the OverloadedStrings extension
2022-09-08 09:44:47 +0200 <Hecate> bahamas: sorry for saying this but you should really be using Lucid instead :)
2022-09-08 09:46:05 +0200 <bahamas> Hecate: I'll write down your suggestion and maybe I'll be able to put it into practice. this library was chosen before I started working on this project
2022-09-08 09:46:54 +0200 <Hecate> bahamas: hence me being sorry, I know it's not always up to someone :)
2022-09-08 09:48:58 +0200beteigeuze(~Thunderbi@89.187.168.47) (Ping timeout: 244 seconds)
2022-09-08 09:49:29 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-08 09:51:58 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-09-08 09:54:39 +0200`2jt(~jtomas@86.red-88-17-188.dynamicip.rima-tde.net)
2022-09-08 09:55:52 +0200Guest114(~Guest11@2601:602:a080:fa0::54ff)
2022-09-08 09:56:17 +0200odnes(~odnes@5-203-254-246.pat.nym.cosmote.net)
2022-09-08 09:58:07 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
2022-09-08 10:00:05 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-09-08 10:02:30 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 264 seconds)
2022-09-08 10:03:28 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 10:03:53 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 10:04:43 +0200tv(~tv@user/tv) (Ping timeout: 252 seconds)
2022-09-08 10:04:44 +0200 <dminuoso> Enabling CPP alters the behavior of this function: https://gist.github.com/dminuoso/fb291c4edd29dda6f114b5571c73d436
2022-09-08 10:05:05 +0200 <dminuoso> Am I going crazy, or does foldCase_ have some silly bug that gets randomly triggered if CPP is enabled?
2022-09-08 10:05:10 +0200 <dminuoso> Or is this an actual GHC bug?
2022-09-08 10:05:21 +0200nschoe(~quassel@178.251.84.79)
2022-09-08 10:05:26 +0200m5zs7k(aquares@web10.mydevil.net)
2022-09-08 10:06:45 +0200kazaf(~kazaf@94.180.63.53)
2022-09-08 10:07:16 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-09-08 10:08:15 +0200titibandit(~titibandi@xdsl-85-197-3-115.nc.de)
2022-09-08 10:08:18 +0200cfricke(~cfricke@user/cfricke)
2022-09-08 10:09:16 +0200 <Athas> dminuoso: my guess is that CPP processes the \ at the end of lines, and has different behaviour than GHC.
2022-09-08 10:09:27 +0200 <Athas> Shot in the dark: CPP preserves the leading whitespace on the following lines.
2022-09-08 10:09:38 +0200 <dminuoso> Oh gosh..
2022-09-08 10:10:06 +0200 <Athas> This stuff is why GHC using CPP is a tragic misdesign that should never have happened.
2022-09-08 10:10:28 +0200 <Athas> CPP does different things (C tokenisation rules) and more things (this shit) than what it's really intended for in Haskell.
2022-09-08 10:11:22 +0200kazaf(~kazaf@94.180.63.53) (Ping timeout: 252 seconds)
2022-09-08 10:11:28 +0200 <dminuoso> Mmm, why would CPP do this.. :(
2022-09-08 10:11:41 +0200 <dminuoso> But oh well, I guess I can just move this code into a different module that does not have CPP enabled
2022-09-08 10:11:49 +0200 <Athas> CPP is where the trailing backslash behaviour is implemented.
2022-09-08 10:12:02 +0200 <Athas> And yes, running 'cpp' manually shows that it preserves the whitespace on the following lines.
2022-09-08 10:12:21 +0200 <Athas> Well, for _C_, the preprocessor is where the trailing backslash is implemented. For Haskell, it's somewhere else.
2022-09-08 10:12:28 +0200 <Athas> But you get both!
2022-09-08 10:13:20 +0200 <dminuoso> Well, this is one hell of a surprising feature I must say. I stared in disbelief when my test suite failed after just enabling CPP..
2022-09-08 10:13:41 +0200 <Athas> CPP was a mistake.
2022-09-08 10:15:28 +0200acidjnk_new(~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de)
2022-09-08 10:15:28 +0200acidjnk(~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de)
2022-09-08 10:15:45 +0200 <dminuoso> Do you have a better solution for how to deal with supporting multiple library versions?
2022-09-08 10:16:00 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 10:16:03 +0200 <dminuoso> Duplicated modules, and picking them in cabal maybe?
2022-09-08 10:16:42 +0200 <Athas> I have lots of extremist opinions on this, perhaps because I've never had to actually maintain backwards compatibility with lots of versions.
2022-09-08 10:17:08 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.6)
2022-09-08 10:17:11 +0200 <Athas> But yes, I would use the build system. Define compability layers consisting of duplicate modules.
2022-09-08 10:17:11 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-08 10:17:11 +0200ccntrq1ccntrq
2022-09-08 10:17:17 +0200cfricke(~cfricke@user/cfricke)
2022-09-08 10:17:19 +0200 <Athas> I have no idea whether this plan would survive contact with the enemy.
2022-09-08 10:18:01 +0200Pickchea(~private@user/pickchea)
2022-09-08 10:19:25 +0200tv(~tv@user/tv)
2022-09-08 10:20:29 +0200titibandit(~titibandi@xdsl-85-197-3-115.nc.de) (Remote host closed the connection)
2022-09-08 10:20:50 +0200fserucas_|EoD(~fserucas|@89.214.127.144)
2022-09-08 10:21:02 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-08 10:21:02 +0200fserucas_|EoD(~fserucas|@89.214.127.144) (Client Quit)
2022-09-08 10:21:08 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec) (Remote host closed the connection)
2022-09-08 10:21:21 +0200fserucas|EoD(~fserucas|@89.214.127.144)
2022-09-08 10:21:29 +0200MoC(~moc@user/moc)
2022-09-08 10:21:34 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec)
2022-09-08 10:23:10 +0200Guest114(~Guest11@2601:602:a080:fa0::54ff) (Quit: Client closed)
2022-09-08 10:23:56 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 10:25:09 +0200akegalj(~akegalj@cpe-109-60-8-78.st3.cable.xnet.hr)
2022-09-08 10:25:39 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds)
2022-09-08 10:25:40 +0200ccntrq1ccntrq
2022-09-08 10:26:53 +0200 <dminuoso> Unrelated, if I relax bytestring to allow for `bytestring ^>= { 0.10.0, 0.11.0 }`, cabal will still pick 0.10.12.1, instead of 0.11.3.1. Does cabal have a preference over boot library versions that I cant find documentation for?
2022-09-08 10:27:14 +0200__monty__(~toonn@user/toonn)
2022-09-08 10:27:16 +0200 <dminuoso> (If I just specify ^>= 0.11.0 it picks 0.11.3.1 just fine)
2022-09-08 10:29:51 +0200 <tomsmeding> dminuoso: what happens if you write { 0.11.0, 0.10.0 }
2022-09-08 10:30:19 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-09-08 10:30:52 +0200acidjnk_new3(~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de)
2022-09-08 10:31:28 +0200hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net)
2022-09-08 10:31:39 +0200 <dminuoso> tomsmeding: Same behavior. Also same if I just write >= 0.10.0
2022-09-08 10:32:07 +0200 <tomsmeding> was worth a try :p
2022-09-08 10:32:33 +0200 <dminuoso> Yes, I did try this before too. :)
2022-09-08 10:33:05 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-09-08 10:33:52 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-09-08 10:34:11 +0200acidjnk(~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-08 10:34:15 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-08 10:35:52 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-09-08 10:40:40 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 10:42:12 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds)
2022-09-08 10:42:12 +0200ccntrq1ccntrq
2022-09-08 10:46:35 +0200ft(~ft@p4fc2a0f5.dip0.t-ipconnect.de) (Quit: Lost terminal)
2022-09-08 10:50:11 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2022-09-08 10:50:19 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 10:50:33 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
2022-09-08 10:57:24 +0200benin0(~benin@183.82.29.130)
2022-09-08 10:57:48 +0200toeffel(~toeffel@user/toeffel)
2022-09-08 11:03:56 +0200acidjnk_new3(~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-08 11:03:56 +0200acidjnk_new(~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-08 11:04:26 +0200mikoto-chan(~mikoto-ch@2001:999:480:b64d:a3b7:b0e2:c083:335d)
2022-09-08 11:05:14 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 11:07:33 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 11:08:36 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-08 11:09:03 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds)
2022-09-08 11:09:04 +0200ccntrq1ccntrq
2022-09-08 11:09:09 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-09-08 11:10:31 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-08 11:12:10 +0200fraznel(~fuag1@c-73-221-56-19.hsd1.wa.comcast.net)
2022-09-08 11:14:30 +0200 <Hecate> tomjaguarpaw: I amended by Discourse post :)
2022-09-08 11:19:35 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 11:21:27 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds)
2022-09-08 11:21:28 +0200ccntrq1ccntrq
2022-09-08 11:24:56 +0200mikoto-chan(~mikoto-ch@2001:999:480:b64d:a3b7:b0e2:c083:335d) (Ping timeout: 260 seconds)
2022-09-08 11:26:06 +0200CiaoSen(~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-08 11:30:44 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 11:33:21 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-09-08 11:33:21 +0200ccntrq1ccntrq
2022-09-08 11:35:20 +0200 <tdammers> bahamas: https://shpadoinkle.org/html/Shpadoinkle-Html.html#t:Prop shows an IsString instance for `[(Text, Prop m a)]`
2022-09-08 11:36:12 +0200 <tdammers> so each of your string literals there expands into [("class", "...")], and obviously if you then use <> to concatenate them, you get multiple class attributes, rather than a single class attribute with the values concatenated
2022-09-08 11:36:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-08 11:38:05 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 11:38:52 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 11:39:01 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-09-08 11:39:04 +0200acidjnk_new3(~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de)
2022-09-08 11:39:06 +0200acidjnk_new(~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de)
2022-09-08 11:40:03 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-08 11:40:03 +0200ccntrq1ccntrq
2022-09-08 11:41:03 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-09-08 11:42:44 +0200brandonh(~brandonh@77.43.32.218)
2022-09-08 11:43:23 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-08 11:43:33 +0200fuag1_(~fuag1@c-73-221-56-19.hsd1.wa.comcast.net)
2022-09-08 11:45:24 +0200 <bahamas> tdammers: thanks!
2022-09-08 11:45:38 +0200 <tdammers> IMO that IsString instance wasn't such a great design decision btw
2022-09-08 11:46:06 +0200 <bahamas> tdammers: that's what I wanted to say. it breaks the expectation that `<>` concatenates 2 strings
2022-09-08 11:46:14 +0200 <tdammers> exactly
2022-09-08 11:46:17 +0200fraznel(~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Ping timeout: 252 seconds)
2022-09-08 11:46:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-08 11:46:43 +0200 <bahamas> thanks for clarifying and for digging for the explanation
2022-09-08 11:47:06 +0200 <tdammers> I'm not sure whether it's documented as a typeclass law for IsString, but the expectation would be that fromString (a <> b) === fromString a <> fromString b
2022-09-08 11:51:09 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 11:51:52 +0200nate1(~nate@98.45.169.16)
2022-09-08 11:53:15 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-08 11:53:15 +0200ccntrq1ccntrq
2022-09-08 11:56:33 +0200nate1(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-09-08 12:03:28 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 12:04:15 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-09-08 12:04:16 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec) (Remote host closed the connection)
2022-09-08 12:04:43 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec)
2022-09-08 12:05:26 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 12:06:05 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-08 12:06:05 +0200ccntrq1ccntrq
2022-09-08 12:11:01 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-08 12:12:37 +0200ph88(~ph88@ip5f5af71f.dynamic.kabel-deutschland.de)
2022-09-08 12:13:37 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 12:13:38 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-08 12:14:30 +0200 <ph88> Hey guys, i am using streamly and i have this code which works https://bpa.st/4D3A just that it doesn't run in parallel. How can i make it run parallely ? i am trying to read hundreds of files and write results about them into a 1 or 2 files
2022-09-08 12:15:17 +0200Pickchea(~private@user/pickchea) (Ping timeout: 268 seconds)
2022-09-08 12:15:41 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-09-08 12:15:54 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-09-08 12:15:55 +0200ccntrq1ccntrq
2022-09-08 12:16:28 +0200odnes(~odnes@5-203-254-246.pat.nym.cosmote.net) (Remote host closed the connection)
2022-09-08 12:16:47 +0200odnes(~odnes@5-203-254-246.pat.nym.cosmote.net)
2022-09-08 12:17:31 +0200fuag1_(~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Remote host closed the connection)
2022-09-08 12:17:48 +0200fuag1_(~fuag1@c-73-221-56-19.hsd1.wa.comcast.net)
2022-09-08 12:22:41 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 12:23:06 +0200brandonh(~brandonh@77.43.32.218) (Quit: brandonh)
2022-09-08 12:25:01 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 260 seconds)
2022-09-08 12:25:02 +0200ccntrq1ccntrq
2022-09-08 12:25:33 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-09-08 12:26:36 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec) (Remote host closed the connection)
2022-09-08 12:27:01 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec)
2022-09-08 12:29:30 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 12:30:43 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-09-08 12:31:17 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-09-08 12:31:36 +0200CiaoSen(~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-09-08 12:34:21 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-08 12:37:33 +0200coot(~coot@213.134.176.158)
2022-09-08 12:38:25 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 12:38:59 +0200fuag1_(~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2022-09-08 12:43:17 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-09-08 12:43:55 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh)
2022-09-08 12:45:36 +0200califax(~califax@user/califx)
2022-09-08 12:46:36 +0200`2jt(~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 260 seconds)
2022-09-08 12:47:31 +0200arahael(~arahael@14-200-135-92.tpgi.com.au) (Ping timeout: 252 seconds)
2022-09-08 12:48:59 +0200toeffel(~toeffel@user/toeffel) (Ping timeout: 252 seconds)
2022-09-08 12:49:58 +0200 <ph88> is it maybe because i was using a normal map instead of streamly map ?
2022-09-08 12:50:02 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 12:51:21 +0200bahamas(~lucian@78.87.133.233) (Ping timeout: 244 seconds)
2022-09-08 12:52:51 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-09-08 12:53:13 +0200benin0(~benin@183.82.29.130) (Quit: The Lounge - https://thelounge.chat)
2022-09-08 12:56:16 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 12:57:45 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-09-08 12:58:04 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds)
2022-09-08 12:58:05 +0200ccntrq1ccntrq
2022-09-08 13:01:05 +0200`2jt(~jtomas@86.red-88-17-188.dynamicip.rima-tde.net)
2022-09-08 13:03:16 +0200troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
2022-09-08 13:03:25 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 13:04:45 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-08 13:04:46 +0200ccntrq1ccntrq
2022-09-08 13:05:05 +0200jakalx(~jakalx@base.jakalx.net)
2022-09-08 13:05:06 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-09-08 13:07:01 +0200acidjnk_new(~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-08 13:07:01 +0200acidjnk_new3(~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-08 13:08:26 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-08 13:10:28 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-09-08 13:12:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-08 13:14:23 +0200Successus(~Successus@user/Successus)
2022-09-08 13:15:42 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-09-08 13:18:16 +0200califax(~califax@user/califx)
2022-09-08 13:18:27 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 13:20:07 +0200acidjnk_new3(~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de)
2022-09-08 13:20:12 +0200acidjnk_new(~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de)
2022-09-08 13:20:26 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 260 seconds)
2022-09-08 13:20:27 +0200ccntrq1ccntrq
2022-09-08 13:20:37 +0200bahamas(~lucian@78.87.133.233)
2022-09-08 13:23:57 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-09-08 13:25:35 +0200bahamas(~lucian@78.87.133.233) (Ping timeout: 268 seconds)
2022-09-08 13:30:00 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-08 13:31:16 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-09-08 13:31:49 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-09-08 13:35:25 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-09-08 13:35:38 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 13:38:38 +0200benin0(~benin@183.82.28.141)
2022-09-08 13:39:55 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-08 13:43:11 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-08 13:46:05 +0200toeffel(~toeffel@user/toeffel)
2022-09-08 13:46:25 +0200Pickchea(~private@user/pickchea)
2022-09-08 13:47:29 +0200troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-09-08 13:50:21 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 13:52:25 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-08 13:52:25 +0200ccntrq1ccntrq
2022-09-08 13:53:36 +0200causal(~user@50.35.83.177) (Quit: WeeChat 3.6)
2022-09-08 13:55:02 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 13:57:22 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 13:57:24 +0200faultline(~christian@200116b82b5bf1006d07b0d5d6738787.dip.versatel-1u1.de)
2022-09-08 13:58:00 +0200bahamas(~lucian@78.87.133.233)
2022-09-08 13:59:02 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds)
2022-09-08 13:59:03 +0200ccntrq1ccntrq
2022-09-08 14:02:24 +0200akegalj(~akegalj@cpe-109-60-8-78.st3.cable.xnet.hr) (Quit: leaving)
2022-09-08 14:04:30 +0200nilradical(~nilradica@user/naso)
2022-09-08 14:06:46 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-09-08 14:07:45 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 14:08:43 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh)
2022-09-08 14:08:44 +0200faultline(~christian@200116b82b5bf1006d07b0d5d6738787.dip.versatel-1u1.de) (Remote host closed the connection)
2022-09-08 14:12:28 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-08 14:12:31 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 14:12:32 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds)
2022-09-08 14:13:30 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds)
2022-09-08 14:13:32 +0200ccntrq1ccntrq
2022-09-08 14:13:51 +0200lyle(~lyle@104.246.145.85)
2022-09-08 14:14:08 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-08 14:16:17 +0200sylvo(~sylvo@110-174-240-221.static.tpgi.com.au)
2022-09-08 14:22:58 +0200 <sylvo> :)
2022-09-08 14:23:12 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-09-08 14:23:20 +0200yvan-sraka(~yvan-srak@37.171.65.132)
2022-09-08 14:24:11 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-09-08 14:27:43 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 14:28:58 +0200lyle(~lyle@104.246.145.85) (Quit: WeeChat 3.6)
2022-09-08 14:29:40 +0200lyle(~lyle@104.246.145.85)
2022-09-08 14:30:20 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-09-08 14:30:20 +0200ccntrq1ccntrq
2022-09-08 14:34:11 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-08 14:35:15 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection)
2022-09-08 14:35:49 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl)
2022-09-08 14:37:02 +0200sylvo(~sylvo@110-174-240-221.static.tpgi.com.au) (Remote host closed the connection)
2022-09-08 14:37:27 +0200`\`(~blop@user/blop) (Ping timeout: 258 seconds)
2022-09-08 14:37:30 +0200sylvo(~sylvo@110-174-240-221.static.tpgi.com.au)
2022-09-08 14:39:45 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh)
2022-09-08 14:41:55 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-08 14:42:10 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2022-09-08 14:42:30 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 14:43:35 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection)
2022-09-08 14:46:37 +0200coot(~coot@213.134.176.158)
2022-09-08 14:47:53 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-08 14:47:56 +0200CiaoSen(~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-08 14:50:55 +0200yvan-sraka(~yvan-srak@37.171.65.132) (Remote host closed the connection)
2022-09-08 14:52:37 +0200mikoto-chan(~mikoto-ch@85-76-18-135-nat.elisa-mobile.fi)
2022-09-08 14:53:16 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-09-08 14:57:03 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 14:57:28 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-09-08 14:57:29 +0200ccntrq1ccntrq
2022-09-08 14:57:37 +0200Kaiepi(~Kaiepi@142.68.249.28) (Quit: Leaving)
2022-09-08 15:00:06 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-09-08 15:01:53 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 15:04:07 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-08 15:04:13 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 15:04:24 +0200luffy(~chenqisu1@183.217.201.192)
2022-09-08 15:04:45 +0200acidjnk_new(~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-09-08 15:04:46 +0200acidjnk_new3(~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-09-08 15:05:08 +0200acidjnk_new(~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de)
2022-09-08 15:05:08 +0200acidjnk_new3(~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de)
2022-09-08 15:05:41 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds)
2022-09-08 15:05:42 +0200ccntrq1ccntrq
2022-09-08 15:05:49 +0200sylvo(~sylvo@110-174-240-221.static.tpgi.com.au) (Leaving)
2022-09-08 15:11:15 +0200luffy(~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds)
2022-09-08 15:12:13 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-08 15:12:19 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 15:13:15 +0200nilradical(~nilradica@user/naso)
2022-09-08 15:18:06 +0200nilradical(~nilradica@user/naso) (Ping timeout: 244 seconds)
2022-09-08 15:20:46 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 15:22:13 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds)
2022-09-08 15:22:14 +0200ccntrq1ccntrq
2022-09-08 15:26:47 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer)
2022-09-08 15:26:47 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Write error: Connection reset by peer)
2022-09-08 15:26:47 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-09-08 15:26:47 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-09-08 15:27:27 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-09-08 15:27:45 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-09-08 15:28:10 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-08 15:28:19 +0200potash(~foghorn@user/foghorn) (Quit: ZNC 1.8.2 - https://znc.in)
2022-09-08 15:28:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-08 15:28:49 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh)
2022-09-08 15:29:02 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-09-08 15:31:11 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-08 15:31:25 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 15:33:54 +0200johnw(~johnw@2600:1700:cf00:db0:4d87:443:f0d8:55d7) (Quit: ZNC - http://znc.in)
2022-09-08 15:35:00 +0200codaraxis__(~codaraxis@user/codaraxis)
2022-09-08 15:36:05 +0200potash(~foghorn@user/foghorn)
2022-09-08 15:37:31 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 260 seconds)
2022-09-08 15:39:31 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 15:41:51 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 15:42:53 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds)
2022-09-08 15:42:54 +0200ccntrq1ccntrq
2022-09-08 15:51:59 +0200ccntrq1(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de)
2022-09-08 15:53:23 +0200nate1(~nate@98.45.169.16)
2022-09-08 15:53:51 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 260 seconds)
2022-09-08 15:53:52 +0200ccntrq1ccntrq
2022-09-08 15:54:09 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-08 15:55:41 +0200 <tomsmeding> maerwald: ghcup tui is not a thing on windows? Or am I doing something wrong?
2022-09-08 15:56:06 +0200nilradical(~nilradica@user/naso)
2022-09-08 15:57:45 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 15:57:51 +0200 <ph88> I run these commands: stack clean && stack build --ghc-options="-eventlog -threaded" && stack exec – myprogram +RTS -l And i get while executing: the flag -l requires the program to be built with -eventlog, -prof or -debug .. what do i need to do to analyse my stack program with threadscope ?
2022-09-08 15:58:11 +0200nate1(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-09-08 15:59:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-08 16:00:46 +0200mastarija(~mastarija@95.168.107.19)
2022-09-08 16:00:51 +0200nilradical(~nilradica@user/naso) (Ping timeout: 260 seconds)
2022-09-08 16:02:56 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds)
2022-09-08 16:03:59 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-09-08 16:04:37 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-08 16:04:50 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-08 16:09:48 +0200CiaoSen(~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-09-08 16:12:13 +0200bahamas(~lucian@78.87.133.233) (Quit: leaving)
2022-09-08 16:12:42 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-09-08 16:13:33 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 16:13:57 +0200ccntrq(~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) ()
2022-09-08 16:14:56 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-08 16:16:12 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-08 16:16:18 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 16:16:23 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-09-08 16:16:50 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-08 16:18:37 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec) (Remote host closed the connection)
2022-09-08 16:19:04 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec)
2022-09-08 16:19:31 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-09-08 16:20:07 +0200infinity0(~infinity0@185.112.146.113) (Remote host closed the connection)
2022-09-08 16:20:40 +0200shriekingnoise(~shrieking@186.137.167.202)
2022-09-08 16:22:00 +0200infinity0(~infinity0@185.112.146.113)
2022-09-08 16:23:13 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection)
2022-09-08 16:25:15 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds)
2022-09-08 16:25:31 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec)
2022-09-08 16:26:31 +0200jakalx(~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection)
2022-09-08 16:26:31 +0200jakalx(~jakalx@base.jakalx.net)
2022-09-08 16:26:52 +0200yaroot(~yaroot@p2790051-ipngn7801souka.saitama.ocn.ne.jp)
2022-09-08 16:28:26 +0200coot(~coot@213.134.176.158)
2022-09-08 16:33:01 +0200mikoto-chan(~mikoto-ch@85-76-18-135-nat.elisa-mobile.fi) (Ping timeout: 252 seconds)
2022-09-08 16:37:28 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-09-08 16:37:55 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Client Quit)
2022-09-08 16:40:29 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-09-08 16:41:02 +0200califax(~califax@user/califx)
2022-09-08 16:43:54 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-09-08 16:45:30 +0200gmg(~user@user/gehmehgeh)
2022-09-08 16:47:51 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-08 16:49:53 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-09-08 16:51:33 +0200mastarija(~mastarija@95.168.107.19) (Ping timeout: 268 seconds)
2022-09-08 16:53:49 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-09-08 16:56:41 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-09-08 16:57:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-08 17:00:13 +0200kenran(~kenran@200116b82b35c500d49ee51ae685b856.dip.versatel-1u1.de)
2022-09-08 17:00:55 +0200jakalx(~jakalx@base.jakalx.net)
2022-09-08 17:02:49 +0200nilradical(~nilradica@user/naso)
2022-09-08 17:04:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-08 17:06:09 +0200dsrt^(~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2022-09-08 17:10:26 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 17:10:37 +0200YawnyYak(~YawnyYak@146.70.133.120)
2022-09-08 17:11:21 +0200kazaf(~kazaf@94.180.63.53)
2022-09-08 17:11:37 +0200YawnyYak(~YawnyYak@146.70.133.120) (Remote host closed the connection)
2022-09-08 17:13:58 +0200YoungFrog(~youngfrog@2a02:a03f:c21b:f900:d87c:4e75:f46f:408a) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2022-09-08 17:14:18 +0200YoungFrog(~youngfrog@2a02:a03f:c21b:f900:fce9:8620:712c:392d)
2022-09-08 17:15:42 +0200Vajb(~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Read error: Connection reset by peer)
2022-09-08 17:16:00 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
2022-09-08 17:16:42 +0200kazaf(~kazaf@94.180.63.53) (Ping timeout: 252 seconds)
2022-09-08 17:18:17 +0200califax(~califax@user/califx) (Write error: Connection reset by peer)
2022-09-08 17:18:17 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-09-08 17:18:17 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-09-08 17:18:43 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-09-08 17:19:14 +0200gmg(~user@user/gehmehgeh)
2022-09-08 17:19:14 +0200califax(~califax@user/califx)
2022-09-08 17:26:58 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.6)
2022-09-08 17:30:57 +0200MoC(~moc@user/moc) (Read error: Connection reset by peer)
2022-09-08 17:31:12 +0200MoC(~moc@user/moc)
2022-09-08 17:32:38 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-08 17:36:11 +0200kaptch(~user@212.58.121.169)
2022-09-08 17:37:25 +0200kaptch(~user@212.58.121.169) (Client Quit)
2022-09-08 17:38:12 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 17:38:53 +0200kaptch(~user@212.58.121.169)
2022-09-08 17:39:27 +0200kaptch(~user@212.58.121.169) (Remote host closed the connection)
2022-09-08 17:40:02 +0200nschoe(~quassel@178.251.84.79) (Ping timeout: 260 seconds)
2022-09-08 17:40:10 +0200CiaoSen(~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2022-09-08 17:42:15 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-09-08 17:42:15 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:531:9af1:68b5:af54) (Ping timeout: 244 seconds)
2022-09-08 17:44:06 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-08 17:44:42 +0200yvan-sraka(~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be)
2022-09-08 17:48:11 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-09-08 17:49:16 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-09-08 17:53:25 +0200kaptch(~user@212.58.121.169)
2022-09-08 17:55:54 +0200yvan-sraka(~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) (Remote host closed the connection)
2022-09-08 17:56:16 +0200kaptch(~user@212.58.121.169) (Read error: Connection reset by peer)
2022-09-08 17:57:41 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 17:57:56 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-09-08 17:58:02 +0200kaptch(~user@212.58.121.169)
2022-09-08 17:58:59 +0200nilradical(~nilradica@user/naso) ()
2022-09-08 17:59:41 +0200mbuf(~Shakthi@49.204.139.63) (Quit: Leaving)
2022-09-08 18:03:54 +0200Kaiepi(~Kaiepi@142.68.249.28)
2022-09-08 18:05:43 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-09-08 18:06:32 +0200Vajb(~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b)
2022-09-08 18:07:09 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-08 18:10:21 +0200kenran(~kenran@200116b82b35c500d49ee51ae685b856.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2022-09-08 18:13:35 +0200johnw(~johnw@2600:1700:cf00:db0:4d87:443:f0d8:55d7)
2022-09-08 18:14:04 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-08 18:14:10 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 18:16:03 +0200kenran(~kenran@200116b82b35c500f21c6a4e5f1ed901.dip.versatel-1u1.de)
2022-09-08 18:25:31 +0200kadobanana(~mud@user/kadoban) (Ping timeout: 260 seconds)
2022-09-08 18:27:38 +0200hippoid(~idris@c-98-220-13-8.hsd1.il.comcast.net)
2022-09-08 18:29:21 +0200kadobanana(~mud@user/kadoban)
2022-09-08 18:32:36 +0200Tuplanolla(~Tuplanoll@91-159-69-12.elisa-laajakaista.fi)
2022-09-08 18:36:23 +0200kenran(~kenran@200116b82b35c500f21c6a4e5f1ed901.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-09-08 18:36:41 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-08 18:36:41 +0200razetime(~quassel@117.193.7.156)
2022-09-08 18:38:34 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds)
2022-09-08 18:40:37 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2022-09-08 18:40:57 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 18:41:36 +0200kaptch(~user@212.58.121.169) (Remote host closed the connection)
2022-09-08 18:41:48 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-08 18:41:52 +0200kaptch(~user@212.58.121.169)
2022-09-08 18:42:17 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-09-08 18:42:57 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-08 18:44:39 +0200kaptch(~user@212.58.121.169) ()
2022-09-08 18:47:36 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-08 18:52:43 +0200azimut_(~azimut@gateway/tor-sasl/azimut)
2022-09-08 18:52:45 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-09-08 18:53:39 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-08 19:02:07 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-09-08 19:06:42 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-09-08 19:07:16 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-09-08 19:07:34 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-08 19:12:25 +0200slack1256(~slack1256@191.125.99.222)
2022-09-08 19:12:53 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-08 19:13:21 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2022-09-08 19:15:45 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds)
2022-09-08 19:16:08 +0200azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-09-08 19:17:34 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-09-08 19:25:05 +0200slack1400(~slack1256@181.42.44.123)
2022-09-08 19:26:18 +0200slack1400(~slack1256@181.42.44.123) (Remote host closed the connection)
2022-09-08 19:27:21 +0200slack1256(~slack1256@191.125.99.222) (Ping timeout: 260 seconds)
2022-09-08 19:27:59 +0200slack1256(~slack1256@181.42.44.123)
2022-09-08 19:29:37 +0200guyst(~guyst@213.205.241.242)
2022-09-08 19:29:54 +0200 <guyst> hi, i have been working on machine learning in haskell.
2022-09-08 19:30:16 +0200 <guyst> previously i have used python using tensorflow, pandas, and pytorch
2022-09-08 19:30:38 +0200 <guyst> i would like to undertake a machine learning project within haskell
2022-09-08 19:31:11 +0200 <guyst> as i understand it, python is not a good tool for scientific education (i had to use it as part of my chemistry phd, and struggled with runtime errors)
2022-09-08 19:31:52 +0200 <guyst> im also aware that the haskell machine lerning infrastructure is not yet sufficient for it to reasonably be suggested to use haskell over python in such situations
2022-09-08 19:32:12 +0200 <guyst> this is not something i can change without support from the haskell community, so I'm asking here
2022-09-08 19:32:51 +0200kenran(~kenran@200116b82b35c5000593d10e895952fe.dip.versatel-1u1.de)
2022-09-08 19:33:24 +0200econo(uid147250@user/econo)
2022-09-08 19:34:06 +0200coot(~coot@213.134.176.158)
2022-09-08 19:34:31 +0200kenran(~kenran@200116b82b35c5000593d10e895952fe.dip.versatel-1u1.de) (Client Quit)
2022-09-08 19:35:53 +0200 <guyst> specifically, im wondering what tools would be needed for the haskell community to develop, in order that haskell become competative with python for use in scientific education
2022-09-08 19:36:15 +0200 <guyst> and also what community resources exist to aid with such an undertaking
2022-09-08 19:36:55 +0200 <guyst> from what i can tell, all the major things like tensorflow are ported
2022-09-08 19:37:26 +0200 <guyst> but im not familiar enough with the python "workflow" to understand which bits of infrastructure haskell is lacking
2022-09-08 19:38:01 +0200 <guyst> (personally, i write type safe nets and training routines in pure haskell when i need them, but i suppose this isnt normally an option)
2022-09-08 19:38:32 +0200 <guyst> has anyone got any ideas along those lines?
2022-09-08 19:41:27 +0200mvk(~mvk@2607:fea8:5ce3:8500::191)
2022-09-08 19:41:36 +0200cawfee(~root@2406:3003:2077:2758::babe) (Ping timeout: 244 seconds)
2022-09-08 19:43:34 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-09-08 19:44:22 +0200gmg(~user@user/gehmehgeh)
2022-09-08 19:46:24 +0200 <ph88> guyst, i think first thing that is lacking are the tutorials
2022-09-08 19:49:05 +0200cawfee(~root@2406:3003:2077:2758::babe)
2022-09-08 19:51:12 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-09-08 19:51:12 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-09-08 19:51:45 +0200 <monochrom> I may actually think that the haskell workflow does not need to follow the python workflow, so you are not missing anything.
2022-09-08 19:51:53 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-09-08 19:51:58 +0200gmg(~user@user/gehmehgeh)
2022-09-08 19:52:03 +0200 <Athas> guyst: I think one challenge is that it is not clear Haskell has much advantage compared to Python in this domain.
2022-09-08 19:52:03 +0200 <monochrom> But I don't do machine learning, my opinion on this is worth 0.
2022-09-08 19:52:25 +0200 <Athas> Haskell is great for dealing with complicated data structures. Deep learning, at least, does not have any of that.
2022-09-08 19:52:42 +0200 <monochrom> Athas, I think that guyst is unhappy with python untypedness, in which case haskell is an attraction.
2022-09-08 19:53:16 +0200 <monochrom> Then again Fortran could do just fine too, heh.
2022-09-08 19:53:34 +0200 <Athas> monochrom: at least for deep learning, the most annoying type errors are mismatched array sizes. You can encode that stuff in the Haskell type system, but it's not very pleasant IMO.
2022-09-08 19:54:16 +0200 <monochrom> OK yeah that's true, haskell is not prettier here. Just uglyly doable.
2022-09-08 19:54:22 +0200 <[exa]> guyst: one of the problems with ML and haskell is that people who're not really interested in learning to program would have to invest time into learning to program
2022-09-08 19:54:52 +0200nate1(~nate@98.45.169.16)
2022-09-08 19:55:02 +0200`2jt(~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 244 seconds)
2022-09-08 19:55:13 +0200 <monochrom> Ugh does that mean that they want the machine to learn programming so they don't have to? >:)
2022-09-08 19:55:41 +0200 <[exa]> guyst: for the others there are actually pretty nice solutions around, e.g. this https://hackage.haskell.org/package/grenade
2022-09-08 19:56:44 +0200 <[exa]> monochrom: sad story, right?
2022-09-08 19:57:48 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-09-08 19:57:55 +0200 <[exa]> anyway it is technically true, if you want to do ML you want to organize your neural net or somthing and feed it datas, _not_ try to spend a month finding a monad tutorial that breaks the curse. :]
2022-09-08 19:58:11 +0200 <monochrom> All I know about python is that 3Blue1Brown ditched python for julia so I recommend any current or prospective python users to follow suit >:)
2022-09-08 19:58:18 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 258 seconds)
2022-09-08 19:58:35 +0200 <[exa]> yeah actually I did the same for most of the dirty sci-scripting. :]
2022-09-08 19:58:59 +0200 <monochrom> And julia actually has an interesting subtyping system.
2022-09-08 19:59:34 +0200 <monochrom> I forgot whether it's static or dynamic, but it's interesting and useful even for a dynamic one.
2022-09-08 20:00:15 +0200nate1(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-09-08 20:00:18 +0200 <[exa]> it's a weird combo of static and dynamic
2022-09-08 20:00:31 +0200 <[exa]> but it's veeeeeery practical
2022-09-08 20:01:25 +0200 <ph88> hey guys, now that you are here ... any idea how to get -eventlog going with stack ? i want to use threadscope
2022-09-08 20:01:51 +0200Guest|94(~Guest|94@130.15.33.217)
2022-09-08 20:01:54 +0200Guest|94(~Guest|94@130.15.33.217) (Client Quit)
2022-09-08 20:02:34 +0200 <guyst> Athas: i tried to use python in a workshop. it wasted all the time in the workshop. i wouldnt have had length errors i couldnt find in time, had i been using haskell
2022-09-08 20:04:54 +0200 <Athas> Maybe. You never have problems with the tool you didn't use.
2022-09-08 20:08:04 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-08 20:10:58 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 20:11:02 +0200razetime(~quassel@117.193.7.156) (Ping timeout: 244 seconds)
2022-09-08 20:12:12 +0200beteigeuze(~Thunderbi@89.187.168.238)
2022-09-08 20:12:23 +0200 <[exa]> guyst: try julia tbh :]
2022-09-08 20:12:51 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-09-08 20:14:47 +0200 <[exa]> guyst: anyway I guess there could be many libs for haskell that just do precisely the thing that you need. This "array bookkeeping" and the possibilities are typically not a property of the used programming language, but a property of how much time was invested to make the libraries error-prone.
2022-09-08 20:16:22 +0200 <monochrom> Haha, I thought I was the only one who invest time to make anything error-prone, i.e., I make my homeworks and exams error-prone to keep the class average low...
2022-09-08 20:16:54 +0200 <[exa]> oh noes
2022-09-08 20:16:58 +0200 <[exa]> error-proof
2022-09-08 20:17:00 +0200 <monochrom> hehehe
2022-09-08 20:17:08 +0200 <[exa]> the keys are so close
2022-09-08 20:18:01 +0200 <monochrom> I am particularly devious in that though.
2022-09-08 20:18:47 +0200 <monochrom> For example I include a question like "re-implement this recursive function by an application of foldr".
2022-09-08 20:19:05 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-09-08 20:19:26 +0200 <monochrom> The best way to answer such a question is to just look at the code structure and extract the foldr pattern.
2022-09-08 20:19:45 +0200 <monochrom> The worst way is to try to understand the function.
2022-09-08 20:20:49 +0200 <monochrom> And I have a part (a) to ask "what does this function do?" to trick students into understanding the function!
2022-09-08 20:22:48 +0200 <guyst> " how much time was invested to make the libraries error-prone." lol
2022-09-08 20:23:08 +0200 <guyst> error-prof more like
2022-09-08 20:23:23 +0200 <int-e> monochrom: f x == foldr (const f) x [undefined]
2022-09-08 20:23:25 +0200AlexNoo_(~AlexNoo@178.34.161.129)
2022-09-08 20:24:09 +0200 <guyst> :t ((tanh . sum) .) . zipWith (*)
2022-09-08 20:24:10 +0200 <lambdabot> Floating c => [c] -> [c] -> c
2022-09-08 20:24:23 +0200 <guyst> where are the peripherals!!
2022-09-08 20:24:37 +0200 <int-e> on the boundary
2022-09-08 20:24:55 +0200 <guyst> zipWith is lazy, it will still produce *some* numbers...
2022-09-08 20:25:02 +0200 <monochrom> int-e: I sometimes include a "don't use your own recursion" clause.
2022-09-08 20:25:51 +0200Alex_test(~al_test@178.34.151.32) (Ping timeout: 252 seconds)
2022-09-08 20:25:52 +0200 <guyst> dont cheat!
2022-09-08 20:26:11 +0200 <monochrom> zipWith is so lazy, it won't produce some numbers until you provide some numbers.
2022-09-08 20:26:13 +0200AlexZenon(~alzenon@178.34.151.32) (Ping timeout: 252 seconds)
2022-09-08 20:26:23 +0200 <guyst> i just mean if the boundaries dont match up
2022-09-08 20:26:31 +0200 <guyst> sure the net will be totally wrong, but whatever
2022-09-08 20:26:38 +0200AlexNoo(~AlexNoo@178.34.151.32) (Ping timeout: 240 seconds)
2022-09-08 20:27:04 +0200 <guyst> so then i do some type safe length checking (should out to grenade above)
2022-09-08 20:27:13 +0200 <guyst> and then im like "whats up with python anyway"
2022-09-08 20:27:23 +0200 <guyst> people needing IDE's apparently
2022-09-08 20:27:38 +0200 <guyst> shout*
2022-09-08 20:30:33 +0200fserucas|EoD(~fserucas|@89.214.127.144) (Quit: Leaving)
2022-09-08 20:31:11 +0200Alex_test(~al_test@178.34.161.129)
2022-09-08 20:32:18 +0200AlexZenon(~alzenon@178.34.161.129)
2022-09-08 20:36:15 +0200mastarija(~mastarija@46.188.135.255)
2022-09-08 20:37:24 +0200mvk(~mvk@2607:fea8:5ce3:8500::191) (Ping timeout: 244 seconds)
2022-09-08 20:38:18 +0200odnes(~odnes@5-203-254-246.pat.nym.cosmote.net) (Quit: Leaving)
2022-09-08 20:41:57 +0200gmg(~user@user/gehmehgeh)
2022-09-08 20:43:05 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-08 20:43:20 +0200ft(~ft@p4fc2a0f5.dip0.t-ipconnect.de)
2022-09-08 20:43:27 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2022-09-08 20:44:37 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-09-08 20:48:14 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds)
2022-09-08 20:54:18 +0200toeffel(~toeffel@user/toeffel) (Quit: quit)
2022-09-08 20:56:44 +0200pavonia(~user@user/siracusa)
2022-09-08 20:58:21 +0200inversed(~inversed@90.209.137.56) (Ping timeout: 260 seconds)
2022-09-08 20:59:22 +0200neceve_(~neceve@user/neceve)
2022-09-08 21:00:02 +0200neceve_(~neceve@user/neceve) (Client Quit)
2022-09-08 21:01:16 +0200inversed(~inversed@90.209.137.56)
2022-09-08 21:07:40 +0200slac76358(~slack1256@191.125.227.90)
2022-09-08 21:08:27 +0200califax(~califax@user/califx) (Ping timeout: 258 seconds)
2022-09-08 21:08:52 +0200califax(~califax@user/califx)
2022-09-08 21:09:56 +0200slack1256(~slack1256@181.42.44.123) (Ping timeout: 268 seconds)
2022-09-08 21:15:26 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-09-08 21:16:36 +0200gmg(~user@user/gehmehgeh)
2022-09-08 21:20:16 +0200mastarija(~mastarija@46.188.135.255) (Ping timeout: 244 seconds)
2022-09-08 21:22:30 +0200AlexNoo_AlexNoo
2022-09-08 21:23:14 +0200Kaipei(~Kaiepi@142.68.249.28)
2022-09-08 21:25:26 +0200Kaiepi(~Kaiepi@142.68.249.28) (Ping timeout: 244 seconds)
2022-09-08 21:26:02 +0200 <qrpnxz> i think some times haskell gets a bad rep for inscrutable operators, but they are only inscrutable until you learn them. On the flip side without them, or at least infix ticks, applicative, monad, monoid, would always be a mess. Therefore I find paren-free function application and infix notation and operators, to be a key feature, not just a minor syntactical difference. I think other languages
2022-09-08 21:26:04 +0200 <qrpnxz> could express things like applicative, although not equivalently to haskell type class, but rather close, but because of the syntax alone it would be highly discouraged.
2022-09-08 21:27:35 +0200mastarija(~mastarija@46.188.135.255)
2022-09-08 21:29:45 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-09-08 21:30:01 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-09-08 21:30:28 +0200gmg(~user@user/gehmehgeh)
2022-09-08 21:34:39 +0200 <guyst> cf. first class functions re infix function arrows
2022-09-08 21:35:23 +0200 <guyst> people not sure about burritos, also
2022-09-08 21:35:40 +0200ducky(~ducky@92-109-65-42.cable.dynamic.v4.ziggo.nl)
2022-09-08 21:35:56 +0200 <guyst> templates can do polymorphic class like stuff almost iiuc
2022-09-08 21:36:11 +0200 <guyst> and the C coders hate it
2022-09-08 21:39:16 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-08 21:40:11 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 21:41:32 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 21:48:18 +0200ducky(~ducky@92-109-65-42.cable.dynamic.v4.ziggo.nl) (Quit: Client closed)
2022-09-08 21:50:41 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-09-08 21:52:49 +0200mastarija(~mastarija@46.188.135.255) (Ping timeout: 244 seconds)
2022-09-08 21:55:19 +0200mastarija(~mastarija@46.188.135.255)
2022-09-08 21:55:36 +0200coot(~coot@213.134.176.158)
2022-09-08 22:07:21 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal)
2022-09-08 22:07:38 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-09-08 22:08:05 +0200lyle(~lyle@104.246.145.85) (Quit: WeeChat 3.6)
2022-09-08 22:08:24 +0200 <dolio> Yeah, it doesn't really make much sense when you think about it. Programmers at large just have a lot of arbitrary biases about what they're willing to learn.
2022-09-08 22:08:58 +0200 <dolio> You can go overboard with operators, but that applies to anything.
2022-09-08 22:09:13 +0200 <Rembane> I guess that's one of the woes of only learning languages from one family of languages.
2022-09-08 22:10:42 +0200 <guyst> i think its more of a momentum thing, but like a specific kind which is hard to describe to do with fatalistic acceptance and the perpetuation of mistruth
2022-09-08 22:10:57 +0200 <guyst> "haskell is slow" or whatever
2022-09-08 22:11:01 +0200 <guyst> which i havent heard in ages
2022-09-08 22:11:17 +0200 <guyst> since it became like blisteringly fast and nobody could challenge it on that anymore!
2022-09-08 22:11:28 +0200Guest89(~Guest89@207-153-8-17.fttp.usinternet.com)
2022-09-08 22:11:31 +0200 <guyst> *sings* i did the benchmarks, i didnt the benchmarks
2022-09-08 22:11:43 +0200 <dolio> "Haskell is slow" has never made much sense given what people actually use.
2022-09-08 22:11:44 +0200 <guyst> hey, who put that there
2022-09-08 22:12:15 +0200 <guyst> dolio: right, but it used to be something youd have to say something like that to argue for
2022-09-08 22:12:40 +0200 <guyst> but like, there are newer ones
2022-09-08 22:12:47 +0200Guest89(~Guest89@207-153-8-17.fttp.usinternet.com) (Client Quit)
2022-09-08 22:12:48 +0200 <guyst> "dont you use notepad"
2022-09-08 22:12:54 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-09-08 22:13:13 +0200 <guyst> well, wordpad, but now notepad has an undo history longer than 1!
2022-09-08 22:13:32 +0200 <guyst> "those constraints are ugly"
2022-09-08 22:13:36 +0200 <dolio> People still say Java is slow like it's the late 90s or something.
2022-09-08 22:13:36 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-09-08 22:13:40 +0200 <guyst> yeah, but what to do about it.
2022-09-08 22:14:17 +0200 <guyst> man, all this talk of java is making me horney, id better have some caffine
2022-09-08 22:14:48 +0200 <guyst> i think it kind of reminds me of acid for some reason. but i stopped drinking coffee
2022-09-08 22:15:20 +0200 <guyst> i liked java
2022-09-08 22:15:23 +0200 <guyst> nice objects
2022-09-08 22:16:11 +0200 <guyst> i bought 4 boxes of proplus today, i hope i dont die
2022-09-08 22:16:17 +0200 <guyst> bloody typesystem
2022-09-08 22:17:12 +0200 <guyst> my keyboard melts as i fail to express typelevel lexers in cyrilic, and the political fallout is catastrophic
2022-09-08 22:23:04 +0200`2jt(~jtomas@86.red-88-17-188.dynamicip.rima-tde.net)
2022-09-08 22:24:12 +0200_xor(~xor@74.215.182.83)
2022-09-08 22:25:30 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-09-08 22:26:43 +0200 <guyst> who do you have to talk to to get anything *done* around here?
2022-09-08 22:27:01 +0200 <guyst> all i seem to have been able to arrange is a python workshop
2022-09-08 22:27:11 +0200 <guyst> like, pretty much the exact opposite of the intension
2022-09-08 22:27:36 +0200acidjnk_new(~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-08 22:27:36 +0200acidjnk_new3(~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-08 22:28:06 +0200 <geekosaur> we're not the ones who know what's missing…
2022-09-08 22:28:29 +0200cowboy8625(~cowboy@64.68.179.149)
2022-09-08 22:28:41 +0200`2jt(~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2022-09-08 22:28:42 +0200 <guyst> just like, start using lambda expressions in public discourse, assume haskell is everyones first language from birth, and then... not make the mistake of "trying to do people a favour by teaching them python instead of haskell"
2022-09-08 22:28:59 +0200mastarija(~mastarija@46.188.135.255) (Ping timeout: 244 seconds)
2022-09-08 22:29:40 +0200 <geekosaur> you're also fighting things like GvR and his cadre popularizing Python specifically as a first language
2022-09-08 22:29:57 +0200 <guyst> encore with the python
2022-09-08 22:30:20 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-09-08 22:30:51 +0200mastarija(~mastarija@95.168.107.13)
2022-09-08 22:30:55 +0200 <guyst> cadre, according to google, that interjects my python search with "cadre: military unit responsible for training the rest of the unit"
2022-09-08 22:31:08 +0200 <guyst> "stop being bellends"
2022-09-08 22:31:14 +0200 <guyst> ... no working
2022-09-08 22:32:00 +0200 <guyst> "more overt leadership" ? really ?
2022-09-08 22:32:23 +0200PiDelport(uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-08 22:33:15 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-08 22:34:03 +0200 <guyst> ok, here we go; https://arxiv.org/abs/2202.08557
2022-09-08 22:34:23 +0200 <guyst> no...
2022-09-08 22:34:37 +0200 <guyst> not some obscure chinese paper on urban traffic flow
2022-09-08 22:34:40 +0200geekosaurwonders what that has to do with anything
2022-09-08 22:34:45 +0200 <guyst> sorry
2022-09-08 22:34:59 +0200 <geekosaur> the cadre is out to train new programmers to use and advocate python
2022-09-08 22:35:12 +0200 <geekosaur> seems like a valid use to me
2022-09-08 22:35:17 +0200 <guyst> im trying to find these apparently zeit-geist setting gateways to death by python
2022-09-08 22:35:50 +0200 <guyst> i can see liliputians entering the picture at any minute
2022-09-08 22:36:23 +0200 <guyst> oh GVR is a dude
2022-09-08 22:36:27 +0200 <guyst> ok, so
2022-09-08 22:36:34 +0200 <guyst> one person that works at google!?
2022-09-08 22:36:41 +0200 <guyst> seems like an easy target
2022-09-08 22:36:46 +0200 <guyst> argh!
2022-09-08 22:37:17 +0200fhn(~fhn@p200300ef971835a3e1b13651e3e353a6.dip0.t-ipconnect.de)
2022-09-08 22:37:21 +0200 <guyst> stop wasting my time with this shit
2022-09-08 22:37:23 +0200 <guyst> sorry...
2022-09-08 22:37:30 +0200 <guyst> its quite funny
2022-09-08 22:37:33 +0200 <guyst> anyway
2022-09-08 22:37:35 +0200 <geekosaur> what
2022-09-08 22:37:36 +0200 <guyst> ...
2022-09-08 22:37:47 +0200 <guyst> i dont really care who GvR is, maybe i should
2022-09-08 22:37:49 +0200 <guyst> idk
2022-09-08 22:38:03 +0200 <geekosaur> he's the developer and chief advocate for python
2022-09-08 22:38:09 +0200 <geekosaur> and directpr of its development
2022-09-08 22:38:18 +0200 <guyst> so what im supposed to bang on his office and yell at him!?
2022-09-08 22:38:31 +0200 <guyst> "what are you doing to people!?"
2022-09-08 22:39:09 +0200 <guyst> to be fair, id imagine some people in the depths of typechecking arriving at a similar despair
2022-09-08 22:39:24 +0200 <guyst> i could ask the ghc team for more lighthearted error messages
2022-09-08 22:40:15 +0200 <guyst> yeah, ok well we already spoke about the thing with the scripting langauge for FFI
2022-09-08 22:40:26 +0200 <guyst> "nobody can be bothered" was the conclusion
2022-09-08 22:40:49 +0200 <guyst> "up to your end to have at least one pythoner to do the port"
2022-09-08 22:41:15 +0200zebrag(~chris@user/zebrag)
2022-09-08 22:41:19 +0200 <guyst> i think we need more haskellers...
2022-09-08 22:41:58 +0200 <guyst> but like, to do python ports!? isnt there compensation for a reality this cruel? oh their is!? its also quite cruel!?!?
2022-09-08 22:42:53 +0200benin0(~benin@183.82.28.141) (Read error: Connection reset by peer)
2022-09-08 22:43:05 +0200benin0(~benin@183.82.29.130)
2022-09-08 22:44:01 +0200 <guyst> at what point can we just get the AI to do it?
2022-09-08 22:44:35 +0200 <guyst> "an ai for porting python projects to haskell, the last depths of pathos by guyst"
2022-09-08 22:44:43 +0200vulpine(xfnw@tilde.team) (Read error: Connection reset by peer)
2022-09-08 22:45:16 +0200vulpine(xfnw@tilde.team)
2022-09-08 22:45:41 +0200 <hippoid> i know what a monad is, but i dont know what a burrito is. help?
2022-09-08 22:46:13 +0200 <tdammers> a burrito is just an endofunctor in the category of mexican food, what's the problem
2022-09-08 22:46:18 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 22:47:15 +0200 <hippoid> lol
2022-09-08 22:51:07 +0200benin09(~benin@183.82.28.141)
2022-09-08 22:52:53 +0200benin0(~benin@183.82.29.130) (Ping timeout: 252 seconds)
2022-09-08 22:53:49 +0200cafkafk[m](~cafkafkma@2001:470:69fc:105::1:cea8)
2022-09-08 22:53:49 +0200slac76358(~slack1256@191.125.227.90) (Read error: Connection reset by peer)
2022-09-08 22:53:59 +0200 <guyst> idk why i find working on irc so f*** stressful
2022-09-08 22:54:13 +0200 <guyst> the ML ports for haskell seem to be in decent order
2022-09-08 22:54:21 +0200benin0(~benin@183.82.29.130)
2022-09-08 22:54:22 +0200slack1256(~slack1256@181.42.44.123)
2022-09-08 22:54:42 +0200sammelweis(~quassel@c-68-48-18-140.hsd1.mi.comcast.net)
2022-09-08 22:55:12 +0200 <guyst> he sais, with a sideways glance to the box of proplus grubily discarded on the desk beside
2022-09-08 22:55:23 +0200 <guyst> and goes to eat more!
2022-09-08 22:55:41 +0200 <guyst> Right! what else needs Done!?
2022-09-08 22:55:44 +0200 <guyst> oh, all my work
2022-09-08 22:55:51 +0200 <guyst> ok, legit procrastination
2022-09-08 22:56:22 +0200benin09(~benin@183.82.28.141) (Ping timeout: 244 seconds)
2022-09-08 22:56:37 +0200 <guyst> ok, right, yeah, that was the only decent myth we have is that apprently people dont know what a monad is
2022-09-08 22:56:45 +0200 <guyst> which is a sneaky provocation
2022-09-08 22:56:48 +0200 <guyst> if anything
2022-09-08 22:56:56 +0200 <guyst> nay a reason people dont learn haskell
2022-09-08 22:57:29 +0200 <guyst> but then all they learn is that its a burrito and thats all they know about haskell
2022-09-08 22:57:53 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds)
2022-09-08 22:57:57 +0200 <guyst> "burritos are like joining lists together inside another list"
2022-09-08 22:58:10 +0200stef204(~stef204@user/stef204) (Quit: WeeChat 3.6)
2022-09-08 22:58:12 +0200 <guyst> only they are really deep etc.
2022-09-08 22:58:36 +0200 <guyst> and then you get monads for free, and a Wadler reference
2022-09-08 22:58:46 +0200 <guyst> and then you actually look like a good TA
2022-09-08 22:59:01 +0200 <guyst> and then your totally retarded and get fired
2022-09-08 22:59:25 +0200 <guyst> "this is an institution of good repute!"
2022-09-08 22:59:37 +0200 <guyst> oh, yeah, "head?"
2022-09-08 22:59:53 +0200 <guyst> do you ed-in-bruV
2022-09-08 23:00:34 +0200 <guyst> "grave threat to the minds of future civilians"
2022-09-08 23:00:40 +0200 <guyst> bloody right they are
2022-09-08 23:01:25 +0200 <guyst> nah, theyr alright, but theyl probably never get paid
2022-09-08 23:01:41 +0200 <guyst> unless they stop procrastinating!
2022-09-08 23:01:47 +0200guyst(~guyst@213.205.241.242) (Quit: Leaving)
2022-09-08 23:03:38 +0200Tuplanolla(~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.)
2022-09-08 23:08:55 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-09-08 23:11:11 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-08 23:11:45 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-09-08 23:12:56 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-08 23:15:44 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-09-08 23:21:51 +0200euandreh(~euandreh@179.214.113.107) (Ping timeout: 252 seconds)
2022-09-08 23:22:50 +0200euandreh(~euandreh@179.214.113.107)
2022-09-08 23:24:55 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-08 23:26:39 +0200Pickchea(~private@user/pickchea)
2022-09-08 23:26:50 +0200nbms^(~nbms@96-86-241-229-static.hfc.comcastbusiness.net)
2022-09-08 23:29:28 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-09-08 23:31:25 +0200acidjnk_new3(~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de)
2022-09-08 23:31:25 +0200acidjnk_new(~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de)
2022-09-08 23:31:36 +0200mvk(~mvk@2607:fea8:5ce3:8500::875a)
2022-09-08 23:35:38 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds)
2022-09-08 23:37:34 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-09-08 23:39:21 +0200acidjnk_new(~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-08 23:39:21 +0200acidjnk_new3(~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-08 23:40:52 +0200mmhat(~mmh@p200300f1c728ccd3ee086bfffe095315.dip0.t-ipconnect.de)
2022-09-08 23:40:58 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-08 23:43:51 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-08 23:45:29 +0200MoC(~moc@user/moc) (Quit: Konversation terminated!)
2022-09-08 23:45:58 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-08 23:47:56 +0200phma(phma@2001:5b0:210d:90d8:b062:feab:691c:8d5d) (Read error: Connection reset by peer)
2022-09-08 23:48:55 +0200phma(~phma@2001:5b0:212a:e868:2573:b9fa:6d3a:88fa)
2022-09-08 23:50:34 +0200causal(~user@50.35.83.177)
2022-09-08 23:52:46 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 268 seconds)
2022-09-08 23:56:21 +0200nate1(~nate@98.45.169.16)
2022-09-08 23:56:28 +0200 <mastarija> If I decode ByteString as ASCII using the `decodeASCII`, how do I get the same bytestring back?
2022-09-08 23:56:43 +0200 <mastarija> There's no `encodeASCII :: Text -> ByteString`
2022-09-08 23:58:02 +0200pieguy128(~pieguy128@bas1-quebec14-67-70-103-208.dsl.bell.ca) (Ping timeout: 260 seconds)
2022-09-08 23:58:02 +0200slack1256(~slack1256@181.42.44.123) (Remote host closed the connection)
2022-09-08 23:58:31 +0200 <hpc> encodeASCII would be partial
2022-09-08 23:58:45 +0200 <hpc> encodeUtf8 should work though, it's a strict superset
2022-09-08 23:58:53 +0200mmhat(~mmh@p200300f1c728ccd3ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2022-09-08 23:58:56 +0200 <hpc> and 0-127 map to the same bytes
2022-09-08 23:59:09 +0200 <mastarija> Thx
2022-09-08 23:59:14 +0200 <geekosaur> note however that "ASCII" gets abused to mean ISO8859/1