2022/06/20

2022-06-20 00:05:04 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds)
2022-06-20 00:05:25 +0200pragma-(~chaos@user/pragmatic-chaos)
2022-06-20 00:09:19 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265)
2022-06-20 00:09:24 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:15be:cdf1:24c0:fca7) (Read error: Connection reset by peer)
2022-06-20 00:14:46 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-06-20 00:15:50 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds)
2022-06-20 00:17:18 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2022-06-20 00:18:57 +0200Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
2022-06-20 00:26:30 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-06-20 00:28:50 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-06-20 00:29:09 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-06-20 00:32:46 +0200Furor(~colere@about/linux/staff/sauvin)
2022-06-20 00:35:05 +0200Colere(~colere@about/linux/staff/sauvin) (Ping timeout: 246 seconds)
2022-06-20 00:37:31 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-06-20 00:38:39 +0200sonny(~sonny@bras-base-toroon0812w-grc-01-142-114-220-108.dsl.bell.ca) ()
2022-06-20 00:39:07 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-06-20 00:42:04 +0200nate4(~nate@98.45.169.16)
2022-06-20 00:45:27 +0200liz(~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net)
2022-06-20 00:51:07 +0200alp__(~alp@user/alp) (Ping timeout: 244 seconds)
2022-06-20 00:52:06 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 276 seconds)
2022-06-20 00:53:14 +0200adium(adium@user/adium) (Quit: Stable ZNC by #bnc4you)
2022-06-20 00:53:58 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-06-20 00:54:48 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-06-20 00:56:53 +0200Feuermagier(~Feuermagi@user/feuermagier)
2022-06-20 00:56:59 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de)
2022-06-20 00:58:31 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Remote host closed the connection)
2022-06-20 00:58:54 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de)
2022-06-20 01:01:52 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-06-20 01:02:27 +0200meinside(uid24933@id-24933.helmsley.irccloud.com)
2022-06-20 01:03:26 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 246 seconds)
2022-06-20 01:08:00 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-06-20 01:08:33 +0200adium(adium@user/adium)
2022-06-20 01:09:37 +0200tomgus1(~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Ping timeout: 260 seconds)
2022-06-20 01:10:12 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-06-20 01:10:35 +0200tomgus1(~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3)
2022-06-20 01:11:30 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2022-06-20 01:15:01 +0200sebastiandb(~sebastian@pool-108-31-128-56.washdc.fios.verizon.net)
2022-06-20 01:18:20 +0200alp__(~alp@user/alp)
2022-06-20 01:19:34 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2022-06-20 01:21:10 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2022-06-20 01:21:38 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
2022-06-20 01:21:44 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-06-20 01:22:58 +0200Lord_of_Life_Lord_of_Life
2022-06-20 01:25:32 +0200Pickchea(~private@user/pickchea)
2022-06-20 01:26:28 +0200YoungFrog(~youngfrog@2a02:a03f:c21b:f900:9057:83fb:8876:5481) (Ping timeout: 248 seconds)
2022-06-20 01:27:53 +0200m1dnight(~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 248 seconds)
2022-06-20 01:28:10 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds)
2022-06-20 01:32:03 +0200nate4(~nate@98.45.169.16) (Ping timeout: 256 seconds)
2022-06-20 01:33:10 +0200causal(~user@50.35.83.177) (Quit: WeeChat 3.5)
2022-06-20 01:34:10 +0200sebastiandb(~sebastian@pool-108-31-128-56.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2022-06-20 01:36:22 +0200Tuplanolla(~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.)
2022-06-20 01:38:30 +0200odnes(~odnes@5-203-186-208.pat.nym.cosmote.net) (Quit: Leaving)
2022-06-20 01:38:41 +0200nate4(~nate@98.45.169.16)
2022-06-20 01:47:34 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2022-06-20 01:48:17 +0200ec_(~ec@gateway/tor-sasl/ec)
2022-06-20 01:50:35 +0200m1dnight(~christoph@78-22-9-5.access.telenet.be)
2022-06-20 01:50:36 +0200machinedgod(~machinedg@66.244.246.252) (Ping timeout: 276 seconds)
2022-06-20 01:51:46 +0200machinedgod(~machinedg@66.244.246.252)
2022-06-20 01:54:22 +0200sebastiandb(~sebastian@pool-108-31-128-56.washdc.fios.verizon.net)
2022-06-20 01:55:19 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-06-20 01:57:19 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2022-06-20 01:57:47 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato)
2022-06-20 01:58:18 +0200zeenk(~zeenk@188.26.144.225) (Quit: Konversation terminated!)
2022-06-20 01:59:44 +0200juri__(~juri@79.140.115.76)
2022-06-20 02:02:30 +0200juri_(~juri@79.140.114.236) (Ping timeout: 240 seconds)
2022-06-20 02:03:34 +0200mvk(~mvk@2607:fea8:5ce3:8500::4588)
2022-06-20 02:06:21 +0200pleo(~pleo@user/pleo) (Quit: quit)
2022-06-20 02:11:25 +0200Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
2022-06-20 02:14:08 +0200haritz(~hrtz@user/haritz) (Ping timeout: 246 seconds)
2022-06-20 02:18:42 +0200yauhsien(~yauhsien@61-231-58-85.dynamic-ip.hinet.net)
2022-06-20 02:23:05 +0200yauhsien(~yauhsien@61-231-58-85.dynamic-ip.hinet.net) (Ping timeout: 244 seconds)
2022-06-20 02:24:50 +0200Kevin578(~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Remote host closed the connection)
2022-06-20 02:37:46 +0200yrlnry(~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net)
2022-06-20 02:40:39 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 244 seconds)
2022-06-20 02:47:53 +0200nate4(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-06-20 02:49:41 +0200liz(~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Ping timeout: 256 seconds)
2022-06-20 02:52:32 +0200xff0x(~xff0x@2405:6580:b080:900:5dff:6ec3:2660:4e43) (Ping timeout: 244 seconds)
2022-06-20 02:52:42 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-06-20 02:54:29 +0200mjrosenb(~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-06-20 02:56:10 +0200liz(~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net)
2022-06-20 02:58:28 +0200Clinton[m](~clintonme@2001:470:69fc:105::2:31d4)
2022-06-20 02:59:02 +0200img(~img@user/img)
2022-06-20 02:59:16 +0200 <Clinton[m]> Just to confirm, I can't actually define `f` here can I?... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/e60d173a182ec7554c7ab7949cd3d7ee6650…)
2022-06-20 03:08:11 +0200 <[Leary]> Clinton[m]: You need to incur a constraint. The sane way is to write it as a typeclass method, but it may be possible at the top level with reflection.
2022-06-20 03:13:21 +0200 <sebastiandb> Just wondering, why doesn't everyone always just use Data.Vector instead of lists? They have their own equivalent versions of e.g. foldr, map, null, etc., so they're not more limited. And the typical advice in other languages is to prefer vectors/arrays over lists because they're almost always more performant, due to cache locality they provide. Are lazy lists that much of a benefit?
2022-06-20 03:15:00 +0200nate4(~nate@98.45.169.16)
2022-06-20 03:17:31 +0200 <Clinton[m]> sebastiandb: They do. But there are certain circumstances where lists are better, for example when you want to share tails or fast concatenation/removal from the front. It's not much different to other languages. People even use mutable vectors in Haskell when appropriate.
2022-06-20 03:19:53 +0200alp__(~alp@user/alp) (Ping timeout: 248 seconds)
2022-06-20 03:20:02 +0200 <Clinton[m]> Clinton[m]: Much of the standard "prelude" was designed 30 years ago in an academic setting and doesn't reflect modern Haskell. It's still there for backwards compatibility sake and features prominently in teaching though but it doesn't mean that's how Haskell is used in industry.
2022-06-20 03:25:23 +0200 <sebastiandb> Clinton[m]: That makes sense. Thank you for the answer!
2022-06-20 03:27:00 +0200 <Clinton[m]> sebastiandb: Like for example, the standard string type which is a `[Char]` is ridiculous for most purposes. Generally people use `Text` now, which internally uses UTF-8 arrays.
2022-06-20 03:28:47 +0200 <sebastiandb> Clinton[m]: Yeah, I knew that `Text` was preferred over `String`, but that only made me wonder why people didn't default to using vectors by the same logic. I guess it should have been obvious to me that they do.
2022-06-20 03:32:13 +0200 <Clinton[m]> sebastiandb: There historically have been some peculiar performance issues with the way the garbage collector interacts with _mutable_ vectors containing boxed objects (this is not an issue with immutable ones), largely because the GHC garbage collector is optimised around the idea that objects can not point at objects created after themselves. This is almost always true in Haskell but isn't true for mutable vectors. But I think that's
2022-06-20 03:32:13 +0200 <Clinton[m]> been largely sorted recently.
2022-06-20 03:34:12 +0200 <Clinton[m]> Clinton[m]: Basically the Haskell garbage collector can collect garbage far more quickly than say Java because it can make this assumption that an object has no things pointing to it that were created before it. Which is very nice usually except when you throw mutable vectors into the mix.
2022-06-20 03:34:27 +0200nate4(~nate@98.45.169.16) (Ping timeout: 256 seconds)
2022-06-20 03:37:48 +0200 <Maxdamantus> Wouldn't that assumption also be broken using `let x = 0 : x in x`?
2022-06-20 03:38:03 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-06-20 03:38:11 +0200 <Maxdamantus> (ie, anything cyclic)
2022-06-20 03:39:36 +0200 <Maxdamantus> actually, nvm, that only points to something created after it.
2022-06-20 03:40:25 +0200Infinite26(~Infinite@49.39.112.74)
2022-06-20 03:40:26 +0200 <Maxdamantus> hmm, but that sounds like the same thing.
2022-06-20 03:40:38 +0200 <Clinton[m]> Maxdamantus: Well it points to something created at the same time, but it doesn't point at the future.
2022-06-20 03:41:11 +0200 <Maxdamantus> ah okay, so there are multiple things created in the same generation or something.
2022-06-20 03:43:03 +0200 <Maxdamantus> it still seems like it should be possible to create intergenerational cycles.
2022-06-20 03:43:36 +0200 <sebastiandb> Clinton[m]: Could you point out a specific example where the Java garbage collector could be hindered by this? Why might Java's garbage collector have more trouble with a list of boxed objects than Haskell's? Can't you make a new object pointing to an old one by making a list `l1`, and then later making a list `l2 = tail l1`?
2022-06-20 03:43:53 +0200 <Clinton[m]> Maxdamantus: How? You can't point to something that doesn't exist, and you can't mutate something existing already.
2022-06-20 03:44:53 +0200 <sebastiandb> Oh, that last part of my question doesn't make sense, nvm. You said an old thing pointing to something that was just created, not a new thing pointing to an old thing.
2022-06-20 03:45:56 +0200 <Maxdamantus> Clinton[m]: are thunks not considered to be mutable things?
2022-06-20 03:46:06 +0200nate4(~nate@98.45.169.16)
2022-06-20 03:46:08 +0200 <Maxdamantus> foo = seq somethingExpensive $ 1 : foo
2022-06-20 03:46:41 +0200sympt0(~sympt@user/sympt)
2022-06-20 03:46:57 +0200machinedgod(~machinedg@66.244.246.252) (Ping timeout: 276 seconds)
2022-06-20 03:48:20 +0200quarkyalice(~quarkyali@user/quarkyalice)
2022-06-20 03:48:54 +0200sympt(~sympt@user/sympt) (Ping timeout: 276 seconds)
2022-06-20 03:48:54 +0200sympt0sympt
2022-06-20 03:49:21 +0200 <Maxdamantus> the `foo` thunk is created first, then later on a (:) object is created and the `foo` thunk is updated to point to the (:) object.
2022-06-20 03:49:54 +0200 <Clinton[m]> <sebastiandb> "Clinton: Could you point out a..." <- Because in Haskell you garbage collect your last X created objects just by checking whether any live objects point to any of them. If they do just copy the live objects elsewhere and you can delete the rest. Except you don't have to "delete" the rest you can just start overriding them.
2022-06-20 03:49:55 +0200 <Clinton[m]> So you can basically garbage collect millions of objects in hardly any time at all. You just copy the live ones out and just start overriding the dead ones.
2022-06-20 03:49:55 +0200 <Clinton[m]> You can't do that so simply in Java because there could be a pointer ANYWHERE in the program that points to your newly created data. So you have to scan the whole program's memory space.
2022-06-20 03:49:55 +0200 <Clinton[m]> There are ways around that but it's more complex in Java.
2022-06-20 03:50:00 +0200 <Maxdamantus> ie, the (:) is referenced by the previously created `foo` thunk.
2022-06-20 03:57:32 +0200 <Clinton[m]> <Maxdamantus> "ie, the (:) is referenced by the..." <- huh? initially you just have a `foo` thunk, this references nothing. Then after `seq` resolves you've got `foo = 1 : foo`. But the self reference here it to the new foo, not the initial foo thunk.
2022-06-20 03:58:44 +0200 <Maxdamantus> the existing `foo` thunk needs to be updated, since it could have been used more than once.
2022-06-20 04:00:54 +0200 <Maxdamantus> head (tail foo) == head (tail foo)
2022-06-20 04:02:08 +0200 <Clinton[m]> Maxdamantus: hmmmm good point...
2022-06-20 04:02:20 +0200 <Maxdamantus> the first `tail` call will force the thunk to evaluate and update, so the second one will be able to read the existing (:) object (which was created after the `foo` thunk)
2022-06-20 04:03:33 +0200quarkyalice(~quarkyali@user/quarkyalice) (Quit: quarkyalice)
2022-06-20 04:03:57 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in)
2022-06-20 04:04:50 +0200 <Clinton[m]> Maxdamantus: hrmmm, not sure about how this works, I might ask on `ghc-devs@haskell.org`
2022-06-20 04:06:48 +0200td_(~td@muedsl-82-207-238-050.citykom.de) (Ping timeout: 248 seconds)
2022-06-20 04:06:50 +0200Infinite26(~Infinite@49.39.112.74) (Ping timeout: 252 seconds)
2022-06-20 04:08:24 +0200nate4(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2022-06-20 04:14:34 +0200sebastiandb(~sebastian@pool-108-31-128-56.washdc.fios.verizon.net) (Quit: Leaving)
2022-06-20 04:20:25 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2022-06-20 04:26:06 +0200 <EvanR> the main difference between haskell and java gc is that all haskell pointers point backwards in time because immutability
2022-06-20 04:26:34 +0200 <EvanR> you can't point to an object that doesn't exist yet
2022-06-20 04:26:41 +0200Topsi(~Topsi@dyndsl-095-033-092-199.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2022-06-20 04:28:40 +0200 <EvanR> ghc actually updates pointers when thunks are evaluated, and this still makes sense because of referential transparency
2022-06-20 04:34:53 +0200nate4(~nate@98.45.169.16)
2022-06-20 04:39:37 +0200nate4(~nate@98.45.169.16) (Ping timeout: 256 seconds)
2022-06-20 04:50:34 +0200 <Maxdamantus> but an unevaluated thunk could be stored in millions of places. what happens when the thunk finally gets evaluated? what pointers are updated?
2022-06-20 04:51:53 +0200 <Zemyla> I think they get updated during the next GC cycle.
2022-06-20 04:53:47 +0200Guest7(~Guest7@2601:483:5a80:16e0:7456:cc5c:ccec:b42a)
2022-06-20 04:53:57 +0200 <monochrom> Before the next GC cycle, the value replaces the thunk in-place. Or rather, pointer to the value replaces the thunk in-place. You suffer one more indirection but it also means the value is immediately shared and visible by all.
2022-06-20 04:54:25 +0200 <monochrom> And the value needs exist at just one location.
2022-06-20 04:54:57 +0200 <monochrom> The next GC cycle is simply responsible for path compression. OK, "simply".
2022-06-20 04:56:30 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-06-20 04:57:25 +0200califax(~califax@user/califx)
2022-06-20 04:59:18 +0200 <Maxdamantus> hm, so I guess the point is that older generations are made to never point to the "compressed" versions of thunks (which could be a pointer to the actual data object's memory, or an unboxed copy) in newer generations?
2022-06-20 05:00:21 +0200 <Maxdamantus> though they can still point to uncompressed thunks (thunks that are either unevaluated or pending compression on the next GC cycle)
2022-06-20 05:00:41 +0200jao(~jao@211.68.17.95.dynamic.jazztel.es) (Ping timeout: 248 seconds)
2022-06-20 05:00:59 +0200 <Maxdamantus> (and the uncompressed thunks can point to things in a newer generation)
2022-06-20 05:01:30 +0200 <EvanR> evaluation may or may not be compression o_O, in lambda calculus it's probably an expansion
2022-06-20 05:02:09 +0200frost(~frost@user/frost)
2022-06-20 05:02:15 +0200 <EvanR> which is why you want to gc temporary stuff soon
2022-06-20 05:02:33 +0200 <monochrom> Oh, "path compression" is my wording. Still, I never said "value compression" either. I said "path compression".
2022-06-20 05:02:35 +0200 <Maxdamantus> I was assuming compression means something like removing a level of indirection due to the thunk.
2022-06-20 05:03:21 +0200 <EvanR> regardless nothing can point into a later generation
2022-06-20 05:03:51 +0200quarkyalice(~quarkyali@user/quarkyalice)
2022-06-20 05:03:54 +0200 <EvanR> which makes minor gc faster
2022-06-20 05:05:08 +0200Guest7(~Guest7@2601:483:5a80:16e0:7456:cc5c:ccec:b42a) (Ping timeout: 252 seconds)
2022-06-20 05:05:12 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection)
2022-06-20 05:05:34 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-06-20 05:09:10 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-06-20 05:09:28 +0200 <Maxdamantus> but it must be able to point to something in the newest generation, since GC hasn't happened yet. eg, if you've just got some top level lazy definition, `foo = expensiveCalculation 42` then you've used `foo` as arguments to various data constructors (eg, `let a = [foo, foo, foo] in seq (length a) foo`), when someone finally causes the thunk to evaluate, it's going to point to something new.
2022-06-20 05:10:03 +0200 <Axman6> that new thing will still be in the same place thought, right?
2022-06-20 05:10:07 +0200 <Axman6> though*
2022-06-20 05:10:40 +0200 <Axman6> all those foo's are pointing to where the answer will be when evaluated. but I guess that that evaluating that thing might allocate new objects
2022-06-20 05:10:51 +0200quarkyalice(~quarkyali@user/quarkyalice) (Quit: quarkyalice)
2022-06-20 05:11:14 +0200 <Maxdamantus> yes, I'm assuming `expensiveCalculation` will allocate a new object.
2022-06-20 05:12:29 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-06-20 05:14:06 +0200nate4(~nate@98.45.169.16)
2022-06-20 05:14:14 +0200 <Maxdamantus> that `a` list might have had its length taken (causing 4 (:) objects to be created) long before `foo` is forced.
2022-06-20 05:14:20 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-06-20 05:14:25 +0200 <Maxdamantus> s/4/3/
2022-06-20 05:17:57 +0200quarkyalice(~quarkyali@user/quarkyalice)
2022-06-20 05:18:10 +0200 <Maxdamantus> er, meant to use `a` as the second argument to `seq`, not `foo`: `let a = [foo, foo, foo] in seq (length a) a`
2022-06-20 05:18:12 +0200 <EvanR> now I don't know, remind me to revisit this one
2022-06-20 05:18:19 +0200 <hololeap> does a definition of `pure` that does any sort of extra work break the semantics of Applicative?
2022-06-20 05:18:44 +0200 <Axman6> depends if you can tell what the extra work is
2022-06-20 05:19:06 +0200 <Axman6> Years ago I got told off for making a monad that counted how many times (>>=) was called
2022-06-20 05:20:05 +0200 <Maxdamantus> I'll probably forget, but I think my interpretation of what monochrom said makes sense and is probably useful for generational GC tracing (as well as locality)
2022-06-20 05:20:39 +0200 <Maxdamantus> will probably think about it more if I ever have to write a GC.
2022-06-20 05:20:47 +0200jinsun__(~jinsun@user/jinsun)
2022-06-20 05:21:32 +0200 <monochrom> Haha Axman6 that would be me. I put it on my exam too!
2022-06-20 05:22:09 +0200kimjetwav(~user@2607:fea8:2340:da00:a3ad:b89c:e37:6b8f) (Read error: Connection reset by peer)
2022-06-20 05:22:31 +0200 <Axman6> Were you extra mean, and just made the question: "Monadn't?"
2022-06-20 05:22:57 +0200kimjetwav(~user@2607:fea8:2340:da00:a3ad:b89c:e37:6b8f)
2022-06-20 05:23:10 +0200 <hololeap> the work is from megaparsec. if `eof` succeeds we use the CompleteParse constructor, otherwise use `lookAhead (some anySingle)` and push the string into PartialParse
2022-06-20 05:23:28 +0200 <hololeap> it shouldn't change the state, but it does work
2022-06-20 05:23:39 +0200 <monochrom> I say that I am not mean, but I am not an accurate judge on that. The question was "use a counterexample to show that it breaks a monad law".
2022-06-20 05:24:28 +0200 <Axman6> That's what I said, Monadn't :P
2022-06-20 05:24:29 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 255 seconds)
2022-06-20 05:24:37 +0200 <monochrom> OK!
2022-06-20 05:24:58 +0200 <dsal> I'm going to start calling Applicative Functors Lessnads
2022-06-20 05:25:03 +0200 <Axman6> Mind if I ask where you run your course?
2022-06-20 05:25:04 +0200 <monochrom> Neither `eof` nor `lookAhead` is remotely close to `pure`.
2022-06-20 05:25:10 +0200 <Axman6> dsal: <3
2022-06-20 05:25:20 +0200 <monochrom> U of Toronto Scarborough.
2022-06-20 05:26:04 +0200 <hololeap> monochrom: I understand that, but it doesn't break the laws, AFAIK
2022-06-20 05:26:14 +0200 <monochrom> But it is not clear whether I told you off or I told someone else off for doing the same thing.
2022-06-20 05:26:38 +0200 <Axman6> this was more than a decade ago, possibly aroundf 2008-9
2022-06-20 05:26:49 +0200 <monochrom> The instance I saw is... Let me find it from my bookmarks.
2022-06-20 05:27:21 +0200 <monochrom> This one: https://betterprogramming.pub/monads-are-just-fancy-semicolons-ffe38401fd0e
2022-06-20 05:27:31 +0200 <monochrom> OK so not yours haha.
2022-06-20 05:27:39 +0200 <Axman6> side thought - do indexed monads have other laws? I assume pure must have the type a -
2022-06-20 05:27:44 +0200 <Axman6> a -> m x x a
2022-06-20 05:28:17 +0200 <hololeap> the applicative is based on `WriterT (Last ParseCoverage) (ParsecT e s m)`
2022-06-20 05:28:37 +0200quarkyalice(~quarkyali@user/quarkyalice) (Quit: quarkyalice)
2022-06-20 05:28:42 +0200 <hololeap> data ParseCoverage = PartialParse String | CompleteParse
2022-06-20 05:31:04 +0200 <monochrom> hololeap: So if you make (>>=) or pure increase a counter, that breaks identity laws. But if you make a separate `tick` to increase a counter, and (>>=) and pure merely not ruining tick's achievement, then that's lawful.
2022-06-20 05:31:50 +0200 <monochrom> (This is of course assuming the non-trolling non-degenerate position that the counter is actually visible.)
2022-06-20 05:31:55 +0200quarkyalice(~quarkyali@user/quarkyalice)
2022-06-20 05:32:06 +0200 <monochrom> (or rather, part of the semantics of whatever you're doing)
2022-06-20 05:32:18 +0200 <hololeap> that makes sense, but in this case it's not accumulating anything, just keeping the most recent result, hence Last
2022-06-20 05:32:51 +0200quarkyalice(~quarkyali@user/quarkyalice) (Client Quit)
2022-06-20 05:33:13 +0200nate4(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2022-06-20 05:33:16 +0200 <hololeap> it looks at the current state, but doesn't change it, makes a decision as to which constructor to use, but that can be overridden by a later computation
2022-06-20 05:34:18 +0200 <monochrom> Yeah when I discussed that counter monad (pun!) in this channel, someone pointed out that if >>= increments and pure decrements, or something wacky like that, it's lawful again.
2022-06-20 05:34:30 +0200quarkyalice(~quarkyali@user/quarkyalice)
2022-06-20 05:35:10 +0200z0k(~z0k@206.84.141.12)
2022-06-20 05:35:20 +0200 <hololeap> huh, I vaguely remember that last time I brought up the idea of a counter monad in here
2022-06-20 05:35:36 +0200 <monochrom> >:)
2022-06-20 05:36:43 +0200 <hololeap> I'll try to set up some tests to see if my thing is actually lawful
2022-06-20 05:36:47 +0200 <monochrom> Everyone loves counter examples! >:)
2022-06-20 05:39:07 +0200quarkyalice(~quarkyali@user/quarkyalice) (Ping timeout: 256 seconds)
2022-06-20 05:40:22 +0200 <hololeap> why in the world is WriterT = m (a, w)
2022-06-20 05:40:26 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-06-20 05:40:47 +0200 <hololeap> as opposed to m (w, a)
2022-06-20 05:41:19 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-06-20 05:41:36 +0200 <monochrom> I only know why State is s->(a,s). I don't know whether they are related.
2022-06-20 05:41:51 +0200 <hololeap> why is that, monochrom?
2022-06-20 05:42:58 +0200 <hololeap> given that (w,a)/(s,a) actually has quite a few typeclass instances, it seems like a no-brainer to keep them in that order
2022-06-20 05:43:32 +0200 <monochrom> In mathematics it's nicer to discuss the duality between s->_ and _×s, rather than s->_ and s×_
2022-06-20 05:43:49 +0200 <monochrom> perhaps s/duality/adjunction/
2022-06-20 05:44:34 +0200 <Axman6> yeah I was going to say, surely the adjunction formed by ((->) s) and (s,) is nicer, at least in Haskell
2022-06-20 05:44:51 +0200 <Axman6> because both of those are actual Haskell Functors, not just CT ones
2022-06-20 05:45:47 +0200 <Axman6> so you get Compose ((->) s) (s,) === State, and Compose (s,) ((->) s) gives you Store, right?
2022-06-20 05:47:22 +0200nate4(~nate@98.45.169.16)
2022-06-20 05:48:29 +0200 <monochrom> OK, so when you curry/uncurry between (s,t)->u and s->(t->u), you find yourself looking at (s,_) and s->_
2022-06-20 05:48:48 +0200 <monochrom> Err wait, that doesn't justify (_,s) haha
2022-06-20 05:49:14 +0200mvk(~mvk@2607:fea8:5ce3:8500::4588) (Ping timeout: 255 seconds)
2022-06-20 05:49:51 +0200 <monochrom> OK, I forgot what is nicer with that.
2022-06-20 05:52:10 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-06-20 05:53:13 +0200 <monochrom> Ah, it's (t,s)->u and t->(s->u), fitting Hom(F(t), u) and Hom(t, G(u)).
2022-06-20 05:54:24 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-06-20 05:58:46 +0200FurorColere
2022-06-20 06:00:43 +0200yauhsien(~yauhsien@61-231-58-85.dynamic-ip.hinet.net)
2022-06-20 06:05:45 +0200yauhsien(~yauhsien@61-231-58-85.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-06-20 06:06:48 +0200steshaw[m](~steshawma@2001:470:69fc:105::1:a963)
2022-06-20 06:07:37 +0200nate4(~nate@98.45.169.16)
2022-06-20 06:16:15 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-06-20 06:16:49 +0200Vajb(~Vajb@2001:999:40:4c50:1b24:879c:6df3:1d06)
2022-06-20 06:19:56 +0200hsw_(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving)
2022-06-20 06:20:08 +0200hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net)
2022-06-20 06:21:57 +0200thewaves(~thewaves@2001:470:69fc:105::2:2eef) (*.net *.split)
2022-06-20 06:21:57 +0200cony_mony[m](~conymonym@2001:470:69fc:105::2:2ea2) (*.net *.split)
2022-06-20 06:21:58 +0200doomfume[m](~doomfumeh@2001:470:69fc:105::2:2a62) (*.net *.split)
2022-06-20 06:21:58 +0200burakcank(~burakcank@has.arrived.and.is.ready-to.party) (*.net *.split)
2022-06-20 06:21:58 +0200Guest8247(~krjst@2604:a880:800:c1::16b:8001) (*.net *.split)
2022-06-20 06:21:58 +0200pierrot(~pi@user/pierrot) (*.net *.split)
2022-06-20 06:21:58 +0200acertain(sid470584@id-470584.hampstead.irccloud.com) (*.net *.split)
2022-06-20 06:21:58 +0200NemesisD(sid24071@id-24071.lymington.irccloud.com) (*.net *.split)
2022-06-20 06:21:58 +0200hendi(sid489601@id-489601.lymington.irccloud.com) (*.net *.split)
2022-06-20 06:21:58 +0200caasih(sid13241@id-13241.ilkley.irccloud.com) (*.net *.split)
2022-06-20 06:21:58 +0200ProofTechnique(sid79547@id-79547.ilkley.irccloud.com) (*.net *.split)
2022-06-20 06:21:58 +0200saolsen(sid26430@id-26430.lymington.irccloud.com) (*.net *.split)
2022-06-20 06:21:58 +0200tnks(sid412124@id-412124.helmsley.irccloud.com) (*.net *.split)
2022-06-20 06:21:58 +0200emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (*.net *.split)
2022-06-20 06:21:58 +0200bastelfreak(~bastelfre@basteles-bastelknecht.bastelfreak.org) (*.net *.split)
2022-06-20 06:21:58 +0200teehemkay_(sid14792@id-14792.lymington.irccloud.com) (*.net *.split)
2022-06-20 06:21:58 +0200aristid(sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split)
2022-06-20 06:21:58 +0200sclv(sid39734@haskell/developer/sclv) (*.net *.split)
2022-06-20 06:21:58 +0200SethTisue(sid14912@id-14912.ilkley.irccloud.com) (*.net *.split)
2022-06-20 06:21:58 +0200PHO`(~pho@akari.cielonegro.org) (*.net *.split)
2022-06-20 06:21:58 +0200landonf(landonf@mac68k.info) (*.net *.split)
2022-06-20 06:21:58 +0200cherries[m](~cherriesm@2001:470:69fc:105::2:16c0) (*.net *.split)
2022-06-20 06:21:58 +0200phuegrvs[m](~phuegrvsm@2001:470:69fc:105::1:65e4) (*.net *.split)
2022-06-20 06:21:58 +0200x88x88x(~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (*.net *.split)
2022-06-20 06:21:58 +0200Nate[m](~m52957mat@2001:470:69fc:105::1:591a) (*.net *.split)
2022-06-20 06:21:58 +0200beaky(~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split)
2022-06-20 06:21:58 +0200jocke-l(jocke-l@a.x0.is) (*.net *.split)
2022-06-20 06:21:58 +0200tomsmeding(~tomsmedin@2a01:4f8:c0c:5e5e::2) (*.net *.split)
2022-06-20 06:21:58 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (*.net *.split)
2022-06-20 06:21:58 +0200bitonic(~bitonic@2001:470:69fc:105::1812) (*.net *.split)
2022-06-20 06:21:58 +0200kawzeg_(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split)
2022-06-20 06:21:58 +0200lambda451[m](~lambda451@2001:470:69fc:105::2:1097) (*.net *.split)
2022-06-20 06:21:58 +0200welterde(welterde@thinkbase.srv.welterde.de) (*.net *.split)
2022-06-20 06:21:58 +0200amongas666[m](~amongas66@2001:470:69fc:105::2:fea) (*.net *.split)
2022-06-20 06:21:58 +0200thonkpod_(~thonkpod@user/thonkpod) (*.net *.split)
2022-06-20 06:21:58 +0200marienz_(marienz@libera/staff/marienz) (*.net *.split)
2022-06-20 06:21:58 +0200alanz(sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split)
2022-06-20 06:21:58 +0200megeve(sid523379@id-523379.hampstead.irccloud.com) (*.net *.split)
2022-06-20 06:21:58 +0200Jon(jon@dow.land) (*.net *.split)
2022-06-20 06:21:58 +0200totbwf(sid402332@id-402332.uxbridge.irccloud.com) (*.net *.split)
2022-06-20 06:21:58 +0200tv(~tv@user/tv) (*.net *.split)
2022-06-20 06:21:58 +0200c_wraith(~c_wraith@adjoint.us) (*.net *.split)
2022-06-20 06:21:58 +0200acidsys(~crameleon@openSUSE/member/crameleon) (*.net *.split)
2022-06-20 06:21:58 +0200drewr(~drew@user/drewr) (*.net *.split)
2022-06-20 06:21:58 +0200jakalx(~jakalx@base.jakalx.net) (*.net *.split)
2022-06-20 06:22:06 +0200aristid(sid1599@id-1599.uxbridge.irccloud.com)
2022-06-20 06:22:06 +0200teehemkay_(sid14792@id-14792.lymington.irccloud.com)
2022-06-20 06:22:06 +0200landonf(landonf@mac68k.info)
2022-06-20 06:22:07 +0200totbwf(sid402332@id-402332.uxbridge.irccloud.com)
2022-06-20 06:22:07 +0200SethTisue(sid14912@id-14912.ilkley.irccloud.com)
2022-06-20 06:22:08 +0200sclv(sid39734@haskell/developer/sclv)
2022-06-20 06:22:10 +0200Jon(jon@dow.land)
2022-06-20 06:22:12 +0200marienz(marienz@libera/staff/marienz)
2022-06-20 06:22:13 +0200NemesisD(sid24071@id-24071.lymington.irccloud.com)
2022-06-20 06:22:13 +0200caasih(sid13241@id-13241.ilkley.irccloud.com)
2022-06-20 06:22:17 +0200alanz(sid110616@id-110616.uxbridge.irccloud.com)
2022-06-20 06:22:21 +0200tnks(sid412124@id-412124.helmsley.irccloud.com)
2022-06-20 06:22:21 +0200megeve(sid523379@id-523379.hampstead.irccloud.com)
2022-06-20 06:22:21 +0200ProofTechnique(sid79547@id-79547.ilkley.irccloud.com)
2022-06-20 06:22:26 +0200emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc)
2022-06-20 06:22:29 +0200kawzeg_(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34)
2022-06-20 06:22:30 +0200bastelfreak(~bastelfre@basteles-bastelknecht.bastelfreak.org)
2022-06-20 06:22:35 +0200tomsmeding(~tomsmedin@static.21.109.88.23.clients.your-server.de)
2022-06-20 06:22:36 +0200acidsys(~crameleon@openSUSE/member/crameleon)
2022-06-20 06:22:36 +0200jocke-l(jocke-l@a.x0.is)
2022-06-20 06:22:39 +0200thonkpod_(~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d)
2022-06-20 06:22:42 +0200thonkpod_(~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (Signing in (thonkpod_))
2022-06-20 06:22:42 +0200thonkpod_(~thonkpod@user/thonkpod)
2022-06-20 06:22:49 +0200hendi(sid489601@id-489601.lymington.irccloud.com)
2022-06-20 06:22:50 +0200saolsen(sid26430@id-26430.lymington.irccloud.com)
2022-06-20 06:22:50 +0200acertain(sid470584@id-470584.hampstead.irccloud.com)
2022-06-20 06:22:51 +0200welterde(welterde@thinkbase.srv.welterde.de)
2022-06-20 06:22:55 +0200beaky(~beaky@2a03:b0c0:0:1010::1e:a001)
2022-06-20 06:22:57 +0200pierrot(~pi@user/pierrot)
2022-06-20 06:23:00 +0200tv(~tv@user/tv)
2022-06-20 06:23:01 +0200PHO`(~pho@akari.cielonegro.org)
2022-06-20 06:23:02 +0200burakcank(~burakcank@has.arrived.and.is.ready-to.party)
2022-06-20 06:23:22 +0200drewr(~drew@user/drewr)
2022-06-20 06:23:39 +0200c_wraith(~c_wraith@adjoint.us)
2022-06-20 06:23:51 +0200Guest8247(~krjst@2604:a880:800:c1::16b:8001)
2022-06-20 06:25:44 +0200cherries[m](~cherriesm@2001:470:69fc:105::2:16c0)
2022-06-20 06:26:29 +0200phuegrvs[m](~phuegrvsm@2001:470:69fc:105::1:65e4)
2022-06-20 06:27:00 +0200lottaquestions(~nick@2607:fa49:5041:a200:4b68:d7e8:c69e:f4bf) (*.net *.split)
2022-06-20 06:27:00 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001) (*.net *.split)
2022-06-20 06:27:00 +0200Henkru(henkru@kapsi.fi) (*.net *.split)
2022-06-20 06:27:00 +0200elfi2125[m](~elfi2125m@2001:470:69fc:105::2:13d6) (*.net *.split)
2022-06-20 06:27:00 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (*.net *.split)
2022-06-20 06:27:00 +0200AkechiShiro(~licht@user/akechishiro) (*.net *.split)
2022-06-20 06:27:00 +0200chreekat(~chreekat@2001:470:69fc:105::16b5) (*.net *.split)
2022-06-20 06:27:00 +0200hochata(~hochata@user/hochata) (*.net *.split)
2022-06-20 06:27:00 +0200edr(~edr@user/edr) (*.net *.split)
2022-06-20 06:27:00 +0200tritlo(sid58727@user/tritlo) (*.net *.split)
2022-06-20 06:27:00 +0200acacia(~alloca@user/suppi) (*.net *.split)
2022-06-20 06:27:00 +0200gaze___(sid387101@id-387101.helmsley.irccloud.com) (*.net *.split)
2022-06-20 06:27:00 +0200geekosaur[m](~geekosaur@xmonad/geekosaur) (*.net *.split)
2022-06-20 06:27:00 +0200lieven(~mal@ns2.wyrd.be) (*.net *.split)
2022-06-20 06:27:00 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split)
2022-06-20 06:27:00 +0200Dykam_(Dykam@dykam.nl) (*.net *.split)
2022-06-20 06:27:00 +0200yushyin(4BFGEnxeeu@mail.karif.server-speed.net) (*.net *.split)
2022-06-20 06:27:00 +0200rubin55(sid175221@id-175221.hampstead.irccloud.com) (*.net *.split)
2022-06-20 06:27:01 +0200Firedancer(sid336191@id-336191.hampstead.irccloud.com) (*.net *.split)
2022-06-20 06:27:01 +0200Kamuela(sid111576@id-111576.tinside.irccloud.com) (*.net *.split)
2022-06-20 06:27:01 +0200liskin(~liskin@xmonad/liskin) (*.net *.split)
2022-06-20 06:27:01 +0200gmc(sid58314@id-58314.ilkley.irccloud.com) (*.net *.split)
2022-06-20 06:27:01 +0200edwardk(sid47016@haskell/developer/edwardk) (*.net *.split)
2022-06-20 06:27:01 +0200hamishmack(sid389057@id-389057.hampstead.irccloud.com) (*.net *.split)
2022-06-20 06:27:01 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split)
2022-06-20 06:27:01 +0200Athas(athas@sigkill.dk) (*.net *.split)
2022-06-20 06:27:09 +0200Athas(athas@sigkill.dk)
2022-06-20 06:27:10 +0200edwardk(sid47016@haskell/developer/edwardk)
2022-06-20 06:27:12 +0200hamishmack(sid389057@id-389057.hampstead.irccloud.com)
2022-06-20 06:27:12 +0200edr(~edr@enlo.co)
2022-06-20 06:27:12 +0200Henkru(~henkru@kapsi.fi)
2022-06-20 06:27:16 +0200gmc(sid58314@id-58314.ilkley.irccloud.com)
2022-06-20 06:27:20 +0200gaze___(sid387101@id-387101.helmsley.irccloud.com)
2022-06-20 06:27:20 +0200rubin55(sid175221@id-175221.hampstead.irccloud.com)
2022-06-20 06:27:22 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2022-06-20 06:27:24 +0200Kamuela(sid111576@id-111576.tinside.irccloud.com)
2022-06-20 06:27:31 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2022-06-20 06:27:32 +0200Firedancer(sid336191@id-336191.hampstead.irccloud.com)
2022-06-20 06:27:32 +0200acacia(~alloca@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0)
2022-06-20 06:27:32 +0200lieven(~mal@ns2.wyrd.be)
2022-06-20 06:27:33 +0200Dykam(Dykam@dykam.nl)
2022-06-20 06:27:33 +0200yushyin(OdT0XD4zx5@mail.karif.server-speed.net)
2022-06-20 06:27:33 +0200liskin(~liskin@ackle.nomi.cz)
2022-06-20 06:27:39 +0200AkechiShiro(~licht@2a01:e0a:5f9:9681:6ef6:204a:3e2c:ce07)
2022-06-20 06:27:42 +0200acacia(~alloca@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0) (Signing in (acacia))
2022-06-20 06:27:42 +0200acacia(~alloca@user/suppi)
2022-06-20 06:27:42 +0200liskin(~liskin@ackle.nomi.cz) (Signing in (liskin))
2022-06-20 06:27:42 +0200liskin(~liskin@xmonad/liskin)
2022-06-20 06:27:48 +0200jakalx(~jakalx@base.jakalx.net)
2022-06-20 06:27:49 +0200edr(~edr@enlo.co) (Changing host)
2022-06-20 06:27:49 +0200edr(~edr@user/edr)
2022-06-20 06:27:59 +0200tritlo(sid58727@user/tritlo)
2022-06-20 06:28:00 +0200Guest7(~Guest7@2601:483:5a80:16e0:b9e3:e3df:8bd9:7968)
2022-06-20 06:28:00 +0200lottaquestions(~nick@2607:fa49:5041:a200:befb:c8a2:f655:5c1b)
2022-06-20 06:28:00 +0200x88x88x(~x88x88x@149.28.53.172)
2022-06-20 06:28:23 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001)
2022-06-20 06:28:43 +0200doomfume[m](~doomfumeh@2001:470:69fc:105::2:2a62)
2022-06-20 06:29:05 +0200Nate[m](~m52957mat@2001:470:69fc:105::1:591a)
2022-06-20 06:30:04 +0200amongas666[m](~amongas66@2001:470:69fc:105::2:fea)
2022-06-20 06:30:08 +0200cocreature(~moritz@2a03:b0c0:3:d0::c8:f001) (*.net *.split)
2022-06-20 06:30:08 +0200meejah(~meejah@rutas.meejah.ca) (*.net *.split)
2022-06-20 06:30:08 +0200Tubo[m](~tubogram@user/tubogram) (*.net *.split)
2022-06-20 06:30:08 +0200polykernel[m](~polykerne@user/polykernel) (*.net *.split)
2022-06-20 06:30:08 +0200treeshateorcs[m](~treeshate@2001:470:69fc:105::1:41c4) (*.net *.split)
2022-06-20 06:30:08 +0200ereslibre[m](~ereslibre@2001:470:69fc:105::1:8f90) (*.net *.split)
2022-06-20 06:30:08 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (*.net *.split)
2022-06-20 06:30:08 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (*.net *.split)
2022-06-20 06:30:08 +0200unclechu(~unclechu@2001:470:69fc:105::354) (*.net *.split)
2022-06-20 06:30:08 +0200dyniec_(~dyniec@mail.dybiec.info) (*.net *.split)
2022-06-20 06:30:08 +0200Ttech(adran@botters/adran) (*.net *.split)
2022-06-20 06:30:08 +0200bjs(sid190364@user/bjs) (*.net *.split)
2022-06-20 06:30:08 +0200integral(sid296274@user/integral) (*.net *.split)
2022-06-20 06:30:08 +0200cbarrett(sid192934@id-192934.helmsley.irccloud.com) (*.net *.split)
2022-06-20 06:30:08 +0200alinab(sid468903@id-468903.helmsley.irccloud.com) (*.net *.split)
2022-06-20 06:30:08 +0200chessai(sid225296@id-225296.lymington.irccloud.com) (*.net *.split)
2022-06-20 06:30:08 +0200lightandlight(sid135476@id-135476.helmsley.irccloud.com) (*.net *.split)
2022-06-20 06:30:08 +0200dagit(~dagit@2001:558:6025:38:6476:a063:d05a:44da) (*.net *.split)
2022-06-20 06:30:08 +0200poljar(~poljar@93-139-81-189.adsl.net.t-com.hr) (*.net *.split)
2022-06-20 06:30:08 +0200carter(sid14827@id-14827.helmsley.irccloud.com) (*.net *.split)
2022-06-20 06:30:08 +0200philpax_(sid516926@id-516926.lymington.irccloud.com) (*.net *.split)
2022-06-20 06:30:08 +0200mesaoptimizer(sid546676@user/PapuaHardyNet) (*.net *.split)
2022-06-20 06:30:08 +0200bradparker(sid262931@id-262931.uxbridge.irccloud.com) (*.net *.split)
2022-06-20 06:30:08 +0200b20n(sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split)
2022-06-20 06:30:08 +0200parseval(sid239098@id-239098.helmsley.irccloud.com) (*.net *.split)
2022-06-20 06:30:08 +0200edmundnoble(sid229620@id-229620.helmsley.irccloud.com) (*.net *.split)
2022-06-20 06:30:16 +0200alinab(sid468903@id-468903.helmsley.irccloud.com)
2022-06-20 06:30:24 +0200dyniec_(~dyniec@mail.dybiec.info)
2022-06-20 06:30:27 +0200mesaoptimizer(sid546676@user/PapuaHardyNet)
2022-06-20 06:30:27 +0200cbarrett(sid192934@id-192934.helmsley.irccloud.com)
2022-06-20 06:30:27 +0200meejah(~meejah@rutas.meejah.ca)
2022-06-20 06:30:29 +0200integral(sid296274@user/integral)
2022-06-20 06:30:31 +0200bjs(sid190364@user/bjs)
2022-06-20 06:30:32 +0200parseval(sid239098@id-239098.helmsley.irccloud.com)
2022-06-20 06:30:39 +0200Guest7(~Guest7@2601:483:5a80:16e0:b9e3:e3df:8bd9:7968) (Client Quit)
2022-06-20 06:30:45 +0200poljar(~poljar@93-139-81-189.adsl.net.t-com.hr)
2022-06-20 06:30:53 +0200bradparker(sid262931@id-262931.uxbridge.irccloud.com)
2022-06-20 06:30:55 +0200edmundnoble(sid229620@id-229620.helmsley.irccloud.com)
2022-06-20 06:30:56 +0200philpax_(sid516926@id-516926.lymington.irccloud.com)
2022-06-20 06:30:56 +0200chessai(sid225296@id-225296.lymington.irccloud.com)
2022-06-20 06:30:57 +0200lightandlight(sid135476@2a03:5180:f:1::2:1134)
2022-06-20 06:31:05 +0200cocreature(~moritz@2a03:b0c0:3:d0::c8:f001)
2022-06-20 06:31:07 +0200b20n(sid115913@id-115913.uxbridge.irccloud.com)
2022-06-20 06:31:22 +0200carter(sid14827@2a03:5180:f:1::39eb)
2022-06-20 06:32:08 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com)
2022-06-20 06:32:09 +0200Adran(adran@botters/adran)
2022-06-20 06:32:28 +0200thewaves(~thewaves@2001:470:69fc:105::2:2eef)
2022-06-20 06:32:33 +0200lambda451[m](~lambda451@2001:470:69fc:105::2:1097)
2022-06-20 06:33:24 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2022-06-20 06:33:28 +0200bitonic(~bitonic@2001:470:69fc:105::1812)
2022-06-20 06:34:17 +0200cony_mony[m](~conymonym@2001:470:69fc:105::2:2ea2)
2022-06-20 06:34:47 +0200hochata(~hochata@user/hochata)
2022-06-20 06:36:54 +0200chreekat(~chreekat@2001:470:69fc:105::16b5)
2022-06-20 06:41:31 +0200geekosaur[m](~geekosaur@xmonad/geekosaur)
2022-06-20 06:41:51 +0200elfi2125[m](~elfi2125m@2001:470:69fc:105::2:13d6)
2022-06-20 06:42:32 +0200unclechu(~unclechu@2001:470:69fc:105::354)
2022-06-20 06:43:17 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2022-06-20 06:43:52 +0200Tubo[m](~tubogram@user/tubogram)
2022-06-20 06:46:47 +0200polykernel[m](~polykerne@user/polykernel)
2022-06-20 06:47:31 +0200ereslibre[m](~ereslibre@2001:470:69fc:105::1:8f90)
2022-06-20 06:48:32 +0200liz(~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Quit: Lost terminal)
2022-06-20 06:49:05 +0200ralu17(~ralu@static.211.245.203.116.clients.your-server.de)
2022-06-20 06:49:22 +0200treeshateorcs[m](~treeshate@2001:470:69fc:105::1:41c4)
2022-06-20 06:49:58 +0200darksatanic(~darkling@savella.carfax.org.uk)
2022-06-20 06:50:01 +0200eL_Bart0(eL_Bart0@dietunichtguten.org)
2022-06-20 06:50:04 +0200tapas_(sid467876@id-467876.ilkley.irccloud.com)
2022-06-20 06:50:10 +0200avpx_(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com)
2022-06-20 06:51:05 +0200rodental(~rodental@38.146.5.222) (Ping timeout: 248 seconds)
2022-06-20 06:51:32 +0200telser_(~quassel@user/telser)
2022-06-20 06:51:33 +0200bonz060_(~quassel@2001:bc8:47a4:a23::1)
2022-06-20 06:52:21 +0200SIben_(~SIben@ns3106586.ip-5-135-191.eu)
2022-06-20 06:52:22 +0200djanatyn1(~djanatyn@vps-7f49a6b0.vps.ovh.ca)
2022-06-20 06:52:22 +0200some02(~cat@user/sudden)
2022-06-20 06:52:22 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2022-06-20 06:52:24 +0200shachaf_(~shachaf@li227-219.members.linode.com)
2022-06-20 06:52:26 +0200gdd1(~gdd@2001:470:1f13:187:7f5b:6c09:f7ed:fdf0)
2022-06-20 06:52:38 +0200lucifero(~satan@ip-046-223-003-068.um13.pools.vodafone-ip.de)
2022-06-20 06:52:53 +0200Patternm1ster(~georg@li1192-118.members.linode.com)
2022-06-20 06:52:55 +0200robbert(~robbert@robbertvanderhelm.nl)
2022-06-20 06:52:56 +0200statusfa1led(~statusfai@statusfailed.com)
2022-06-20 06:52:56 +0200ncf_(~n@monade.li)
2022-06-20 06:53:01 +0200darkling(~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (Ping timeout: 272 seconds)
2022-06-20 06:53:01 +0200eL_Bart0-(eL_Bart0@dietunichtguten.org) (Ping timeout: 272 seconds)
2022-06-20 06:53:01 +0200thornAvery(~thornAver@104.156.232.89) (Ping timeout: 272 seconds)
2022-06-20 06:53:01 +0200avpx(~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Ping timeout: 272 seconds)
2022-06-20 06:53:01 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 272 seconds)
2022-06-20 06:53:02 +0200cony_mony[m](~conymonym@2001:470:69fc:105::2:2ea2) (Ping timeout: 272 seconds)
2022-06-20 06:53:02 +0200Nate[m](~m52957mat@2001:470:69fc:105::1:591a) (Ping timeout: 272 seconds)
2022-06-20 06:53:02 +0200doomfume[m](~doomfumeh@2001:470:69fc:105::2:2a62) (Ping timeout: 272 seconds)
2022-06-20 06:53:02 +0200gdd(~gdd@2001:470:1f13:187:49b9:231c:6a88:73db) (Ping timeout: 272 seconds)
2022-06-20 06:53:02 +0200perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 272 seconds)
2022-06-20 06:53:02 +0200sudden(~cat@user/sudden) (Ping timeout: 272 seconds)
2022-06-20 06:53:02 +0200Zach[m](~zoglesby@user/zoglesby) (Ping timeout: 272 seconds)
2022-06-20 06:53:02 +0200kosmikus[m](~andresloe@2001:470:69fc:105::95d) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200djanatyn(~djanatyn@vps-7f49a6b0.vps.ovh.ca) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200JensPetersen[m](~juhp@2001:470:69fc:105::6e9) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200hinny[m](~hinnymatr@2001:470:69fc:105::2:18ed) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200coltenwebb[m](~coltenweb@2001:470:69fc:105::2:17c7) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200andjjj23_(~irc@107.170.228.47) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200SIben(~SIben@ns3106586.ip-5-135-191.eu) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200steve[m](~stevetrou@2001:470:69fc:105::e0b) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200belphegor666(~satan@user/belphegor666) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200canta(~canta@user/canta) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200shachaf(~shachaf@user/shachaf) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200hochata(~hochata@user/hochata) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200bitonic(~bitonic@2001:470:69fc:105::1812) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200asm(~alexander@user/asm) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200tureba(~tureba@tureba.org) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200Patternmaster(~georg@user/Patternmaster) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200xsarnik(xsarnik@lounge.fi.muni.cz) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200xstill_(xstill@fimu/xstill) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200ncf(~n@monade.li) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200robbert-vdh(~robbert@robbertvanderhelm.nl) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200tapas(sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200shane(~shane@ana.rch.ist) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200bonz060(~quassel@2001:bc8:47a4:a23::1) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200telser(~quassel@user/telser) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200statusfailed(~statusfai@statusfailed.com) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200[_________](~oos95GWG@user/oos95GWG) (Ping timeout: 272 seconds)
2022-06-20 06:53:03 +0200_[_________]_(~oos95GWG@user/oos95GWG)
2022-06-20 06:53:03 +0200tapas_tapas
2022-06-20 06:53:04 +0200ralu17ralu1
2022-06-20 06:53:10 +0200shane_(~shane@ana.rch.ist)
2022-06-20 06:53:29 +0200canta(~canta@user/canta)
2022-06-20 06:53:56 +0200xstill_(xstill@fimu/xstill)
2022-06-20 06:54:12 +0200asm(~alexander@burner.asm89.io)
2022-06-20 06:54:29 +0200yauhsien(~yauhsien@61-231-58-85.dynamic-ip.hinet.net)
2022-06-20 06:57:12 +0200shriekingnoise(~shrieking@201.212.175.181) (Quit: Quit)
2022-06-20 06:59:35 +0200yauhsien(~yauhsien@61-231-58-85.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-06-20 07:01:48 +0200shachaf_(~shachaf@li227-219.members.linode.com) (Changing host)
2022-06-20 07:01:48 +0200shachaf_(~shachaf@user/shachaf)
2022-06-20 07:01:50 +0200shachaf_shachaf
2022-06-20 07:03:25 +0200doomfume[m](~doomfumeh@2001:470:69fc:105::2:2a62)
2022-06-20 07:04:47 +0200andjjj23_(~irc@107.170.228.47)
2022-06-20 07:04:58 +0200tureba(~tureba@tureba.org)
2022-06-20 07:05:05 +0200perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-06-20 07:05:17 +0200Zach[m](~zoglesby@user/zoglesby)
2022-06-20 07:05:31 +0200coltenwebb[m](~coltenweb@2001:470:69fc:105::2:17c7)
2022-06-20 07:06:04 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2022-06-20 07:07:45 +0200JensPetersen[m](~juhp@2001:470:69fc:105::6e9)
2022-06-20 07:08:34 +0200kosmikus[m](~andresloe@2001:470:69fc:105::95d)
2022-06-20 07:08:51 +0200steve[m](~stevetrou@2001:470:69fc:105::e0b)
2022-06-20 07:09:38 +0200hinny[m](~hinnymatr@2001:470:69fc:105::2:18ed)
2022-06-20 07:12:14 +0200Nate[m](~m52957mat@2001:470:69fc:105::1:591a)
2022-06-20 07:13:08 +0200xsarnik(xsarnik@lounge.fi.muni.cz)
2022-06-20 07:16:54 +0200_[_________]_(~oos95GWG@user/oos95GWG) (Quit: _[_________]_)
2022-06-20 07:17:04 +0200[_________](~oos95GWG@user/oos95GWG)
2022-06-20 07:17:10 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2022-06-20 07:18:09 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2022-06-20 07:18:16 +0200cony_mony[m](~conymonym@2001:470:69fc:105::2:2ea2)
2022-06-20 07:18:37 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2022-06-20 07:18:53 +0200bitonic(~bitonic@2001:470:69fc:105::1812)
2022-06-20 07:19:52 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-06-20 07:20:10 +0200hochata(~hochata@user/hochata)
2022-06-20 07:24:14 +0200nate4(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-06-20 07:28:18 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-06-20 07:28:59 +0200califax(~califax@user/califx)
2022-06-20 07:31:24 +0200coot(~coot@213.134.190.95)
2022-06-20 07:33:23 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-06-20 07:34:01 +0200mbuf(~Shakthi@171.61.167.221)
2022-06-20 07:45:48 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-06-20 07:47:28 +0200califax(~califax@user/califx)
2022-06-20 07:49:51 +0200mmhat(~mmh@p200300f1c7385d7dee086bfffe095315.dip0.t-ipconnect.de)
2022-06-20 08:00:13 +0200michalz(~michalz@185.246.204.125)
2022-06-20 08:04:22 +0200yauhsien(~yauhsien@61-231-58-85.dynamic-ip.hinet.net)
2022-06-20 08:04:40 +0200Infinite74(~Infinite@49.39.115.37)
2022-06-20 08:06:36 +0200dos__^^(~user@user/dos/x-1723657)
2022-06-20 08:08:40 +0200nate4(~nate@98.45.169.16)
2022-06-20 08:12:04 +0200califax(~califax@user/califx) (Ping timeout: 240 seconds)
2022-06-20 08:13:10 +0200califax(~califax@user/califx)
2022-06-20 08:14:31 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 08:14:52 +0200uberrice(~uberrice@77-58-67-184.dclient.hispeed.ch) (Quit: Client closed)
2022-06-20 08:15:58 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) (Remote host closed the connection)
2022-06-20 08:16:07 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-06-20 08:19:42 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-06-20 08:20:34 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-06-20 08:26:38 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-06-20 08:26:52 +0200yushyin(OdT0XD4zx5@mail.karif.server-speed.net) (Quit: WeeChat 3.4.1)
2022-06-20 08:27:01 +0200yushyin(w8oD1vlcZ2@mail.karif.server-speed.net)
2022-06-20 08:31:13 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 08:32:17 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-06-20 08:33:14 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-06-20 08:33:14 +0200ccntrq1ccntrq
2022-06-20 08:36:36 +0200odnes(~odnes@5-203-186-208.pat.nym.cosmote.net)
2022-06-20 08:36:42 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2022-06-20 08:38:17 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-06-20 08:40:36 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 08:41:57 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-06-20 08:42:27 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-06-20 08:42:33 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 248 seconds)
2022-06-20 08:42:33 +0200ccntrq1ccntrq
2022-06-20 08:43:59 +0200rkk(~rkk@2601:547:b00:a23:396:e559:7b5:7302)
2022-06-20 08:47:48 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 08:48:04 +0200vglfr(~vglfr@coupling.penchant.volia.net)
2022-06-20 08:49:53 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-06-20 08:49:53 +0200ccntrq1ccntrq
2022-06-20 08:51:07 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 268 seconds)
2022-06-20 08:54:49 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2022-06-20 08:56:32 +0200pavonia(~user@user/siracusa)
2022-06-20 08:56:36 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:efa1:ff7c:7895:e2a0)
2022-06-20 09:00:01 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 09:00:20 +0200alp__(~alp@user/alp)
2022-06-20 09:00:25 +0200Neuromancer(~Neuromanc@user/neuromancer) (Ping timeout: 258 seconds)
2022-06-20 09:02:30 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 264 seconds)
2022-06-20 09:02:30 +0200ccntrq1ccntrq
2022-06-20 09:05:26 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de)
2022-06-20 09:07:25 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (*.net *.split)
2022-06-20 09:07:25 +0200califax(~califax@user/califx) (*.net *.split)
2022-06-20 09:07:25 +0200stiell(~stiell@gateway/tor-sasl/stiell) (*.net *.split)
2022-06-20 09:07:25 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (*.net *.split)
2022-06-20 09:07:25 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato) (*.net *.split)
2022-06-20 09:07:25 +0200ec_(~ec@gateway/tor-sasl/ec) (*.net *.split)
2022-06-20 09:07:25 +0200chexum(~quassel@gateway/tor-sasl/chexum) (*.net *.split)
2022-06-20 09:07:25 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (*.net *.split)
2022-06-20 09:07:25 +0200noteness(~noteness@user/noteness) (*.net *.split)
2022-06-20 09:07:25 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (*.net *.split)
2022-06-20 09:07:25 +0200winny(~weechat@user/winny) (*.net *.split)
2022-06-20 09:09:31 +0200ec_(~ec@gateway/tor-sasl/ec)
2022-06-20 09:09:36 +0200califax(~califax@user/califx)
2022-06-20 09:09:41 +0200winny(~weechat@user/winny)
2022-06-20 09:09:44 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 09:09:55 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-06-20 09:10:04 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-06-20 09:10:09 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-06-20 09:10:10 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-06-20 09:10:40 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-06-20 09:12:05 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-06-20 09:12:05 +0200ccntrq1ccntrq
2022-06-20 09:12:48 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-06-20 09:13:20 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato)
2022-06-20 09:13:31 +0200noteness(~noteness@user/noteness)
2022-06-20 09:16:08 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-06-20 09:16:08 +0200zeenk(~zeenk@2a02:2f04:a301:3d00:39df:1c4b:8a55:48d3)
2022-06-20 09:16:22 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265)
2022-06-20 09:20:44 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) (Ping timeout: 255 seconds)
2022-06-20 09:21:55 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 09:23:12 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-06-20 09:23:18 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 240 seconds)
2022-06-20 09:23:18 +0200ccntrq1ccntrq
2022-06-20 09:23:25 +0200odnes(~odnes@5-203-186-208.pat.nym.cosmote.net) (Remote host closed the connection)
2022-06-20 09:24:17 +0200acetakwas(~acetakwas@f240139.upc-f.chello.nl) (Ping timeout: 252 seconds)
2022-06-20 09:26:31 +0200ec(~ec@gateway/tor-sasl/ec)
2022-06-20 09:27:46 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-06-20 09:28:06 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-06-20 09:28:08 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 268 seconds)
2022-06-20 09:28:18 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-06-20 09:29:22 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-06-20 09:29:49 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-06-20 09:30:11 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-06-20 09:31:29 +0200rkk(~rkk@2601:547:b00:a23:396:e559:7b5:7302) (Quit: Leaving)
2022-06-20 09:34:30 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds)
2022-06-20 09:34:38 +0200gmg(~user@user/gehmehgeh)
2022-06-20 09:37:27 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net)
2022-06-20 09:40:52 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 09:41:13 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2022-06-20 09:42:22 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-06-20 09:42:48 +0200rkk(~rkk@2601:547:b00:a23:396:e559:7b5:7302)
2022-06-20 09:42:49 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 248 seconds)
2022-06-20 09:42:49 +0200ccntrq1ccntrq
2022-06-20 09:42:54 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-06-20 09:46:54 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 264 seconds)
2022-06-20 09:47:16 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 09:49:08 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 246 seconds)
2022-06-20 09:49:08 +0200ccntrq1ccntrq
2022-06-20 09:50:53 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 246 seconds)
2022-06-20 09:50:58 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-06-20 09:52:09 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-06-20 09:52:36 +0200machinedgod(~machinedg@66.244.246.252)
2022-06-20 09:54:54 +0200noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-06-20 09:55:43 +0200rkk(~rkk@2601:547:b00:a23:396:e559:7b5:7302) (Remote host closed the connection)
2022-06-20 09:55:45 +0200noteness(~noteness@user/noteness)
2022-06-20 09:55:59 +0200rkk(~rkk@2601:547:b00:a23:396:e559:7b5:7302)
2022-06-20 10:00:36 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-06-20 10:01:59 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-06-20 10:04:18 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 10:05:15 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 276 seconds)
2022-06-20 10:06:06 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 264 seconds)
2022-06-20 10:06:06 +0200ccntrq1ccntrq
2022-06-20 10:11:33 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer)
2022-06-20 10:11:49 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2022-06-20 10:11:50 +0200rkk_(~rkk@2601:547:b00:a23:396:e559:7b5:7302)
2022-06-20 10:12:15 +0200rkk(~rkk@2601:547:b00:a23:396:e559:7b5:7302) (Read error: Connection reset by peer)
2022-06-20 10:14:50 +0200coot(~coot@213.134.190.95)
2022-06-20 10:15:12 +0200fserucas(~fserucas@193.65.114.89.rev.vodafone.pt)
2022-06-20 10:15:13 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 10:15:22 +0200fserucas_(~fserucas@193.65.114.89.rev.vodafone.pt)
2022-06-20 10:15:58 +0200machinedgod(~machinedg@66.244.246.252) (Ping timeout: 240 seconds)
2022-06-20 10:16:36 +0200phma(phma@2001:5b0:212a:b718:56ef:209:92f5:8519)
2022-06-20 10:17:30 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 264 seconds)
2022-06-20 10:17:30 +0200ccntrq1ccntrq
2022-06-20 10:17:57 +0200machinedgod(~machinedg@66.244.246.252)
2022-06-20 10:18:02 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de)
2022-06-20 10:18:47 +0200ncf_ncf
2022-06-20 10:20:55 +0200frost(~frost@user/frost)
2022-06-20 10:20:59 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-06-20 10:24:14 +0200frost(~frost@user/frost) (Client Quit)
2022-06-20 10:25:08 +0200fserucas_(~fserucas@193.65.114.89.rev.vodafone.pt) (Quit: Leaving)
2022-06-20 10:25:08 +0200fserucas(~fserucas@193.65.114.89.rev.vodafone.pt) (Quit: Leaving)
2022-06-20 10:25:24 +0200fserucas(~fserucas@193.65.114.89.rev.vodafone.pt)
2022-06-20 10:25:43 +0200eod|fserucas(~eod|fseru@193.65.114.89.rev.vodafone.pt)
2022-06-20 10:27:03 +0200frost(~frost@user/frost)
2022-06-20 10:27:40 +0200Infinite74(~Infinite@49.39.115.37) (Quit: Client closed)
2022-06-20 10:28:22 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-06-20 10:29:10 +0200yauhsien(~yauhsien@61-231-58-85.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2022-06-20 10:29:11 +0200noteness(~noteness@user/noteness) (Ping timeout: 268 seconds)
2022-06-20 10:29:41 +0200noteness(~noteness@user/noteness)
2022-06-20 10:30:25 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-06-20 10:33:51 +0200_rkk(~rkk@2601:547:b00:a23:396:e559:7b5:7302)
2022-06-20 10:34:13 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 10:35:05 +0200rkk_(~rkk@2601:547:b00:a23:396:e559:7b5:7302) (Read error: Connection reset by peer)
2022-06-20 10:35:22 +0200_rkk(~rkk@2601:547:b00:a23:396:e559:7b5:7302) (Remote host closed the connection)
2022-06-20 10:35:23 +0200CiaoSen(~Jura@p200300c95732b3002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-06-20 10:35:43 +0200rkk(~rkk@2601:547:b00:a23:396:e559:7b5:7302)
2022-06-20 10:36:42 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 264 seconds)
2022-06-20 10:36:42 +0200ccntrq1ccntrq
2022-06-20 10:37:53 +0200yauhsien(~yauhsien@61-231-23-53.dynamic-ip.hinet.net)
2022-06-20 10:41:30 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 268 seconds)
2022-06-20 10:41:38 +0200nate4(~nate@98.45.169.16)
2022-06-20 10:42:41 +0200yauhsien(~yauhsien@61-231-23-53.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2022-06-20 10:44:14 +0200rkk(~rkk@2601:547:b00:a23:396:e559:7b5:7302) (Quit: Leaving)
2022-06-20 10:45:21 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 10:46:11 +0200nate4(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-06-20 10:46:32 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-06-20 10:47:14 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 246 seconds)
2022-06-20 10:47:14 +0200ccntrq1ccntrq
2022-06-20 10:51:37 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 248 seconds)
2022-06-20 10:56:25 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 10:58:54 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 264 seconds)
2022-06-20 10:58:54 +0200ccntrq1ccntrq
2022-06-20 10:59:01 +0200yauhsien(~yauhsien@61-231-23-53.dynamic-ip.hinet.net)
2022-06-20 11:01:54 +0200Alex_test(~al_test@94.233.240.20) (Quit: ;-)
2022-06-20 11:02:43 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-06-20 11:02:48 +0200AlexZenon(~alzenon@94.233.240.20) (Quit: ;-)
2022-06-20 11:03:49 +0200ec(~ec@gateway/tor-sasl/ec)
2022-06-20 11:03:51 +0200AlexNoo(~AlexNoo@94.233.240.20) (Quit: Leaving)
2022-06-20 11:05:45 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-06-20 11:07:08 +0200rkk(~rkk@2601:547:b00:a23:396:e559:7b5:7302)
2022-06-20 11:08:01 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Quit: _)
2022-06-20 11:10:28 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-06-20 11:11:30 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 264 seconds)
2022-06-20 11:11:32 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-06-20 11:11:57 +0200CiaoSen(~Jura@p200300c95732b3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen)
2022-06-20 11:12:24 +0200ec(~ec@gateway/tor-sasl/ec)
2022-06-20 11:13:06 +0200kuribas(~user@ptr-17d51eo175zv1ex382a.18120a2.ip6.access.telenet.be)
2022-06-20 11:15:53 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 11:16:29 +0200CiaoSen(~Jura@p200300c95732b3002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-06-20 11:18:24 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265)
2022-06-20 11:18:30 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-06-20 11:18:30 +0200ccntrq1ccntrq
2022-06-20 11:20:29 +0200CiaoSen(~Jura@p200300c95732b3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Client Quit)
2022-06-20 11:21:26 +0200__monty__(~toonn@user/toonn)
2022-06-20 11:22:17 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-06-20 11:22:33 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) (Ping timeout: 248 seconds)
2022-06-20 11:25:43 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 11:26:40 +0200AlexZenon(~alzenon@94.233.240.20)
2022-06-20 11:26:44 +0200AlexNoo(~AlexNoo@94.233.240.20)
2022-06-20 11:27:37 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 256 seconds)
2022-06-20 11:27:37 +0200ccntrq1ccntrq
2022-06-20 11:28:13 +0200Alex_test(~al_test@94.233.240.20)
2022-06-20 11:29:31 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-06-20 11:29:35 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de)
2022-06-20 11:30:18 +0200coot(~coot@213.134.190.95)
2022-06-20 11:32:05 +0200winny(~weechat@user/winny) (Ping timeout: 268 seconds)
2022-06-20 11:32:45 +0200user(~user@esm-84-240-99-143.netplaza.fi)
2022-06-20 11:32:50 +0200asm(~alexander@burner.asm89.io) (Changing host)
2022-06-20 11:32:50 +0200asm(~alexander@user/asm)
2022-06-20 11:33:00 +0200user(~user@esm-84-240-99-143.netplaza.fi) (Client Quit)
2022-06-20 11:33:12 +0200user(~user@esm-84-240-99-143.netplaza.fi)
2022-06-20 11:33:26 +0200zaquest(~notzaques@5.130.79.72)
2022-06-20 11:33:48 +0200user(~user@esm-84-240-99-143.netplaza.fi) (Client Quit)
2022-06-20 11:34:01 +0200mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi)
2022-06-20 11:34:29 +0200winny(~weechat@user/winny)
2022-06-20 11:35:53 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 248 seconds)
2022-06-20 11:36:02 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Read error: Connection reset by peer)
2022-06-20 11:36:31 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de)
2022-06-20 11:38:58 +0200mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 240 seconds)
2022-06-20 11:41:23 +0200robbertrobbert-vdh
2022-06-20 11:42:53 +0200acidjnk_new(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de)
2022-06-20 11:43:14 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Read error: Connection reset by peer)
2022-06-20 11:43:47 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de)
2022-06-20 11:45:04 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-06-20 11:45:25 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-06-20 11:46:18 +0200CiaoSen(~Jura@p200300c95732b3002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-06-20 11:46:58 +0200acidjnk_new(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 240 seconds)
2022-06-20 11:51:53 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 248 seconds)
2022-06-20 11:57:22 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net)
2022-06-20 11:59:41 +0200rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2022-06-20 12:00:16 +0200rembo10(~rembo10@main.remulis.com)
2022-06-20 12:03:04 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-06-20 12:03:30 +0200rkk(~rkk@2601:547:b00:a23:396:e559:7b5:7302) (Quit: Leaving)
2022-06-20 12:07:51 +0200raym(~raym@user/raym) (Ping timeout: 256 seconds)
2022-06-20 12:08:02 +0200winny(~weechat@user/winny)
2022-06-20 12:11:34 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-06-20 12:11:37 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 12:13:38 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 240 seconds)
2022-06-20 12:13:38 +0200ccntrq1ccntrq
2022-06-20 12:18:13 +0200ccntrq1(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de)
2022-06-20 12:20:30 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 264 seconds)
2022-06-20 12:20:30 +0200ccntrq1ccntrq
2022-06-20 12:21:10 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds)
2022-06-20 12:22:57 +0200brprice(~brprice@user/brprice)
2022-06-20 12:23:59 +0200chele(~chele@user/chele)
2022-06-20 12:26:40 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-06-20 12:29:36 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-06-20 12:32:04 +0200ccntrq1(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de)
2022-06-20 12:32:30 +0200ccntrq(~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 264 seconds)
2022-06-20 12:32:30 +0200ccntrq1ccntrq
2022-06-20 12:33:06 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 264 seconds)
2022-06-20 12:35:02 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-06-20 12:39:17 +0200ccntrq1(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de)
2022-06-20 12:41:18 +0200ccntrq(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 240 seconds)
2022-06-20 12:41:18 +0200ccntrq1ccntrq
2022-06-20 12:46:11 +0200merijn(~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2022-06-20 12:47:23 +0200nate4(~nate@98.45.169.16)
2022-06-20 12:50:14 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer)
2022-06-20 12:50:27 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2022-06-20 12:54:27 +0200ccntrq1(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de)
2022-06-20 12:55:56 +0200ccntrq(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-06-20 12:55:56 +0200ccntrq1ccntrq
2022-06-20 12:58:39 +0200Patternm1ster(~georg@li1192-118.members.linode.com) (Quit: leaving)
2022-06-20 13:00:38 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-06-20 13:00:46 +0200yauhsien(~yauhsien@61-231-23-53.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-06-20 13:02:03 +0200Patternmaster(~georg@user/Patternmaster)
2022-06-20 13:02:58 +0200winny(~weechat@user/winny)
2022-06-20 13:03:20 +0200nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-06-20 13:04:10 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 240 seconds)
2022-06-20 13:06:19 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net)
2022-06-20 13:06:42 +0200ccntrq1(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de)
2022-06-20 13:07:54 +0200ccntrq(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 264 seconds)
2022-06-20 13:07:54 +0200ccntrq1ccntrq
2022-06-20 13:08:24 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-06-20 13:12:37 +0200merijn(~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl)
2022-06-20 13:14:22 +0200yauhsien(~yauhsien@61-231-23-53.dynamic-ip.hinet.net)
2022-06-20 13:14:53 +0200bahamas(~lucian@86.120.77.115)
2022-06-20 13:18:34 +0200lyle(~lyle@104.246.145.85)
2022-06-20 13:19:59 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 268 seconds)
2022-06-20 13:23:44 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds)
2022-06-20 13:24:22 +0200haritz(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk)
2022-06-20 13:24:22 +0200haritz(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host)
2022-06-20 13:24:22 +0200haritz(~hrtz@user/haritz)
2022-06-20 13:24:33 +0200raym(~raym@user/raym)
2022-06-20 13:27:15 +0200ccntrq1(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de)
2022-06-20 13:29:51 +0200ccntrq(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-06-20 13:29:51 +0200ccntrq1ccntrq
2022-06-20 13:32:05 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Read error: Connection reset by peer)
2022-06-20 13:32:05 +0200acidjnk_new(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de)
2022-06-20 13:33:00 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-06-20 13:35:19 +0200ccntrq1(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de)
2022-06-20 13:36:25 +0200ccntrq(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 248 seconds)
2022-06-20 13:36:25 +0200ccntrq1ccntrq
2022-06-20 13:38:14 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2022-06-20 13:40:35 +0200acidjnk_new3(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de)
2022-06-20 13:40:38 +0200acidjnk_new(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Read error: Connection reset by peer)
2022-06-20 13:46:05 +0200acidjnk_new(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de)
2022-06-20 13:46:08 +0200acidjnk_new3(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Read error: Connection reset by peer)
2022-06-20 13:50:33 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-06-20 13:51:12 +0200ccntrq1(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de)
2022-06-20 13:52:10 +0200frost(~frost@user/frost)
2022-06-20 13:52:38 +0200ccntrq(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 240 seconds)
2022-06-20 13:52:38 +0200ccntrq1ccntrq
2022-06-20 13:54:14 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de)
2022-06-20 13:57:45 +0200acidjnk_new(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 248 seconds)
2022-06-20 13:59:23 +0200bahamas(~lucian@86.120.77.115) (Quit: Lost terminal)
2022-06-20 14:03:06 +0200ccntrq1(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de)
2022-06-20 14:03:31 +0200treeshateorcs[m](~treeshate@2001:470:69fc:105::1:41c4) ()
2022-06-20 14:04:59 +0200ccntrq(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 246 seconds)
2022-06-20 14:04:59 +0200ccntrq1ccntrq
2022-06-20 14:05:12 +0200acetakwas(~acetakwas@165.225.28.51)
2022-06-20 14:06:30 +0200xff0x(~xff0x@2405:6580:b080:900:2bf3:2621:9294:3fa3)
2022-06-20 14:09:41 +0200ccntrq1(~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de)
2022-06-20 14:10:14 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 246 seconds)
2022-06-20 14:11:37 +0200ccntrq(~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 248 seconds)
2022-06-20 14:11:37 +0200ccntrq1ccntrq
2022-06-20 14:20:36 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-06-20 14:20:57 +0200ccntrq1(~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de)
2022-06-20 14:22:17 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2022-06-20 14:22:58 +0200ccntrq(~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de) (Ping timeout: 240 seconds)
2022-06-20 14:22:58 +0200ccntrq1ccntrq
2022-06-20 14:24:25 +0200Guest5(~Guest5@62.48.23.95.dynamic.jazztel.es)
2022-06-20 14:24:57 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2022-06-20 14:25:00 +0200pleo(~pleo@user/pleo)
2022-06-20 14:27:21 +0200causal(~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e)
2022-06-20 14:27:50 +0200 <Guest5> Hi, I am new to haskell I have read a book or two, I understand the concept of a monoid but I can not imagine-find an example where I would apply the concept of monoid to solve a typical daily programming problem, can somebody kindly give me an example or point me in the write direction, thanks
2022-06-20 14:29:18 +0200 <merijn> I think I had some AoC examples using monoids
2022-06-20 14:29:25 +0200 <merijn> (spoilers for AoC, obviously ;))
2022-06-20 14:29:55 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de)
2022-06-20 14:29:56 +0200 <geekosaur> monoid is one of those things that you just don't notice, because they're so common
2022-06-20 14:30:50 +0200 <jackdk> Guest5: many operations of teh form "summarise a list of something into some other data structure" rely on something monoidal
2022-06-20 14:30:53 +0200 <merijn> Guest5: Some examples of monoids you've used without noticing: Sum (summing numbers), Product (multiplying numbers), Min/Max (self explanatory), concatenating lists
2022-06-20 14:31:57 +0200 <merijn> hmm, mostly some examples using Endo, not super accessible, I guess
2022-06-20 14:32:42 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-06-20 14:33:23 +0200 <geekosaur> I'd say Monoid is less something you use to solve a problem, than it is a principled way to "overload" various similar operations like adding numbers together, concatenating strings, etc.
2022-06-20 14:33:29 +0200 <jackdk> There is a library, `monoidal-containers`, which provides wrappers around the standard map interfaces so that you have `instance (Ord k, Monoid v) => Monoid (Map k v)`, where `(<>)` is `unionWith (<>)` (which means "union the two maps together, but where you have a key collision, combine the values using `(<>)`")
2022-06-20 14:33:48 +0200ec(~ec@gateway/tor-sasl/ec)
2022-06-20 14:33:50 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-06-20 14:34:15 +0200 <maralorn> Most common Monoid in programming is probably String/Text with concatenation.
2022-06-20 14:34:19 +0200 <Guest5> yes, thats what i mean, i understand the concept and the examples you mention, I found this video https://www.youtube.com/watch?v=BovTQeDK7XI, where he uses monoid to solve a problem , I was wondering if there is an easier example
2022-06-20 14:34:39 +0200 <merijn> jackdk: :O
2022-06-20 14:34:52 +0200 <merijn> jackdk: brb, getting rid of containers everywhere
2022-06-20 14:35:23 +0200 <merijn> It uses Semigroup rather than Monoid, but generalised FizzBuzz is a nice example :p
2022-06-20 14:35:26 +0200 <merijn> https://gist.github.com/merijn/cd0e7918a96fe913cf7d66833e8da354
2022-06-20 14:35:28 +0200 <jackdk> merijn: yeah it's handy. Unfortunately because it wants to provide as many instances as possible, it depends on `lens` for some stuff that's not in `indexed-traverable`
2022-06-20 14:36:11 +0200 <merijn> It's nice, because you can do FizzBuzz with something other than string concatenation :p
2022-06-20 14:36:15 +0200 <jackdk> Guest5: so I have found many times that when I want to process a list of things into a map, it often comes out as a `foldMap` call where the monoid is a `MonoidalMap k v` from `monoidal-containers`.
2022-06-20 14:36:38 +0200 <maralorn> Guest5: I always use the Monoid operator <> for Strings. E.g. "Hello" <> " World!"
2022-06-20 14:36:56 +0200 <Guest5> thanks all
2022-06-20 14:37:02 +0200 <maralorn> That's a easy an example as I can think of.
2022-06-20 14:40:08 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2022-06-20 14:40:46 +0200 <lyle> Guest5: Have you looked at https://wiki.haskell.org/All_About_Monads
2022-06-20 14:41:02 +0200 <geekosaur> monoidsm not monads
2022-06-20 14:41:07 +0200 <geekosaur> monoids, not monads
2022-06-20 14:41:08 +0200 <lyle> Sorry, misread Monoid vs. Monad.
2022-06-20 14:41:31 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-06-20 14:43:40 +0200 <jackdk> Guest5: oh, the classic word count example that google used to use when talking about MapReduce
2022-06-20 14:44:04 +0200 <Guest5> thanks, its also useful and i had not see it !
2022-06-20 14:44:06 +0200Guest5(~Guest5@62.48.23.95.dynamic.jazztel.es) (Quit: Ping timeout (120 seconds))
2022-06-20 14:44:11 +0200 <jackdk> Guest5: suppose you have a list of words, and they've been normalised (let's say downcased, no punctuation, etc.)
2022-06-20 14:44:21 +0200 <jackdk> =(
2022-06-20 14:45:31 +0200Guest5(~Guest5@62.48.23.95.dynamic.jazztel.es)
2022-06-20 14:45:47 +0200 <Guest5> ah, work distribution
2022-06-20 14:45:54 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
2022-06-20 14:46:01 +0200 <jackdk> Guest5: suppose you have a list of words, and they've been normalised (let's say downcased, no punctuation, etc.)
2022-06-20 14:46:23 +0200 <jackdk> then "build a word count" is basically foldMap using the `MonoidalMap Text (Sum Int)` monoid
2022-06-20 14:46:43 +0200 <Guest5> thanks
2022-06-20 14:47:05 +0200 <merijn> Or "fromListWith (<>) . map (,Sum 1)"
2022-06-20 14:47:28 +0200 <jackdk> (You could also think of MapReduce etc as kinda like "distributed `foldMap`", where the "reduce" step is often going to be some kind of monoid)
2022-06-20 14:51:37 +0200ccntrq1(~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de)
2022-06-20 14:52:50 +0200jao(~jao@211.68.17.95.dynamic.jazztel.es)
2022-06-20 14:54:06 +0200ccntrq(~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de) (Ping timeout: 264 seconds)
2022-06-20 14:54:06 +0200ccntrq1ccntrq
2022-06-20 14:54:10 +0200apache(apache2@anubis.0x90.dk)
2022-06-20 14:54:14 +0200apache2(apache2@anubis.0x90.dk) (Read error: Connection reset by peer)
2022-06-20 14:54:16 +0200mncheck(~mncheck@193.224.205.254) (Read error: Connection reset by peer)
2022-06-20 14:54:28 +0200mncheck(~mncheck@193.224.205.254)
2022-06-20 14:54:28 +0200cawfee_(~root@2406:3003:2077:2758::babe)
2022-06-20 14:54:56 +0200Me-me(~me-me@user/me-me) (Read error: Connection reset by peer)
2022-06-20 14:55:16 +0200cawfee(~root@2406:3003:2077:2758::babe) (Read error: Connection reset by peer)
2022-06-20 14:55:34 +0200 <maralorn> I have been accused of "monoidism".^^
2022-06-20 14:56:12 +0200 <merijn> jackdk: MapReduce does assume a symmetric monoid, though
2022-06-20 14:56:20 +0200 <maralorn> before
2022-06-20 14:57:42 +0200 <jackdk> merijn: you might be right, I haven't really played much with it. At least with a monoid you know it's safe to accumulate as many results as you can within a node before you send that result to another node, and you can accumulate results between nodes in a treewise fashion
2022-06-20 14:58:17 +0200 <jackdk> merijn: Also this is a neat little package if you want to rely on that fact: https://hackage.haskell.org/package/commutative-semigroups
2022-06-20 14:59:47 +0200acetakwas(~acetakwas@165.225.28.51) (Ping timeout: 252 seconds)
2022-06-20 15:03:44 +0200ccntrq1(~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de)
2022-06-20 15:04:14 +0200 <Guest5> do you know of a good course or book that concentrate on explaining exemplify easily using monoid, semigroup, applicative, monad, etc, thats where I always get lost and don't feel the ground, down to earth usage, I guess I have problems from going from the abstract to the concrete, specially when spoken to in abstract terms, maybe the other way
2022-06-20 15:04:14 +0200 <Guest5> round from concrete to abstract is easier for me, how did you get around with it, wrapping your head for the first time
2022-06-20 15:04:18 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-06-20 15:05:22 +0200 <geekosaur> I pretty much figured out monoid from math, realizing there was a similarity between (+,0) and (*,1)
2022-06-20 15:06:06 +0200ccntrq(~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de) (Ping timeout: 264 seconds)
2022-06-20 15:06:06 +0200ccntrq1ccntrq
2022-06-20 15:06:42 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-06-20 15:07:19 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-06-20 15:07:33 +0200 <tdammers> (+,0) and (*, 1) have more in common than just the monoid though
2022-06-20 15:07:54 +0200machinedgod(~machinedg@66.244.246.252) (Ping timeout: 264 seconds)
2022-06-20 15:09:34 +0200machinedgod(~machinedg@66.244.246.252)
2022-06-20 15:09:50 +0200 <hpc> i noticed the similarities between numeric/boolean/relational/datatype algebras, but somehow managed to not know what the word "algebra" meant until i saw it on wikipedia :D
2022-06-20 15:12:03 +0200 <hpc> Guest5: some of that just comes from familiarity with various examples
2022-06-20 15:12:15 +0200 <geekosaur> tdammers, sure, but I was 7 at the time (and had managed to miss numtiplication entirely until I had to catch up quickly to fit into a normal class)
2022-06-20 15:12:21 +0200 <geekosaur> *multiplication
2022-06-20 15:12:27 +0200 <geekosaur> how did that happen
2022-06-20 15:12:45 +0200ccntrq1(~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de)
2022-06-20 15:13:31 +0200 <Guest5> Do you know of a good source for such examples, that maybe easy and explained ?
2022-06-20 15:14:03 +0200 <carbolymer> is there a simple way to create a file handle to memory? I need to mock writing / reading from /to a file in a test
2022-06-20 15:14:38 +0200ccntrq(~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de) (Ping timeout: 246 seconds)
2022-06-20 15:14:38 +0200ccntrq1ccntrq
2022-06-20 15:15:44 +0200 <hpc> for me, it was looking at random stuff on hackage and hanging out here
2022-06-20 15:15:48 +0200 <geekosaur> carbolymer, iirc you'd have to patch it into Handle somehow, it supports multiple backends but they're defined by an ADT you can't modify
2022-06-20 15:16:05 +0200 <carbolymer> geekosaur: ugh, I wanted to avoid creating Handles manually
2022-06-20 15:16:10 +0200 <carbolymer> hmm there's `createPipe`
2022-06-20 15:16:11 +0200 <Guest5> thanks
2022-06-20 15:16:13 +0200 <hpc> parsers/interpreters are a good place to start though, there's some stuff around where you write a scheme implementation and such
2022-06-20 15:16:14 +0200 <geekosaur> (GHC.Handle)
2022-06-20 15:16:44 +0200 <merijn> carbolymer: I mean, you can use /dev/null and /dev/random for that?
2022-06-20 15:16:58 +0200 <merijn> Depending on exactly what you need/want
2022-06-20 15:17:27 +0200ccntrq1(~Thunderbi@dynamic-077-006-195-240.77.6.pool.telefonica.de)
2022-06-20 15:17:28 +0200 <carbolymer> merijn: I'm testing logger so I need to give it FD and then consume contents and deserialize from JSON
2022-06-20 15:18:37 +0200shriekingnoise(~shrieking@201.212.175.181)
2022-06-20 15:19:37 +0200ccntrq(~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-06-20 15:19:37 +0200ccntrq1ccntrq
2022-06-20 15:20:37 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-06-20 15:20:41 +0200 <hpc> carbolymer: https://hackage.haskell.org/package/base-4.16.1.0/docs/GHC-IO-Handle.html#v:mkFileHandle looks promising?
2022-06-20 15:21:20 +0200 <carbolymer> I guess, I'm already using openTempFile
2022-06-20 15:21:33 +0200 <carbolymer> so I was wondering if I can totally avoid this "file" step
2022-06-20 15:21:35 +0200 <hpc> make some IORef-ish data type, write a few big instances, and then mkFileHandle
2022-06-20 15:22:00 +0200 <hpc> then break it out into another package because that would be pretty handy elsewhere
2022-06-20 15:22:26 +0200Guest5(~Guest5@62.48.23.95.dynamic.jazztel.es) (Quit: Client closed)
2022-06-20 15:22:26 +0200 <maerwald> carbolymer: afaik the ouroboros protocal does some file-mocking to use io-sim
2022-06-20 15:22:31 +0200 <maerwald> but I can't find it
2022-06-20 15:23:41 +0200 <carbolymer> hpc: thanks, that should work in theory, but I think it's too much of a hassle for not much of a gain ;)
2022-06-20 15:23:41 +0200Kaiepi(~Kaiepi@156.34.47.253) (Read error: Connection reset by peer)
2022-06-20 15:24:00 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-06-20 15:24:04 +0200 <carbolymer> maerwald: thanks, I'll check it in the meantime
2022-06-20 15:24:09 +0200 <maerwald> carbolymer: https://github.com/input-output-hk/ouroboros-network/blob/master/ouroboros-consensus-test/test-sto…
2022-06-20 15:25:39 +0200 <carbolymer> maerwald: that's a lot... I forgot that there's more than just writing and reading from FS
2022-06-20 15:26:15 +0200 <hpc> hmm, maybe i will write it myself later then
2022-06-20 15:26:21 +0200 <maerwald> well, you can mock all this with an effects system too
2022-06-20 15:26:28 +0200 <hpc> it'll be nice to have something legitimately useful on my github instead of just jokes and experiments :D
2022-06-20 15:26:29 +0200 <maerwald> like freer etc
2022-06-20 15:27:54 +0200stefan-_(~cri@42dots.de) (Ping timeout: 244 seconds)
2022-06-20 15:28:15 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Quit: WeeChat 3.5)
2022-06-20 15:28:32 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl)
2022-06-20 15:28:33 +0200frost(~frost@user/frost)
2022-06-20 15:30:24 +0200Polo(~Gambino@user/polo)
2022-06-20 15:31:21 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds)
2022-06-20 15:33:37 +0200stefan-_(~cri@42dots.de)
2022-06-20 15:38:02 +0200 <dminuoso> carbolymer | so I was wondering if I can totally avoid this "file" step
2022-06-20 15:38:26 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net)
2022-06-20 15:38:27 +0200 <dminuoso> The filesystem is a rather convenient and "portable" way to offer system services.
2022-06-20 15:38:55 +0200 <geekosaur> yeh, I was thinking the same. memory-resident files strike me as a waste of memory best used elsewhere
2022-06-20 15:39:56 +0200Polo(~Gambino@user/polo) (Quit: Polo)
2022-06-20 15:41:44 +0200 <dminuoso> carbolymer: And you can combine the two of them, even! If your host uses ramfs (e.g. on /tmp) you get the best of both worlds.
2022-06-20 15:42:06 +0200 <dminuoso> Except you dont need to worry about all the gritty details on how to mock file system access in-memory.
2022-06-20 15:42:14 +0200 <dminuoso> It's been done for you already
2022-06-20 15:42:30 +0200ccntrq1(~Thunderbi@dynamic-077-006-195-240.77.6.pool.telefonica.de)
2022-06-20 15:42:37 +0200 <dminuoso> (Err tmpfs, not ramfs)
2022-06-20 15:42:37 +0200jao(~jao@211.68.17.95.dynamic.jazztel.es) (Ping timeout: 256 seconds)
2022-06-20 15:43:02 +0200acidjnk_new(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de)
2022-06-20 15:44:17 +0200ccntrq(~Thunderbi@dynamic-077-006-195-240.77.6.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-06-20 15:44:17 +0200ccntrq1ccntrq
2022-06-20 15:45:12 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-06-20 15:45:26 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2022-06-20 15:45:45 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net)
2022-06-20 15:46:01 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 248 seconds)
2022-06-20 15:47:10 +0200pleo(~pleo@user/pleo) (Ping timeout: 240 seconds)
2022-06-20 15:49:18 +0200machinedgod(~machinedg@66.244.246.252) (Ping timeout: 264 seconds)
2022-06-20 15:50:10 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de)
2022-06-20 15:50:44 +0200gmg(~user@user/gehmehgeh)
2022-06-20 15:51:07 +0200acidjnk_new(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 256 seconds)
2022-06-20 15:51:11 +0200machinedgod(~machinedg@66.244.246.252)
2022-06-20 15:53:50 +0200kimjetwav(~user@2607:fea8:2340:da00:a3ad:b89c:e37:6b8f) (Remote host closed the connection)
2022-06-20 15:55:18 +0200xff0x(~xff0x@2405:6580:b080:900:2bf3:2621:9294:3fa3) (Ping timeout: 240 seconds)
2022-06-20 15:55:37 +0200dcoutts_(~duncan@host213-122-143-35.range213-122.btcentralplus.com)
2022-06-20 15:56:09 +0200dcoutts(~duncan@host86-150-18-15.range86-150.btcentralplus.com) (Ping timeout: 248 seconds)
2022-06-20 15:56:51 +0200xff0x(~xff0x@2405:6580:b080:900:2bf3:2621:9294:3fa3)
2022-06-20 15:57:22 +0200notzmv(~zmv@user/notzmv)
2022-06-20 15:58:12 +0200Polo(~Gambino@user/polo)
2022-06-20 15:58:14 +0200mrd(~mrd@user/mrd) (Read error: Connection reset by peer)
2022-06-20 16:01:16 +0200dcoutts(~duncan@host213-122-143-35.range213-122.btcentralplus.com)
2022-06-20 16:02:30 +0200dcoutts_(~duncan@host213-122-143-35.range213-122.btcentralplus.com) (Ping timeout: 264 seconds)
2022-06-20 16:02:59 +0200dyeplexer(~dyeplexer@user/dyeplexer)
2022-06-20 16:03:06 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-06-20 16:03:21 +0200acetakwas(~acetakwas@165.225.28.51)
2022-06-20 16:07:42 +0200Vajb(~Vajb@2001:999:40:4c50:1b24:879c:6df3:1d06) (Read error: Connection reset by peer)
2022-06-20 16:07:49 +0200ccntrq1(~Thunderbi@dynamic-077-006-195-240.77.6.pool.telefonica.de)
2022-06-20 16:08:29 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-06-20 16:10:01 +0200tromp(~textual@77.249.230.40)
2022-06-20 16:10:11 +0200acidjnk(~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-06-20 16:10:18 +0200ccntrq(~Thunderbi@dynamic-077-006-195-240.77.6.pool.telefonica.de) (Ping timeout: 264 seconds)
2022-06-20 16:12:34 +0200ccntrq(~Thunderbi@dynamic-077-008-161-034.77.8.pool.telefonica.de)
2022-06-20 16:14:18 +0200ccntrq1(~Thunderbi@dynamic-077-006-195-240.77.6.pool.telefonica.de) (Ping timeout: 240 seconds)
2022-06-20 16:14:24 +0200Kaiepi(~Kaiepi@156.34.47.253) (Read error: Connection reset by peer)
2022-06-20 16:15:45 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-06-20 16:16:35 +0200Kaiepi(~Kaiepi@156.34.47.253) (Remote host closed the connection)
2022-06-20 16:16:54 +0200Polo(~Gambino@user/polo) (Quit: Polo)
2022-06-20 16:17:00 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-06-20 16:17:09 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-06-20 16:17:11 +0200pleo(~pleo@user/pleo)
2022-06-20 16:19:58 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-06-20 16:21:36 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-06-20 16:22:17 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265)
2022-06-20 16:22:31 +0200ccntrq(~Thunderbi@dynamic-077-008-161-034.77.8.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-06-20 16:22:44 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-06-20 16:23:11 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-06-20 16:24:59 +0200ccntrq(~Thunderbi@dynamic-077-001-097-104.77.1.pool.telefonica.de)
2022-06-20 16:26:18 +0200sonny(~sonny@bras-base-toroon0812w-grc-01-142-114-220-108.dsl.bell.ca)
2022-06-20 16:26:53 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) (Ping timeout: 255 seconds)
2022-06-20 16:27:46 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-06-20 16:29:34 +0200jao(~jao@211.68.17.95.dynamic.jazztel.es)
2022-06-20 16:30:20 +0200leeb(~leeb@KD106155005147.au-net.ne.jp)
2022-06-20 16:30:27 +0200Kaipei(~Kaiepi@156.34.47.253)
2022-06-20 16:32:52 +0200forell_(~forell@host-178-216-90-220.sta.tvknaszapraca.pl)
2022-06-20 16:33:29 +0200ccntrq(~Thunderbi@dynamic-077-001-097-104.77.1.pool.telefonica.de) (Ping timeout: 248 seconds)
2022-06-20 16:33:37 +0200forell(~forell@user/forell) (Ping timeout: 256 seconds)
2022-06-20 16:34:18 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 264 seconds)
2022-06-20 16:35:21 +0200ccntrq(~Thunderbi@dynamic-095-112-019-061.95.112.pool.telefonica.de)
2022-06-20 16:36:52 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-06-20 16:37:13 +0200forell_(~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Ping timeout: 248 seconds)
2022-06-20 16:38:04 +0200forell(~forell@user/forell)
2022-06-20 16:38:49 +0200Kaipei(~Kaiepi@156.34.47.253) (Ping timeout: 248 seconds)
2022-06-20 16:38:54 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265)
2022-06-20 16:40:07 +0200 <maerwald> why can't I compose quasiquoters?
2022-06-20 16:44:09 +0200ccntrq(~Thunderbi@dynamic-095-112-019-061.95.112.pool.telefonica.de) (Ping timeout: 248 seconds)
2022-06-20 16:45:03 +0200 <kuribas> ugh, the "extra argument" in generics must be one of the stupidest decisions for all of the haskell standard library.
2022-06-20 16:47:25 +0200 <sonny> Let's say there is a function to allocate memory in Haskell called reserve. What would it's signature look like?
2022-06-20 16:47:30 +0200alp__(~alp@user/alp) (Ping timeout: 264 seconds)
2022-06-20 16:49:32 +0200 <maerwald> https://hackage.haskell.org/package/base-4.16.1.0/docs/Foreign-Marshal-Alloc.html#v:malloc
2022-06-20 16:50:22 +0200 <sonny> wow
2022-06-20 16:51:15 +0200 <sonny> I wondered if it was possible in the type system, and it is
2022-06-20 16:52:16 +0200Polo(~Gambino@user/polo)
2022-06-20 16:52:17 +0200ashln(~ashln@98.38.236.123) (Ping timeout: 246 seconds)
2022-06-20 16:54:15 +0200 <tdammers> why would it not?
2022-06-20 16:54:15 +0200ashln(~ashln@98.38.236.123)
2022-06-20 16:54:20 +0200sonny(~sonny@bras-base-toroon0812w-grc-01-142-114-220-108.dsl.bell.ca) (Quit: Client closed)
2022-06-20 16:54:36 +0200PoloGuest8065
2022-06-20 16:54:36 +0200Guest8065(~Gambino@user/polo) (Killed (calcium.libera.chat (Nickname regained by services)))
2022-06-20 16:55:06 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-06-20 16:55:29 +0200 <maerwald> could we implement a borrow checker with the current linear types?
2022-06-20 16:55:33 +0200 <merijn> I mean, arguably stuff like MVar does the same thing
2022-06-20 16:55:41 +0200 <merijn> maerwald: A limited version, I think?
2022-06-20 16:56:11 +0200 <maerwald> afair, rusts borrow checker has some interaction with the type checker
2022-06-20 16:56:30 +0200 <Hecate> like St?
2022-06-20 16:57:38 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 240 seconds)
2022-06-20 16:57:40 +0200Everything(~Everythin@37.115.210.35)
2022-06-20 16:58:13 +0200sonny(~sonny@bras-base-toroon0812w-grc-01-142-114-220-108.dsl.bell.ca)
2022-06-20 16:59:20 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-06-20 17:00:41 +0200nate4(~nate@98.45.169.16)
2022-06-20 17:01:05 +0200dyeplexer(~dyeplexer@user/dyeplexer) (Ping timeout: 255 seconds)
2022-06-20 17:02:03 +0200alp__(~alp@user/alp)
2022-06-20 17:03:53 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-06-20 17:04:17 +0200shinjipf(~shinjipf@2a02:c207:2082:6685::1) (Quit: Ping timeout (120 seconds))
2022-06-20 17:04:25 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 248 seconds)
2022-06-20 17:04:33 +0200Vajb(~Vajb@2001:999:40:4c50:1b24:879c:6df3:1d06)
2022-06-20 17:04:37 +0200shinjipf(~shinjipf@2a02:c207:2082:6685::1)
2022-06-20 17:04:56 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
2022-06-20 17:05:05 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 268 seconds)
2022-06-20 17:07:17 +0200ec(~ec@gateway/tor-sasl/ec)
2022-06-20 17:11:27 +0200cosimone(~user@93-44-186-171.ip98.fastwebnet.it) (Read error: Connection reset by peer)
2022-06-20 17:12:16 +0200cosimone(~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81)
2022-06-20 17:14:11 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:efa1:ff7c:7895:e2a0) (Quit: WeeChat 2.8)
2022-06-20 17:15:52 +0200odnes(~odnes@5-203-176-182.pat.nym.cosmote.net)
2022-06-20 17:18:35 +0200Pickchea(~private@user/pickchea)
2022-06-20 17:23:11 +0200Guest19(~Guest19@gate.cuzk.cz)
2022-06-20 17:26:39 +0200merijn(~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2022-06-20 17:27:17 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-06-20 17:27:29 +0200dyeplexer(~dyeplexer@user/dyeplexer)
2022-06-20 17:32:12 +0200pleo(~pleo@user/pleo) (Ping timeout: 268 seconds)
2022-06-20 17:32:14 +0200odnes(~odnes@5-203-176-182.pat.nym.cosmote.net) (Read error: Connection reset by peer)
2022-06-20 17:32:28 +0200odnes(~odnes@5-203-176-182.pat.nym.cosmote.net)
2022-06-20 17:32:31 +0200Sgeo(~Sgeo@user/sgeo)
2022-06-20 17:32:50 +0200hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 240 seconds)
2022-06-20 17:34:58 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) (Remote host closed the connection)
2022-06-20 17:36:02 +0200nate4(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-06-20 17:36:47 +0200 <Guest19> Hi, guys, I saw "migration to a fully Clang-based C toolchain, a deep refactoring of the linker, and many fixes in WinIO" in GHC 9.4.1_alpha2 release notes.
2022-06-20 17:36:47 +0200 <Guest19> Should I be excited that when 9.4 goes stable, windows link times will go down to "usable" (for now, simple app that basically uses only Monomer takes ~50 secs to just link) ?
2022-06-20 17:37:24 +0200mbuf(~Shakthi@171.61.167.221) (Quit: Leaving)
2022-06-20 17:38:31 +0200 <geekosaur> yes, reports from #ghc is linking is much faster on windows now
2022-06-20 17:39:20 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-06-20 17:39:25 +0200 <geekosaur> s/is/are/
2022-06-20 17:39:54 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-06-20 17:40:50 +0200 <sm> 🎉
2022-06-20 17:40:52 +0200pleo(~pleo@user/pleo)
2022-06-20 17:40:56 +0200Guest63(~Guest63@2a00:1398:9:fb03:655a:c349:530e:252d)
2022-06-20 17:41:37 +0200dcoutts(~duncan@host213-122-143-35.range213-122.btcentralplus.com) (Ping timeout: 256 seconds)
2022-06-20 17:42:12 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265)
2022-06-20 17:42:12 +0200Guest63(~Guest63@2a00:1398:9:fb03:655a:c349:530e:252d) (Client Quit)
2022-06-20 17:43:12 +0200 <Guest19> COOOL :-)))
2022-06-20 17:43:12 +0200 <Guest19> second question: I use ghcup && stack, probably no chance to easily plug the alpha into this config ?
2022-06-20 17:43:13 +0200 <Guest19> PS: "linking is much faster" is correct ("linkings are much faster", but I never saw the plural form used)
2022-06-20 17:43:36 +0200dcoutts(~duncan@host213-122-143-178.range213-122.btcentralplus.com)
2022-06-20 17:43:52 +0200 <maerwald> Guest19: just use stackage with cabal
2022-06-20 17:48:34 +0200 <Guest19> maerwald: any link, plz ? (how do i plug it together to not disturb anything ? I was under the impression that "use stack, avoid direct cabal use" was recommended for "newbs" (some Haskell experience, but last time I deployed Haskell production app was some 10 years ago)
2022-06-20 17:49:41 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-06-20 17:49:42 +0200 <hpc> cabal's acquired pretty much all of stack's features since then
2022-06-20 17:49:50 +0200sonny(~sonny@bras-base-toroon0812w-grc-01-142-114-220-108.dsl.bell.ca) (Quit: Client closed)
2022-06-20 17:51:19 +0200 <maerwald> Guest19: install cabal prerelease and then use the new import feature: https://cabal.readthedocs.io/en/latest/cabal-project.html?highlight=import#conditionals-and-imports
2022-06-20 17:51:40 +0200 <maerwald> you'd point it to e.g. https://www.stackage.org/lts-18.26/cabal.config
2022-06-20 17:52:04 +0200 <maerwald> to install pre-release read https://www.haskell.org/ghcup/guide/#pre-release-channels
2022-06-20 17:52:29 +0200yauhsien(~yauhsien@61-231-23-53.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-06-20 17:52:30 +0200odnes(~odnes@5-203-176-182.pat.nym.cosmote.net) (Ping timeout: 240 seconds)
2022-06-20 17:52:36 +0200 <Guest19> should I clean my PC of ghcup / stack just for good measure (at least not leaving garbage behind ? i can install/manage my own MSYS2 if needed) ?
2022-06-20 17:52:43 +0200merijn(~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl)
2022-06-20 17:53:01 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-06-20 17:53:17 +0200 <maerwald> you want to use cabal without ghcup? That sounds like fun
2022-06-20 17:55:31 +0200 <Guest19> Back then, I was used to install GHC by hand (binary release), and muddle through a shitload of dependency problems.
2022-06-20 17:56:08 +0200 <Guest19> but the docs are probably gonna tell me what to do, and clean install probably never hurt anything ;-)
2022-06-20 17:57:43 +0200mmhat(~mmh@p200300f1c7385d7dee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5)
2022-06-20 17:58:44 +0200 <Guest19> thanks for the info
2022-06-20 17:58:54 +0200 <maerwald> well, I don't understand your question then
2022-06-20 17:59:30 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-06-20 18:02:04 +0200odnes(~odnes@5-203-176-182.pat.nym.cosmote.net)
2022-06-20 18:03:06 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 264 seconds)
2022-06-20 18:03:37 +0200alp__(~alp@user/alp) (Ping timeout: 248 seconds)
2022-06-20 18:04:41 +0200jakalx(~jakalx@base.jakalx.net)
2022-06-20 18:05:21 +0200yauhsien(~yauhsien@61-231-23-53.dynamic-ip.hinet.net)
2022-06-20 18:06:44 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 268 seconds)
2022-06-20 18:07:58 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2022-06-20 18:08:36 +0200 <Guest19> simple: I have at least two version of ghc, a version of stack and who knows how many "cached compiles" of bunch of libs through stack
2022-06-20 18:08:37 +0200 <Guest19> [you build it; then you added some dep, deleted the lock file, compiled; then changed some more deps ...]
2022-06-20 18:08:37 +0200 <Guest19> last time I checked, there was no garbage collection for these precompiled artifacts, I don't know squat about how cabal eveolved ...
2022-06-20 18:08:38 +0200 <Guest19> clean install it will be, at least unless I know what happens under the hood (and that I won't investigate until some version of GHC performs reasonably well on windows; sadly, my employer insist on self-sabotaging through long-term windows commitment)
2022-06-20 18:09:27 +0200 <geekosaur> @where cabalgc
2022-06-20 18:09:28 +0200 <lambdabot> I know nothing about cabalgc.
2022-06-20 18:09:30 +0200 <geekosaur> bah
2022-06-20 18:09:51 +0200 <geekosaur> https://github.com/treblacy/cabalgc
2022-06-20 18:10:16 +0200 <geekosaur> no idea about for stack, I just hear of people periodically nuking ~/.stack and/or .stack-work
2022-06-20 18:10:25 +0200 <Guest19> thx for all the fish ;-)
2022-06-20 18:11:26 +0200 <geekosaur> @where+ cabalgc https://github.com/treblacy/cabalgc
2022-06-20 18:11:26 +0200 <lambdabot> Okay.
2022-06-20 18:12:28 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-06-20 18:12:34 +0200 <maerwald> geekosaur: did you actually try to use that?
2022-06-20 18:13:39 +0200 <maerwald> there's also https://github.com/phadej/cabal-extras/tree/master/cabal-store-gc
2022-06-20 18:13:47 +0200 <maerwald> but whenever I tried to use any of those, they broke my store
2022-06-20 18:13:58 +0200pleo(~pleo@user/pleo) (Ping timeout: 240 seconds)
2022-06-20 18:14:40 +0200 <geekosaur> no, but I know its limitations (such as that you have to manually pick stuff to gc, and gcing something in active use can cause problems)
2022-06-20 18:15:45 +0200 <geekosaur> proper gc's still unavailable for both tools, sadly
2022-06-20 18:16:33 +0200 <geekosaur> and probably always will be because there's nothing relating or linking together all projects
2022-06-20 18:16:43 +0200 <Guest19> exactly
2022-06-20 18:17:38 +0200 <Guest19> did anyone try "time-guided" gc, ie, "nuke anything I haven't touched in <period>"
2022-06-20 18:18:06 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 264 seconds)
2022-06-20 18:18:20 +0200acetakwas(~acetakwas@165.225.28.51) (Ping timeout: 252 seconds)
2022-06-20 18:18:26 +0200 <geekosaur> I don't think it knows that information, a given package entry is read-only once built so all it knows is how long ago that happened
2022-06-20 18:20:23 +0200 <Guest19> well, there is "last access time.
2022-06-20 18:20:24 +0200 <Guest19> And I would be entirely content with "it might delete something that will be necessary, but in a way it causes no harm / gets rebuilt if needed"
2022-06-20 18:20:24 +0200Vajb(~Vajb@2001:999:40:4c50:1b24:879c:6df3:1d06) (Read error: Connection reset by peer)
2022-06-20 18:21:20 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-06-20 18:21:27 +0200 <geekosaur> last access time isn't always kept on modern systems because it slows things down
2022-06-20 18:22:03 +0200 <geekosaur> stack and cabal are both supposed to rebuild as necessary, but it's still safer to just nuke everything periodically, sadly
2022-06-20 18:22:10 +0200gff(~gff@user/gff) (Ping timeout: 240 seconds)
2022-06-20 18:22:42 +0200 <Guest19> windows do it (at least I think so) and fof user-data partitions, I wouldn't specify "noatime" mount option.
2022-06-20 18:23:03 +0200 <geekosaur> dunno what windows does but if a linux filesystem is mounted relatime or noatime you can't really trust the access time
2022-06-20 18:23:22 +0200 <geekosaur> and on my system (ubuntu) they're all relatime
2022-06-20 18:23:52 +0200 <Guest19> but yeah, the nuke everything approach worked wonders when things went awry (no GC involved, even)
2022-06-20 18:24:20 +0200dyeplexer(~dyeplexer@user/dyeplexer) (Ping timeout: 255 seconds)
2022-06-20 18:24:29 +0200gff(~gff@user/gff)
2022-06-20 18:26:29 +0200pleo(~pleo@user/pleo)
2022-06-20 18:26:37 +0200dcoutts_(~duncan@host213-122-124-157.range213-122.btcentralplus.com)
2022-06-20 18:27:49 +0200chele(~chele@user/chele) (Remote host closed the connection)
2022-06-20 18:27:51 +0200mvk(~mvk@2607:fea8:5ce3:8500::4588)
2022-06-20 18:29:33 +0200dcoutts(~duncan@host213-122-143-178.range213-122.btcentralplus.com) (Ping timeout: 268 seconds)
2022-06-20 18:31:33 +0200 <maerwald> you can use cabal-cache, then backup the stuff you need via it, then nuke your store and pull the backup
2022-06-20 18:31:50 +0200 <maerwald> https://github.com/haskell-works/cabal-cache
2022-06-20 18:31:53 +0200 <Guest19> just off the top of your head, how expensive would the calculation be, if you could point some imagined GC to the directory(ies) containing your projects ?
2022-06-20 18:31:54 +0200 <Guest19> would that be a viable path to "pin the GC roots" ?
2022-06-20 18:32:23 +0200 <maerwald> Guest19: that's what https://github.com/phadej/cabal-extras/tree/master/cabal-store-gc does afaik
2022-06-20 18:33:07 +0200 <maerwald> you add project roots (plan.json)
2022-06-20 18:33:27 +0200 <maerwald> it still broke my store
2022-06-20 18:35:29 +0200mc47(~mc47@xmonad/TheMC47)
2022-06-20 18:35:36 +0200stackdroid18(14094@user/stackdroid)
2022-06-20 18:35:47 +0200 <Guest19> aah, i visited the link, but there was no readme.
2022-06-20 18:35:48 +0200 <Guest19> any insight on what went bad ?
2022-06-20 18:40:49 +0200Tuplanolla(~Tuplanoll@91-159-69-97.elisa-laajakaista.fi)
2022-06-20 18:41:28 +0200Infinite(~Infinite@49.39.115.37)
2022-06-20 18:43:09 +0200jinsun__(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2022-06-20 18:44:40 +0200jinsun(~jinsun@user/jinsun)
2022-06-20 18:45:16 +0200Guest19(~Guest19@gate.cuzk.cz) (Quit: Client closed)
2022-06-20 18:46:13 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-06-20 18:49:15 +0200jinsun__(~jinsun@user/jinsun)
2022-06-20 18:50:01 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 248 seconds)
2022-06-20 18:50:07 +0200sympt0(~sympt@user/sympt)
2022-06-20 18:50:50 +0200sympt(~sympt@user/sympt) (Ping timeout: 240 seconds)
2022-06-20 18:50:51 +0200sympt0sympt
2022-06-20 18:51:45 +0200jinsun__(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2022-06-20 18:54:04 +0200jinsun(~jinsun@user/jinsun)
2022-06-20 18:57:05 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-06-20 18:58:12 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-06-20 18:59:45 +0200img(~img@user/img)
2022-06-20 19:00:20 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 255 seconds)
2022-06-20 19:01:54 +0200nate4(~nate@98.45.169.16)
2022-06-20 19:03:04 +0200noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-06-20 19:03:11 +0200jinsun__(~jinsun@user/jinsun)
2022-06-20 19:04:01 +0200noteness(~noteness@user/noteness)
2022-06-20 19:04:07 +0200hiredman(~hiredman@frontier1.downey.family)
2022-06-20 19:04:57 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 248 seconds)
2022-06-20 19:05:06 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net)
2022-06-20 19:06:01 +0200raym(~raym@user/raym) (Ping timeout: 248 seconds)
2022-06-20 19:06:57 +0200raym(~raym@user/raym)
2022-06-20 19:07:27 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-06-20 19:12:55 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) (Remote host closed the connection)
2022-06-20 19:15:18 +0200jao(~jao@211.68.17.95.dynamic.jazztel.es) (Ping timeout: 240 seconds)
2022-06-20 19:16:35 +0200tromp(~textual@77.249.230.40) (Read error: Connection reset by peer)
2022-06-20 19:19:30 +0200MajorBiscuit(~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 268 seconds)
2022-06-20 19:25:04 +0200 <sm> Guest9265: stack-clean-old is a nice tool for cleaning ghcs and corresponding package deps installed by stack
2022-06-20 19:25:21 +0200 <sm> for cleaning ghcs installed by ghcup, use ghcup itself of course
2022-06-20 19:25:41 +0200 <sm> sorry, I meant Guest19
2022-06-20 19:26:31 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2022-06-20 19:29:59 +0200Midjak(~Midjak@82.66.147.146)
2022-06-20 19:34:05 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 255 seconds)
2022-06-20 19:34:49 +0200Luj(~Luj@2a01:e0a:5f9:9681:c0fe:4e75:d9a4:167f) (Ping timeout: 248 seconds)
2022-06-20 19:35:20 +0200AkechiShiro(~licht@2a01:e0a:5f9:9681:6ef6:204a:3e2c:ce07) (Ping timeout: 248 seconds)
2022-06-20 19:35:46 +0200acidjnk(~acidjnk@dynamic-046-114-175-104.46.114.pool.telefonica.de)
2022-06-20 19:39:39 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-06-20 19:40:43 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265)
2022-06-20 19:41:22 +0200ec(~ec@gateway/tor-sasl/ec) (Quit: ec)
2022-06-20 19:43:30 +0200pleo(~pleo@user/pleo) (Ping timeout: 240 seconds)
2022-06-20 19:43:51 +0200econo(uid147250@user/econo)
2022-06-20 19:44:52 +0200quartz(~irfan@182.77.87.9)
2022-06-20 19:44:57 +0200quartzquartz_
2022-06-20 19:45:23 +0200jonathanx_(~jonathan@c-5eea7304-74736162.cust.telenor.se)
2022-06-20 19:46:54 +0200liz_(~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net)
2022-06-20 19:47:59 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds)
2022-06-20 19:52:45 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection)
2022-06-20 19:53:40 +0200quartz_(~irfan@182.77.87.9) (Quit: leaving)
2022-06-20 19:54:47 +0200kimjetwav(~user@2607:fea8:2340:da00:fe24:c3fc:91f5:a798)
2022-06-20 19:58:47 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-06-20 20:03:58 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-06-20 20:10:25 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-06-20 20:12:40 +0200jonathanx_(~jonathan@c-5eea7304-74736162.cust.telenor.se) (Read error: Connection reset by peer)
2022-06-20 20:13:52 +0200jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-06-20 20:31:20 +0200Infinite(~Infinite@49.39.115.37) (Ping timeout: 252 seconds)
2022-06-20 20:32:00 +0200quartz_(~irfan@182.77.87.9)
2022-06-20 20:32:25 +0200z0k(~z0k@206.84.141.12) (Ping timeout: 248 seconds)
2022-06-20 20:36:09 +0200acidjnk(~acidjnk@dynamic-046-114-175-104.46.114.pool.telefonica.de) (Ping timeout: 248 seconds)
2022-06-20 20:36:49 +0200shriekingnoise(~shrieking@201.212.175.181) (Quit: Quit)
2022-06-20 20:37:00 +0200kuribas(~user@ptr-17d51eo175zv1ex382a.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2022-06-20 20:39:53 +0200leeb(~leeb@KD106155005147.au-net.ne.jp) (Ping timeout: 248 seconds)
2022-06-20 20:44:43 +0200pleo(~pleo@user/pleo)
2022-06-20 20:45:38 +0200 <quartz_> i'm trying to make a length-indexed vector using functional dependencies but the following code doesn't seem to be working with the `append` in any of the patterns.
2022-06-20 20:45:43 +0200 <quartz_> https://paste.tomsmeding.com/UCeEqmnx/raw/1
2022-06-20 20:46:01 +0200 <quartz_> append :: Add m n p => Vector m a -> Vector n a -> Vector p a
2022-06-20 20:47:16 +0200slaydr(~seriley@75.164.63.238)
2022-06-20 20:50:14 +0200 <quartz_> for `append Empty ys`, the error is "could not deduce n ~ p from the context m ~ Zero". but shouldn't `instance Zero b b` make `n ~ p` if `m ~ Zero`?
2022-06-20 20:51:06 +0200 <[exa]> so `m` is a constraint?
2022-06-20 20:51:16 +0200 <[exa]> (I guess you meant `m ~ Z`
2022-06-20 20:52:07 +0200 <quartz_> in the pattern `append Empty ys`, `m ~ Zero` right?
2022-06-20 20:53:13 +0200Luj(~Luj@2a01:e0a:5f9:9681:29a1:f7d3:71e5:d5df)
2022-06-20 20:53:40 +0200 <quartz_> i've added `Add m n p` constraint to `append`. shouldn't that make `p` to be `n` in that case. an equivalent example with type family `append :: Vector m a -> Vector n a -> Vector (Add m n) a` works where `Add` is a type family.
2022-06-20 20:54:06 +0200 <[exa]> ah /me found the pastebin link
2022-06-20 20:54:13 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-06-20 20:54:55 +0200 <[exa]> quartz_: what about if you're adding a bigger number to a smaller one?
2022-06-20 20:55:24 +0200 <[exa]> (and trying to reverse that)
2022-06-20 20:56:37 +0200 <[exa]> uh wait
2022-06-20 20:57:24 +0200 <[exa]> yeah you might need to reverse the second instance rule -- it's evaluated like prolog, against the direction of =>
2022-06-20 20:57:43 +0200 <[exa]> so this way I'd say it can never reach the `Add Zero b b` case
2022-06-20 21:00:20 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-06-20 21:01:15 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection)
2022-06-20 21:01:18 +0200pleo(~pleo@user/pleo) (Ping timeout: 264 seconds)
2022-06-20 21:01:36 +0200 <quartz_> oh! i'm sorry that was wrong. the type checking was not terminating. i've replaced it with `instance Add a b c => Add (Succ a) b (Succ c)`.
2022-06-20 21:01:58 +0200darksatanicdarkling
2022-06-20 21:02:02 +0200 <quartz_> the error still persists though.
2022-06-20 21:03:38 +0200mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi)
2022-06-20 21:04:19 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-06-20 21:04:40 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-06-20 21:05:39 +0200jakalx(~jakalx@base.jakalx.net)
2022-06-20 21:06:31 +0200quartz_(~irfan@182.77.87.9) (Quit: leaving)
2022-06-20 21:09:21 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-06-20 21:12:09 +0200cosimone(~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection)
2022-06-20 21:13:02 +0200cosimone(~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81)
2022-06-20 21:17:17 +0200mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 268 seconds)
2022-06-20 21:17:40 +0200quartz_(~quartz_@2401:4900:1c32:441:d06c:1365:6fe1:e2ec)
2022-06-20 21:18:08 +0200 <quartz_> might it be related to this https://gitlab.haskell.org/ghc/ghc/-/issues/345
2022-06-20 21:21:13 +0200pleo(~pleo@user/pleo)
2022-06-20 21:21:46 +0200 <quartz_> https://paste.tomsmeding.com/dQt4yPcd/raw/1
2022-06-20 21:21:55 +0200 <quartz_> here is the corrected one.
2022-06-20 21:24:05 +0200inversed(~inversed@176.248.27.211) (Ping timeout: 258 seconds)
2022-06-20 21:24:39 +0200 <[exa]> what's your extension list?
2022-06-20 21:26:47 +0200 <quartz_> UndecidableInstances MultiParamsTypeclasses FlexibleInstances
2022-06-20 21:28:27 +0200quartz_(~quartz_@2401:4900:1c32:441:d06c:1365:6fe1:e2ec) (Quit: Client closed)
2022-06-20 21:29:06 +0200quartz_(~quartz_@2401:4900:1c32:441:d06c:1365:6fe1:e2ec)
2022-06-20 21:30:32 +0200inversed(~inversed@176.248.27.211)
2022-06-20 21:31:55 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2022-06-20 21:31:59 +0200notzmv(~zmv@user/notzmv)
2022-06-20 21:32:19 +0200 <maerwald> I'm trying to combine a quasi quoter with a parser at compile time, but I can't find a way to fail in the Q monad when I get a Left value. Basically: `QuasiQuoter (\a -> parser `appE` quasiQuoter1 a)`. So either I have unsafe error inside `parser` that can't be forced properly or I have to somehow escape the quotation and execute the first quasi quoter at compile time, so I don't have to use
2022-06-20 21:32:21 +0200 <maerwald> `appE`
2022-06-20 21:36:47 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection)
2022-06-20 21:37:13 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-06-20 21:37:34 +0200gentauro(~gentauro@user/gentauro)
2022-06-20 21:37:38 +0200odnes(~odnes@5-203-176-182.pat.nym.cosmote.net) (Ping timeout: 268 seconds)
2022-06-20 21:38:12 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net)
2022-06-20 21:38:40 +0200acidjnk(~acidjnk@dynamic-046-114-175-104.46.114.pool.telefonica.de)
2022-06-20 21:39:23 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-06-20 21:42:35 +0200ulvarrefr(~user@188.124.56.153)
2022-06-20 21:42:52 +0200quartz_(~quartz_@2401:4900:1c32:441:d06c:1365:6fe1:e2ec) (Quit: Ping timeout (120 seconds))
2022-06-20 21:43:09 +0200quartz_(~quartz_@2401:4900:1c32:441:d06c:1365:6fe1:e2ec)
2022-06-20 21:43:29 +0200quartz_(~quartz_@2401:4900:1c32:441:d06c:1365:6fe1:e2ec) (Client Quit)
2022-06-20 21:43:56 +0200comerijn(~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl)
2022-06-20 21:44:24 +0200jonathanx__(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-06-20 21:44:28 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2022-06-20 21:44:28 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2022-06-20 21:44:31 +0200allbery_bgeekosaur
2022-06-20 21:44:32 +0200slaydr_(~seriley@75.164.63.238)
2022-06-20 21:44:33 +0200[_](~itchyjunk@user/itchyjunk/x-7353470)
2022-06-20 21:44:33 +0200mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi)
2022-06-20 21:45:42 +0200sympt9(~sympt@user/sympt)
2022-06-20 21:45:50 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds)
2022-06-20 21:45:58 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 240 seconds)
2022-06-20 21:45:58 +0200forell(~forell@user/forell) (Ping timeout: 240 seconds)
2022-06-20 21:45:58 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2022-06-20 21:46:00 +0200haritzondo(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk)
2022-06-20 21:46:09 +0200rembo10_(~rembo10@main.remulis.com)
2022-06-20 21:46:16 +0200rembo10(~rembo10@main.remulis.com) (Ping timeout: 268 seconds)
2022-06-20 21:46:18 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-06-20 21:46:18 +0200merijn(~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-06-20 21:46:18 +0200haritz(~hrtz@user/haritz) (Ping timeout: 240 seconds)
2022-06-20 21:46:18 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds)
2022-06-20 21:46:21 +0200forell(~forell@user/forell)
2022-06-20 21:46:38 +0200slaydr(~seriley@75.164.63.238) (Ping timeout: 240 seconds)
2022-06-20 21:46:38 +0200liz_(~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-06-20 21:46:38 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Ping timeout: 240 seconds)
2022-06-20 21:46:38 +0200sympt(~sympt@user/sympt) (Ping timeout: 240 seconds)
2022-06-20 21:46:38 +0200yauhsien(~yauhsien@61-231-23-53.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-06-20 21:46:38 +0200sympt9sympt
2022-06-20 21:46:49 +0200eod|fserucas_(~eod|fseru@193.65.114.89.rev.vodafone.pt)
2022-06-20 21:46:50 +0200eod|fserucas__(~eod|fseru@193.65.114.89.rev.vodafone.pt)
2022-06-20 21:46:53 +0200raym(~raym@user/raym) (Ping timeout: 268 seconds)
2022-06-20 21:46:53 +0200Tuplanolla(~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Ping timeout: 268 seconds)
2022-06-20 21:46:53 +0200Patternmaster(~georg@user/Patternmaster) (Ping timeout: 268 seconds)
2022-06-20 21:46:53 +0200zaquest(~notzaques@5.130.79.72) (Ping timeout: 268 seconds)
2022-06-20 21:46:53 +0200michalz(~michalz@185.246.204.125) (Ping timeout: 268 seconds)
2022-06-20 21:46:58 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 240 seconds)
2022-06-20 21:47:22 +0200raym(~raym@user/raym)
2022-06-20 21:47:30 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds)
2022-06-20 21:47:30 +0200fserucas(~fserucas@193.65.114.89.rev.vodafone.pt) (Ping timeout: 264 seconds)
2022-06-20 21:47:30 +0200jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 268 seconds)
2022-06-20 21:47:30 +0200machinedgod(~machinedg@66.244.246.252) (Ping timeout: 268 seconds)
2022-06-20 21:47:30 +0200eod|fserucas(~eod|fseru@193.65.114.89.rev.vodafone.pt) (Ping timeout: 268 seconds)
2022-06-20 21:47:30 +0200vglfr(~vglfr@coupling.penchant.volia.net) (Ping timeout: 268 seconds)
2022-06-20 21:47:36 +0200yauhsien(~yauhsien@61-231-23-53.dynamic-ip.hinet.net)
2022-06-20 21:47:38 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-06-20 21:47:51 +0200michalz(~michalz@185.246.204.107)
2022-06-20 21:47:55 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-06-20 21:48:07 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de)
2022-06-20 21:48:27 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-06-20 21:48:39 +0200MajorBiscuit(~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net)
2022-06-20 21:48:40 +0200Patternmaster(~georg@user/Patternmaster)
2022-06-20 21:48:44 +0200liz(~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net)
2022-06-20 21:48:53 +0200machinedgod(~machinedg@66.244.246.252)
2022-06-20 21:49:00 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net)
2022-06-20 21:49:12 +0200odnes(~odnes@5-203-176-182.pat.nym.cosmote.net)
2022-06-20 21:49:49 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-06-20 21:50:57 +0200mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 256 seconds)
2022-06-20 21:51:53 +0200inversed(~inversed@176.248.27.211) (Ping timeout: 248 seconds)
2022-06-20 21:52:59 +0200nate4(~nate@98.45.169.16)
2022-06-20 21:53:29 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2022-06-20 21:55:44 +0200inversed(~inversed@176.248.27.211)
2022-06-20 21:55:50 +0200phma_(~phma@host-67-44-208-229.hnremote.net)
2022-06-20 21:58:38 +0200phma(phma@2001:5b0:212a:b718:56ef:209:92f5:8519) (Ping timeout: 240 seconds)
2022-06-20 21:59:42 +0200lyle(~lyle@104.246.145.85) (Quit: WeeChat 3.5)
2022-06-20 22:00:00 +0200zaquest(~notzaques@5.130.79.72)
2022-06-20 22:00:42 +0200Tuplanolla(~Tuplanoll@91-159-69-97.elisa-laajakaista.fi)
2022-06-20 22:00:45 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-06-20 22:02:38 +0200MajorBiscuit(~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 244 seconds)
2022-06-20 22:04:33 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-06-20 22:04:46 +0200werneta(~werneta@137.79.236.20)
2022-06-20 22:06:06 +0200Hash(~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Quit: ZNC - https://znc.in)
2022-06-20 22:06:22 +0200Hash(~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net)
2022-06-20 22:09:24 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-06-20 22:13:48 +0200Everything(~Everythin@37.115.210.35) (Remote host closed the connection)
2022-06-20 22:24:43 +0200winny(~weechat@user/winny) (Remote host closed the connection)
2022-06-20 22:25:40 +0200winny(~weechat@user/winny)
2022-06-20 22:26:09 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-06-20 22:29:04 +0200pleo(~pleo@user/pleo) (Quit: quit)
2022-06-20 22:31:21 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 248 seconds)
2022-06-20 22:32:32 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds)
2022-06-20 22:33:11 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-06-20 22:40:27 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) (Remote host closed the connection)
2022-06-20 22:44:41 +0200acidjnk(~acidjnk@dynamic-046-114-175-104.46.114.pool.telefonica.de) (Ping timeout: 248 seconds)
2022-06-20 22:44:54 +0200qwedfg(~qwedfg@user/qwedfg) (Quit: ZNC - https://znc.in)
2022-06-20 22:45:11 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net)
2022-06-20 22:45:47 +0200haru_(~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4)
2022-06-20 22:46:15 +0200qwedfg(~qwedfg@user/qwedfg)
2022-06-20 22:46:45 +0200acidjnk(~acidjnk@dynamic-046-114-175-104.46.114.pool.telefonica.de)
2022-06-20 22:47:48 +0200haru_(~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4) ()
2022-06-20 22:48:20 +0200unit73e(~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291)
2022-06-20 22:48:58 +0200haru`(~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4)
2022-06-20 22:49:15 +0200haru`(~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4) ()
2022-06-20 22:49:34 +0200haru`(~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4)
2022-06-20 22:49:59 +0200haru`(~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4) ()
2022-06-20 22:52:19 +0200coot(~coot@213.134.190.95)
2022-06-20 22:56:50 +0200rkk(~rkk@2601:547:b00:24f:489a:4d0e:6396:d372)
2022-06-20 22:57:08 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265)
2022-06-20 23:01:23 +0200rkk(~rkk@2601:547:b00:24f:489a:4d0e:6396:d372) (Remote host closed the connection)
2022-06-20 23:01:37 +0200rkk(~rkk@2601:547:b00:24f:489a:4d0e:6396:d372)
2022-06-20 23:02:54 +0200rkk(~rkk@2601:547:b00:24f:489a:4d0e:6396:d372) (Remote host closed the connection)
2022-06-20 23:03:05 +0200rkk(~rkk@2601:547:b00:24f:489a:4d0e:6396:d372)
2022-06-20 23:05:49 +0200CiaoSen(~Jura@p200300c95732b3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2022-06-20 23:07:10 +0200CiaoSen(~Jura@p200300c95735ef002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-06-20 23:08:14 +0200pleo(~pleo@user/pleo)
2022-06-20 23:15:48 +0200haru`(~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4)
2022-06-20 23:15:55 +0200haru`(~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4) (Remote host closed the connection)
2022-06-20 23:16:32 +0200haru`(~HackingSp@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4)
2022-06-20 23:16:41 +0200haru`HackingSpring
2022-06-20 23:19:55 +0200nate4(~nate@98.45.169.16) (Ping timeout: 256 seconds)
2022-06-20 23:22:45 +0200sonny(~sonny@bras-base-toroon0812w-grc-01-142-114-220-108.dsl.bell.ca)
2022-06-20 23:23:07 +0200concrete-houses(~g@209.6.150.53)
2022-06-20 23:23:16 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-06-20 23:24:40 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net)
2022-06-20 23:25:52 +0200cosimone(~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection)
2022-06-20 23:26:01 +0200michalz(~michalz@185.246.204.107) (Remote host closed the connection)
2022-06-20 23:30:34 +0200slack1256(~slack1256@186.11.21.54)
2022-06-20 23:31:04 +0200cosimone(~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81)
2022-06-20 23:31:52 +0200sonny(~sonny@bras-base-toroon0812w-grc-01-142-114-220-108.dsl.bell.ca) ()
2022-06-20 23:32:58 +0200noteness(~noteness@user/noteness) (Ping timeout: 268 seconds)
2022-06-20 23:33:13 +0200noteness(~noteness@user/noteness)
2022-06-20 23:33:42 +0200concrete-houses(~g@209.6.150.53) (Quit: leaving)
2022-06-20 23:34:30 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 276 seconds)
2022-06-20 23:38:16 +0200 <slack1256> Is there an API on the kernel that we can use to know how congested is a network device?
2022-06-20 23:38:57 +0200 <slack1256> I got a Foldable that I would like to process concurrently, but the amount of spark I will issue should be correlated by how much bandwith I can use.
2022-06-20 23:39:04 +0200 <Bulby[m]> hm, you can get signal strength (if that's what the percentage on my status bar is)
2022-06-20 23:39:09 +0200 <Bulby[m]> idk if this is i3bar or my custom bar
2022-06-20 23:39:17 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-06-20 23:39:18 +0200 <slack1256> s_spark_sparks_
2022-06-20 23:40:14 +0200shriekingnoise(~shrieking@201.212.175.181)
2022-06-20 23:40:23 +0200 <Bulby[m]> looks like I named the variable "qlty" or "strength" (or I stole it from xmobar)
2022-06-20 23:40:30 +0200 <Bulby[m]> no idea about bandwith
2022-06-20 23:40:50 +0200 <slack1256> Bulby[m]: That is signal strength to a router I think. This is congestion on a device is measure by how many packet it had to drop to satisfy QoS requeriment on TCP code.
2022-06-20 23:41:27 +0200 <slack1256> I am probably "holding it wrong", or having a XY problem.
2022-06-20 23:41:35 +0200 <geekosaur> the problem with doing that is that it changes dynamically and you may still end up either choking or leaving some bandwidth unused. usually it's best to choose a congestion algorithm and let the kernel sort it out
2022-06-20 23:42:04 +0200 <Bulby[m]> I find that on arch it tends to eat up all the bandwidth
2022-06-20 23:42:19 +0200 <Bulby[m]> just in general
2022-06-20 23:43:27 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-06-20 23:43:29 +0200rkk(~rkk@2601:547:b00:24f:489a:4d0e:6396:d372) (Read error: Connection reset by peer)
2022-06-20 23:43:34 +0200rkk_(~rkk@2601:547:b00:24f:489a:4d0e:6396:d372)
2022-06-20 23:43:42 +0200rkk_(~rkk@2601:547:b00:24f:489a:4d0e:6396:d372) (Remote host closed the connection)
2022-06-20 23:44:12 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-06-20 23:46:44 +0200stackdroid18(14094@user/stackdroid) (Quit: hasta la vista... tchau!)
2022-06-20 23:48:32 +0200 <geekosaur> https://superuser.com/questions/992919/how-to-check-the-tcp-congestion-control-algorithm-flavour-i… fwiw
2022-06-20 23:49:21 +0200 <geekosaur> note that you can set it per connection so it may work better to specify the congestion algorithm on your socket
2022-06-20 23:54:01 +0200 <[exa]> slack1256: you can check txqueue size and retransmit counts, that's usually a pretty good sign of congestion (if your device is really the congested thing)
2022-06-20 23:55:18 +0200nate4(~nate@98.45.169.16)
2022-06-20 23:55:29 +0200odnes(~odnes@5-203-176-182.pat.nym.cosmote.net) (Remote host closed the connection)
2022-06-20 23:55:38 +0200 <[exa]> (spoiler: unless your wifi is bad, the device usually isn't the congested thing)
2022-06-20 23:55:41 +0200 <jackdk> maerwald: `fail` seems the the official way to do this (there are tools for catching in teh `Quasi` typeclass, and specific mentions of `fail`), and since all it's going to do is stop compilation it's not that unsafe.