2023/08/12

2023-08-12 00:00:30 +0200 <monochrom> The same way, for example, in lattice theory, things are called "join" and "meet" because they were inspired by "union" and "intersection" as concrete examples. And then now we know that the intuition doesn't actually generalize.
2023-08-12 00:00:43 +0200 <int-e> it's about "things in a sequential order", not necessarily organized as a list
2023-08-12 00:00:58 +0200 <monochrom> And even why "rings" are called "rings". (They were only thinking of Z-mod-n rings.)
2023-08-12 00:01:05 +0200 <int-e> :t fold
2023-08-12 00:01:06 +0200 <lambdabot> (Foldable t, Monoid m) => t m -> m
2023-08-12 00:01:48 +0200 <EvanR> so fold is assuming some serialization of the structure
2023-08-12 00:01:48 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds)
2023-08-12 00:02:18 +0200 <probie> I think for lists, foldr/foldl were a poor choice of names because it makes them look equal
2023-08-12 00:02:21 +0200 <int-e> monochrom: and non-integers aren't numbers (Z = Zahlen = numbers)
2023-08-12 00:03:06 +0200 <monochrom> In fact, all the way back to Ancient Greeks, 1 was not a number either.
2023-08-12 00:03:15 +0200 <justsomeguy> Just thinking out loud here: I guess the reason I assumed that scanl must be implemented in terms of foldl is because I saw a definition of scanr implemented in terms of foldr.
2023-08-12 00:03:22 +0200 <EvanR> for finite lists, they are ~~equal~~ symmetric. If you ignore the haskell implementation of list
2023-08-12 00:03:45 +0200 <monochrom> Its relic is still in English (and I suspect almost all European languages.) "I have a number of wives" you immediately assume it is not 0 and it is not 1.
2023-08-12 00:03:51 +0200 <EvanR> and performance concerns
2023-08-12 00:05:24 +0200 <EvanR> when you get into the details foldl and foldr look unrelated and apply to wildly different tasks
2023-08-12 00:05:29 +0200 <probie> EvanR: That's a rather weak equality. `foldr` is a natural way to collapse a cons list, `foldl` is an artificial abomination :p
2023-08-12 00:05:52 +0200 <EvanR> I tried to strikeout equal and call it symmetric
2023-08-12 00:05:54 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-08-12 00:06:14 +0200 <monochrom> This is why I said it's historical reason way back then when people didn't know what we know today.
2023-08-12 00:06:17 +0200 <EvanR> i.e. foldr f z = foldl f z . reverse
2023-08-12 00:06:45 +0200 <monochrom> Not to diminish them. It takes time to discover what's going on deeper.
2023-08-12 00:07:22 +0200 <EvanR> er, and swap f
2023-08-12 00:07:31 +0200 <EvanR> flip f
2023-08-12 00:07:48 +0200jero98772(~jero98772@2800:484:1d84:300::3)
2023-08-12 00:07:55 +0200 <probie> > let myFoldl' f z xs = foldr (\x k y -> k $! f y x) id xs z in myFoldl' (+) 0 [1..1000]
2023-08-12 00:07:56 +0200 <lambdabot> 500500
2023-08-12 00:08:31 +0200johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2023-08-12 00:08:42 +0200 <monochrom> Today there are two famous directions of generalization. One is foldr -> catamorphism, which foldl doesn't enjoy, so yeah foldl is inferior in this direction.
2023-08-12 00:09:37 +0200 <monochrom> But the Foldable direction puts them on equal footing again. Assume finite data structures. Then foldl, foldr, foldMap are expressible in each other.
2023-08-12 00:10:15 +0200 <EvanR> justsomeguy, you'll probably find a lot of things definable using foldr. Because it is the universal function definer i.e. induction principle for lists. While foldl is this other thing with limited uses
2023-08-12 00:10:40 +0200 <monochrom> However, it is important to note that no one was thinking Foldable back in the 1960s in Lisp days.
2023-08-12 00:10:58 +0200 <Rembane> Were they thinking foldl and foldr in the 60s?
2023-08-12 00:11:02 +0200 <probie> Also, 99/100 you don't want `foldl`, you'll want `foldl'` instead
2023-08-12 00:14:17 +0200 <monochrom> "Foldable makes foldl great again" >:)
2023-08-12 00:14:38 +0200 <EvanR> you're thinking Foldable comes with a finiteness implication?
2023-08-12 00:14:49 +0200 <monochrom> Sometimes.
2023-08-12 00:14:49 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 00:14:50 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 00:14:50 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 00:15:10 +0200 <probie> The only function you need is `hylo f g = go where go = f . fmap go . g`
2023-08-12 00:15:28 +0200 <monochrom> Foldable includes the length method. So maybe actually yes.
2023-08-12 00:15:34 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2023-08-12 00:16:05 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2023-08-12 00:16:19 +0200 <EvanR> the virtues of Int
2023-08-12 00:16:29 +0200 <EvanR> generalizations be damned
2023-08-12 00:17:18 +0200 <monochrom> Heh ultrafiniteness "because it needs to fit into 2^64 bytes memory"
2023-08-12 00:17:56 +0200 <monochrom> (I don't mind either way in practice.)
2023-08-12 00:17:56 +0200 <geekosaur> haskell only promises 2^30 iirc?
2023-08-12 00:17:58 +0200 <EvanR> 2^64 should be enough for anyone
2023-08-12 00:18:02 +0200 <int-e> We can always reinvent EMS
2023-08-12 00:18:10 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-12 00:19:00 +0200 <int-e> geekosaur: -2^29...2^29 - 1 for Int, IIRC. Not that it matters in practice.
2023-08-12 00:19:24 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds)
2023-08-12 00:19:33 +0200 <probie> A 30 bit signed int so you've got two bits left over for GC or other tagging
2023-08-12 00:19:50 +0200 <EvanR> haskell should have doubled down on that and allowed the number of unused bits in Int to be configurable
2023-08-12 00:20:21 +0200 <EvanR> I'll have 8 unused bits please, for shenanigans
2023-08-12 00:20:41 +0200 <hpc> in practice you only need 2^24 because of IEEE floating point :D
2023-08-12 00:20:49 +0200 <monochrom> hahaha
2023-08-12 00:21:00 +0200 <monochrom> "Is that Javascript?"
2023-08-12 00:21:18 +0200 <int-e> For 32 bit systems. Yeah.
2023-08-12 00:21:24 +0200 <int-e> ;-)
2023-08-12 00:22:29 +0200 <monochrom> When C int was 16 bits in Turbo C.
2023-08-12 00:22:49 +0200 <EvanR> or arduino
2023-08-12 00:23:06 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 00:23:07 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 00:23:07 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 00:23:33 +0200 <EvanR> it's an 8-bit micro, so they took the liberty of emulating 16-bit math for you
2023-08-12 00:23:44 +0200 <EvanR> enjoy
2023-08-12 00:25:39 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-12 00:26:32 +0200hgolden(~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com)
2023-08-12 00:28:18 +0200ursa-major(~ursa-majo@136.29.34.240) (Ping timeout: 256 seconds)
2023-08-12 00:30:21 +0200Inst_(~Inst@2601:6c4:4081:2fc0:3c6d:b6bf:29e1:9f21) (Read error: Connection reset by peer)
2023-08-12 00:30:21 +0200ursa-major(~ursa-majo@37.19.210.10)
2023-08-12 00:32:02 +0200acidjnk_new(~acidjnk@p200300d6e7072f53d1f3494210dbf12e.dip0.t-ipconnect.de)
2023-08-12 00:33:11 +0200acidjnk(~acidjnk@p200300d6e7072f86347ae895ac9e3181.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2023-08-12 00:34:16 +0200wroathe(~wroathe@user/wroathe)
2023-08-12 00:35:24 +0200ursa-major(~ursa-majo@37.19.210.10) (Ping timeout: 248 seconds)
2023-08-12 00:36:42 +0200ursa-major(~ursa-majo@37.19.210.37)
2023-08-12 00:36:48 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds)
2023-08-12 00:37:24 +0200 <justsomeguy> Manual reduction of folds and scans, not that anyone is interested. https://github.com/kingparra/hpfp/blob/master/10_-_folds/exercises/fold_reductions.txt ; I didn't really grok foldl until I did this.
2023-08-12 00:41:49 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-08-12 00:42:31 +0200 <EvanR> do foldl'
2023-08-12 00:42:32 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 00:42:33 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 00:42:33 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 00:42:38 +0200 <justsomeguy> Ok!
2023-08-12 00:43:47 +0200jobhdez(~jobhdez@2601:601:d00:f30::c0ac)
2023-08-12 00:44:10 +0200ursa-major(~ursa-majo@37.19.210.37) (Ping timeout: 256 seconds)
2023-08-12 00:44:12 +0200 <EvanR> and line 79 where you evaluate a foldl is doing case analysis of `l' when it should be analyzing a value
2023-08-12 00:44:20 +0200 <EvanR> at that point
2023-08-12 00:44:29 +0200 <justsomeguy> Thanks, good catch!
2023-08-12 00:45:15 +0200 <int-e> . o O ( Let's talk about seq-s )
2023-08-12 00:45:32 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 248 seconds)
2023-08-12 00:46:06 +0200ursa-major(~ursa-majo@136.29.34.240)
2023-08-12 00:46:29 +0200 <int-e> @src ($!)
2023-08-12 00:46:29 +0200 <lambdabot> f $! x = x `seq` f x
2023-08-12 00:47:08 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds)
2023-08-12 00:50:58 +0200 <EvanR> pronounced econo-bang
2023-08-12 00:52:18 +0200ursa-major(~ursa-majo@136.29.34.240) (Ping timeout: 246 seconds)
2023-08-12 00:53:00 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 00:53:00 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 00:53:00 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 00:54:30 +0200ursa-major(~ursa-majo@static-198-44-128-184.cust.tzulo.com)
2023-08-12 00:57:31 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
2023-08-12 00:59:54 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-08-12 01:00:32 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 01:00:33 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 01:00:33 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 01:02:54 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-08-12 01:05:26 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
2023-08-12 01:07:21 +0200mauke_(~mauke@user/mauke)
2023-08-12 01:07:34 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds)
2023-08-12 01:08:52 +0200mauke(~mauke@user/mauke) (Ping timeout: 250 seconds)
2023-08-12 01:08:52 +0200mauke_mauke
2023-08-12 01:09:34 +0200 <justsomeguy> @src seq
2023-08-12 01:09:34 +0200 <lambdabot> Source not found. You untyped fool!
2023-08-12 01:11:47 +0200 <geekosaur> seq is a compiler intrinsic
2023-08-12 01:12:23 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 01:12:23 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 01:12:23 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 01:12:32 +0200 <geekosaur> someone the other day claimed it could be implemented with GHC2021, but iirc the problem with such implementations is they try to apply lambdas whereas WHNF of a lambda is defined to be itself
2023-08-12 01:13:11 +0200She(haveident@libera/staff/she/her)
2023-08-12 01:13:40 +0200 <justsomeguy> I see that in GHC.Prim seq is defined as seq = seq lol
2023-08-12 01:14:06 +0200 <geekosaur> GHC.Prim is magic
2023-08-12 01:14:27 +0200 <geekosaur> everything is defined as itself; the module exists only for documentation and infotable generation
2023-08-12 01:16:39 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2023-08-12 01:18:17 +0200[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-08-12 01:20:02 +0200Square(~Square@user/square)
2023-08-12 01:20:09 +0200danza__(~francesco@151.44.191.133) (Read error: Connection reset by peer)
2023-08-12 01:20:27 +0200danza__(~francesco@151.44.199.128)
2023-08-12 01:20:39 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds)
2023-08-12 01:22:17 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-08-12 01:27:08 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds)
2023-08-12 01:30:23 +0200monochromprefers automatic execution of frauds and scams.
2023-08-12 01:33:04 +0200 <monochrom> Yeah the source code "seq = seq" and others (e.g., "lazy = lazy") are placeholders just to make haddock happy. GHC will ignore and replace them.
2023-08-12 01:33:25 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2023-08-12 01:34:03 +0200 <monochrom> The only way I can think of implementing seq in GHC2021 is the anti-climatic bang pattern. Which isn't an enlightening answer.
2023-08-12 01:35:03 +0200 <monochrom> Most of the time "how to code this up" carries with it "how to explain it in more elementary terms".
2023-08-12 01:36:55 +0200 <int-e> . o O ( a `seq` b = case a of _ -> b -- but at the core level where `case` always forces the scrutinee. That doesn't really exaplain anything. )
2023-08-12 01:38:16 +0200 <int-e> For data type values you could do a `seq` b = case a of Con1{} -> b; _ -> b, where Con1 is one of the constructors...
2023-08-12 01:38:46 +0200 <int-e> ...then there's newtypes to consider and finally abstractions for which I don't think you can accurately match the semantics.
2023-08-12 01:39:43 +0200 <int-e> > let x a = a `seq` id in x undefined `seq` ()
2023-08-12 01:39:45 +0200 <lambdabot> *Exception: Prelude.undefined
2023-08-12 01:42:54 +0200 <int-e> > const undefined `seq` ()
2023-08-12 01:42:56 +0200 <lambdabot> ()
2023-08-12 01:52:43 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-08-12 01:55:34 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2023-08-12 01:57:10 +0200cptaffe(~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds)
2023-08-12 01:57:38 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 01:57:39 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 01:57:39 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 02:04:38 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds)
2023-08-12 02:04:38 +0200bramhaag(~bramhaag@134.195.121.39) (Ping timeout: 256 seconds)
2023-08-12 02:04:45 +0200finnekit(~finnekit@fsf/member/finnekit) (Ping timeout: 246 seconds)
2023-08-12 02:07:47 +0200ulysses4ever(~artem@50.216.106.10)
2023-08-12 02:08:41 +0200artem(~artem@50.216.106.10)
2023-08-12 02:08:41 +0200ulysses4ever(~artem@50.216.106.10) (Read error: Connection reset by peer)
2023-08-12 02:09:11 +0200johnw(~johnw@69.62.242.138)
2023-08-12 02:09:17 +0200dibblego(~dibblego@116.255.1.151)
2023-08-12 02:09:17 +0200dibblego(~dibblego@116.255.1.151) (Changing host)
2023-08-12 02:09:17 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 02:15:01 +0200artem(~artem@50.216.106.10) (Ping timeout: 245 seconds)
2023-08-12 02:16:38 +0200danza__(~francesco@151.44.199.128) (Remote host closed the connection)
2023-08-12 02:17:21 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net) (Read error: Connection reset by peer)
2023-08-12 02:17:42 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net)
2023-08-12 02:23:32 +0200ulysses4ever(~artem@38.42.227.237)
2023-08-12 02:33:35 +0200Inst(~Inst@2601:6c4:4081:2fc0:51a9:a3c:4a67:94b4)
2023-08-12 02:33:57 +0200Inst(~Inst@2601:6c4:4081:2fc0:51a9:a3c:4a67:94b4) (Read error: Connection reset by peer)
2023-08-12 02:34:19 +0200Inst(~Inst@2601:6c4:4081:2fc0:51a9:a3c:4a67:94b4)
2023-08-12 02:35:14 +0200 <Inst> freaking NixOS
2023-08-12 02:35:34 +0200 <Inst> couldn't get it to install wireless drivers, then it wouldn't install its bootloader
2023-08-12 02:36:41 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
2023-08-12 02:37:15 +0200bramhaag(~bramhaag@134.195.121.39)
2023-08-12 02:38:00 +0200finnekit(~finnekit@fsf/member/finnekit)
2023-08-12 02:42:45 +0200dibblego(~dibblego@116.255.1.151)
2023-08-12 02:42:45 +0200dibblego(~dibblego@116.255.1.151) (Changing host)
2023-08-12 02:42:45 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 02:46:16 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds)
2023-08-12 02:49:46 +0200shapr(~user@2600:1700:c640:3100:a70d:d5ca:f9aa:e130) (Remote host closed the connection)
2023-08-12 02:49:54 +0200Inst(~Inst@2601:6c4:4081:2fc0:51a9:a3c:4a67:94b4) (Read error: Connection reset by peer)
2023-08-12 02:50:00 +0200shapr(~user@2600:1700:c640:3100:8042:4ae1:71c4:5035)
2023-08-12 02:51:31 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-08-12 02:52:31 +0200 <justsomeguy> Honestly that's why I'm not using NixOS right now -- there are some things I just don't want to configure. (Mostly things related to power management, video card setup, or DE setup.) What I ended up doing was installing Silverblue and Nix on top.
2023-08-12 02:56:37 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 02:56:38 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 02:56:38 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 02:58:20 +0200misterfish(~misterfis@87.215.131.102) (Ping timeout: 248 seconds)
2023-08-12 03:09:46 +0200_________(~nobody@user/noodly) (Ping timeout: 252 seconds)
2023-08-12 03:10:34 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-08-12 03:11:29 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-08-12 03:11:29 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-08-12 03:11:29 +0200wroathe(~wroathe@user/wroathe)
2023-08-12 03:16:41 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-08-12 03:19:26 +0200pavonia(~user@user/siracusa)
2023-08-12 03:21:39 +0200_________(~nobody@user/noodly)
2023-08-12 03:24:13 +0200wennefer0(~wennefer0@c-73-167-167-169.hsd1.ma.comcast.net)
2023-08-12 03:24:33 +0200wennefer0(~wennefer0@c-73-167-167-169.hsd1.ma.comcast.net) (Remote host closed the connection)
2023-08-12 03:27:08 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds)
2023-08-12 03:27:19 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-08-12 03:31:08 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 03:31:09 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 03:31:09 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 03:44:35 +0200bilegeek(~bilegeek@2600:1008:b041:e030:c94f:eabc:2a3:9fda)
2023-08-12 03:47:46 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds)
2023-08-12 03:48:52 +0200mmhat(~mmh@p200300f1c7042764ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.2)
2023-08-12 03:53:17 +0200elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 245 seconds)
2023-08-12 03:53:57 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 03:53:57 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 03:53:57 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 03:55:26 +0200son0p(~ff@181.32.134.99)
2023-08-12 03:59:40 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds)
2023-08-12 04:02:20 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds)
2023-08-12 04:06:26 +0200califax_(~califax@user/califx)
2023-08-12 04:06:38 +0200califax(~califax@user/califx) (Ping timeout: 240 seconds)
2023-08-12 04:07:44 +0200califax_califax
2023-08-12 04:13:02 +0200jinsl(~jinsl@2408:8207:2550:b730:211:32ff:fec8:6aea) (Quit: ZNC - https://znc.in)
2023-08-12 04:15:27 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-08-12 04:17:49 +0200jinsl(~jinsl@2408:8207:2550:b730:211:32ff:fec8:6aea)
2023-08-12 04:21:51 +0200captnemo(~captnemo@193.32.127.239) (Quit: WeeChat 4.0.2)
2023-08-12 04:22:39 +0200stef204(~stef204@user/stef204) (Ping timeout: 246 seconds)
2023-08-12 04:25:16 +0200NewtonTrendy(uid282092@user/bopqod) (Quit: Connection closed for inactivity)
2023-08-12 04:29:08 +0200td_(~td@i53870906.versanet.de) (Ping timeout: 256 seconds)
2023-08-12 04:30:48 +0200td_(~td@i53870938.versanet.de)
2023-08-12 04:34:11 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2023-08-12 04:35:39 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-08-12 04:36:34 +0200jinsl(~jinsl@2408:8207:2550:b730:211:32ff:fec8:6aea) (Quit: ZNC - https://znc.in)
2023-08-12 04:37:22 +0200jinsl(~jinsl@2408:8207:2550:b730:211:32ff:fec8:6aea)
2023-08-12 04:37:32 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 04:37:33 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 04:37:33 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 04:38:18 +0200Inst(~liamzy@2601:6c4:4081:2fc0:df2f:6bb1:803b:50eb)
2023-08-12 04:38:21 +0200 <Inst> every day, a new horror
2023-08-12 04:38:32 +0200 <Inst> so I have nix installed and it's a great Linux distro
2023-08-12 04:38:40 +0200 <Inst> nixos
2023-08-12 04:38:56 +0200 <Inst> but I can't install GHCup, and what's more, I've been messing around with IHP, and I found out that IHP is a whole Haskell toolchain
2023-08-12 04:39:05 +0200 <Inst> so now we have roughly Nix vs GHCup vs IHP
2023-08-12 04:39:08 +0200 <Inst> this is an utter mess
2023-08-12 04:42:10 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
2023-08-12 04:42:30 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2023-08-12 04:42:39 +0200 <nyc> I need to learn ghcup & nix.
2023-08-12 04:43:25 +0200nick4(~nick@2600:100d:b161:18da:a884:88d3:a7df:b6bf)
2023-08-12 04:45:00 +0200phma(phma@2001:5b0:210f:78:f62c:b1a1:2992:8d3d) (Read error: Connection reset by peer)
2023-08-12 04:45:26 +0200phma(phma@2001:5b0:210f:78:6eb4:4ef0:7d1d:300f)
2023-08-12 04:45:28 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::)
2023-08-12 04:46:41 +0200 <dmj`> Inst: why use ghcup if you're on nixos
2023-08-12 04:47:01 +0200 <dmj`> Inst: you already have access to a slew of GHCs from nix, prebuilt
2023-08-12 04:49:55 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 04:49:55 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 04:49:55 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 04:50:36 +0200 <Inst> dmj`: I'm used to GHCup toolchain management
2023-08-12 04:50:42 +0200 <Inst> it's intuitive and I know it
2023-08-12 04:51:06 +0200 <Inst> "nix-env -i pacman"
2023-08-12 04:54:38 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
2023-08-12 04:55:17 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-08-12 04:55:17 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-08-12 04:55:17 +0200finn_elijaFinnElija
2023-08-12 04:58:02 +0200jobhdez(~jobhdez@2601:601:d00:f30::c0ac) (Ping timeout: 246 seconds)
2023-08-12 04:59:18 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 04:59:18 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 04:59:19 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 04:59:48 +0200sm(~sm@plaintextaccounting/sm)
2023-08-12 05:00:37 +0200sm(~sm@plaintextaccounting/sm) (Client Quit)
2023-08-12 05:00:48 +0200Alex_test(~al_test@178.34.161.177) (Ping timeout: 246 seconds)
2023-08-12 05:01:06 +0200AlexNoo_(~AlexNoo@178.34.161.177)
2023-08-12 05:02:04 +0200AlexZenon(~alzenon@178.34.161.177) (Ping timeout: 246 seconds)
2023-08-12 05:03:08 +0200AlexNoo(~AlexNoo@178.34.161.177) (Ping timeout: 256 seconds)
2023-08-12 05:03:19 +0200 <EvanR> I'm curious why ghcup "doesn't work"
2023-08-12 05:04:05 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-08-12 05:04:42 +0200 <Inst> do you use NixOS, EvanR?
2023-08-12 05:05:06 +0200 <Inst> afaic, maerwald is a hero, it's unreasonable to expect him to build a GHCup fork for NixOS
2023-08-12 05:05:10 +0200razetime(~quassel@117.254.36.241)
2023-08-12 05:07:43 +0200AlexZenon(~alzenon@178.34.161.177)
2023-08-12 05:08:59 +0200dibblego(~dibblego@116.255.1.151)
2023-08-12 05:08:59 +0200dibblego(~dibblego@116.255.1.151) (Changing host)
2023-08-12 05:08:59 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 05:08:59 +0200ddellacosta(~ddellacos@146.70.171.233) (Ping timeout: 246 seconds)
2023-08-12 05:10:24 +0200 <monochrom> If "nix vs ghcup vs ihp" is a mess, then what is "ubuntu vs debian vs fedora vs centos vs actually paid redhat vs mint vs gentoo vs arch vs ... 20 more distros"? And what is "freebsd vs openbsd vs netbsd"?
2023-08-12 05:11:01 +0200Alex_test(~al_test@178.34.161.177)
2023-08-12 05:11:06 +0200ddellacosta(~ddellacos@143.244.47.100)
2023-08-12 05:13:33 +0200 <monochrom> People have freedom. So people actually use that freedom. This is not supposed to be surprising.
2023-08-12 05:13:59 +0200 <monochrom> There are countries that ban such freedom. They don't actually have less of a mess.
2023-08-12 05:14:52 +0200 <Inst> monochrom: linux never took over on desktop
2023-08-12 05:14:53 +0200 <monochrom> s/ban/try to ban/ # this is why
2023-08-12 05:15:51 +0200 <Inst> i don't think linux ever really wanted to take over on desktop, other than a few overly fervant FOSS advocates
2023-08-12 05:16:06 +0200 <monochrom> Windows look like unified but look closer and actually use it without Stockholm syndrome. Its software update story is a mess compared to any chosen linux distro.
2023-08-12 05:16:29 +0200 <Inst> it's questions of scale
2023-08-12 05:16:33 +0200 <monochrom> Because on Windows every app needs its own updater.
2023-08-12 05:16:34 +0200 <Inst> it's scale vs fragmentation
2023-08-12 05:16:52 +0200 <Inst> and every app using its own updater is a mess for the developers, but not for the end user
2023-08-12 05:16:58 +0200aforemny_(~aforemny@i59F516D9.versanet.de)
2023-08-12 05:17:02 +0200aforemny(~aforemny@i59F516C7.versanet.de) (Ping timeout: 245 seconds)
2023-08-12 05:17:05 +0200 <Inst> IHP I've really been appreciative and supportive of
2023-08-12 05:17:11 +0200elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru)
2023-08-12 05:17:12 +0200 <Inst> because of its attempt to make Haskell easier and accessible
2023-08-12 05:17:16 +0200 <monochrom> I am an end user and it is a mess for me.
2023-08-12 05:17:47 +0200 <Inst> tbh i tend to use very few apps so the update story isn't that big of a mess for me
2023-08-12 05:18:06 +0200 <Inst> but now that I found out that IHP is essentially yet another build system, and one that locks you into their ecosystem, I'm less appreciative
2023-08-12 05:18:31 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2023-08-12 05:19:47 +0200 <monochrom> The biggest mess being the whole stupid idea that I am not notified of updates when I have nothing else to do. Quite the opposite, I am notified of an update distractingly when I actually need to use the app and in a rush.
2023-08-12 05:20:29 +0200shapr(~user@2600:1700:c640:3100:8042:4ae1:71c4:5035) (Remote host closed the connection)
2023-08-12 05:20:42 +0200shapr(~user@2600:1700:c640:3100:7b6b:551c:20d8:2505)
2023-08-12 05:20:45 +0200 <monochrom> Compare to any linux distro where it is not only unified but most importantly it is trivial to pick your daily convenient time so it doesn't get into the way of real work.
2023-08-12 05:21:27 +0200jero98772(~jero98772@2800:484:1d84:300::3) (Ping timeout: 260 seconds)
2023-08-12 05:21:51 +0200dolio(~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in)
2023-08-12 05:25:28 +0200dolio(~dolio@130.44.134.54)
2023-08-12 05:25:54 +0200 <monochrom> The general overarching principle is that if you try to ban freedom then you're saying "one size fits all" which just means the same mess in a different disguise.
2023-08-12 05:26:04 +0200dolio(~dolio@130.44.134.54) (Client Quit)
2023-08-12 05:27:34 +0200 <Inst> EvanR: maerwald supposedly said he doesn't want to compete with Nix's native ecosystem of Haskell toolchain management and build tools
2023-08-12 05:27:58 +0200 <Inst> I'd love it if he went to NixOS, but as I understand it, he's busy, and there are bigger priorities for GHCup, if NixOS support were even considered at all
2023-08-12 05:28:46 +0200 <EvanR> so what doesn't work
2023-08-12 05:29:46 +0200 <monochrom> If you're on NixOS then you can simply use nix, no? "Use ghcup on NixOS" sounds to me like "Use rpm on Windows". Am I wrong?
2023-08-12 05:30:49 +0200phma(phma@2001:5b0:210f:78:6eb4:4ef0:7d1d:300f) (Read error: Connection reset by peer)
2023-08-12 05:30:52 +0200 <int-e> monochrom: more like using rpm on Debian, if rpm allowed user-local installations
2023-08-12 05:31:13 +0200phma(~phma@host-67-44-208-159.hnremote.net)
2023-08-12 05:31:44 +0200 <Inst> EvanR: well, I'll try to get it working, completely unused to NixOS
2023-08-12 05:32:27 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 245 seconds)
2023-08-12 05:32:48 +0200 <monochrom> Then again I was just speaking of freedom 5 minutes ago, so meh.
2023-08-12 05:33:06 +0200 <Inst> https://paste.tomsmeding.com/vc7QBgQg
2023-08-12 05:33:28 +0200 <Inst> i guess you emigrated from your home city for ideological reasons?
2023-08-12 05:33:40 +0200dolio(~dolio@130.44.134.54)
2023-08-12 05:39:38 +0200 <int-e> well this sounds fun: https://github.com/NixOS/nix/issues/6148 (same symptom, no bets on the cause being the same)
2023-08-12 05:40:37 +0200 <int-e> . o O ( You're still in dependency hell but this time it's fractal. )
2023-08-12 05:40:44 +0200billchenchina-(~billchenc@103.152.35.21) (Remote host closed the connection)
2023-08-12 05:45:42 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-08-12 05:45:42 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-08-12 05:45:42 +0200wroathe(~wroathe@user/wroathe)
2023-08-12 05:57:49 +0200 <hololeap> I've got people bugging me to get ghcup on gentoo, and I don't really understand why
2023-08-12 05:58:09 +0200 <hololeap> they want to compile ghcup from source, to download a binary ghc?
2023-08-12 05:58:39 +0200 <Inst> doesn't ghcup compile from source anyways?
2023-08-12 05:59:08 +0200 <hololeap> does it? I haven't actually used it except to just see what the interface looks like
2023-08-12 06:02:19 +0200 <hololeap> I understand why people would want ghcup on gentoo since we don't support more than one version of GHC installed at a time, but I don't understand why they would want to go that route instead of just downloading ghcup from haskell.org
2023-08-12 06:02:54 +0200[_](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-08-12 06:06:41 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 245 seconds)
2023-08-12 06:09:13 +0200 <EvanR> I thought ghcup was a shell script
2023-08-12 06:09:47 +0200 <EvanR> not that I would disagree with compiling a shells cript
2023-08-12 06:09:53 +0200razetime(~quassel@117.254.36.241) (Ping timeout: 246 seconds)
2023-08-12 06:10:39 +0200 <Inst> hololeap; it'd be funny if the official ghcup distro on 90% of package managers were simply: "load the shell script from remote"
2023-08-12 06:11:43 +0200 <hololeap> EvanR: no it's a full blown haskell program. i'm looking at it and there's a bunch of dependencies
2023-08-12 06:12:26 +0200 <hololeap> @hackage ghcup
2023-08-12 06:12:26 +0200 <lambdabot> https://hackage.haskell.org/package/ghcup
2023-08-12 06:12:56 +0200 <EvanR> oh. mad respect
2023-08-12 06:13:00 +0200elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 248 seconds)
2023-08-12 06:13:17 +0200libertyprime(~libertypr@203.96.203.44)
2023-08-12 06:13:39 +0200libertyprime(~libertypr@203.96.203.44) (Client Quit)
2023-08-12 06:16:00 +0200codaraxis__(~codaraxis@user/codaraxis) (Quit: Leaving)
2023-08-12 06:20:25 +0200swamp_(~zmt00@user/zmt00)
2023-08-12 06:22:10 +0200elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru)
2023-08-12 06:23:16 +0200zmt01(~zmt00@user/zmt00) (Ping timeout: 246 seconds)
2023-08-12 06:24:15 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-08-12 06:24:16 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-08-12 06:24:16 +0200wroathe(~wroathe@user/wroathe)
2023-08-12 06:37:00 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 248 seconds)
2023-08-12 06:37:48 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer)
2023-08-12 06:37:48 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer)
2023-08-12 06:38:05 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2023-08-12 06:38:22 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-08-12 06:39:50 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-08-12 06:46:15 +0200Inst(~liamzy@2601:6c4:4081:2fc0:df2f:6bb1:803b:50eb) (Remote host closed the connection)
2023-08-12 06:47:41 +0200gawen(~gawen@user/gawen) (Quit: cya)
2023-08-12 06:49:03 +0200gawen(~gawen@user/gawen)
2023-08-12 06:51:45 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2023-08-12 06:53:00 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2023-08-12 06:53:14 +0200ft(~ft@p3e9bcd02.dip0.t-ipconnect.de) (Quit: leaving)
2023-08-12 06:56:52 +0200razetime(~quassel@117.254.36.241)
2023-08-12 07:05:14 +0200aeroplane(~user@user/aeroplane)
2023-08-12 07:05:29 +0200 <dmj`> https://xkcd.com/927/
2023-08-12 07:05:57 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (*.net *.split)
2023-08-12 07:05:58 +0200chexum(~quassel@gateway/tor-sasl/chexum) (*.net *.split)
2023-08-12 07:05:58 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (*.net *.split)
2023-08-12 07:05:58 +0200califax(~califax@user/califx) (*.net *.split)
2023-08-12 07:05:58 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (*.net *.split)
2023-08-12 07:05:58 +0200ec(~ec@gateway/tor-sasl/ec) (*.net *.split)
2023-08-12 07:05:58 +0200azimut(~azimut@gateway/tor-sasl/azimut) (*.net *.split)
2023-08-12 07:05:58 +0200chiselfuse(~chiselfus@user/chiselfuse) (*.net *.split)
2023-08-12 07:05:58 +0200jpds(~jpds@gateway/tor-sasl/jpds) (*.net *.split)
2023-08-12 07:05:58 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan) (*.net *.split)
2023-08-12 07:07:20 +0200califax(~califax@user/califx)
2023-08-12 07:07:25 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2023-08-12 07:07:31 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2023-08-12 07:07:32 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-08-12 07:07:33 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2023-08-12 07:07:55 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-08-12 07:07:58 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-08-12 07:08:06 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-08-12 07:08:22 +0200ec(~ec@gateway/tor-sasl/ec)
2023-08-12 07:11:36 +0200chiselfuse(~chiselfus@user/chiselfuse)
2023-08-12 07:16:28 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-08-12 07:16:40 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2023-08-12 07:17:32 +0200razetime(~quassel@117.254.36.241) (Ping timeout: 248 seconds)
2023-08-12 07:23:16 +0200tabaqui(~root@88.238.15.186) (Ping timeout: 250 seconds)
2023-08-12 07:37:38 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-08-12 07:42:03 +0200 <monochrom> ghcup started as a shell script. After a few versions' growth, shell script could no longer handle the complexity.
2023-08-12 07:42:46 +0200 <monochrom> ghcup can both download binaries or download source and build. Upon your command.
2023-08-12 07:43:55 +0200 <mauke> yeah, sadly shell scripts are not turing complete
2023-08-12 07:51:26 +0200razetime(~quassel@117.254.36.241)
2023-08-12 07:58:05 +0200shapr(~user@2600:1700:c640:3100:7b6b:551c:20d8:2505) (Ping timeout: 248 seconds)
2023-08-12 07:58:09 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-08-12 08:08:41 +0200bilegeek(~bilegeek@2600:1008:b041:e030:c94f:eabc:2a3:9fda) (Quit: Leaving)
2023-08-12 08:10:23 +0200echoreply(~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
2023-08-12 08:11:45 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2023-08-12 08:13:15 +0200kraftwerk28(~kraftwerk@164.92.219.160) (Read error: Connection reset by peer)
2023-08-12 08:14:03 +0200Alleria(~JohnGalt@user/alleria)
2023-08-12 08:18:25 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-08-12 08:21:49 +0200esph(~weechat@user/esph)
2023-08-12 08:21:53 +0200trev(~trev@user/trev)
2023-08-12 08:23:36 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 08:23:37 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 08:23:37 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 08:25:21 +0200trev(~trev@user/trev) (Client Quit)
2023-08-12 08:25:36 +0200Alleria(~JohnGalt@user/alleria) (Quit: Textual IRC Client: www.textualapp.com)
2023-08-12 08:26:12 +0200kraftwerk28(~kraftwerk@164.92.219.160)
2023-08-12 08:27:00 +0200trev(~trev@user/trev)
2023-08-12 08:27:26 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-08-12 08:29:04 +0200titibandit(~titibandi@user/titibandit)
2023-08-12 08:31:20 +0200trev(~trev@user/trev) (Ping timeout: 252 seconds)
2023-08-12 08:40:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-12 08:41:52 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds)
2023-08-12 08:45:59 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 08:46:00 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 08:46:00 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 08:50:52 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds)
2023-08-12 08:54:31 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 08:54:32 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 08:54:32 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 09:01:42 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds)
2023-08-12 09:06:13 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 09:06:14 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 09:06:14 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 09:08:21 +0200fendor(~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3)
2023-08-12 09:12:01 +0200barzo(~hd@31.223.42.111)
2023-08-12 09:12:33 +0200barzo(~hd@31.223.42.111) ()
2023-08-12 09:21:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-12 09:26:40 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-08-12 09:34:30 +0200talismanick(~user@2601:204:ef80:2980::c39)
2023-08-12 09:37:28 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-08-12 09:39:00 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-12 09:45:48 +0200Pickchea(~private@user/pickchea)
2023-08-12 09:50:45 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-08-12 09:51:57 +0200mmhat(~mmh@p200300f1c7042764ee086bfffe095315.dip0.t-ipconnect.de)
2023-08-12 09:52:13 +0200mmhat(~mmh@p200300f1c7042764ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
2023-08-12 09:54:32 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 245 seconds)
2023-08-12 10:00:39 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com)
2023-08-12 10:05:55 +0200razetime(~quassel@117.254.36.241) (Ping timeout: 240 seconds)
2023-08-12 10:09:24 +0200sm(~sm@plaintextaccounting/sm)
2023-08-12 10:10:49 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-08-12 10:15:06 +0200dunj3(~dunj3@kingdread.de) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in)
2023-08-12 10:23:39 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds)
2023-08-12 10:23:56 +0200jobhdez(~jobhdez@2601:601:d00:f30::c0ac)
2023-08-12 10:24:12 +0200razetime(~quassel@117.254.36.241)
2023-08-12 10:25:49 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds)
2023-08-12 10:25:50 +0200manmshuk(~manmshuk@2401:4900:803f:3acd:e67b:c92b:94c:f9a8)
2023-08-12 10:26:00 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-12 10:30:12 +0200manmshuk(~manmshuk@2401:4900:803f:3acd:e67b:c92b:94c:f9a8) (Remote host closed the connection)
2023-08-12 10:31:06 +0200dunj3(~dunj3@kingdread.de)
2023-08-12 10:31:08 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 10:39:20 +0200gmg(~user@user/gehmehgeh)
2023-08-12 10:50:41 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-08-12 10:54:44 +0200jobhdez(~jobhdez@2601:601:d00:f30::c0ac) (Quit: Client closed)
2023-08-12 10:55:13 +0200jobhdez(~jobhdez@2601:601:d00:f30::c0ac)
2023-08-12 10:57:45 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-08-12 11:01:20 +0200jobhdez(~jobhdez@2601:601:d00:f30::c0ac) (Quit: Client closed)
2023-08-12 11:02:33 +0200tv(~tv@user/tv)
2023-08-12 11:03:45 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-08-12 11:04:12 +0200razetime(~quassel@117.254.36.241) (Ping timeout: 248 seconds)
2023-08-12 11:05:30 +0200titibandit(~titibandi@user/titibandit)
2023-08-12 11:06:14 +0200AlexNoo_AlexNoo
2023-08-12 11:08:18 +0200razetime(~quassel@117.254.36.226)
2023-08-12 11:14:42 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2023-08-12 11:16:22 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-08-12 11:21:37 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-08-12 11:22:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-12 11:28:18 +0200Lycurgus(~juan@user/Lycurgus)
2023-08-12 11:28:52 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-12 11:29:34 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-08-12 11:33:05 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Tschüss)
2023-08-12 11:45:32 +0200razetime(~quassel@117.254.36.226) (Ping timeout: 246 seconds)
2023-08-12 11:49:14 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-08-12 11:51:09 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2023-08-12 11:52:38 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-08-12 12:00:43 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2023-08-12 12:00:53 +0200bontaq(~user@ool-45779b84.dyn.optonline.net)
2023-08-12 12:04:17 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-08-12 12:04:52 +0200raym(~ray@user/raym) (Quit: leaving)
2023-08-12 12:07:08 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds)
2023-08-12 12:08:43 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2023-08-12 12:12:11 +0200razetime(~quassel@117.254.36.170)
2023-08-12 12:23:41 +0200razetime(~quassel@117.254.36.170) (Remote host closed the connection)
2023-08-12 12:32:46 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-08-12 12:40:53 +0200fendor(~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection)
2023-08-12 12:47:25 +0200vglfr(~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 240 seconds)
2023-08-12 12:48:04 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:a8a1:f4dc:60c8:8859)
2023-08-12 12:51:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-12 13:00:53 +0200alexherbo2(~alexherbo@2a02-8440-2141-a692-0cf2-db21-7cc6-22ab.rev.sfr.net)
2023-08-12 13:04:30 +0200ripspin(~chatzilla@1.145.152.83)
2023-08-12 13:08:59 +0200haasn-(~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2023-08-12 13:09:21 +0200haasn`(~nand@haasn.dev)
2023-08-12 13:12:40 +0200razetime(~quassel@117.254.36.170)
2023-08-12 13:14:41 +0200alexherbo2(~alexherbo@2a02-8440-2141-a692-0cf2-db21-7cc6-22ab.rev.sfr.net) (Ping timeout: 246 seconds)
2023-08-12 13:23:16 +0200vglfr(~vglfr@2a0d:3344:148d:7a00:a8a1:f4dc:60c8:8859) (Ping timeout: 260 seconds)
2023-08-12 13:23:51 +0200vglfr(~vglfr@cli-188-239-201-89.bbn.slav.dn.ua)
2023-08-12 13:27:34 +0200michalz(~michalz@185.246.207.203)
2023-08-12 13:35:00 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-12 13:36:20 +0200michalz(~michalz@185.246.207.203) (Remote host closed the connection)
2023-08-12 13:37:29 +0200 <[exa]> is there any research/recommendations on efficiently embedding haskell-ish code in other languages? In this particular case I'd love to express a Core-like language in something preferably even more stupid than s-expressions, think M4, C preprocessor, and lower, in a form that can still be somehow easily processed to even lower level code (STG-like)
2023-08-12 13:37:42 +0200 <[exa]> s/haskell-ish/fuctional/
2023-08-12 13:39:08 +0200 <Rembane> [exa]: Is this the right direction? https://www.call-cc.org/
2023-08-12 13:39:37 +0200 <[exa]> very similar direction indeed :]
2023-08-12 13:39:59 +0200 <Rembane> Sweet! :)
2023-08-12 13:41:51 +0200anpad(~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in)
2023-08-12 13:44:21 +0200anpad(~pandeyan@user/anpad)
2023-08-12 13:44:43 +0200 <[exa]> but yeah I was searching more like for a language tool that would be even below scheme
2023-08-12 13:45:16 +0200 <[exa]> some niche between having to really parse the s-expressions and absolute forth madness
2023-08-12 14:01:42 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-08-12 14:08:32 +0200rachelambda(~rachelamb@78-67-128-99-no247.tbcn.telia.com) (Ping timeout: 240 seconds)
2023-08-12 14:11:17 +0200Alleria(~JohnGalt@user/alleria)
2023-08-12 14:12:42 +0200 <probie> Does anyone know who kindaro on the Haskell discourse is?
2023-08-12 14:18:42 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
2023-08-12 14:18:42 +0200ph88(~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2023-08-12 14:19:27 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 14:19:27 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 14:19:27 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 14:19:45 +0200titibandit(~titibandi@user/titibandit)
2023-08-12 14:22:55 +0200ph88(~ph88@ip5b403cd4.dynamic.kabel-deutschland.de)
2023-08-12 14:25:16 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 248 seconds)
2023-08-12 14:28:44 +0200ddellacosta(~ddellacos@143.244.47.71)
2023-08-12 14:31:30 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-08-12 14:31:45 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 245 seconds)
2023-08-12 14:41:44 +0200razetime(~quassel@117.254.36.170) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-08-12 14:44:18 +0200 <probie> Or alternatively, do any of the admins of the discourse hangout here?
2023-08-12 14:46:18 +0200tvandinther(~tvandinth@c127079.upc-c.chello.nl)
2023-08-12 14:48:32 +0200 <Hecate> probie: you should make a report on Discourse if you want the admins to see it
2023-08-12 14:48:48 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-12 14:51:18 +0200sm(~sm@plaintextaccounting/sm)
2023-08-12 14:52:18 +0200nick4(~nick@2600:100d:b161:18da:a884:88d3:a7df:b6bf) (Ping timeout: 246 seconds)
2023-08-12 14:52:41 +0200 <tvandinther> How can I see the output of Debug.trace when running `stack test` ?
2023-08-12 14:53:04 +0200aeroplane(~user@user/aeroplane) (Read error: Connection reset by peer)
2023-08-12 14:53:58 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-12 14:56:31 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-12 15:00:12 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-08-12 15:00:37 +0200mima(~mmh@net-2-38-204-25.cust.vodafonedsl.it)
2023-08-12 15:11:43 +0200 <Hecate> tvandinther: I believe you have to tell stack not to eat the stdout
2023-08-12 15:11:57 +0200 <Hecate> there is a cabal test option for this but I am not sure about stack
2023-08-12 15:12:44 +0200dsrt^(~cd@c-66-56-7-24.hsd1.ga.comcast.net) (Ping timeout: 248 seconds)
2023-08-12 15:13:15 +0200nick4(~nick@12.106.116.10)
2023-08-12 15:17:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-12 15:17:46 +0200sm(~sm@plaintextaccounting/sm)
2023-08-12 15:18:41 +0200Pickchea(~private@user/pickchea)
2023-08-12 15:18:44 +0200sm(~sm@plaintextaccounting/sm) (Client Quit)
2023-08-12 15:19:10 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-08-12 15:19:21 +0200mima(~mmh@net-2-38-204-25.cust.vodafonedsl.it) (Ping timeout: 260 seconds)
2023-08-12 15:21:13 +0200fendor(~fendor@2a02:8388:1640:be00:c73f:4c9a:e162:7d18)
2023-08-12 15:25:38 +0200fendor(~fendor@2a02:8388:1640:be00:c73f:4c9a:e162:7d18) (Read error: Connection reset by peer)
2023-08-12 15:26:45 +0200fendor(~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3)
2023-08-12 15:29:53 +0200hammond(proscan@user/hammond2) (Ping timeout: 246 seconds)
2023-08-12 15:32:18 +0200jabuxas(~jabuxas@user/jabuxas)
2023-08-12 15:42:39 +0200mima(~mmh@net-2-38-204-25.cust.vodafonedsl.it)
2023-08-12 15:45:00 +0200Alleria(~JohnGalt@user/alleria) (Quit: Textual IRC Client: www.textualapp.com)
2023-08-12 15:50:16 +0200mima(~mmh@net-2-38-204-25.cust.vodafonedsl.it) (Ping timeout: 246 seconds)
2023-08-12 15:53:35 +0200ph88(~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2023-08-12 15:53:58 +0200ph88(~ph88@ip5b403cd4.dynamic.kabel-deutschland.de)
2023-08-12 15:54:45 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2023-08-12 16:04:34 +0200hgolden(~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection)
2023-08-12 16:06:37 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds)
2023-08-12 16:06:52 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-08-12 16:09:25 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-08-12 16:12:41 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection)
2023-08-12 16:12:57 +0200phma(~phma@host-67-44-208-159.hnremote.net) (Read error: Connection reset by peer)
2023-08-12 16:13:24 +0200phma(phma@2001:5b0:210f:78:fdd7:87cc:8238:cd58)
2023-08-12 16:15:05 +0200raym(~ray@user/raym)
2023-08-12 16:16:43 +0200alexherbo2(~alexherbo@58.196.204.77.rev.sfr.net)
2023-08-12 16:17:31 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-08-12 16:17:41 +0200ripspin(~chatzilla@1.145.152.83) (Remote host closed the connection)
2023-08-12 16:35:58 +0200ft(~ft@87.122.8.54)
2023-08-12 16:44:21 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk)
2023-08-12 16:50:46 +0200Lycurgus(~juan@user/Lycurgus)
2023-08-12 16:50:57 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds)
2023-08-12 16:55:19 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-12 16:56:14 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 252 seconds)
2023-08-12 16:58:17 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2023-08-12 16:59:44 +0200Domitar(~Domitar@78-0-83-212.adsl.net.t-com.hr)
2023-08-12 17:00:32 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds)
2023-08-12 17:01:00 +0200Square(~Square@user/square) (Ping timeout: 248 seconds)
2023-08-12 17:05:55 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Tschüss)
2023-08-12 17:08:40 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:846:1fe1:eed8:5e0)
2023-08-12 17:10:54 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-12 17:11:37 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2023-08-12 17:12:01 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2023-08-12 17:12:47 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:846:1fe1:eed8:5e0) (Ping timeout: 246 seconds)
2023-08-12 17:13:36 +0200Domitar(~Domitar@78-0-83-212.adsl.net.t-com.hr) (Remote host closed the connection)
2023-08-12 17:21:16 +0200ddellacosta(~ddellacos@143.244.47.71) (Ping timeout: 248 seconds)
2023-08-12 17:29:39 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk)
2023-08-12 17:38:15 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-12 17:38:33 +0200vgtw(~vgtw@user/vgtw) (Ping timeout: 246 seconds)
2023-08-12 17:43:23 +0200Midjak(~Midjak@82.66.147.146)
2023-08-12 17:44:42 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds)
2023-08-12 17:48:44 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-08-12 17:49:08 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-12 17:53:48 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds)
2023-08-12 17:56:53 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-08-12 17:57:04 +0200hellowfacey(~hellowfac@host-176-36-27-88.b024.la.net.ua)
2023-08-12 17:57:08 +0200hellowfacey(~hellowfac@host-176-36-27-88.b024.la.net.ua) ()
2023-08-12 17:57:10 +0200hellowfacey(~hellowfac@host-176-36-27-88.b024.la.net.ua)
2023-08-12 17:57:14 +0200hellowfacey(~hellowfac@host-176-36-27-88.b024.la.net.ua) ()
2023-08-12 17:57:27 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-08-12 17:58:38 +0200hellowfacey(~hellowfac@host-176-36-27-88.b024.la.net.ua)
2023-08-12 17:58:40 +0200hellowfacey(~hellowfac@host-176-36-27-88.b024.la.net.ua) ()
2023-08-12 17:59:36 +0200hellowfacey(~hellowfac@host-176-36-27-88.b024.la.net.ua)
2023-08-12 17:59:40 +0200hellowfacey(~hellowfac@host-176-36-27-88.b024.la.net.ua) ()
2023-08-12 18:00:27 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2023-08-12 18:02:49 +0200tvandinther(~tvandinth@c127079.upc-c.chello.nl) (Quit: Client closed)
2023-08-12 18:05:34 +0200danza(~francesco@151.44.141.250)
2023-08-12 18:11:06 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds)
2023-08-12 18:12:00 +0200califax_(~califax@user/califx)
2023-08-12 18:12:18 +0200califax(~califax@user/califx) (Ping timeout: 246 seconds)
2023-08-12 18:13:18 +0200califax_califax
2023-08-12 18:16:25 +0200tomboy64(~tomboy64@user/tomboy64)
2023-08-12 18:23:23 +0200alexherbo2(~alexherbo@58.196.204.77.rev.sfr.net) (Ping timeout: 246 seconds)
2023-08-12 18:25:25 +0200jabuxas(~jabuxas@user/jabuxas) (Ping timeout: 240 seconds)
2023-08-12 18:26:26 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-08-12 18:35:42 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8)
2023-08-12 18:41:35 +0200hgolden(~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com)
2023-08-12 18:45:15 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 246 seconds)
2023-08-12 18:47:08 +0200califax(~califax@user/califx) (Remote host closed the connection)
2023-08-12 18:48:14 +0200califax(~califax@user/califx)
2023-08-12 18:51:20 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2023-08-12 18:52:38 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2023-08-12 18:53:16 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-08-12 19:00:26 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-12 19:05:25 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk)
2023-08-12 19:07:52 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
2023-08-12 19:08:49 +0200sm(~sm@plaintextaccounting/sm)
2023-08-12 19:09:03 +0200NewtonTrendy(uid282092@user/bopqod)
2023-08-12 19:09:26 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:846:1fe1:eed8:5e0)
2023-08-12 19:10:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-12 19:12:52 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 19:12:53 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 19:12:53 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 19:21:02 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2023-08-12 19:23:32 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Remote host closed the connection)
2023-08-12 19:23:55 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8)
2023-08-12 19:25:44 +0200shapr(~user@2600:1700:c640:3100:18af:f11a:f157:293b)
2023-08-12 19:26:38 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-12 19:26:41 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-08-12 19:29:34 +0200ulysses4ever(~artem@38.42.227.237) (Ping timeout: 256 seconds)
2023-08-12 19:32:37 +0200ulysses4ever(~artem@38.42.227.237)
2023-08-12 19:33:11 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-08-12 19:35:48 +0200alexherbo2(~alexherbo@2a02-8440-2140-6bbf-1808-2cb0-e6e3-c107.rev.sfr.net)
2023-08-12 19:37:48 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 248 seconds)
2023-08-12 19:38:18 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 252 seconds)
2023-08-12 19:40:32 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk)
2023-08-12 19:42:17 +0200ski(~ski@c83-248-72-178.bredband.tele2.se)
2023-08-12 19:51:55 +0200wroathe(~wroathe@50.205.197.50)
2023-08-12 19:51:55 +0200wroathe(~wroathe@50.205.197.50) (Changing host)
2023-08-12 19:51:55 +0200wroathe(~wroathe@user/wroathe)
2023-08-12 19:52:10 +0200wroathe(~wroathe@user/wroathe) (Client Quit)
2023-08-12 19:52:22 +0200wroathe(~wroathe@50.205.197.50)
2023-08-12 19:52:22 +0200wroathe(~wroathe@50.205.197.50) (Changing host)
2023-08-12 19:52:22 +0200wroathe(~wroathe@user/wroathe)
2023-08-12 20:01:36 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 250 seconds)
2023-08-12 20:01:36 +0200dsrt^(~cd@c-66-56-7-24.hsd1.ga.comcast.net)
2023-08-12 20:03:32 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2023-08-12 20:05:33 +0200rachelambda(~rachelamb@78-67-128-99-no247.tbcn.telia.com)
2023-08-12 20:06:59 +0200sm(~sm@plaintextaccounting/sm)
2023-08-12 20:07:09 +0200Guest18(~Guest18@102.212.148.20)
2023-08-12 20:14:54 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection)
2023-08-12 20:15:18 +0200billchenchina(~billchenc@103.152.35.21)
2023-08-12 20:16:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-12 20:17:22 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-12 20:22:12 +0200fendor(~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection)
2023-08-12 20:23:34 +0200driib(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2023-08-12 20:25:00 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-08-12 20:25:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-12 20:27:15 +0200vglfr(~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 246 seconds)
2023-08-12 20:35:14 +0200fendor(~fendor@2a02:8388:1640:be00:29b0:338b:3d5:8c39)
2023-08-12 20:36:33 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk)
2023-08-12 20:37:27 +0200fendor_(~fendor@2a02:8388:1640:be00:c73f:4c9a:e162:7d18)
2023-08-12 20:37:47 +0200Guest18(~Guest18@102.212.148.20) (Ping timeout: 246 seconds)
2023-08-12 20:38:58 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-08-12 20:40:47 +0200driib(~driib@vmi931078.contaboserver.net)
2023-08-12 20:41:16 +0200fendor(~fendor@2a02:8388:1640:be00:29b0:338b:3d5:8c39) (Ping timeout: 248 seconds)
2023-08-12 21:03:26 +0200ulysses4ever(~artem@38.42.227.237) (Ping timeout: 246 seconds)
2023-08-12 21:06:25 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-08-12 21:08:53 +0200billchenchina(~billchenc@103.152.35.21) (Quit: Leaving)
2023-08-12 21:10:52 +0200ulysses4ever(~artem@38.42.227.237)
2023-08-12 21:14:59 +0200ulysses4ever(~artem@38.42.227.237) (Ping timeout: 246 seconds)
2023-08-12 21:19:16 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Remote host closed the connection)
2023-08-12 21:20:44 +0200danza_(~francesco@151.57.202.242)
2023-08-12 21:22:07 +0200arthurvl(~arthurvl@77-174-49-144.fixed.kpn.net) (Quit: reboot)
2023-08-12 21:22:30 +0200ulysses4ever(~artem@38.42.227.237)
2023-08-12 21:23:07 +0200danza(~francesco@151.44.141.250) (Ping timeout: 246 seconds)
2023-08-12 21:23:25 +0200ski(~ski@c83-248-72-178.bredband.tele2.se) (Ping timeout: 245 seconds)
2023-08-12 21:24:10 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8)
2023-08-12 21:24:30 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2023-08-12 21:26:46 +0200sm(~sm@plaintextaccounting/sm)
2023-08-12 21:30:20 +0200wroathe(~wroathe@50.205.197.50)
2023-08-12 21:30:20 +0200wroathe(~wroathe@50.205.197.50) (Changing host)
2023-08-12 21:30:20 +0200wroathe(~wroathe@user/wroathe)
2023-08-12 21:30:41 +0200Lycurgus(~juan@user/Lycurgus)
2023-08-12 21:31:07 +0200michalz(~michalz@185.246.207.217)
2023-08-12 21:32:05 +0200alexherbo2(~alexherbo@2a02-8440-2140-6bbf-1808-2cb0-e6e3-c107.rev.sfr.net) (Remote host closed the connection)
2023-08-12 21:39:19 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-08-12 21:39:54 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-12 21:42:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-12 21:43:59 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving)
2023-08-12 21:55:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-12 21:58:48 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Tschüss)
2023-08-12 22:05:12 +0200gugu256(~gugu256@202.17.23.93.rev.sfr.net)
2023-08-12 22:06:45 +0200ursa-major(~ursa-majo@static-198-44-128-184.cust.tzulo.com) (Quit: WeeChat 4.0.2)
2023-08-12 22:08:04 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Remote host closed the connection)
2023-08-12 22:08:28 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8)
2023-08-12 22:10:42 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-08-12 22:11:27 +0200Fischmiep863(~Fischmiep@user/Fischmiep)
2023-08-12 22:13:06 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-08-12 22:13:52 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-12 22:13:56 +0200Fischmiep863(~Fischmiep@user/Fischmiep) (Client Quit)
2023-08-12 22:15:02 +0200hpc(~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 256 seconds)
2023-08-12 22:15:15 +0200hpc(~juzz@ip98-169-35-163.dc.dc.cox.net)
2023-08-12 22:21:08 +0200vglfr(~vglfr@cli-188-239-201-89.bbn.slav.dn.ua)
2023-08-12 22:23:42 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 245 seconds)
2023-08-12 22:24:43 +0200shapr(~user@2600:1700:c640:3100:18af:f11a:f157:293b) (Remote host closed the connection)
2023-08-12 22:24:57 +0200shapr(~user@2600:1700:c640:3100:4378:cb03:e826:e348)
2023-08-12 22:27:08 +0200pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2023-08-12 22:30:29 +0200pavonia(~user@user/siracusa)
2023-08-12 22:36:21 +0200Pickchea(~private@user/pickchea)
2023-08-12 22:37:30 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-08-12 22:39:40 +0200gugu256(~gugu256@202.17.23.93.rev.sfr.net) (Ping timeout: 248 seconds)
2023-08-12 22:42:13 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-12 22:44:20 +0200tabaqui(~root@88.238.15.186)
2023-08-12 22:49:58 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2023-08-12 22:55:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-12 22:56:18 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-08-12 22:57:50 +0200mima(~mmh@net-2-38-204-25.cust.vodafonedsl.it)
2023-08-12 22:58:33 +0200VioletJewel(violet@user/violetjewel)
2023-08-12 22:59:55 +0200titibandit(~titibandi@user/titibandit)
2023-08-12 23:02:39 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds)
2023-08-12 23:04:44 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2023-08-12 23:05:07 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-12 23:10:00 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2023-08-12 23:11:24 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2023-08-12 23:18:36 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds)
2023-08-12 23:19:24 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
2023-08-12 23:19:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-12 23:20:17 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-08-12 23:22:53 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-08-12 23:23:22 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 23:23:22 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 23:23:22 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 23:30:39 +0200tomboy64(~tomboy64@user/tomboy64) (Quit: Off to see the wizard.)
2023-08-12 23:32:35 +0200tomboy64(~tomboy64@user/tomboy64)
2023-08-12 23:34:03 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-12 23:37:37 +0200Vajb(~Vajb@2001:999:58d:647c:664f:4b4f:efff:9b44) (Remote host closed the connection)
2023-08-12 23:38:42 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2023-08-12 23:38:59 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 244 seconds)
2023-08-12 23:43:22 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-12 23:43:22 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-12 23:43:22 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-12 23:46:03 +0200mima(~mmh@net-2-38-204-25.cust.vodafonedsl.it) (Ping timeout: 246 seconds)
2023-08-12 23:46:20 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds)
2023-08-12 23:46:37 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 246 seconds)
2023-08-12 23:50:07 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-08-12 23:50:29 +0200Vajb(~Vajb@2001:999:58d:647c:664f:4b4f:efff:9b44)
2023-08-12 23:51:08 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds)
2023-08-12 23:53:03 +0200tomboy64(~tomboy64@user/tomboy64)
2023-08-12 23:53:18 +0200sm(~sm@plaintextaccounting/sm)
2023-08-12 23:55:04 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-08-12 23:56:47 +0200fendor_(~fendor@2a02:8388:1640:be00:c73f:4c9a:e162:7d18) (Read error: Connection reset by peer)
2023-08-12 23:57:54 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)