"basic authentication"

   protected List createBasicAuthHeaderValue(String username, String password) {
        if (password == null) {
            password = "";
        }

        try {
            return Collections.singletonList("Basic "
                    + Base64.encodeBytes((username + ":" + password).getBytes("ISO-8859-1")));
        } catch (UnsupportedEncodingException e) {
            // shouldn't happen...
            return Collections.emptyList();
        }
    }

just quoting...

free theorem - is it all due to ∀?

∀ - it basically turns our type category into cartesian-closed, no?

Still struggling; but this ∀, it's a kind of Π functor... I sure may be wrong.

Could not find any math explanation of the free theorem trick so far.

рифмы пошли, люблю

Еду это я в субботу в Кастро Вэлли; на пути, во Фримонте (хороший город, кстати, ухоженный, не то что Хейворд драный), встречается храм - похожий на сикхский, но не совсем. Ну я ж на велосипеде, заехал спросить. Джайнский, оказывается.

А сейчас читаю про всякую там интерпретацию Брауэра-Гейтинга-Колмогорова, и напоролся на прикольную вещь, http://en.wikipedia.org/wiki/Dialetheism - тесно связанный с джайнской доктриной анекантавада - во всяком утверждении есть частица истины и частица лжи. В буддизме ещё веселее, там их восемь Catuṣkoṭi algorithm mapped in partial logical algebra

А мы смеёмся, логике их не учили. У них логика сложнее, и теорема Жегалкина что-то не применима. Ну в смысле, кванторы, например, вперёд не перетащить, в пренексную форму. Их уже в интуиционизме не перетащить. Что несколько мешает параметрическому полиморфизму, по-моему; разбираюсь.

2b|!2b==ffff как минимум.



Я так понимаю, что тут изображено не то, что вы подумали, а олицетворение тетралеммы.