LLMs have been really helpful for me porting some JS projects to TS.
Since the types are erased and annotations are optional, I can go gradually and safely with more minimal human oversight.
(I'm not sure if it'll significantly help robustness, but it's lovely for navigation.)
I regularly see the phrase "all Xs are Ys, but not all Ys are Xs" in teaching material. Even material for children!
I have to re-read it every time. I very much prefer "Y is a more general category than X" or "X is a subset of Y".
Do people find this phrasing helpful, or is it poor pedagogy?
Today I learnt that you can mix HTML inline in markdown! For example, the following is valid.
Foo <hr/>
I'd assumed that you needed HTML separately, like ``` blocks, but no:
https://spec.commonmark.org/0.31.2/#raw-html
Admittedly HTML is very restricted on most sites, but it's helpful for SSGs.