/cht/ – chat


a237ba237b4adbdbd4fa29abf1f646fdcf40a – ``chat''

@685d68bca73a4d028981fa214f05f065 Anonymous 2015-03-13 22:54:05
test message
@abc0722195f34a5986617596d5555c91 Anonymous 2021-05-10 21:53:35
Хрестоматийный случай: деление на 0.
@2fc1552d0f3f4f98ab5ef24db3957d06 Anonymous 2021-05-12 21:42:25
@a0061237c9094088a36922c60fe32bfa Anonymous 2021-05-14 07:18:02
@b6c1fdac6b1f401abfa0fe292cedfac0 Anonymous 2021-05-14 20:44:49
@acc00b0703444c7f85158d1a0c39dc99 Anonymous 2021-05-15 00:19:55
@692358f371c64707a9dd84ac3b2738c9 Anonymous 2021-05-15 16:01:29
@3d661bc284ea4988bfed0888bb5ea599 Anonymous 2021-05-15 22:43:02
@f73124bf3aa84008b904381a8dfa6fa0 Anonymous 2021-05-17 04:42:56
hi
@2c771a5afcc045fcb72448b663f2f2a1 Anonymous 2021-05-17 04:43:08
hi there, is there a way to create a flash drive which automatically backup data when attaching to system ?
@1443875698ec4de5a51614306f9b0955 Anonymous 2021-05-17 05:19:55
@2f4c02e4d7f44c008cbd658058ab663d Anonymous 2021-05-17 05:21:01
@2c771@2c771a5afcc045fcb72448b663f2f2a1 yes, with udev and some hand-written daemon
@677bf0eff9a047fb916d9ae1a8bae712 Anonymous 2021-05-18 05:25:32
hello
@b8cc458943ae4297b148f16d4937e698 Anonymous 2021-05-18 05:25:52
anyone have instagram who wants to look at my tits?
@bd1589619bb64e9fbc6c7260e3e1b7c4 Anonymous 2021-05-18 13:28:36
@b8cc4@b8cc458943ae4297b148f16d4937e698 why not pixelfed?
@56a1e2090e8e422ea3313e2dcdc6e24a Anonymous 2021-05-19 11:22:24
Жив тут кто?
@96ce67f1d19c4e688b227a55b1a772ff Anonymous 2021-05-19 12:00:57
Нет. Всех пуками сдуло.
@902befb225164efd821212e8a4eb862e Anonymous 2021-05-22 20:37:18
Сію сію, сію сію конопелечки
@c4e9913567284241acdb51d17f32d603 Anonymous 2021-05-27 23:12:05
hi
@34b20046a1fe4e7f9c6fb14c8d97d7fb Anonymous 2021-05-27 23:12:34
helloo
@8c3e0399074f4b66916274ef596ee839 Anonymous 2021-05-28 16:53:28
@c4e99@c4e9913567284241acdb51d17f32d603 @34b20@34b20046a1fe4e7f9c6fb14c8d97d7fb
@2d29388402704350a42be371820c7208 Anonymous 2021-05-29 02:48:14
@b8acb493785b4a5c89a19fb83b113593 Anonymous 2021-05-29 09:42:54
ура зарплату дали 400 долларов
@6bbe61b9f8bb46eebaedb433d3c07cf7 Anonymous 2021-05-29 10:36:31
А я проснулся только что.
@4cf8a7b2fc8e47638f597413326a9da1 Anonymous 2021-05-30 01:34:10
hi
@3d6df78ca88e4a7a9392536ed8ea4179 Anonymous 2021-05-30 01:34:20
any credit cards here?
@8cd9956032c14665962dd7899432416a Anonymous 2021-05-30 01:47:03
Ой блядь что я придумал. Наверное хуйню. Пока не вижу ошибки. Но если всё верно, то можно будет доказывать теоремы очень легко и быстро.
@52649c4e29a942ce95d3d90837f3d813 Anonymous 2021-05-30 14:07:46
Таки хуйня.
@ba6f1514d6ee477e86e15246389ac808 Anonymous 2021-05-30 15:53:25
@52649@52649c4e29a942ce95d3d90837f3d813 Символическое вычисление?
@81e099b2aba44edebb43fbb9f4aa40e5 Anonymous 2021-05-30 16:04:06
@ba6f1@ba6f1514d6ee477e86e15246389ac808 то что я придумал.
@f4d81bb441fe4b11baf12123b1df2f7b Anonymous 2021-05-30 16:14:05
Недавно понял, что все интересные проблемы сводятся к автоматическому доказательству теорем. Смешно конечно, ведь это очевидно должно быть.
@880c21c50af14718ba8c55005383e04a Anonymous 2021-05-30 16:18:31
Например, хотелось бы вот эти проблемы решить:

1. Автоматическое доказательство теорем.
+2. Придумывание теорий (определений - аксиоматика).
+3. Ускорение программ.
+4. Нахождение программы по формальному описанию функции.
+5. Выяснение являются ли две программы равными (на одинаковых входах возвращают одинаковый результат).
+6. Сжатие без потерь, оптимальное (известно, что intelligence - это и есть сжатие).
+7. Проблема останова.

Все эти проблемы, естественно, не разрешимы в общем случае. Но нас и не интересует общее решение. Нас интересует решение для реалистичного конечного набора случаев. В реальности, мы всегда имеем дело с ограниченными ресурсами: конечной памятью, временем выполнения, размером программы. Поэтому и проблемы эти нужно решать с учётом этих ограничений. Тогда они станоятся решаемым.

Как эти проблемы между собой связаны?

В 5 нам нужно проверить утверждение "forall x, f(x) = g(x)", где f и g - это две программы. Мы должны либо найти доказательство этого утверждения, либо доказательство его отрицания. Т.е. если мы будем уметь решать проблему 1, то и 5 мы тоже сможем решить.

Мы не можем полностью свести проблему 3 к проблеме 1 т.к. нам нужно не просто доказательство существования но и чтобы нам дали пример объекта. Поэтому надо добавить к нашему списку ещё одну проблему.

1.1. Если мы доказали существование какого-то объекта (e.g. программы), то мы должны дать пример такого объекта.

Тогда проблема 3 сводится к 1 и 1.1: нам нужно сначала проверить доказуемо ли высказывание "exists g, g is faster f" и если да, то предъявить такое g.
Проблема 4 тоже сводится к 1 и 1.1: проверяем доказуемость утверждения о существовании такой программы и предъявлем эту программу если она существует.
Проблема 7 сводится к 1: проверка утверждения "program f halts on input x".
Проблема 6 сводится к 1 и 1.1: проверка утверждения "exists g, g() = x and g is the shortest such program" и предъявление такой программы если оно доказуемо.
Проблема 2 заключается в том, что у нас есть набор экспериментальных данных и нам нужно извлечь из этого теорию, т.е. наикратчайшее описание этих данных. По сути, эта проблема сводится к проблеме 6.

Получается, что все проблемы сводятся к проблеме 1 и 1.1.
@36b4f43dc083451e85276d58173c7e33 Anonymous 2021-05-30 16:41:22
1.1 тоже, на самом деле, следует из 1 если использовать конструктивистскую логику и теорию.
@930968919e404e7eb1baff0e0e621a56 Anonymous 2021-05-31 00:51:31
t
@1edc82849e8c43afa3e0f895fbfbf499 Anonymous 2021-05-31 00:51:42
est
@e259aa5e34ef4d57bde3960696c4de64 Anonymous 2021-05-31 00:52:06
sorry i dont speak communism
@45602803b71e40d4a2c1542e859bb268 Anonymous 2021-05-31 03:27:09
@f932b158464047faae581fac600644fb Anonymous 2021-05-31 12:50:29
нихуя не понял но гдето читал про нетьюринговую вычислительную модель где можно автоматически считать сложность вычислений попутно проблему остановки
@a99c198f91f44f999290ab3f324f3f82 Anonymous 2021-05-31 12:51:17
@880c2@880c21c50af14718ba8c55005383e04a пред сообщение к этому
@d43d6b355d7d459ca8150cbd90db2a41 Anonymous 2021-05-31 12:51:59
не тьюринг полную
@94767bf56ffb4f2fb9914cbaa012ae0e Anonymous 2021-05-31 17:51:08
@d43d6@d43d6b355d7d459ca8150cbd90db2a41 Для неполной по Тьюрингу модели я тебе могу сходу проблему остановки решить. Модель только дай.
@f5ac897f0fed484499e02c4d088a1e95 Anonymous 2021-05-31 18:27:09
неполные по тьюрингу модели сильно похожи?
@bffac0f5b56d47d2ad34eb6f1fd49206 Anonymous 2021-05-31 18:28:06
бля вот раньше шейдеры в gpu были неполные по тьюрингу вроде
@e9aecdf737f241cc9648a5613a5db78f Anonymous 2021-05-31 18:31:54
бох с ней с этой проблемой остановки вот сложность вычислений автоматическая интереснее
@d870ade3ba19460b8d9573e352ac8081 Anonymous 2021-05-31 19:51:53
@bffac@bffac0f5b56d47d2ad34eb6f1fd49206 А что, сейчас уже нет?
@9e7613c3205e4d9db7e0a35c7bc54be2 Anonymous 2021-06-01 08:25:43
@f5ac8@f5ac897f0fed484499e02c4d088a1e95 нет. Они отличаются выразительной мощностью.
@64220a8da19240c9b60e486c891f310b Anonymous 2021-06-01 08:29:25
Навешаные на лямюда-исчисление системы типов обладают свойством строгой нормализации, т.е. все программы в них заверщаются. Но они отличаюстя выразительностью. Чем навороченей система типов - тем больше выразительная мощностью. Например, простое типизированное лямбда исчисление и system F. В system F можно намного больше всякого выразить чем в простой лямбде. Там своя иерархия получается не тьюринг полных моделей вычисления.
@e302ab639f0c4e2bb464ff0871c26c63 Anonymous 2021-06-01 08:29:36
*лямбда
@e4f7072542ff430cb458b8374c4c54ac Anonymous 2021-06-01 08:33:57
Но нету верхней границы. Это следует из теорем Гёделя (которые следуют из неразрешимости проблемы останова, которая следует из несчётности множества всех подмножеств натуральных чисел). Можно до бесконечности усложнять систему типов, но в итоге всё равно всегда будут какие-то вычислимые функции, которые нельзя будет выразить.
@c52ef68788444e1296882c956ca65bca Anonymous 2021-06-01 13:19:00
ха смешно
@5c18d09ad3c2454d8ece0ecaa2d84286 Anonymous 2021-06-01 13:34:11
>которая следует из несчётности множества всех подмножеств натуральных чисел
это как это?
@3ba37a05bff440478dd21a8724eae72a Anonymous 2021-06-01 21:20:14
System F полная по Тьюрингу, если что.
@dea9abd7a6ee4f979f8faaf3b4410065 Anonymous 2021-06-02 03:59:27
@3ba37@3ba37a05bff440478dd21a8724eae72a Нет.
@561db47bc38240168056064f507bccf4 Anonymous 2021-06-02 04:00:24
@3ef57f95ba0b46c3ab625ea10666b2b7 Anonymous 2021-06-02 08:38:43
Мне кажется, что если что-то делать, то лучше это делать как можно эффективней. Но я не могу сказать, что это логически следует откуда-то. Это какой-то принцип получается. Типа бритвы Оккама.
@81d2b1c0e813478294008cc6a4aa99e9 Anonymous 2021-06-02 08:41:27
Принцип лени. Принцип экономии усилий.
@e305ade7d1bd4aa98d06d64697f20af9 Anonymous 2021-06-02 21:48:55
@dea9a@dea9abd7a6ee4f979f8faaf3b4410065 А, там type inference неразрешим, а не сами типы.
@7188764ef7964a35ba5ec2ef3cf2aa61 Anonymous 2021-06-03 04:57:19
hi
@d05c968847cc48ba87181c45ba8b5836 Anonymous 2021-06-03 04:57:34
i am looking for fix match. can anyone help me?
@3bea389417ec4ed499897c152f7737a4 Anonymous 2021-06-03 05:00:24
привет, я ищу дилера по исправлению ошибок для результатов. Кто-нибудь может мне помочь?
@261302a0519446af9a55a3d533b56554 Anonymous 2021-06-03 05:00:50
what's app +6596102400
@ed91fad68af344ffb4fd52bf2e3e2c04 Anonymous 2021-06-03 09:12:45
hi
@4df805d815274411a30164c40a3052a8 Anonymous 2021-06-03 09:14:19
I am assembling a hacker team. If anyone would like to join this team, tell them
@ccaa93efd5414839974cc8e26e725c4e Anonymous 2021-06-03 09:14:49
من دارم یک تیم هکری جمع میکنم اگه کسی دوست داره به این تیم بپیونده لطفا بگه
@a634e5b4871d4b9c910f7e0770640e16 Anonymous 2021-06-03 09:16:09
قطعا که ما دنبال ایرانی یا فارسی زبان ها هستیم و در حال حاضر نیاز به افراد از کشور های دیگه نیست ولی اون ها هم اگه بخوان میتونن فعالیت هایی داشته باشند
@47ffa61ce4b248ee96c603d3cf650f6d Anonymous 2021-06-03 09:17:25
ایدی من در تلگرام Rmrfrf
@2a8839d059664a8498698c6a46b34644 Anonymous 2021-06-03 09:17:36
telegram id Rmrfrf
@1bc08df0b7f7456cbf7913a5215d6d64 Anonymous 2021-06-03 09:17:43
منتظرتون هستیم
@49737face45847cfae2d45fd67722e73 Anonymous 2021-06-03 09:24:19
Паша, иди на хуй со своим телеграмом, не буду я его устанавливать.
@6bca0980eb4c4ba6bb59a79e686832e2 Anonymous 2021-06-03 09:27:08
@49737@49737face45847cfae2d45fd67722e73 so where do you chat
@e4edd1ecae9743f48d0db9f187b03d50 Anonymous 2021-06-03 09:35:10
здесь
@fa3aa7e832044210aa2e52b6279f85e4 Anonymous 2021-06-03 13:44:38
Блядь, в файрфокс опять интерфейс поменяли.
@3e7e43049bc448f488403596cd3b6a61 Anonymous 2021-06-03 13:44:54
Да как вы заебали уже.
@e549b508daba4ccb82fd6ffb35cdc841 Anonymous 2021-06-03 13:45:14
@19aa696e0a654b849ff417e65ad500e1 Anonymous 2021-06-03 16:28:42
пиздец уебищно выглядит
@3f0bf51fa8c6485096a16a7e83526e86 Anonymous 2021-06-03 16:28:49
перейду на хром наверное
@87199f38da48489a927c2a82c1eb883f Anonymous 2021-06-03 16:29:13
скорее всего прост менеджеры в мозилле на зарплате у гугла, вот и шатают
@d91ab22a36a04542a2e651ca9817d8ef Anonymous 2021-06-03 16:29:45
глобалисты же - тот же принцип, что и в их борьбе с национальными правительствами
@c15b9edc4ba14a8d9a7cd9f7b0fe4449 Anonymous 2021-06-03 18:01:56
@fa3aa@fa3aa7e832044210aa2e52b6279f85e4 У меня ничего не поменялось. ЧЯДНТ?
@29bc0c5199144188952a0a2c2eb58e42 Anonymous 2021-06-04 03:16:29
Интерефейс они адаптируют по телеметрии.
@d1eb486a96874c49a42e2177bf8a532e Anonymous 2021-06-04 03:16:37
Телеметрия -
@62e92c4446744763aa92663b9342d026 Anonymous 2021-06-04 03:17:24
это зло, все её должны отключать. Но этого не будет, конечно же.
@eb3f7a8ac293483e901e7d112a41a980 Anonymous 2021-06-04 03:17:57
Получается они интерфейс адаптируют под среднестатистичего интернет дебила.
@44fe9bfc24d543e49767fb963f361654 Anonymous 2021-06-04 03:18:53
Получается они интерфейс адаптируют под среднестатистичего интернет юзера.
@0159d598f7fd444fb66d94c40e8cb400 Anonymous 2021-06-04 03:21:04
Под вот этого вот туповотого чела, который смотрит ютуб тренды, который печает одним пальцем, для которого комп - это браузер, у которого средний интеллект.
@d2eed48acc4b4dd1980e52e02a0ad019 Anonymous 2021-06-04 13:01:43
Эх, давно фильмов не смотрел. Тяжело найти нормальный фильм.
@9084c0d43e964b1892012e0e656061de Anonymous 2021-06-04 15:30:25
такеши миике зашел вроде
@1d0edc0c57054672b58f6add3f2d07f6 Anonymous 2021-06-05 06:09:42
@29bc0@29bc0c5199144188952a0a2c2eb58e42 Они уже ничего не адаптируют. FTP-шник с архивной версией держат и всё.
@fe85b9055f094e63b10ac3a011d14f57 Anonymous 2021-06-05 09:38:32
что в gemini читать
@9fa48fea4c484475a185d758cb51d3be Anonymous 2021-06-05 10:29:00
https://www.imdb.com/title/tt8372094/ гениальный фильм, охуительно, рекомендую.
@fe7ee4a98ef84f36942ae06243a4dfcb Anonymous 2021-06-05 10:30:32
https://www.imdb.com/title/tt12680508/ хуита, говно, не рекомендую. Но местами увлекательно.
@46d4c4be1b424503b27aa3930137154a Anonymous 2021-06-05 16:35:44
@fe85b@fe85b9055f094e63b10ac3a011d14f57 туда надо не читать, а писать
@f3e9fa2c4ad2444fa22dd7c39ef8cba0 Anonymous 2021-06-05 16:44:36
а да
@158dbac56a4845dd96524b58ca44f789 Anonymous 2021-06-05 16:45:03
вообще норм зачем тут хуисосили то
@ce1a36e1c0e64533845b1e72265e141a Anonymous 2021-06-06 00:14:48
Для мотивации предлагают вести дневник достижений. IMHO, не работает, потому что в нём пишутся все подряд цели, а не те, к которым ты сейчас стремишься.
@15cf7bd638024fa39d25c2a8cf98f70a Anonymous 2021-06-06 08:20:15
@ce1a3@ce1a36e1c0e64533845b1e72265e141a Работает. Но не совсем в таком виде. Ведётся туду файл. Напротив каждый выполненной задачи ставится плюсик. В итоге этот списко и превращается в подобный "дневник достижений". Но мотивация появляется не от того, что ты его потом перечитываешь. Там другой механизм. Сейчас объясню.
@572fd0c014694ba98a58a340726d13b3 Anonymous 2021-06-06 08:22:19
Каждый раз когда ты ставишь плюсик напротив задачи, то получаешь удвольствие. Возможно небольшое, но оно есть. Это удовольствие мотивирует тебя дальше продолжать выполянять задачи.
@b4b4830044cc4ee986421c01389c8424 Anonymous 2021-06-06 08:23:06
Прикол в том, что почему-то удовольствие приходит даже от выполнения очень простых задач.
@73f9271e0b56416ebc76b79bab7048e2 Anonymous 2021-06-06 08:24:05
В процессе выполенения задачи можно столкнуться с трудностями, неприятными ощущениями, которые наоборот демотивируют продолжать.
@ac7d3add9c444c4aac55edc5eddab458 Anonymous 2021-06-06 08:29:44
Но если разбить сложную задачу на много простых, но можно как бы обмануть свой мозг. Можно контролировать баланс удовольствия/хуёвых ощущений. Чем больше маленьгих подзадач ты выполнишь, тем больше ты получишь удовольствия. Таким образом, просто количеством подзадач, которое ты сам задаёшь, можно изменить этот баланс в свою пользу.
@399edc9f5ead4fca9b52d2c52e5df32b Anonymous 2021-06-06 08:59:51
https://www.imdb.com/title/tt5918982/ говно, хуита, не рекомендую. Режисёр очевидно извращенец, дрочит на кровь и расчленёнку.