Viewing profile — llull

Chaff? For a project where one has total control, yes. When one has to get approval and deal with a specific list of approved licenses (which may not include one's particular favou…

Idris. Really interesting language exploring dependent types for practical programming, but not yet production ready.

Bandits are great, but using the theory correctly can be difficult (and if accidentally incorrectly applied then ones results can easily become pathologically bad). For instance, t…

The truth of the essay is illustrated by studies that show lower social mobility over longer generational windows, i.e. ones grandfather's income quintile is a better predictor of …

What a strange statement/article. I had to check all three of those as an undergrad, associativity of matrix multiplication was definitely first year linear algebra, and I think el…

No, Chinese characters do not stop "moveable type taking off". Moveable type printing was in fact invented in China, nearly 1000 years ago, and widely used.

I just retried, and it does now gets it right for me too. Wow.

Very neat. One problem is immediate: when I handwrite an "x" for maths, it is as two 'c's touching back-to-back, so as not to confuse with some multiplication/cross-product symbol;…

I recently quit my job at a company with a very flat management structure to join a startup as a partner. I now have 5 direct reports, but no experience in how to effectively deleg…