| 2022-07-22 00:00:03 +0200 | janus | (janus@anubis.0x90.dk) |
| 2022-07-22 00:02:45 +0200 | slack3106 | (~slack1256@191.126.99.209) (Read error: Connection reset by peer) |
| 2022-07-22 00:02:49 +0200 | slack1256 | (~slack1256@186.11.17.101) |
| 2022-07-22 00:03:32 +0200 | <janus> | if i have a map to lists, where a bunch of these list values share a lot of data, how do i store this efficiently? can i still have fast lookups? |
| 2022-07-22 00:04:01 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-07-22 00:04:50 +0200 | <janus> | i could even tell the map the equivalence relation to form buckets on, then the map could have difference lists within these buckets |
| 2022-07-22 00:04:58 +0200 | <janus> | seems like a pretty general problem |
| 2022-07-22 00:05:54 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 00:11:09 +0200 | <dsal> | What are you doing now and why do you feel it's inefficient? |
| 2022-07-22 00:11:24 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-07-22 00:15:09 +0200 | <janus> | right now I have a `Map PackageId [Dependency]` but while talking to gbaz previously, it sounded like this might be too much data |
| 2022-07-22 00:15:41 +0200 | <janus> | but since packages often have the same dependencies across versions, i figure it could save space to bucket by PackageName |
| 2022-07-22 00:15:57 +0200 | <janus> | PackageId = PackageName + Version |
| 2022-07-22 00:16:03 +0200 | <qrpnxz> | janus: the values are boxed so they should already be sharing as efficiently as possible, no? Or are you meaning that you have many duplicate values that are actually different objects, and you would like to have them be the same object? I think you can indeed do that by systematically checking every value and so on, but idk how much worth it that is |
| 2022-07-22 00:16:54 +0200 | a | (~a@2a00:23c6:2925:8801:18bf:2f44:ba3b:2314) |
| 2022-07-22 00:17:01 +0200 | <janus> | qrpnxz: this is backed by AcidState/SafeCopy so i can't imagine how it would be sharing |
| 2022-07-22 00:17:13 +0200 | a | Guest4375 |
| 2022-07-22 00:17:23 +0200 | <qrpnxz> | you could have the function that produces Dependency values to first check if it already exists as an object even better. Reminds me of compiler symbol tables |
| 2022-07-22 00:18:29 +0200 | slack1256 | (~slack1256@186.11.17.101) (Remote host closed the connection) |
| 2022-07-22 00:19:05 +0200 | <janus> | qrpnxz: i can't mess with the production of Dependency values since this has already been written to disk and i don't wanna write a migration |
| 2022-07-22 00:19:57 +0200 | <janus> | qrpnxz: but nothing prevents me from having a custom CompactDependency type, which i did consider. but it's gonna be a pain because Dependency is in Cabal-syntax |
| 2022-07-22 00:20:52 +0200 | Guest4375 | (~a@2a00:23c6:2925:8801:18bf:2f44:ba3b:2314) (Remote host closed the connection) |
| 2022-07-22 00:21:05 +0200 | <janus> | but if i have this DList thing working on plain old Dependency , maybe that won't be necessary |
| 2022-07-22 00:21:08 +0200 | <qrpnxz> | i mean, you don't have to change Dependency type. Just whatever function you are getting Dep values from instead of returning a spanking new Dep value, it checks this table and returns whatever is already in there. It could even save you the time of at all constructing the object |
| 2022-07-22 00:21:45 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-07-22 00:21:47 +0200 | <qrpnxz> | or even you can just carry keys to the table |
| 2022-07-22 00:21:55 +0200 | <janus> | what table? |
| 2022-07-22 00:22:41 +0200 | <qrpnxz> | the table i'm proposing you create :) Every Dep you create would go on the table. Instead of creating new Deps that are equal to one you already made, you pull the one you already made |
| 2022-07-22 00:23:31 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 00:23:40 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 00:24:01 +0200 | <janus> | it's just that fetching a PkgInfo from the PackageIndex is a pure operation right now. if i start having it construct stuff based on some caching layer , it makes it impure |
| 2022-07-22 00:24:20 +0200 | <janus> | maybe that's necessary but i think what i originally proposed doesn't require impurity |
| 2022-07-22 00:24:48 +0200 | <qrpnxz> | you could filter the output of that, to build the table, replace duplicates with the same object, throw away the table. |
| 2022-07-22 00:25:10 +0200 | <qrpnxz> | takes time, but still saves memory |
| 2022-07-22 00:25:18 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 00:25:58 +0200 | <janus> | ok, but that's kinda what i originally asked for a pre-made solution for. a Map with bucketing, that just needs Eq to do buckets |
| 2022-07-22 00:26:17 +0200 | <janus> | which would the also be able to have them share values |
| 2022-07-22 00:27:27 +0200 | <qrpnxz> | that's just Set. I don't think set replaces keys if you try to insert a repeat value. So you can just insert and pull the key out |
| 2022-07-22 00:28:16 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-22 00:28:35 +0200 | <janus> | the Deps can very within one bucket, it just isn't common |
| 2022-07-22 00:28:40 +0200 | <janus> | *vary |
| 2022-07-22 00:29:27 +0200 | wenjie | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-07-22 00:29:30 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:10dd:cdb6:6796:296b) (Ping timeout: 264 seconds) |
| 2022-07-22 00:29:50 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 00:29:50 +0200 | <wenjie> | what is the command for automatically recompile a project when files are changed? |
| 2022-07-22 00:29:59 +0200 | <wenjie> | is it ghcide? |
| 2022-07-22 00:30:07 +0200 | <monochrom> | yes |
| 2022-07-22 00:30:08 +0200 | <qrpnxz> | if it's automatic wouldn't it not have a command |
| 2022-07-22 00:30:48 +0200 | <janus> | I guess I could have `Map PackageName (Map DepSetId [Dependency], Map Version DepSetId)` |
| 2022-07-22 00:31:18 +0200 | <janus> | just isn't as good as it could be when you have small changes to the dependency set, which is probably super common in Hackage |
| 2022-07-22 00:31:21 +0200 | <geekosaur> | wenjie, ghcid can do it but ionly for itself. stack has a flag to recompile when a file is changed |
| 2022-07-22 00:31:34 +0200 | <wenjie> | monochrom: i launched ghcide inside a cabal folder, it terminates. I remember previous the program didn't terminate |
| 2022-07-22 00:31:58 +0200 | <wenjie> | and keep monitoring for changes |
| 2022-07-22 00:32:37 +0200 | <wenjie> | or maybe it was another similar program... |
| 2022-07-22 00:33:21 +0200 | <wenjie> | just realized that ghcide and ghcid are not the same |
| 2022-07-22 00:33:30 +0200 | acidjnk_new | (~acidjnk@p200300d6e705867599c6c88ced65ac2d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-07-22 00:33:39 +0200 | <wenjie> | i'm looking for ghcid |
| 2022-07-22 00:35:45 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-07-22 00:36:22 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-07-22 00:37:18 +0200 | RevoGen | (~RevoGen@136.167.36.244) |
| 2022-07-22 00:38:00 +0200 | <wenjie> | is yaml a good choice for serializing some textual program status? |
| 2022-07-22 00:38:40 +0200 | <wenjie> | it seems haskell has a good yaml parsing library |
| 2022-07-22 00:39:21 +0200 | <Rembane> | wenjie: No. JSON is better. |
| 2022-07-22 00:40:28 +0200 | <wenjie> | ok i'll try aeson first thanks |
| 2022-07-22 00:40:34 +0200 | <Clint> | aeson does yaml |
| 2022-07-22 00:45:44 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-07-22 00:46:51 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-22 00:49:07 +0200 | <exarkun> | Just remember, YAML is a superset of JSON. |
| 2022-07-22 00:49:29 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2022-07-22 00:50:30 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 00:53:38 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 255 seconds) |
| 2022-07-22 00:54:48 +0200 | mncheck-m | (~mncheck@193.224.205.254) |
| 2022-07-22 00:54:51 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-22 00:55:19 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-07-22 00:55:42 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 00:57:01 +0200 | indigo_i` | (~user@95.146.83.181) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 28.1)) |
| 2022-07-22 00:57:09 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 244 seconds) |
| 2022-07-22 00:57:11 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 01:00:20 +0200 | zzz | (~yin@user/zero) (Ping timeout: 260 seconds) |
| 2022-07-22 01:00:23 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 255 seconds) |
| 2022-07-22 01:00:50 +0200 | zzz | (~yin@user/zero) |
| 2022-07-22 01:01:16 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-07-22 01:01:33 +0200 | nosewings | (~ngpc@cpe-76-186-194-45.tx.res.rr.com) |
| 2022-07-22 01:02:03 +0200 | <jackdk> | yaml libraries exist and are fine but yaml is a bad format |
| 2022-07-22 01:09:26 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 01:13:16 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 01:13:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-22 01:13:36 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 01:14:31 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-22 01:14:31 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-07-22 01:14:31 +0200 | finn_elija | FinnElija |
| 2022-07-22 01:16:08 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-07-22 01:19:23 +0200 | wenjie | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.5) |
| 2022-07-22 01:21:30 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 276 seconds) |
| 2022-07-22 01:22:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 01:22:29 +0200 | pavonia | (~user@user/siracusa) |
| 2022-07-22 01:22:44 +0200 | <monochrom> | Oh oops, I misread too, I had ghcid in mind, no e. |
| 2022-07-22 01:23:33 +0200 | <monochrom> | Seen on a CV: I know c/c++, j/java/javascript, ghc/ghci/ghcid/ghcide |
| 2022-07-22 01:26:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b066:fe39:acdd:e9df) |
| 2022-07-22 01:27:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 01:28:42 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Ping timeout: 268 seconds) |
| 2022-07-22 01:30:33 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2022-07-22 01:30:53 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-07-22 01:31:10 +0200 | <jackdk> | Someone should write a position description demanding years of experience in ghcidef |
| 2022-07-22 01:32:24 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-22 01:38:20 +0200 | Digit | (~user@user/digit) |
| 2022-07-22 01:41:17 +0200 | turlando | (~turlando@user/turlando) |
| 2022-07-22 01:41:29 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-07-22 01:41:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2022-07-22 01:41:41 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-07-22 01:41:41 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-07-22 01:41:41 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-07-22 01:42:16 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds) |
| 2022-07-22 01:42:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-07-22 01:48:10 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 01:48:33 +0200 | RevoGen | (~RevoGen@136.167.36.244) (Remote host closed the connection) |
| 2022-07-22 01:48:41 +0200 | RevoGen | (~RevoGen@136.167.36.244) |
| 2022-07-22 01:49:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 01:50:14 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Ping timeout: 272 seconds) |
| 2022-07-22 01:51:18 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 01:52:03 +0200 | RevoGen | (~RevoGen@136.167.36.244) (Remote host closed the connection) |
| 2022-07-22 01:52:19 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-07-22 01:59:36 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2022-07-22 01:59:41 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-22 02:00:12 +0200 | kawzeg_ | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Ping timeout: 260 seconds) |
| 2022-07-22 02:00:16 +0200 | beaky_ | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2022-07-22 02:00:31 +0200 | kawzeg_ | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 2022-07-22 02:03:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-07-22 02:03:48 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-22 02:03:52 +0200 | Ram-Z_ | (~Ram-Z@li1814-254.members.linode.com) |
| 2022-07-22 02:04:28 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 268 seconds) |
| 2022-07-22 02:04:42 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) (Ping timeout: 276 seconds) |
| 2022-07-22 02:04:49 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) |
| 2022-07-22 02:04:58 +0200 | califax | (~califax@user/califx) |
| 2022-07-22 02:05:23 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (Quit: WeeChat 3.2) |
| 2022-07-22 02:11:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-22 02:11:06 +0200 | beaky_ | beaky |
| 2022-07-22 02:11:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 02:11:12 +0200 | hays | (rootvegeta@fsf/member/hays) |
| 2022-07-22 02:13:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-22 02:14:53 +0200 | <qrpnxz> | ghcidefinitely |
| 2022-07-22 02:15:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 02:16:42 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 02:19:16 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-22 02:21:08 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 02:22:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 02:22:28 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 02:22:46 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 02:23:36 +0200 | <dibblego> | pfft I have ghci-8.8 |
| 2022-07-22 02:24:17 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-07-22 02:24:49 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 02:26:00 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2022-07-22 02:26:40 +0200 | <Axman6> | With functor, we have <$>, and its matching <&> which lets us write the function after the thing it's applied to. Is there a way to do that with applicative, like aArg1 <#> aArg2 <%> aArg3 <%> aArg4 <!> funOfArg1Arg2Arg3Arg4? |
| 2022-07-22 02:27:37 +0200 | <Axman6> | The reason I want this is that the function in my case is a lambda, and having the named arguments to the lambda visually close to the the source of the arguments would make the code much easier to follow |
| 2022-07-22 02:29:39 +0200 | <Axman6> | so it's more like: aArg1 <#> aArg2 <%> aArg3 <%> aArg4 <!> (\ |
| 2022-07-22 02:30:04 +0200 | <Axman6> | so it's more like: aArg1 <#> aArg2 <%> aArg3 <%> aArg4 <!> (\a1 a2 a3 a4 -> ...) with the lambda probably on the following line |
| 2022-07-22 02:31:52 +0200 | hays | (rootvegeta@fsf/member/hays) () |
| 2022-07-22 02:33:06 +0200 | <Axman6> | I guess there's a somewhat gross hack of: (\f -> f <$> a <*> b <*> c) (\a b c -> ...) |
| 2022-07-22 02:34:35 +0200 | <[Leary]> | If you're willing to suffer nested tuples, you could use (<%>) = liftA2 (,) and then (<&>) as normal. But I'd rather use ApplicativeDo. |
| 2022-07-22 02:39:18 +0200 | <Axman6> | yeah, I think traditional applicative style wil be clear enough. I've added comments to the argument expressions matching them with their arguments (the lambda is quite long and takes up like 20 lines constructing a large record) |
| 2022-07-22 02:39:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 02:40:14 +0200 | <geekosaur> | this sounds very ApplicativeDo+RecordWildcards+NamedFieldPuns to me |
| 2022-07-22 02:41:48 +0200 | <Axman6> | While I agree, and I normally would, I'm technically using Daml, not Haskell, and we try to discourage revealing the wizard behind the curtain that is GHC |
| 2022-07-22 02:42:32 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Ping timeout: 244 seconds) |
| 2022-07-22 02:42:54 +0200 | slack1256 | (~slack1256@186.11.20.31) |
| 2022-07-22 02:44:20 +0200 | hays | (rootvegeta@fsf/member/hays) |
| 2022-07-22 02:47:46 +0200 | jespada | (~jespada@190.7.36.46) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-07-22 02:48:36 +0200 | Nic64 | (~Nic@2601:400:8000:f770:c591:5d2f:97f2:882a) |
| 2022-07-22 02:48:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b066:fe39:acdd:e9df) (Ping timeout: 272 seconds) |
| 2022-07-22 02:48:49 +0200 | mcfilib | (uid302703@user/mcfilib) |
| 2022-07-22 02:48:54 +0200 | Nic64 | (~Nic@2601:400:8000:f770:c591:5d2f:97f2:882a) (Client Quit) |
| 2022-07-22 02:49:16 +0200 | <jackdk> | Axman6: can you build something up like (<*> arg1) . (<*> arg2) . (& fun) ? |
| 2022-07-22 02:50:35 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-07-22 02:53:53 +0200 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-22 02:54:32 +0200 | winny | (~weechat@user/winny) |
| 2022-07-22 02:55:24 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-22 02:56:53 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-07-22 02:57:21 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-07-22 03:01:39 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-22 03:01:53 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 03:07:33 +0200 | dcoutts__ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Remote host closed the connection) |
| 2022-07-22 03:07:33 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 03:07:35 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Read error: Connection reset by peer) |
| 2022-07-22 03:07:52 +0200 | dcoutts__ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 2022-07-22 03:08:18 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-07-22 03:08:20 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 03:08:32 +0200 | dcoutts | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 2022-07-22 03:09:55 +0200 | dcoutts_ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2022-07-22 03:10:28 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 03:10:55 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-07-22 03:11:35 +0200 | bgamari | (~bgamari@64.223.157.165) (Ping timeout: 260 seconds) |
| 2022-07-22 03:11:58 +0200 | bgamari | (~bgamari@64.223.171.172) |
| 2022-07-22 03:12:27 +0200 | mmhat | (~mmh@p200300f1c705590fee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-07-22 03:17:03 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-07-22 03:17:11 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Ping timeout: 272 seconds) |
| 2022-07-22 03:18:11 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-07-22 03:19:24 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-07-22 03:21:37 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 268 seconds) |
| 2022-07-22 03:21:56 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 03:23:03 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-22 03:24:47 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 272 seconds) |
| 2022-07-22 03:26:03 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-07-22 03:28:15 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-07-22 03:33:58 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving) |
| 2022-07-22 03:40:12 +0200 | <monochrom> | <!> looks like flip <$>. <%> looks like flip <%>. Also right-associative instead of left-associative. |
| 2022-07-22 03:40:22 +0200 | <monochrom> | err <%> looks like flip <*> |
| 2022-07-22 03:41:03 +0200 | <monochrom> | Oh wait no, I don't know how to do <%> |
| 2022-07-22 03:41:57 +0200 | <monochrom> | I know how to do arg4 ??? arg3 ??? arg2 ??? arg1 <!> fun4, heh |
| 2022-07-22 03:43:17 +0200 | <Axman6> | yeah, bakwardas feels wrong though. I have a feeling it can be done with different fixities |
| 2022-07-22 03:44:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 03:48:24 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 276 seconds) |
| 2022-07-22 03:49:56 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-07-22 03:51:48 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 03:56:12 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-07-22 03:56:16 +0200 | brettgilio | (~brettgili@c9yh.net) (Remote host closed the connection) |
| 2022-07-22 03:56:44 +0200 | brettgilio | (~brettgili@c9yh.net) |
| 2022-07-22 03:57:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 03:58:02 +0200 | turlando | (~turlando@user/turlando) |
| 2022-07-22 03:59:47 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-07-22 04:00:24 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-07-22 04:01:20 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-22 04:01:22 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 04:02:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 04:02:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 04:05:21 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-07-22 04:07:02 +0200 | nosewings | (~ngpc@cpe-76-186-194-45.tx.res.rr.com) (Ping timeout: 272 seconds) |
| 2022-07-22 04:09:05 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 04:10:32 +0200 | <jackdk> | Axman6: heh, I can do backwards with no new operators: `(fc <**>) . (fb <**>) . (fa <&>) $ \a b c -> ...` |
| 2022-07-22 04:11:31 +0200 | <jackdk> | Axman6: oh, but grab the reverse composition operator from `Control.Arrow` or `Control.Category`: `(fa <&>) >>> (fb <**>) >>> (fc <**>) $ _` |
| 2022-07-22 04:16:56 +0200 | toluene | (~toluene@user/toulene) (Read error: Connection reset by peer) |
| 2022-07-22 04:18:04 +0200 | toluene | (~toluene@user/toulene) |
| 2022-07-22 04:19:03 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-22 04:27:00 +0200 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-22 04:28:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 04:28:46 +0200 | winny | (~weechat@user/winny) |
| 2022-07-22 04:28:46 +0200 | fserucas | (~fserucas@246.76.114.89.rev.vodafone.pt) (Ping timeout: 268 seconds) |
| 2022-07-22 04:29:33 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-22 04:29:33 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-07-22 04:29:33 +0200 | finn_elija | FinnElija |
| 2022-07-22 04:30:09 +0200 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:81b4:a942:c753:2736) |
| 2022-07-22 04:31:20 +0200 | <marcusxavier> | Why most of other languages have features like Applicatives and Monoids? |
| 2022-07-22 04:32:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 04:34:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 04:39:21 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-07-22 04:40:47 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 04:47:31 +0200 | <pavonia> | Do they? |
| 2022-07-22 04:48:12 +0200 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:81b4:a942:c753:2736) (Ping timeout: 276 seconds) |
| 2022-07-22 04:48:54 +0200 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:81b4:a942:c753:2736) |
| 2022-07-22 04:52:21 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 04:53:30 +0200 | td_ | (~td@muedsl-82-207-238-040.citykom.de) (Ping timeout: 268 seconds) |
| 2022-07-22 04:55:06 +0200 | td_ | (~td@94.134.91.35) |
| 2022-07-22 04:55:19 +0200 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:81b4:a942:c753:2736) (Ping timeout: 244 seconds) |
| 2022-07-22 04:56:35 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-22 04:57:38 +0200 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:81b4:a942:c753:2736) |
| 2022-07-22 04:58:20 +0200 | mcfilib | (uid302703@user/mcfilib) (Quit: Connection closed for inactivity) |
| 2022-07-22 04:59:15 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2022-07-22 04:59:28 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-22 05:00:17 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-22 05:07:23 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-22 05:08:03 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-07-22 05:08:20 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-22 05:08:40 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 05:08:51 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 268 seconds) |
| 2022-07-22 05:10:13 +0200 | <zzz> | applicarives and monoids are not features |
| 2022-07-22 05:10:13 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-22 05:10:36 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 05:10:46 +0200 | zzz | (~yin@user/zero) (Quit: leaving) |
| 2022-07-22 05:11:13 +0200 | yin | (~yin@user/zero) |
| 2022-07-22 05:11:48 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 05:15:42 +0200 | jargon | (~jargon@184.101.188.251) |
| 2022-07-22 05:16:21 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 05:20:03 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-07-22 05:22:06 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-07-22 05:23:30 +0200 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:81b4:a942:c753:2736) (Quit: WeeChat 3.6) |
| 2022-07-22 05:23:55 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-22 05:26:17 +0200 | dcoutts_ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 2022-07-22 05:26:30 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-22 05:28:50 +0200 | dcoutts | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-07-22 05:29:22 +0200 | dcoutts__ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-07-22 05:29:25 +0200 | dcoutts | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 2022-07-22 05:35:40 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-07-22 05:36:36 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-22 05:37:55 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-22 05:37:59 +0200 | <dibblego> | this was written in 2005 https://github.com/functionaljava/functionaljava/blob/series/5.x/core/src/main/java/fj/Monoid.java |
| 2022-07-22 05:38:08 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 05:38:38 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 05:38:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 05:39:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 05:42:50 +0200 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:e462:febe:c258:bf7e) |
| 2022-07-22 05:43:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 05:45:41 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2198:9ff8:77a4:e162) (Ping timeout: 255 seconds) |
| 2022-07-22 05:45:41 +0200 | use-value1 | use-value |
| 2022-07-22 05:48:42 +0200 | jao | (~jao@92.233.85.247) (Ping timeout: 264 seconds) |
| 2022-07-22 05:53:52 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-22 05:57:34 +0200 | AlexZenon_2 | (~alzenon@178.34.160.206) |
| 2022-07-22 05:57:44 +0200 | AlexNoo_ | (~AlexNoo@178.34.160.206) |
| 2022-07-22 05:58:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 05:59:25 +0200 | AlexZenon | (~alzenon@178.34.160.206) (Ping timeout: 268 seconds) |
| 2022-07-22 06:01:16 +0200 | AlexNoo | (~AlexNoo@178.34.160.206) (Ping timeout: 268 seconds) |
| 2022-07-22 06:04:28 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
| 2022-07-22 06:04:59 +0200 | Guest26861 | (~inversed@0545c13e.skybroadband.com) (Read error: Connection reset by peer) |
| 2022-07-22 06:05:26 +0200 | Kaipii | (~Kaiepi@156.34.47.253) |
| 2022-07-22 06:05:43 +0200 | inversed | (~inversed@0545c13e.skybroadband.com) |
| 2022-07-22 06:05:59 +0200 | nahcetan | (~nate@98.45.169.16) |
| 2022-07-22 06:06:02 +0200 | n8chan | (~nate@98.45.169.16) (Read error: Connection reset by peer) |
| 2022-07-22 06:08:00 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-07-22 06:08:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-22 06:08:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 06:08:40 +0200 | Kaipei | (~Kaiepi@156.34.47.253) (Ping timeout: 268 seconds) |
| 2022-07-22 06:22:54 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 06:27:16 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-07-22 06:33:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-22 06:33:42 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2022-07-22 06:36:30 +0200 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-22 06:38:53 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2022-07-22 06:39:24 +0200 | yin | (~yin@user/zero) |
| 2022-07-22 06:41:57 +0200 | obabo | (~obabo@2E8BF8F7.catv.pool.telekom.hu) |
| 2022-07-22 06:42:33 +0200 | winny | (~weechat@user/winny) |
| 2022-07-22 06:42:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 06:44:52 +0200 | Kaipii | (~Kaiepi@156.34.47.253) (Ping timeout: 244 seconds) |
| 2022-07-22 06:47:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 06:56:50 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 268 seconds) |
| 2022-07-22 06:58:37 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-22 07:01:20 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-07-22 07:01:28 +0200 | <Inst> | question about unsafePerformIO |
| 2022-07-22 07:01:36 +0200 | <Inst> | i can't get my types to match |
| 2022-07-22 07:01:45 +0200 | <Inst> | i want to trigger an IO action before terminating my program |
| 2022-07-22 07:02:29 +0200 | <Inst> | is this cursed code? |
| 2022-07-22 07:02:30 +0200 | <Inst> | errorMessageBox message = unsafePerformIO $ notifyPopup "Program Aborted" message Error >> error ( unpack message ) |
| 2022-07-22 07:07:37 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-07-22 07:07:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 07:10:25 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-07-22 07:11:16 +0200 | <jackdk> | Axman6: be aware that my operator mess above performs effects in the reverse order! |
| 2022-07-22 07:12:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 07:12:25 +0200 | <dsal> | Inst: I'd just use bracket. But there's no way to guarantee that'll happen. |
| 2022-07-22 07:12:44 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 07:13:09 +0200 | <Inst> | notifyPopup is a method in the TinyFileDialogs package that triggers an attempt for the native OS to call a notifyPopup |
| 2022-07-22 07:13:19 +0200 | <Inst> | it works with error (unpack message), without the error message |
| 2022-07-22 07:15:32 +0200 | <jackdk> | @pl \f -> f <$> fa <*> fb <*> fc <*> fd |
| 2022-07-22 07:15:32 +0200 | <lambdabot> | (<$> fa <*> fb <*> fc <*> fd) |
| 2022-07-22 07:15:49 +0200 | <jackdk> | > (<$> fa <*> fb <*> fc <*> fd) _ |
| 2022-07-22 07:15:50 +0200 | <lambdabot> | error: |
| 2022-07-22 07:15:50 +0200 | <lambdabot> | The operator ‘<$>’ [infixl 4] of a section |
| 2022-07-22 07:15:50 +0200 | <lambdabot> | must have lower precedence than that of the operand, |
| 2022-07-22 07:15:58 +0200 | <jackdk> | don't lie to me lambdabot =( |
| 2022-07-22 07:19:07 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 272 seconds) |
| 2022-07-22 07:20:12 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 268 seconds) |
| 2022-07-22 07:20:54 +0200 | Kaipii | (~Kaiepi@156.34.47.253) |
| 2022-07-22 07:21:24 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-22 07:24:10 +0200 | <Axman6> | jackdk: yeah order also matters. I think it's possible but would likely need a few new operators and careful choice of fixity |
| 2022-07-22 07:24:31 +0200 | <jackdk> | Axman6: fd = (<$> fa) >>> (<*> fb) >>> (<*> fc) $ \A B C -> D emits things in the correct order |
| 2022-07-22 07:24:50 +0200 | <Axman6> | it's also awfully ugly :P |
| 2022-07-22 07:25:12 +0200 | <jackdk> | I would put it in a where: `f <$> fa <*> fb <*> fc where f =` |
| 2022-07-22 07:26:52 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 07:36:23 +0200 | Axman6 | starts making a proposal for BackwardsLambda to allow for (expr <- a b c/) |
| 2022-07-22 07:36:53 +0200 | <Axman6> | or (expr <- \a b c) |
| 2022-07-22 07:37:14 +0200 | <jackdk> | `expr <- a b c/` |
| 2022-07-22 07:37:18 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-07-22 07:37:39 +0200 | <jackdk> | Axman6: would be a better proposal than `|>` and `<|` in `base` |
| 2022-07-22 07:38:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-22 07:38:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-22 07:38:47 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-22 07:38:47 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-22 07:38:47 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-22 07:38:47 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-22 07:38:47 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-22 07:38:47 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 07:39:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-22 07:39:25 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-22 07:39:25 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-07-22 07:39:27 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-22 07:39:28 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 07:39:30 +0200 | califax | (~califax@user/califx) |
| 2022-07-22 07:39:37 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 07:40:54 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-22 07:42:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 07:42:43 +0200 | goober | (~hosk@90-231-13-185-no3430.tbcn.telia.com) (Quit: WeeChat 3.5) |
| 2022-07-22 07:42:59 +0200 | hosk1 | (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 2022-07-22 07:45:07 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-07-22 07:46:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 07:49:11 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-07-22 07:49:41 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-22 07:49:54 +0200 | michalz | (~michalz@185.246.204.77) |
| 2022-07-22 07:50:09 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-22 07:50:30 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-22 07:52:27 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 07:52:58 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-07-22 07:54:40 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 07:54:43 +0200 | califax | (~califax@user/califx) |
| 2022-07-22 07:55:12 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-22 07:55:36 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 07:56:42 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 276 seconds) |
| 2022-07-22 07:59:06 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-22 07:59:28 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-22 08:01:01 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-22 08:01:02 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 08:01:17 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 08:01:48 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-22 08:02:05 +0200 | jargon | (~jargon@184.101.188.251) (Remote host closed the connection) |
| 2022-07-22 08:04:32 +0200 | poljar | (~poljar@93-139-81-189.adsl.net.t-com.hr) (Ping timeout: 272 seconds) |
| 2022-07-22 08:10:09 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 268 seconds) |
| 2022-07-22 08:10:29 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 08:12:51 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 08:12:57 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-07-22 08:14:11 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 08:15:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 08:17:33 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:a30f:25f3:2147:e7c2) |
| 2022-07-22 08:22:29 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-22 08:23:29 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-22 08:29:29 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2022-07-22 08:30:53 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 08:31:29 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 08:35:53 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-22 08:35:53 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-22 08:35:54 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-22 08:36:35 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 08:36:37 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 08:36:44 +0200 | winny | (~weechat@user/winny) |
| 2022-07-22 08:38:08 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-22 08:39:36 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 08:40:21 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 08:41:13 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 08:41:41 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 08:41:45 +0200 | arahael | (~arahael@60-240-61-30.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2022-07-22 08:44:30 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 08:44:52 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 08:46:13 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-22 08:47:03 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 08:47:32 +0200 | winny | (~weechat@user/winny) |
| 2022-07-22 08:47:35 +0200 | acidjnk_new | (~acidjnk@p200300d6e70586149514830106996485.dip0.t-ipconnect.de) |
| 2022-07-22 08:47:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-07-22 08:51:13 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2022-07-22 08:51:31 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-07-22 08:51:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-07-22 08:52:42 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-22 08:52:59 +0200 | lortabac | (~lortabac@37.101.76.86) |
| 2022-07-22 08:54:30 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 08:57:39 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-22 08:59:52 +0200 | shriekingnoise | (~shrieking@201.212.175.181) (Quit: Quit) |
| 2022-07-22 09:00:05 +0200 | kuribas | (~user@ptr-17d51ep5h41xra5kboz.18120a2.ip6.access.telenet.be) |
| 2022-07-22 09:02:04 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-22 09:02:04 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-22 09:02:25 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-22 09:02:29 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 09:02:29 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 09:02:48 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-22 09:02:57 +0200 | winny | (~weechat@user/winny) |
| 2022-07-22 09:07:27 +0200 | nschoe | (~quassel@2a04:cec0:11fa:4b58:6d81:e4b9:1806:c463) |
| 2022-07-22 09:07:53 +0200 | hosk1 | (~goober@90-231-13-185-no3430.tbcn.telia.com) (Quit: WeeChat 3.5) |
| 2022-07-22 09:08:08 +0200 | hosk1 | (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 2022-07-22 09:09:22 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 09:12:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 09:16:09 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-22 09:17:18 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:e462:febe:c258:bf7e) (Remote host closed the connection) |
| 2022-07-22 09:17:36 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:e462:febe:c258:bf7e) |
| 2022-07-22 09:17:38 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-07-22 09:18:22 +0200 | benin0 | (~benin@183.82.24.116) |
| 2022-07-22 09:18:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 09:19:11 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 09:19:12 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 09:19:27 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 09:19:31 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 09:19:55 +0200 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-22 09:20:00 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-07-22 09:20:05 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 09:20:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-22 09:21:09 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-07-22 09:21:14 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-07-22 09:21:41 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 09:22:26 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds) |
| 2022-07-22 09:22:57 +0200 | mmhat | (~mmh@p200300f1c705590fee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-07-22 09:23:21 +0200 | winny | (~weechat@user/winny) |
| 2022-07-22 09:24:05 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-07-22 09:26:34 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 09:27:06 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 244 seconds) |
| 2022-07-22 09:27:19 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 09:29:14 +0200 | MajorBiscuit | (~MajorBisc@c-001-026-008.client.tudelft.eduvpn.nl) |
| 2022-07-22 09:30:15 +0200 | son0p | (~ff@181.136.122.143) |
| 2022-07-22 09:31:54 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 264 seconds) |
| 2022-07-22 09:33:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 09:34:38 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-07-22 09:38:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 09:42:18 +0200 | Kaipii | Kaiepi |
| 2022-07-22 09:47:29 +0200 | chele | (~chele@user/chele) |
| 2022-07-22 09:48:41 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-22 09:51:18 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-22 09:51:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 09:56:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 09:58:02 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 09:58:04 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-07-22 09:58:27 +0200 | ccntrq | (~Thunderbi@2a01:c23:886f:f000:3032:1f82:2b4c:fe61) |
| 2022-07-22 09:59:10 +0200 | toluene | (~toluene@user/toulene) (Ping timeout: 272 seconds) |
| 2022-07-22 09:59:20 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-22 10:01:09 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 268 seconds) |
| 2022-07-22 10:01:17 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-07-22 10:02:31 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-07-22 10:02:40 +0200 | toluene | (~toluene@user/toulene) |
| 2022-07-22 10:05:01 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-07-22 10:05:28 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds) |
| 2022-07-22 10:07:03 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) |
| 2022-07-22 10:11:08 +0200 | nschoe_ | (~quassel@2a01:e0a:8e:a190:d200:656c:18b2:247b) |
| 2022-07-22 10:11:23 +0200 | nschoe | (~quassel@2a04:cec0:11fa:4b58:6d81:e4b9:1806:c463) (Ping timeout: 272 seconds) |
| 2022-07-22 10:17:09 +0200 | fserucas | (~fserucas@48.64.114.89.rev.vodafone.pt) |
| 2022-07-22 10:17:51 +0200 | fserucas_ | (~fserucas@48.64.114.89.rev.vodafone.pt) |
| 2022-07-22 10:19:19 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-07-22 10:21:39 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-07-22 10:25:22 +0200 | lortabac | (~lortabac@37.101.76.86) (Quit: WeeChat 2.8) |
| 2022-07-22 10:26:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 10:26:25 +0200 | lortabac | (~lortabac@37.101.76.86) |
| 2022-07-22 10:28:02 +0200 | AlexZenon_2 | AlexZenon |
| 2022-07-22 10:28:27 +0200 | AlexNoo_ | AlexNoo |
| 2022-07-22 10:30:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 10:31:39 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2022-07-22 10:35:15 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 10:35:36 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-22 10:40:52 +0200 | ccntrq | (~Thunderbi@2a01:c23:886f:f000:3032:1f82:2b4c:fe61) (Quit: ccntrq) |
| 2022-07-22 10:41:13 +0200 | dcoutts_ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Remote host closed the connection) |
| 2022-07-22 10:41:25 +0200 | dcoutts_ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) |
| 2022-07-22 10:41:45 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-07-22 10:43:04 +0200 | dcoutts__ | (~duncan@host86-150-18-49.range86-150.btcentralplus.com) |
| 2022-07-22 10:44:02 +0200 | dcoutts | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Ping timeout: 255 seconds) |
| 2022-07-22 10:46:10 +0200 | dcoutts_ | (~duncan@host86-153-135-32.range86-153.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2022-07-22 10:47:55 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-07-22 10:50:40 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-22 10:54:04 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-07-22 10:56:32 +0200 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2022-07-22 10:59:01 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection) |
| 2022-07-22 10:59:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 10:59:58 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-07-22 11:00:17 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-07-22 11:00:26 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 11:01:35 +0200 | TMA | (tma@twin.jikos.cz) |
| 2022-07-22 11:01:36 +0200 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-07-22 11:03:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 11:04:45 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 244 seconds) |
| 2022-07-22 11:05:39 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 11:06:25 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 11:08:59 +0200 | dcoutts__ | (~duncan@host86-150-18-49.range86-150.btcentralplus.com) (Remote host closed the connection) |
| 2022-07-22 11:11:53 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-07-22 11:12:18 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2022-07-22 11:14:09 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-07-22 11:15:05 +0200 | renzhi | (~xp@2607:fa49:6500:b100::c32e) (Ping timeout: 244 seconds) |
| 2022-07-22 11:17:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 11:19:43 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 244 seconds) |
| 2022-07-22 11:23:11 +0200 | mmhat | (~mmh@p200300f1c705590fee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-07-22 11:23:53 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-07-22 11:24:25 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 11:27:08 +0200 | renzhi | (~xp@2607:fa49:6500:b100::4a8c) |
| 2022-07-22 11:31:16 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 11:31:42 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 11:35:22 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-22 11:35:39 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-22 11:36:27 +0200 | mmhat | (~mmh@p200300f1c7055944ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-07-22 11:36:49 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-22 11:39:14 +0200 | nschoe_ | (~quassel@2a01:e0a:8e:a190:d200:656c:18b2:247b) (Ping timeout: 272 seconds) |
| 2022-07-22 11:41:57 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 244 seconds) |
| 2022-07-22 11:43:20 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-22 11:45:15 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 11:45:35 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 11:46:31 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 11:47:22 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 11:51:58 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2022-07-22 11:56:13 +0200 | <kuribas> | Is there a code generation tool that can use types to generate code, the way idris does? |
| 2022-07-22 11:57:29 +0200 | <kuribas> | for example generating the continuation monad implementation: https://www.youtube.com/watch?v=brjFqXkUQv0 |
| 2022-07-22 11:57:47 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-07-22 11:59:40 +0200 | lys | (sid194105@user/lys) () |
| 2022-07-22 11:59:51 +0200 | lys | (sid194105@id-194105.uxbridge.irccloud.com) |
| 2022-07-22 12:00:33 +0200 | lys | (sid194105@id-194105.uxbridge.irccloud.com) (Changing host) |
| 2022-07-22 12:00:33 +0200 | lys | (sid194105@user/lys) |
| 2022-07-22 12:01:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 12:02:12 +0200 | lys | (sid194105@user/lys) () |
| 2022-07-22 12:03:31 +0200 | <[exa]> | kuribas: probably depends on what kind of code you want to generate |
| 2022-07-22 12:03:40 +0200 | toluene7 | (~toluene@user/toulene) |
| 2022-07-22 12:03:41 +0200 | toluene | (~toluene@user/toulene) (Read error: Connection reset by peer) |
| 2022-07-22 12:03:42 +0200 | toluene7 | toluene |
| 2022-07-22 12:04:14 +0200 | <[exa]> | for haskell there's been djinn and derivatives, but afaik nothing really general in the direction of idris or agda |
| 2022-07-22 12:04:31 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 12:04:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 12:06:08 +0200 | <kuribas> | can djinn take existing local functions into consideration? |
| 2022-07-22 12:06:45 +0200 | vglfr | (~vglfr@88.155.36.38) |
| 2022-07-22 12:06:55 +0200 | <merijn> | kuribas: Sounds like you want to read pigworker's thesis :p |
| 2022-07-22 12:07:02 +0200 | <merijn> | On Epigram/Epigram2 |
| 2022-07-22 12:07:17 +0200 | <__monty__> | I think Coq has a Haskell backend? That's kinda generating Haskell from types : > |
| 2022-07-22 12:07:24 +0200 | <merijn> | although I think a HTT crisis of faith has halted his work on that |
| 2022-07-22 12:07:34 +0200 | <kuribas> | merijn: well, preferably something working, not a thesis :) |
| 2022-07-22 12:07:48 +0200 | <merijn> | kuribas: Epigram has an implementation |
| 2022-07-22 12:08:02 +0200 | <kuribas> | neat |
| 2022-07-22 12:08:12 +0200 | <kuribas> | But my program is in haskell, not epigram :( |
| 2022-07-22 12:08:13 +0200 | <merijn> | unmaintained, etc. afaik |
| 2022-07-22 12:08:15 +0200 | <merijn> | but it exists :p |
| 2022-07-22 12:08:20 +0200 | <[exa]> | wow |
| 2022-07-22 12:08:28 +0200 | <kuribas> | merijn: what crisis? |
| 2022-07-22 12:08:54 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:a30f:25f3:2147:e7c2) (Ping timeout: 276 seconds) |
| 2022-07-22 12:09:06 +0200 | kristjansson | (sid126207@id-126207.tinside.irccloud.com) (Ping timeout: 264 seconds) |
| 2022-07-22 12:09:13 +0200 | <merijn> | kuribas: I dunno, I just know he stopped working on Epigram2 and "HTT induced crisis of faith" is what I absorbed via cultural osmosis as the reason :p |
| 2022-07-22 12:10:45 +0200 | kristjansson | (sid126207@id-126207.tinside.irccloud.com) |
| 2022-07-22 12:15:40 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-22 12:16:58 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 12:18:44 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-22 12:20:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 12:20:24 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-22 12:20:48 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 12:21:10 +0200 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
| 2022-07-22 12:21:36 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-22 12:22:47 +0200 | vglfr | (~vglfr@88.155.36.38) (Read error: Connection reset by peer) |
| 2022-07-22 12:23:59 +0200 | vglfr | (~vglfr@88.155.36.38) |
| 2022-07-22 12:24:58 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-22 12:25:30 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-22 12:27:10 +0200 | <kuribas> | I wonder if haskell at typelevel is more of an untyped logic language than a static functional language. |
| 2022-07-22 12:27:51 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-8d35-1e52-9576-78e6.pool6.digikabel.hu) |
| 2022-07-22 12:28:32 +0200 | vglfr | (~vglfr@88.155.36.38) (Ping timeout: 268 seconds) |
| 2022-07-22 12:28:58 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-22 12:29:41 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-07-22 12:30:21 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 276 seconds) |
| 2022-07-22 12:31:52 +0200 | Guest385 | (~Guest3@2001:4ca0:0:f232:999f:c020:d563:36a) |
| 2022-07-22 12:32:26 +0200 | <[exa]> | kuribas: yes, quite literally |
| 2022-07-22 12:32:32 +0200 | <Guest385> | @undo fs <*> xs = [f x | f <- fs, x <- xs] |
| 2022-07-22 12:32:32 +0200 | <lambdabot> | fs <*> xs = concatMap (\ f -> concatMap (\ x -> [f x]) xs) fs |
| 2022-07-22 12:32:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 12:37:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 12:39:10 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-07-22 12:46:25 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2022-07-22 12:47:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-22 12:50:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 12:50:49 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-22 12:51:55 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 12:52:40 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-07-22 12:53:03 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 12:53:26 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 12:53:41 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-22 12:54:10 +0200 | dcoutts | (~duncan@host86-150-18-49.range86-150.btcentralplus.com) |
| 2022-07-22 12:54:27 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-22 12:54:27 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 12:55:41 +0200 | Guest24 | (~Guest24@pa49-183-23-170.pa.vic.optusnet.com.au) |
| 2022-07-22 12:57:10 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-22 12:57:50 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 260 seconds) |
| 2022-07-22 12:59:51 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-07-22 13:01:09 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
| 2022-07-22 13:02:32 +0200 | lortabac | (~lortabac@37.101.76.86) (Ping timeout: 244 seconds) |
| 2022-07-22 13:03:41 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-22 13:03:48 +0200 | dschrempf | (~dominik@2a01-036d-0118-b0ba-8d35-1e52-9576-78e6.pool6.digikabel.hu) (Quit: WeeChat 3.6) |
| 2022-07-22 13:05:13 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 13:15:28 +0200 | Guest24 | (~Guest24@pa49-183-23-170.pa.vic.optusnet.com.au) (Ping timeout: 252 seconds) |
| 2022-07-22 13:15:52 +0200 | <__monty__> | kuribas: Hence the term type prolog that sometimes pops up. |
| 2022-07-22 13:17:40 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-22 13:17:40 +0200 | jespada | (~jespada@190.7.36.46) |
| 2022-07-22 13:19:52 +0200 | jespada | (~jespada@190.7.36.46) (Read error: Connection reset by peer) |
| 2022-07-22 13:20:27 +0200 | jespada | (~jespada@190.7.36.46) |
| 2022-07-22 13:22:18 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-07-22 13:23:42 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-07-22 13:23:55 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 272 seconds) |
| 2022-07-22 13:23:57 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-07-22 13:24:22 +0200 | <jackdk> | kuribas: https://aphyr.com/posts/342-typing-the-technical-interview |
| 2022-07-22 13:25:12 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 13:25:51 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 13:26:20 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 13:30:12 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-22 13:31:06 +0200 | shachaf | (~shachaf@user/shachaf) (Ping timeout: 276 seconds) |
| 2022-07-22 13:31:22 +0200 | shachaf | (~shachaf@user/shachaf) |
| 2022-07-22 13:32:16 +0200 | vglfr | (~vglfr@88.155.36.38) |
| 2022-07-22 13:33:25 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-22 13:36:42 +0200 | vglfr | (~vglfr@88.155.36.38) (Ping timeout: 264 seconds) |
| 2022-07-22 13:37:50 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-07-22 13:39:54 +0200 | <kuribas> | You smile kindly. “Haskell is a dynamically-typed, interpreted language.” |
| 2022-07-22 13:39:59 +0200 | <kuribas> | that's great |
| 2022-07-22 13:40:19 +0200 | <kuribas> | this article actually makes sense now, in contrast to when I first read it years ago. |
| 2022-07-22 13:45:50 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-22 13:46:48 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-22 13:47:05 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-22 13:48:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-22 13:50:38 +0200 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-22 13:52:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 13:53:41 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-07-22 13:54:20 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-07-22 13:54:24 +0200 | winny | (~weechat@user/winny) |
| 2022-07-22 13:57:23 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 13:57:43 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 13:59:58 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-07-22 14:04:16 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 14:04:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 14:05:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 14:07:10 +0200 | lortabac | (~lortabac@37.101.76.86) |
| 2022-07-22 14:09:07 +0200 | Guest385 | (~Guest3@2001:4ca0:0:f232:999f:c020:d563:36a) (Quit: Client closed) |
| 2022-07-22 14:09:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 14:09:58 +0200 | renzhi | (~xp@2607:fa49:6500:b100::4a8c) (Ping timeout: 272 seconds) |
| 2022-07-22 14:12:09 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.5) |
| 2022-07-22 14:12:41 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-07-22 14:16:59 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-07-22 14:18:56 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-07-22 14:25:03 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-07-22 14:34:02 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-07-22 14:37:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-07-22 14:38:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 14:40:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-22 14:40:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 14:41:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 14:41:36 +0200 | pwmosquito[m] | (~pwmosquit@2001:470:69fc:105::15db) |
| 2022-07-22 14:45:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2022-07-22 14:46:46 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 14:46:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 14:48:18 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 240 seconds) |
| 2022-07-22 14:52:13 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-22 14:55:26 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 14:56:01 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-07-22 14:58:52 +0200 | acidjnk_new | (~acidjnk@p200300d6e70586149514830106996485.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-07-22 14:59:15 +0200 | acidjnk_new | (~acidjnk@p200300d6e7058614a5c11c7303b4dd2f.dip0.t-ipconnect.de) |
| 2022-07-22 15:00:06 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 264 seconds) |
| 2022-07-22 15:00:40 +0200 | asarch | (~asarch@2806:10ae:7:e3c6:a20:7d9:9fc2:ff3c) |
| 2022-07-22 15:03:07 +0200 | Ristovski | (~Ristovski@hellomouse/perf/ristovski) |
| 2022-07-22 15:04:35 +0200 | lortabac | (~lortabac@37.101.76.86) (Ping timeout: 255 seconds) |
| 2022-07-22 15:08:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 15:09:26 +0200 | asarch | (~asarch@2806:10ae:7:e3c6:a20:7d9:9fc2:ff3c) (Quit: Leaving) |
| 2022-07-22 15:09:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 15:10:35 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-22 15:10:58 +0200 | califax | (~califax@user/califx) |
| 2022-07-22 15:12:21 +0200 | <tomsmeding> | Heh, from two "Previously:" links deep: "Pretend you are a Haskell programmer, as your grandmother was, before her continuation passed." |
| 2022-07-22 15:13:18 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-07-22 15:13:49 +0200 | talismanick | (~talismani@2601:200:c100:3850::dd64) |
| 2022-07-22 15:15:51 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-22 15:23:26 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2022-07-22 15:23:31 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Read error: Connection reset by peer) |
| 2022-07-22 15:25:14 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-22 15:25:56 +0200 | lortabac | (~lortabac@37.101.76.86) |
| 2022-07-22 15:26:07 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-22 15:28:44 +0200 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:8972:da1e:68e0:c6f0) |
| 2022-07-22 15:28:45 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2022-07-22 15:31:04 +0200 | raym | (~raym@user/raym) (Ping timeout: 268 seconds) |
| 2022-07-22 15:31:51 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:e462:febe:c258:bf7e) (Ping timeout: 244 seconds) |
| 2022-07-22 15:31:52 +0200 | use-value1 | use-value |
| 2022-07-22 15:32:42 +0200 | raym | (~raym@user/raym) |
| 2022-07-22 15:35:52 +0200 | hounded | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 2022-07-22 15:36:00 +0200 | hounded_woodstoc | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 2022-07-22 15:38:28 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-22 15:42:43 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-07-22 15:46:32 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-22 15:54:19 +0200 | hnOsmium0001 | (uid453710@user/hnOsmium0001) (Quit: Connection closed for inactivity) |
| 2022-07-22 15:57:23 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-22 16:00:10 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2022-07-22 16:00:21 +0200 | talismanick | (~talismani@2601:200:c100:3850::dd64) (Ping timeout: 272 seconds) |
| 2022-07-22 16:00:30 +0200 | acidjnk_new | (~acidjnk@p200300d6e7058614a5c11c7303b4dd2f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-07-22 16:01:31 +0200 | coot | (~coot@213.134.190.95) (Read error: Connection reset by peer) |
| 2022-07-22 16:01:40 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-22 16:14:35 +0200 | janus | (janus@anubis.0x90.dk) () |
| 2022-07-22 16:18:16 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-07-22 16:19:44 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 16:20:23 +0200 | <exarkun> | It seems to me that I used to be able to put a `-- ^ ...` comment for haddock below a line like `PartOfSignature ->` but now `cabal build` gives me a parse error for this. |
| 2022-07-22 16:20:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-22 16:20:56 +0200 | <merijn> | exarkun: It needs to be before the -> I think |
| 2022-07-22 16:21:34 +0200 | <exarkun> | So I should use `-> PartOfSignature` style instead? Though I think a blog post on the internet told me this is the wrong style. |
| 2022-07-22 16:21:59 +0200 | <geekosaur[m]> | I think that's been acknowledged as a bug to be fixed in 9.4? |
| 2022-07-22 16:22:23 +0200 | <geekosaur[m]> | Check ghc issues |
| 2022-07-22 16:23:30 +0200 | <merijn> | exarkun: There's a blog post for literally all styles calling it wrong |
| 2022-07-22 16:23:46 +0200 | <exarkun> | merijn: But surely the one I stumbled across is the right one and all the rest are wrong |
| 2022-07-22 16:24:06 +0200 | <exarkun> | If not, how do I integrate this fact with the certain knowledge that I am the center of the universe |
| 2022-07-22 16:24:14 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Ping timeout: 255 seconds) |
| 2022-07-22 16:25:01 +0200 | <exarkun> | geekosaur[m]: Is it maybe a regression, then? I know this source built at some time in the past because I still have the executable sitting next to it. |
| 2022-07-22 16:25:16 +0200 | <exarkun> | (I am looking for a bug report now) |
| 2022-07-22 16:25:40 +0200 | <geekosaur[m]> | That's my understanding |
| 2022-07-22 16:30:03 +0200 | <exarkun> | failed to find a bug report, but at least there were only about 10 such comments in this codebase so I just reformatted them all |
| 2022-07-22 16:33:20 +0200 | malte | (~malte@mal.tc) (Ping timeout: 244 seconds) |
| 2022-07-22 16:34:02 +0200 | slac57466 | (~slack1256@191.126.99.209) |
| 2022-07-22 16:35:50 +0200 | slack1256 | (~slack1256@186.11.20.31) (Ping timeout: 240 seconds) |
| 2022-07-22 16:36:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 16:40:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 16:46:28 +0200 | shriekingnoise | (~shrieking@201.212.175.181) |
| 2022-07-22 16:46:47 +0200 | acidjnk_new | (~acidjnk@p200300d6e7058614e0e7496330b33c17.dip0.t-ipconnect.de) |
| 2022-07-22 16:48:52 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-22 16:49:47 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-22 16:52:01 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-07-22 16:52:41 +0200 | benin0 | (~benin@183.82.24.116) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-22 16:54:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 16:58:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 16:59:52 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) (Ping timeout: 268 seconds) |
| 2022-07-22 17:00:13 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds) |
| 2022-07-22 17:01:39 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 17:01:46 +0200 | jumper149 | (~jumper149@p4fc2c324.dip0.t-ipconnect.de) |
| 2022-07-22 17:05:52 +0200 | <segfaultfizzbuzz> | somebody in OT wanted this here instead i think: when we say that the haskell gc is throughput-optimized, how much lower would the throughput be (and what would the latency impact be) if it was latency-optimized? |
| 2022-07-22 17:06:24 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-07-22 17:07:50 +0200 | <merijn> | Hard to say |
| 2022-07-22 17:08:57 +0200 | <Rembane> | Seven! :D |
| 2022-07-22 17:09:05 +0200 | <segfaultfizzbuzz> | i mean qualitatively here, are we talking about factors of 2 in either case or like 100x/1000x |
| 2022-07-22 17:09:17 +0200 | <merijn> | Depends on the program too |
| 2022-07-22 17:09:43 +0200 | <merijn> | There's certainly programs where I could see "multiple orders of magnitude" slowdown |
| 2022-07-22 17:10:11 +0200 | <exarkun> | You can turn the knob as far as you want in either direction can't you? |
| 2022-07-22 17:10:26 +0200 | <exarkun> | The most throughput-optimized gc would never collect anything |
| 2022-07-22 17:10:35 +0200 | <merijn> | exarkun: Fair enough ;) |
| 2022-07-22 17:10:39 +0200 | <exarkun> | And the most latency-optimized gc would search desparately for something to collect constantly |
| 2022-07-22 17:11:57 +0200 | <kuribas> | tomsmeding: yay, my initial hkd-records library is ready :) https://hackage.haskell.org/package/hkd-records-0.0.1 |
| 2022-07-22 17:11:58 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-07-22 17:12:27 +0200 | <segfaultfizzbuzz> | and i suppose i would like to ask about something else, which is that linear resource management in rust is a smashing success i think (?), |
| 2022-07-22 17:12:41 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 17:12:44 +0200 | <merijn> | segfaultfizzbuzz: Define smashing success |
| 2022-07-22 17:13:04 +0200 | <segfaultfizzbuzz> | and although i understand that haskell is getting linear types i don't see that this is something being embraced as a first-class citizen in haskell |
| 2022-07-22 17:13:09 +0200 | <merijn> | segfaultfizzbuzz: It's nice for certain things where you cannot afford a GC, sure. But it *is* more of a hassle to program than with a GC |
| 2022-07-22 17:13:58 +0200 | <Rembane> | kuribas: You have the best description of a package! :D |
| 2022-07-22 17:14:00 +0200 | <geekosaur> | there's a lot of people fighting the borrow checker… |
| 2022-07-22 17:14:03 +0200 | <segfaultfizzbuzz> | it seems like for core library functions linear resource management is rather preferable for example |
| 2022-07-22 17:14:06 +0200 | <kuribas> | Rembane: thx :) |
| 2022-07-22 17:14:11 +0200 | <merijn> | segfaultfizzbuzz: Why? |
| 2022-07-22 17:14:24 +0200 | <geekosaur> | also "smashing success" is in rust's niche, which is the same as C |
| 2022-07-22 17:14:40 +0200 | <geekosaur> | and C has ~nothing so it takes little to be a success there |
| 2022-07-22 17:14:40 +0200 | <merijn> | segfaultfizzbuzz: Lots of programs function perfectly fine with GC pauses |
| 2022-07-22 17:14:45 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-22 17:14:47 +0200 | <tomsmeding> | kuribas: cool! Missing docs ;) |
| 2022-07-22 17:14:56 +0200 | <segfaultfizzbuzz> | "smashing success" means that rust is used to produce a range of substantial applications |
| 2022-07-22 17:15:09 +0200 | <yin> | has Rust been losing its charm? |
| 2022-07-22 17:15:11 +0200 | <kuribas> | tomsmeding: here's an example: https://github.com/kuribas/hkd-records/blob/main/src/Data/HKD/Records.hs#L134 |
| 2022-07-22 17:15:34 +0200 | <segfaultfizzbuzz> | also i just realized that linear types might be a useful clue for GC...? |
| 2022-07-22 17:15:59 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-07-22 17:16:16 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-22 17:16:20 +0200 | <tomsmeding> | kuribas: I've just been reading https://aphyr.com/posts/354-unifying-the-technical-interview so I have to come down to earth again a bit for this code :D |
| 2022-07-22 17:16:40 +0200 | <merijn> | yin: Rust is great. If you cannot afford a GC |
| 2022-07-22 17:16:55 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 17:17:04 +0200 | <merijn> | yin: I almost can afford a GC, so see fairly little reason to use Rust over Haskell, given that borrow checker is non-zero extra hassle |
| 2022-07-22 17:17:05 +0200 | <kuribas> | tomsmeding: implementing it was a chore, but I hope using it is easy. |
| 2022-07-22 17:17:42 +0200 | <tomsmeding> | kuribas: (incidentally, I recommend that post, despite the length) |
| 2022-07-22 17:18:05 +0200 | <kuribas> | tomsmeding: I've been reading all of them, though admittedly not in much depth :) |
| 2022-07-22 17:18:10 +0200 | <yin> | is the borrow checker a problem if we adopt a functional style? |
| 2022-07-22 17:18:12 +0200 | <segfaultfizzbuzz> | merijn: have you empirically encountered "borrow checker hassle"? |
| 2022-07-22 17:18:29 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-22 17:18:33 +0200 | <tomsmeding> | kuribas: I also can't follow the prolog-in-lisp-in-prolog code :p |
| 2022-07-22 17:18:34 +0200 | <segfaultfizzbuzz> | i wrote a bunch of rust code and ended up needing only one lifetime annotation |
| 2022-07-22 17:18:53 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 17:18:56 +0200 | califax | (~califax@user/califx) |
| 2022-07-22 17:19:00 +0200 | <segfaultfizzbuzz> | and that was multithreaded nondeterministically async code which involved distributing work to the CPU and GPU |
| 2022-07-22 17:19:11 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-22 17:19:26 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 17:20:34 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-22 17:20:50 +0200 | <kuribas> | merijn: yeah, I just cannot find a usecase where I need to give up on garbage collection. |
| 2022-07-22 17:20:59 +0200 | <kuribas> | do people use rust for arduino? |
| 2022-07-22 17:22:18 +0200 | <tomsmeding> | kuribas: this is pretty cool! Never worked with HKD before so it's a bit of a mind bend, but looks pretty usable after being familiar with the idea :) |
| 2022-07-22 17:22:19 +0200 | <geekosaur[m]> | If they do someone will write a Haskell DSL for it |
| 2022-07-22 17:22:41 +0200 | <segfaultfizzbuzz> | kuribas: you can use rust as a C substitute including in many embedded applications but i don't know about the arduino board in particular. |
| 2022-07-22 17:23:25 +0200 | <kuribas> | tomsmeding: my goal was to have clojure style generic (meta) operations on records. |
| 2022-07-22 17:23:41 +0200 | <kuribas> | tomsmeding: but without the need to throw away all types. |
| 2022-07-22 17:24:32 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-07-22 17:26:53 +0200 | <kuribas> | tomsmeding: it's also way easier than dealing with Generics. |
| 2022-07-22 17:27:12 +0200 | <tomsmeding> | oh that is quite clear -- though less general (heh) |
| 2022-07-22 17:27:41 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 255 seconds) |
| 2022-07-22 17:27:49 +0200 | <kuribas> | True, but general enough when you have HKD records (I hope). |
| 2022-07-22 17:27:50 +0200 | <tomsmeding> | You might be able to pitch it as a special case of Generics for metaprogramming on records in the readme / package description |
| 2022-07-22 17:28:04 +0200 | <tomsmeding> | s/records/HKD records/ |
| 2022-07-22 17:28:51 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-22 17:29:37 +0200 | <kuribas> | I mean, meta programming is the main reason to use HKD records. |
| 2022-07-22 17:30:25 +0200 | <kuribas> | Since if your program isn't "meta", you can just as well use combinators. |
| 2022-07-22 17:30:50 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-22 17:31:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 17:31:19 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 17:31:56 +0200 | raym | (~raym@user/raym) (Ping timeout: 268 seconds) |
| 2022-07-22 17:33:28 +0200 | raym | (~raym@user/raym) |
| 2022-07-22 17:34:53 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-07-22 17:36:08 +0200 | <kuribas> | But I am reluctant to get rid of my catchy slogan. |
| 2022-07-22 17:36:15 +0200 | jumper149 | (~jumper149@p4fc2c324.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-07-22 17:37:21 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-07-22 17:38:03 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-07-22 17:38:04 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2022-07-22 17:38:13 +0200 | lortabac | (~lortabac@37.101.76.86) (Quit: WeeChat 2.8) |
| 2022-07-22 17:39:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 17:39:38 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-07-22 17:40:08 +0200 | hackpert | (~hackpert@2405:201:6007:d07d:cc6:4d43:a052:1506) |
| 2022-07-22 17:41:11 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 268 seconds) |
| 2022-07-22 17:42:34 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-07-22 17:44:58 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-22 17:48:18 +0200 | jese | (~nikola@178.220.246.232) |
| 2022-07-22 17:50:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 17:51:52 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-22 17:54:03 +0200 | <jese> | in one of my modules i use CPP defines defined by a custom Setup.hs, and it all works well, but when i try to load that module in ghci, ghci complains "Found hole: <that define>". what can i do to fix this? |
| 2022-07-22 17:55:53 +0200 | <merijn> | eh, not commit crimes of moral turpitude like "relying on CPP defines from Setup.hs"? >.> |
| 2022-07-22 17:56:42 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-22 17:58:35 +0200 | hackpert | (~hackpert@2405:201:6007:d07d:cc6:4d43:a052:1506) (Ping timeout: 244 seconds) |
| 2022-07-22 17:59:37 +0200 | hackpert | (~hackpert@143.244.47.76) |
| 2022-07-22 18:00:22 +0200 | <jese> | that's done by another package, and i need it: https://github.com/haskell-hvr/hgettext/blob/master/src/Distribution/Simple/I18N/GetText.hs#L132 |
| 2022-07-22 18:01:19 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-07-22 18:01:55 +0200 | <merijn> | jese: What's the setup.hs in question? |
| 2022-07-22 18:01:58 +0200 | Furor | (~colere@about/linux/staff/sauvin) |
| 2022-07-22 18:04:11 +0200 | <jese> | merijn: https://wiki.haskell.org/Internationalization_of_Haskell_programs_using_gettext#Prepare_program_fo… |
| 2022-07-22 18:04:15 +0200 | <jese> | ^the one from here |
| 2022-07-22 18:04:41 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 268 seconds) |
| 2022-07-22 18:04:57 +0200 | <jese> | near the bottom |
| 2022-07-22 18:05:54 +0200 | <merijn> | The last content change of that was from 2013, so I'd check if this is actually still the right way |
| 2022-07-22 18:05:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 18:06:08 +0200 | <exarkun> | Gettext `_` is such an old idiom, much older than 2013 |
| 2022-07-22 18:06:18 +0200 | <exarkun> | Of course, it was wrong way back then too |
| 2022-07-22 18:06:27 +0200 | <exarkun> | but gettext folks don't seem to mind that it's wrong :) |
| 2022-07-22 18:06:59 +0200 | slac57466 | slack1256 |
| 2022-07-22 18:07:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 18:07:56 +0200 | <slack1256> | Are quasiQuotes spliced implicitly by ghc when it make sense? |
| 2022-07-22 18:08:21 +0200 | <merijn> | slack1256: ? |
| 2022-07-22 18:09:15 +0200 | <slack1256> | I better put sometime on pastebin. Give me a sec. |
| 2022-07-22 18:09:54 +0200 | <jese> | merijn: it works just fine so far, the only problem is that ghci can't load modules that have __MESSAGE_CATALOG_*__ CPPs |
| 2022-07-22 18:10:37 +0200 | <geekosaur> | does it work if you explicitly use -XCPP on the command line? |
| 2022-07-22 18:11:33 +0200 | <geekosaur> | (handling {-# LANGUAGE CPP #-} is a bit of a hack because it has to redo the compile pipeline and start over) |
| 2022-07-22 18:11:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 18:11:44 +0200 | <slack1256> | merijn: https://pastebin.com/YmwLHWU5 |
| 2022-07-22 18:12:16 +0200 | <slack1256> | That [sql| ... |] expression shouldn't it have (Q Exp) type? |
| 2022-07-22 18:13:02 +0200 | <merijn> | slack1256: No, the return value of 'sql' has type Q Exp |
| 2022-07-22 18:13:20 +0200 | <geekosaur> | I'm pretty sure that is spliced in place |
| 2022-07-22 18:13:23 +0200 | <merijn> | slack1256: The quasi quoter splices the Exp in |
| 2022-07-22 18:13:33 +0200 | <geekosaur> | if that's not what you want then you need to work with TH directly |
| 2022-07-22 18:13:42 +0200 | <jese> | geekosaur: no |
| 2022-07-22 18:14:18 +0200 | <slack1256> | Mmm so [sql| <blah>|] is roughtly equivalent to $( sql <blah> ) ? |
| 2022-07-22 18:14:53 +0200 | <geekosaur> | aside from not requiring you to write te innards as an AST, yes |
| 2022-07-22 18:15:44 +0200 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:6571:75c6:ec4b:b840) |
| 2022-07-22 18:18:05 +0200 | <slack1256> | That is why I was confused! I feel the wiki does not explain it right. |
| 2022-07-22 18:18:05 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:8972:da1e:68e0:c6f0) (Ping timeout: 260 seconds) |
| 2022-07-22 18:18:05 +0200 | use-value1 | use-value |
| 2022-07-22 18:18:14 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2022-07-22 18:18:21 +0200 | <slack1256> | Thanks geekosaur, merijn. |
| 2022-07-22 18:20:32 +0200 | malte | (~malte@mal.tc) |
| 2022-07-22 18:21:58 +0200 | jese | (~nikola@178.220.246.232) (Quit: leaving) |
| 2022-07-22 18:22:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 18:23:07 +0200 | hackpert | (~hackpert@143.244.47.76) (Ping timeout: 268 seconds) |
| 2022-07-22 18:23:22 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-07-22 18:25:15 +0200 | hackpert | (~hackpert@143.244.47.76) |
| 2022-07-22 18:26:09 +0200 | yin_ | (~yin@user/zero) |
| 2022-07-22 18:30:42 +0200 | MajorBiscuit | (~MajorBisc@c-001-026-008.client.tudelft.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2022-07-22 18:31:58 +0200 | acidjnk_new | (~acidjnk@p200300d6e7058614e0e7496330b33c17.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-07-22 18:32:36 +0200 | MajorBiscuit | (~MajorBisc@86.88.79.148) |
| 2022-07-22 18:36:45 +0200 | slac81512 | (~slack1256@186.11.19.31) |
| 2022-07-22 18:38:54 +0200 | slack1256 | (~slack1256@191.126.99.209) (Ping timeout: 244 seconds) |
| 2022-07-22 18:42:20 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-07-22 18:45:42 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 264 seconds) |
| 2022-07-22 18:47:13 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-07-22 18:49:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 18:49:21 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 18:49:22 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-07-22 18:50:24 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
| 2022-07-22 18:50:26 +0200 | jespada | (~jespada@190.7.36.46) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-07-22 18:50:26 +0200 | liz | (~liz@host86-187-168-117.range86-187.btcentralplus.com) |
| 2022-07-22 18:50:47 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-22 18:51:10 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Read error: Connection reset by peer) |
| 2022-07-22 18:52:29 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-22 18:52:47 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-22 18:53:16 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-22 18:54:47 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-22 19:00:12 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-07-22 19:00:43 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-07-22 19:00:44 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-22 19:06:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-22 19:08:35 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 19:08:56 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-22 19:10:16 +0200 | ph88^ | (~ph88@2a02:8109:9e00:71d0::347a) |
| 2022-07-22 19:11:10 +0200 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2022-07-22 19:11:36 +0200 | <tomsmeding> | kuribas: seems docs are not building; https://hackage.haskell.org/package/hkd-records-0.0.1/reports/ |
| 2022-07-22 19:12:02 +0200 | <tomsmeding> | Manual upload instructions all the way at the bottom here https://hackage.haskell.org/upload |
| 2022-07-22 19:12:32 +0200 | <kuribas> | tomsmeding: it takes some time? |
| 2022-07-22 19:12:40 +0200 | <tomsmeding> | Apparently |
| 2022-07-22 19:12:53 +0200 | <tomsmeding> | Not sure what one should expect :) |
| 2022-07-22 19:13:14 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-22 19:13:53 +0200 | <kuribas> | a few hours is normal |
| 2022-07-22 19:13:53 +0200 | hackpert | (~hackpert@143.244.47.76) (Ping timeout: 255 seconds) |
| 2022-07-22 19:15:39 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-22 19:16:04 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-22 19:18:09 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-07-22 19:18:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-07-22 19:22:56 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-22 19:23:47 +0200 | MajorBiscuit | (~MajorBisc@86.88.79.148) (Ping timeout: 255 seconds) |
| 2022-07-22 19:24:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 19:28:44 +0200 | kor1_ | (~quassel@user/kor1) |
| 2022-07-22 19:33:31 +0200 | kor1_ | kor1 |
| 2022-07-22 19:34:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 19:37:16 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-07-22 19:38:15 +0200 | hnOsmium0001 | (uid453710@user/hnOsmium0001) |
| 2022-07-22 19:40:58 +0200 | kuribas | (~user@ptr-17d51ep5h41xra5kboz.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-07-22 19:44:19 +0200 | hackpert | (~hackpert@143.244.47.76) |
| 2022-07-22 19:44:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 19:53:06 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-22 19:53:07 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-22 19:55:04 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 19:55:08 +0200 | talismanick | (~talismani@2601:200:c100:3850::dd64) |
| 2022-07-22 19:55:32 +0200 | talismanick | Guest2916 |
| 2022-07-22 19:55:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 19:57:15 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 260 seconds) |
| 2022-07-22 19:57:17 +0200 | kor1 | (~quassel@user/kor1) (https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-07-22 20:04:34 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-22 20:05:11 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-22 20:05:27 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection) |
| 2022-07-22 20:05:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 20:08:01 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-22 20:08:15 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-22 20:08:35 +0200 | <yin_> | where do we put our modules in a cabal project? |
| 2022-07-22 20:08:55 +0200 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 260 seconds) |
| 2022-07-22 20:09:05 +0200 | <yin_> | stack gives us an app and src folders |
| 2022-07-22 20:09:16 +0200 | econo | (uid147250@user/econo) |
| 2022-07-22 20:09:29 +0200 | <yin_> | but i can't seem to remember where modules go in a cabal project |
| 2022-07-22 20:10:24 +0200 | <geekosaur> | where you choose (hs-source-dirs: ...) defaulting to the same directory as the cabal file |
| 2022-07-22 20:10:31 +0200 | fserucas_ | (~fserucas@48.64.114.89.rev.vodafone.pt) (Quit: Leaving) |
| 2022-07-22 20:10:36 +0200 | fserucas | (~fserucas@48.64.114.89.rev.vodafone.pt) (Quit: Leaving) |
| 2022-07-22 20:10:59 +0200 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-07-22 20:11:09 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-07-22 20:11:38 +0200 | <geekosaur> | if you have a library and one or more executables then it makes the most sense to put the library in one directory and each executable in its own sibling directory |
| 2022-07-22 20:12:30 +0200 | <yin_> | oh, my cabal file has `hs-source-dirs: app` |
| 2022-07-22 20:13:00 +0200 | <yin_> | so i guess that's the default |
| 2022-07-22 20:13:14 +0200 | <yin_> | ? |
| 2022-07-22 20:13:39 +0200 | <geekosaur> | cabal init will typically give you some defaults, yes |
| 2022-07-22 20:13:44 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 255 seconds) |
| 2022-07-22 20:14:25 +0200 | <yin_> | got it |
| 2022-07-22 20:15:58 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2022-07-22 20:16:55 +0200 | yin | (~yin@user/zero) |
| 2022-07-22 20:26:54 +0200 | nosewings | (~ngpc@cpe-76-186-194-45.tx.res.rr.com) |
| 2022-07-22 20:33:18 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-07-22 20:34:25 +0200 | yin | zzz |
| 2022-07-22 20:34:31 +0200 | yin_ | yin |
| 2022-07-22 20:36:07 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 20:37:26 +0200 | nibelungen | (~asturias@2001:19f0:7001:638:5400:3ff:fef3:8725) |
| 2022-07-22 20:39:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 20:40:09 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-22 20:42:00 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-22 20:48:23 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-22 20:49:06 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-07-22 20:54:21 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-22 20:57:20 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 260 seconds) |
| 2022-07-22 20:59:30 +0200 | hackpert | (~hackpert@143.244.47.76) (Ping timeout: 264 seconds) |
| 2022-07-22 20:59:58 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds) |
| 2022-07-22 21:00:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 21:00:05 +0200 | hackpert | (~hackpert@static-198-44-136-59.cust.tzulo.com) |
| 2022-07-22 21:05:57 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-22 21:06:10 +0200 | ulvarref` | (~user@188.124.56.153) (Ping timeout: 240 seconds) |
| 2022-07-22 21:09:47 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-07-22 21:09:56 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 21:10:20 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 21:10:28 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-f113-065d-daee-6cf4.res6.spectrum.com) |
| 2022-07-22 21:11:49 +0200 | liz | (~liz@host86-187-168-117.range86-187.btcentralplus.com) (Quit: Lost terminal) |
| 2022-07-22 21:13:06 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-22 21:14:02 +0200 | hackpert | (~hackpert@static-198-44-136-59.cust.tzulo.com) (Quit: WeeChat 3.6) |
| 2022-07-22 21:14:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 21:15:26 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-22 21:18:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-22 21:18:57 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-22 21:19:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 21:20:48 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-07-22 21:20:50 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-22 21:25:53 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-07-22 21:33:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 21:33:37 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-07-22 21:36:10 +0200 | fef | (~thedawn@user/thedawn) (Quit: Killer) |
| 2022-07-22 21:37:22 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-22 21:39:13 +0200 | aliosablack | (~chomwitt@2a02:587:dc00:5a00:58b1:50a3:2bd1:cf5) |
| 2022-07-22 21:41:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 21:45:28 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-22 21:46:33 +0200 | acidjnk_new | (~acidjnk@p200300d6e705861455e50c10bef1f4d4.dip0.t-ipconnect.de) |
| 2022-07-22 21:46:58 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 21:47:39 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-07-22 21:50:57 +0200 | <hellwolf> | is Lens using profunctor definition compatible with Lens defined in the lens/micro-lens/etc. library |
| 2022-07-22 21:50:58 +0200 | <hellwolf> | ? |
| 2022-07-22 21:51:40 +0200 | <hellwolf> | profunctor version looks like `Lens s t a b = Strong p => p a b -> p s t` (Maybe I messed up with some detail, don't mind) |
| 2022-07-22 21:51:56 +0200 | <hellwolf> | and Lens in the lens/micro-lens library looks quite different |
| 2022-07-22 21:52:01 +0200 | <hellwolf> | !hoogle bot? |
| 2022-07-22 21:53:07 +0200 | <geekosaur> | they should be compatible, yes |
| 2022-07-22 21:53:27 +0200 | <geekosaur> | lens uses a bunch of type wrappers/aliases |
| 2022-07-22 21:53:30 +0200 | <hellwolf> | hmm, but how, they look so different |
| 2022-07-22 21:53:47 +0200 | <hellwolf> | I probably should just myself, I was just wondering |
| 2022-07-22 21:54:13 +0200 | <hellwolf> | type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t |
| 2022-07-22 21:54:21 +0200 | <hellwolf> | this is from lens/micro-lens library |
| 2022-07-22 21:54:26 +0200 | slac81512 | slack1256 |
| 2022-07-22 21:55:45 +0200 | <slack1256> | Data.Set.insert says in its documentation "Insert an element in a set. If the set already contains an element equal to the given value, it is replaced with the new value.". Why would that be useful? Why not just not insert? |
| 2022-07-22 21:56:16 +0200 | <darkling> | Because then it wouldn't be a set? |
| 2022-07-22 21:56:30 +0200 | <nosewings> | slack1256: because sets can't/shouldn't contain the same element twice |
| 2022-07-22 21:56:33 +0200 | <darkling> | No two elements of a set can be equal, by definition. |
| 2022-07-22 21:56:58 +0200 | kannon | (~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net) |
| 2022-07-22 21:57:07 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection) |
| 2022-07-22 21:57:19 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-07-22 21:57:28 +0200 | <slack1256> | Yeah that is true. But they are equal elements. If you leave the set as-is materially it would be the same as if you did this redundant insert. |
| 2022-07-22 21:58:06 +0200 | <Rembane> | Maybe it's a leaky abstraction? That is, it is easier to implement this way than not inserting the element. |
| 2022-07-22 21:58:07 +0200 | <geekosaur> | this all hinges on the definition of (=😃 for the type |
| 2022-07-22 21:58:13 +0200 | <geekosaur> | oy |
| 2022-07-22 21:58:15 +0200 | <geekosaur> | == |
| 2022-07-22 21:58:42 +0200 | kenran | (~kenran@200116b82bdbb500e5610b20c2ce8255.dip.versatel-1u1.de) |
| 2022-07-22 22:00:12 +0200 | <slack1256> | Mmm there are some non-stable pointer comparasions on the definition. |
| 2022-07-22 22:00:21 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 22:01:04 +0200 | <dolio> | Both versions could be useful, really. |
| 2022-07-22 22:01:25 +0200 | <dolio> | One shares the set. One lets you replace the contents of the set by something better but still equal. |
| 2022-07-22 22:02:46 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-22 22:03:10 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-07-22 22:03:12 +0200 | <slack1256> | dolio: I am not seeing how the contents are being replaced "by something better" :-/ . It is just the same, right? |
| 2022-07-22 22:03:32 +0200 | <darkling> | It all depends, as geekosaur said, on the definition of == |
| 2022-07-22 22:04:04 +0200 | <dolio> | Maybe the new one is memory backed by a compact region. |
| 2022-07-22 22:04:18 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 22:04:23 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-22 22:04:24 +0200 | <dolio> | Or hash consed. |
| 2022-07-22 22:10:03 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-07-22 22:10:30 +0200 | <slack1256> | I am starting to understand |
| 2022-07-22 22:12:05 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2022-07-22 22:12:38 +0200 | <dolio> | Oh, or it's a freshly allocated bytestring with just enough memory, instead of an offset and length designating 20 characters out of 100MB or pinned memory. |
| 2022-07-22 22:13:06 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-07-22 22:14:19 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-22 22:15:13 +0200 | <slack1256> | That kind of pointer trickery is what I was thinking about. |
| 2022-07-22 22:16:26 +0200 | <Rembane> | Is the Eq instance comparing pointers instead of content? |
| 2022-07-22 22:16:43 +0200 | <slack1256> | The `insert` definition does. |
| 2022-07-22 22:17:18 +0200 | <Rembane> | Cool! And not at all in line with my intuition for what it does. |
| 2022-07-22 22:21:09 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-07-22 22:22:18 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-07-22 22:22:21 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-22 22:26:56 +0200 | mncheckm | (~mncheck@193.224.205.254) (Read error: Connection reset by peer) |
| 2022-07-22 22:26:58 +0200 | mncheck-m | (~mncheck@193.224.205.254) (Read error: Connection reset by peer) |
| 2022-07-22 22:27:12 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2022-07-22 22:27:13 +0200 | mncheckm | (~mncheck@193.224.205.254) |
| 2022-07-22 22:32:25 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2022-07-22 22:32:32 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 22:39:02 +0200 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:b08e:6dc9:1a36:636d) |
| 2022-07-22 22:41:50 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:6571:75c6:ec4b:b840) (Ping timeout: 240 seconds) |
| 2022-07-22 22:41:50 +0200 | use-value1 | use-value |
| 2022-07-22 22:42:37 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection) |
| 2022-07-22 22:42:48 +0200 | kenran | (~kenran@200116b82bdbb500e5610b20c2ce8255.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-07-22 22:42:54 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) |
| 2022-07-22 22:46:06 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-07-22 22:46:25 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.5) |
| 2022-07-22 22:46:26 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-22 22:48:44 +0200 | mncheck-m | (~mncheck@193.224.205.254) |
| 2022-07-22 22:49:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 22:49:17 +0200 | mncheck | (~mncheck@193.224.205.254) (Read error: Connection reset by peer) |
| 2022-07-22 22:49:23 +0200 | mncheckm | (~mncheck@193.224.205.254) (Read error: Connection reset by peer) |
| 2022-07-22 22:49:47 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2022-07-22 22:53:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-22 22:54:40 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-22 22:54:50 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2022-07-22 22:55:42 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-22 22:57:55 +0200 | nosewings | (~ngpc@cpe-76-186-194-45.tx.res.rr.com) (Remote host closed the connection) |
| 2022-07-22 23:00:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-22 23:04:12 +0200 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-07-22 23:05:19 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-07-22 23:06:08 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-22 23:07:13 +0200 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) (Ping timeout: 272 seconds) |
| 2022-07-22 23:07:51 +0200 | zzz | (~yin@user/zero) (Ping timeout: 272 seconds) |
| 2022-07-22 23:08:25 +0200 | zzz | (~yin@user/zero) |
| 2022-07-22 23:08:36 +0200 | kannon | (~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net) (Ping timeout: 244 seconds) |
| 2022-07-22 23:15:57 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-07-22 23:18:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-22 23:27:47 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-07-22 23:29:30 +0200 | zebrag | (~chris@user/zebrag) (Ping timeout: 240 seconds) |
| 2022-07-22 23:32:33 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-07-22 23:33:59 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-22 23:34:15 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-22 23:37:42 +0200 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) |
| 2022-07-22 23:43:02 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-07-22 23:43:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-22 23:43:45 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 276 seconds) |
| 2022-07-22 23:45:56 +0200 | toluene | (~toluene@user/toulene) (Read error: Connection reset by peer) |
| 2022-07-22 23:46:13 +0200 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:582e:8b1d:fe57:faee) |
| 2022-07-22 23:46:34 +0200 | toluene | (~toluene@user/toulene) |
| 2022-07-22 23:48:18 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:b08e:6dc9:1a36:636d) (Ping timeout: 276 seconds) |
| 2022-07-22 23:48:18 +0200 | use-value1 | use-value |
| 2022-07-22 23:53:01 +0200 | michalz | (~michalz@185.246.204.77) (Remote host closed the connection) |
| 2022-07-22 23:54:46 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-07-22 23:56:18 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c19d:5429:582b:ef6e) (Remote host closed the connection) |
| 2022-07-22 23:58:32 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |