2022-09-08 00:00:57 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2022-09-08 00:01:26 +0200 | Pickchea | (~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 +0200 | L29Ah | (~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 +0200 | L29Ah | (~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 +0200 | tromp | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-08 00:09:29 +0200 | cawfee | (~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 +0200 | cawfee | (~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 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 252 seconds) |
2022-09-08 00:23:13 +0200 | cawfee | (~root@2406:3003:2077:2758::babe) (Ping timeout: 244 seconds) |
2022-09-08 00:23:17 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
2022-09-08 00:27:19 +0200 | cawfee | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 00:39:11 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 00:40:51 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-09-08 00:41:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-08 00:42:06 +0200 | matthewmosior | (~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 +0200 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
2022-09-08 00:46:46 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
2022-09-08 00:46:58 +0200 | zebrag | (~chris@user/zebrag) |
2022-09-08 00:47:21 +0200 | acidjnk | (~acidjnk@p200300d6e7137a65d085a62f8a8c8d85.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-08 00:47:21 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a65d085a62f8a8c8d85.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-08 00:47:44 +0200 | fserucas_|EoD | (~fserucas|@89.214.127.144) |
2022-09-08 00:48:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-09-08 00:50:49 +0200 | fserucas|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 +0200 | Sgeo | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 00:54:31 +0200 | <Guest9068> | x)) |
2022-09-08 00:54:54 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-09-08 00:55:04 +0200 | dsrt^ | (~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 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Client Quit) |
2022-09-08 00:56:44 +0200 | ec | (~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 +0200 | wolfshappen | (~waff@irc.furworks.de) |
2022-09-08 01:06:06 +0200 | waleee | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-08 01:12:49 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2022-09-08 01:13:03 +0200 | merijn | (~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 +0200 | eggplantade | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 01:25:32 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
2022-09-08 01:26:18 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-08 01:27:06 +0200 | causal | (~user@50.35.83.177) |
2022-09-08 01:29:38 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
2022-09-08 01:30:51 +0200 | jmdaemon | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-08 01:36:57 +0200 | segfaultfizzbuzz | (~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 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2022-09-08 01:42:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 01:45:19 +0200 | fserucas_|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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-08 01:47:00 +0200 | pretty_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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 01:48:36 +0200 | dsrt^ | (~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 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 252 seconds) |
2022-09-08 01:52:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-08 01:52:09 +0200 | jao | (~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 +0200 | Maxdamantus | (~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 +0200 | jao | (~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 +0200 | frost | (~frost@user/frost) |
2022-09-08 02:03:40 +0200 | matthewmosior | (~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 +0200 | fhn | (~fhn@2.58.185.24) (Quit: Client closed) |
2022-09-08 02:14:15 +0200 | Successus | (~Successus@user/Successus) () |
2022-09-08 02:20:31 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds) |
2022-09-08 02:22:38 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-08 02:25:04 +0200 | asivitz | (uid178348@id-178348.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2022-09-08 02:27:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-08 02:27:51 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
2022-09-08 02:28:44 +0200 | dsrt^ | (~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) |
2022-09-08 02:29:29 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
2022-09-08 02:36:42 +0200 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) (Ping timeout: 264 seconds) |
2022-09-08 02:37:13 +0200 | gay9 | (~quassel@92-65-73-218.biz.kpn.net) |
2022-09-08 02:40:08 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
2022-09-08 02:40:50 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 02:43:45 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
2022-09-08 02:46:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2022-09-08 02:46:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Client Quit) |
2022-09-08 02:50:08 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) |
2022-09-08 02:50:12 +0200 | cowboy8625 | (~cowboy@64.68.179.149) |
2022-09-08 02:50:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 02:50:53 +0200 | _xor | (~xor@74.215.182.83) |
2022-09-08 02:58:13 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Ping timeout: 244 seconds) |
2022-09-08 02:58:59 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2022-09-08 03:00:33 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
2022-09-08 03:00:55 +0200 | sammelweis | (~quassel@166.176.250.193) |
2022-09-08 03:01:30 +0200 | Guest9068 | (~Guest90@mainpc.lha.sgsnet.se) (Quit: Client closed) |
2022-09-08 03:01:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-08 03:04:01 +0200 | bjobjo | (~bjobjo@user/bjobjo) (Ping timeout: 268 seconds) |
2022-09-08 03:04:47 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-09-08 03:09:36 +0200 | sammelweis | (~quassel@166.176.250.193) (Read error: Connection reset by peer) |
2022-09-08 03:11:02 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2022-09-08 03:13:52 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
2022-09-08 03:14:13 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
2022-09-08 03:14:47 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-09-08 03:15:30 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
2022-09-08 03:16:20 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-09-08 03:17:10 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2022-09-08 03:18:49 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Read error: Connection reset by peer) |
2022-09-08 03:23:05 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
2022-09-08 03:24:45 +0200 | bjobjo | (~bjobjo@user/bjobjo) |
2022-09-08 03:25:29 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Read error: Connection reset by peer) |
2022-09-08 03:25:50 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Ping timeout: 252 seconds) |
2022-09-08 03:27:59 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
2022-09-08 03:29:48 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
2022-09-08 03:34:49 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 268 seconds) |
2022-09-08 03:35:26 +0200 | dsrt^ | (~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) (Ping timeout: 244 seconds) |
2022-09-08 03:36:28 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
2022-09-08 03:38:54 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 03:40:35 +0200 | zaquest | (~notzaques@5.130.79.72) |
2022-09-08 03:42:17 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Read error: Connection reset by peer) |
2022-09-08 03:43:23 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-09-08 03:45:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
2022-09-08 03:46:27 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
2022-09-08 03:46:48 +0200 | nate1 | (~nate@98.45.169.16) |
2022-09-08 03:50:08 +0200 | dsrt^ | (~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) |
2022-09-08 03:56:44 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 03:58:06 +0200 | raym | (~raym@user/raym) |
2022-09-08 04:00:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 04:01:15 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
2022-09-08 04:02:25 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Read error: Connection reset by peer) |
2022-09-08 04:03:48 +0200 | nilradical | (~nilradica@user/naso) () |
2022-09-08 04:06:37 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
2022-09-08 04:07:23 +0200 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) |
2022-09-08 04:07:58 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
2022-09-08 04:11:05 +0200 | erisco_ | (~erisco@d24-57-249-233.home.cgocable.net) |
2022-09-08 04:11:49 +0200 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 268 seconds) |
2022-09-08 04:11:49 +0200 | erisco_ | erisco |
2022-09-08 04:13:30 +0200 | mrmr0 | (~mrmr@user/mrmr) |
2022-09-08 04:14:17 +0200 | mrmr | (~mrmr@user/mrmr) (Ping timeout: 268 seconds) |
2022-09-08 04:14:17 +0200 | mrmr0 | mrmr |
2022-09-08 04:16:50 +0200 | nate1 | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-08 04:31:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 04:35:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-08 04:36:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 04:38:45 +0200 | YawnyYak | (~YawnyYak@146.70.133.120) |
2022-09-08 04:40:47 +0200 | td_ | (~td@muedsl-82-207-238-024.citykom.de) |
2022-09-08 04:41:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-08 04:42:54 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
2022-09-08 04:47:46 +0200 | YawnyYak | (~YawnyYak@146.70.133.120) (Remote host closed the connection) |
2022-09-08 04:48:47 +0200 | vglfr | (~vglfr@145.224.94.171) (Ping timeout: 244 seconds) |
2022-09-08 04:49:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2022-09-08 04:49:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-08 04:51:23 +0200 | Axman6 | (~Axman6@user/axman6) |
2022-09-08 04:52:23 +0200 | YawnyYak | (~YawnyYak@146.70.133.120) |
2022-09-08 04:55:18 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2022-09-08 04:57:33 +0200 | YawnyYak | (~YawnyYak@146.70.133.120) (Remote host closed the connection) |
2022-09-08 04:57:58 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 05:00:32 +0200 | vglfr | (~vglfr@145.224.94.171) |
2022-09-08 05:01:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 05:03:11 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
2022-09-08 05:06:45 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2022-09-08 05:07:21 +0200 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
2022-09-08 05:12:02 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
2022-09-08 05:12:59 +0200 | cowboy8625 | (~cowboy@64.68.179.149) (Quit: WeeChat 3.5) |
2022-09-08 05:17:12 +0200 | vglfr | (~vglfr@145.224.94.171) (Ping timeout: 244 seconds) |
2022-09-08 05:19:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-08 05:24:06 +0200 | frost | (~frost@user/frost) |
2022-09-08 05:24:10 +0200 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) |
2022-09-08 05:30:49 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-09-08 05:33:10 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2022-09-08 05:33:26 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
2022-09-08 05:37:41 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-09-08 05:38:15 +0200 | nate1 | (~nate@98.45.169.16) |
2022-09-08 05:41:47 +0200 | vglfr | (~vglfr@145.224.94.248) |
2022-09-08 05:42:32 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
2022-09-08 05:47:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 05:50:07 +0200 | Vajb | (~Vajb@85-76-165-214-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
2022-09-08 05:50:28 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
2022-09-08 05:55:19 +0200 | mbuf | (~Shakthi@49.204.139.63) |
2022-09-08 05:56:06 +0200 | inversed | (~inversed@90.209.137.56) (Ping timeout: 268 seconds) |
2022-09-08 05:58:19 +0200 | fraznel | (~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 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
2022-09-08 06:04:05 +0200 | inversed | (~inversed@90.209.137.56) |
2022-09-08 06:06:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
2022-09-08 06:12:18 +0200 | nate1 | (~nate@98.45.169.16) |
2022-09-08 06:13:33 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2022-09-08 06:17:08 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
2022-09-08 06:27:09 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-09-08 06:27:27 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2022-09-08 06:27:52 +0200 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
2022-09-08 06:28:38 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 06:32:25 +0200 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 252 seconds) |
2022-09-08 06:33:10 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 244 seconds) |
2022-09-08 06:34:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 06:37:55 +0200 | bgamari | (~bgamari@64.223.132.120) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-09-08 06:38:05 +0200 | YawnyYak | (~YawnyYak@146.70.133.120) |
2022-09-08 06:38:59 +0200 | YawnyYak | (~YawnyYak@146.70.133.120) (Remote host closed the connection) |
2022-09-08 06:39:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
2022-09-08 06:39:56 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Remote host closed the connection) |
2022-09-08 06:43:14 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
2022-09-08 06:46:11 +0200 | bgamari | (~bgamari@64.223.132.120) |
2022-09-08 06:53:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 07:01:51 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
2022-09-08 07:10:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-08 07:12:07 +0200 | jargon | (~jargon@184.101.185.66) (Remote host closed the connection) |
2022-09-08 07:12:50 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2022-09-08 07:12:59 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2022-09-08 07:23:23 +0200 | gay9 | (~quassel@92-65-73-218.biz.kpn.net) (Ping timeout: 252 seconds) |
2022-09-08 07:23:51 +0200 | gay9 | (~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) |
2022-09-08 07:29:34 +0200 | mikoto-chan | (~mikoto-ch@2001:999:480:b64d:a3b7:b0e2:c083:335d) |
2022-09-08 07:30:14 +0200 | fraznel | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 07:43:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
2022-09-08 07:56:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 07:59:53 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 08:04:24 +0200 | lottaquestions_ | (~nick@2607:fa49:503e:7100:1134:a996:3e20:f719) (Remote host closed the connection) |
2022-09-08 08:04:50 +0200 | lottaquestions_ | (~nick@2607:fa49:503e:7100:5b4a:f7a4:f3c:9f44) |
2022-09-08 08:05:11 +0200 | gurkenglas | (~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 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
2022-09-08 08:11:19 +0200 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) (Ping timeout: 244 seconds) |
2022-09-08 08:13:12 +0200 | euandreh | (~euandreh@179.214.113.107) |
2022-09-08 08:13:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-08 08:19:10 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:531:9af1:68b5:af54) |
2022-09-08 08:21:31 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
2022-09-08 08:22:28 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
2022-09-08 08:30:22 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2022-09-08 08:31:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-09-08 08:32:00 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
2022-09-08 08:36:28 +0200 | brandonh | (~brandonh@151.36.189.63) |
2022-09-08 08:40:46 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) |
2022-09-08 08:41:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 08:42:13 +0200 | fraznel | (~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 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-09-08 08:46:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-08 08:47:40 +0200 | brandonh | (~brandonh@151.36.189.63) (Quit: brandonh) |
2022-09-08 08:48:37 +0200 | chexum | (~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 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-09-08 08:50:02 +0200 | fhn | (~fhn@2.58.185.24) |
2022-09-08 08:50:58 +0200 | brandonh | (~brandonh@151.36.151.152) |
2022-09-08 08:56:30 +0200 | brandonh | (~brandonh@151.36.151.152) (Quit: brandonh) |
2022-09-08 08:57:24 +0200 | brandonh | (~brandonh@151.36.151.152) |
2022-09-08 08:58:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-08 08:59:30 +0200 | cacke | (~cacke@mainpc.lha.sgsnet.se) (Ping timeout: 252 seconds) |
2022-09-08 09:00:07 +0200 | brandonh | (~brandonh@151.36.151.152) (Client Quit) |
2022-09-08 09:00:31 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
2022-09-08 09:01:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 09:02:33 +0200 | brandonh | (~brandonh@151.38.166.239) |
2022-09-08 09:03:20 +0200 | fhn | (~fhn@2.58.185.24) (Quit: Client closed) |
2022-09-08 09:05:22 +0200 | bahamas | (~lucian@78.87.133.233) |
2022-09-08 09:05:27 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
2022-09-08 09:06:39 +0200 | brandonh | (~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 +0200 | beteigeuze | (~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 +0200 | mikoto-chan | (~mikoto-ch@2001:999:480:b64d:a3b7:b0e2:c083:335d) (Ping timeout: 244 seconds) |
2022-09-08 09:25:39 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2022-09-08 09:28:01 +0200 | lottaquestions | (~nick@104.221.24.83) |
2022-09-08 09:28:05 +0200 | lottaquestions | (~nick@104.221.24.83) (Client Quit) |
2022-09-08 09:28:29 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
2022-09-08 09:28:40 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 09:30:22 +0200 | lottaquestions_ | (~nick@2607:fa49:503e:7100:5b4a:f7a4:f3c:9f44) (Ping timeout: 244 seconds) |
2022-09-08 09:30:37 +0200 | ec | (~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 +0200 | matthewmosior | (~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 +0200 | nate1 | (~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 +0200 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-09-08 09:35:08 +0200 | coot | (~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 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
2022-09-08 09:38:24 +0200 | matthewmosior | (~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 +0200 | frost | (~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 +0200 | beteigeuze | (~Thunderbi@89.187.168.47) (Ping timeout: 244 seconds) |
2022-09-08 09:49:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-08 09:51:58 +0200 | machinedgod | (~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 +0200 | Guest114 | (~Guest11@2601:602:a080:fa0::54ff) |
2022-09-08 09:56:17 +0200 | odnes | (~odnes@5-203-254-246.pat.nym.cosmote.net) |
2022-09-08 09:58:07 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
2022-09-08 10:00:05 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2022-09-08 10:02:30 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 264 seconds) |
2022-09-08 10:03:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 10:03:53 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 10:04:43 +0200 | tv | (~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 +0200 | nschoe | (~quassel@178.251.84.79) |
2022-09-08 10:05:26 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
2022-09-08 10:06:45 +0200 | kazaf | (~kazaf@94.180.63.53) |
2022-09-08 10:07:16 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2022-09-08 10:08:15 +0200 | titibandit | (~titibandi@xdsl-85-197-3-115.nc.de) |
2022-09-08 10:08:18 +0200 | cfricke | (~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 +0200 | kazaf | (~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 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de) |
2022-09-08 10:15:28 +0200 | acidjnk | (~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 +0200 | ccntrq1 | (~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 +0200 | cfricke | (~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 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
2022-09-08 10:17:11 +0200 | ccntrq1 | ccntrq |
2022-09-08 10:17:17 +0200 | cfricke | (~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 +0200 | Pickchea | (~private@user/pickchea) |
2022-09-08 10:19:25 +0200 | tv | (~tv@user/tv) |
2022-09-08 10:20:29 +0200 | titibandit | (~titibandi@xdsl-85-197-3-115.nc.de) (Remote host closed the connection) |
2022-09-08 10:20:50 +0200 | fserucas_|EoD | (~fserucas|@89.214.127.144) |
2022-09-08 10:21:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-08 10:21:02 +0200 | fserucas_|EoD | (~fserucas|@89.214.127.144) (Client Quit) |
2022-09-08 10:21:08 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Remote host closed the connection) |
2022-09-08 10:21:21 +0200 | fserucas|EoD | (~fserucas|@89.214.127.144) |
2022-09-08 10:21:29 +0200 | MoC | (~moc@user/moc) |
2022-09-08 10:21:34 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
2022-09-08 10:23:10 +0200 | Guest114 | (~Guest11@2601:602:a080:fa0::54ff) (Quit: Client closed) |
2022-09-08 10:23:56 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 10:25:09 +0200 | akegalj | (~akegalj@cpe-109-60-8-78.st3.cable.xnet.hr) |
2022-09-08 10:25:39 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
2022-09-08 10:25:40 +0200 | ccntrq1 | ccntrq |
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 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
2022-09-08 10:30:52 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de) |
2022-09-08 10:31:28 +0200 | hsw | (~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 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2022-09-08 10:33:52 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
2022-09-08 10:34:11 +0200 | acidjnk | (~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-08 10:34:15 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-09-08 10:35:52 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-09-08 10:40:40 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 10:42:12 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
2022-09-08 10:42:12 +0200 | ccntrq1 | ccntrq |
2022-09-08 10:46:35 +0200 | ft | (~ft@p4fc2a0f5.dip0.t-ipconnect.de) (Quit: Lost terminal) |
2022-09-08 10:50:11 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
2022-09-08 10:50:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 10:50:33 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
2022-09-08 10:57:24 +0200 | benin0 | (~benin@183.82.29.130) |
2022-09-08 10:57:48 +0200 | toeffel | (~toeffel@user/toeffel) |
2022-09-08 11:03:56 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-08 11:03:56 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a3348bb3adbc6bc31c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-08 11:04:26 +0200 | mikoto-chan | (~mikoto-ch@2001:999:480:b64d:a3b7:b0e2:c083:335d) |
2022-09-08 11:05:14 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 11:07:33 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 11:08:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
2022-09-08 11:09:03 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
2022-09-08 11:09:04 +0200 | ccntrq1 | ccntrq |
2022-09-08 11:09:09 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-09-08 11:10:31 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-09-08 11:12:10 +0200 | fraznel | (~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 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 11:21:27 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
2022-09-08 11:21:28 +0200 | ccntrq1 | ccntrq |
2022-09-08 11:24:56 +0200 | mikoto-chan | (~mikoto-ch@2001:999:480:b64d:a3b7:b0e2:c083:335d) (Ping timeout: 260 seconds) |
2022-09-08 11:26:06 +0200 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-08 11:30:44 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 11:33:21 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 268 seconds) |
2022-09-08 11:33:21 +0200 | ccntrq1 | ccntrq |
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 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-08 11:38:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 11:38:52 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 11:39:01 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
2022-09-08 11:39:04 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) |
2022-09-08 11:39:06 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) |
2022-09-08 11:40:03 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
2022-09-08 11:40:03 +0200 | ccntrq1 | ccntrq |
2022-09-08 11:41:03 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2022-09-08 11:42:44 +0200 | brandonh | (~brandonh@77.43.32.218) |
2022-09-08 11:43:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-08 11:43:33 +0200 | fuag1_ | (~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 +0200 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
2022-09-08 11:46:29 +0200 | tromp | (~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 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 11:51:52 +0200 | nate1 | (~nate@98.45.169.16) |
2022-09-08 11:53:15 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
2022-09-08 11:53:15 +0200 | ccntrq1 | ccntrq |
2022-09-08 11:56:33 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
2022-09-08 12:03:28 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 12:04:15 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2022-09-08 12:04:16 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Remote host closed the connection) |
2022-09-08 12:04:43 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
2022-09-08 12:05:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 12:06:05 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
2022-09-08 12:06:05 +0200 | ccntrq1 | ccntrq |
2022-09-08 12:11:01 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-08 12:12:37 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
2022-09-08 12:13:37 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 12:13:38 +0200 | matthewmosior | (~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 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 268 seconds) |
2022-09-08 12:15:41 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
2022-09-08 12:15:54 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 268 seconds) |
2022-09-08 12:15:55 +0200 | ccntrq1 | ccntrq |
2022-09-08 12:16:28 +0200 | odnes | (~odnes@5-203-254-246.pat.nym.cosmote.net) (Remote host closed the connection) |
2022-09-08 12:16:47 +0200 | odnes | (~odnes@5-203-254-246.pat.nym.cosmote.net) |
2022-09-08 12:17:31 +0200 | fuag1_ | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Remote host closed the connection) |
2022-09-08 12:17:48 +0200 | fuag1_ | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) |
2022-09-08 12:22:41 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 12:23:06 +0200 | brandonh | (~brandonh@77.43.32.218) (Quit: brandonh) |
2022-09-08 12:25:01 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 260 seconds) |
2022-09-08 12:25:02 +0200 | ccntrq1 | ccntrq |
2022-09-08 12:25:33 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
2022-09-08 12:26:36 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Remote host closed the connection) |
2022-09-08 12:27:01 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
2022-09-08 12:29:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 12:30:43 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2022-09-08 12:31:17 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-09-08 12:31:36 +0200 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-09-08 12:34:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
2022-09-08 12:37:33 +0200 | coot | (~coot@213.134.176.158) |
2022-09-08 12:38:25 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 12:38:59 +0200 | fuag1_ | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
2022-09-08 12:43:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-09-08 12:43:55 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
2022-09-08 12:45:36 +0200 | califax | (~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 +0200 | arahael | (~arahael@14-200-135-92.tpgi.com.au) (Ping timeout: 252 seconds) |
2022-09-08 12:48:59 +0200 | toeffel | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 12:51:21 +0200 | bahamas | (~lucian@78.87.133.233) (Ping timeout: 244 seconds) |
2022-09-08 12:52:51 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
2022-09-08 12:53:13 +0200 | benin0 | (~benin@183.82.29.130) (Quit: The Lounge - https://thelounge.chat) |
2022-09-08 12:56:16 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 12:57:45 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2022-09-08 12:58:04 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
2022-09-08 12:58:05 +0200 | ccntrq1 | ccntrq |
2022-09-08 13:01:05 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
2022-09-08 13:03:16 +0200 | troydm | (~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 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 13:04:45 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
2022-09-08 13:04:46 +0200 | ccntrq1 | ccntrq |
2022-09-08 13:05:05 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-09-08 13:05:06 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
2022-09-08 13:07:01 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-08 13:07:01 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-08 13:08:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-08 13:10:28 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
2022-09-08 13:12:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-08 13:14:23 +0200 | Successus | (~Successus@user/Successus) |
2022-09-08 13:15:42 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-09-08 13:18:16 +0200 | califax | (~califax@user/califx) |
2022-09-08 13:18:27 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 13:20:07 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) |
2022-09-08 13:20:12 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) |
2022-09-08 13:20:26 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 260 seconds) |
2022-09-08 13:20:27 +0200 | ccntrq1 | ccntrq |
2022-09-08 13:20:37 +0200 | bahamas | (~lucian@78.87.133.233) |
2022-09-08 13:23:57 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-09-08 13:25:35 +0200 | bahamas | (~lucian@78.87.133.233) (Ping timeout: 268 seconds) |
2022-09-08 13:30:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-08 13:31:16 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2022-09-08 13:31:49 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-09-08 13:35:25 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
2022-09-08 13:35:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 13:38:38 +0200 | benin0 | (~benin@183.82.28.141) |
2022-09-08 13:39:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-08 13:43:11 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-08 13:46:05 +0200 | toeffel | (~toeffel@user/toeffel) |
2022-09-08 13:46:25 +0200 | Pickchea | (~private@user/pickchea) |
2022-09-08 13:47:29 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
2022-09-08 13:50:21 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 13:52:25 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
2022-09-08 13:52:25 +0200 | ccntrq1 | ccntrq |
2022-09-08 13:53:36 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
2022-09-08 13:55:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 13:57:22 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 13:57:24 +0200 | faultline | (~christian@200116b82b5bf1006d07b0d5d6738787.dip.versatel-1u1.de) |
2022-09-08 13:58:00 +0200 | bahamas | (~lucian@78.87.133.233) |
2022-09-08 13:59:02 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
2022-09-08 13:59:03 +0200 | ccntrq1 | ccntrq |
2022-09-08 14:02:24 +0200 | akegalj | (~akegalj@cpe-109-60-8-78.st3.cable.xnet.hr) (Quit: leaving) |
2022-09-08 14:04:30 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-08 14:06:46 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
2022-09-08 14:07:45 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 14:08:43 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
2022-09-08 14:08:44 +0200 | faultline | (~christian@200116b82b5bf1006d07b0d5d6738787.dip.versatel-1u1.de) (Remote host closed the connection) |
2022-09-08 14:12:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-08 14:12:31 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 14:12:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
2022-09-08 14:13:30 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
2022-09-08 14:13:32 +0200 | ccntrq1 | ccntrq |
2022-09-08 14:13:51 +0200 | lyle | (~lyle@104.246.145.85) |
2022-09-08 14:14:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-09-08 14:16:17 +0200 | sylvo | (~sylvo@110-174-240-221.static.tpgi.com.au) |
2022-09-08 14:22:58 +0200 | <sylvo> | :) |
2022-09-08 14:23:12 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2022-09-08 14:23:20 +0200 | yvan-sraka | (~yvan-srak@37.171.65.132) |
2022-09-08 14:24:11 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
2022-09-08 14:27:43 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 14:28:58 +0200 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
2022-09-08 14:29:40 +0200 | lyle | (~lyle@104.246.145.85) |
2022-09-08 14:30:20 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 268 seconds) |
2022-09-08 14:30:20 +0200 | ccntrq1 | ccntrq |
2022-09-08 14:34:11 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-09-08 14:35:15 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
2022-09-08 14:35:49 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
2022-09-08 14:37:02 +0200 | sylvo | (~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 +0200 | sylvo | (~sylvo@110-174-240-221.static.tpgi.com.au) |
2022-09-08 14:39:45 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
2022-09-08 14:41:55 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-09-08 14:42:10 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
2022-09-08 14:42:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 14:43:35 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
2022-09-08 14:46:37 +0200 | coot | (~coot@213.134.176.158) |
2022-09-08 14:47:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-08 14:47:56 +0200 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-08 14:50:55 +0200 | yvan-sraka | (~yvan-srak@37.171.65.132) (Remote host closed the connection) |
2022-09-08 14:52:37 +0200 | mikoto-chan | (~mikoto-ch@85-76-18-135-nat.elisa-mobile.fi) |
2022-09-08 14:53:16 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
2022-09-08 14:57:03 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 14:57:28 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 268 seconds) |
2022-09-08 14:57:29 +0200 | ccntrq1 | ccntrq |
2022-09-08 14:57:37 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Quit: Leaving) |
2022-09-08 15:00:06 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
2022-09-08 15:01:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 15:04:07 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
2022-09-08 15:04:13 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 15:04:24 +0200 | luffy | (~chenqisu1@183.217.201.192) |
2022-09-08 15:04:45 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Remote host closed the connection) |
2022-09-08 15:04:46 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Remote host closed the connection) |
2022-09-08 15:05:08 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) |
2022-09-08 15:05:08 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) |
2022-09-08 15:05:41 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
2022-09-08 15:05:42 +0200 | ccntrq1 | ccntrq |
2022-09-08 15:05:49 +0200 | sylvo | (~sylvo@110-174-240-221.static.tpgi.com.au) (Leaving) |
2022-09-08 15:11:15 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
2022-09-08 15:12:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-08 15:12:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 15:13:15 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-08 15:18:06 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 244 seconds) |
2022-09-08 15:20:46 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 15:22:13 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
2022-09-08 15:22:14 +0200 | ccntrq1 | ccntrq |
2022-09-08 15:26:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer) |
2022-09-08 15:26:47 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Write error: Connection reset by peer) |
2022-09-08 15:26:47 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2022-09-08 15:26:47 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2022-09-08 15:27:27 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2022-09-08 15:27:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-09-08 15:28:10 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-08 15:28:19 +0200 | potash | (~foghorn@user/foghorn) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-09-08 15:28:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-08 15:28:49 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
2022-09-08 15:29:02 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2022-09-08 15:31:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-08 15:31:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 15:33:54 +0200 | johnw | (~johnw@2600:1700:cf00:db0:4d87:443:f0d8:55d7) (Quit: ZNC - http://znc.in) |
2022-09-08 15:35:00 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
2022-09-08 15:36:05 +0200 | potash | (~foghorn@user/foghorn) |
2022-09-08 15:37:31 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
2022-09-08 15:39:31 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 15:41:51 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 15:42:53 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
2022-09-08 15:42:54 +0200 | ccntrq1 | ccntrq |
2022-09-08 15:51:59 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) |
2022-09-08 15:53:23 +0200 | nate1 | (~nate@98.45.169.16) |
2022-09-08 15:53:51 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) (Ping timeout: 260 seconds) |
2022-09-08 15:53:52 +0200 | ccntrq1 | ccntrq |
2022-09-08 15:54:09 +0200 | matthewmosior | (~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 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-08 15:57:45 +0200 | matthewmosior | (~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 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
2022-09-08 15:59:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-08 16:00:46 +0200 | mastarija | (~mastarija@95.168.107.19) |
2022-09-08 16:00:51 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 260 seconds) |
2022-09-08 16:02:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
2022-09-08 16:03:59 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-09-08 16:04:37 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-08 16:04:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
2022-09-08 16:09:48 +0200 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-09-08 16:12:13 +0200 | bahamas | (~lucian@78.87.133.233) (Quit: leaving) |
2022-09-08 16:12:42 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
2022-09-08 16:13:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 16:13:57 +0200 | ccntrq | (~Thunderbi@dynamic-077-000-022-090.77.0.pool.telefonica.de) () |
2022-09-08 16:14:56 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-08 16:16:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-08 16:16:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 16:16:23 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-09-08 16:16:50 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-08 16:18:37 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Remote host closed the connection) |
2022-09-08 16:19:04 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
2022-09-08 16:19:31 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
2022-09-08 16:20:07 +0200 | infinity0 | (~infinity0@185.112.146.113) (Remote host closed the connection) |
2022-09-08 16:20:40 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
2022-09-08 16:22:00 +0200 | infinity0 | (~infinity0@185.112.146.113) |
2022-09-08 16:23:13 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
2022-09-08 16:25:15 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds) |
2022-09-08 16:25:31 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
2022-09-08 16:26:31 +0200 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
2022-09-08 16:26:31 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-09-08 16:26:52 +0200 | yaroot | (~yaroot@p2790051-ipngn7801souka.saitama.ocn.ne.jp) |
2022-09-08 16:28:26 +0200 | coot | (~coot@213.134.176.158) |
2022-09-08 16:33:01 +0200 | mikoto-chan | (~mikoto-ch@85-76-18-135-nat.elisa-mobile.fi) (Ping timeout: 252 seconds) |
2022-09-08 16:37:28 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
2022-09-08 16:37:55 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Client Quit) |
2022-09-08 16:40:29 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2022-09-08 16:41:02 +0200 | califax | (~califax@user/califx) |
2022-09-08 16:43:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2022-09-08 16:45:30 +0200 | gmg | (~user@user/gehmehgeh) |
2022-09-08 16:47:51 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-09-08 16:49:53 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2022-09-08 16:51:33 +0200 | mastarija | (~mastarija@95.168.107.19) (Ping timeout: 268 seconds) |
2022-09-08 16:53:49 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2022-09-08 16:56:41 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-09-08 16:57:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-09-08 17:00:13 +0200 | kenran | (~kenran@200116b82b35c500d49ee51ae685b856.dip.versatel-1u1.de) |
2022-09-08 17:00:55 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2022-09-08 17:02:49 +0200 | nilradical | (~nilradica@user/naso) |
2022-09-08 17:04:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2022-09-08 17:06:09 +0200 | dsrt^ | (~dsrt@96-86-241-229-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
2022-09-08 17:10:26 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 17:10:37 +0200 | YawnyYak | (~YawnyYak@146.70.133.120) |
2022-09-08 17:11:21 +0200 | kazaf | (~kazaf@94.180.63.53) |
2022-09-08 17:11:37 +0200 | YawnyYak | (~YawnyYak@146.70.133.120) (Remote host closed the connection) |
2022-09-08 17:13:58 +0200 | YoungFrog | (~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 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:fce9:8620:712c:392d) |
2022-09-08 17:15:42 +0200 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Read error: Connection reset by peer) |
2022-09-08 17:16:00 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
2022-09-08 17:16:42 +0200 | kazaf | (~kazaf@94.180.63.53) (Ping timeout: 252 seconds) |
2022-09-08 17:18:17 +0200 | califax | (~califax@user/califx) (Write error: Connection reset by peer) |
2022-09-08 17:18:17 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2022-09-08 17:18:17 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2022-09-08 17:18:43 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-09-08 17:19:14 +0200 | gmg | (~user@user/gehmehgeh) |
2022-09-08 17:19:14 +0200 | califax | (~califax@user/califx) |
2022-09-08 17:26:58 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
2022-09-08 17:30:57 +0200 | MoC | (~moc@user/moc) (Read error: Connection reset by peer) |
2022-09-08 17:31:12 +0200 | MoC | (~moc@user/moc) |
2022-09-08 17:32:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-08 17:36:11 +0200 | kaptch | (~user@212.58.121.169) |
2022-09-08 17:37:25 +0200 | kaptch | (~user@212.58.121.169) (Client Quit) |
2022-09-08 17:38:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 17:38:53 +0200 | kaptch | (~user@212.58.121.169) |
2022-09-08 17:39:27 +0200 | kaptch | (~user@212.58.121.169) (Remote host closed the connection) |
2022-09-08 17:40:02 +0200 | nschoe | (~quassel@178.251.84.79) (Ping timeout: 260 seconds) |
2022-09-08 17:40:10 +0200 | CiaoSen | (~Jura@p200300c9571091002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2022-09-08 17:42:15 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
2022-09-08 17:42:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:531:9af1:68b5:af54) (Ping timeout: 244 seconds) |
2022-09-08 17:44:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
2022-09-08 17:44:42 +0200 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) |
2022-09-08 17:48:11 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2022-09-08 17:49:16 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2022-09-08 17:53:25 +0200 | kaptch | (~user@212.58.121.169) |
2022-09-08 17:55:54 +0200 | yvan-sraka | (~yvan-srak@162.96-78-194.adsl-static.isp.belgacom.be) (Remote host closed the connection) |
2022-09-08 17:56:16 +0200 | kaptch | (~user@212.58.121.169) (Read error: Connection reset by peer) |
2022-09-08 17:57:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 17:57:56 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2022-09-08 17:58:02 +0200 | kaptch | (~user@212.58.121.169) |
2022-09-08 17:58:59 +0200 | nilradical | (~nilradica@user/naso) () |
2022-09-08 17:59:41 +0200 | mbuf | (~Shakthi@49.204.139.63) (Quit: Leaving) |
2022-09-08 18:03:54 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
2022-09-08 18:05:43 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-09-08 18:06:32 +0200 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
2022-09-08 18:07:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-08 18:10:21 +0200 | kenran | (~kenran@200116b82b35c500d49ee51ae685b856.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
2022-09-08 18:13:35 +0200 | johnw | (~johnw@2600:1700:cf00:db0:4d87:443:f0d8:55d7) |
2022-09-08 18:14:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-08 18:14:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 18:16:03 +0200 | kenran | (~kenran@200116b82b35c500f21c6a4e5f1ed901.dip.versatel-1u1.de) |
2022-09-08 18:25:31 +0200 | kadobanana | (~mud@user/kadoban) (Ping timeout: 260 seconds) |
2022-09-08 18:27:38 +0200 | hippoid | (~idris@c-98-220-13-8.hsd1.il.comcast.net) |
2022-09-08 18:29:21 +0200 | kadobanana | (~mud@user/kadoban) |
2022-09-08 18:32:36 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
2022-09-08 18:36:23 +0200 | kenran | (~kenran@200116b82b35c500f21c6a4e5f1ed901.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
2022-09-08 18:36:41 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-09-08 18:36:41 +0200 | razetime | (~quassel@117.193.7.156) |
2022-09-08 18:38:34 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
2022-09-08 18:40:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2022-09-08 18:40:57 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 18:41:36 +0200 | kaptch | (~user@212.58.121.169) (Remote host closed the connection) |
2022-09-08 18:41:48 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-09-08 18:41:52 +0200 | kaptch | (~user@212.58.121.169) |
2022-09-08 18:42:17 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2022-09-08 18:42:57 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2022-09-08 18:44:39 +0200 | kaptch | (~user@212.58.121.169) () |
2022-09-08 18:47:36 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-09-08 18:52:43 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
2022-09-08 18:52:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
2022-09-08 18:53:39 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-08 19:02:07 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
2022-09-08 19:06:42 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2022-09-08 19:07:16 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2022-09-08 19:07:34 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2022-09-08 19:12:25 +0200 | slack1256 | (~slack1256@191.125.99.222) |
2022-09-08 19:12:53 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-09-08 19:13:21 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
2022-09-08 19:15:45 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds) |
2022-09-08 19:16:08 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
2022-09-08 19:17:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-09-08 19:25:05 +0200 | slack1400 | (~slack1256@181.42.44.123) |
2022-09-08 19:26:18 +0200 | slack1400 | (~slack1256@181.42.44.123) (Remote host closed the connection) |
2022-09-08 19:27:21 +0200 | slack1256 | (~slack1256@191.125.99.222) (Ping timeout: 260 seconds) |
2022-09-08 19:27:59 +0200 | slack1256 | (~slack1256@181.42.44.123) |
2022-09-08 19:29:37 +0200 | guyst | (~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 +0200 | kenran | (~kenran@200116b82b35c5000593d10e895952fe.dip.versatel-1u1.de) |
2022-09-08 19:33:24 +0200 | econo | (uid147250@user/econo) |
2022-09-08 19:34:06 +0200 | coot | (~coot@213.134.176.158) |
2022-09-08 19:34:31 +0200 | kenran | (~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 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::191) |
2022-09-08 19:41:36 +0200 | cawfee | (~root@2406:3003:2077:2758::babe) (Ping timeout: 244 seconds) |
2022-09-08 19:43:34 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2022-09-08 19:44:22 +0200 | gmg | (~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 +0200 | cawfee | (~root@2406:3003:2077:2758::babe) |
2022-09-08 19:51:12 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2022-09-08 19:51:12 +0200 | gmg | (~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 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2022-09-08 19:51:58 +0200 | gmg | (~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 +0200 | nate1 | (~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 +0200 | coot | (~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 +0200 | gmg | (~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 +0200 | nate1 | (~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 +0200 | Guest|94 | (~Guest|94@130.15.33.217) |
2022-09-08 20:01:54 +0200 | Guest|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 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-08 20:10:58 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 20:11:02 +0200 | razetime | (~quassel@117.193.7.156) (Ping timeout: 244 seconds) |
2022-09-08 20:12:12 +0200 | beteigeuze | (~Thunderbi@89.187.168.238) |
2022-09-08 20:12:23 +0200 | <[exa]> | guyst: try julia tbh :] |
2022-09-08 20:12:51 +0200 | eggplantade | (~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 +0200 | pretty_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 +0200 | AlexNoo_ | (~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 +0200 | Alex_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 +0200 | AlexZenon | (~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 +0200 | AlexNoo | (~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 +0200 | fserucas|EoD | (~fserucas|@89.214.127.144) (Quit: Leaving) |
2022-09-08 20:31:11 +0200 | Alex_test | (~al_test@178.34.161.129) |
2022-09-08 20:32:18 +0200 | AlexZenon | (~alzenon@178.34.161.129) |
2022-09-08 20:36:15 +0200 | mastarija | (~mastarija@46.188.135.255) |
2022-09-08 20:37:24 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::191) (Ping timeout: 244 seconds) |
2022-09-08 20:38:18 +0200 | odnes | (~odnes@5-203-254-246.pat.nym.cosmote.net) (Quit: Leaving) |
2022-09-08 20:41:57 +0200 | gmg | (~user@user/gehmehgeh) |
2022-09-08 20:43:05 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-09-08 20:43:20 +0200 | ft | (~ft@p4fc2a0f5.dip0.t-ipconnect.de) |
2022-09-08 20:43:27 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2022-09-08 20:44:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2022-09-08 20:48:14 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
2022-09-08 20:54:18 +0200 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
2022-09-08 20:56:44 +0200 | pavonia | (~user@user/siracusa) |
2022-09-08 20:58:21 +0200 | inversed | (~inversed@90.209.137.56) (Ping timeout: 260 seconds) |
2022-09-08 20:59:22 +0200 | neceve_ | (~neceve@user/neceve) |
2022-09-08 21:00:02 +0200 | neceve_ | (~neceve@user/neceve) (Client Quit) |
2022-09-08 21:01:16 +0200 | inversed | (~inversed@90.209.137.56) |
2022-09-08 21:07:40 +0200 | slac76358 | (~slack1256@191.125.227.90) |
2022-09-08 21:08:27 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
2022-09-08 21:08:52 +0200 | califax | (~califax@user/califx) |
2022-09-08 21:09:56 +0200 | slack1256 | (~slack1256@181.42.44.123) (Ping timeout: 268 seconds) |
2022-09-08 21:15:26 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2022-09-08 21:16:36 +0200 | gmg | (~user@user/gehmehgeh) |
2022-09-08 21:20:16 +0200 | mastarija | (~mastarija@46.188.135.255) (Ping timeout: 244 seconds) |
2022-09-08 21:22:30 +0200 | AlexNoo_ | AlexNoo |
2022-09-08 21:23:14 +0200 | Kaipei | (~Kaiepi@142.68.249.28) |
2022-09-08 21:25:26 +0200 | Kaiepi | (~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 +0200 | mastarija | (~mastarija@46.188.135.255) |
2022-09-08 21:29:45 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2022-09-08 21:30:01 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-09-08 21:30:28 +0200 | gmg | (~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 +0200 | ducky | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-08 21:40:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 21:41:32 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 21:48:18 +0200 | ducky | (~ducky@92-109-65-42.cable.dynamic.v4.ziggo.nl) (Quit: Client closed) |
2022-09-08 21:50:41 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
2022-09-08 21:52:49 +0200 | mastarija | (~mastarija@46.188.135.255) (Ping timeout: 244 seconds) |
2022-09-08 21:55:19 +0200 | mastarija | (~mastarija@46.188.135.255) |
2022-09-08 21:55:36 +0200 | coot | (~coot@213.134.176.158) |
2022-09-08 22:07:21 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal) |
2022-09-08 22:07:38 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-09-08 22:08:05 +0200 | lyle | (~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 +0200 | Guest89 | (~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 +0200 | Guest89 | (~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 +0200 | gmg | (~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 +0200 | merijn | (~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 +0200 | zeenk | (~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 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a335d4f8d4c2179f0b6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-08 22:27:36 +0200 | acidjnk_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 +0200 | cowboy8625 | (~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 +0200 | mastarija | (~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 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2022-09-08 22:30:51 +0200 | mastarija | (~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 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-09-08 22:33:15 +0200 | matthewmosior | (~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 +0200 | geekosaur | wonders 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 +0200 | fhn | (~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 +0200 | zebrag | (~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 +0200 | benin0 | (~benin@183.82.28.141) (Read error: Connection reset by peer) |
2022-09-08 22:43:05 +0200 | benin0 | (~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 +0200 | vulpine | (xfnw@tilde.team) (Read error: Connection reset by peer) |
2022-09-08 22:45:16 +0200 | vulpine | (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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 22:47:15 +0200 | <hippoid> | lol |
2022-09-08 22:51:07 +0200 | benin09 | (~benin@183.82.28.141) |
2022-09-08 22:52:53 +0200 | benin0 | (~benin@183.82.29.130) (Ping timeout: 252 seconds) |
2022-09-08 22:53:49 +0200 | cafkafk[m] | (~cafkafkma@2001:470:69fc:105::1:cea8) |
2022-09-08 22:53:49 +0200 | slac76358 | (~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 +0200 | benin0 | (~benin@183.82.29.130) |
2022-09-08 22:54:22 +0200 | slack1256 | (~slack1256@181.42.44.123) |
2022-09-08 22:54:42 +0200 | sammelweis | (~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 +0200 | benin09 | (~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 +0200 | waleee | (~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 +0200 | stef204 | (~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 +0200 | guyst | (~guyst@213.205.241.242) (Quit: Leaving) |
2022-09-08 23:03:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
2022-09-08 23:08:55 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
2022-09-08 23:11:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2022-09-08 23:11:45 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-09-08 23:12:56 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2022-09-08 23:15:44 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
2022-09-08 23:21:51 +0200 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 252 seconds) |
2022-09-08 23:22:50 +0200 | euandreh | (~euandreh@179.214.113.107) |
2022-09-08 23:24:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
2022-09-08 23:26:39 +0200 | Pickchea | (~private@user/pickchea) |
2022-09-08 23:26:50 +0200 | nbms^ | (~nbms@96-86-241-229-static.hfc.comcastbusiness.net) |
2022-09-08 23:29:28 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2022-09-08 23:31:25 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) |
2022-09-08 23:31:25 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) |
2022-09-08 23:31:36 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::875a) |
2022-09-08 23:35:38 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
2022-09-08 23:37:34 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2022-09-08 23:39:21 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-08 23:39:21 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e7137a5075b6a377115cf07f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2022-09-08 23:40:52 +0200 | mmhat | (~mmh@p200300f1c728ccd3ee086bfffe095315.dip0.t-ipconnect.de) |
2022-09-08 23:40:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
2022-09-08 23:43:51 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
2022-09-08 23:45:29 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
2022-09-08 23:45:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
2022-09-08 23:47:56 +0200 | phma | (phma@2001:5b0:210d:90d8:b062:feab:691c:8d5d) (Read error: Connection reset by peer) |
2022-09-08 23:48:55 +0200 | phma | (~phma@2001:5b0:212a:e868:2573:b9fa:6d3a:88fa) |
2022-09-08 23:50:34 +0200 | causal | (~user@50.35.83.177) |
2022-09-08 23:52:46 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
2022-09-08 23:56:21 +0200 | nate1 | (~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 +0200 | pieguy128 | (~pieguy128@bas1-quebec14-67-70-103-208.dsl.bell.ca) (Ping timeout: 260 seconds) |
2022-09-08 23:58:02 +0200 | slack1256 | (~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 +0200 | mmhat | (~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 |