miniblog.

I struggle with dependency syntax. I never remember what ^1.2.3 means or how it differs from ~1.2.3. I believe both npm and cargo assign the same meanings to this notation, but it's less obvious than e.g. 1.x. 1.2.3 isn't an exact version constraint either!

I certainly see the appeal of ChatGPT as a conversational interface for knowledge questions, but it's wrong often enough that I can't trust it. Prompt: What does :extend do to an Emacs font face? This is wrong (it's confused with :inherit) and it's hallucinated a version constraint.

Exponential time complexity in the Swift type checker https://www.cocoawithlove.com/blog/2016/07/12/type-checker-issues.html (nifty deep dive into the constraint solver inside)