| 2022-06-20 00:05:04 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2022-06-20 00:05:25 +0200 | pragma- | (~chaos@user/pragmatic-chaos) |
| 2022-06-20 00:09:19 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) |
| 2022-06-20 00:09:24 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:15be:cdf1:24c0:fca7) (Read error: Connection reset by peer) |
| 2022-06-20 00:14:46 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-20 00:15:50 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 2022-06-20 00:17:18 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-06-20 00:18:57 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-06-20 00:26:30 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-20 00:28:50 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-06-20 00:29:09 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-20 00:32:46 +0200 | Furor | (~colere@about/linux/staff/sauvin) |
| 2022-06-20 00:35:05 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 246 seconds) |
| 2022-06-20 00:37:31 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-06-20 00:38:39 +0200 | sonny | (~sonny@bras-base-toroon0812w-grc-01-142-114-220-108.dsl.bell.ca) () |
| 2022-06-20 00:39:07 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-20 00:42:04 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-20 00:45:27 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-06-20 00:51:07 +0200 | alp__ | (~alp@user/alp) (Ping timeout: 244 seconds) |
| 2022-06-20 00:52:06 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2022-06-20 00:53:14 +0200 | adium | (adium@user/adium) (Quit: Stable ZNC by #bnc4you) |
| 2022-06-20 00:53:58 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-06-20 00:54:48 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-20 00:56:53 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-06-20 00:56:59 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) |
| 2022-06-20 00:58:31 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Remote host closed the connection) |
| 2022-06-20 00:58:54 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) |
| 2022-06-20 01:01:52 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-06-20 01:02:27 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2022-06-20 01:03:26 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2022-06-20 01:08:00 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-06-20 01:08:33 +0200 | adium | (adium@user/adium) |
| 2022-06-20 01:09:37 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Ping timeout: 260 seconds) |
| 2022-06-20 01:10:12 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-06-20 01:10:35 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) |
| 2022-06-20 01:11:30 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-06-20 01:15:01 +0200 | sebastiandb | (~sebastian@pool-108-31-128-56.washdc.fios.verizon.net) |
| 2022-06-20 01:18:20 +0200 | alp__ | (~alp@user/alp) |
| 2022-06-20 01:19:34 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-20 01:21:10 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-06-20 01:21:38 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2022-06-20 01:21:44 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-06-20 01:22:58 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-06-20 01:25:32 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-06-20 01:26:28 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:9057:83fb:8876:5481) (Ping timeout: 248 seconds) |
| 2022-06-20 01:27:53 +0200 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 248 seconds) |
| 2022-06-20 01:28:10 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-06-20 01:32:03 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-06-20 01:33:10 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-06-20 01:34:10 +0200 | sebastiandb | (~sebastian@pool-108-31-128-56.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-06-20 01:36:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-06-20 01:38:30 +0200 | odnes | (~odnes@5-203-186-208.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-06-20 01:38:41 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-20 01:47:34 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-06-20 01:48:17 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-06-20 01:50:35 +0200 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) |
| 2022-06-20 01:50:36 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 276 seconds) |
| 2022-06-20 01:51:46 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-20 01:54:22 +0200 | sebastiandb | (~sebastian@pool-108-31-128-56.washdc.fios.verizon.net) |
| 2022-06-20 01:55:19 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-06-20 01:57:19 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-06-20 01:57:47 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-06-20 01:58:18 +0200 | zeenk | (~zeenk@188.26.144.225) (Quit: Konversation terminated!) |
| 2022-06-20 01:59:44 +0200 | juri__ | (~juri@79.140.115.76) |
| 2022-06-20 02:02:30 +0200 | juri_ | (~juri@79.140.114.236) (Ping timeout: 240 seconds) |
| 2022-06-20 02:03:34 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) |
| 2022-06-20 02:06:21 +0200 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-06-20 02:11:25 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-06-20 02:14:08 +0200 | haritz | (~hrtz@user/haritz) (Ping timeout: 246 seconds) |
| 2022-06-20 02:18:42 +0200 | yauhsien | (~yauhsien@61-231-58-85.dynamic-ip.hinet.net) |
| 2022-06-20 02:23:05 +0200 | yauhsien | (~yauhsien@61-231-58-85.dynamic-ip.hinet.net) (Ping timeout: 244 seconds) |
| 2022-06-20 02:24:50 +0200 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2022-06-20 02:37:46 +0200 | yrlnry | (~yrlnry@pool-108-2-150-109.phlapa.fios.verizon.net) |
| 2022-06-20 02:40:39 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 244 seconds) |
| 2022-06-20 02:47:53 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-06-20 02:49:41 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-06-20 02:52:32 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5dff:6ec3:2660:4e43) (Ping timeout: 244 seconds) |
| 2022-06-20 02:52:42 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-20 02:54:29 +0200 | mjrosenb | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2022-06-20 02:56:10 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-06-20 02:58:28 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
| 2022-06-20 02:59:02 +0200 | img | (~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 +0200 | nate4 | (~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 +0200 | alp__ | (~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 +0200 | nate4 | (~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 +0200 | xff0x | (~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 +0200 | Infinite26 | (~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 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-20 03:46:08 +0200 | <Maxdamantus> | foo = seq somethingExpensive $ 1 : foo |
| 2022-06-20 03:46:41 +0200 | sympt0 | (~sympt@user/sympt) |
| 2022-06-20 03:46:57 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 276 seconds) |
| 2022-06-20 03:48:20 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-20 03:48:54 +0200 | sympt | (~sympt@user/sympt) (Ping timeout: 276 seconds) |
| 2022-06-20 03:48:54 +0200 | sympt0 | sympt |
| 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 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-06-20 04:03:57 +0200 | lemonsnicks | (~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 +0200 | td_ | (~td@muedsl-82-207-238-050.citykom.de) (Ping timeout: 248 seconds) |
| 2022-06-20 04:06:50 +0200 | Infinite26 | (~Infinite@49.39.112.74) (Ping timeout: 252 seconds) |
| 2022-06-20 04:08:24 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-06-20 04:14:34 +0200 | sebastiandb | (~sebastian@pool-108-31-128-56.washdc.fios.verizon.net) (Quit: Leaving) |
| 2022-06-20 04:20:25 +0200 | lemonsnicks | (~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 +0200 | Topsi | (~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 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-20 04:39:37 +0200 | nate4 | (~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 +0200 | Guest7 | (~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 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-20 04:57:25 +0200 | califax | (~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 +0200 | jao | (~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 +0200 | frost | (~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 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-20 05:03:54 +0200 | <EvanR> | which makes minor gc faster |
| 2022-06-20 05:05:08 +0200 | Guest7 | (~Guest7@2601:483:5a80:16e0:7456:cc5c:ccec:b42a) (Ping timeout: 252 seconds) |
| 2022-06-20 05:05:12 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-06-20 05:05:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-06-20 05:09:10 +0200 | bitdex | (~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 +0200 | quarkyalice | (~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 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-06-20 05:14:06 +0200 | nate4 | (~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 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-06-20 05:14:25 +0200 | <Maxdamantus> | s/4/3/ |
| 2022-06-20 05:17:57 +0200 | quarkyalice | (~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 +0200 | jinsun__ | (~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 +0200 | kimjetwav | (~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 +0200 | kimjetwav | (~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 +0200 | jinsun | (~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 +0200 | quarkyalice | (~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 +0200 | quarkyalice | (~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 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) (Client Quit) |
| 2022-06-20 05:33:13 +0200 | nate4 | (~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 +0200 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-06-20 05:35:10 +0200 | z0k | (~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 +0200 | quarkyalice | (~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 +0200 | stiell | (~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 +0200 | stiell | (~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 +0200 | nate4 | (~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 +0200 | mvk | (~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 +0200 | nate4 | (~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 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-06-20 05:58:46 +0200 | Furor | Colere |
| 2022-06-20 06:00:43 +0200 | yauhsien | (~yauhsien@61-231-58-85.dynamic-ip.hinet.net) |
| 2022-06-20 06:05:45 +0200 | yauhsien | (~yauhsien@61-231-58-85.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-06-20 06:06:48 +0200 | steshaw[m] | (~steshawma@2001:470:69fc:105::1:a963) |
| 2022-06-20 06:07:37 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-20 06:16:15 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-20 06:16:49 +0200 | Vajb | (~Vajb@2001:999:40:4c50:1b24:879c:6df3:1d06) |
| 2022-06-20 06:19:56 +0200 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2022-06-20 06:20:08 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2022-06-20 06:21:57 +0200 | thewaves | (~thewaves@2001:470:69fc:105::2:2eef) (*.net *.split) |
| 2022-06-20 06:21:57 +0200 | cony_mony[m] | (~conymonym@2001:470:69fc:105::2:2ea2) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | burakcank | (~burakcank@has.arrived.and.is.ready-to.party) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | Guest8247 | (~krjst@2604:a880:800:c1::16b:8001) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | pierrot | (~pi@user/pierrot) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | acertain | (sid470584@id-470584.hampstead.irccloud.com) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | hendi | (sid489601@id-489601.lymington.irccloud.com) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | ProofTechnique | (sid79547@id-79547.ilkley.irccloud.com) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | saolsen | (sid26430@id-26430.lymington.irccloud.com) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | bastelfreak | (~bastelfre@basteles-bastelknecht.bastelfreak.org) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | sclv | (sid39734@haskell/developer/sclv) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | PHO` | (~pho@akari.cielonegro.org) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | landonf | (landonf@mac68k.info) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | cherries[m] | (~cherriesm@2001:470:69fc:105::2:16c0) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | phuegrvs[m] | (~phuegrvsm@2001:470:69fc:105::1:65e4) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | jocke-l | (jocke-l@a.x0.is) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | kawzeg_ | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | lambda451[m] | (~lambda451@2001:470:69fc:105::2:1097) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | amongas666[m] | (~amongas66@2001:470:69fc:105::2:fea) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | thonkpod_ | (~thonkpod@user/thonkpod) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | marienz_ | (marienz@libera/staff/marienz) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | megeve | (sid523379@id-523379.hampstead.irccloud.com) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | Jon | (jon@dow.land) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | tv | (~tv@user/tv) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | drewr | (~drew@user/drewr) (*.net *.split) |
| 2022-06-20 06:21:58 +0200 | jakalx | (~jakalx@base.jakalx.net) (*.net *.split) |
| 2022-06-20 06:22:06 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
| 2022-06-20 06:22:06 +0200 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) |
| 2022-06-20 06:22:06 +0200 | landonf | (landonf@mac68k.info) |
| 2022-06-20 06:22:07 +0200 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) |
| 2022-06-20 06:22:07 +0200 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) |
| 2022-06-20 06:22:08 +0200 | sclv | (sid39734@haskell/developer/sclv) |
| 2022-06-20 06:22:10 +0200 | Jon | (jon@dow.land) |
| 2022-06-20 06:22:12 +0200 | marienz | (marienz@libera/staff/marienz) |
| 2022-06-20 06:22:13 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
| 2022-06-20 06:22:13 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) |
| 2022-06-20 06:22:17 +0200 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) |
| 2022-06-20 06:22:21 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) |
| 2022-06-20 06:22:21 +0200 | megeve | (sid523379@id-523379.hampstead.irccloud.com) |
| 2022-06-20 06:22:21 +0200 | ProofTechnique | (sid79547@id-79547.ilkley.irccloud.com) |
| 2022-06-20 06:22:26 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2022-06-20 06:22:29 +0200 | kawzeg_ | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 2022-06-20 06:22:30 +0200 | bastelfreak | (~bastelfre@basteles-bastelknecht.bastelfreak.org) |
| 2022-06-20 06:22:35 +0200 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) |
| 2022-06-20 06:22:36 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) |
| 2022-06-20 06:22:36 +0200 | jocke-l | (jocke-l@a.x0.is) |
| 2022-06-20 06:22:39 +0200 | thonkpod_ | (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) |
| 2022-06-20 06:22:42 +0200 | thonkpod_ | (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (Signing in (thonkpod_)) |
| 2022-06-20 06:22:42 +0200 | thonkpod_ | (~thonkpod@user/thonkpod) |
| 2022-06-20 06:22:49 +0200 | hendi | (sid489601@id-489601.lymington.irccloud.com) |
| 2022-06-20 06:22:50 +0200 | saolsen | (sid26430@id-26430.lymington.irccloud.com) |
| 2022-06-20 06:22:50 +0200 | acertain | (sid470584@id-470584.hampstead.irccloud.com) |
| 2022-06-20 06:22:51 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) |
| 2022-06-20 06:22:55 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2022-06-20 06:22:57 +0200 | pierrot | (~pi@user/pierrot) |
| 2022-06-20 06:23:00 +0200 | tv | (~tv@user/tv) |
| 2022-06-20 06:23:01 +0200 | PHO` | (~pho@akari.cielonegro.org) |
| 2022-06-20 06:23:02 +0200 | burakcank | (~burakcank@has.arrived.and.is.ready-to.party) |
| 2022-06-20 06:23:22 +0200 | drewr | (~drew@user/drewr) |
| 2022-06-20 06:23:39 +0200 | c_wraith | (~c_wraith@adjoint.us) |
| 2022-06-20 06:23:51 +0200 | Guest8247 | (~krjst@2604:a880:800:c1::16b:8001) |
| 2022-06-20 06:25:44 +0200 | cherries[m] | (~cherriesm@2001:470:69fc:105::2:16c0) |
| 2022-06-20 06:26:29 +0200 | phuegrvs[m] | (~phuegrvsm@2001:470:69fc:105::1:65e4) |
| 2022-06-20 06:27:00 +0200 | lottaquestions | (~nick@2607:fa49:5041:a200:4b68:d7e8:c69e:f4bf) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | Henkru | (henkru@kapsi.fi) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | elfi2125[m] | (~elfi2125m@2001:470:69fc:105::2:13d6) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | AkechiShiro | (~licht@user/akechishiro) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | hochata | (~hochata@user/hochata) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | edr | (~edr@user/edr) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | tritlo | (sid58727@user/tritlo) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | acacia | (~alloca@user/suppi) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | Dykam_ | (Dykam@dykam.nl) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | yushyin | (4BFGEnxeeu@mail.karif.server-speed.net) (*.net *.split) |
| 2022-06-20 06:27:00 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) (*.net *.split) |
| 2022-06-20 06:27:01 +0200 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) (*.net *.split) |
| 2022-06-20 06:27:01 +0200 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) (*.net *.split) |
| 2022-06-20 06:27:01 +0200 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
| 2022-06-20 06:27:01 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split) |
| 2022-06-20 06:27:01 +0200 | edwardk | (sid47016@haskell/developer/edwardk) (*.net *.split) |
| 2022-06-20 06:27:01 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split) |
| 2022-06-20 06:27:01 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split) |
| 2022-06-20 06:27:01 +0200 | Athas | (athas@sigkill.dk) (*.net *.split) |
| 2022-06-20 06:27:09 +0200 | Athas | (athas@sigkill.dk) |
| 2022-06-20 06:27:10 +0200 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2022-06-20 06:27:12 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) |
| 2022-06-20 06:27:12 +0200 | edr | (~edr@enlo.co) |
| 2022-06-20 06:27:12 +0200 | Henkru | (~henkru@kapsi.fi) |
| 2022-06-20 06:27:16 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2022-06-20 06:27:20 +0200 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) |
| 2022-06-20 06:27:20 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) |
| 2022-06-20 06:27:22 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-06-20 06:27:24 +0200 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) |
| 2022-06-20 06:27:31 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2022-06-20 06:27:32 +0200 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) |
| 2022-06-20 06:27:32 +0200 | acacia | (~alloca@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0) |
| 2022-06-20 06:27:32 +0200 | lieven | (~mal@ns2.wyrd.be) |
| 2022-06-20 06:27:33 +0200 | Dykam | (Dykam@dykam.nl) |
| 2022-06-20 06:27:33 +0200 | yushyin | (OdT0XD4zx5@mail.karif.server-speed.net) |
| 2022-06-20 06:27:33 +0200 | liskin | (~liskin@ackle.nomi.cz) |
| 2022-06-20 06:27:39 +0200 | AkechiShiro | (~licht@2a01:e0a:5f9:9681:6ef6:204a:3e2c:ce07) |
| 2022-06-20 06:27:42 +0200 | acacia | (~alloca@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0) (Signing in (acacia)) |
| 2022-06-20 06:27:42 +0200 | acacia | (~alloca@user/suppi) |
| 2022-06-20 06:27:42 +0200 | liskin | (~liskin@ackle.nomi.cz) (Signing in (liskin)) |
| 2022-06-20 06:27:42 +0200 | liskin | (~liskin@xmonad/liskin) |
| 2022-06-20 06:27:48 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-20 06:27:49 +0200 | edr | (~edr@enlo.co) (Changing host) |
| 2022-06-20 06:27:49 +0200 | edr | (~edr@user/edr) |
| 2022-06-20 06:27:59 +0200 | tritlo | (sid58727@user/tritlo) |
| 2022-06-20 06:28:00 +0200 | Guest7 | (~Guest7@2601:483:5a80:16e0:b9e3:e3df:8bd9:7968) |
| 2022-06-20 06:28:00 +0200 | lottaquestions | (~nick@2607:fa49:5041:a200:befb:c8a2:f655:5c1b) |
| 2022-06-20 06:28:00 +0200 | x88x88x | (~x88x88x@149.28.53.172) |
| 2022-06-20 06:28:23 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2022-06-20 06:28:43 +0200 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) |
| 2022-06-20 06:29:05 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) |
| 2022-06-20 06:30:04 +0200 | amongas666[m] | (~amongas66@2001:470:69fc:105::2:fea) |
| 2022-06-20 06:30:08 +0200 | cocreature | (~moritz@2a03:b0c0:3:d0::c8:f001) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | meejah | (~meejah@rutas.meejah.ca) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | Tubo[m] | (~tubogram@user/tubogram) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | polykernel[m] | (~polykerne@user/polykernel) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | treeshateorcs[m] | (~treeshate@2001:470:69fc:105::1:41c4) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | ereslibre[m] | (~ereslibre@2001:470:69fc:105::1:8f90) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | dyniec_ | (~dyniec@mail.dybiec.info) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | Ttech | (adran@botters/adran) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | bjs | (sid190364@user/bjs) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | integral | (sid296274@user/integral) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | chessai | (sid225296@id-225296.lymington.irccloud.com) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | lightandlight | (sid135476@id-135476.helmsley.irccloud.com) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | dagit | (~dagit@2001:558:6025:38:6476:a063:d05a:44da) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | poljar | (~poljar@93-139-81-189.adsl.net.t-com.hr) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | carter | (sid14827@id-14827.helmsley.irccloud.com) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | philpax_ | (sid516926@id-516926.lymington.irccloud.com) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | mesaoptimizer | (sid546676@user/PapuaHardyNet) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | parseval | (sid239098@id-239098.helmsley.irccloud.com) (*.net *.split) |
| 2022-06-20 06:30:08 +0200 | edmundnoble | (sid229620@id-229620.helmsley.irccloud.com) (*.net *.split) |
| 2022-06-20 06:30:16 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) |
| 2022-06-20 06:30:24 +0200 | dyniec_ | (~dyniec@mail.dybiec.info) |
| 2022-06-20 06:30:27 +0200 | mesaoptimizer | (sid546676@user/PapuaHardyNet) |
| 2022-06-20 06:30:27 +0200 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) |
| 2022-06-20 06:30:27 +0200 | meejah | (~meejah@rutas.meejah.ca) |
| 2022-06-20 06:30:29 +0200 | integral | (sid296274@user/integral) |
| 2022-06-20 06:30:31 +0200 | bjs | (sid190364@user/bjs) |
| 2022-06-20 06:30:32 +0200 | parseval | (sid239098@id-239098.helmsley.irccloud.com) |
| 2022-06-20 06:30:39 +0200 | Guest7 | (~Guest7@2601:483:5a80:16e0:b9e3:e3df:8bd9:7968) (Client Quit) |
| 2022-06-20 06:30:45 +0200 | poljar | (~poljar@93-139-81-189.adsl.net.t-com.hr) |
| 2022-06-20 06:30:53 +0200 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) |
| 2022-06-20 06:30:55 +0200 | edmundnoble | (sid229620@id-229620.helmsley.irccloud.com) |
| 2022-06-20 06:30:56 +0200 | philpax_ | (sid516926@id-516926.lymington.irccloud.com) |
| 2022-06-20 06:30:56 +0200 | chessai | (sid225296@id-225296.lymington.irccloud.com) |
| 2022-06-20 06:30:57 +0200 | lightandlight | (sid135476@2a03:5180:f:1::2:1134) |
| 2022-06-20 06:31:05 +0200 | cocreature | (~moritz@2a03:b0c0:3:d0::c8:f001) |
| 2022-06-20 06:31:07 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
| 2022-06-20 06:31:22 +0200 | carter | (sid14827@2a03:5180:f:1::39eb) |
| 2022-06-20 06:32:08 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2022-06-20 06:32:09 +0200 | Adran | (adran@botters/adran) |
| 2022-06-20 06:32:28 +0200 | thewaves | (~thewaves@2001:470:69fc:105::2:2eef) |
| 2022-06-20 06:32:33 +0200 | lambda451[m] | (~lambda451@2001:470:69fc:105::2:1097) |
| 2022-06-20 06:33:24 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
| 2022-06-20 06:33:28 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) |
| 2022-06-20 06:34:17 +0200 | cony_mony[m] | (~conymonym@2001:470:69fc:105::2:2ea2) |
| 2022-06-20 06:34:47 +0200 | hochata | (~hochata@user/hochata) |
| 2022-06-20 06:36:54 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
| 2022-06-20 06:41:31 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
| 2022-06-20 06:41:51 +0200 | elfi2125[m] | (~elfi2125m@2001:470:69fc:105::2:13d6) |
| 2022-06-20 06:42:32 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
| 2022-06-20 06:43:17 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
| 2022-06-20 06:43:52 +0200 | Tubo[m] | (~tubogram@user/tubogram) |
| 2022-06-20 06:46:47 +0200 | polykernel[m] | (~polykerne@user/polykernel) |
| 2022-06-20 06:47:31 +0200 | ereslibre[m] | (~ereslibre@2001:470:69fc:105::1:8f90) |
| 2022-06-20 06:48:32 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) (Quit: Lost terminal) |
| 2022-06-20 06:49:05 +0200 | ralu17 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-06-20 06:49:22 +0200 | treeshateorcs[m] | (~treeshate@2001:470:69fc:105::1:41c4) |
| 2022-06-20 06:49:58 +0200 | darksatanic | (~darkling@savella.carfax.org.uk) |
| 2022-06-20 06:50:01 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2022-06-20 06:50:04 +0200 | tapas_ | (sid467876@id-467876.ilkley.irccloud.com) |
| 2022-06-20 06:50:10 +0200 | avpx_ | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
| 2022-06-20 06:51:05 +0200 | rodental | (~rodental@38.146.5.222) (Ping timeout: 248 seconds) |
| 2022-06-20 06:51:32 +0200 | telser_ | (~quassel@user/telser) |
| 2022-06-20 06:51:33 +0200 | bonz060_ | (~quassel@2001:bc8:47a4:a23::1) |
| 2022-06-20 06:52:21 +0200 | SIben_ | (~SIben@ns3106586.ip-5-135-191.eu) |
| 2022-06-20 06:52:22 +0200 | djanatyn1 | (~djanatyn@vps-7f49a6b0.vps.ovh.ca) |
| 2022-06-20 06:52:22 +0200 | some02 | (~cat@user/sudden) |
| 2022-06-20 06:52:22 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
| 2022-06-20 06:52:24 +0200 | shachaf_ | (~shachaf@li227-219.members.linode.com) |
| 2022-06-20 06:52:26 +0200 | gdd1 | (~gdd@2001:470:1f13:187:7f5b:6c09:f7ed:fdf0) |
| 2022-06-20 06:52:38 +0200 | lucifero | (~satan@ip-046-223-003-068.um13.pools.vodafone-ip.de) |
| 2022-06-20 06:52:53 +0200 | Patternm1ster | (~georg@li1192-118.members.linode.com) |
| 2022-06-20 06:52:55 +0200 | robbert | (~robbert@robbertvanderhelm.nl) |
| 2022-06-20 06:52:56 +0200 | statusfa1led | (~statusfai@statusfailed.com) |
| 2022-06-20 06:52:56 +0200 | ncf_ | (~n@monade.li) |
| 2022-06-20 06:53:01 +0200 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:01 +0200 | eL_Bart0- | (eL_Bart0@dietunichtguten.org) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:01 +0200 | thornAvery | (~thornAver@104.156.232.89) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:01 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:01 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:02 +0200 | cony_mony[m] | (~conymonym@2001:470:69fc:105::2:2ea2) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:02 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:02 +0200 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:02 +0200 | gdd | (~gdd@2001:470:1f13:187:49b9:231c:6a88:73db) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:02 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:02 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:02 +0200 | Zach[m] | (~zoglesby@user/zoglesby) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:02 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | djanatyn | (~djanatyn@vps-7f49a6b0.vps.ovh.ca) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | hinny[m] | (~hinnymatr@2001:470:69fc:105::2:18ed) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | coltenwebb[m] | (~coltenweb@2001:470:69fc:105::2:17c7) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | andjjj23_ | (~irc@107.170.228.47) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | steve[m] | (~stevetrou@2001:470:69fc:105::e0b) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | belphegor666 | (~satan@user/belphegor666) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | canta | (~canta@user/canta) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | shachaf | (~shachaf@user/shachaf) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | hochata | (~hochata@user/hochata) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | asm | (~alexander@user/asm) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | tureba | (~tureba@tureba.org) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | Patternmaster | (~georg@user/Patternmaster) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | xstill_ | (xstill@fimu/xstill) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | ncf | (~n@monade.li) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | robbert-vdh | (~robbert@robbertvanderhelm.nl) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | tapas | (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | shane | (~shane@ana.rch.ist) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | bonz060 | (~quassel@2001:bc8:47a4:a23::1) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | telser | (~quassel@user/telser) (Ping timeout: 272 seconds) |
| 2022-06-20 06:53:03 +0200 | statusfailed | (~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 +0200 | tapas_ | tapas |
| 2022-06-20 06:53:04 +0200 | ralu17 | ralu1 |
| 2022-06-20 06:53:10 +0200 | shane_ | (~shane@ana.rch.ist) |
| 2022-06-20 06:53:29 +0200 | canta | (~canta@user/canta) |
| 2022-06-20 06:53:56 +0200 | xstill_ | (xstill@fimu/xstill) |
| 2022-06-20 06:54:12 +0200 | asm | (~alexander@burner.asm89.io) |
| 2022-06-20 06:54:29 +0200 | yauhsien | (~yauhsien@61-231-58-85.dynamic-ip.hinet.net) |
| 2022-06-20 06:57:12 +0200 | shriekingnoise | (~shrieking@201.212.175.181) (Quit: Quit) |
| 2022-06-20 06:59:35 +0200 | yauhsien | (~yauhsien@61-231-58-85.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-06-20 07:01:48 +0200 | shachaf_ | (~shachaf@li227-219.members.linode.com) (Changing host) |
| 2022-06-20 07:01:48 +0200 | shachaf_ | (~shachaf@user/shachaf) |
| 2022-06-20 07:01:50 +0200 | shachaf_ | shachaf |
| 2022-06-20 07:03:25 +0200 | doomfume[m] | (~doomfumeh@2001:470:69fc:105::2:2a62) |
| 2022-06-20 07:04:47 +0200 | andjjj23_ | (~irc@107.170.228.47) |
| 2022-06-20 07:04:58 +0200 | tureba | (~tureba@tureba.org) |
| 2022-06-20 07:05:05 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-06-20 07:05:17 +0200 | Zach[m] | (~zoglesby@user/zoglesby) |
| 2022-06-20 07:05:31 +0200 | coltenwebb[m] | (~coltenweb@2001:470:69fc:105::2:17c7) |
| 2022-06-20 07:06:04 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-06-20 07:07:45 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
| 2022-06-20 07:08:34 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
| 2022-06-20 07:08:51 +0200 | steve[m] | (~stevetrou@2001:470:69fc:105::e0b) |
| 2022-06-20 07:09:38 +0200 | hinny[m] | (~hinnymatr@2001:470:69fc:105::2:18ed) |
| 2022-06-20 07:12:14 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) |
| 2022-06-20 07:13:08 +0200 | xsarnik | (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 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
| 2022-06-20 07:18:09 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
| 2022-06-20 07:18:16 +0200 | cony_mony[m] | (~conymonym@2001:470:69fc:105::2:2ea2) |
| 2022-06-20 07:18:37 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
| 2022-06-20 07:18:53 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) |
| 2022-06-20 07:19:52 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-06-20 07:20:10 +0200 | hochata | (~hochata@user/hochata) |
| 2022-06-20 07:24:14 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-20 07:28:18 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-20 07:28:59 +0200 | califax | (~califax@user/califx) |
| 2022-06-20 07:31:24 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-20 07:33:23 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-06-20 07:34:01 +0200 | mbuf | (~Shakthi@171.61.167.221) |
| 2022-06-20 07:45:48 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-06-20 07:47:28 +0200 | califax | (~califax@user/califx) |
| 2022-06-20 07:49:51 +0200 | mmhat | (~mmh@p200300f1c7385d7dee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-06-20 08:00:13 +0200 | michalz | (~michalz@185.246.204.125) |
| 2022-06-20 08:04:22 +0200 | yauhsien | (~yauhsien@61-231-58-85.dynamic-ip.hinet.net) |
| 2022-06-20 08:04:40 +0200 | Infinite74 | (~Infinite@49.39.115.37) |
| 2022-06-20 08:06:36 +0200 | dos__^^ | (~user@user/dos/x-1723657) |
| 2022-06-20 08:08:40 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-20 08:12:04 +0200 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
| 2022-06-20 08:13:10 +0200 | califax | (~califax@user/califx) |
| 2022-06-20 08:14:31 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 08:14:52 +0200 | uberrice | (~uberrice@77-58-67-184.dclient.hispeed.ch) (Quit: Client closed) |
| 2022-06-20 08:15:58 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) (Remote host closed the connection) |
| 2022-06-20 08:16:07 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-20 08:19:42 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-06-20 08:20:34 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-20 08:26:38 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-06-20 08:26:52 +0200 | yushyin | (OdT0XD4zx5@mail.karif.server-speed.net) (Quit: WeeChat 3.4.1) |
| 2022-06-20 08:27:01 +0200 | yushyin | (w8oD1vlcZ2@mail.karif.server-speed.net) |
| 2022-06-20 08:31:13 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 08:32:17 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-06-20 08:33:14 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-06-20 08:33:14 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 08:36:36 +0200 | odnes | (~odnes@5-203-186-208.pat.nym.cosmote.net) |
| 2022-06-20 08:36:42 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2022-06-20 08:38:17 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-20 08:40:36 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 08:41:57 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-06-20 08:42:27 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-06-20 08:42:33 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2022-06-20 08:42:33 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 08:43:59 +0200 | rkk | (~rkk@2601:547:b00:a23:396:e559:7b5:7302) |
| 2022-06-20 08:47:48 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 08:48:04 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-06-20 08:49:53 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-06-20 08:49:53 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 08:51:07 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 268 seconds) |
| 2022-06-20 08:54:49 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-06-20 08:56:32 +0200 | pavonia | (~user@user/siracusa) |
| 2022-06-20 08:56:36 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:efa1:ff7c:7895:e2a0) |
| 2022-06-20 09:00:01 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 09:00:20 +0200 | alp__ | (~alp@user/alp) |
| 2022-06-20 09:00:25 +0200 | Neuromancer | (~Neuromanc@user/neuromancer) (Ping timeout: 258 seconds) |
| 2022-06-20 09:02:30 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2022-06-20 09:02:30 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 09:05:26 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) |
| 2022-06-20 09:07:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (*.net *.split) |
| 2022-06-20 09:07:25 +0200 | califax | (~califax@user/califx) (*.net *.split) |
| 2022-06-20 09:07:25 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (*.net *.split) |
| 2022-06-20 09:07:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (*.net *.split) |
| 2022-06-20 09:07:25 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (*.net *.split) |
| 2022-06-20 09:07:25 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (*.net *.split) |
| 2022-06-20 09:07:25 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (*.net *.split) |
| 2022-06-20 09:07:25 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (*.net *.split) |
| 2022-06-20 09:07:25 +0200 | noteness | (~noteness@user/noteness) (*.net *.split) |
| 2022-06-20 09:07:25 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (*.net *.split) |
| 2022-06-20 09:07:25 +0200 | winny | (~weechat@user/winny) (*.net *.split) |
| 2022-06-20 09:09:31 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2022-06-20 09:09:36 +0200 | califax | (~califax@user/califx) |
| 2022-06-20 09:09:41 +0200 | winny | (~weechat@user/winny) |
| 2022-06-20 09:09:44 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 09:09:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-06-20 09:10:04 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-06-20 09:10:09 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-06-20 09:10:10 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-06-20 09:10:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-06-20 09:12:05 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-06-20 09:12:05 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 09:12:48 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-20 09:13:20 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-06-20 09:13:31 +0200 | noteness | (~noteness@user/noteness) |
| 2022-06-20 09:16:08 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-20 09:16:08 +0200 | zeenk | (~zeenk@2a02:2f04:a301:3d00:39df:1c4b:8a55:48d3) |
| 2022-06-20 09:16:22 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) |
| 2022-06-20 09:20:44 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) (Ping timeout: 255 seconds) |
| 2022-06-20 09:21:55 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 09:23:12 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-06-20 09:23:18 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2022-06-20 09:23:18 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 09:23:25 +0200 | odnes | (~odnes@5-203-186-208.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-06-20 09:24:17 +0200 | acetakwas | (~acetakwas@f240139.upc-f.chello.nl) (Ping timeout: 252 seconds) |
| 2022-06-20 09:26:31 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-06-20 09:27:46 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-06-20 09:28:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-06-20 09:28:08 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 268 seconds) |
| 2022-06-20 09:28:18 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-06-20 09:29:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-20 09:29:49 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-06-20 09:30:11 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-20 09:31:29 +0200 | rkk | (~rkk@2601:547:b00:a23:396:e559:7b5:7302) (Quit: Leaving) |
| 2022-06-20 09:34:30 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-06-20 09:34:38 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-20 09:37:27 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-20 09:40:52 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 09:41:13 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-06-20 09:42:22 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-06-20 09:42:48 +0200 | rkk | (~rkk@2601:547:b00:a23:396:e559:7b5:7302) |
| 2022-06-20 09:42:49 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2022-06-20 09:42:49 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 09:42:54 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-06-20 09:46:54 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2022-06-20 09:47:16 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 09:49:08 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2022-06-20 09:49:08 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 09:50:53 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 246 seconds) |
| 2022-06-20 09:50:58 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-20 09:52:09 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-20 09:52:36 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-20 09:54:54 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-06-20 09:55:43 +0200 | rkk | (~rkk@2601:547:b00:a23:396:e559:7b5:7302) (Remote host closed the connection) |
| 2022-06-20 09:55:45 +0200 | noteness | (~noteness@user/noteness) |
| 2022-06-20 09:55:59 +0200 | rkk | (~rkk@2601:547:b00:a23:396:e559:7b5:7302) |
| 2022-06-20 10:00:36 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-06-20 10:01:59 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-20 10:04:18 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 10:05:15 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 276 seconds) |
| 2022-06-20 10:06:06 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2022-06-20 10:06:06 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 10:11:33 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 2022-06-20 10:11:49 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-06-20 10:11:50 +0200 | rkk_ | (~rkk@2601:547:b00:a23:396:e559:7b5:7302) |
| 2022-06-20 10:12:15 +0200 | rkk | (~rkk@2601:547:b00:a23:396:e559:7b5:7302) (Read error: Connection reset by peer) |
| 2022-06-20 10:14:50 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-20 10:15:12 +0200 | fserucas | (~fserucas@193.65.114.89.rev.vodafone.pt) |
| 2022-06-20 10:15:13 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 10:15:22 +0200 | fserucas_ | (~fserucas@193.65.114.89.rev.vodafone.pt) |
| 2022-06-20 10:15:58 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 240 seconds) |
| 2022-06-20 10:16:36 +0200 | phma | (phma@2001:5b0:212a:b718:56ef:209:92f5:8519) |
| 2022-06-20 10:17:30 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2022-06-20 10:17:30 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 10:17:57 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-20 10:18:02 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) |
| 2022-06-20 10:18:47 +0200 | ncf_ | ncf |
| 2022-06-20 10:20:55 +0200 | frost | (~frost@user/frost) |
| 2022-06-20 10:20:59 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-06-20 10:24:14 +0200 | frost | (~frost@user/frost) (Client Quit) |
| 2022-06-20 10:25:08 +0200 | fserucas_ | (~fserucas@193.65.114.89.rev.vodafone.pt) (Quit: Leaving) |
| 2022-06-20 10:25:08 +0200 | fserucas | (~fserucas@193.65.114.89.rev.vodafone.pt) (Quit: Leaving) |
| 2022-06-20 10:25:24 +0200 | fserucas | (~fserucas@193.65.114.89.rev.vodafone.pt) |
| 2022-06-20 10:25:43 +0200 | eod|fserucas | (~eod|fseru@193.65.114.89.rev.vodafone.pt) |
| 2022-06-20 10:27:03 +0200 | frost | (~frost@user/frost) |
| 2022-06-20 10:27:40 +0200 | Infinite74 | (~Infinite@49.39.115.37) (Quit: Client closed) |
| 2022-06-20 10:28:22 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-06-20 10:29:10 +0200 | yauhsien | (~yauhsien@61-231-58-85.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-06-20 10:29:11 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 268 seconds) |
| 2022-06-20 10:29:41 +0200 | noteness | (~noteness@user/noteness) |
| 2022-06-20 10:30:25 +0200 | lisbeths | (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 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 10:35:05 +0200 | rkk_ | (~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 +0200 | CiaoSen | (~Jura@p200300c95732b3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-06-20 10:35:43 +0200 | rkk | (~rkk@2601:547:b00:a23:396:e559:7b5:7302) |
| 2022-06-20 10:36:42 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2022-06-20 10:36:42 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 10:37:53 +0200 | yauhsien | (~yauhsien@61-231-23-53.dynamic-ip.hinet.net) |
| 2022-06-20 10:41:30 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 268 seconds) |
| 2022-06-20 10:41:38 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-20 10:42:41 +0200 | yauhsien | (~yauhsien@61-231-23-53.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-06-20 10:44:14 +0200 | rkk | (~rkk@2601:547:b00:a23:396:e559:7b5:7302) (Quit: Leaving) |
| 2022-06-20 10:45:21 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 10:46:11 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-06-20 10:46:32 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-06-20 10:47:14 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2022-06-20 10:47:14 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 10:51:37 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 248 seconds) |
| 2022-06-20 10:56:25 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 10:58:54 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2022-06-20 10:58:54 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 10:59:01 +0200 | yauhsien | (~yauhsien@61-231-23-53.dynamic-ip.hinet.net) |
| 2022-06-20 11:01:54 +0200 | Alex_test | (~al_test@94.233.240.20) (Quit: ;-) |
| 2022-06-20 11:02:43 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-06-20 11:02:48 +0200 | AlexZenon | (~alzenon@94.233.240.20) (Quit: ;-) |
| 2022-06-20 11:03:49 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-06-20 11:03:51 +0200 | AlexNoo | (~AlexNoo@94.233.240.20) (Quit: Leaving) |
| 2022-06-20 11:05:45 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-06-20 11:07:08 +0200 | rkk | (~rkk@2601:547:b00:a23:396:e559:7b5:7302) |
| 2022-06-20 11:08:01 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2022-06-20 11:10:28 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-06-20 11:11:30 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 264 seconds) |
| 2022-06-20 11:11:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-06-20 11:11:57 +0200 | CiaoSen | (~Jura@p200300c95732b3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen) |
| 2022-06-20 11:12:24 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-06-20 11:13:06 +0200 | kuribas | (~user@ptr-17d51eo175zv1ex382a.18120a2.ip6.access.telenet.be) |
| 2022-06-20 11:15:53 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 11:16:29 +0200 | CiaoSen | (~Jura@p200300c95732b3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-06-20 11:18:24 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) |
| 2022-06-20 11:18:30 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-06-20 11:18:30 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 11:20:29 +0200 | CiaoSen | (~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 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-06-20 11:22:33 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) (Ping timeout: 248 seconds) |
| 2022-06-20 11:25:43 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 11:26:40 +0200 | AlexZenon | (~alzenon@94.233.240.20) |
| 2022-06-20 11:26:44 +0200 | AlexNoo | (~AlexNoo@94.233.240.20) |
| 2022-06-20 11:27:37 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2022-06-20 11:27:37 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 11:28:13 +0200 | Alex_test | (~al_test@94.233.240.20) |
| 2022-06-20 11:29:31 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-06-20 11:29:35 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-20 11:30:18 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-20 11:32:05 +0200 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-06-20 11:32:45 +0200 | user | (~user@esm-84-240-99-143.netplaza.fi) |
| 2022-06-20 11:32:50 +0200 | asm | (~alexander@burner.asm89.io) (Changing host) |
| 2022-06-20 11:32:50 +0200 | asm | (~alexander@user/asm) |
| 2022-06-20 11:33:00 +0200 | user | (~user@esm-84-240-99-143.netplaza.fi) (Client Quit) |
| 2022-06-20 11:33:12 +0200 | user | (~user@esm-84-240-99-143.netplaza.fi) |
| 2022-06-20 11:33:26 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-06-20 11:33:48 +0200 | user | (~user@esm-84-240-99-143.netplaza.fi) (Client Quit) |
| 2022-06-20 11:34:01 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 2022-06-20 11:34:29 +0200 | winny | (~weechat@user/winny) |
| 2022-06-20 11:35:53 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 248 seconds) |
| 2022-06-20 11:36:02 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2022-06-20 11:36:31 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) |
| 2022-06-20 11:38:58 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 240 seconds) |
| 2022-06-20 11:41:23 +0200 | robbert | robbert-vdh |
| 2022-06-20 11:42:53 +0200 | acidjnk_new | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) |
| 2022-06-20 11:43:14 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2022-06-20 11:43:47 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) |
| 2022-06-20 11:45:04 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-06-20 11:45:25 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-06-20 11:46:18 +0200 | CiaoSen | (~Jura@p200300c95732b3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-06-20 11:46:58 +0200 | acidjnk_new | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2022-06-20 11:51:53 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 248 seconds) |
| 2022-06-20 11:57:22 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-20 11:59:41 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-20 12:00:16 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-06-20 12:03:04 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-06-20 12:03:30 +0200 | rkk | (~rkk@2601:547:b00:a23:396:e559:7b5:7302) (Quit: Leaving) |
| 2022-06-20 12:07:51 +0200 | raym | (~raym@user/raym) (Ping timeout: 256 seconds) |
| 2022-06-20 12:08:02 +0200 | winny | (~weechat@user/winny) |
| 2022-06-20 12:11:34 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-06-20 12:11:37 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 12:13:38 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2022-06-20 12:13:38 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 12:18:13 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) |
| 2022-06-20 12:20:30 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2022-06-20 12:20:30 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 12:21:10 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2022-06-20 12:22:57 +0200 | brprice | (~brprice@user/brprice) |
| 2022-06-20 12:23:59 +0200 | chele | (~chele@user/chele) |
| 2022-06-20 12:26:40 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-20 12:29:36 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-06-20 12:32:04 +0200 | ccntrq1 | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) |
| 2022-06-20 12:32:30 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-158-198.77.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2022-06-20 12:32:30 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 12:33:06 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 264 seconds) |
| 2022-06-20 12:35:02 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-06-20 12:39:17 +0200 | ccntrq1 | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) |
| 2022-06-20 12:41:18 +0200 | ccntrq | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2022-06-20 12:41:18 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 12:46:11 +0200 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2022-06-20 12:47:23 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-20 12:50:14 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer) |
| 2022-06-20 12:50:27 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-06-20 12:54:27 +0200 | ccntrq1 | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) |
| 2022-06-20 12:55:56 +0200 | ccntrq | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-06-20 12:55:56 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 12:58:39 +0200 | Patternm1ster | (~georg@li1192-118.members.linode.com) (Quit: leaving) |
| 2022-06-20 13:00:38 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-06-20 13:00:46 +0200 | yauhsien | (~yauhsien@61-231-23-53.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-06-20 13:02:03 +0200 | Patternmaster | (~georg@user/Patternmaster) |
| 2022-06-20 13:02:58 +0200 | winny | (~weechat@user/winny) |
| 2022-06-20 13:03:20 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-06-20 13:04:10 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 240 seconds) |
| 2022-06-20 13:06:19 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-06-20 13:06:42 +0200 | ccntrq1 | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) |
| 2022-06-20 13:07:54 +0200 | ccntrq | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2022-06-20 13:07:54 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 13:08:24 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-06-20 13:12:37 +0200 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-06-20 13:14:22 +0200 | yauhsien | (~yauhsien@61-231-23-53.dynamic-ip.hinet.net) |
| 2022-06-20 13:14:53 +0200 | bahamas | (~lucian@86.120.77.115) |
| 2022-06-20 13:18:34 +0200 | lyle | (~lyle@104.246.145.85) |
| 2022-06-20 13:19:59 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 268 seconds) |
| 2022-06-20 13:23:44 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2022-06-20 13:24:22 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2022-06-20 13:24:22 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2022-06-20 13:24:22 +0200 | haritz | (~hrtz@user/haritz) |
| 2022-06-20 13:24:33 +0200 | raym | (~raym@user/raym) |
| 2022-06-20 13:27:15 +0200 | ccntrq1 | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) |
| 2022-06-20 13:29:51 +0200 | ccntrq | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-06-20 13:29:51 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 13:32:05 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2022-06-20 13:32:05 +0200 | acidjnk_new | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) |
| 2022-06-20 13:33:00 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-06-20 13:35:19 +0200 | ccntrq1 | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) |
| 2022-06-20 13:36:25 +0200 | ccntrq | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2022-06-20 13:36:25 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 13:38:14 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-06-20 13:40:35 +0200 | acidjnk_new3 | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) |
| 2022-06-20 13:40:38 +0200 | acidjnk_new | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2022-06-20 13:46:05 +0200 | acidjnk_new | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) |
| 2022-06-20 13:46:08 +0200 | acidjnk_new3 | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2022-06-20 13:50:33 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-06-20 13:51:12 +0200 | ccntrq1 | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) |
| 2022-06-20 13:52:10 +0200 | frost | (~frost@user/frost) |
| 2022-06-20 13:52:38 +0200 | ccntrq | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2022-06-20 13:52:38 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 13:54:14 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) |
| 2022-06-20 13:57:45 +0200 | acidjnk_new | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2022-06-20 13:59:23 +0200 | bahamas | (~lucian@86.120.77.115) (Quit: Lost terminal) |
| 2022-06-20 14:03:06 +0200 | ccntrq1 | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) |
| 2022-06-20 14:03:31 +0200 | treeshateorcs[m] | (~treeshate@2001:470:69fc:105::1:41c4) () |
| 2022-06-20 14:04:59 +0200 | ccntrq | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2022-06-20 14:04:59 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 14:05:12 +0200 | acetakwas | (~acetakwas@165.225.28.51) |
| 2022-06-20 14:06:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2bf3:2621:9294:3fa3) |
| 2022-06-20 14:09:41 +0200 | ccntrq1 | (~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de) |
| 2022-06-20 14:10:14 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2022-06-20 14:11:37 +0200 | ccntrq | (~Thunderbi@dynamic-095-116-145-171.95.116.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2022-06-20 14:11:37 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 14:20:36 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-06-20 14:20:57 +0200 | ccntrq1 | (~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de) |
| 2022-06-20 14:22:17 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-06-20 14:22:58 +0200 | ccntrq | (~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2022-06-20 14:22:58 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 14:24:25 +0200 | Guest5 | (~Guest5@62.48.23.95.dynamic.jazztel.es) |
| 2022-06-20 14:24:57 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-06-20 14:25:00 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-20 14:27:21 +0200 | causal | (~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 +0200 | acidjnk | (~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 +0200 | ec | (~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 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-06-20 14:33:50 +0200 | frost | (~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 +0200 | fweht | (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 +0200 | gmg | (~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 +0200 | Guest5 | (~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 +0200 | Guest5 | (~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 +0200 | dschrempf | (~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 +0200 | ccntrq1 | (~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de) |
| 2022-06-20 14:52:50 +0200 | jao | (~jao@211.68.17.95.dynamic.jazztel.es) |
| 2022-06-20 14:54:06 +0200 | ccntrq | (~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2022-06-20 14:54:06 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 14:54:10 +0200 | apache | (apache2@anubis.0x90.dk) |
| 2022-06-20 14:54:14 +0200 | apache2 | (apache2@anubis.0x90.dk) (Read error: Connection reset by peer) |
| 2022-06-20 14:54:16 +0200 | mncheck | (~mncheck@193.224.205.254) (Read error: Connection reset by peer) |
| 2022-06-20 14:54:28 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2022-06-20 14:54:28 +0200 | cawfee_ | (~root@2406:3003:2077:2758::babe) |
| 2022-06-20 14:54:56 +0200 | Me-me | (~me-me@user/me-me) (Read error: Connection reset by peer) |
| 2022-06-20 14:55:16 +0200 | cawfee | (~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 +0200 | acetakwas | (~acetakwas@165.225.28.51) (Ping timeout: 252 seconds) |
| 2022-06-20 15:03:44 +0200 | ccntrq1 | (~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 +0200 | stiell | (~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 +0200 | ccntrq | (~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2022-06-20 15:06:06 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 15:06:42 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-20 15:07:19 +0200 | raehik | (~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 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 264 seconds) |
| 2022-06-20 15:09:34 +0200 | machinedgod | (~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 +0200 | ccntrq1 | (~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 +0200 | ccntrq | (~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2022-06-20 15:14:38 +0200 | ccntrq1 | ccntrq |
| 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 +0200 | ccntrq1 | (~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 +0200 | shriekingnoise | (~shrieking@201.212.175.181) |
| 2022-06-20 15:19:37 +0200 | ccntrq | (~Thunderbi@dynamic-095-112-132-207.95.112.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-06-20 15:19:37 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 15:20:37 +0200 | tromp | (~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 +0200 | Guest5 | (~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 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-06-20 15:24:00 +0200 | Kaiepi | (~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 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 244 seconds) |
| 2022-06-20 15:28:15 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Quit: WeeChat 3.5) |
| 2022-06-20 15:28:32 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-06-20 15:28:33 +0200 | frost | (~frost@user/frost) |
| 2022-06-20 15:30:24 +0200 | Polo | (~Gambino@user/polo) |
| 2022-06-20 15:31:21 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-06-20 15:33:37 +0200 | stefan-_ | (~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 +0200 | jgeerds | (~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 +0200 | Polo | (~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 +0200 | ccntrq1 | (~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 +0200 | jao | (~jao@211.68.17.95.dynamic.jazztel.es) (Ping timeout: 256 seconds) |
| 2022-06-20 15:43:02 +0200 | acidjnk_new | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) |
| 2022-06-20 15:44:17 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-195-240.77.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-06-20 15:44:17 +0200 | ccntrq1 | ccntrq |
| 2022-06-20 15:45:12 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-06-20 15:45:26 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-06-20 15:45:45 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-06-20 15:46:01 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2022-06-20 15:47:10 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 240 seconds) |
| 2022-06-20 15:49:18 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 264 seconds) |
| 2022-06-20 15:50:10 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) |
| 2022-06-20 15:50:44 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-06-20 15:51:07 +0200 | acidjnk_new | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2022-06-20 15:51:11 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-20 15:53:50 +0200 | kimjetwav | (~user@2607:fea8:2340:da00:a3ad:b89c:e37:6b8f) (Remote host closed the connection) |
| 2022-06-20 15:55:18 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2bf3:2621:9294:3fa3) (Ping timeout: 240 seconds) |
| 2022-06-20 15:55:37 +0200 | dcoutts_ | (~duncan@host213-122-143-35.range213-122.btcentralplus.com) |
| 2022-06-20 15:56:09 +0200 | dcoutts | (~duncan@host86-150-18-15.range86-150.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2022-06-20 15:56:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2bf3:2621:9294:3fa3) |
| 2022-06-20 15:57:22 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-06-20 15:58:12 +0200 | Polo | (~Gambino@user/polo) |
| 2022-06-20 15:58:14 +0200 | mrd | (~mrd@user/mrd) (Read error: Connection reset by peer) |
| 2022-06-20 16:01:16 +0200 | dcoutts | (~duncan@host213-122-143-35.range213-122.btcentralplus.com) |
| 2022-06-20 16:02:30 +0200 | dcoutts_ | (~duncan@host213-122-143-35.range213-122.btcentralplus.com) (Ping timeout: 264 seconds) |
| 2022-06-20 16:02:59 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-06-20 16:03:06 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-06-20 16:03:21 +0200 | acetakwas | (~acetakwas@165.225.28.51) |
| 2022-06-20 16:07:42 +0200 | Vajb | (~Vajb@2001:999:40:4c50:1b24:879c:6df3:1d06) (Read error: Connection reset by peer) |
| 2022-06-20 16:07:49 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-195-240.77.6.pool.telefonica.de) |
| 2022-06-20 16:08:29 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-20 16:10:01 +0200 | tromp | (~textual@77.249.230.40) |
| 2022-06-20 16:10:11 +0200 | acidjnk | (~acidjnk@dynamic-002-247-244-015.2.247.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-06-20 16:10:18 +0200 | ccntrq | (~Thunderbi@dynamic-077-006-195-240.77.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2022-06-20 16:12:34 +0200 | ccntrq | (~Thunderbi@dynamic-077-008-161-034.77.8.pool.telefonica.de) |
| 2022-06-20 16:14:18 +0200 | ccntrq1 | (~Thunderbi@dynamic-077-006-195-240.77.6.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2022-06-20 16:14:24 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-06-20 16:15:45 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-20 16:16:35 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 2022-06-20 16:16:54 +0200 | Polo | (~Gambino@user/polo) (Quit: Polo) |
| 2022-06-20 16:17:00 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-20 16:17:09 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-06-20 16:17:11 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-20 16:19:58 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-20 16:21:36 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-20 16:22:17 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) |
| 2022-06-20 16:22:31 +0200 | ccntrq | (~Thunderbi@dynamic-077-008-161-034.77.8.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-06-20 16:22:44 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-06-20 16:23:11 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-06-20 16:24:59 +0200 | ccntrq | (~Thunderbi@dynamic-077-001-097-104.77.1.pool.telefonica.de) |
| 2022-06-20 16:26:18 +0200 | sonny | (~sonny@bras-base-toroon0812w-grc-01-142-114-220-108.dsl.bell.ca) |
| 2022-06-20 16:26:53 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) (Ping timeout: 255 seconds) |
| 2022-06-20 16:27:46 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-20 16:29:34 +0200 | jao | (~jao@211.68.17.95.dynamic.jazztel.es) |
| 2022-06-20 16:30:20 +0200 | leeb | (~leeb@KD106155005147.au-net.ne.jp) |
| 2022-06-20 16:30:27 +0200 | Kaipei | (~Kaiepi@156.34.47.253) |
| 2022-06-20 16:32:52 +0200 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2022-06-20 16:33:29 +0200 | ccntrq | (~Thunderbi@dynamic-077-001-097-104.77.1.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2022-06-20 16:33:37 +0200 | forell | (~forell@user/forell) (Ping timeout: 256 seconds) |
| 2022-06-20 16:34:18 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 264 seconds) |
| 2022-06-20 16:35:21 +0200 | ccntrq | (~Thunderbi@dynamic-095-112-019-061.95.112.pool.telefonica.de) |
| 2022-06-20 16:36:52 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-20 16:37:13 +0200 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Ping timeout: 248 seconds) |
| 2022-06-20 16:38:04 +0200 | forell | (~forell@user/forell) |
| 2022-06-20 16:38:49 +0200 | Kaipei | (~Kaiepi@156.34.47.253) (Ping timeout: 248 seconds) |
| 2022-06-20 16:38:54 +0200 | eggplantade | (~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 +0200 | ccntrq | (~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 +0200 | alp__ | (~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 +0200 | Polo | (~Gambino@user/polo) |
| 2022-06-20 16:52:17 +0200 | ashln | (~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 +0200 | ashln | (~ashln@98.38.236.123) |
| 2022-06-20 16:54:20 +0200 | sonny | (~sonny@bras-base-toroon0812w-grc-01-142-114-220-108.dsl.bell.ca) (Quit: Client closed) |
| 2022-06-20 16:54:36 +0200 | Polo | Guest8065 |
| 2022-06-20 16:54:36 +0200 | Guest8065 | (~Gambino@user/polo) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 2022-06-20 16:55:06 +0200 | dschrempf | (~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 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 240 seconds) |
| 2022-06-20 16:57:40 +0200 | Everything | (~Everythin@37.115.210.35) |
| 2022-06-20 16:58:13 +0200 | sonny | (~sonny@bras-base-toroon0812w-grc-01-142-114-220-108.dsl.bell.ca) |
| 2022-06-20 16:59:20 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-06-20 17:00:41 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-20 17:01:05 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 255 seconds) |
| 2022-06-20 17:02:03 +0200 | alp__ | (~alp@user/alp) |
| 2022-06-20 17:03:53 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-06-20 17:04:17 +0200 | shinjipf | (~shinjipf@2a02:c207:2082:6685::1) (Quit: Ping timeout (120 seconds)) |
| 2022-06-20 17:04:25 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 248 seconds) |
| 2022-06-20 17:04:33 +0200 | Vajb | (~Vajb@2001:999:40:4c50:1b24:879c:6df3:1d06) |
| 2022-06-20 17:04:37 +0200 | shinjipf | (~shinjipf@2a02:c207:2082:6685::1) |
| 2022-06-20 17:04:56 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-06-20 17:05:05 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 268 seconds) |
| 2022-06-20 17:07:17 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-06-20 17:11:27 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Read error: Connection reset by peer) |
| 2022-06-20 17:12:16 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) |
| 2022-06-20 17:14:11 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:efa1:ff7c:7895:e2a0) (Quit: WeeChat 2.8) |
| 2022-06-20 17:15:52 +0200 | odnes | (~odnes@5-203-176-182.pat.nym.cosmote.net) |
| 2022-06-20 17:18:35 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-06-20 17:23:11 +0200 | Guest19 | (~Guest19@gate.cuzk.cz) |
| 2022-06-20 17:26:39 +0200 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-06-20 17:27:17 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-06-20 17:27:29 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-06-20 17:32:12 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 268 seconds) |
| 2022-06-20 17:32:14 +0200 | odnes | (~odnes@5-203-176-182.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-06-20 17:32:28 +0200 | odnes | (~odnes@5-203-176-182.pat.nym.cosmote.net) |
| 2022-06-20 17:32:31 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-06-20 17:32:50 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 240 seconds) |
| 2022-06-20 17:34:58 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) (Remote host closed the connection) |
| 2022-06-20 17:36:02 +0200 | nate4 | (~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 +0200 | mbuf | (~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 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-20 17:39:25 +0200 | <geekosaur> | s/is/are/ |
| 2022-06-20 17:39:54 +0200 | fweht | (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 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-20 17:40:56 +0200 | Guest63 | (~Guest63@2a00:1398:9:fb03:655a:c349:530e:252d) |
| 2022-06-20 17:41:37 +0200 | dcoutts | (~duncan@host213-122-143-35.range213-122.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2022-06-20 17:42:12 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) |
| 2022-06-20 17:42:12 +0200 | Guest63 | (~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 +0200 | dcoutts | (~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 +0200 | coot | (~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 +0200 | sonny | (~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 +0200 | yauhsien | (~yauhsien@61-231-23-53.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-06-20 17:52:30 +0200 | odnes | (~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 +0200 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-06-20 17:53:01 +0200 | Kaiepi | (~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 +0200 | mmhat | (~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 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-06-20 18:02:04 +0200 | odnes | (~odnes@5-203-176-182.pat.nym.cosmote.net) |
| 2022-06-20 18:03:06 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 264 seconds) |
| 2022-06-20 18:03:37 +0200 | alp__ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-06-20 18:04:41 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-20 18:05:21 +0200 | yauhsien | (~yauhsien@61-231-23-53.dynamic-ip.hinet.net) |
| 2022-06-20 18:06:44 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 268 seconds) |
| 2022-06-20 18:07:58 +0200 | raehik | (~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 +0200 | tzh | (~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 +0200 | pleo | (~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 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 264 seconds) |
| 2022-06-20 18:18:20 +0200 | acetakwas | (~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 +0200 | Vajb | (~Vajb@2001:999:40:4c50:1b24:879c:6df3:1d06) (Read error: Connection reset by peer) |
| 2022-06-20 18:21:20 +0200 | Vajb | (~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 +0200 | gff | (~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 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 255 seconds) |
| 2022-06-20 18:24:29 +0200 | gff | (~gff@user/gff) |
| 2022-06-20 18:26:29 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-20 18:26:37 +0200 | dcoutts_ | (~duncan@host213-122-124-157.range213-122.btcentralplus.com) |
| 2022-06-20 18:27:49 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-06-20 18:27:51 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::4588) |
| 2022-06-20 18:29:33 +0200 | dcoutts | (~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 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-06-20 18:35:36 +0200 | stackdroid18 | (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 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) |
| 2022-06-20 18:41:28 +0200 | Infinite | (~Infinite@49.39.115.37) |
| 2022-06-20 18:43:09 +0200 | jinsun__ | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-06-20 18:44:40 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-06-20 18:45:16 +0200 | Guest19 | (~Guest19@gate.cuzk.cz) (Quit: Client closed) |
| 2022-06-20 18:46:13 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-06-20 18:49:15 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-06-20 18:50:01 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 248 seconds) |
| 2022-06-20 18:50:07 +0200 | sympt0 | (~sympt@user/sympt) |
| 2022-06-20 18:50:50 +0200 | sympt | (~sympt@user/sympt) (Ping timeout: 240 seconds) |
| 2022-06-20 18:50:51 +0200 | sympt0 | sympt |
| 2022-06-20 18:51:45 +0200 | jinsun__ | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-06-20 18:54:04 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-06-20 18:57:05 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-06-20 18:58:12 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-06-20 18:59:45 +0200 | img | (~img@user/img) |
| 2022-06-20 19:00:20 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 255 seconds) |
| 2022-06-20 19:01:54 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-20 19:03:04 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-06-20 19:03:11 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-06-20 19:04:01 +0200 | noteness | (~noteness@user/noteness) |
| 2022-06-20 19:04:07 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2022-06-20 19:04:57 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 248 seconds) |
| 2022-06-20 19:05:06 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-20 19:06:01 +0200 | raym | (~raym@user/raym) (Ping timeout: 248 seconds) |
| 2022-06-20 19:06:57 +0200 | raym | (~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 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) (Remote host closed the connection) |
| 2022-06-20 19:15:18 +0200 | jao | (~jao@211.68.17.95.dynamic.jazztel.es) (Ping timeout: 240 seconds) |
| 2022-06-20 19:16:35 +0200 | tromp | (~textual@77.249.230.40) (Read error: Connection reset by peer) |
| 2022-06-20 19:19:30 +0200 | MajorBiscuit | (~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 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2022-06-20 19:29:59 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-06-20 19:34:05 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 255 seconds) |
| 2022-06-20 19:34:49 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:c0fe:4e75:d9a4:167f) (Ping timeout: 248 seconds) |
| 2022-06-20 19:35:20 +0200 | AkechiShiro | (~licht@2a01:e0a:5f9:9681:6ef6:204a:3e2c:ce07) (Ping timeout: 248 seconds) |
| 2022-06-20 19:35:46 +0200 | acidjnk | (~acidjnk@dynamic-046-114-175-104.46.114.pool.telefonica.de) |
| 2022-06-20 19:39:39 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-06-20 19:40:43 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) |
| 2022-06-20 19:41:22 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-06-20 19:43:30 +0200 | pleo | (~pleo@user/pleo) (Ping timeout: 240 seconds) |
| 2022-06-20 19:43:51 +0200 | econo | (uid147250@user/econo) |
| 2022-06-20 19:44:52 +0200 | quartz | (~irfan@182.77.87.9) |
| 2022-06-20 19:44:57 +0200 | quartz | quartz_ |
| 2022-06-20 19:45:23 +0200 | jonathanx_ | (~jonathan@c-5eea7304-74736162.cust.telenor.se) |
| 2022-06-20 19:46:54 +0200 | liz_ | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-06-20 19:47:59 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds) |
| 2022-06-20 19:52:45 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2022-06-20 19:53:40 +0200 | quartz_ | (~irfan@182.77.87.9) (Quit: leaving) |
| 2022-06-20 19:54:47 +0200 | kimjetwav | (~user@2607:fea8:2340:da00:fe24:c3fc:91f5:a798) |
| 2022-06-20 19:58:47 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-06-20 20:03:58 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-06-20 20:10:25 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-20 20:12:40 +0200 | jonathanx_ | (~jonathan@c-5eea7304-74736162.cust.telenor.se) (Read error: Connection reset by peer) |
| 2022-06-20 20:13:52 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-06-20 20:31:20 +0200 | Infinite | (~Infinite@49.39.115.37) (Ping timeout: 252 seconds) |
| 2022-06-20 20:32:00 +0200 | quartz_ | (~irfan@182.77.87.9) |
| 2022-06-20 20:32:25 +0200 | z0k | (~z0k@206.84.141.12) (Ping timeout: 248 seconds) |
| 2022-06-20 20:36:09 +0200 | acidjnk | (~acidjnk@dynamic-046-114-175-104.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2022-06-20 20:36:49 +0200 | shriekingnoise | (~shrieking@201.212.175.181) (Quit: Quit) |
| 2022-06-20 20:37:00 +0200 | kuribas | (~user@ptr-17d51eo175zv1ex382a.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-06-20 20:39:53 +0200 | leeb | (~leeb@KD106155005147.au-net.ne.jp) (Ping timeout: 248 seconds) |
| 2022-06-20 20:44:43 +0200 | pleo | (~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 +0200 | slaydr | (~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 +0200 | Luj | (~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 +0200 | waleee | (~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 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-06-20 21:01:15 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2022-06-20 21:01:18 +0200 | pleo | (~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 +0200 | darksatanic | darkling |
| 2022-06-20 21:02:02 +0200 | <quartz_> | the error still persists though. |
| 2022-06-20 21:03:38 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 2022-06-20 21:04:19 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-06-20 21:04:40 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-06-20 21:05:39 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-06-20 21:06:31 +0200 | quartz_ | (~irfan@182.77.87.9) (Quit: leaving) |
| 2022-06-20 21:09:21 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-06-20 21:12:09 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection) |
| 2022-06-20 21:13:02 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) |
| 2022-06-20 21:17:17 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 268 seconds) |
| 2022-06-20 21:17:40 +0200 | quartz_ | (~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 +0200 | pleo | (~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 +0200 | inversed | (~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 +0200 | quartz_ | (~quartz_@2401:4900:1c32:441:d06c:1365:6fe1:e2ec) (Quit: Client closed) |
| 2022-06-20 21:29:06 +0200 | quartz_ | (~quartz_@2401:4900:1c32:441:d06c:1365:6fe1:e2ec) |
| 2022-06-20 21:30:32 +0200 | inversed | (~inversed@176.248.27.211) |
| 2022-06-20 21:31:55 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-06-20 21:31:59 +0200 | notzmv | (~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 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2022-06-20 21:37:13 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-06-20 21:37:34 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-06-20 21:37:38 +0200 | odnes | (~odnes@5-203-176-182.pat.nym.cosmote.net) (Ping timeout: 268 seconds) |
| 2022-06-20 21:38:12 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-06-20 21:38:40 +0200 | acidjnk | (~acidjnk@dynamic-046-114-175-104.46.114.pool.telefonica.de) |
| 2022-06-20 21:39:23 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-06-20 21:42:35 +0200 | ulvarrefr | (~user@188.124.56.153) |
| 2022-06-20 21:42:52 +0200 | quartz_ | (~quartz_@2401:4900:1c32:441:d06c:1365:6fe1:e2ec) (Quit: Ping timeout (120 seconds)) |
| 2022-06-20 21:43:09 +0200 | quartz_ | (~quartz_@2401:4900:1c32:441:d06c:1365:6fe1:e2ec) |
| 2022-06-20 21:43:29 +0200 | quartz_ | (~quartz_@2401:4900:1c32:441:d06c:1365:6fe1:e2ec) (Client Quit) |
| 2022-06-20 21:43:56 +0200 | comerijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-06-20 21:44:24 +0200 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-06-20 21:44:28 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-06-20 21:44:28 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-06-20 21:44:31 +0200 | allbery_b | geekosaur |
| 2022-06-20 21:44:32 +0200 | slaydr_ | (~seriley@75.164.63.238) |
| 2022-06-20 21:44:33 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-06-20 21:44:33 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 2022-06-20 21:45:42 +0200 | sympt9 | (~sympt@user/sympt) |
| 2022-06-20 21:45:50 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-06-20 21:45:58 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 240 seconds) |
| 2022-06-20 21:45:58 +0200 | forell | (~forell@user/forell) (Ping timeout: 240 seconds) |
| 2022-06-20 21:45:58 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-06-20 21:46:00 +0200 | haritzondo | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2022-06-20 21:46:09 +0200 | rembo10_ | (~rembo10@main.remulis.com) |
| 2022-06-20 21:46:16 +0200 | rembo10 | (~rembo10@main.remulis.com) (Ping timeout: 268 seconds) |
| 2022-06-20 21:46:18 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-06-20 21:46:18 +0200 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-06-20 21:46:18 +0200 | haritz | (~hrtz@user/haritz) (Ping timeout: 240 seconds) |
| 2022-06-20 21:46:18 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 2022-06-20 21:46:21 +0200 | forell | (~forell@user/forell) |
| 2022-06-20 21:46:38 +0200 | slaydr | (~seriley@75.164.63.238) (Ping timeout: 240 seconds) |
| 2022-06-20 21:46:38 +0200 | liz_ | (~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 +0200 | sympt | (~sympt@user/sympt) (Ping timeout: 240 seconds) |
| 2022-06-20 21:46:38 +0200 | yauhsien | (~yauhsien@61-231-23-53.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-06-20 21:46:38 +0200 | sympt9 | sympt |
| 2022-06-20 21:46:49 +0200 | eod|fserucas_ | (~eod|fseru@193.65.114.89.rev.vodafone.pt) |
| 2022-06-20 21:46:50 +0200 | eod|fserucas__ | (~eod|fseru@193.65.114.89.rev.vodafone.pt) |
| 2022-06-20 21:46:53 +0200 | raym | (~raym@user/raym) (Ping timeout: 268 seconds) |
| 2022-06-20 21:46:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Ping timeout: 268 seconds) |
| 2022-06-20 21:46:53 +0200 | Patternmaster | (~georg@user/Patternmaster) (Ping timeout: 268 seconds) |
| 2022-06-20 21:46:53 +0200 | zaquest | (~notzaques@5.130.79.72) (Ping timeout: 268 seconds) |
| 2022-06-20 21:46:53 +0200 | michalz | (~michalz@185.246.204.125) (Ping timeout: 268 seconds) |
| 2022-06-20 21:46:58 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 240 seconds) |
| 2022-06-20 21:47:22 +0200 | raym | (~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 +0200 | fserucas | (~fserucas@193.65.114.89.rev.vodafone.pt) (Ping timeout: 264 seconds) |
| 2022-06-20 21:47:30 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 268 seconds) |
| 2022-06-20 21:47:30 +0200 | machinedgod | (~machinedg@66.244.246.252) (Ping timeout: 268 seconds) |
| 2022-06-20 21:47:30 +0200 | eod|fserucas | (~eod|fseru@193.65.114.89.rev.vodafone.pt) (Ping timeout: 268 seconds) |
| 2022-06-20 21:47:30 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 268 seconds) |
| 2022-06-20 21:47:36 +0200 | yauhsien | (~yauhsien@61-231-23-53.dynamic-ip.hinet.net) |
| 2022-06-20 21:47:38 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-06-20 21:47:51 +0200 | michalz | (~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 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-06-20 21:48:27 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-06-20 21:48:39 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-06-20 21:48:40 +0200 | Patternmaster | (~georg@user/Patternmaster) |
| 2022-06-20 21:48:44 +0200 | liz | (~liz@cpc84585-newc17-2-0-cust60.16-2.cable.virginm.net) |
| 2022-06-20 21:48:53 +0200 | machinedgod | (~machinedg@66.244.246.252) |
| 2022-06-20 21:49:00 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-06-20 21:49:12 +0200 | odnes | (~odnes@5-203-176-182.pat.nym.cosmote.net) |
| 2022-06-20 21:49:49 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-06-20 21:50:57 +0200 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 256 seconds) |
| 2022-06-20 21:51:53 +0200 | inversed | (~inversed@176.248.27.211) (Ping timeout: 248 seconds) |
| 2022-06-20 21:52:59 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-20 21:53:29 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-06-20 21:55:44 +0200 | inversed | (~inversed@176.248.27.211) |
| 2022-06-20 21:55:50 +0200 | phma_ | (~phma@host-67-44-208-229.hnremote.net) |
| 2022-06-20 21:58:38 +0200 | phma | (phma@2001:5b0:212a:b718:56ef:209:92f5:8519) (Ping timeout: 240 seconds) |
| 2022-06-20 21:59:42 +0200 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.5) |
| 2022-06-20 22:00:00 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-06-20 22:00:42 +0200 | Tuplanolla | (~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 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 244 seconds) |
| 2022-06-20 22:04:33 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-06-20 22:04:46 +0200 | werneta | (~werneta@137.79.236.20) |
| 2022-06-20 22:06:06 +0200 | Hash | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Quit: ZNC - https://znc.in) |
| 2022-06-20 22:06:22 +0200 | Hash | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) |
| 2022-06-20 22:09:24 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-06-20 22:13:48 +0200 | Everything | (~Everythin@37.115.210.35) (Remote host closed the connection) |
| 2022-06-20 22:24:43 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-06-20 22:25:40 +0200 | winny | (~weechat@user/winny) |
| 2022-06-20 22:26:09 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-06-20 22:29:04 +0200 | pleo | (~pleo@user/pleo) (Quit: quit) |
| 2022-06-20 22:31:21 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2022-06-20 22:32:32 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-06-20 22:33:11 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-06-20 22:40:27 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) (Remote host closed the connection) |
| 2022-06-20 22:44:41 +0200 | acidjnk | (~acidjnk@dynamic-046-114-175-104.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2022-06-20 22:44:54 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Quit: ZNC - https://znc.in) |
| 2022-06-20 22:45:11 +0200 | jgeerds | (~jgeerds@55d45f48.access.ecotel.net) |
| 2022-06-20 22:45:47 +0200 | haru_ | (~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4) |
| 2022-06-20 22:46:15 +0200 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-06-20 22:46:45 +0200 | acidjnk | (~acidjnk@dynamic-046-114-175-104.46.114.pool.telefonica.de) |
| 2022-06-20 22:47:48 +0200 | haru_ | (~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4) () |
| 2022-06-20 22:48:20 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2022-06-20 22:48:58 +0200 | haru` | (~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4) |
| 2022-06-20 22:49:15 +0200 | haru` | (~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4) () |
| 2022-06-20 22:49:34 +0200 | haru` | (~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4) |
| 2022-06-20 22:49:59 +0200 | haru` | (~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4) () |
| 2022-06-20 22:52:19 +0200 | coot | (~coot@213.134.190.95) |
| 2022-06-20 22:56:50 +0200 | rkk | (~rkk@2601:547:b00:24f:489a:4d0e:6396:d372) |
| 2022-06-20 22:57:08 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:21c1:4642:3625:e265) |
| 2022-06-20 23:01:23 +0200 | rkk | (~rkk@2601:547:b00:24f:489a:4d0e:6396:d372) (Remote host closed the connection) |
| 2022-06-20 23:01:37 +0200 | rkk | (~rkk@2601:547:b00:24f:489a:4d0e:6396:d372) |
| 2022-06-20 23:02:54 +0200 | rkk | (~rkk@2601:547:b00:24f:489a:4d0e:6396:d372) (Remote host closed the connection) |
| 2022-06-20 23:03:05 +0200 | rkk | (~rkk@2601:547:b00:24f:489a:4d0e:6396:d372) |
| 2022-06-20 23:05:49 +0200 | CiaoSen | (~Jura@p200300c95732b3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-06-20 23:07:10 +0200 | CiaoSen | (~Jura@p200300c95735ef002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-06-20 23:08:14 +0200 | pleo | (~pleo@user/pleo) |
| 2022-06-20 23:15:48 +0200 | haru` | (~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4) |
| 2022-06-20 23:15:55 +0200 | haru` | (~user@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4) (Remote host closed the connection) |
| 2022-06-20 23:16:32 +0200 | haru` | (~HackingSp@2804:431:c7f5:d4eb:7d26:72ea:2c30:f9f4) |
| 2022-06-20 23:16:41 +0200 | haru` | HackingSpring |
| 2022-06-20 23:19:55 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-06-20 23:22:45 +0200 | sonny | (~sonny@bras-base-toroon0812w-grc-01-142-114-220-108.dsl.bell.ca) |
| 2022-06-20 23:23:07 +0200 | concrete-houses | (~g@209.6.150.53) |
| 2022-06-20 23:23:16 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-06-20 23:24:40 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-06-20 23:25:52 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection) |
| 2022-06-20 23:26:01 +0200 | michalz | (~michalz@185.246.204.107) (Remote host closed the connection) |
| 2022-06-20 23:30:34 +0200 | slack1256 | (~slack1256@186.11.21.54) |
| 2022-06-20 23:31:04 +0200 | cosimone | (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) |
| 2022-06-20 23:31:52 +0200 | sonny | (~sonny@bras-base-toroon0812w-grc-01-142-114-220-108.dsl.bell.ca) () |
| 2022-06-20 23:32:58 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 268 seconds) |
| 2022-06-20 23:33:13 +0200 | noteness | (~noteness@user/noteness) |
| 2022-06-20 23:33:42 +0200 | concrete-houses | (~g@209.6.150.53) (Quit: leaving) |
| 2022-06-20 23:34:30 +0200 | MajorBiscuit | (~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 +0200 | mc47 | (~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 +0200 | shriekingnoise | (~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 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-06-20 23:43:29 +0200 | rkk | (~rkk@2601:547:b00:24f:489a:4d0e:6396:d372) (Read error: Connection reset by peer) |
| 2022-06-20 23:43:34 +0200 | rkk_ | (~rkk@2601:547:b00:24f:489a:4d0e:6396:d372) |
| 2022-06-20 23:43:42 +0200 | rkk_ | (~rkk@2601:547:b00:24f:489a:4d0e:6396:d372) (Remote host closed the connection) |
| 2022-06-20 23:44:12 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-06-20 23:46:44 +0200 | stackdroid18 | (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 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-06-20 23:55:29 +0200 | odnes | (~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. |