| 2023-01-19 00:09:24 +0100 | <Umeaboy> | If I can build using hadrian locally I should be able to use any spec file to build the same version of ghc right? |
| 2023-01-19 00:09:43 +0100 | titibandit1 | (~titibandi@xdsl-81-173-160-143.nc.de) (Remote host closed the connection) |
| 2023-01-19 00:12:14 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:686d:5028:75b2:f9bc) (Ping timeout: 265 seconds) |
| 2023-01-19 00:12:35 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 260 seconds) |
| 2023-01-19 00:12:39 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:1b7c:cb8c:e680:938e) |
| 2023-01-19 00:14:29 +0100 | mizlan | (~mizlan@89.46.114.82) |
| 2023-01-19 00:23:26 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 00:27:56 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 2023-01-19 00:29:44 +0100 | mizlan | (~mizlan@89.46.114.82) (Ping timeout: 260 seconds) |
| 2023-01-19 00:32:28 +0100 | mizlan | (~mizlan@169.150.203.47) |
| 2023-01-19 00:32:49 +0100 | Xeroine | (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-01-19 00:34:04 +0100 | Xeroine | (~Xeroine@user/xeroine) |
| 2023-01-19 00:35:44 +0100 | <Umeaboy> | Is there no map to see all the packages I need to build and install to build a GHC rpm? |
| 2023-01-19 00:36:04 +0100 | <Umeaboy> | I'm talking about from step 1 to the last step. |
| 2023-01-19 00:36:11 +0100 | <Umeaboy> | Like a mindmap of sorts- |
| 2023-01-19 00:36:52 +0100 | <Umeaboy> | I mean....... cabal-rpm needs ghc packages to build. |
| 2023-01-19 00:36:59 +0100 | <Umeaboy> | For instance..... ghc-rpm-macros |
| 2023-01-19 00:37:03 +0100 | <monochrom> | I think the GHC wiki has something? |
| 2023-01-19 00:37:35 +0100 | acidjnk | (~acidjnk@p200300d6e715c41325fe13a78d721b6b.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-01-19 00:38:20 +0100 | <Umeaboy> | monochrom: Not specifically for rpm to my knowledge. |
| 2023-01-19 00:38:32 +0100 | <Umeaboy> | I may be blind though. I am building GHC locally. |
| 2023-01-19 00:39:35 +0100 | Guest75 | (~Guest75@178.141.138.233) |
| 2023-01-19 00:39:42 +0100 | mizlan | (~mizlan@169.150.203.47) (Ping timeout: 255 seconds) |
| 2023-01-19 00:41:10 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:1b7c:cb8c:e680:938e) (Ping timeout: 260 seconds) |
| 2023-01-19 00:41:37 +0100 | <Guest75> | Hello. When starting with the following two lines (if I really choose to use recursion schemes for my project), how do I futher impement Eq, Show and also Generic (need for Aeson — from/to JSON conversion) for List https://paste.tomsmeding.com/jg9xHo78 ? |
| 2023-01-19 00:42:57 +0100 | xff0x_ | (~xff0x@178.255.149.135) |
| 2023-01-19 00:43:13 +0100 | mizlan | (~mizlan@169.150.203.43) |
| 2023-01-19 00:47:10 +0100 | barzo | (~hd@31.223.41.44) (Ping timeout: 256 seconds) |
| 2023-01-19 00:47:31 +0100 | <geekosaur> | you can try standalone deriving |
| 2023-01-19 00:48:46 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-01-19 00:49:16 +0100 | <geekosaur> | but I think that might not work on type synonyms, and if you don't get them automatically then you probably can't |
| 2023-01-19 00:49:19 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-01-19 00:51:20 +0100 | <jackdk> | I think this is why the `recursion-schemes` library has the `Base` type family, to convert between fixpoint types and their corresponding functor |
| 2023-01-19 00:51:38 +0100 | mizlan | (~mizlan@169.150.203.43) (Ping timeout: 272 seconds) |
| 2023-01-19 00:53:11 +0100 | <Guest75> | geekosaur: aha, it all semes that I can't just get it without some nice {-# ... #-} |
| 2023-01-19 00:53:30 +0100 | <Guest75> | jackdk: Is there an example? |
| 2023-01-19 00:53:40 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:5c56:4f57:55a9:a6ea) |
| 2023-01-19 00:54:26 +0100 | <Guest75> | However I think it's all the stuff like "Eq1" |
| 2023-01-19 00:55:38 +0100 | <Guest75> | thanks geekosaur jackdk ! I think in the end I'll just use shortest approach (not having write instances by hand) but supporting all the typeclasses I need (quite a bit) |
| 2023-01-19 00:56:34 +0100 | xff0x_ | (~xff0x@178.255.149.135) (Ping timeout: 260 seconds) |
| 2023-01-19 00:56:42 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2023-01-19 00:56:55 +0100 | <geekosaur> | you can derive Generic with an extension, but again for the base type not the fixpoint |
| 2023-01-19 00:57:06 +0100 | <geekosaur> | (the derivation is less than ideal but works) |
| 2023-01-19 00:57:46 +0100 | <geekosaur> | don't recall but I think there's some TH that can derive the …1 typeclasses? |
| 2023-01-19 00:57:49 +0100 | infinity0 | (~infinity0@pwned.gg) |
| 2023-01-19 00:58:07 +0100 | <jackdk> | geekosaur: correct: https://hackage.haskell.org/package/deriving-compat |
| 2023-01-19 00:58:09 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:1b7c:cb8c:e680:938e) |
| 2023-01-19 01:01:01 +0100 | halting | (~Oliver@177.129.53.34) |
| 2023-01-19 01:01:04 +0100 | halting | (~Oliver@177.129.53.34) (Max SendQ exceeded) |
| 2023-01-19 01:01:31 +0100 | halting | (~Oliver@177.129.53.34) |
| 2023-01-19 01:01:38 +0100 | <Guest75> | geekosaur, yes, DeriveGeneric worked very nicely for me with "normal" recursive type |
| 2023-01-19 01:02:04 +0100 | halting | (~Oliver@177.129.53.34) (Max SendQ exceeded) |
| 2023-01-19 01:02:11 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-19 01:02:30 +0100 | halting | (~Oliver@177.129.53.34) |
| 2023-01-19 01:03:14 +0100 | <Guest75> | deriving 1 typeclasses sounds cool |
| 2023-01-19 01:04:05 +0100 | halting | (~Oliver@177.129.53.34) (Client Quit) |
| 2023-01-19 01:04:25 +0100 | <Guest75> | I was also thinking to implement 2 types — fixed and unfixed sort of separately. and have a conversion from "manually" defined fixed type to/from (Fix ListF) [or what it is]. That also seems to solve my problem |
| 2023-01-19 01:06:33 +0100 | <geekosaur> | is that the Base type family jackdk mentioned, perhaps? |
| 2023-01-19 01:07:08 +0100 | <Guest75> | ah, cool. if that's what it automates then nice :-) |
| 2023-01-19 01:07:19 +0100 | <Guest75> | need to learn about type families |
| 2023-01-19 01:09:47 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-01-19 01:12:15 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-01-19 01:22:28 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-01-19 01:22:41 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-01-19 01:22:43 +0100 | cheater_ | cheater |
| 2023-01-19 01:24:01 +0100 | GeneralKenobi | oldfashionedcow |
| 2023-01-19 01:27:31 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-19 01:29:50 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 01:36:35 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 260 seconds) |
| 2023-01-19 01:36:36 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2023-01-19 01:37:19 +0100 | tureba | (~tureba@tureba.org) (Remote host closed the connection) |
| 2023-01-19 01:41:34 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-01-19 01:42:33 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 01:53:09 +0100 | yangby | (~secret@42.230.241.149) |
| 2023-01-19 01:53:42 +0100 | yangby | (~secret@42.230.241.149) (Client Quit) |
| 2023-01-19 01:57:50 +0100 | talismanick | (~talismani@2601:200:c181:4c40::1be2) |
| 2023-01-19 02:01:33 +0100 | hamster | (~ham@user/ham) (Ping timeout: 260 seconds) |
| 2023-01-19 02:04:27 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) |
| 2023-01-19 02:04:45 +0100 | hamster | (~ham@user/ham) |
| 2023-01-19 02:05:43 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2023-01-19 02:08:47 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) (Ping timeout: 255 seconds) |
| 2023-01-19 02:09:31 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-01-19 02:09:37 +0100 | mei | (~mei@user/mei) |
| 2023-01-19 02:10:49 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-01-19 02:13:19 +0100 | Guest75 | (~Guest75@178.141.138.233) (Quit: Client closed) |
| 2023-01-19 02:16:16 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 02:16:56 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-01-19 02:18:26 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.8) |
| 2023-01-19 02:18:33 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-19 02:18:33 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-19 02:18:33 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-19 02:19:35 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2023-01-19 02:21:46 +0100 | tsandstr | (~user@2601:18b:8100:7300::524) |
| 2023-01-19 02:22:12 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-19 02:22:51 +0100 | Sciencentistguy8 | (~sciencent@hacksoc/ordinary-member) |
| 2023-01-19 02:24:25 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:1b7c:cb8c:e680:938e) (Ping timeout: 260 seconds) |
| 2023-01-19 02:24:30 +0100 | mcglk | (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
| 2023-01-19 02:24:51 +0100 | fizbin | (~fizbin@user/fizbin) (Remote host closed the connection) |
| 2023-01-19 02:24:53 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 260 seconds) |
| 2023-01-19 02:24:54 +0100 | Sciencentistguy8 | Sciencentistguy |
| 2023-01-19 02:24:55 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-01-19 02:25:12 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-19 02:25:21 +0100 | <tsandstr> | Newb question: |
| 2023-01-19 02:25:21 +0100 | <tsandstr> | Suppose I have some `Monad m` and a type with a data constuctor `Thing : Int -> Bool -> Thing`. Then I can define `foo : m Int -> m Bool -> m Thing` by `foo = liftM2 Thing`. But what if instead Thing is defined using (tradional) record syntax? Is there a clever way to lift the data constructor in this way while preserving the nicenesses of record syntax? |
| 2023-01-19 02:25:33 +0100 | mcglk | (~mcglk@131.191.49.120) |
| 2023-01-19 02:27:08 +0100 | <geekosaur> | record syntax is just standard syntax with automatically defined accessors; liftA2/liftM2 still works, and is a common pattern |
| 2023-01-19 02:27:37 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-01-19 02:28:14 +0100 | <monochrom> | Do you prefer "liftM2 (\i b -> Thing{intfield=i, boolfield=b})"? Because that's the only way to get record syntax involved. |
| 2023-01-19 02:29:15 +0100 | <tsandstr> | geekosaur: I suppose the example I described above doesn't quite demonstrate my goal. Before I added in the monadic context, I had something that looks like `foo = Thing {fieldA = 1, fieldB = True}`. |
| 2023-01-19 02:29:32 +0100 | <tsandstr> | But now the 1 and the `True` are wrapped in a monadic context so this is a pain |
| 2023-01-19 02:29:45 +0100 | <geekosaur> | that is the same as Thing Int Bool, though |
| 2023-01-19 02:29:50 +0100 | Guest75 | (~Guest75@178.141.138.233) |
| 2023-01-19 02:29:51 +0100 | <jackdk> | I think I can get you something, stdby |
| 2023-01-19 02:30:20 +0100 | <geekosaur> | so `liftM2 Thing` still works, unless you're trying to use record update syntax to assign the fields |
| 2023-01-19 02:30:22 +0100 | <tsandstr> | Indeed, it is the same thing, but I actually have about 15 different fields, and I don't want the code to be sensitive to the order in which they happen to be listed in the type constructor |
| 2023-01-19 02:31:11 +0100 | <monochrom> | Thank God liftM15 doesn't exist yet. |
| 2023-01-19 02:33:18 +0100 | <geekosaur> | this sounds vaguely like the ApplicativeDo / RecordWildCards thing |
| 2023-01-19 02:33:23 +0100 | <jackdk> | tsandstr: These are the idioms I like to use when assembling records in a monadic context: https://www.irccloud.com/pastebin/M1i564sm/Records.hs |
| 2023-01-19 02:33:28 +0100 | <jackdk> | geekosaur: indeed |
| 2023-01-19 02:34:38 +0100 | <tsandstr> | jackdk: So, essentially, you suggest just wrapping everything up in do notation and unwrapping each field value individually before shoving them into the record? |
| 2023-01-19 02:35:15 +0100 | <tsandstr> | I had hoped that the beautiful language (TM) of Haskell would admit something nicer than that, but I suppose it will have to do |
| 2023-01-19 02:35:35 +0100 | <jackdk> | tsandstr: Yes. There is also the so-called "higher-kinded data" approach, where you put a `f :: Type -> Type` parameter into your record: `data Thing f = Thing { foo :: f String, bar :: f Int }`, but it's kinda niche and not that well-adopted. If you call yourself a newbie, I'd stick with what I've put in the snippet above - that's an idiom we use at work and it works fine for us |
| 2023-01-19 02:35:53 +0100 | <geekosaur> | records are one of the uglier parts of the otherwise beautiful language |
| 2023-01-19 02:36:07 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2023-01-19 02:36:35 +0100 | <geekosaur> | could probably automate it with Generics and some head-banging |
| 2023-01-19 02:36:47 +0100 | <jackdk> | Speaking of banging, someone just released https://hackage.haskell.org/package/monadic-bang-0.1.0.0 , but I haven't tried it on anything, let alone record expressions |
| 2023-01-19 02:36:49 +0100 | infinity0 | (~infinity0@pwned.gg) |
| 2023-01-19 02:37:14 +0100 | <tsandstr> | jackdk: Ah, I see that I glossed over the RecordWildcards bit, which cleans much of it up |
| 2023-01-19 02:37:59 +0100 | <jackdk> | tsandstr: I am generally pretty careful with `-XRecordWildcards` because it means changing data types can cause variable clashes and other weirdness. But here it seems like a good idiom. |
| 2023-01-19 02:38:37 +0100 | <tsandstr> | jackdk: Alright, thank you for the help! I'll give it a whirl and see if it seems to cause any undesirable behavior |
| 2023-01-19 02:39:20 +0100 | beteigeuze1 | (~Thunderbi@193.136.132.10) |
| 2023-01-19 02:39:22 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 256 seconds) |
| 2023-01-19 02:39:22 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 2023-01-19 02:39:22 +0100 | beteigeuze1 | beteigeuze |
| 2023-01-19 02:39:29 +0100 | <jackdk> | I doubt it will, we do it a fair amount at work. |
| 2023-01-19 02:39:47 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-19 02:40:12 +0100 | vykt | (~vykt@92.40.125.142.threembb.co.uk) (Quit: leaving) |
| 2023-01-19 02:40:51 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-19 02:43:42 +0100 | <tsandstr> | I am working on a little toy project to parse theme files for xfwm and turn them into window decorations for XMonad |
| 2023-01-19 02:43:54 +0100 | <tsandstr> | And these parser combinators have just gotten so complicated :P |
| 2023-01-19 02:45:52 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 02:48:33 +0100 | hounded | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving) |
| 2023-01-19 02:48:33 +0100 | hounded_woodstoc | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving) |
| 2023-01-19 02:50:42 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-19 02:53:22 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-01-19 02:53:33 +0100 | beteigeuze1 | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-01-19 02:53:49 +0100 | Guest5498 | Sauvin |
| 2023-01-19 02:55:00 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-01-19 02:55:14 +0100 | beteigeuze | (~Thunderbi@193.136.132.10) (Ping timeout: 256 seconds) |
| 2023-01-19 02:55:14 +0100 | beteigeuze1 | beteigeuze |
| 2023-01-19 03:02:13 +0100 | Guest75 | (~Guest75@178.141.138.233) (Ping timeout: 260 seconds) |
| 2023-01-19 03:02:55 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2023-01-19 03:03:44 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 03:04:02 +0100 | nilcdr | (~nilcdr@user/nilcdr) |
| 2023-01-19 03:06:09 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2023-01-19 03:07:11 +0100 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-01-19 03:08:01 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2023-01-19 03:08:50 +0100 | boxscape_ | (~boxscape_@81.191.27.107) (Ping timeout: 256 seconds) |
| 2023-01-19 03:09:59 +0100 | ddellacosta | (~ddellacos@86.106.143.52) |
| 2023-01-19 03:17:44 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-01-19 03:28:26 +0100 | <Umeaboy> | Is the build progress supposed to be going from 99% back to 84% and then back up towards 99% again? Sorry if I seem dumb, but I want to know if this is a normal behavior or not. It's still continuing so I guess it's normal, but I'm not sure. |
| 2023-01-19 03:29:07 +0100 | <Umeaboy> | It's been building for over 3 hours so far. |
| 2023-01-19 03:32:54 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-19 03:33:46 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 2023-01-19 03:38:21 +0100 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-01-19 03:43:52 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 03:45:10 +0100 | razetime | (~Thunderbi@117.254.35.246) |
| 2023-01-19 03:47:37 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 252 seconds) |
| 2023-01-19 03:48:21 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 2023-01-19 03:52:14 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-01-19 03:52:40 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 03:52:55 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: error:1408F10B:SSL routines:ssl3_get_record:wrong version number) |
| 2023-01-19 03:53:13 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-01-19 03:54:39 +0100 | <sm> | Umeaboy: I don't remember seeing fluctuating percentage.. curious what you're watching - are you building GHC |
| 2023-01-19 03:54:40 +0100 | <sm> | ? |
| 2023-01-19 03:54:59 +0100 | <Umeaboy> | sm: Yes. |
| 2023-01-19 03:55:24 +0100 | <Umeaboy> | hadrian/build was my latest command before the build process began. |
| 2023-01-19 03:55:53 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 255 seconds) |
| 2023-01-19 03:56:16 +0100 | <sm> | ah, I'm not familiar with their special build tools.. #ghc would know if you don't get an answer. 3 hours sounds possible, but hopefully it is making progress and not overflowing memory into swap |
| 2023-01-19 03:57:00 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-19 03:59:30 +0100 | nilcdr | (~nilcdr@user/nilcdr) (Read error: Connection reset by peer) |
| 2023-01-19 04:02:35 +0100 | thegeekinside | (~thegeekin@189.217.82.244) (Read error: Connection reset by peer) |
| 2023-01-19 04:07:28 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-01-19 04:09:11 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-01-19 04:09:50 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 04:11:25 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection) |
| 2023-01-19 04:13:27 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.7.1) |
| 2023-01-19 04:18:10 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 260 seconds) |
| 2023-01-19 04:21:10 +0100 | ddellacosta | (~ddellacos@86.106.143.52) (Ping timeout: 252 seconds) |
| 2023-01-19 04:21:41 +0100 | slack1256 | (~slack1256@181.42.49.146) |
| 2023-01-19 04:23:49 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 04:26:27 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-01-19 04:28:20 +0100 | <jackdk> | I dunno if it's different to the build system which goes into releases, but I compiled GHC 9.2.4 last night and it did not take that long. |
| 2023-01-19 04:32:08 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2023-01-19 04:34:32 +0100 | <sm> | top would tell more. Normally ~4G ram is recommended |
| 2023-01-19 04:37:32 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 04:42:10 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-19 04:43:14 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 04:48:34 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-19 04:49:17 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2023-01-19 04:51:03 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-19 04:51:03 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-01-19 04:51:03 +0100 | finn_elija | FinnElija |
| 2023-01-19 04:51:16 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) |
| 2023-01-19 04:54:14 +0100 | td_ | (~td@83.135.9.57) (Ping timeout: 256 seconds) |
| 2023-01-19 04:55:42 +0100 | td_ | (~td@83.135.9.34) |
| 2023-01-19 05:03:01 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) (Remote host closed the connection) |
| 2023-01-19 05:06:45 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2023-01-19 05:07:05 +0100 | EvanR | (~EvanR@user/evanr) |
| 2023-01-19 05:12:01 +0100 | mbuf | (~Shakthi@49.204.116.120) |
| 2023-01-19 05:18:42 +0100 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 255 seconds) |
| 2023-01-19 05:27:08 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2023-01-19 05:29:04 +0100 | dsrt^ | (~dsrt@76.145.190.81) |
| 2023-01-19 05:29:19 +0100 | <Inst> | hmmm |
| 2023-01-19 05:29:21 +0100 | <Inst> | how does this work |
| 2023-01-19 05:29:33 +0100 | <Inst> | type Blue :: (Type,Type) -> Type |
| 2023-01-19 05:29:36 +0100 | <Inst> | data Blue a |
| 2023-01-19 05:34:59 +0100 | tsandstr | (~user@2601:18b:8100:7300::524) (Remote host closed the connection) |
| 2023-01-19 05:37:41 +0100 | tsandstr | (~user@2601:18b:8100:7300::524) |
| 2023-01-19 05:40:45 +0100 | <tsandstr> | Running into some strange problems that I dont quite understand. For context, I am hacking around in xmonad-contrib. I am trying to make use of the `filepath` and `directory` packages, both of which are included under `build-depends` in xmonad-contrib.cabal. However, when I try to `import System.OsPath` in my module, I get an error reading "Could not find module ‘System.OsPath’" and "It is not a module in the cu |
| 2023-01-19 05:40:45 +0100 | <tsandstr> | rrent program, or in any known package." Any ideas as to what could be causing this behavior? |
| 2023-01-19 05:44:28 +0100 | <jackdk> | tsandstr: OsPath only came in in `1.4.100.0`, so if you add that version constraint you'll either download new versions of the libraries or get a message why cabal won't select that version for you |
| 2023-01-19 05:48:03 +0100 | <tsandstr> | jackdk: Aha! That makes perfect sense. Where would I have looked to find that information myself? |
| 2023-01-19 05:48:38 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-01-19 05:49:38 +0100 | <jackdk> | https://hackage.haskell.org/package/filepath links to the changelog and if you're lucky things are in there, otherwise you can click around the different versions on hackage |
| 2023-01-19 05:49:46 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 256 seconds) |
| 2023-01-19 05:49:53 +0100 | <tsandstr> | jackdk: Gotcha. 'Preciate it! |
| 2023-01-19 05:52:08 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 05:55:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) |
| 2023-01-19 06:03:14 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-19 06:04:23 +0100 | <jackdk> | Specifically `filepath ^>=1.4.100.0` or `filepath >=1.4.100.0 && <1.5` |
| 2023-01-19 06:07:20 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:5c56:4f57:55a9:a6ea) (Ping timeout: 256 seconds) |
| 2023-01-19 06:10:33 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 06:14:50 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-19 06:18:32 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 06:23:08 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 2023-01-19 06:24:20 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2023-01-19 06:30:52 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2023-01-19 06:31:38 +0100 | Vajb | (~Vajb@2001:999:78d:d7:457c:7773:573e:6903) |
| 2023-01-19 06:37:22 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-01-19 06:42:41 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-01-19 06:45:52 +0100 | slack1256 | (~slack1256@181.42.49.146) (Ping timeout: 256 seconds) |
| 2023-01-19 06:47:21 +0100 | ddellacosta | (~ddellacos@143.244.47.76) |
| 2023-01-19 06:51:23 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:c1c3:e297:674c:356d) (Quit: use-value) |
| 2023-01-19 06:53:21 +0100 | jwiegley | (~jwiegley@2600:1700:cf00:db0:a0d2:9e2f:f137:2e8b) |
| 2023-01-19 07:12:23 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 07:14:52 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:5f49:41ac:35af:496b) |
| 2023-01-19 07:17:20 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-19 07:19:03 +0100 | jrm2 | (~jrm@user/jrm) |
| 2023-01-19 07:19:56 +0100 | jrm | (~jrm@user/jrm) (Read error: Connection reset by peer) |
| 2023-01-19 07:20:29 +0100 | jrm2 | jrm |
| 2023-01-19 07:25:06 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-19 07:26:23 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-19 07:26:24 +0100 | <maerwald[m]> | tsandstr: filepath is a boot library shipped with GHC. GHC doesn't ship this version yet. You can update to a newer one, but cabal usually prefers the version shipped witH GHC |
| 2023-01-19 07:31:36 +0100 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-01-19 07:33:02 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-01-19 07:38:44 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 07:41:56 +0100 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving) |
| 2023-01-19 07:43:06 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-19 07:45:02 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-01-19 07:48:27 +0100 | theproffesor | (~theproffe@user/theproffesor) |
| 2023-01-19 07:52:15 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 260 seconds) |
| 2023-01-19 07:56:37 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 08:01:14 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 256 seconds) |
| 2023-01-19 08:03:23 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 08:04:09 +0100 | razetime1 | (~Thunderbi@117.254.35.246) |
| 2023-01-19 08:04:50 +0100 | razetime | (~Thunderbi@117.254.35.246) (Ping timeout: 272 seconds) |
| 2023-01-19 08:04:51 +0100 | razetime1 | razetime |
| 2023-01-19 08:10:32 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 272 seconds) |
| 2023-01-19 08:10:33 +0100 | mmhat | (~mmh@p200300f1c7123ce0ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-01-19 08:14:15 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:16bb:bc1b:720e:b90d) |
| 2023-01-19 08:15:04 +0100 | irrgit_ | (~irrgit@176.113.74.138) |
| 2023-01-19 08:15:45 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 08:17:49 +0100 | phma | (phma@2001:5b0:211f:9e88:7b45:ac5a:b196:43f5) (Read error: Connection reset by peer) |
| 2023-01-19 08:18:14 +0100 | irrgit__ | (~irrgit@89.47.234.74) (Ping timeout: 255 seconds) |
| 2023-01-19 08:18:38 +0100 | phma | (~phma@host-67-44-208-36.hnremote.net) |
| 2023-01-19 08:19:53 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 246 seconds) |
| 2023-01-19 08:31:01 +0100 | mmhat | (~mmh@p200300f1c7123ce0ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 2023-01-19 08:34:06 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-19 08:38:34 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-01-19 08:38:57 +0100 | kuttenbrunzer | (~kuttenbru@2a02:8108:8b80:1d48:7d94:359f:9571:8466) |
| 2023-01-19 08:40:17 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 08:44:34 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2023-01-19 08:49:24 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 256 seconds) |
| 2023-01-19 08:52:56 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 09:00:44 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 256 seconds) |
| 2023-01-19 09:01:22 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 09:05:50 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 256 seconds) |
| 2023-01-19 09:13:07 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-01-19 09:14:33 +0100 | kuttenbrunzer | (~kuttenbru@2a02:8108:8b80:1d48:7d94:359f:9571:8466) (Read error: Connection reset by peer) |
| 2023-01-19 09:17:11 +0100 | nschoe | (~q@141.101.51.197) |
| 2023-01-19 09:21:48 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-01-19 09:21:56 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-01-19 09:22:41 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-01-19 09:25:29 +0100 | Inst | (~Inst@2601:6c4:4081:54f0:ac9c:50:1323:7808) (Ping timeout: 260 seconds) |
| 2023-01-19 09:25:38 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 09:26:06 +0100 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2023-01-19 09:28:24 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-01-19 09:29:21 +0100 | titibandit1 | (~titibandi@xdsl-81-173-160-143.nc.de) |
| 2023-01-19 09:30:37 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-19 09:34:19 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 09:35:17 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-01-19 09:36:17 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-01-19 09:37:36 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-19 09:38:16 +0100 | trev_ | (~trev@109.252.35.99) |
| 2023-01-19 09:38:42 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-19 09:39:38 +0100 | mncheck | (~mncheck@193.224.205.254) |
| 2023-01-19 09:53:09 +0100 | avicenzi | (~avicenzi@2a00:ca8:a1f:b004::c32) |
| 2023-01-19 09:56:41 +0100 | acidjnk | (~acidjnk@p200300d6e715c413412661ed393dd1a1.dip0.t-ipconnect.de) |
| 2023-01-19 09:56:56 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-19 09:57:56 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-01-19 09:59:29 +0100 | talismanick | (~talismani@2601:200:c181:4c40::1be2) (Ping timeout: 255 seconds) |
| 2023-01-19 09:59:45 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-19 09:59:59 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 260 seconds) |
| 2023-01-19 10:00:46 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-01-19 10:01:12 +0100 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2023-01-19 10:03:39 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-01-19 10:05:46 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 10:06:39 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Client Quit) |
| 2023-01-19 10:10:26 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-19 10:14:19 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 10:15:57 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-01-19 10:16:20 +0100 | akegalj | (~akegalj@93-137-143-47.adsl.net.t-com.hr) |
| 2023-01-19 10:16:55 +0100 | uics | (~uics@91.150.188.137) |
| 2023-01-19 10:17:02 +0100 | uics | (~uics@91.150.188.137) () |
| 2023-01-19 10:24:25 +0100 | CiaoSen | (~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-01-19 10:26:43 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2d23:55b1:4fc0:b96b) |
| 2023-01-19 10:28:45 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-01-19 10:29:49 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-01-19 10:29:49 +0100 | razetime | (~Thunderbi@117.254.35.246) (Quit: See You Space Cowboy) |
| 2023-01-19 10:30:35 +0100 | ft | (~ft@p4fc2a257.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-01-19 10:31:44 +0100 | ubert | (~Thunderbi@146.70.116.146) (Remote host closed the connection) |
| 2023-01-19 10:32:37 +0100 | irrgit__ | (~irrgit@86.106.90.226) |
| 2023-01-19 10:34:56 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2023-01-19 10:35:41 +0100 | irrgit_ | (~irrgit@176.113.74.138) (Ping timeout: 246 seconds) |
| 2023-01-19 10:42:10 +0100 | Guest75 | (~Guest75@178.141.138.233) |
| 2023-01-19 10:43:42 +0100 | titibandit1 | (~titibandi@xdsl-81-173-160-143.nc.de) (Remote host closed the connection) |
| 2023-01-19 10:50:39 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 10:55:04 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-19 10:59:22 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-01-19 11:01:55 +0100 | int-index | (~Vladislav@2a00:1370:8178:5994:3d7b:39eb:5bab:424a) |
| 2023-01-19 11:02:04 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-19 11:08:06 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) |
| 2023-01-19 11:08:14 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds) |
| 2023-01-19 11:09:38 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-01-19 11:12:40 +0100 | int-index-r | (~Vladislav@109.252.30.248) |
| 2023-01-19 11:15:47 +0100 | int-index | (~Vladislav@2a00:1370:8178:5994:3d7b:39eb:5bab:424a) (Ping timeout: 264 seconds) |
| 2023-01-19 11:16:49 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 252 seconds) |
| 2023-01-19 11:18:10 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Remote host closed the connection) |
| 2023-01-19 11:18:48 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-01-19 11:19:29 +0100 | ubert | (~Thunderbi@2a02:8109:abc0:6434:a2fd:900f:5857:4939) |
| 2023-01-19 11:19:48 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) (Remote host closed the connection) |
| 2023-01-19 11:27:10 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 11:29:08 +0100 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2023-01-19 11:31:27 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 11:34:52 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-19 11:34:52 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8) |
| 2023-01-19 11:34:53 +0100 | iqubic | (~avi@2601:602:9502:c70:4c7e:f9b:b02b:5a6d) (Ping timeout: 246 seconds) |
| 2023-01-19 11:35:13 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-01-19 11:35:26 +0100 | acidjnk | (~acidjnk@p200300d6e715c413412661ed393dd1a1.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-01-19 11:35:47 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 255 seconds) |
| 2023-01-19 11:36:23 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-01-19 11:43:51 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-01-19 11:49:59 +0100 | burakcank | (~burakcank@has.arrived.and.is.ready-to.party) (Ping timeout: 264 seconds) |
| 2023-01-19 11:54:20 +0100 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2023-01-19 11:55:16 +0100 | srk- | (~sorki@user/srk) |
| 2023-01-19 11:55:19 +0100 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2023-01-19 11:58:06 +0100 | srk | (~sorki@user/srk) (Ping timeout: 256 seconds) |
| 2023-01-19 11:58:06 +0100 | srk- | srk |
| 2023-01-19 11:59:16 +0100 | inversed | (~inversed@bcdcac82.skybroadband.com) (Read error: Connection reset by peer) |
| 2023-01-19 12:00:31 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 12:03:30 +0100 | acidjnk | (~acidjnk@p200300d6e715c41340f701b22e0a0883.dip0.t-ipconnect.de) |
| 2023-01-19 12:04:08 +0100 | wagle | (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-01-19 12:04:28 +0100 | srk- | (~sorki@user/srk) |
| 2023-01-19 12:04:39 +0100 | wagle | (~wagle@quassel.wagle.io) |
| 2023-01-19 12:04:59 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-01-19 12:05:38 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 246 seconds) |
| 2023-01-19 12:08:01 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Quit: opticblast) |
| 2023-01-19 12:08:15 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) |
| 2023-01-19 12:08:55 +0100 | srk | (~sorki@user/srk) (Ping timeout: 260 seconds) |
| 2023-01-19 12:08:55 +0100 | srk- | srk |
| 2023-01-19 12:10:47 +0100 | burakcan- | (burakcank@has.arrived.and.is.ready-to.party) |
| 2023-01-19 12:16:47 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 12:20:18 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-01-19 12:20:41 +0100 | acidjnk | (~acidjnk@p200300d6e715c41340f701b22e0a0883.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-01-19 12:23:36 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-19 12:24:54 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-01-19 12:25:26 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:7906:80d7:17c8:7b72) |
| 2023-01-19 12:25:39 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 12:26:47 +0100 | chele | (~chele@user/chele) |
| 2023-01-19 12:30:12 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2023-01-19 12:30:47 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 12:54:39 +0100 | Guest89 | (~Guest89@109-248-43-120.skylon.cloud) |
| 2023-01-19 12:58:11 +0100 | Guest89 | (~Guest89@109-248-43-120.skylon.cloud) (Client Quit) |
| 2023-01-19 13:02:21 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-19 13:05:20 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
| 2023-01-19 13:11:21 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 13:12:32 +0100 | tureba | (~tureba@tureba.org) |
| 2023-01-19 13:15:44 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-19 13:33:02 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-19 13:34:19 +0100 | shapr | (~user@68.54.166.125) (Ping timeout: 260 seconds) |
| 2023-01-19 13:34:26 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 256 seconds) |
| 2023-01-19 13:46:27 +0100 | iqubic | (~avi@2601:602:9502:c70:2552:12e6:de48:4662) |
| 2023-01-19 13:47:36 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 13:48:43 +0100 | CiaoSen | (~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-01-19 13:50:54 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Quit: opticblast) |
| 2023-01-19 13:51:08 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) |
| 2023-01-19 13:51:55 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 252 seconds) |
| 2023-01-19 13:52:20 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Client Quit) |
| 2023-01-19 13:52:39 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) |
| 2023-01-19 13:53:07 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-19 13:56:12 +0100 | akegalj | (~akegalj@93-137-143-47.adsl.net.t-com.hr) (Quit: leaving) |
| 2023-01-19 13:58:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-01-19 14:01:07 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-19 14:04:31 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 14:05:39 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 14:05:49 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-01-19 14:09:00 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-19 14:11:38 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:7906:80d7:17c8:7b72) (Ping timeout: 252 seconds) |
| 2023-01-19 14:12:02 +0100 | xff0x_ | (~xff0x@178.255.149.135) |
| 2023-01-19 14:13:14 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-19 14:19:46 +0100 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:fd01:eb1c:8f92:62) |
| 2023-01-19 14:20:00 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 265 seconds) |
| 2023-01-19 14:21:23 +0100 | xff0x_ | (~xff0x@178.255.149.135) (Ping timeout: 255 seconds) |
| 2023-01-19 14:23:15 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:7906:80d7:17c8:7b72) |
| 2023-01-19 14:31:07 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 2023-01-19 14:32:09 +0100 | zero | yin |
| 2023-01-19 14:37:43 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 2023-01-19 14:38:08 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 255 seconds) |
| 2023-01-19 14:40:16 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-01-19 14:40:33 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-01-19 14:42:18 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-01-19 14:44:32 +0100 | pagnol | (~user@213-205-209-87.ftth.glasoperator.nl) |
| 2023-01-19 14:46:05 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-19 14:46:38 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-19 14:49:38 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-01-19 14:55:32 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2023-01-19 14:56:44 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2023-01-19 14:58:02 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2d23:55b1:4fc0:b96b) (Remote host closed the connection) |
| 2023-01-19 14:58:21 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2d23:55b1:4fc0:b96b) |
| 2023-01-19 15:00:00 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-19 15:00:39 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 2023-01-19 15:01:21 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 15:05:46 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2023-01-19 15:06:03 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-01-19 15:07:41 +0100 | CiaoSen | (~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-01-19 15:07:56 +0100 | ddellacosta | (~ddellacos@143.244.47.76) (Ping timeout: 256 seconds) |
| 2023-01-19 15:09:05 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 255 seconds) |
| 2023-01-19 15:12:53 +0100 | thegeekinside | (~thegeekin@189.217.82.244) |
| 2023-01-19 15:16:34 +0100 | briandaed | (~briandaed@185.234.210.211) |
| 2023-01-19 15:18:49 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-01-19 15:21:07 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-19 15:30:27 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-01-19 15:36:07 +0100 | mikoto-chan | (~mikoto-ch@2001:999:584:d67b:c25d:7bc0:5023:6aff) |
| 2023-01-19 15:37:31 +0100 | _xor | (~xor@74.215.182.83) (Ping timeout: 268 seconds) |
| 2023-01-19 15:39:13 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 15:41:56 +0100 | _xor | (~xor@74.215.182.83) |
| 2023-01-19 15:46:12 +0100 | mei | (~mei@user/mei) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2023-01-19 15:46:17 +0100 | mei | (~mei@user/mei) |
| 2023-01-19 15:54:48 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.7.1) |
| 2023-01-19 15:55:19 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-19 15:59:30 +0100 | dsrt^ | (~dsrt@76.145.190.81) (Ping timeout: 256 seconds) |
| 2023-01-19 16:00:12 +0100 | arflech__ | (~lewisje@72.49.207.113) |
| 2023-01-19 16:01:32 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-01-19 16:02:10 +0100 | shapr | (~user@68.54.166.125) |
| 2023-01-19 16:02:20 +0100 | jelewis2 | (~lewisje@2001:470:1f11:14e:1753:f4c6:e607:e65f) (Ping timeout: 256 seconds) |
| 2023-01-19 16:08:18 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-01-19 16:11:55 +0100 | CiaoSen | (~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-01-19 16:13:17 +0100 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-01-19 16:13:50 +0100 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2023-01-19 16:16:30 +0100 | _xor | (~xor@74.215.182.83) (Ping timeout: 256 seconds) |
| 2023-01-19 16:16:38 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-01-19 16:17:08 +0100 | _xor | (~xor@74.215.182.83) |
| 2023-01-19 16:22:16 +0100 | panovia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-01-19 16:26:26 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-19 16:27:01 +0100 | joel135 | (sid136450@id-136450.hampstead.irccloud.com) () |
| 2023-01-19 16:27:33 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-19 16:28:01 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-19 16:36:11 +0100 | mikoto-chan | (~mikoto-ch@2001:999:584:d67b:c25d:7bc0:5023:6aff) (Ping timeout: 246 seconds) |
| 2023-01-19 16:42:11 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.7.1) |
| 2023-01-19 16:43:08 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 256 seconds) |
| 2023-01-19 16:44:30 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-01-19 16:55:37 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 16:56:52 +0100 | gdd | (~gdd@2001:470:1f13:187:41fc:3586:85ea:bc08) (Ping timeout: 252 seconds) |
| 2023-01-19 16:57:18 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2023-01-19 17:01:14 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-19 17:05:17 +0100 | mikoto-chan | (~mikoto-ch@2001:999:584:d67b:c25d:7bc0:5023:6aff) |
| 2023-01-19 17:09:41 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2023-01-19 17:12:11 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:16bb:bc1b:720e:b90d) (Quit: WeeChat 2.8) |
| 2023-01-19 17:23:14 +0100 | CiaoSen | (~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-01-19 17:24:23 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-19 17:24:55 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) |
| 2023-01-19 17:24:57 +0100 | troydm | (~troydm@user/troydm) |
| 2023-01-19 17:30:27 +0100 | ubert | (~Thunderbi@2a02:8109:abc0:6434:a2fd:900f:5857:4939) (Remote host closed the connection) |
| 2023-01-19 17:31:10 +0100 | irrgit__ | (~irrgit@86.106.90.226) (Read error: Connection reset by peer) |
| 2023-01-19 17:33:21 +0100 | notzmv | (~zmv@user/notzmv) (Remote host closed the connection) |
| 2023-01-19 17:33:31 +0100 | nckx | (~nckx@tobias.gr) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2023-01-19 17:33:52 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2023-01-19 17:33:52 +0100 | jwiegley | (~jwiegley@2600:1700:cf00:db0:a0d2:9e2f:f137:2e8b) (Quit: ZNC - http://znc.in) |
| 2023-01-19 17:34:42 +0100 | thongpv | (~thongpv87@2001:ee0:5577:f0d0:5f49:41ac:35af:496b) (Ping timeout: 256 seconds) |
| 2023-01-19 17:39:42 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) (Remote host closed the connection) |
| 2023-01-19 17:41:12 +0100 | mikoto-chan | (~mikoto-ch@2001:999:584:d67b:c25d:7bc0:5023:6aff) (Ping timeout: 255 seconds) |
| 2023-01-19 17:45:20 +0100 | razetime | (~Thunderbi@117.254.35.246) |
| 2023-01-19 17:46:10 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-01-19 17:46:14 +0100 | razetime | (~Thunderbi@117.254.35.246) (Remote host closed the connection) |
| 2023-01-19 17:55:14 +0100 | mbuf | (~Shakthi@49.204.116.120) (Quit: Leaving) |
| 2023-01-19 17:55:17 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-01-19 17:56:49 +0100 | phma | (~phma@host-67-44-208-36.hnremote.net) (Read error: Connection reset by peer) |
| 2023-01-19 17:57:41 +0100 | phma | (~phma@2001:5b0:210b:d368:3e46:f9fe:761f:820d) |
| 2023-01-19 17:57:45 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-01-19 17:57:54 +0100 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-01-19 17:58:32 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2d23:55b1:4fc0:b96b) (Remote host closed the connection) |
| 2023-01-19 17:58:51 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2d23:55b1:4fc0:b96b) |
| 2023-01-19 18:00:33 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 18:01:58 +0100 | halting | (~Oliver@177.129.53.34) |
| 2023-01-19 18:02:22 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Remote host closed the connection) |
| 2023-01-19 18:04:50 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2023-01-19 18:05:48 +0100 | barzo | (~hd@31.223.41.44) |
| 2023-01-19 18:09:05 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-01-19 18:09:06 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 255 seconds) |
| 2023-01-19 18:11:08 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-19 18:12:21 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
| 2023-01-19 18:15:55 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2023-01-19 18:18:58 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-01-19 18:21:57 +0100 | infinity0 | (~infinity0@pwned.gg) |
| 2023-01-19 18:22:15 +0100 | trev_ | (~trev@109.252.35.99) (Remote host closed the connection) |
| 2023-01-19 18:26:29 +0100 | Philonous | (~Philonous@user/philonous) (Ping timeout: 268 seconds) |
| 2023-01-19 18:27:45 +0100 | Philonous | (~Philonous@user/philonous) |
| 2023-01-19 18:28:20 +0100 | nschoe | (~q@141.101.51.197) (Ping timeout: 268 seconds) |
| 2023-01-19 18:28:32 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2023-01-19 18:30:00 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-01-19 18:31:11 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-19 18:32:14 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-01-19 18:33:21 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Client Quit) |
| 2023-01-19 18:33:39 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 18:34:37 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 18:34:48 +0100 | hounded | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 2023-01-19 18:34:51 +0100 | hounded_woodstoc | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 2023-01-19 18:37:36 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-19 18:38:12 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 2023-01-19 18:38:17 +0100 | avicenzi | (~avicenzi@2a00:ca8:a1f:b004::c32) (Ping timeout: 252 seconds) |
| 2023-01-19 18:38:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) |
| 2023-01-19 18:41:03 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-01-19 18:41:17 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-19 18:42:56 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-01-19 18:43:08 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-01-19 18:45:00 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-19 18:47:58 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-19 18:54:07 +0100 | briandaed | (~briandaed@185.234.210.211) (Remote host closed the connection) |
| 2023-01-19 18:59:48 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-01-19 19:02:28 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2023-01-19 19:02:29 +0100 | CiaoSen | (~Jura@p200300c9572d4e002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-01-19 19:02:56 +0100 | mmhat | (~mmh@p200300f1c7123ce0ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-01-19 19:03:12 +0100 | econo | (uid147250@user/econo) |
| 2023-01-19 19:05:33 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-19 19:09:11 +0100 | mmhat | (~mmh@p200300f1c7123ce0ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-01-19 19:09:33 +0100 | mmhat | (~mmh@p200300f1c7123cc9ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-01-19 19:13:32 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-01-19 19:13:51 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-01-19 19:18:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) (Remote host closed the connection) |
| 2023-01-19 19:20:32 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-01-19 19:36:04 +0100 | ft | (~ft@p4fc2a257.dip0.t-ipconnect.de) |
| 2023-01-19 19:37:41 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 19:38:12 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 255 seconds) |
| 2023-01-19 19:40:14 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-19 19:40:34 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) |
| 2023-01-19 19:42:23 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2023-01-19 19:44:24 +0100 | johnw | (~johnw@2600:1700:cf00:db0:1ccb:c50c:1e27:a866) |
| 2023-01-19 19:47:12 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-01-19 19:53:59 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 19:58:38 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-19 20:02:30 +0100 | halting | (~Oliver@177.129.53.34) (Quit: Leaving) |
| 2023-01-19 20:13:20 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-01-19 20:14:35 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-01-19 20:15:19 +0100 | trev_ | (~trev@109.252.35.99) |
| 2023-01-19 20:16:18 +0100 | nckx | (~nckx@tobias.gr) |
| 2023-01-19 20:16:46 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2023-01-19 20:16:56 +0100 | cheater_ | cheater |
| 2023-01-19 20:18:16 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 20:21:34 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-39.dsl.bell.ca) |
| 2023-01-19 20:22:11 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-39.dsl.bell.ca) (Remote host closed the connection) |
| 2023-01-19 20:23:00 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-19 20:23:17 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-01-19 20:32:48 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2023-01-19 20:37:02 +0100 | troydm | (~troydm@user/troydm) (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) |
| 2023-01-19 20:37:36 +0100 | myxokephale | myxokeph |
| 2023-01-19 20:37:53 +0100 | myxokeph | (~myxokepha@cpe-65-28-251-121.cinci.res.rr.com) () |
| 2023-01-19 20:38:16 +0100 | myxokephale | (~myxokepha@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-01-19 20:38:29 +0100 | myxokephale | myxokeph |
| 2023-01-19 20:39:01 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-19 20:39:11 +0100 | myxokeph | (~myxokepha@cpe-65-28-251-121.cinci.res.rr.com) (Client Quit) |
| 2023-01-19 20:39:24 +0100 | myxokeph | (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-01-19 20:39:32 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 20:39:53 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) (Remote host closed the connection) |
| 2023-01-19 20:42:22 +0100 | mei | (~mei@user/mei) (Quit: mei) |
| 2023-01-19 20:43:02 +0100 | troydm | (~troydm@user/troydm) |
| 2023-01-19 20:43:58 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-19 20:43:58 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2023-01-19 20:45:09 +0100 | pavonia | (~user@user/siracusa) |
| 2023-01-19 20:48:12 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-01-19 20:48:25 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-01-19 20:49:40 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 2023-01-19 20:50:43 +0100 | nschoe | (~q@2a01:e0a:8e:a190:f5b7:653e:6fd3:11a) |
| 2023-01-19 20:50:43 +0100 | nschoe | (~q@2a01:e0a:8e:a190:f5b7:653e:6fd3:11a) (Client Quit) |
| 2023-01-19 20:57:16 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-01-19 20:59:40 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-19 21:01:54 +0100 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2023-01-19 21:05:33 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-01-19 21:05:37 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-01-19 21:06:37 +0100 | son0p | (~ff@181.136.122.143) |
| 2023-01-19 21:11:13 +0100 | acidjnk | (~acidjnk@p200300d6e715c43769415255d4cd64cd.dip0.t-ipconnect.de) |
| 2023-01-19 21:11:35 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-01-19 21:12:00 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-19 21:12:07 +0100 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Remote host closed the connection) |
| 2023-01-19 21:12:10 +0100 | int-index-r | (~Vladislav@109.252.30.248) (Quit: Konversation terminated!) |
| 2023-01-19 21:18:27 +0100 | mmhat | (~mmh@p200300f1c7123cc9ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 2023-01-19 21:18:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) |
| 2023-01-19 21:19:39 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-39.dsl.bell.ca) |
| 2023-01-19 21:21:04 +0100 | jackhill | (~jackhill@kalessin.dragonsnail.net) |
| 2023-01-19 21:27:17 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-19 21:29:45 +0100 | talismanick | (~talismani@campus-039-222.ucdavis.edu) |
| 2023-01-19 21:31:50 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 260 seconds) |
| 2023-01-19 21:36:45 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 21:38:10 +0100 | kenran | (~user@user/kenran) |
| 2023-01-19 21:38:11 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) |
| 2023-01-19 21:38:45 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-01-19 21:38:56 +0100 | talismanick | (~talismani@campus-039-222.ucdavis.edu) (Ping timeout: 256 seconds) |
| 2023-01-19 21:41:01 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 256 seconds) |
| 2023-01-19 21:45:59 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-01-19 21:46:02 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-01-19 21:46:27 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-19 21:50:46 +0100 | trev_ | (~trev@109.252.35.99) (Remote host closed the connection) |
| 2023-01-19 21:50:58 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-01-19 21:51:06 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 21:53:19 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-01-19 21:55:10 +0100 | Feuermagier_ | (~Feuermagi@45.88.97.193) |
| 2023-01-19 21:55:52 +0100 | talismanick | (~talismani@campus-039-222.ucdavis.edu) |
| 2023-01-19 21:56:28 +0100 | <monochrom> | Ooohhh w00t SPJ's birthday (yesterday actually; I am reading HWN and know now) and his "what I love about the haskell community" https://discourse.haskell.org/t/what-i-love-about-the-haskell-community/5611 |
| 2023-01-19 21:57:23 +0100 | <Rembane> | \o/ |
| 2023-01-19 21:57:43 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 260 seconds) |
| 2023-01-19 21:59:08 +0100 | barzo | (~hd@31.223.41.44) (Ping timeout: 252 seconds) |
| 2023-01-19 21:59:49 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-01-19 22:00:00 +0100 | slack1256 | (~slack1256@181.42.49.194) |
| 2023-01-19 22:02:10 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-01-19 22:03:50 +0100 | cheater_ | cheater |
| 2023-01-19 22:04:45 +0100 | <raehik> | I have two `IO ()`s that may be done in any order, and can return when both are finished. How can I tell Haskell this, instead of `>>`ing them together? |
| 2023-01-19 22:05:02 +0100 | <geekosaur> | <*>? |
| 2023-01-19 22:05:25 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-01-19 22:05:29 +0100 | <c_wraith> | monochrom: aww, that's really touching. Thanks for bringing that up. |
| 2023-01-19 22:05:51 +0100 | <raehik> | geekosaur: no they're not intrinsically sequential |
| 2023-01-19 22:05:54 +0100 | <glguy> | raehik: if they can be done in any order, then >> works, because it will pick one of those orders |
| 2023-01-19 22:05:57 +0100 | <c_wraith> | raehik: do you want to run them concurrently? |
| 2023-01-19 22:06:03 +0100 | <glguy> | if you want to do them concurrently try the async package |
| 2023-01-19 22:06:30 +0100 | <raehik> | ideally I'd leave it up to the runtime system to figure out how to run them |
| 2023-01-19 22:06:38 +0100 | <geekosaur> | <*> was wrong anyway, type-wise, but note that Applicative is conceptually "in parallel" instead of sequential |
| 2023-01-19 22:06:38 +0100 | <c_wraith> | in fact, the combinator is even conveniently named: https://hackage.haskell.org/package/async-2.2.4/docs/Control-Concurrent-Async.html#v:concurrently |
| 2023-01-19 22:06:59 +0100 | <c_wraith> | or, well. concurrently_ is better |
| 2023-01-19 22:07:19 +0100 | <raehik> | glguy: what do you mean by (>>) picking one order? I thought it explicitly meant "do A, then do B" |
| 2023-01-19 22:07:36 +0100 | <glguy> | raehik: it does, but if you don't care which order they happnen in , then >>'s order is just fine |
| 2023-01-19 22:07:48 +0100 | <raehik> | right |
| 2023-01-19 22:07:52 +0100 | <c_wraith> | raehik: automatic parallelism doesn't really work. So in Haskell, you need to pick which you want |
| 2023-01-19 22:08:54 +0100 | <raehik> | c_wraith: thanks, that's what I'm looking for (ish). interesting to see whether concurrency will speed it up at all |
| 2023-01-19 22:09:26 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2023-01-19 22:09:46 +0100 | <mauke> | `b <- randomIO; if b then x >> y else y >> x` |
| 2023-01-19 22:10:02 +0100 | <c_wraith> | there are some libraries like haxl that try to automatically parallelize as much as they can, but they mostly work when all the long-running actions are blocked on IO rather than computation |
| 2023-01-19 22:12:22 +0100 | barzo | (~hd@31.223.41.44) |
| 2023-01-19 22:12:33 +0100 | mei | (~mei@user/mei) |
| 2023-01-19 22:14:39 +0100 | talismanick | (~talismani@campus-039-222.ucdavis.edu) (Ping timeout: 260 seconds) |
| 2023-01-19 22:20:42 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-01-19 22:24:59 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2023-01-19 22:28:37 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-01-19 22:28:42 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2023-01-19 22:29:18 +0100 | <EvanR> | since they are both IO, it's quite possible doing them concurrently speeds things up greatly. For example if they are both IO bound |
| 2023-01-19 22:29:53 +0100 | <EvanR> | like if it does an IO request, and waits a minimum time for the response before crunching numbers quickly |
| 2023-01-19 22:30:11 +0100 | <EvanR> | concurrency would speed that up even if you only have 1 measily CPU |
| 2023-01-19 22:32:46 +0100 | talismanick | (~talismani@campus-039-222.ucdavis.edu) |
| 2023-01-19 22:33:27 +0100 | Guest|32 | (~Guest|32@wnat-152010251075.appstate.edu) |
| 2023-01-19 22:33:56 +0100 | Guest|32 | (~Guest|32@wnat-152010251075.appstate.edu) (Client Quit) |
| 2023-01-19 22:38:15 +0100 | mei | Guest549 |
| 2023-01-19 22:38:15 +0100 | Guest549 | (~mei@user/mei) (Killed (lead.libera.chat (Nickname regained by services))) |
| 2023-01-19 22:38:20 +0100 | mei | (~mei@user/mei) |
| 2023-01-19 22:38:42 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2023-01-19 22:39:16 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-01-19 22:39:33 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2023-01-19 22:43:56 +0100 | bazoo | (~bazoo@93.51.40.51) |
| 2023-01-19 22:44:01 +0100 | bazoo | (~bazoo@93.51.40.51) () |
| 2023-01-19 22:45:42 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2023-01-19 22:47:20 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-01-19 22:49:55 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-01-19 22:50:20 +0100 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 256 seconds) |
| 2023-01-19 22:50:50 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-01-19 22:52:45 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) (Ping timeout: 252 seconds) |
| 2023-01-19 22:55:23 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-01-19 22:55:47 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 2023-01-19 22:56:06 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-01-19 22:56:47 +0100 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-01-19 22:56:47 +0100 | jinsun | Guest7743 |
| 2023-01-19 22:56:47 +0100 | Guest7743 | (~jinsun@user/jinsun) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2023-01-19 22:56:47 +0100 | jinsun__ | jinsun |
| 2023-01-19 22:58:07 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) (Remote host closed the connection) |
| 2023-01-19 23:01:51 +0100 | <Jadesheit[m]> | haskells runtime does not automatically parralelize, right? |
| 2023-01-19 23:02:03 +0100 | <Jadesheit[m]> | why not, given that purity would allow for this |
| 2023-01-19 23:03:10 +0100 | <glguy> | It's not obvious which parallelizations would actually help and which would hurt |
| 2023-01-19 23:03:15 +0100 | <geekosaur> | because there has been a lot of research into automatic parallelization and it's all gonr nowhere |
| 2023-01-19 23:03:54 +0100 | <Jadesheit[m]> | mhm |
| 2023-01-19 23:06:40 +0100 | mizlan | (~mizlan@2607:f010:2a7:1005:cca3:e028:1e9b:60c9) |
| 2023-01-19 23:06:46 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 256 seconds) |
| 2023-01-19 23:12:03 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2023-01-19 23:14:10 +0100 | fizbin | (~fizbin@user/fizbin) |
| 2023-01-19 23:19:07 +0100 | Vajb | (~Vajb@2001:999:78d:d7:457c:7773:573e:6903) (Read error: Connection reset by peer) |
| 2023-01-19 23:19:33 +0100 | Vajb | (~Vajb@2001:999:78d:d7:457c:7773:573e:6903) |
| 2023-01-19 23:24:14 +0100 | <jean-paul[m]> | syntax error to put comments between a function definition line and its first guard? 🤔 |
| 2023-01-19 23:27:40 +0100 | <geekosaur> | normal comment or haddock markup? |
| 2023-01-19 23:28:06 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-01-19 23:29:37 +0100 | <geekosaur> | (it seems to work here) |
| 2023-01-19 23:31:42 +0100 | talismanick | (~talismani@campus-039-222.ucdavis.edu) (Ping timeout: 256 seconds) |
| 2023-01-19 23:40:25 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1812:9885:2ce4:4618) |
| 2023-01-19 23:42:05 +0100 | mixphix | (~cigsender@74.124.58.162) |
| 2023-01-19 23:44:59 +0100 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Ping timeout: 248 seconds) |
| 2023-01-19 23:46:46 +0100 | bjourne | (~bjorn@94.191.152.137) |
| 2023-01-19 23:48:41 +0100 | <mixphix> | hello! i have two DataKind-ed types that I want to use to tag a value, e.g. `Tagged @(t1 :: k1), (t2 :: k2)) val`, but I get a type error complaining that `k1` and `k2` must be `Type`. I've tried with tuples and lists. Is there a higher-kinded version of tuples? |
| 2023-01-19 23:49:02 +0100 | <mixphix> | s/@(/@(( |
| 2023-01-19 23:49:42 +0100 | <mixphix> | i mean kind-agnostic, not higher-kinded |
| 2023-01-19 23:50:13 +0100 | pagnol | (~user@213-205-209-87.ftth.glasoperator.nl) (Ping timeout: 256 seconds) |
| 2023-01-19 23:50:17 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-01-19 23:51:03 +0100 | <mixphix> | nested `Tagged @t1 (Tagged @t2 val)` works but it's rather verbose |
| 2023-01-19 23:54:49 +0100 | <mixphix> | ah, https://stackoverflow.com/questions/45931774/kind-polymorphic-tuples |
| 2023-01-19 23:54:51 +0100 | <mixphix> | sorry to bother |
| 2023-01-19 23:55:44 +0100 | <mixphix> | my fault for not liking the ticks on promoted constructors :) |
| 2023-01-19 23:55:47 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 268 seconds) |