Ещё одна гражданская инициатива,
May. 20th, 2026 07:14 pmНовая инициатива требует уточнить и разъяснить закон о Hate speech. Настоящий закон предельно расплывчат и обвинить можно кого угодно. Петиция требует чтобы речью ненависти можно было назвать только угрозы конкретным людям с ясно высказанными способами реализации этих угроз.
Посмотрим. Предыдущая петиция собрала необходимые 50 000 подписей (1% населения) всего за 3 месяца. Думаю что эта взлетит ещё быстрее.
Тем временем Финляндия отрапортовала Брюссельскому ЦК КПСС о радикальном (на 30%) снижении объёма коровьих газов и определении обновлённого финского коровьего фермерства как дружелюбного природе.
Решение было найдено в оптимизации ухода за коровами: их теперь меньше кормят и чаще доят.
Это очевидно такая мрачная английская шутка "сквозь зубы", фины это хорошо умеют.
Богомерзкiй ИИ - 17. Апокалипсисъ
May. 20th, 2026 12:48 pmНо не такой, о которомъ всѣ говорятъ - ИИ не "заберетъ" всю работу у людей. Апокалипсисъ будет заключаться въ томъ, что никакую офисную информацiонную работу нельзя будет выполнять без ИИ, потому что люди разучатся думать, читать и писать.
Студенты и школьники перестали учиться уже сегодня - за нихъ всё делаетъ ИИ безплатно. Въ 2028 году закончитъ университеты первое поколѣнiе студентовъ, которое вообще никогда не училось. Эти студенты ничего сами безъ ИИ не дѣлали - не читали, не писали, не думали. А какъ работаетъ богомерзкiй ИИ, мы знаемъ, garbage in, garbage out. Вотъ так и вездѣ будетъ. И очень задорого, потому что провайдеры заломятъ цѣны - вѣдь миллiонамъ людей безъ ИИ будетъ уже невозможно изъ дому выйти.
Если къ 2040 году еще будутъ университеты, то ихъ закончитъ поколѣнiе сегодняшнихъ дѣтей, которые пошли въ школу въ 2024 году. Эти не будутъ знать вообще никакой самостоятельной работы мысли безъ богомерзкаго ИИ. Они уже не будутъ умѣть даже связно говорить.
И вас прошу я, либералы, в упрек не ставить лично мне
May. 20th, 2026 08:00 amТри понимания
May. 19th, 2026 11:46 pmУ понимания есть градации – столь существенные, что их можно считать разными понятиями. Сходу можно выделить как минимум три.
Начнём с самого простого и распространённого. Понимание в обыденном смысле «ну, ты меня понимаешь…» есть просто уточнение, снятие омонимии. БОльшая часть жизненного опыта разделяется всеми. Все ездят на метро, зарабатывают, испытывают эмоции, сталкиваются со схожими проблемами. Общее пространство общения состоит из огромного множества ситуаций, каждая из которых по-своему уникальна и неповторима. И понимание на этом поле общего опыта нужно, чтобы указать именно необходимое, отделив его от похожего и не слишком. Зависит оно от умения адекватно передать с помощью языка нюансы сложившегося в уме образа – и, соответственно, верно воспринять описанное. В совершенстве эти качеством обладают писатели. Их талант проявляется в способности словами представить яркую картинку. Это и талант рисовальщика, с помощью нескольких линий воссоздающего узнаваемый портрет.
(no subject)
May. 19th, 2026 09:18 amOn process algebra
May. 18th, 2026 10:05 pm( Read more... )
---
I thought a bit more about process algebra. Here I have a simple picture of what "process algebra" is:
- We specify that there exist process A, process B, ...
- Each process consists of a sequence of states. States can have parameters. The sequence is specified via a regular expression grammar.
- We specify which states of which processes must occur together, and what other conditions must be satisfied.
Indeed, it is much simpler if the specification just needs to say which states must occur at the same time in two processes. The two processes must stop and synchronize at those points in their (sequential) code, and that's it. We do not need to say in which order those states occur.
( Read more... )
Барков
May. 18th, 2026 07:42 pmЭто за Финляндию стал играть Александр "Саша" Барков, сын того самого Баркова.
Он родился и вырос в Тампере, бегает за Флориду, один из лучших в NHL. Помимо прочего, владеет уверенной обводкой на маленькой скорости.
Теперь стал играть за Финляедию, видимо получил гражданство. Пиздец теперь Канаде.
Hyvä minä, hyvä me,
Hyvä meidän joukue!
Ещё заметил в товарищеской игре с Швецией (5:1) что гимн исполнял в микрофон вживую один из игроков, и исполнял неплохо для любителя.
У шведов среди игроков певца не нашлось, исполняля девчушка в хоккейной форме.
Не видел такого раньше, обычно просто музыка в записи.
unknowns
May. 17th, 2026 12:23 am"We have known knowns, known unknowns and, the worst, unknown unknowns" 🍄
На неделе перенесусь недели на 2-3-4-unknowns 😎 в приграничья Внутренней Монголии и далее в предгорные баяны-оовоо Северной Монголии. Без каждодневных смартфонов и сетей... highly likely :)) Без суеты толп и еще большей суеты "новостей", бо "что может измениться в городе ?!". И, даже есть вероятность, что напишу несколько строк самоотчета для себя любимого (красивого и умного :)) в блокнотик с грибочками на обложке. Пообщаюсь с горными и равнинными духами по возможности ... 😇
Не скучайте и не нервничайте. Мир окончательно не рухнет, как бы ИМ-НАМ этого не хотелось 🥳
Ну, и вообще, щастье есть !
* * * *
Философия экономики
May. 17th, 2026 04:43 pmЕсли в этом году население совершило покупок на бОльшую сумму чем в прошлом году, значит всё зашибись и экономика растёт, не нужно никаких сложных индексов (которые тоже впрочем скурпулёзно подсчитываются).
Мне очень нравится такой простой подход, в самом деле раз покупают больше значит у них есть деньги, значит они произвели что-то.
Однако вчера я столкнулся с неожиданным взглядом, что потребление это на самом деле не характеристика экономики, а наоборот её драйвер.
Тоже логично: если люди покупают, берут кредиты, а не копят деньги, это само собой естественно вызывает рост производства товаров. Чем больше денег на депозитах тем хуже: эти деньги могли бы работать.
Высокий уровень потребления также означает что люди не опасаются тратить, то есть чувствуют своё экономическое положение достаточно уверенным чтобы покупать и брать кредиты.
Получается, экономика напрямую зависит от оптимизма населения, и наоборот оптимизм зависит от состояния экономики. Такая идеалистическая диалектика, точно по Гегелю.
About the unreasonable uselessness of theories of mind and language
May. 17th, 2026 10:44 amAfter more than 70 years of this research and many thousands of papers and dissertations and tenured professorships, suddenly the reckoning came. In 2023 we have seen that all standard NLP tasks (summarization, question answering, translation, composition) can be solved by a stochastic pattern matcher based on a neural network. The method by which the neural network analyzes and synthesizes texts is not based on any of the available theories of language. The method is not even based on a grammar and does not operate at the level of words. The developed theories of language were shown to be not even wrong; much worse - they were shown to be irrelevant and useless.
Similarly it appears to me that a theory of consciousness will be irrelevant and useless for creating a machine that interfaces with the human brain. It is plausible that in 5-10 years the startups currently working on the brain-computer interface will build a working device that maps a person's conscious mind into some kind of external representation; "builds a mindmap" so to speak. I do not expect that the currently available "theories of consciousness" will be in any way useful or relevant to building of that machine.
«Познать себя»
May. 16th, 2026 11:41 pm
Вот почему афоризм «мыслю – следовательно, существую» ошибочен. Хотя, возможно, в русском это просто трудности перевода слова «cogito». Декарту в голову не залезешь, но если речь об истине, то она могла открыться ему только в форме: «осознаю - следовательно, существую». Европейская традиция вслед за Декартом пошла по пути осмысления этого утверждения, и «осознаю» превратилось в дым, ибо «мыслить» подобно Декарту (теперь мы в этом убедились) может и железка. А понять смысл осознанности обычному человеку становится всё труднее.
Читать больше нечего
May. 16th, 2026 09:37 pmВопросы, которые интересуютъ меня, почти нигдѣ не обсуждаются. Люди, кажется, разучились (или потеряли желанiе) писать книги и статьи такъ, чтобы интересные и важные вопросы обсуждались бы понятнымъ образомъ.
Предположимъ, я хочу что-то изучить. Не могу найти ни статей, ни учебныхъ матерiаловъ нормальныхъ. Гдѣ-то примѣрно въ 1980-е годы движенiе науки прекратилось и настало смутное время. Все, опубликованное послѣ 2000 года, можно, кажется, просто выкидывать.
Примѣры вопросовъ, которые меня интересовали:
( Read more... )
Торф
May. 16th, 2026 02:40 pmЯ уже писал о торфе: Брюссельский ЦК КПСС запретил сжигать торф для производства энергии.
Наши посылали торф в Швецию, которая давно игнорирует брюссельские эдикты. Шведы его сжигали и возвращали нам энергию, небесплатно конеччно.
Теперь про СО2 как парниковый газ приводящий к потеплению стало говорить уже неприлично, поэтому Брюссель отступил на линию "а он невозобновляемый!"
Такой бред конечно никого не устроил и петиция мгновенно собрала 50 000 подписей необходимых для рассмотрения в Парламенте.
Очень грамотно всё сделали, молодцы!
-- это народ, сами видите, что мы можем сделать?
Scaling
May. 15th, 2026 07:09 pmДопустим, одна часть тела нагрета. Как быстро установится равновесие?
Характерный градиент температуры T это T / L, где L размер тела. Поток тепла пропорционален градиенту умноженному на площадь, P = T / L × L^2 × k = Т × L × k, где k -- коэффициент теплопроводности.
Суммарное тепло потребное на нагрев холодной части это Q = C × T = c × L^3 × T, где с -- теплоёмкость единицы объёма.
Время есть полное тепло делённое на мощность потока тепла, t = c × L^2 / k, температура уходит и время установления равновесия просто пропорционально квадрату размера тела.
Добавим, что коэффициент теплопроводности обычно пропорционален теплоёмкости, поэтому можно сравнивать любые тела.
В качестве примера определим время тепловой релаксации Земли, взяв за образец кубик со стороной 1 см, который релаксирует примерно за минуту как нам говорит житейский опыт. Тогда Земля будет остывать за время (10 000 000 м / 0,01 м)^2 × 60 сек = 3 триллиона лет.
Проверяйте.
Haskell exercises
May. 15th, 2026 02:34 pmhttps://wp.doc.ic.ac.uk/ajf/haskell-tests/
A very impressive selection of exam problems, from binary decision diagrams and other functional data structures to type inference and even symbolic integration algorithms.
Students were supposed to sit for 3 hours in a controlled environment (a specially configured Linux workstation with no Internet access) and solve the assignments. The (now retired) professor wrote that typically about 5% of students actually could solve them.
In fact some younger colleagues from my current job graduated from Imperial.
