24 декабря 2023 г. Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Сохранен
501
Пруверов тред #4 — Тред успешных хлебателей борщей (очередной). Coq: https://coq.inria.fr/ Lean: https://leanprover.github.io/ https://github.com/leanprover/lean4 (компилируется в кресты). Agda: https://github.com/agda/agda Idris: https://www.idris-lang.org/ HoTT: https://github.com/HoTT/HoTT https://github.com/HoTT/HoTT-Agda https://github.com/gebner/hott3 Cubical Type Theory: https://github.com/mortberg/cubicaltt https://github.com/mortberg/yacctt https://github.com/RedPRL/sml-redprl ht
16 сентября 2021
Сохранен
137
НАУЧНЫЙ ШЕБМ WEBM ТРЕД ITT только научпоп и подобное. — НАУЧНЫЙ ШЕБМ WEBM ТРЕД ITT только научпоп и подобное.
31 октября 2019
Сохранен
414
Поясните на пальцах что такого важного сделал — Поясните на пальцах что такого важного сделал Перельман? В чем суть гипотезы которую он доказал? И какое практическое применение может быть доказаной гипотезы?
29 октября 2019
Сохранен
280
Математик аспирант. Отвечу на вопросы по математике. — Математик аспирант. Отвечу на вопросы по математике.
29 октября 2019
Сохранен
24
Сап бред. Вся надежда на вас. Тупой Кун пришёл — Сап бред. Вся надежда на вас. Тупой Кун пришёл на пару по матеше. Сам учусь в ПТУо боже . Решите номер 4, 5 и 6. Времени мало. А сам тупой как винишки на Китай городе. Только и умею что ебанутыми фразами козырять. ПОЖАЛУЙСТА ДВАЧИК. ПОМОГИ. СЛЁЗНО ТЕБЯ ПРОШУ
28 октября 2019
Сохранен
169
Так ебана. Был тред про олимпиадную задачу, который — Так ебана. Был тред про олимпиадную задачу, который потерли за 5 минут, что я писал ответ. Я продублирую, иначе нахуя писал. Вот вам нормальное решения без единого цикла. Там в треде долбоебы хуни понаписывали, аж стыдно стало. >>206071257 Очевидно, что решать в лоб это - проебать. (т.к. написать циклик перебора можно и в 7м классе) Входящее значение N. Сумма первой половины sumPart1, сумма второй половины sumPart2. Разбивка N : [x1][
25 октября 2019
Сохранен
356
Аспирант математик, отвечу на вопросы по математике. — Аспирант математик, отвечу на вопросы по математике.
24 октября 2019
Сохранен
224
Математика - расисткая наука - считают в Сиэтле — Они там совсем в своём Барнауле поехали Под безжалостный каток политкорректности уже попало немало научных дисциплин, от юриспруденции до биологии. Теперь очередь дошла и до математики: управление школьного округа Сиэтла (штат Вашингтон) предписало отныне объяснять учащимся алгебру и геометрию в рамках «курса этнических исследований». Математика изобличена как расистская наука, к которой необходим строгий подход, исключающий неверное понимание.
24 октября 2019
Сохранен
287
Аспирант математик, отвечу на вопросы. — Аспирант математик, отвечу на вопросы.
22 октября 2019
Сохранен
384
Я закончил универ и не знаю, как решать такую — Я закончил универ и не знаю, как решать такую хуйню. Решение: Оказалось, что в тупик юриста (!) ФБК поставила элементарная задачка "домик", которую педагоги частенько используют при подготовке детей к школе. В пустые клетки нужно вписать число, которое бы в сумме с соседним (указанным в столбике) было равно той цифре, что написана в "крыше" каждого домика. Складывается впечатление, что люди. которые закончили свои курсы актёр
17 октября 2019
Сохранен
154
С чего начать изучать математику если совсем тупой и не понимаешь абстракцию математики? — С чего начать изучать математику если совсем тупой и не понимаешь абстракцию математики?
18 сентября 2019
Сохранен
528
Аспирант-математик в треде, поотвечаю на вопросы. Опять я. — Аспирант-математик в треде, поотвечаю на вопросы. Опять я.
16 сентября 2019
Сохранен
37
Двач, есть вузик в который я пизец как хочу поступить, но проблема в том что я совершенно не знаю математику и физику. Что делать? — Двач, есть вузик в который я пизец как хочу поступить, но проблема в том что я совершенно не знаю математику и физику. Что делать?
13 сентября 2019
Сохранен
15
Спа б, помогите решить, вроде легко, но проеб весь 1 курс, с меня как обычно — Спа б, помогите решить, вроде легко, но проеб весь 1 курс, с меня как обычно
13 сентября 2019
Сохранен
422
Математик-аспирант, делать нехуй, отвечу на ваши вопросы если такие будут. — Математик-аспирант, делать нехуй, отвечу на ваши вопросы если такие будут.
10 сентября 2019
Сохранен
183
Насколько программисту нужно знать математику? — Насколько программисту нужно знать математику?
9 сентября 2019
Сохранен
19
Двач, выручай. 18 лвл долбаеб на связи. Завалил — Двач, выручай. 18 лвл долбаеб на связи. Завалил физику в этом году, решил за год поднять уровень. Повторил большую часть электродинамики, но на этом моменте впал в ступор. Не понимаю как выводится строчка с ЭДС, и откуда там берется синус. Знаю, что тут бывают студенты физфаков, выручайте или мне пизда
6 сентября 2019
Сохранен
42
Как упростить выражение высшей степени через — Как упростить выражение высшей степени через т. Безу, содержащее ДВЕ переменные? Срань какая-то, уже полчаса не получается, блять. пришёл к выводу что переменные необходимо делить на переменные отдельно, используя деление уголком. В итоге выходит P(x) = 9/4 ,P(y) = 4, т.е. (9/4)а⁴ + 4b^8 ОХУЕННО только вот где -3a²b⁴, которое выйдет, если прибегнуть к ФСУ сумма кубов? Призываю в тред искусственный интеллект Абу
6 сентября 2019
Сохранен
21
Изучаю математику Салям, аноны. С сегодняшнего — Изучаю математику Салям, аноны. С сегодняшнего дня буду изучать математику – так я сказал вчера в каком-то треде (http://arhivach.ng/thread/475217/#201058784 ). Выбрал три книги. Это + Waerden van der B. L. Algebra + Feferman Solomon The Number Systems foundations of algebra and analysis + Rudin Walter Principles of mathematical analysis Уже скоро в моем часовом поясе закончится сегодня, поэтому приступаю. Беру книгу Waerden van der B. L. Algebra
1 августа 2019
Сохранен
569
Чему равно 8/2(2+2) Прошлый https://2ch.hk/b/res/201078728.html — Чему равно 8/2(2+2) Прошлый https://2ch.hk/b/res/201078728.html
1 августа 2019
Сохранен
559
Тупые двачеры такие тупые, что не смогут решить этот пример для второклассников — Тупые двачеры такие тупые, что не смогут решить этот пример для второклассников
1 августа 2019
Сохранен
49
Анон, помоги понять почему так Есть пара точек, — Анон, помоги понять почему так Есть пара точек, А и Б и кратчайшее расстояние от А до Б это прямая. (Красная на рисунке). Можно построить маршрут иначе. Идти сначала по вертикали, затем по горизонтали. По идее этот путь будет длинней. (Синяя на рисунке). С другой стороны, можно ведь повернуть больше чем один раз (Зеленая функция) и чем больше будет поворотов, тем ближе эта функция будет к красной, однако по расстоянию она будет равной синей. Из
21 июля 2019
Сохранен
514
Я ПРОГРАММИСТ @ У МЕНЯ 8 МЕСЯЦЕВ ОПЫТА РАЗРАБОТКИ — Я ПРОГРАММИСТ @ У МЕНЯ 8 МЕСЯЦЕВ ОПЫТА РАЗРАБОТКИ С ДЕСЯТКОМ ПЕТПРОЖЕКТОВ @ ПО ПОРТФОЛИО И ГИТХАБУ ВИДНО, ЧТО КАЖДЫЙ НОВЫЙ ПРОЕКТ СТАНОВИТСЯ БОЛЕЕ АРХИТЕКТУРНО СЛОЖНЫМ ИЛИ ИМЕЕТ БОЛЬШЕ КАСТОМНЫХ РЕШЕНИЙ @ "ТЫ ЧМО, А НЕ ПРОГРАММИСТ, ПОТОМУ ЧТО НЕ МОЖЕШЬ ВЗЯТЬ ИНТЕГРАЛ, РЕШИТЬ ДИФУР, РАЗЛОЖИТЬ БУЛЕВУ ФУНКЦИЮ НА КНФ И ВСЕ ВСЕ ВСЕ МАТЕМАТИЧНОЕ"
20 июля 2019
Сохранен
89
Зачем российские власти содержат целые сайты о том как хуево западе? — Увидел тут тред про очередную изнасилованную немку, перешел на сайт откуда запостили новость (он типо новостной про германию) краткое содержание сайта : немцов насилуют, немцы уезжают из германии, Как же хуево в германии, церковль лютует, машины всех сбивают, пробки, бабушка от инфракта умерла, девочка описалась в пробке, мужчина покончил с собой. Там ещё два таких же сайта про англию и сша Чего они хотят добится? Это мир
14 июля 2019
Сохранен
272
Требую решения от клинка умных людей. У меня выходит чистой прибылью 10$, ответ не верный. Жду ваших решений и пояснений. — Требую решения от клинка умных людей. У меня выходит чистой прибылью 10$, ответ не верный. Жду ваших решений и пояснений.
6 июля 2019


жалоба / abuse: arhivach@airmail.cc

Отзывы и предложения