9 Jun 2020 |
seanmoss | I hope this is visible to everyone:
https://bitbucket.org/agda-club/discussion/issues/2/dependent-zippers | 16:45:08 |
seanmoss | it's essentially the last thing I posted to discourse (which I was hoping swaraj- would look at >_>). | 16:45:38 |
swaraj- | oh man, i've been looking to implement it for so long! i'll have a read now | 21:58:14 |
swaraj- | thanks for this | 21:59:33 |
swaraj- | also let's discuss your code tomorrow, i think i have some questions | 22:07:59 |
Nick Hu | I migrated the discourse to GCP free tier | 22:08:58 |
Nick Hu | Should work whenever DNS propagates | 22:09:06 |
10 Jun 2020 |
Nick Hu | Ok seems to be running now | 03:35:09 |
Nick Hu | Gonna re-enable cloudflare and hopefully it'll work just fine (TM) | 03:35:22 |
Nick Hu | seanmoss: I hope you are proud of me, I reduced the total cost to 0 and didn't have to use a shitty VPS either | 03:38:11 |
seanmoss | In reply to @nickhu:matrix.org I migrated the discourse to GCP free tier Thanks @N | 08:40:03 |
seanmoss | I mean, thanks Nick Hu | 08:40:19 |
seanmoss | In reply to @nickhu:matrix.org seanmoss: I hope you are proud of me, I reduced the total cost to 0 and didn't have to use a shitty VPS either Yes! | 08:43:23 |
seanmoss | It seems like the website isn't working for me yet, but last night I did get an email from the site with an activity summary. | 08:43:55 |
Nick Hu | seanmoss: Seems like cloudflare is timing out actually | 10:17:48 |
Nick Hu | Put
34.73.32.146 discourse.agda.club
into your /etc/hosts for now to bypass it
| 10:18:11 |
Nick Hu | I'll need to investigate how to fix this | 10:18:20 |
seanmoss | I just managed to get there through the URL without doing that | 10:18:58 |
seanmoss | though it's slow | 10:20:09 |
Nick Hu | In reply to @seanmoss:matrix.org though it's slow well nobody wants to pay for it, so.... ¯_(ツ)_/¯ | 10:20:55 |
seanmoss | alright, so it's not slow because of cloudfare | 10:21:13 |
seanmoss | that's just free Google? | 10:21:26 |
Nick Hu | It doesn't have enough RAM so it's swapping all the time | 10:21:50 |
Nick Hu | Plus probably other rails-related bullshit | 10:22:06 |
Nick Hu | But once it's properly configured behind a CDN it should be less of an issue | 10:22:17 |
seanmoss | It's a complete mystery to me how CDNs are supposed to make non-static webpages faster | 10:24:00 |
seanmoss | yet still somehow be consistent across the whole world | 10:24:09 |
seanmoss | unless they are much less ambitious than they sound | 10:24:39 |
Toby Cathcart Burn | I have access to a research group server (mjolnir.cs.ox.ac.uk) that's barely used. | 10:25:04 |
Nick Hu | In reply to @seanmoss:matrix.org unless they are much less ambitious than they sound I'm pretty sure either your application has a hook to update the CDN cache, or it'll poll at some regular interval | 10:26:26 |