dependenttypes

Because it's a language, not an implementation. An implementation is free to do so (and there are such implementations after all).

> Raccoon is a timing vulnerability ...

The easiest solution would be to only enable the X25519 and X448 key exchanges by default. (and in the future a post-quantum one)

> Sorry.

> This URL has been excluded from the Wayback Machine.

They also do not exclude the archive.org bot in https://www.snopes.com/robots.txt

> Firaxis's Beyond Earth has barely 1 person who played at least 1 minute for every 10 that bought the game

It is common for a lot of people to "buy" games on steam that they will never play. Especially with less popular games.

    #include <ctype.h>
    
    #define IFTHENELSE(c, t, e) ((-(!!(c)) & (t)) | (-(!(c)) & (e)))
    
    unsigned char
    mod26 (unsigned char x)
    {
      x -= IFTHENELSE(x >= 26 * 4,
        26 * 4,
        0);
      x -= IFTHENELSE(x >= 26 * 2,
        26 * 2,
        0);
      x -= IFTHENELSE(x >= 26 * 2,
        26 * 2,
        0);
      x -= IFTHENELSE(x >= 26,
        26,
        0);
      return x;
    }
    
    unsigned char
    rot13 (unsigned char x)
    {
      return IFTHENELSE(islower(x), mod26(x - 'a' + 13) + 'a',
          IFTHENELSE(isupper(x), mod26(x - 'A' + 13) + 'A',
              x));
    }