miniblog.

My $2/month VPS has stopped and can't even boot, so I've switched provider. It seems like most server providers don't want to offer <$5 machines, and I imagine it's hard to make money at the low end. Several providers require a one-off setup fee too.

Some novel (to me) AI workflows from OpenAI in https://openai.com/index/open-source-codex-orchestration-symphony/ (1) Adding the ability for the LLM to create follow-up tasks in the issue tracker. (2) Identifying weaknesses in the spec by implementing in several different languages.

What types should you infer when code is invalid? In Garden, + only applies to integers. What should the type of "x" + "y" be? (1) Int: This produces cascading errors. (2) String: We've already emitted an error anyway. (3) Bottom. Opinions?