Пнанеки, последние августовские...

boroda044
От пользователя D.Golovin

Душевненько!
9 / 7
acro
дню рождения мальчика с гитарой посвящается:

А хочешь я убью соседей?
вдруг прозвучал вопрос жены.
Причем жены из-за соседской
стены
31 / 4
Для того чтобы привлечь внимание официанта, гражданин Сидоров громко постучал пирожком по столу…

- Приношу свои глубочайшие оскорбления.

Сплю всегда с ножом под подушкой - на всякий случай. Вдруг кто-нибудь с тортиком придет

Движение - это жизнь. Поэтому, лежа на диванчике, слегка подергивай ножкой.

Поссорилась с мужем - кинула ему в суп виагры: как он бегал за мной, как извинялся

Просыпаешься в шесть утра - буди кота. Ибо не фига тут.

Кастрировал кота. Больше не орет, зато танцует

Дагестанские блохи, услышав лезгинку, затоптали кошку насмерть

Люди, которые читают книги, всег-да будут управлять теми, кто смотрит телевизор.

Три главные лжи человечества:

- Мы вам перезвоним,

- Завтра начну худеть,

- Я никогда больше не буду столько пить.
30 / 10
правое полукубие
38 / 15
D.Golovin
109 / 9
Вятский Квас
От пользователя ушел
Только факты, для технарей, раз знания истории не хватает.

Расстояние от земли до луны 384400 км.
Александр Пушкин родился в г. Москве.


только факты. ничего больше.
8 / 20
D.Golovin
Я родился в небогатой семье, в нашем небольшом городе получил херовое образование и никуда не поступал. Долго искал работу. Батя мой с помощью каких-то связей, через третьи руки смог устроить меня садовником (благо в цветах разбираюсь) к местному нашему богачу. Его все в нашей глуши знают, ибо у него денег куры не клюют. Он много лет назад участвовал в какой-то левой афере, выезжал куда-то из города, где-то с кем-то месился. Все у нас эту историю знают. Но сейчас не об этом.
У этого мужика есть племянник. Про его родителей я ничего не слышал, так что он постоянно ошивается у богача в доме. У них хорошие отношения. Но вся проблема в том, что этот племянник настоящий мудак. Истеричный, жадный и избалованный эгоист. Мы с ним общались вроде нормально, но в душе я его просто не выносил.
Так вот, однажды я как обычно вечером подстригал кусты под окном. А дом невысокий, окна низкие, так что все видно, что происходит внутри. (В тот день денежный мешок отмечал свой юбилей и съ*бался куда-то). Я когда работал, услышал разговор племянника и какого-то еще мужика. Стало интересно и я подсмотрел за ними, стал прислушиваться. Они стояли в гостиной. Этот маленький мажорчик, а рядом стоит здоровенный мужик ростом метра два, с длиннющей бородой. Разговор подходил к концу, бородач говорил что-то про то, что ОНИ скоро придут за мажорчиком и ему надо поскорей свалить.
Ну я обрадовался, что избавлюсь от этого п*здюка. Но тут здоровяк меня увидел, подбежал к окну, закинул меня внутрь. Грит, мол, что ты слышал, кто такой. Я ему говорю, что я всего лишь садовник и я ничего никому не скажу, кирпичей навалил полтонны. Он меня и слушать не стал, сказал, что мне придется свалить вместе с этим дебилом, чтобы я ему во всем помогал. Короче, все дошло до того, что я сейчас иду с этим придурком, здоровяком, еще двумя какими-то мужиками, коротышкой и с двумя нашими знакомыми. Мы должны сбросить какое-то долбанное кольцо (от которого у них у всех дикий мандраж) в лаву какой-то дебильной горы.
93 / 32
От пользователя Вятский Квас
Расстояние от земли до луны 384400 км.


Враньё, т.к. орбита Луны не есть круговая :beach:
2 / 9
Menzoberanzan
От пользователя D.Golovin
D.Golovin



А минуснул а через 5 минут дошло..)))
0 / 9
Вятский Квас
От пользователя gzcat
Враньё, т.к. орбита Луны не есть круговая

у меня рулетка на 10 метров только, проверить не смог.... всегда округлял до 400 ;-)
9 / 4
D.Golovin
От пользователя acro
Водитель, помни! Что у машины есть ТЕНЬ! И она может нарушать ПДД!! Жителю Липецка выписали штраф за пересечение сплошной!

115 / 4
Полярный Лис
От пользователя gzcat
Враньё, т.к. орбита Луны не есть круговая

Это средняя орбита. Ты еще давай про перигей и апогей, ну и про приливной захват не забудь. :-D
11 / 7
От пользователя Вятский Квас
И тут в воздухе повисла легкая гуманитариевая недосказанность.



8(
7 / 13
andsv
Гомотопическая теория типов (HoTT, от англ. homotopy type theory) — математическая теория, особый вариант теории типов, снабжённый понятиями из теории категорий, алгебраической топологии, гомологической алгебры; базируется на взаимосвязи между понятиями о гомотопическом типе пространства, высших категориях[en] и типах в логике и языках программирования.

Унивалентные основания математики — программа построения средствами гомотопической теории типов универсального формального языка, являющегося конструктивными основаниями для современных разделов математики и обеспечивающего возможность автоматической проверки правильности доказательств на компьютере. Инициирована Владимиром Воеводским в конце 2000-х годов; толчком к более широкому интересу к унивалентным основаниям послужила написанная Воеводским библиотека формализованной математики «Foundations», ставшая к середине 2010-х годов частью библиотеки UniMath и которая послужила основой для многих других библиотек[⇨]; в рамках программы большим коллективом математиков была написана книга[⇨].

Математическое доказательство в гомотопической теории типов состоит в установлении «обитаемости» необходимого типа, то есть, в построении выражения соответствующего типа. Использование систем автоматического доказательства для теории эксплуатирует идею изоморфизма Карри — Ховарда, а благодаря математическому содержанию, вложенному в теоретико-типовые понятия, на формальном языке теории удаётся выразить и проверить достаточно сложные результаты из абстрактных разделов математики, которые ранее считались не формализуемыми программными средствами.

Ключевая идея теории — аксиома унивалентности[⇨], постулирующая равенство объектов, между которыми может быть установлена эквивалентность, то есть, в гомотопической теории типов как равные рассматриваются изоморфные, гомеоморфные, гомотопически эквивалентные структуры; эта аксиома отражает важные свойства высшекатегорной интерпретации, а также обеспечивает техническое упрощение формального языка.
вики
10 / 22
yax3
От пользователя andsv
Гомотопическая теория типов (HoTT, от англ. homotopy type theory) — математическая теория,

Я точно в анеки зашел ? :-D
32 / 6
legnum
От пользователя andsv
постулирующая


От пользователя andsv
в гомотопической теории типов как равные рассматриваются изоморфные, гомеоморфные, гомотопически эквивалентные структуры



это что за набор букв?
все что мне пригодилось в жизни из алгебры и геометрии так это : с2=а2+в2
:lol: :lol: :lol:

аааа
стоп!
логарифмами я заборы ломал и гвозди дергал :-D :-D :-D
5 / 16
Harry Vital
От пользователя legnum
все что мне пригодилось в жизни из алгебры и геометрии так это : с2=а2+в2


а как же: 3.14 вместо пи заменять в словах?
14 / 2
potapov sergey
96 / 3
Муж возвращается с рыбалки и осторожно стучит в дверь. Ему открывает жена.
- Кот дома? - спрашивает шепотом муж.
- Заходи, не бойся, я ему кильки купила...

Мало кто знает, но последний, самый главный покемон находится в кабинете психиатра.

Очень полезный совет мужчинам.
Если ваши глаза закрыли мягкие ручки, в спину уперлись пышная грудь и пухленький животик, а сзади послышалось: «Отгадай кто?»...
В любом случае отвечайте: «Серега, ты, что ли?»
Поверьте, так будет лучше.

Жена говорит мужу:
- Мне столько денег надо! На эпиляцию, на маникюр, на педикюр, на мелирование, на косметику...
Муж:
- А мне повезло! Я сразу красивым родился.

На таможне.
- Что везете? Оружие, наркотики есть?
- Сейчас посмотрю... Меня просто мама собирала.
27 / 5
Alk86
От пользователя legnum
логарифмами я заборы ломал

может моцк? :-D
1 / 8
ALEX-S™
51 / 1
Рейвольт ААронович
22 / 6
Рейвольт ААронович
34 / 2
Рейвольт ААронович
53 / 4
Рейвольт ААронович
7 / 5
Обсуждение этой темы закрыто модератором форума.