Ruben Verborgh
Ruben Verborgh
> So @RubenVerborgh do you want to? Oh very much 🙂 Maybe @DylanVanAssche is the right person?
I thought your *nix skills might be a good match for this; but let's keep looking then 🙂
That is beyond amazing!
Now that's progress! Super news, @josd! Definitely a great start. Have tried playing with the Node.js command-line flags for memory?
Thanks a lot—releasing this now as v3.7.0.
I'll close this for now until new evidence emerges.
You probably want to try this website with `curl -i -L 'https://www.camera.it/leg18/proxy18/calendari_assemblea?file=comunicazioni.20220705'` and you'll see the list of redirects. > but just sometimes (can't understand when) I'm guessing cookies /...
I'm sure no-one is opposed to that, but your issue looks to be in the wrong place (solid-signin-ui, a small repo with no activity for 3 years). Let me move...
Just set the new interface to be f(origin, origin) But that's the thing, you can't unilaterally decide that. The browser decides this for us. Alternatively, change the old interface to...
I certainly have not done this. I always pulled in resources from multiple locations, including localhost, and mashed them together. Interesting! For my understanding, what would be a typical number...