| 2023-04-02 00:00:27 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-04-02 00:00:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3cb1:54bf:cd2c:417f) (Ping timeout: 260 seconds) |
| 2023-04-02 00:01:49 +0200 | <juri_> | this irc channel is too quiet. |
| 2023-04-02 00:11:58 +0200 | <davean> | sssh |
| 2023-04-02 00:13:02 +0200 | <mauke> | chatting is a side effect |
| 2023-04-02 00:13:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 00:15:40 +0200 | <monochrom> | /invite chatgpt >:) |
| 2023-04-02 00:16:05 +0200 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2023-04-02 00:18:55 +0200 | <pony> | play some euterpea tunes into the chat |
| 2023-04-02 00:20:24 +0200 | <Nosrep> | @djinn [a -> a] -> a -> a |
| 2023-04-02 00:20:24 +0200 | <lambdabot> | Error: Undefined type [] |
| 2023-04-02 00:20:29 +0200 | <Nosrep> | D: |
| 2023-04-02 00:21:36 +0200 | <geekosaur> | djinn can't handle recursive types, sadly |
| 2023-04-02 00:22:18 +0200 | <geekosaur> | and exference is sadly dead |
| 2023-04-02 00:25:17 +0200 | <ski> | (it can't handle rank-2 either, otherwise one could use a Church encoding) |
| 2023-04-02 00:28:07 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 2023-04-02 00:30:47 +0200 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Client Quit) |
| 2023-04-02 00:34:42 +0200 | <geekosaur> | and probably watch it hang. the subset @djinn knows reliably terminates. exference didn't |
| 2023-04-02 00:35:23 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2023-04-02 00:36:00 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-04-02 00:37:23 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2023-04-02 00:39:36 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2023-04-02 00:42:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-04-02 00:43:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-04-02 00:44:27 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 248 seconds) |
| 2023-04-02 00:45:55 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-04-02 00:46:07 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-02 00:49:23 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-02 00:49:23 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-02 00:49:23 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-02 00:49:52 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2023-04-02 00:50:12 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-04-02 00:50:37 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 265 seconds) |
| 2023-04-02 00:55:36 +0200 | malte | (~malte@mal.tc) |
| 2023-04-02 01:01:33 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 01:02:49 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 01:12:31 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-04-02 01:14:27 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 268 seconds) |
| 2023-04-02 01:14:28 +0200 | mauke_ | mauke |
| 2023-04-02 01:19:13 +0200 | <pony> | trying to cabal install the Euterpea library got me https://bpa.st/GNTQW ... what can I do? |
| 2023-04-02 01:19:56 +0200 | <geekosaur> | that's a fancy way of saying it needs an older ghc |
| 2023-04-02 01:20:08 +0200 | <pony> | ok :) |
| 2023-04-02 01:22:05 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) (Ping timeout: 260 seconds) |
| 2023-04-02 01:22:16 +0200 | <geekosaur> | looks like ghc 8.6.5 is your best bet |
| 2023-04-02 01:22:47 +0200 | <pony> | I see it recommending 8.6.3 hmm |
| 2023-04-02 01:23:13 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2023-04-02 01:25:32 +0200 | <pony> | it just says to use 'cabal install', but how do I do that for a specific GHC version installed with ghcup? |
| 2023-04-02 01:26:22 +0200 | <geekosaur> | cabal install -w ghc-x.y.z |
| 2023-04-02 01:26:30 +0200 | <pony> | ty |
| 2023-04-02 01:31:34 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-04-02 01:31:54 +0200 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58) (Remote host closed the connection) |
| 2023-04-02 01:32:22 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
| 2023-04-02 01:36:53 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 01:38:06 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 01:41:42 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Ping timeout: 252 seconds) |
| 2023-04-02 01:50:06 +0200 | Kirat | (~Gill@S0106c09435eadff4.cg.shawcable.net) |
| 2023-04-02 01:50:09 +0200 | Kirat | (~Gill@S0106c09435eadff4.cg.shawcable.net) (Max SendQ exceeded) |
| 2023-04-02 01:50:25 +0200 | Kirat | (~Gill@S0106c09435eadff4.cg.shawcable.net) |
| 2023-04-02 01:50:52 +0200 | Kirat | (~Gill@S0106c09435eadff4.cg.shawcable.net) (Client Quit) |
| 2023-04-02 01:51:11 +0200 | <pony> | yay! I got it working. |
| 2023-04-02 01:51:34 +0200 | pony | played a piano key |
| 2023-04-02 01:52:22 +0200 | <shapr> | yay! |
| 2023-04-02 01:55:32 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-04-02 01:56:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2023-04-02 01:56:52 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-04-02 01:57:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-04-02 01:58:11 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-02 01:59:10 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) |
| 2023-04-02 02:00:15 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-04-02 02:01:47 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-04-02 02:02:55 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 260 seconds) |
| 2023-04-02 02:03:16 +0200 | califax | (~califax@user/califx) |
| 2023-04-02 02:09:21 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-04-02 02:25:11 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-04-02 02:26:28 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2023-04-02 02:28:30 +0200 | jlee | (~jlee@2601:248:1:d90:3fac:736e:cbdb:ae89) (Quit: Konversation terminated!) |
| 2023-04-02 02:33:38 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-02 02:33:53 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2023-04-02 02:51:21 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-04-02 02:55:20 +0200 | <Axman6> | Is there a way to teach hls about the dependencies a standalone haskell file needs? I have a cabal: comment at the top which works fine when I run the file using is shebang line, but when editing it (in helix currently) I get errors about imports needing packages specified in build-depends |
| 2023-04-02 03:01:06 +0200 | dipper_ | (~dipper@203.168.13.4) |
| 2023-04-02 03:01:39 +0200 | <Axman6> | Looks like cabal/stack script support has been asked for, but not implemented: https://github.com/haskell/haskell-language-server/issues/111 |
| 2023-04-02 03:09:56 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) |
| 2023-04-02 03:11:04 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-04-02 03:17:14 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-04-02 03:23:38 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-02 03:28:53 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-04-02 03:31:24 +0200 | gurkengl1s | (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) |
| 2023-04-02 03:31:55 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-04-02 03:48:13 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-04-02 03:51:23 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 03:52:45 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 03:58:37 +0200 | razetime | (~Thunderbi@49.207.192.117) |
| 2023-04-02 04:01:23 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58) |
| 2023-04-02 04:05:02 +0200 | sex | (~sex@1.213.228.20) |
| 2023-04-02 04:05:06 +0200 | <sex> | printf("Hello slave World") |
| 2023-04-02 04:07:13 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-04-02 04:07:13 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-04-02 04:07:13 +0200 | finn_elija | FinnElija |
| 2023-04-02 04:07:17 +0200 | sex | (~sex@1.213.228.20) (K-Lined) |
| 2023-04-02 04:08:18 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 04:09:31 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 04:10:42 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-04-02 04:16:49 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-02 04:18:52 +0200 | <sm> | Axman6: alas yes |
| 2023-04-02 04:22:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58) (Remote host closed the connection) |
| 2023-04-02 04:22:36 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2023-04-02 04:23:10 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-04-02 04:25:36 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2023-04-02 04:25:51 +0200 | td_ | (~td@i5387093C.versanet.de) (Ping timeout: 255 seconds) |
| 2023-04-02 04:27:02 +0200 | smallville7123 | (~Android@116.90.72.44) |
| 2023-04-02 04:27:25 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 2023-04-02 04:27:34 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-04-02 04:27:36 +0200 | td_ | (~td@i53870922.versanet.de) |
| 2023-04-02 04:29:47 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-04-02 04:34:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58) |
| 2023-04-02 04:35:21 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-04-02 04:44:42 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Remote host closed the connection) |
| 2023-04-02 04:55:11 +0200 | <Nosrep> | would it be possible for IntMap to use Bits instead of Ints |
| 2023-04-02 04:55:54 +0200 | <Nosrep> | or finitebits i guess? |
| 2023-04-02 04:56:28 +0200 | <Nosrep> | don't really know how it works internally but it sounds better than implementing a bunch of int32map word64maps and whatever else (there are none, but i wish there were) |
| 2023-04-02 04:59:03 +0200 | <EvanR> | there's a package for IntMap that uses Enum |
| 2023-04-02 04:59:13 +0200 | <EvanR> | which maps to and from Int |
| 2023-04-02 04:59:41 +0200 | <EvanR> | https://hackage.haskell.org/package/enummaps |
| 2023-04-02 05:00:15 +0200 | <EvanR> | which sounds more efficient than going through Bits |
| 2023-04-02 05:02:01 +0200 | <EvanR> | Enum also allows you to use e.g. Char |
| 2023-04-02 05:07:24 +0200 | <Nosrep> | it uses fromEnum under the hood |
| 2023-04-02 05:07:37 +0200 | <Nosrep> | so might as well just use intset at that point |
| 2023-04-02 05:07:56 +0200 | <Nosrep> | wait, is int64 a thing on 32bit systems? |
| 2023-04-02 05:09:47 +0200 | <Nosrep> | okay never mind i was thinking about having int64map on 32 bit systems but yeah seems kinda pointless if it isnt |
| 2023-04-02 05:10:20 +0200 | <Nosrep> | enummaps is cool though |
| 2023-04-02 05:14:35 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 05:15:41 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 05:19:30 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2023-04-02 05:19:51 +0200 | <EvanR> | yes you can wrap IntMap yourself if you want |
| 2023-04-02 05:21:15 +0200 | <EvanR> | Int64 is a thing on 32bit, two 32bit ints xD |
| 2023-04-02 05:26:59 +0200 | <Nosrep> | how would i go about wrapping i |
| 2023-04-02 05:27:11 +0200 | <Nosrep> | without just truncating it somehow which has collisiosn |
| 2023-04-02 05:27:26 +0200 | <Nosrep> | wouldn't you have to like copy the whole intmap code over and change the key to int64? |
| 2023-04-02 05:27:33 +0200 | <EvanR> | I'm not following |
| 2023-04-02 05:27:42 +0200 | <EvanR> | you want to use IntMap with what kind of key |
| 2023-04-02 05:28:38 +0200 | <EvanR> | if it can't fit into an Int it won't work |
| 2023-04-02 05:32:17 +0200 | <EvanR> | if it can, Enum is a pre-existing gateway to do that |
| 2023-04-02 05:33:32 +0200 | <Nosrep> | i want an intmap thats still 64bit on 32 bit systems so my program doesn't fall apart |
| 2023-04-02 05:34:15 +0200 | <Nosrep> | it should be possible the a guy on github was like "oh i can modify the key but idk if i wanna put that in" |
| 2023-04-02 05:36:17 +0200 | <EvanR> | Int64 map for 32bit systems, sounds like a bad idea |
| 2023-04-02 05:36:21 +0200 | <EvanR> | but possible |
| 2023-04-02 05:36:57 +0200 | <EvanR> | it kind of defeats the purpose of the performance gain of using Int |
| 2023-04-02 05:39:53 +0200 | <EvanR> | there's always Map Int64 |
| 2023-04-02 05:40:03 +0200 | <EvanR> | and hiding what kind of table you use behind a newtype |
| 2023-04-02 05:52:21 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-04-02 05:52:32 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2023-04-02 06:01:15 +0200 | gurkengl1s | (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-04-02 06:01:43 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-04-02 06:05:30 +0200 | <Nosrep> | good idea |
| 2023-04-02 06:05:33 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-04-02 06:05:57 +0200 | califax | (~califax@user/califx) |
| 2023-04-02 06:06:24 +0200 | xff0x | (~xff0x@2405:6580:b080:900:da20:b65a:3c49:4b97) (Ping timeout: 248 seconds) |
| 2023-04-02 06:08:34 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-04-02 06:26:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 06:27:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-04-02 06:30:48 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 268 seconds) |
| 2023-04-02 06:32:03 +0200 | xff0x | (~xff0x@2405:6580:b080:900:da20:b65a:3c49:4b97) |
| 2023-04-02 06:32:09 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-04-02 06:52:37 +0200 | trev | (~trev@user/trev) |
| 2023-04-02 06:55:41 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-04-02 07:04:06 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-04-02 07:08:49 +0200 | _xor | (~xor@74.215.46.17) (Quit: bbiab) |
| 2023-04-02 07:09:06 +0200 | pony | u-ou |
| 2023-04-02 07:22:15 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 07:24:39 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 07:41:06 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2023-04-02 07:42:01 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 276 seconds) |
| 2023-04-02 07:42:03 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-04-02 07:43:23 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2023-04-02 07:43:49 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-04-02 07:46:07 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2023-04-02 07:54:01 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-02 07:54:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 08:03:53 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-02 08:04:10 +0200 | phma | (~phma@2001:5b0:211b:ccf8:95c1:8152:d7ab:2265) (Read error: Connection reset by peer) |
| 2023-04-02 08:04:31 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-04-02 08:04:34 +0200 | phma | (phma@2001:5b0:211b:ccf8:95c1:8152:d7ab:2265) |
| 2023-04-02 08:05:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 08:08:36 +0200 | talismanick | (~talismani@76.133.152.122) (Ping timeout: 255 seconds) |
| 2023-04-02 08:16:05 +0200 | barzo | (~hd@31.223.56.16) |
| 2023-04-02 08:16:39 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-02 08:20:10 +0200 | razetime | (~Thunderbi@49.207.192.117) (Quit: See You Space Cowboy) |
| 2023-04-02 08:25:49 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
| 2023-04-02 08:30:09 +0200 | kuribas | (~user@ptr-17d51en67fh0zvyornk.18120a2.ip6.access.telenet.be) |
| 2023-04-02 08:30:50 +0200 | <kuribas> | How do HKTs fit into the lambda cube? |
| 2023-04-02 08:30:54 +0200 | <kuribas> | They are not types that depend on types, since (Type -> Type) is not a type... |
| 2023-04-02 08:31:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 08:32:11 +0200 | <kuribas> | They are not terms either. |
| 2023-04-02 08:32:27 +0200 | <kuribas> | (Type -> Type) is not a (value level) term. |
| 2023-04-02 08:38:11 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-02 08:47:30 +0200 | kuribas | (~user@ptr-17d51en67fh0zvyornk.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2023-04-02 08:50:18 +0200 | jargon | (~jargon@174-22-223-2.phnx.qwest.net) |
| 2023-04-02 08:58:44 +0200 | barzo | (~hd@31.223.56.16) (Quit: Leaving) |
| 2023-04-02 09:02:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 09:10:42 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 255 seconds) |
| 2023-04-02 09:11:28 +0200 | hltk | (~hltk@hltk.fi) (Remote host closed the connection) |
| 2023-04-02 09:11:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 09:16:14 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-02 09:21:37 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-04-02 09:24:04 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-02 09:48:55 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-04-02 09:49:34 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Client Quit) |
| 2023-04-02 09:50:38 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-04-02 09:51:02 +0200 | u-ou | no-n |
| 2023-04-02 09:57:57 +0200 | jargon | (~jargon@174-22-223-2.phnx.qwest.net) (Remote host closed the connection) |
| 2023-04-02 09:59:02 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-04-02 10:03:31 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-04-02 10:17:35 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-04-02 10:19:16 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-02 10:21:41 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-02 10:21:52 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-04-02 10:22:20 +0200 | andreas303-apple | (andreas303@is.drunk.and.ready-to.party) (Quit: fBNC - https://bnc4free.com) |
| 2023-04-02 10:22:42 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) |
| 2023-04-02 10:32:53 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-02 10:33:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 10:35:23 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (Remote host closed the connection) |
| 2023-04-02 10:36:56 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) |
| 2023-04-02 10:43:26 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-04-02 10:53:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-04-02 10:57:42 +0200 | phma | (phma@2001:5b0:211b:ccf8:95c1:8152:d7ab:2265) (Read error: Connection reset by peer) |
| 2023-04-02 10:58:34 +0200 | phma | (~phma@2001:5b0:210d:32c8:ebb2:77d8:cd18:90d7) |
| 2023-04-02 11:00:03 +0200 | remsense | (~iarmatrix@2001:470:69fc:105::3:625) (Quit: You have been kicked for being idle) |
| 2023-04-02 11:00:04 +0200 | famubu[m] | (~famubumat@2001:470:69fc:105::1081) (Quit: You have been kicked for being idle) |
| 2023-04-02 11:00:51 +0200 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 260 seconds) |
| 2023-04-02 11:09:05 +0200 | NiceBird | (~NiceBird@185.133.111.196) |
| 2023-04-02 11:15:48 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2023-04-02 11:16:42 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-04-02 11:33:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58) (Remote host closed the connection) |
| 2023-04-02 11:35:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 11:38:56 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-02 11:42:29 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-02 11:46:38 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) |
| 2023-04-02 11:59:54 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-04-02 12:10:58 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-02 12:14:24 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-04-02 12:16:28 +0200 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) |
| 2023-04-02 12:16:53 +0200 | paul_j | (~user@2001:8b0:dea0:f3c9:52eb:f6ff:fe56:59ca) |
| 2023-04-02 12:27:47 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Remote host closed the connection) |
| 2023-04-02 12:34:10 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 2023-04-02 12:35:22 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
| 2023-04-02 12:38:45 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Ping timeout: 260 seconds) |
| 2023-04-02 12:39:29 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2023-04-02 12:43:50 +0200 | sefidel | (~sefidel@user/sefidel) |
| 2023-04-02 12:49:36 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 260 seconds) |
| 2023-04-02 12:57:14 +0200 | michalz | (~michalz@185.246.207.221) |
| 2023-04-02 13:05:20 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 246 seconds) |
| 2023-04-02 13:06:04 +0200 | Sciencentistguy6 | (~sciencent@hacksoc/ordinary-member) |
| 2023-04-02 13:07:14 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-04-02 13:08:19 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 276 seconds) |
| 2023-04-02 13:08:19 +0200 | Sciencentistguy6 | Sciencentistguy |
| 2023-04-02 13:09:11 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-02 13:11:10 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-04-02 13:14:20 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2023-04-02 13:16:27 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 248 seconds) |
| 2023-04-02 13:18:04 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-04-02 13:19:29 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-04-02 13:25:41 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-04-02 13:27:33 +0200 | acidjnk | (~acidjnk@p200300d6e715c445e51fa6d7ee391d2a.dip0.t-ipconnect.de) |
| 2023-04-02 13:27:58 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-04-02 13:29:15 +0200 | cassiopea | (~cassiopea@user/cassiopea) (Ping timeout: 260 seconds) |
| 2023-04-02 13:30:01 +0200 | cassiopea | (~cassiopea@user/cassiopea) |
| 2023-04-02 13:35:20 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 2023-04-02 13:35:35 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-04-02 13:37:12 +0200 | paul_j | (~user@2001:8b0:dea0:f3c9:52eb:f6ff:fe56:59ca) (Quit: Asta la vista) |
| 2023-04-02 13:39:18 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-04-02 13:43:40 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-02 13:45:43 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) |
| 2023-04-02 13:46:20 +0200 | turlando | (~turlando@user/turlando) |
| 2023-04-02 13:47:04 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 13:48:24 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 13:52:57 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 268 seconds) |
| 2023-04-02 13:54:53 +0200 | turlando | (~turlando@user/turlando) |
| 2023-04-02 13:55:45 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Ping timeout: 260 seconds) |
| 2023-04-02 14:03:17 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-02 14:11:12 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2023-04-02 14:14:08 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) |
| 2023-04-02 14:31:28 +0200 | talismanick | (~talismani@76.133.152.122) |
| 2023-04-02 14:48:10 +0200 | Alex_test | (~al_test@178.34.151.91) (Quit: ;-) |
| 2023-04-02 14:49:10 +0200 | AlexZenon | (~alzenon@178.34.151.91) (Quit: ;-) |
| 2023-04-02 14:49:17 +0200 | AlexNoo | (~AlexNoo@178.34.151.91) (Quit: Leaving) |
| 2023-04-02 15:02:04 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 15:02:49 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Client Quit) |
| 2023-04-02 15:04:58 +0200 | Guest54 | (~Guest54@pop.92-184-100-216.mobile.abo.orange.fr) |
| 2023-04-02 15:06:00 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-04-02 15:06:53 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 15:07:39 +0200 | Guest54 | (~Guest54@pop.92-184-100-216.mobile.abo.orange.fr) (Quit: Client closed) |
| 2023-04-02 15:09:21 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-02 15:13:00 +0200 | AlexNoo | (~AlexNoo@178.34.151.91) |
| 2023-04-02 15:13:55 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-04-02 15:17:47 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-04-02 15:18:43 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-04-02 15:20:22 +0200 | AlexZenon | (~alzenon@178.34.151.91) |
| 2023-04-02 15:22:08 +0200 | smallville7123 | (~Android@116.90.72.44) (Ping timeout: 248 seconds) |
| 2023-04-02 15:22:25 +0200 | Alex_test | (~al_test@178.34.151.91) |
| 2023-04-02 15:25:27 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-04-02 15:32:48 +0200 | kenran | (~user@user/kenran) |
| 2023-04-02 15:35:38 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-04-02 15:38:40 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-04-02 15:42:46 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-04-02 15:45:58 +0200 | irrgit_ | (~irrgit@176.113.74.130) |
| 2023-04-02 15:48:32 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-04-02 15:48:35 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-02 15:49:24 +0200 | irrgit__ | (~irrgit@176.113.74.74) (Ping timeout: 255 seconds) |
| 2023-04-02 15:52:35 +0200 | Everything | (~Everythin@46.185.124.65) |
| 2023-04-02 15:52:43 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 248 seconds) |
| 2023-04-02 15:53:36 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-02 15:56:34 +0200 | pavonia | (~user@user/siracusa) |
| 2023-04-02 16:04:28 +0200 | kdass | (~root@072-238-128-073.res.spectrum.com) |
| 2023-04-02 16:04:52 +0200 | <kdass> | hello |
| 2023-04-02 16:05:38 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 16:05:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 16:06:40 +0200 | kenran | (~user@user/kenran) |
| 2023-04-02 16:07:20 +0200 | kdass | (~root@072-238-128-073.res.spectrum.com) (Client Quit) |
| 2023-04-02 16:14:19 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-02 16:23:54 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 252 seconds) |
| 2023-04-02 16:25:53 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-04-02 16:30:05 +0200 | myme | (~myme@2a01:799:d60:e400:152f:3afa:67d8:6d3c) (Ping timeout: 246 seconds) |
| 2023-04-02 16:30:22 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Ping timeout: 252 seconds) |
| 2023-04-02 16:31:17 +0200 | myme | (~myme@2a01:799:d60:e400:53f1:6d0a:f3a2:798b) |
| 2023-04-02 16:38:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-04-02 16:41:40 +0200 | <juri_> | hello! |
| 2023-04-02 16:41:44 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) |
| 2023-04-02 16:43:02 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-02 16:49:36 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Remote host closed the connection) |
| 2023-04-02 16:52:23 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 16:53:11 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 16:53:42 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 16:53:52 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 248 seconds) |
| 2023-04-02 16:54:32 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-02 16:57:52 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 252 seconds) |
| 2023-04-02 16:59:02 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-04-02 16:59:31 +0200 | acidjnk | (~acidjnk@p200300d6e715c445e51fa6d7ee391d2a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-04-02 17:01:38 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-04-02 17:01:38 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-04-02 17:01:38 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-02 17:06:40 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-04-02 17:07:15 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 255 seconds) |
| 2023-04-02 17:09:15 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-04-02 17:10:41 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-02 17:11:09 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-04-02 17:11:10 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-04-02 17:11:10 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-02 17:11:54 +0200 | krei-se | (~krei-se@p50874388.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-04-02 17:14:23 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-04-02 17:15:50 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2023-04-02 17:17:37 +0200 | turlando | (~turlando@user/turlando) |
| 2023-04-02 17:22:39 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-02 17:25:14 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 17:28:59 +0200 | irrgit__ | (~irrgit@176.113.74.138) |
| 2023-04-02 17:30:09 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 265 seconds) |
| 2023-04-02 17:32:31 +0200 | irrgit_ | (~irrgit@176.113.74.130) (Ping timeout: 252 seconds) |
| 2023-04-02 17:42:04 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-02 17:43:18 +0200 | taupiqueur | (~taupiqueu@2a02:842a:8180:4601:7049:e98:928a:bbc8) |
| 2023-04-02 17:47:44 +0200 | taupiqueur | (~taupiqueu@2a02:842a:8180:4601:7049:e98:928a:bbc8) (Ping timeout: 248 seconds) |
| 2023-04-02 17:49:01 +0200 | irrgit_ | (~irrgit@176.113.74.130) |
| 2023-04-02 17:50:24 +0200 | gensyst | (~gensyst@user/gensyst) |
| 2023-04-02 17:51:58 +0200 | <gensyst> | Any Haskell/Nix guys here? |
| 2023-04-02 17:52:02 +0200 | <gensyst> | (and flakes) |
| 2023-04-02 17:52:16 +0200 | irrgit__ | (~irrgit@176.113.74.138) (Ping timeout: 252 seconds) |
| 2023-04-02 17:53:20 +0200 | <ncf> | don't ask to ask |
| 2023-04-02 17:53:53 +0200 | <[exa]> | quite a few people here use nix |
| 2023-04-02 17:55:32 +0200 | <gensyst> | In Nix/flakes code like this, https://dpaste.com/AR6SKVPX3 .. (taken from serokell.io blog post) .. where would you insert "buildPhase = " to override the buildPhase? |
| 2023-04-02 17:55:59 +0200 | <gensyst> | For testing I've tried putting buildPhase = ""; at a few places (to test if really no buildling happens), but always the build happens anyway. |
| 2023-04-02 17:59:03 +0200 | <ncf> | i'd try calling overrideCabal on your package and setting preBuild or postBuild, see https://nixos.org/manual/nixpkgs/unstable/#haskell-overriding-haskell-packages |
| 2023-04-02 18:01:21 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 18:03:04 +0200 | <Cale> | The result of callCabal2nix should have a buildPhase attribute, have you tried replacing that? |
| 2023-04-02 18:05:09 +0200 | <Cale> | nix-repl> x = (import <nixpkgs> {}).haskell.packages.ghc8107.callCabal2nix "lumatone-hs" ./lumatone-hs.cabal {} |
| 2023-04-02 18:05:09 +0200 | <Cale> | nix-repl> x.buildPhase |
| 2023-04-02 18:05:09 +0200 | <Cale> | "runHook preBuild\n./Setup build \nrunHook postBuild\n" |
| 2023-04-02 18:08:03 +0200 | <Cale> | er, passed the .cabal rather than the source path there, but you get the idea |
| 2023-04-02 18:09:04 +0200 | econo | (uid147250@user/econo) |
| 2023-04-02 18:12:00 +0200 | <Cale> | x.overrideAttrs (self: { buildPhase = ""; }) resulted in the build not happening (and then the next steps failing to find .hi files) |
| 2023-04-02 18:13:39 +0200 | dipper_ | (~dipper@203.168.13.4) (Ping timeout: 265 seconds) |
| 2023-04-02 18:13:54 +0200 | <ncf> | (why would you want that, though?) |
| 2023-04-02 18:14:03 +0200 | <Cale> | Yeah, you probably wouldn't, haha |
| 2023-04-02 18:17:37 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 252 seconds) |
| 2023-04-02 18:19:04 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 18:20:19 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2023-04-02 18:20:26 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 18:21:52 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 265 seconds) |
| 2023-04-02 18:26:03 +0200 | <gensyst> | Cale, ncf i'm just getting confused... (i have some existing addBuildDepends functions etc.) |
| 2023-04-02 18:26:06 +0200 | <gensyst> | comparing with https://github.com/NixOS/nixpkgs/blob/master/doc/languages-frameworks/haskell.section.md |
| 2023-04-02 18:26:19 +0200 | <gensyst> | was the argument order changed for functions like addBuildDepends, at some point? |
| 2023-04-02 18:27:03 +0200 | <ncf> | there's two versions of those functions, one in haskell.lib and one in haskell.lib.compose, and they have swapped argument orders |
| 2023-04-02 18:27:06 +0200 | <ncf> | don't ask me why |
| 2023-04-02 18:27:22 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2023-04-02 18:27:52 +0200 | <ncf> | (well, i'm gonna go out on a limb and guess haskell.lib is for backwards compatibility while haskell.lib.compose is for making chains of functions with lib.pipe) |
| 2023-04-02 18:28:44 +0200 | <gensyst> | ah, good to know! |
| 2023-04-02 18:30:08 +0200 | <gensyst> | ncf Cale, I tried replacing the buildPhase without any luck: https://dpaste.com/GX3HGTNUA |
| 2023-04-02 18:30:09 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-04-02 18:31:00 +0200 | <ncf> | <ncf> i'd try calling overrideCabal on your package and setting preBuild or postBuild, see https://nixos.org/manual/nixpkgs/unstable/#haskell-overriding-haskell-packages |
| 2023-04-02 18:31:41 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-02 18:34:33 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-04-02 18:35:46 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2023-04-02 18:37:20 +0200 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 265 seconds) |
| 2023-04-02 18:38:48 +0200 | <gensyst> | ncf, that fails to compile: https://dpaste.com/3S2BKQHP6 |
| 2023-04-02 18:39:05 +0200 | <gensyst> | ncf, fyi if I replace buildPhase with postInstall (which is not what I want), it at least compiles |
| 2023-04-02 18:39:13 +0200 | <gensyst> | so i guess it shows we are on the right track, so to speak |
| 2023-04-02 18:40:41 +0200 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) |
| 2023-04-02 18:43:04 +0200 | <ncf> | indeed, the arguments to https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/haskell-modules/generic-builder.nix don't let you override the entire build phase |
| 2023-04-02 18:43:17 +0200 | <ncf> | if you still want to do that (why?), use .overrideAttrs |
| 2023-04-02 18:45:05 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2023-04-02 18:45:29 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 18:47:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 18:50:10 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-04-02 18:50:47 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 260 seconds) |
| 2023-04-02 18:52:43 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-02 18:57:00 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2023-04-02 18:57:35 +0200 | <jumper149> | I am currently using brick to build a TUI, but just noticed that reflex-vty exists. Does anyone know whether one library is better than the other in any way? |
| 2023-04-02 18:59:05 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 265 seconds) |
| 2023-04-02 18:59:48 +0200 | <Cale> | As one of the authors of reflex-vty, I'd also be curious if you find one works out better for you than the other. reflex-vty is based on the same vty library as brick, but provides a functional reactive programming (FRP) interface to it. |
| 2023-04-02 19:00:38 +0200 | <sm> | I assume brick provides more widgets and is easier to learn |
| 2023-04-02 19:00:55 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-04-02 19:01:11 +0200 | sm | imagines brick-reflex |
| 2023-04-02 19:02:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 19:02:07 +0200 | <Cale> | The only reason we're not based on top of brick is that at the time that we were starting reflex-vty at least, brick's author didn't want to expose a bunch of internals that we'd have needed. :P |
| 2023-04-02 19:04:34 +0200 | <Cale> | I haven't looked at it much since then, and it looks a fair bit different from how I remember, so I'm not sure if writing a binding would go completely differently now. |
| 2023-04-02 19:10:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 2023-04-02 19:14:26 +0200 | ubert | (~Thunderbi@p548c88d5.dip0.t-ipconnect.de) (Quit: ubert) |
| 2023-04-02 19:16:07 +0200 | <jumper149> | Well overall I feel like brick is quite pragmatic. It uses the Elm approach (Model,View,Update), which is fine with me. |
| 2023-04-02 19:16:25 +0200 | <jumper149> | But I feel like the abstractions could still be improved quite a bit. |
| 2023-04-02 19:16:36 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-04-02 19:18:40 +0200 | <jumper149> | For example the `EventM` monad (to update the state) uses `MonadState` to access the application state. This is pragmatic, because you can now use mircrolens-mtl functions, but it doesn't play so good when combined with a custom monad stack for example. |
| 2023-04-02 19:19:43 +0200 | <jumper149> | Maybe FRP makes life a little better, idk. |
| 2023-04-02 19:21:48 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 255 seconds) |
| 2023-04-02 19:22:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 19:23:23 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 248 seconds) |
| 2023-04-02 19:23:31 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-04-02 19:24:26 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-02 19:30:12 +0200 | <sm> | define "better" :) |
| 2023-04-02 19:35:21 +0200 | <gensyst> | ncf, thanks for asking "why?". it pushed me to do what i originally wanted and for that preCheck should be fine. |
| 2023-04-02 19:35:42 +0200 | <gensyst> | The real issue is "cabal build" not working when called from within a test suite (using turtle scripting) |
| 2023-04-02 19:36:26 +0200 | <gensyst> | something about /homeless-shelter and even if I with preCheck set HOME=$(pwd) or HOME=$TMP some other errors about GHC env variables |
| 2023-04-02 19:36:49 +0200 | <gensyst> | By what mechanism could cabal build work fine in the build phase, and even in nix develop shell, but not when call from within a test suite? |
| 2023-04-02 19:36:59 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-02 19:37:07 +0200 | <gensyst> | (it's an integration test that builds the project itself and then runs it) |
| 2023-04-02 19:38:05 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-02 19:39:36 +0200 | mikess | (~sam@user/mikess) |
| 2023-04-02 19:39:46 +0200 | <ncf> | i only know the builder does its own plumbing (rather than just calling cabal), but i don't know exactly how it works |
| 2023-04-02 19:39:55 +0200 | <ncf> | i'd suggest asking the Nix Haskell room on matrix |
| 2023-04-02 19:40:19 +0200 | <ncf> | https://matrix.to/#/#haskell:nixos.org |
| 2023-04-02 19:40:29 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2023-04-02 19:42:00 +0200 | <gensyst> | what matrix clients are best for linux (debian) |
| 2023-04-02 19:42:46 +0200 | <mauke> | if you find a good one, let me know |
| 2023-04-02 19:43:17 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 2023-04-02 19:44:56 +0200 | <gensyst> | mauke, which have you tried? just checked and from the ones on Debian, nheko seems the most maintained/popular on GitHub |
| 2023-04-02 19:47:14 +0200 | <mauke> | element, nheko, fluffychat |
| 2023-04-02 19:48:39 +0200 | <mauke> | nheko's UI suffers from being a bunch of pre-fab components slapped together |
| 2023-04-02 19:49:10 +0200 | <mauke> | there's no coherent design or look-and-feel; it's all just what Qt happens to offer in widget X |
| 2023-04-02 19:49:33 +0200 | <gensyst> | ah ok. imo i gave up on "pretty" when i moved to linux. for linux, functionality matters to me now. pretty is for walled-garden, closed-source apple users |
| 2023-04-02 19:49:45 +0200 | <mauke> | which is why e.g. scrolling in the preferences pane works completely differently from the main chat area |
| 2023-04-02 19:50:07 +0200 | <mauke> | it's also great if you like HTML injection bugs in native C++ applications :-) |
| 2023-04-02 19:52:42 +0200 | <sm> | ouch |
| 2023-04-02 19:55:51 +0200 | <witcher> | gensyst: i'm on the lookout as well, currently, but am really struggling to find something |
| 2023-04-02 19:56:05 +0200 | <witcher> | i've settled for a weechat plugin for the time being. not ideal |
| 2023-04-02 19:56:46 +0200 | <sm> | Element is free software, isn't it ? |
| 2023-04-02 19:56:55 +0200 | <witcher> | it is |
| 2023-04-02 19:58:56 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2023-04-02 20:01:36 +0200 | winny | (~weechat@user/winny) (Quit: rebooting because alpine nukes old kernels. Sad) |
| 2023-04-02 20:02:21 +0200 | winny | (~weechat@user/winny) |
| 2023-04-02 20:02:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 20:02:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 20:03:25 +0200 | ddellaco1 | (~ddellacos@146.70.165.10) (Ping timeout: 250 seconds) |
| 2023-04-02 20:10:11 +0200 | gensyst | (~gensyst@user/gensyst) (Quit: Leaving) |
| 2023-04-02 20:14:57 +0200 | fercoder | (~fercoder@dynamic-190-27-72-230.dynamic.etb.net.co) |
| 2023-04-02 20:23:37 +0200 | Guest|27 | (~Guest|27@168.194.233.219) |
| 2023-04-02 20:30:08 +0200 | <Guest|27> | Hi. I wanted to ask if there was a problem with installing GHCup in admin mode because every time I try to install it closes the shell before doing any thing except if i use admin mode. |
| 2023-04-02 20:32:35 +0200 | <mauke> | what do you mean by "close the shell"? |
| 2023-04-02 20:33:07 +0200 | <mauke> | actually, what OS are you on and how are you trying to install it? |
| 2023-04-02 20:34:17 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 2023-04-02 20:35:41 +0200 | Guest|2731 | (~Guest|27@168.194.233.219) |
| 2023-04-02 20:36:51 +0200 | <yushyin> | most likely windows |
| 2023-04-02 20:37:10 +0200 | <Guest|2731> | (I'm sorry i lost mi connection for a moment)I'm on windows 8.1 and by "close the shell" I mean that the power shell sends 3 herror messages and then it closes |
| 2023-04-02 20:38:08 +0200 | Guest|27 | (~Guest|27@168.194.233.219) (Ping timeout: 260 seconds) |
| 2023-04-02 20:38:57 +0200 | <mauke> | what command are you using for installation? |
| 2023-04-02 20:39:55 +0200 | <Guest|2731> | This is the one given in the official page |
| 2023-04-02 20:39:56 +0200 | <Guest|2731> | "Set-ExecutionPolicy Bypass -Scope Process -Force;[System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityProtocol -bor 3072; try { Invoke-Command -ScriptBlock ([ScriptBlock]::Create((Invoke-WebRequest https://www.haskell.org/ghcup/sh/bootstrap-haskell.ps1 -UseBasicParsing))) -ArgumentList $true } catch { |
| 2023-04-02 20:39:56 +0200 | <Guest|2731> | Write-Error $_ }" |
| 2023-04-02 20:40:45 +0200 | <Guest|2731> | I already tried turning off mi antivirus but it didn't work so i was asking if there was really a problem with installing it in admin mode because that's the only time it didn't send mi error messages |
| 2023-04-02 20:42:52 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-02 20:45:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 20:46:30 +0200 | kenran | (~user@user/kenran) |
| 2023-04-02 20:51:53 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-02 20:56:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 20:57:05 +0200 | mechap | (~mechap@user/mechap) |
| 2023-04-02 20:57:41 +0200 | pyook | (~pyook@user/puke) |
| 2023-04-02 21:00:11 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 2023-04-02 21:01:01 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-02 21:07:05 +0200 | Guest|2731 | (~Guest|27@168.194.233.219) (Ping timeout: 268 seconds) |
| 2023-04-02 21:08:39 +0200 | Guest|27 | (~Guest|27@168.194.233.219) |
| 2023-04-02 21:08:47 +0200 | Guest|27 | (~Guest|27@168.194.233.219) (Client Quit) |
| 2023-04-02 21:12:10 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-02 21:16:13 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-02 21:17:20 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2023-04-02 21:31:20 +0200 | fercoder | (~fercoder@dynamic-190-27-72-230.dynamic.etb.net.co) (Quit: Client closed) |
| 2023-04-02 21:32:52 +0200 | NiceBird | (~NiceBird@185.133.111.196) (Ping timeout: 252 seconds) |
| 2023-04-02 21:35:23 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-04-02 21:36:25 +0200 | sagax | (~sagax_nb@user/sagax) |
| 2023-04-02 21:37:22 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-04-02 21:42:16 +0200 | zer0bitz_ | (~zer0bitz@2001:2003:f443:d600:9c68:6672:1252:446) |
| 2023-04-02 21:42:23 +0200 | acidjnk | (~acidjnk@p54ad56b7.dip0.t-ipconnect.de) |
| 2023-04-02 21:44:32 +0200 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:b94a:fdf5:9dc3:ac65) (Ping timeout: 248 seconds) |
| 2023-04-02 21:44:38 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-178-123.46.114.pool.telefonica.de) |
| 2023-04-02 21:51:04 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-04-02 21:52:30 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-04-02 21:52:30 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-04-02 21:52:30 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-02 21:55:40 +0200 | <heraldo> | This Steven Diehl document, the one, WIWIK I think |
| 2023-04-02 21:56:04 +0200 | <heraldo> | Is anyone in here familiar with it |
| 2023-04-02 21:56:41 +0200 | <heraldo> | I think I might have made a mess of the acryonym. It is the What I wish I knew document |
| 2023-04-02 21:56:58 +0200 | <heraldo> | Wow I made typos all of the place |
| 2023-04-02 21:57:11 +0200 | biberu | (~biberu@user/biberu) |
| 2023-04-02 21:57:47 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Ping timeout: 264 seconds) |
| 2023-04-02 21:58:00 +0200 | <heraldo> | Thanks |
| 2023-04-02 21:59:48 +0200 | heraldo | (~heraldo@user/heraldo) () |
| 2023-04-02 22:00:30 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-02 22:01:28 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-04-02 22:02:13 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-02 22:04:08 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-04-02 22:05:44 +0200 | root | (~root@072-238-128-073.res.spectrum.com) |
| 2023-04-02 22:05:59 +0200 | root | (~root@072-238-128-073.res.spectrum.com) (Client Quit) |
| 2023-04-02 22:06:04 +0200 | Sciencentistguy1 | (~sciencent@hacksoc/ordinary-member) |
| 2023-04-02 22:06:08 +0200 | talismanick | (~talismani@76.133.152.122) (Ping timeout: 265 seconds) |
| 2023-04-02 22:07:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Remote host closed the connection) |
| 2023-04-02 22:08:45 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 255 seconds) |
| 2023-04-02 22:08:46 +0200 | Sciencentistguy1 | Sciencentistguy |
| 2023-04-02 22:10:03 +0200 | kachmar | (~kachmar@pppoe.178-66-156-162.dynamic.avangarddsl.ru) |
| 2023-04-02 22:13:16 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-04-02 22:16:50 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2023-04-02 22:17:03 +0200 | caubert | (~caubert@user/caubert) |
| 2023-04-02 22:19:51 +0200 | Everything | (~Everythin@46.185.124.65) (Quit: leaving) |
| 2023-04-02 22:27:11 +0200 | sagax | (~sagax_nb@user/sagax) (Remote host closed the connection) |
| 2023-04-02 22:30:47 +0200 | cawfee | (~root@2406:3003:2077:2758::babe) (Ping timeout: 264 seconds) |
| 2023-04-02 22:31:33 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-02 22:35:37 +0200 | talismanick | (~talismani@76.133.152.122) |
| 2023-04-02 22:37:13 +0200 | cawfee | (~root@2406:3003:2077:2758::babe) |
| 2023-04-02 22:40:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 2023-04-02 22:48:05 +0200 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-04-02 22:50:01 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 2023-04-02 22:50:04 +0200 | talismanick | (~talismani@76.133.152.122) (Ping timeout: 268 seconds) |
| 2023-04-02 22:50:08 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-04-02 23:02:13 +0200 | jesser[m]1 | (~jesserjes@2001:470:69fc:105::3:3cd5) |
| 2023-04-02 23:07:41 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-02 23:07:41 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-02 23:07:41 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-02 23:10:38 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-04-02 23:11:52 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
| 2023-04-02 23:18:02 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-04-02 23:34:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-02 23:34:47 +0200 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2023-04-02 23:38:19 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-02 23:50:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Remote host closed the connection) |
| 2023-04-02 23:50:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 2023-04-02 23:51:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-02 23:54:04 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-04-02 23:56:10 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |