Logs on 2025-01-26 (liberachat/#haskell)
| 00:00:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 00:00:41 | <fp1> | Sorry, what are you suggesting? Maybe I'm just not following |
| 00:01:10 | <c_wraith> | I'm suggesting that instead of looking ahead, just parsing what you are looking for. |
| 00:01:22 | → | hueso joins (~root@user/hueso) |
| 00:01:49 | <c_wraith> | Unfortunately, megaparsec makes that a bit painful as you need to understand how to use try |
| 00:02:10 | <c_wraith> | megaparsec is a kind of advanced library |
| 00:04:05 | → | alfiee joins (~alfiee@user/alfiee) |
| 00:04:35 | <haskellbridge> | <sm> what's wrong with https://paste.tomsmeding.com/b45DGFRM (generated code) |
| 00:08:39 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 00:09:35 | → | tabaqui joins (~root@167.71.80.236) |
| 00:09:57 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 00:10:51 | → | haritzondo joins (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 00:10:56 | × | haritz quits (~hrtz@user/haritz) (Read error: Connection reset by peer) |
| 00:11:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:12:04 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 00:12:58 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 00:14:51 | <fp1> | So the problem is that it fails to reject invalid input. `#\aa` should fail because "aa" isn't a named character and it's not a single character terminated by a delimiter. Same for `#\spaceq`. |
| 00:15:12 | <fp1> | and indeed in that sample, it succeeds on #\aa |
| 00:15:24 | <c_wraith> | so add an eof |
| 00:15:47 | <c_wraith> | *that* isn't composable, so you typically don't do it inside a normal parser |
| 00:15:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:16:04 | <fp1> | but it might not be the end of the file, it might be in the middle of an expression |
| 00:16:20 | <c_wraith> | which is why you add the eof to the runner, not the parser |
| 00:16:40 | <c_wraith> | the thing is that parse succeeds if there's unconsumed input |
| 00:17:18 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 00:17:28 | <monochrom> | Yes, at the outermost parser, you need a final eof check. |
| 00:17:30 | <c_wraith> | If you want to ensure all input is consumed, change that to parse (schemeCharLiteral <* eof) "" |
| 00:18:06 | <monochrom> | In fact, not at what you consider the outermost parser, but rather add one more new level above. |
| 00:18:31 | <c_wraith> | honestly, I'm surprised there isn't a parseAll or something |
| 00:18:41 | × | tabaqui quits (~root@167.71.80.236) (Quit: WeeChat 4.4.3) |
| 00:19:17 | → | tabaqui joins (~root@167.71.80.236) |
| 00:19:28 | <c_wraith> | It's weird that parse doesn't flag unconsumed input in its success case at all. Very un-haskell to not return critical information like that. |
| 00:20:00 | <fp1> | Wouldn't that still admit an incorrect input if it's not adjacent to the EOF? As far as I can tell, that would just give #\aa -> [Character 'a', Identifier "a"] |
| 00:20:13 | <c_wraith> | Nothing is looping the parser |
| 00:20:18 | <monochrom> | Perhaps in anticipation that different people have different requirements of valid beginnings and valid endings. |
| 00:21:25 | <monochrom> | If you then say provide a combinator that let people supply their begin parser and end parser, then it already exists, it's called between. |
| 00:21:42 | <monochrom> | generalizedParseAll = between |
| 00:23:30 | <haskellbridge> | <sm> @fp1 what would you like to happen if it sees #\ followed by something invalid - terminate the whole parse with an error ? |
| 00:23:40 | <fp1> | Yes |
| 00:23:55 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 00:24:21 | → | tabaqui joins (~root@167.71.80.236) |
| 00:24:26 | <c_wraith> | Oh. I found the bug in the OrdPSQ stuff. Someone tried to optimize the code from the paper, and the optimization was wrong. |
| 00:24:59 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 00:25:11 | <c_wraith> | Changing back to the code in the paper makes it balance monotonic inserts correctly. |
| 00:25:41 | <monochrom> | I do that once in a while too. Both programs and math proofs. "I think I have a simpler way to prove this... [15 minutes later] oh wait I'm moron" |
| 00:26:07 | <haskellbridge> | <sm> I think you add a final catchall case, and there you can: 1. just call error if ending the program is fine, or 2. throw an exception, which you'll catch by running the parser with runExceptT |
| 00:26:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:27:42 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 00:27:44 | → | tabaqui joins (~root@167.71.80.236) |
| 00:29:56 | → | aaronv joins (~aaronv@user/aaronv) |
| 00:30:19 | <fp1> | Maybe I misunderstood what you meant by terminate the whole parse with an error, because that sounds quite heavy (though maybe I'm wrong). The error here is just a regular invalid token error, akin to a binary literal 0b11002. My assumption is that the correct thing to do in this case is to return Left { ... } as Megaparsec typically does |
| 00:30:43 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 00:30:53 | → | tabaqui joins (~root@167.71.80.236) |
| 00:31:13 | <geekosaur> | that is "terminate the whole parse with an error" |
| 00:31:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 00:32:02 | <fp1> | Ok, that's good then, I've learned something |
| 00:33:22 | <haskellbridge> | <sm> well there's degrees of termination. If you just fail the current micro parser, megaparsec is free to keep trying alternatives in the levels above. If you want megaparsec to give up entirely so your program can report an error.. megaparsec doesn't make this super easy; you have to combine it with the Except monad |
| 00:33:27 | <geekosaur> | well, actually it's not quite that: things like <|> can "intercept" it and try something else instead, but if the Left isn't handled by a higher level parser, the parse terminates |
| 00:35:44 | <monochrom> | Most "errors" are supposed to be interceptible and the callers are supposed to be allowed to try alternatives. |
| 00:36:13 | × | tabaqui quits (~root@167.71.80.236) (Quit: WeeChat 4.4.3) |
| 00:36:14 | <monochrom> | The notion of "I must crash the whole system here and now, and it is non-maskable" is so last century. |
| 00:36:23 | → | tabaqui joins (~root@167.71.80.236) |
| 00:37:04 | <monochrom> | The last time I heard someone wanting that was in the 1990s on a BBS (remember that?) someone asked "how can my program force a system reboot? I'm trying to prank my friend" |
| 00:37:34 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 00:37:55 | → | tabaqui joins (~root@167.71.80.236) |
| 00:41:44 | <haskellbridge> | <sm> sometimes you want to keep trying, othertimes when you see obvious malformed input you want to force an error. |
| 00:41:57 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 248 seconds) |
| 00:42:22 | <haskellbridge> | <sm> (failing to do so will likely produce misleading wrong errors) |
| 00:42:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:42:59 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 00:44:00 | <monochrom> | That just means the grammar and the parser just needs to refrain from intercepting the error and trying alternatives. |
| 00:44:47 | <monochrom> | And that's good news, because you get a correct program by writing less code! |
| 00:45:48 | <monochrom> | Or even better, you can fix bugs by deleting code! |
| 00:47:18 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 00:49:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:50:10 | × | fp1 quits (~Thunderbi@87-94-148-3.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 00:50:30 | <haskellbridge> | <sm> some formats aren't that easy to describe I think |
| 00:51:45 | <haskellbridge> | <sm> you really can't practically have a single comprehensive tree of alternatives that handle every possible situation optimally |
| 00:52:45 | <haskellbridge> | <sm> I mean conceptually it's there, but practically it can't be build reliably and economically |
| 00:53:50 | → | alfiee joins (~alfiee@user/alfiee) |
| 00:58:24 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 00:58:39 | <yin> | i think something strange is going on. when adding no version constraints to a dependency, cabal assumes the most recent version it can find, right? |
| 00:58:52 | <haskellbridge> | <sm> not always |
| 00:59:00 | <c_wraith> | it assumes the most recent it can solve with the other dependencies |
| 00:59:19 | <haskellbridge> | <sm> the only way to know for sure is inspect the plan with --dry-run |
| 01:00:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:01:19 | <sclv> | it may be there’s a solution with pkg a older or one with pkg b older. in that case the solver is deterministic about which is picked but in a way which seems potentially arbitrary to the end user as well |
| 01:03:49 | <yin> | hmm... i've been building this project with an unrestrained dependency for weeks and now seemingly out of the blue it tries to use version 1.0.0.0 |
| 01:03:52 | <yin> | https://paste.jrvieira.com/1737853333495 |
| 01:03:59 | <yin> | it's ansi-terminal-game |
| 01:04:16 | <c_wraith> | did you do a cabal update? |
| 01:04:29 | <yin> | i think i did recently, yes |
| 01:04:56 | <c_wraith> | additional information can make it choose differently |
| 01:05:21 | <yin> | i find no reason why it would choose 1.0.0.0 of this specific library |
| 01:05:24 | <yin> | but i get it |
| 01:05:25 | <haskellbridge> | <sm> that's the nature of using a dynamic solver, if you want repeatability you have to pin it down |
| 01:05:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:05:34 | <yin> | always constrain your dependencies |
| 01:05:45 | <haskellbridge> | <sm> usually we don't notice because things seem stable |
| 01:06:29 | × | aaronv quits (~aaronv@user/aaronv) (Quit: Leaving) |
| 01:06:47 | <yin> | can anyone point me to the docs on cabal freeze? |
| 01:07:19 | <haskellbridge> | <sm> https://cabal.readthedocs.io/en/stable/cabal-commands.html#cabal-freeze |
| 01:08:50 | <yin> | ty |
| 01:09:41 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 01:11:46 | <geekosaur> | often things like that happen because an added constraint to another dependency excludes newer versions of the other for some reason. I have in particular seen this happen because of a wrong/overly restrictive constraint on the other library which causes the solver to look for a version without the constraint |
| 01:12:53 | <geekosaur> | you need to carefully inspect the solver output to catch this kind of thing, possibly running with a manual `--constraint=` excluding the older versions so the solver will give you a reason why it won't use the newer ones |
| 01:14:21 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 01:14:40 | <geekosaur> | in particular, it looks like 0.1.0.0 simply omits constraints for everything except base, which is pretty suspicious |
| 01:15:27 | <geekosaur> | so trying to build with --constraint='ansi-terminal-game > 1' should get the solver to tell you what's wrong, hopefully |
| 01:15:27 | × | tabaqui quits (~root@167.71.80.236) (Quit: WeeChat 4.4.3) |
| 01:15:44 | → | tabaqui joins (~root@167.71.80.236) |
| 01:16:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:16:41 | <haskellbridge> | <sm> yeah. The solver isn't always good at explaining to a human what happened, you have to coax it (this applies to stack too, even though the plans there are more static) |
| 01:16:45 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 01:17:16 | → | tabaqui joins (~root@167.71.80.236) |
| 01:17:20 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 01:17:21 | <geekosaur> | in this case it won't say anything at all, it'll just pick the unconstrained version. it should output an actual error with the --constraint, so you have something to work from |
| 01:17:34 | → | tabaqui joins (~root@167.71.80.236) |
| 01:17:51 | <geekosaur> | otherwise you need to run cabal with -v3 or somesuch to find out why the solver rejected every other version, since it eventually found a working plan |
| 01:17:54 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 01:17:59 | <geekosaur> | well, "working" |
| 01:18:37 | <yin> | seems like the culprit was random-1.3.0 |
| 01:18:58 | <sclv> | yeah often when you get a totally old version of a pkg its because their first version had no constraints lol. this is one reason revisions are important! |
| 01:20:29 | <haskellbridge> | <sm> idea for a safety belt: warn and fail by default if any package version more than 1y older than its latest release is selected |
| 01:22:11 | → | tabaqui joins (~root@167.71.80.236) |
| 01:22:15 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 01:23:21 | <yin> | ouch. there's our unconstrained depenedncies https://hackage.haskell.org/package/ansi-terminal-game-0.1.0.0 |
| 01:23:47 | <geekosaur> | only base, which hackage checks for |
| 01:23:50 | → | tabaqui joins (~root@167.71.80.236) |
| 01:24:14 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 01:24:29 | <geekosaur> | first thing I noticed when I pulled it up to try to see why it would have been picked |
| 01:24:44 | <geekosaur> | "yeh, that'd do it" |
| 01:25:00 | × | otto_s quits (~user@p5de2f342.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 01:25:00 | <yin> | geekosaur: oh i messed that. yeah, thanks for the heads up |
| 01:25:21 | <yin> | is there something the maintainer can do about it? |
| 01:25:26 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 01:25:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:25:56 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 01:26:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:26:04 | <geekosaur> | they can do a metadata update to add revision information |
| 01:26:31 | → | tabaqui joins (~root@167.71.80.236) |
| 01:26:32 | <geekosaur> | https://hackage.haskell.org/package/ansi-terminal-game/maintain ("edit package information" on the Hackage page) |
| 01:26:37 | <haskellbridge> | <sm> yes, they can add bounds via a revision. It's f-a in #haskell-game. But should they ? |
| 01:26:40 | → | otto_s joins (~user@p5de2f856.dip0.t-ipconnect.de) |
| 01:26:53 | <geekosaur> | I'd say yes, as this is just a bit of a trap |
| 01:27:10 | <haskellbridge> | <sm> is a-t-g failing to compile with its deps ? |
| 01:27:13 | <geekosaur> | doesn't matter how fancy a constraint solver is, bad constraints will mess it up |
| 01:27:30 | × | igemnace quits (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 01:27:40 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 01:28:31 | <haskellbridge> | <sm> the bounds are very minimal, but they're not wrong, from what I read |
| 01:28:36 | <geekosaur> | more likely something else will fail to compile with the ancient a-t-g, which says it's a proof of concept |
| 01:29:34 | → | igemnace joins (~igemnace@user/igemnace) |
| 01:29:34 | <geekosaur> | I note 0.2.0.0 not only has constraints, it has more dependencies which suggests more functionality |
| 01:30:52 | × | Square quits (~Square@user/square) (Ping timeout: 272 seconds) |
| 01:31:06 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 01:31:06 | <haskellbridge> | <sm> taking that to the extreme, it means every version of every package on hackage should specify all bounds defensively (with corresponding massive increase in busywork and install failures), so that people can keep using a dynamic solver and treat it like a repeatable one |
| 01:31:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:32:00 | <geekosaur> | that's an old, old argument |
| 01:32:15 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 01:32:19 | <geekosaur> | some folks insist on minimal constraints, some on conservative, some on tight/maximal |
| 01:32:37 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:32:52 | <haskellbridge> | <sm> ok, but I think it's a true statement right ? is anyone advocating for that ? |
| 01:32:57 | <geekosaur> | each has failure modes, sometimes quite public (an early release of `text` caused a lot of breakage, for example) |
| 01:33:04 | <geekosaur> | some do |
| 01:33:13 | <geekosaur> | like I said, this argument's been going on for a long time |
| 01:33:44 | <haskellbridge> | <sm> I think it's more practical to use smarter tools |
| 01:33:50 | <c_wraith> | stackage is all about specifying exactly one version for each package |
| 01:33:58 | <c_wraith> | no ranges. nothing to solve. |
| 01:34:01 | <haskellbridge> | <sm> perfect total bounds on all of hackage is unachievable |
| 01:34:30 | <haskellbridge> | <sm> so tools shouldn't expect that. Some kind of hybrid approach at least is needed |
| 01:34:52 | <c_wraith> | There was a thing when stack was first introduced where people using it stopped putting version bounds on their libraries on hackage. That broke everything. |
| 01:34:58 | <c_wraith> | Fortunately, they got better. |
| 01:36:57 | <yin> | > geekosaur some folks insist on minimal constraints, some on conservative, some on tight/maximal |
| 01:36:58 | <lambdabot> | <hint>:1:51: error: parse error on input ‘,’ |
| 01:37:05 | <yin> | isn't that what semver is all about? |
| 01:37:22 | <yin> | (i know we don't use it, supposedly) |
| 01:37:32 | <c_wraith> | the pvp is just expanded semver. |
| 01:37:36 | × | otto_s quits (~user@p5de2f856.dip0.t-ipconnect.de) (Quit: leaving) |
| 01:37:37 | <geekosaur> | semver is about how you set your version, not how you specify what versions of dependencies you work with |
| 01:37:41 | <c_wraith> | They have the same issue |
| 01:37:52 | → | otto_s joins (~user@p5de2f856.dip0.t-ipconnect.de) |
| 01:38:07 | <c_wraith> | Which is.... yeah, that. How exhaustively are you going to test the range of your dependencies that you work with? |
| 01:38:23 | <geekosaur> | and yes, in the end you have the same issue: follow it strictly and spend all your time playing version whack-a-mole, or follow it loosely and break the world when the wrong dependency changes |
| 01:39:16 | <geekosaur> | and there often doesn't seem to be a happy middle: whatever strategy you choose, it has failure modes |
| 01:40:25 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 01:40:29 | <haskellbridge> | <sm> c_wraith: nothing to solve you say.. except when you ask it to put a foot outside of the snapshot (pretty common, eg with new ghc versions), then it has to do some solvin', with similar UX issues |
| 01:41:11 | <c_wraith> | well that's the reality of using stack, but that's not the marketing promise |
| 01:41:45 | <jackdk> | stackage is kinda self-justifying in that it encourages people to upload packages with no bounds at all, and only rely on snapshots. I think that's very damaging, not least to the solver that produces the snapshots in the first place |
| 01:41:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:42:00 | <haskellbridge> | <sm> there's no marketing saying otherwise. Obviously only packages within the snapshot benefit from the snapshot's compatibility guarantee |
| 01:42:16 | <haskellbridge> | <sm> yin: I'd be interested to see your project's cabal file(s) |
| 01:42:34 | → | alfiee joins (~alfiee@user/alfiee) |
| 01:42:50 | <haskellbridge> | <sm> jackdk: people don't do that much, because they get shouted at |
| 01:43:21 | <haskellbridge> | <sm> and if they do, it doesn't break everything - it breaks their package and things depending on it - so it's self correcting I'd say |
| 01:43:29 | <yin> | sm: https://paste.jrvieira.com/1737855804443 |
| 01:44:35 | <haskellbridge> | <sm> thanks. So looking at this practically, it seems to me your package is dramatically under specifying bounds, so you should expect it to fail to build right with cabal sometimes |
| 01:44:53 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 01:45:14 | <yin> | sm: i sometimes avoid bounds while developing :) |
| 01:45:33 | <haskellbridge> | <sm> absolutely fine, nothing wrong with that |
| 01:45:57 | <yin> | one benefit is that interesting stuff like this happens and i always learn a bit |
| 01:46:08 | <haskellbridge> | <sm> and now you know how to diagnose and solve the occasional glitch :) |
| 01:46:17 | <yin> | yes, tyvm |
| 01:46:54 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 01:46:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 01:47:14 | → | tabaqui joins (~root@167.71.80.236) |
| 01:48:44 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 01:49:00 | → | tabaqui joins (~root@167.71.80.236) |
| 01:49:05 | × | tabaqui quits (~root@167.71.80.236) (Remote host closed the connection) |
| 01:50:19 | → | tabaqui joins (~root@167.71.80.236) |
| 01:52:40 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 01:52:52 | × | tabaqui quits (~root@167.71.80.236) (Remote host closed the connection) |
| 01:56:34 | <haskellbridge> | <sm> stop me if I'm becoming a bore, but... |
| 01:56:34 | <haskellbridge> | we were talking earlier about cabal freeze. This might be an example of where that's too heavy handed. The lighter approach of just adding a few guiding constraints, on the deps likely to cause problems - in this case, simply >1 on ansi-terminal-game - was enough at least for now. The right approach depends on the needs of the project |
| 01:56:54 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 01:57:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:58:07 | <yin> | oh sure, i used cabal freeze as a lazy way to see which constraints were being solved :) |
| 01:58:41 | <yin> | i was editing my project's constraints and playing with freeze and gen-bounds |
| 01:58:58 | <haskellbridge> | <sm> cabal build --dry-run [--constraint ...] FTW |
| 02:00:31 | <yin> | i thought it was too much noise :x |
| 02:00:35 | <haskellbridge> | <sm> and sometimes an --allow-newer or so |
| 02:01:21 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 02:01:27 | <haskellbridge> | <sm> probably someone will train an LLM to be good at this |
| 02:02:22 | × | sprotte24 quits (~sprotte24@p200300d16f1a11001925fb087a37c132.dip0.t-ipconnect.de) (Quit: Leaving) |
| 02:02:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:04:25 | <yin> | (i mean too much noise with -v, too quiet wihout) |
| 02:04:42 | → | Pozyomka joins (~pyon@user/pyon) |
| 02:04:46 | <haskellbridge> | <sm> oh yea, that's frustrating. stack is the same |
| 02:05:28 | <yin> | cabal gen-bounds was just right |
| 02:09:00 | × | ft quits (~ft@p3e9bcfa2.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 02:10:43 | → | ft joins (~ft@p3e9bcd97.dip0.t-ipconnect.de) |
| 02:13:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:18:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 02:23:57 | × | acidjnk quits (~acidjnk@p200300d6e7283f82584cd550442beef5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 02:29:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:31:19 | → | alfiee joins (~alfiee@user/alfiee) |
| 02:34:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 02:34:40 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 02:35:19 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 02:38:29 | → | tabaqui joins (~root@167.71.80.236) |
| 02:38:31 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 02:39:16 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
| 02:43:06 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 02:45:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:50:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:00:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:02:05 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 03:05:02 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 03:05:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 03:05:33 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 03:09:20 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 03:09:36 | → | califax joins (~califax@user/califx) |
| 03:16:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:19:43 | → | alfiee joins (~alfiee@user/alfiee) |
| 03:21:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 03:22:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:24:01 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 03:26:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:30:37 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 03:32:28 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 03:37:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:44:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 03:51:52 | → | tabaqui joins (~root@167.71.80.236) |
| 03:56:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:00:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 04:01:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:03:02 | → | tabaqui1 joins (~root@87.200.129.102) |
| 04:03:18 | × | tabaqui quits (~root@167.71.80.236) (Quit: WeeChat 4.4.3) |
| 04:06:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 04:06:58 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 04:08:09 | → | alfiee joins (~alfiee@user/alfiee) |
| 04:10:14 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 04:11:25 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 04:12:34 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 04:14:15 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 04:17:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:22:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:22:32 | → | tabaqui joins (~root@167.71.80.236) |
| 04:22:34 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 04:24:45 | × | Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 04:30:07 | → | aforemny_ joins (~aforemny@2001:9e8:6ce1:cf00:b6f1:625c:54b4:a44b) |
| 04:31:15 | × | aforemny quits (~aforemny@2001:9e8:6cc1:a100:8787:3cb3:35e4:a6f8) (Ping timeout: 252 seconds) |
| 04:32:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:37:50 | → | aaronv joins (~aaronv@user/aaronv) |
| 04:37:55 | → | tabaqui joins (~root@167.71.80.236) |
| 04:38:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:41:43 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 04:48:04 | → | tabaqui joins (~root@167.71.80.236) |
| 04:49:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:52:54 | × | tabaqui1 quits (~root@87.200.129.102) (Ping timeout: 252 seconds) |
| 04:54:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 04:57:13 | → | alfiee joins (~alfiee@user/alfiee) |
| 04:59:33 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 05:00:15 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 05:01:27 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 05:01:51 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 05:04:38 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 05:05:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:09:33 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:10:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:10:54 | → | tabaqui1 joins (~root@87.200.129.102) |
| 05:12:48 | → | Guest2 joins (~Guest2@78.135.8.93) |
| 05:15:16 | × | tabaqui1 quits (~root@87.200.129.102) (Ping timeout: 252 seconds) |
| 05:19:31 | <Guest2> | #haskell-ghcup says try here as well, please let me know if this is off-topic ... |
| 05:19:32 | <Guest2> | ... following the instructions to install ghcup on linux with the given `curl` command. |
| 05:19:32 | <Guest2> | It seems there is a problem with versions *suggestion 3. also did not work) and that something is hard-coding `/home/xxx` instead of using `$HOME`. |
| 05:19:33 | <Guest2> | ``` |
| 05:19:33 | <Guest2> | [ Warn ] [GHCup-00110] ghc-9.4.8 is already installed; if you really want to reinstall it, you may want to run 'ghcup install ghc --force 9.4.8' |
| 05:19:34 | <Guest2> | [ Warn ] GHC-9.4.8 appears to have no corresponding HLS-2.0.0.1 binary. |
| 05:19:34 | <Guest2> | [ ... ] Haskell IDE support may not work. |
| 05:19:35 | <Guest2> | [ ... ] You can try to either: |
| 05:19:35 | <Guest2> | [ ... ] 1. Install a different HLS version (e.g. downgrade for older GHCs) |
| 05:19:36 | <Guest2> | [ ... ] 2. Install and set one of the following GHCs: [9.6.2, 9.4.5, 9.2.8, 9.2.7, 9.0.2, 8.10.7] |
| 05:19:36 | <Guest2> | [ ... ] 3. Let GHCup compile HLS for you, e.g. run: ghcup compile hls -g 2.0.0.1 --ghc 9.4.8 --cabal-update |
| 05:19:37 | <Guest2> | [ ... ] (see https://www.haskell.org/ghcup/guide/#hls for more information) |
| 05:19:37 | <Guest2> | [ Info ] GHC 9.4.8 successfully set as default version |
| 05:19:38 | <Guest2> | [ Warn ] [GHCup-00110] cabal-3.12.1.0 is already installed; if you really want to reinstall it, you may want to run 'ghcup install cabal --force 3.12.1.0' |
| 05:19:39 | <Guest2> | "cabal update --ignore-project" failed! |
| 05:19:39 | <Guest2> | ``` |
| 05:19:40 | <Guest2> | Is there, ideally, a simple, single line command I can run that will just do everything correctly (presumably something like the given curl command, but with some param for version and user home) rather than me absolutely naively trying to fix things piecemeal and inevitably spending hours making things worse before I even get as far as trying out |
| 05:19:40 | <Guest2> | the language in some editor or VSCode? |
| 05:20:15 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 05:21:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:21:06 | <haskellbridge> | <bdub> What happens when you run ghcup tui |
| 05:21:16 | <Guest2> | I'll try |
| 05:21:56 | <Guest2> | should i just go with defaults again? |
| 05:22:16 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 05:22:21 | <haskellbridge> | <bdub> yeah unless your trying to do something with a specific version |
| 05:22:38 | <Guest2> | no, anything that works will be fine |
| 05:23:13 | <haskellbridge> | <bdub> Your error shows ghc is already installed |
| 05:23:29 | <Guest2> | it must have been installed on the first try of the curl command |
| 05:23:36 | <haskellbridge> | <bdub> I think so |
| 05:24:05 | <Guest2> | but HLS fails, and the something seems to make assumptions about where the home directory is, which also fails |
| 05:25:03 | <haskellbridge> | <bdub> ahhh I see, I have seen that before but still never had issues working w/ Haskell |
| 05:25:07 | <Guest2> | the tui seems have have gone further. Is there an easy way to test the full installation? |
| 05:25:11 | <haskellbridge> | <bdub> Maybe someone else has advice |
| 05:25:46 | <haskellbridge> | <bdub> The tui helps you manage different versions |
| 05:25:48 | <Guest2> | this has already been helpful haskellbridge, thank you! |
| 05:25:51 | <haskellbridge> | <bdub> double green checkmarks = default |
| 05:25:58 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 05:26:00 | <haskellbridge> | <bdub> single green means installed but not set |
| 05:26:29 | <Guest2> | is there a quick way to test if the HLS was installed? |
| 05:27:02 | <haskellbridge> | <bdub> What does the tui show, what versions of HLS |
| 05:27:16 | <haskellbridge> | <bdub> https://kf8nh.com/_heisenbridge/media/matrix.org/PkyTiZODspDgyALmTyNRPPpk/l_0MiJlemVo/image.png |
| 05:27:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:32:16 | <Guest2> | does the tui update PATH, or shoudl I do that manually before starting up the editor/VSCode? |
| 05:35:27 | <haskellbridge> | <bdub> When you ran the installer it should have asked you a few questions, like append or prepend path etc |
| 05:35:56 | <Guest2> | yes, it did, but tui did not |
| 05:36:31 | <Guest2> | and I think the non-tui version broke before it got as far as editing .bashrc |
| 05:36:50 | <Guest2> | I am not even sure ,bashrc is the right place on fedora |
| 05:38:22 | <haskellbridge> | <bdub> I am unfamiliar w/ Fedora :( |
| 05:39:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:40:24 | × | dsrt^ quits (~dsrt@108.192.66.114) (Ping timeout: 272 seconds) |
| 05:43:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 05:44:03 | <Guest2> | I manually added to the PATH. And it seems to be getting further in VSCode but it is looking for stuff in `/home/...` and that is not where my user home is. |
| 05:44:03 | <Guest2> | ``` |
| 05:44:04 | <Guest2> | ghc --numeric-version |
| 05:44:04 | <Guest2> | .../.ghcup/bin/ghc: line 10: /home/xxx/.ghcup/ghc/9.4.8/lib/ghc-9.4.8/bin/./ghc-9.4.8: No such file or directory |
| 05:44:05 | <Guest2> | ``` |
| 05:44:51 | <Guest2> | seems the home directory is hard-coded somewhere, instead of using $HOME |
| 05:46:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:46:36 | → | alfiee joins (~alfiee@user/alfiee) |
| 05:48:33 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 05:50:27 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 252 seconds) |
| 05:50:36 | <Guest2> | yes... the ghc script has `/home/xxx` hard-coded everywhere. And the hls script ... probablyu ghcup created those scripts and hard-coded it everywhere |
| 05:50:50 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 05:50:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 05:52:54 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 06:01:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:02:48 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 06:03:18 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 06:03:25 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 06:04:46 | <haskellbridge> | <thirdofmay18081814goya> does anyone know of any repo written in koka? |
| 06:05:43 | tnt2 | is now known as tnt1 |
| 06:06:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 06:07:07 | <haskellbridge> | <bdub> Their page has libraries... |
| 06:07:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:09:11 | <haskellbridge> | <thirdofmay18081814goya> bdub: can't seem to find whether they're in haskell or in koka |
| 06:10:20 | <haskellbridge> | <thirdofmay18081814goya> ah their main repo has samples |
| 06:12:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 06:12:53 | <haskellbridge> | <thirdofmay18081814goya> ah. github mislabeled their libraries repo C code lol |
| 06:12:56 | JuanDaugherty | is now known as ColinRobinson |
| 06:23:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:27:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:35:20 | → | alfiee joins (~alfiee@user/alfiee) |
| 06:38:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:40:00 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 06:41:15 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 06:41:47 | × | alp quits (~alp@2001:861:8ca0:4940:eb00:e50a:c19c:d6cb) (Ping timeout: 252 seconds) |
| 06:43:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:45:23 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 06:54:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:55:56 | × | penteract quits (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) (Ping timeout: 244 seconds) |
| 06:59:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 07:05:16 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 252 seconds) |
| 07:09:08 | → | dsrt^ joins (~dsrt@108.192.66.114) |
| 07:09:58 | × | ColinRobinson quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 07:11:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:16:39 | <haskellbridge> | <Bowuigi> Hmmm I think I'm close to finding a solution to whether a type alias should be expanded or not in System F omega |
| 07:17:34 | <haskellbridge> | <Bowuigi> I want nice error messages without size blowups but I also want it to expand type synonyms to typecheck properly when it's sound to do so |
| 07:18:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 07:19:11 | <haskellbridge> | <Bowuigi> The keys seem to be glued evaluation (see: Kovacs elaboration-zoo and smalltt) and positivity (as in, the positive/negative position of a folded type application) |
| 07:22:10 | × | son0p quits (~ff@2800:e6:4001:6cc3:2e2c:4b4e:bc2a:6f17) (Ping timeout: 265 seconds) |
| 07:23:44 | → | alfiee joins (~alfiee@user/alfiee) |
| 07:26:21 | <haskellbridge> | <Bowuigi> Nvm positivity doesn't do anything here, I just have to play more with glued evaluation |
| 07:26:43 | × | euleritian quits (~euleritia@77.23.250.232) (Ping timeout: 244 seconds) |
| 07:27:04 | → | euleritian joins (~euleritia@dynamic-176-006-132-167.176.6.pool.telefonica.de) |
| 07:27:49 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 07:28:35 | × | xdminsy quits (~xdminsy@117.147.71.143) (Quit: Konversation terminated!) |
| 07:29:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:34:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 07:36:57 | × | euleritian quits (~euleritia@dynamic-176-006-132-167.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:37:15 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 07:42:00 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 07:42:09 | → | euleritian joins (~euleritia@dynamic-176-006-132-167.176.6.pool.telefonica.de) |
| 07:42:31 | × | euleritian quits (~euleritia@dynamic-176-006-132-167.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:42:49 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 07:45:53 | × | dsrt^ quits (~dsrt@108.192.66.114) (Ping timeout: 248 seconds) |
| 07:46:05 | → | dsrt^ joins (~dsrt@108.192.66.114) |
| 07:46:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:47:32 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 07:50:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 07:52:03 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 08:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:00:06 | × | tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 08:00:38 | → | caconym joins (~caconym@user/caconym) |
| 08:02:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:04:08 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 08:07:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 08:09:33 | → | alp joins (~alp@2001:861:8ca0:4940:2a6c:ac90:3bd4:68c5) |
| 08:12:48 | → | alfiee joins (~alfiee@user/alfiee) |
| 08:16:53 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 08:18:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:18:16 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 08:24:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 08:25:23 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 08:25:55 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 08:32:21 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 08:33:00 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 08:36:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:37:18 | × | tnt1 quits (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 08:41:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 08:46:40 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 08:48:01 | → | qeez joins (~qeez@2a00:1e88:1212:d400:b70f:1e29:cb76:d40d) |
| 08:51:12 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 08:51:48 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 08:51:53 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 08:51:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:52:17 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 08:53:15 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 08:53:57 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 08:56:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 08:57:40 | × | qeez quits (~qeez@2a00:1e88:1212:d400:b70f:1e29:cb76:d40d) (Quit: qeez) |
| 09:02:12 | → | alfiee joins (~alfiee@user/alfiee) |
| 09:06:34 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 09:07:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:12:12 | → | Xe_ joins (~Xe@perl/impostor/xe) |
| 09:12:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:12:52 | × | Xe quits (~Xe@perl/impostor/xe) (Ping timeout: 252 seconds) |
| 09:13:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:17:33 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
| 09:18:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:21:09 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 09:21:23 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:25:09 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:29:24 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 09:29:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:34:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:45:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:46:16 | → | CiaoSen joins (~Jura@2a05:5800:220:c200:ca4b:d6ff:fec1:99da) |
| 09:49:50 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 09:50:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:50:36 | → | alfiee joins (~alfiee@user/alfiee) |
| 09:50:51 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 09:52:27 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 09:54:04 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 09:54:21 | × | eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Ping timeout: 246 seconds) |
| 09:55:39 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 09:58:09 | × | mceresa quits (~mceresa@user/mceresa) (Ping timeout: 248 seconds) |
| 10:01:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:02:36 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 10:04:00 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 10:07:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 10:14:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:15:34 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:19:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:22:00 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 10:30:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:36:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:36:21 | × | dsrt^ quits (~dsrt@108.192.66.114) (Ping timeout: 246 seconds) |
| 10:39:20 | → | alfiee joins (~alfiee@user/alfiee) |
| 10:44:24 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 10:46:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:50:41 | × | sand-witch quits (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 10:51:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 10:52:19 | → | sand-witch joins (~m-mzmz6l@vmi833741.contaboserver.net) |
| 11:00:06 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 11:00:14 | → | qeez joins (~qeez@2a00:1e88:1212:d400:b70f:1e29:cb76:d40d) |
| 11:01:26 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:02:15 | → | Square joins (~Square@user/square) |
| 11:02:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:07:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 11:09:36 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 11:11:41 | → | acidjnk joins (~acidjnk@p200300d6e7283f06ad17d46c2ab7a589.dip0.t-ipconnect.de) |
| 11:12:44 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 11:15:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:21:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 11:27:43 | → | alfiee joins (~alfiee@user/alfiee) |
| 11:32:02 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 11:33:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:38:25 | × | CiaoSen quits (~Jura@2a05:5800:220:c200:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 11:38:40 | → | sprotte24 joins (~sprotte24@p200300d16f215000dd8de4b8036a1cf5.dip0.t-ipconnect.de) |
| 11:40:29 | × | Guest2 quits (~Guest2@78.135.8.93) (Quit: Client closed) |
| 11:40:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 11:41:02 | → | Guest2 joins (~Guest2@78.135.8.93) |
| 11:44:57 | → | __monty__ joins (~toonn@user/toonn) |
| 11:51:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:56:06 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 11:56:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 12:00:23 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 12:01:43 | → | rvalue- joins (~rvalue@user/rvalue) |
| 12:02:23 | × | mrmr155334346318 quits (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 12:02:38 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 12:04:50 | × | AlexZenon quits (~alzenon@178.34.161.66) (Ping timeout: 272 seconds) |
| 12:07:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:08:17 | rvalue- | is now known as rvalue |
| 12:12:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:13:05 | → | AlexZenon joins (~alzenon@178.34.161.66) |
| 12:13:57 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 12:16:09 | → | alfiee joins (~alfiee@user/alfiee) |
| 12:16:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:16:57 | × | qeez quits (~qeez@2a00:1e88:1212:d400:b70f:1e29:cb76:d40d) (Quit: qeez) |
| 12:20:24 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 12:23:33 | → | mrmr155334346318 joins (~mrmr@user/mrmr) |
| 12:24:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 12:35:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:40:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:46:00 | × | acidjnk quits (~acidjnk@p200300d6e7283f06ad17d46c2ab7a589.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 12:51:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:55:36 | × | sprotte24 quits (~sprotte24@p200300d16f215000dd8de4b8036a1cf5.dip0.t-ipconnect.de) (Quit: Leaving) |
| 12:55:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:57:48 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 12:58:22 | × | Square quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 13:01:56 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 13:02:35 | → | CiaoSen joins (~Jura@2a05:5800:220:c200:ca4b:d6ff:fec1:99da) |
| 13:02:52 | → | dsrt^ joins (~dsrt@108.192.66.114) |
| 13:04:34 | → | alfiee joins (~alfiee@user/alfiee) |
| 13:06:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:08:16 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 13:08:45 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 13:11:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 13:17:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:22:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 13:28:11 | → | notzmv joins (~umar@user/notzmv) |
| 13:35:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:36:12 | → | michalz joins (~michalz@185.246.207.201) |
| 13:39:04 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 13:39:10 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 13:40:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 13:40:43 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 13:42:29 | → | euleritian joins (~euleritia@dynamic-176-006-129-018.176.6.pool.telefonica.de) |
| 13:43:36 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 13:51:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:52:58 | → | alfiee joins (~alfiee@user/alfiee) |
| 13:53:41 | × | euleritian quits (~euleritia@dynamic-176-006-129-018.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 13:54:03 | → | euleritian joins (~euleritia@77.23.250.232) |
| 13:55:47 | → | sprotte24 joins (~sprotte24@p200300d16f215000dd8de4b8036a1cf5.dip0.t-ipconnect.de) |
| 13:57:05 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 13:57:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 13:58:52 | × | euleritian quits (~euleritia@77.23.250.232) (Read error: Connection reset by peer) |
| 13:59:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:59:36 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 14:01:41 | → | homo joins (~homo@user/homo) |
| 14:04:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 14:05:24 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 14:06:21 | → | Jackneill joins (~Jackneill@217-197-185-114.pool.digikabel.hu) |
| 14:06:55 | × | alp quits (~alp@2001:861:8ca0:4940:2a6c:ac90:3bd4:68c5) (Ping timeout: 252 seconds) |
| 14:07:43 | × | Jackneill quits (~Jackneill@217-197-185-114.pool.digikabel.hu) (Remote host closed the connection) |
| 14:12:53 | × | homo quits (~homo@user/homo) (Read error: Connection reset by peer) |
| 14:13:04 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 14:14:22 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 244 seconds) |
| 14:14:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:19:33 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 14:25:41 | → | monochrm joins (trebla@216.138.220.146) |
| 14:26:09 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 14:27:17 | × | monochrom quits (trebla@216.138.220.146) (Ping timeout: 244 seconds) |
| 14:27:17 | monochrm | is now known as monochrom |
| 14:27:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 14:30:17 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 14:32:30 | JuanDaugherty | is now known as ColinRobinson |
| 14:39:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:39:32 | → | homo joins (~homo@user/homo) |
| 14:40:43 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 14:41:44 | → | alfiee joins (~alfiee@user/alfiee) |
| 14:44:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 14:45:53 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 14:54:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:57:57 | × | CiaoSen quits (~Jura@2a05:5800:220:c200:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 14:59:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:04:49 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 15:05:57 | × | dsrt^ quits (~dsrt@108.192.66.114) (Ping timeout: 248 seconds) |
| 15:06:16 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 15:08:37 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds) |
| 15:10:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:16:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 15:18:04 | <hellwolf> | is there any profound reason behind the differences between tupleT and tupE |
| 15:18:10 | <hellwolf> | TH |
| 15:18:31 | → | acidjnk joins (~acidjnk@p200300d6e7283f062d978ac70c369d72.dip0.t-ipconnect.de) |
| 15:19:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:20:12 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 15:22:07 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 15:23:01 | <Leary> | hellwolf: I don't know about "profound", but I imagine it's related to TupleSections. |
| 15:24:03 | <hellwolf> | hmm, okay; sounds plausible |
| 15:24:07 | <hellwolf> | tupP too |
| 15:24:24 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 15:25:57 | → | fp joins (~Thunderbi@87-94-148-3.rev.dnainternet.fi) |
| 15:29:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:29:06 | × | ColinRobinson quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 15:30:48 | → | alfiee joins (~alfiee@user/alfiee) |
| 15:30:54 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 15:35:17 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 15:35:19 | → | euleritian joins (~euleritia@dynamic-176-003-039-232.176.3.pool.telefonica.de) |
| 15:35:49 | → | Square joins (~Square@user/square) |
| 15:36:35 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 15:38:46 | → | rynite joins (~bwkam@user/rynite) |
| 15:40:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:45:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 15:45:30 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:45:53 | × | rynite quits (~bwkam@user/rynite) (Quit: WeeChat 4.4.1) |
| 15:49:36 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 15:51:21 | → | rynite joins (~bwkam@user/rynite) |
| 15:56:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:01:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:02:36 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 16:06:03 | → | dsrt^ joins (~dsrt@108.192.66.114) |
| 16:12:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:13:26 | × | fp quits (~Thunderbi@87-94-148-3.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 16:17:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 16:19:31 | → | alfiee joins (~alfiee@user/alfiee) |
| 16:20:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:21:53 | × | Guest2 quits (~Guest2@78.135.8.93) (Quit: Client closed) |
| 16:23:42 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 16:25:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 16:29:34 | × | hellwolf quits (~user@6d8d-4b75-5649-c595-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds) |
| 16:31:47 | → | fp joins (~Thunderbi@87-94-148-3.rev.dnainternet.fi) |
| 16:32:12 | → | hellwolf joins (~user@6089-cf2c-df57-f396-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 16:36:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:41:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 16:46:16 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:47:16 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 16:49:45 | × | notzmv quits (~umar@user/notzmv) (Remote host closed the connection) |
| 16:52:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:54:39 | → | alp joins (~alp@2001:861:8ca0:4940:5d66:66fe:3070:deea) |
| 16:57:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:00:43 | × | acidjnk quits (~acidjnk@p200300d6e7283f062d978ac70c369d72.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 17:02:14 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 17:02:35 | → | aaronv joins (~aaronv@user/aaronv) |
| 17:05:52 | × | dsrt^ quits (~dsrt@108.192.66.114) (Ping timeout: 252 seconds) |
| 17:07:31 | × | euleritian quits (~euleritia@dynamic-176-003-039-232.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:07:49 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 17:08:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:10:35 | → | alfiee joins (~alfiee@user/alfiee) |
| 17:14:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 17:14:57 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 17:15:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:18:29 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 17:19:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:24:33 | → | echoreply joins (~echoreply@45.32.163.16) |
| 17:27:54 | × | echoreply quits (~echoreply@45.32.163.16) (Client Quit) |
| 17:30:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:35:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:41:06 | → | penteract joins (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) |
| 17:44:03 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 17:44:45 | → | euleritian joins (~euleritia@77.23.250.232) |
| 17:46:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:51:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 17:52:23 | × | rynite quits (~bwkam@user/rynite) (Quit: WeeChat 4.4.1) |
| 17:59:00 | → | alfiee joins (~alfiee@user/alfiee) |
| 18:02:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:03:21 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 18:06:21 | × | euleritian quits (~euleritia@77.23.250.232) (Read error: Connection reset by peer) |
| 18:07:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 18:07:10 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 18:18:06 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 18:18:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:21:13 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 18:23:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 18:31:47 | → | acidjnk joins (~acidjnk@p200300d6e7283f06c9dfe4021fb11a6d.dip0.t-ipconnect.de) |
| 18:33:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:34:21 | × | fp quits (~Thunderbi@87-94-148-3.rev.dnainternet.fi) (Ping timeout: 276 seconds) |
| 18:34:28 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds) |
| 18:35:50 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 18:39:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 18:48:25 | → | alfiee joins (~alfiee@user/alfiee) |
| 18:49:40 | → | weary-traveler joins (~user@user/user363627) |
| 18:49:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:52:51 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 18:54:08 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 18:54:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 18:55:50 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 18:56:00 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:56:27 | → | __monty__ joins (~toonn@user/toonn) |
| 19:00:41 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 19:05:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:10:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:12:36 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 19:14:16 | → | alecs joins (~alecs@61.pool85-58-154.dynamic.orange.es) |
| 19:18:01 | → | aaronv joins (~aaronv@user/aaronv) |
| 19:18:56 | × | alecs quits (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 265 seconds) |
| 19:19:31 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:21:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:22:29 | × | acidjnk quits (~acidjnk@p200300d6e7283f06c9dfe4021fb11a6d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 19:24:43 | → | humasect joins (~humasect@dyn-192-249-132-2.nexicom.net) |
| 19:26:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 19:26:57 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds) |
| 19:28:10 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 272 seconds) |
| 19:28:51 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 19:30:54 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 19:35:05 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 19:37:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:37:49 | → | alfiee joins (~alfiee@user/alfiee) |
| 19:41:23 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:42:03 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 19:42:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:51:42 | → | pavonia joins (~user@user/siracusa) |
| 19:52:42 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 19:52:45 | → | user363627 joins (~user@user/user363627) |
| 19:52:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:55:48 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 245 seconds) |
| 19:59:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:00:06 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:44 | → | caconym joins (~caconym@user/caconym) |
| 20:05:30 | × | homo quits (~homo@user/homo) (Quit: Leaving) |
| 20:08:20 | → | sprotte24_ joins (~sprotte24@p5b0393bc.dip0.t-ipconnect.de) |
| 20:10:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:11:14 | × | sprotte24 quits (~sprotte24@p200300d16f215000dd8de4b8036a1cf5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 20:13:22 | → | bang joins (~Srain@108.173.142.167) |
| 20:13:52 | <bang> | hello |
| 20:14:19 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 20:14:30 | <geekosaur> | hi |
| 20:14:55 | <hellwolf> | hihi |
| 20:15:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 20:18:12 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 20:21:35 | → | Midjak joins (~MarciZ@82.66.147.146) |
| 20:25:00 | × | ski quits (~ski@remote11.chalmers.se) (Quit: Lost terminal) |
| 20:26:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:27:54 | → | alfiee joins (~alfiee@user/alfiee) |
| 20:30:04 | × | humasect quits (~humasect@dyn-192-249-132-2.nexicom.net) (Quit: Leaving...) |
| 20:31:11 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:32:19 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 20:32:29 | → | acidjnk joins (~acidjnk@p200300d6e7283f062074cf1fe8a72336.dip0.t-ipconnect.de) |
| 20:32:46 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 20:38:39 | → | earthy joins (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 20:42:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:45:40 | → | mceresa joins (~mceresa@user/mceresa) |
| 20:47:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 20:49:12 | × | sprotte24_ quits (~sprotte24@p5b0393bc.dip0.t-ipconnect.de) (Quit: Leaving) |
| 20:52:47 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 20:58:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:02:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 21:04:42 | <fr33domlover> | I'm getting a connection timeout error from stack, when it tries to fetch https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/23/5.yaml but when I try this URL in the browser it instantly loads - how do I fix that? :-/ |
| 21:06:29 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 21:06:59 | → | falafel joins (~falafel@syn-076-093-010-089.res.spectrum.com) |
| 21:07:27 | <geekosaur> | that could mean you need to configure a proxy (browsers do so automatically) but it could also mean stack is trying a mirror that is down iirc |
| 21:08:53 | → | weary-traveler joins (~user@user/user363627) |
| 21:09:08 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 21:10:02 | <haskellbridge> | <sm> fr33domlover: I can't see your error, but I fixed some stack network errors yesterday by applying all windows updates - newer TLS certs were needed |
| 21:10:55 | <haskellbridge> | <sm> g'day all |
| 21:11:14 | <geekosaur> | oh yes, that's also possible, stack doesn't necessarily use the same certs (firefox and derivatives at least manage their own iirc) |
| 21:12:24 | × | user363627 quits (~user@user/user363627) (Ping timeout: 260 seconds) |
| 21:13:22 | <haskellbridge> | <sm> and error messages tend to include "responseTimeout = ResponseTimeoutDefault" which makes you think it's timing out, when it's not |
| 21:13:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:17:03 | → | aaronv joins (~aaronv@user/aaronv) |
| 21:17:59 | → | alfiee joins (~alfiee@user/alfiee) |
| 21:18:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 21:21:24 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-136.cust.tzulo.com) |
| 21:22:06 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 21:28:08 | <fr33domlover> | I tried `apt upgrade` and upgraded stack itself via GHCup, still getting `ConnectionTimeout` for some reason ugh |
| 21:28:39 | × | michalz quits (~michalz@185.246.207.201) (Remote host closed the connection) |
| 21:29:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:30:56 | → | sprotte24 joins (~sprotte24@p200300d16f26820094a8806834740480.dip0.t-ipconnect.de) |
| 21:34:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 21:41:34 | <haskellbridge> | <sm> what's the error message ? |
| 21:41:44 | <haskellbridge> | <sm> (full) |
| 21:44:09 | → | lisbeths joins (~user@c-174-164-24-226.hsd1.wa.comcast.net) |
| 21:44:29 | <lisbeths> | so uh I got fastlisp to compile to binary lambda calculus and I have io |
| 21:44:44 | <lisbeths> | https://thefastscrolls.neocities.org/files/fastlisp-compiler0.txt |
| 21:45:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:45:17 | <lisbeths> | becuase every valid faslisp program is a lambda ghc should be able to be ported to it |
| 21:45:33 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 21:46:38 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 245 seconds) |
| 21:46:40 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 21:49:01 | → | echoreply joins (~echoreply@45.32.163.16) |
| 21:50:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 21:50:17 | → | aaronv joins (~aaronv@user/aaronv) |
| 21:50:33 | <lisbeths> | fastlisp is like a very very lightweight purely functional lisp |
| 21:51:37 | <fr33domlover> | sm: http://paste.debian.net/1346962/ |
| 21:53:58 | → | fp1 joins (~Thunderbi@87-94-148-3.rev.dnainternet.fi) |
| 21:54:13 | <haskellbridge> | <sm> that one does look like a timeout indeed. This is working for me: |
| 21:54:13 | <haskellbridge> | curl -i https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/43.yaml |
| 21:54:55 | <haskellbridge> | <sm> can you ping and httping it ? |
| 21:56:14 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:57:03 | <haskellbridge> | <sm> I can, though httping https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/22/43.yaml does give "SSL certificate validation failed: unable to get local issuer certificate" warnings |
| 21:59:18 | → | talismanick joins (~user@2601:644:937c:ed10::ae5) |
| 22:00:16 | <haskellbridge> | <sm> but I think that's a httping bug |
| 22:00:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:02:45 | → | Guest40 joins (~Guest40@2a04:cec0:10f0:1067:32f7:434c:b1b3:3a91) |
| 22:05:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 22:07:04 | → | alfiee joins (~alfiee@user/alfiee) |
| 22:07:46 | × | alp quits (~alp@2001:861:8ca0:4940:5d66:66fe:3070:deea) (Ping timeout: 272 seconds) |
| 22:07:47 | <fr33domlover> | curling the URI works |
| 22:08:39 | × | falafel quits (~falafel@syn-076-093-010-089.res.spectrum.com) (Ping timeout: 252 seconds) |
| 22:11:18 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 22:11:57 | <haskellbridge> | <Bowuigi> lisbeths try compiling it to Haskell. You get the performance of GHC there |
| 22:12:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:12:16 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 22:14:22 | Xe_ | is now known as Xe |
| 22:14:59 | <haskellbridge> | <sm> geekosaur mentioned a proxy - are both tools in the same environment ? Are HTTP_PROXY or HTTPS_PROXY set ? |
| 22:17:17 | <haskellbridge> | <sm> uh.. or they might be all lower case |
| 22:17:58 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 22:18:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 22:26:22 | <haskellbridge> | <sm> I found https://github.com/snoyberg/http-client/issues/362 suggesting User-Agent can cause timeouts.. you could rule this out by sniffing what stack sends and mimicking that UA with curl |
| 22:27:45 | <haskellbridge> | <sm> wow, a robust HTTP client seems to be a pretty tough challenge |
| 22:27:54 | haskellbridge | sm browsing the issue tracker |
| 22:30:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:30:44 | <haskellbridge> | <sm> oh, another thing that has helped some people is disabling IPv6 https://github.com/commercialhaskell/stack/issues/5994 |
| 22:32:56 | → | alx741 joins (~alx741@186.33.188.229) |
| 22:33:32 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:35:05 | → | Guest31 joins (~Guest31@213-66-91-41-no600.tbcn.telia.com) |
| 22:37:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:37:22 | <fr33domlover> | Cool, I'll try disabling ipv6 :p |
| 22:41:31 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:43:17 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 22:43:21 | <haskellbridge> | <sm> I see "fping -6 raw.githubusercontent.com" timing out. Maybe github has a ipv6 problem ? |
| 22:43:26 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:44:02 | → | fp joins (~Thunderbi@87-94-148-3.rev.dnainternet.fi) |
| 22:44:53 | <geekosaur> | github itself claims to be operational, but I don't know if they check IPv6 connectivity, just services |
| 22:45:17 | <haskellbridge> | <sm> ha.. no status page checks everything |
| 22:45:27 | <geekosaur> | (I can't check IPv6, sadly. I think I'd need to upgrade to a business connection with my provider to get it) |
| 22:48:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:52:32 | × | Guest40 quits (~Guest40@2a04:cec0:10f0:1067:32f7:434c:b1b3:3a91) (Quit: Client closed) |
| 22:53:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 22:54:07 | × | Guest31 quits (~Guest31@213-66-91-41-no600.tbcn.telia.com) (Quit: Client closed) |
| 22:55:48 | → | alfiee joins (~alfiee@user/alfiee) |
| 23:00:03 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 23:04:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:08:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 23:10:11 | × | troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 23:13:12 | → | troydm joins (~troydm@user/troydm) |
| 23:15:29 | → | emm joins (~emm@user/edmeme) |
| 23:16:53 | × | emm quits (~emm@user/edmeme) (Client Quit) |
| 23:17:43 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:19:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:24:21 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 23:25:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 23:25:41 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 23:29:27 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 23:35:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:40:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:40:37 | → | cheater joins (~Username@user/cheater) |
| 23:41:41 | × | acidjnk quits (~acidjnk@p200300d6e7283f062074cf1fe8a72336.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 23:44:21 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 23:44:32 | → | alfiee joins (~alfiee@user/alfiee) |
| 23:48:43 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 23:48:58 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:49:59 | × | fp1 quits (~Thunderbi@87-94-148-3.rev.dnainternet.fi) (Remote host closed the connection) |
| 23:51:03 | × | fp quits (~Thunderbi@87-94-148-3.rev.dnainternet.fi) (Remote host closed the connection) |
| 23:51:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:56:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 23:58:20 | → | EvanR joins (~EvanR@user/evanr) |
| 23:58:57 | → | acidjnk joins (~acidjnk@p200300d6e7283f06386ea0a4b154e9cc.dip0.t-ipconnect.de) |
All times are in UTC on 2025-01-26.