10 Jun 2020 |
seanmoss | In reply to @nickhu:matrix.org I'm pretty sure either your application has a hook to update the CDN cache, or it'll poll at some regular interval so it's not actually faster for anything that involves changing the database? Or you have to design your application so that view counts and other trivial state changes aren't necessarily updated immediately? | 10:27:53 |
Toby Cathcart Burn | It's running nginx, no idea how hard it is to set up discourse beneath that. | 10:27:59 |
Nick Hu | In reply to @seanmoss:matrix.org so it's not actually faster for anything that involves changing the database? Or you have to design your application so that view counts and other trivial state changes aren't necessarily updated immediately? It's based on the assumption that most of your traffic is just people browsing | 10:28:49 |
Nick Hu | In reply to @penteract:matrix.org I have access to a research group server (mjolnir.cs.ox.ac.uk) that's barely used. hesitant to touch something that isn't mine without permission | 10:29:36 |
titus.pinta | Do you use the free 300£ credit for google cloud platform? | 10:34:16 |
Nick Hu | In reply to @titus.pinta:matrix.org Do you use the free 300£ credit for google cloud platform? no because people were like "it'll eventually cost us!" | 10:34:39 |
Nick Hu | So I stuck to the always free tier with a server in south carolina | 10:34:51 |
titus.pinta | So for how long do you plan to have the discord server up? | 10:37:22 |
titus.pinta | I mean if we plan to end it in 6 months, that gives us 50£ a month | 10:37:55 |
Nick Hu | forever apparently | 10:37:55 |
titus.pinta | Ok | 10:38:10 |
Toby Cathcart Burn | permission obtained | 10:38:52 |
Nick Hu | In reply to @penteract:matrix.org permission obtained does it have docker | 11:46:01 |
Nick Hu | Should be fixed now, running on mjolnir | 14:00:24 |
seanmoss | Nice one - thanks Nick Hu and Toby Cathcart Burn ! | 14:01:19 |
Nick Hu | (ironically in the process of reducing costs it's now running on a machine about an order of 10x more powerful) | 14:03:15 |
Nick Hu | fyi rebooting due to kernel update (I promise I'll stop messing around with it soon) | 14:20:08 |
1 Jul 2020 |
| Lukas Heidemann joined the room. | 14:59:14 |
7 Jul 2020 |
| @jaliyah7458:matrix.org joined the room. | 17:50:26 |
8 Jul 2020 |
| @jaliyah7458:matrix.org left the room. | 01:04:45 |
@swaraj-:matrix.org | hey guys, i'm a little swamped with work so i don't think i'll be able to join the meeting today :( would love to later read whatever tiny notes you manage to have for today (thanks to whoever takes those) | 12:49:22 |
15 Jul 2020 |
Nick Hu | Do people want to meet today? | 12:12:18 |
Nick Hu | Last week was just me Toby and Sean, maybe people are feeling like it's time for a summer recess? | 12:12:40 |
darein | I'd be up but haven't prepared anything in a while | 12:54:15 |
@swaraj-:matrix.org | hmmm | 15:05:19 |
@swaraj-:matrix.org | yeah i've been a little busy myself too but i wouldn't have minded being a little more passive in this sesh if someone else had stuff to talk about | 15:06:02 |
@swaraj-:matrix.org | since i don't have anything to discuss myself, that is | 15:06:47 |
@swaraj-:matrix.org | but i guess we could take a break for a week or two if we don't want to force something to discuss this time? | 15:08:00 |
seanmoss | Maybe we don't have anything to discuss today, but I'd like the club to keep going. | 15:08:01 |
seanmoss | A break is what has happened for me anyway - not thought about Agda for about two weeks I guess | 15:08:22 |