- 1
Интересно, а кто-нибудь пользуется кнопками "Tweet" и "Нравится" под постами?
Нашли или выдавили из себя код, который нельзя назвать нормальным, на который без улыбки не взглянешь? Не торопитесь его удалять или рефакторить, — запостите его на говнокод.ру, посмеёмся вместе!
−32
Интересно, а кто-нибудь пользуется кнопками "Tweet" и "Нравится" под постами?
А если серьёзно, то если охота поделиться материалом, мне проще в самом Твиттере или в какой-нибудь соцсети набрать комментарий, чем удалять этот дефолтный текст из кнопки. К тому же больший эффект даёт не безликий пост, а реплай в Твиттере или комментарий в тематической группе ВК/ФБ.
Но ведь при этом сайт может ещё и потребовать доступ к некоторым функциям пейсбука от твоего имени...
https://vk.com/search?c[section]=people&c[q]=багор
https://vk.com/search?c[section]=people&c[q]=гость
https://vk.com/search?c[section]=people&c[q]=barop
А как кого-нибудь в друзяшки добавить или хотя бы записаться в его последователи?
А без графа друзяшек - какая же это сеть?
Вырожденная. Вершины есть, а количество рёбер для экономии ограничено нулём.
Блджад, сам себя ведь оскорбил.
Просто используйте гомотопическую теорию типов
Блин, как вы во всём этом разбираетесь?
Препогомеохвостопитуальный квазиквазиморфизм. Хилопитуальный морфизм. Анаморфный анскильанскильный анаморфизм. Питуальморфный морфизм.
Гомоморфный анапетупараанскиломорфизм. Морфный морфизм. Питуальпитуальный гомеопитуальный квазиморфквазипитуальный квазипитуальанаанскильанскильный морфпитуальный морфизм. Питуальморфный морфизм. Хвостопитуальпрепоанскильный морфизм. Морфморфный хвостопетуморфизм. Питуальморфный морфизм. Анскильный петупитуальпитуальный морфизм. Морфанскилоанскильный нанопрепохвостоморфизм. Морфпитуальный морфный питуальный питуальпитуальгомеопитуальный анскилоанскиломорфизм. Морфный мономорфизм. Морфморфморфный анскиломорфизм. Препопитуальпитуальный морфизм. Зигопитуальный анскильный квазипитуальный морфизм. Квазипитуальный морфизм.
Анскильпитуальный анапрепоанапрепопарамономономорфизм. Питуальный м C-c C-cАнскильный морфизм. Морфпитуальный морфизм. Морфный питуальный морфизм. Питуальный морфизм. Мономорфизм. Хиломорфизм. Питуальморфный петуморфизм.
https://i.imgur.com/HopNrVI.jpg
Я не знаю, что такое /c. Про воеводского с его HoTT вспомнил, когда листал Spektrum, стало интересно, как у них там дела
Да я только начал читать HoTT book, чтобы попытаться понять, что там Воеводский напридумывал. На обеде обычно читаю, способствует пищеварению. Пока недалеко продвинулся, но в принципе довольно интересно.
Если честно то elements of programming не выглядит как нечто совсем уж адское (я, правда, несколько глав всего читал). Мне кажется что HoTT book куда страшнее. наверное потому, что я не могу в серьезную математику
Да не столько оно адское, сколько я отвык от математической нотации. Как увижу все эти кванторы - так в сон тянет...
Ну это нормально. Материал относительно интересный, но язык суховат и порой всё это выглядит как "как бы я написал STL, будь у меня язык с нормальными концептами".