Хочешь выебать себе мозг?
Вот, прошу
https://ru.m.wikipedia.org/wiki/Coq
Прога для проверки гипотез, создания матмоделей, аксиом и теорий, а также их композиция
Работает на гребанной адской черной магии
Вот, прошу
https://ru.m.wikipedia.org/wiki/Coq
Прога для проверки гипотез, создания матмоделей, аксиом и теорий, а также их композиция
Работает на гребанной адской черной магии
Wikipedia
Coq
Coq (фр. coq — петух) — интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их доказательства, удобно модифицировать…
Господи, надеюсь я в один день проснусь и не буду думать о том, как бы не сдохнуть ради 6.3 ебанных баллов для допуска
Forwarded from Двач
YouTube
Baldur's Gate 3 - Official Announcement Trailer
Gather your party: http://baldursgate3.game
Developed by Larian Studios - the creators of Divinity: Original Sin 2, BG3 is the official next adventure in the venerable Baldur's Gate series. The announcement teaser trailer shows a return of a malevolent…
Developed by Larian Studios - the creators of Divinity: Original Sin 2, BG3 is the official next adventure in the venerable Baldur's Gate series. The announcement teaser trailer shows a return of a malevolent…
ну я считаю, что когда препод добавляет тебе 0.3 балла, то это норм подгон, хуле
Forwarded from Deleted Account
Захожу я в доту после долгого перерыва. Беру фею, уступил парню керри. Ну и у нас душевный разговор завязался.
Оппоненты пикнули траксу. Говорю, что Тракса - девушка красивая. В чате парень пишет:
— Так она синяя.
— А я и не против.
— Так она лесбиянка.
— А Я ТЕМ БОЛЕЕ НЕ ПРОТИВ.
Парень с керри слота:
— Пацаны, люблю лесбиянок. Вот у меня знакомая...
— Ты пробывал ее?... - я любопытно.
— Да, она мне даже троечек с ее девочкой..
— Ты согласился?
— Нет, я боюсь.
— Не понял. Осуждаю.
— Боюсь что не встанет.
— ЧТО? - я возмутился. Чат тем временем взорвался.
— Ну так.
Парень из чата:
— Вот знаешь, почему я отказываюсь от троечков?
— Ну и почему?
— Потому что мне никто не даёт!
Началась игра. Наш мидер:
— Дорогие, позвольте перед игрой навалить репчины.
Ну и мы разогретые - давай.
Он такого репа навалил, что мы выиграли в одну калитку. Люблю доту.
Оппоненты пикнули траксу. Говорю, что Тракса - девушка красивая. В чате парень пишет:
— Так она синяя.
— А я и не против.
— Так она лесбиянка.
— А Я ТЕМ БОЛЕЕ НЕ ПРОТИВ.
Парень с керри слота:
— Пацаны, люблю лесбиянок. Вот у меня знакомая...
— Ты пробывал ее?... - я любопытно.
— Да, она мне даже троечек с ее девочкой..
— Ты согласился?
— Нет, я боюсь.
— Не понял. Осуждаю.
— Боюсь что не встанет.
— ЧТО? - я возмутился. Чат тем временем взорвался.
— Ну так.
Парень из чата:
— Вот знаешь, почему я отказываюсь от троечков?
— Ну и почему?
— Потому что мне никто не даёт!
Началась игра. Наш мидер:
— Дорогие, позвольте перед игрой навалить репчины.
Ну и мы разогретые - давай.
Он такого репа навалил, что мы выиграли в одну калитку. Люблю доту.