miniblog.

Language design question: what type should `while True {}` have? Bottom: It doesn't contain any `break` statements. Unit: Treat loops with/without `break` consistently. I already have lints that warn on unreachable code after diverging loops, so the Unit case feels surprising.

I've been writing programming language documentation for objects. It's surprisingly nuanced! How do you introduce objects to the reader? What elements should the first example contain? What order do you introduce concepts like methods, inheritance and properties?

Some cunning NLP research which has found that really simple statistical models (e.g. does the sentence contain "not"?) is sufficient to answer a good number of text comprehension datasets: https://thegradient.pub/nlps-clever-hans-moment-has-arrived/