miniblog.

I've just realised that Community Fibre, my ISP, offers 5 Gb/s packages in some London addresses! I'm struggling to imagine a use case for such a high residential bandwidth. When I switched to 1 Gb/s I needed to upgrade my wifi router to actually take advantage.

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?