Comments / Profile of orenty7 / Habr

User

orenty7 Feb 1 2023 at 13:49

Если кому интересно, словари по стандарту должны быть отсортированы, поэтому один из клиентов вообще не торрент-файл создаёт, а непонятно что. Интересно, как при этом считается info-hash, без которого не получится отправлять запросы

Look

Просто, как дважды два четыре

orenty7 Jan 22 2023 at 13:18

Число большее всех остальных аксиоме индукции противоречит

Look

Самые впечатляющие достижения ChatGPT

orenty7 Jan 4 2023 at 08:02

Картинка была в одном из соседних постов про chatGPT

Look

Фуршет ноября

orenty7 Nov 29 2022 at 11:51

По хаскелю интересно, что читать после Vitaly Bragilevsky - Haskell in Depth. Интересны как какие-то продвинутые темы, так и устройство самого GHC. До этого читал Миран Липовача - Изучай Хаскель Во Имя Добра и Уилл Курт - Программируй на хаскель. Плюс есть небольшой опыт по написанию пет-проектов на нём.

Ещё интересна литература по агде, желательно какая-то толстая книга с подробными объяснениями и примерами доказательств на типах. Базовые программы на агде типа чисел, списков, массивов уже умею писать, хотел бы посмотреть что-то более продвинутое. Присутствуют знания по линейной алгебре на уровне второго курса ФОПФа (группы, алгебры, пространства, линейные операторы и их жордановы формы, тензоры)

Также хотел бы спросить литературу по безтиповому лямбда-исчислению и примеры проектов типа такого http://justine.lol/lambda/.

Буду очень признателен, если найдутся книги/статьи/проекты хотя бы части пунктов

Look

Пишем try-catch в C не привлекая внимания санитаров

orenty7 Nov 24 2022 at 16:09

Можно завести стек, в функции try_catch добавлять в него текущий throw, а последний throw сделать глобальной функцией. Тогда выбросить ошибку можно будет почти отовсюду и она будет пробрасываться вверх по стеку, пока не встретит функцию catch. Более того, можно сделать коды (типы) ошибок и catch-ем ловить только те ошибки, которые он может обработать

Look

Пишем try-catch в C не привлекая внимания санитаров

orenty7 Nov 24 2022 at 13:47

Сигналы не дают локальности исключений. Хотелось, чтобы как в других языках, можно было делать try-catch блоки внутри других try-catch блоков. Плюс сигналы не дают возможности удобно пробрасывать данные. В любом случае писать свою обёртку, но так нельзя всё испортить извне, например, навесив другой обработчик на этот же сигнал или вызвав setjmp где-то в коде (их предлагали использовать ниже)

Look

Вот почему нужно использовать оператор := в Python

orenty7 Aug 20 2022 at 20:03

Имхо, просто переизобрели классику от K&R

while((c = getchar()) != EOF) {...}

Look

Раздувание кода стало астрономическим

orenty7 Jul 25 2022 at 07:14

Gentoo на крайний случай

Look

Принцип работы вечного двигателя

orenty7 Jun 3 2022 at 10:38

Всё упирается в три начала термодинамики:

Термодинамическое равновесие существует (все макропараметры перестают меняться) и любая система с течением времени приходит в это состояние.
$\delta Q = \mathrm{d} U + \delta A$ -- тепло полученное системой идёт на изменение её внутренней энергии и работу
Невозможно построить циклический процесс единственным результатом которого будет передача тепла от горячего тела к холодному. Или в другой, но равносильной формулировке: невозможно построить циклический процесс единственным результатом которого будет охлаждение резервуара и превращение этой энергии в работу

Далее следует несколько простых лемм. Начнём с теорем Карно. Рассматриваем машины с двумя тепловыми резервуарами (с одним холодильником и одним нагревателем)

КПД любой обратимой тепловой машины не меньше чем КПД любой необратимой
КПД всех обратимых машин равны

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

Второе сводится к первому почти очевидно: мы можем просто рассмотреть две обратимых машины, одна из которых работает по прямому циклу и получим, что КПД обеих машин равны.

Теперь посмотрим какие тепловые машины между двумя резервуарами можно обратить. Тут тоже рассмотрим два случая:

Рабочее тело обменивается теплом с резервуаром. Тогда, чтобы процесс был обратим нужно, чтобы тепло могло течь и в обратную сторону. Если резервуар теплее РТ, то тепло может течь только от резервуара к РТ, если холоднее, то наоборот. Остаётся только один вариант -- температуры РТ и резервуара равны. Следовательно процесс изотермический
Рабочее тело не обменивается теплом с резервуаром. Тогда это адиабатический процесс

Ну, собственно и получаем, что это может быть только цикл Карно. Его КПД это $\eta = 1 - \frac{T_х}{T_н}$

А дальше, пользуясь первой теоремой Карно получаем, что $1 - \frac{Q_х}{Q_y} \le 1 - \frac{T_х}{T_н}$ . Это можно записать в другом виде:

$\frac{Q_н}{T_н} - \frac{Q_х}{T_х} < 0$

Далее, так как знак можно "вшить" в теплоту, мы получаем, что

$\frac{Q_1}{T_1} + \frac{Q_2}{T_2} \le 0$

Эту формулу при помощи специального построения можно обобщить до неравенства Клаузиуса для циклических процессов

$\sum \frac{Q}{T} \le 0$

Или, перейдя от суммы к интегралу получаем, что

$\int \frac{\delta Q}{T} \le 0$

Для квазистатический процессов неравенство превращается в равенство и мы получаем "консервативную" величину. То есть для квазистатических процессов есть функция состояния такая, что:

$\int_{1 \rightarrow 2} \frac{\delta Q}{T} = S_2 - S_1$

Эту функцию S мы и будем называть энтропией. А теперь рассмотрим циклический процесс такой, что из 1 в 2 переход был любой, а из 2 в 1 квазистатический.

$\int \frac{\delta Q}{T} = \int_{1 \rightarrow 2} \frac{\delta Q}{T} + \int_{2 \rightarrow 1} \frac{\delta Q}{T} = \int_{1 \rightarrow 2} \frac{\delta Q}{T} + S_1 - S_2 \le 0$ $\int_{1 \rightarrow 2} \frac{\delta Q}{T} \le S_2 - S_1$

А теперь, если процесс адиабатически изолирован (не обменивается теплом с окружающей средой), то под знаком интеграла у нас ноль, тогда:

$0 \le S_2 - S_1$ $S_2 \ge S_1$

Энтропия изолированной системы возрастает.

Это значит, что часть преобразований необратимы и некоторые потери принципиально невозможно назад превратить в полезную нам энергию. Финита ля комедия

P.S. Это всё рассказано в МФТИшных лекциях по термодинамике, причём очень качественно. То, что я рассказывал это конец второй лекции и третья лекция.

P.S.S. Если начала термодинамики опровергнут, то, конечно, рассуждения выше перестануть быть верными, но пока что...

Look

Физики не существует

orenty7 Apr 10 2022 at 08:48

Суть теоремы Эмми Нётер заключается в том, что если есть какое-то преобразование координат q, непрерывно зависящее от параметра a, и при этом преобразовании траектория остаётся правильной (действие остаётся минимальным), то

$0 = \frac{dS}{da} = \int_{t_a^1}^{t_a^2} dt_a \frac{d}{dt_a}\left(\frac{\partial L}{\partial \dot{q_a}} \left(\frac{\partial q_a}{\partial a} - \dot{q_a}\frac{\partial t_a}{\partial a} \right) + L \frac{\partial t_a}{\partial a}\right)$

После этого постулируем, например, что смещение не меняет правильность траектории, то есть что при сдвиге в пространстветраектория всё равно остаётся правильной, и только отсюда получаем закон сохранения импульса:

$\frac{\partial q_a}{\partial a} = 1$ $\frac{\partial t_a} {\partial a} = 0$

И подставив это в интеграл мы получим:

$\frac{\partial L}{\partial \dot{q_a}} \left(\frac{\partial q_a}{\partial a} - \dot{q_a}\frac{\partial t_a}{\partial a} \right) + L \frac{\partial t_a}{\partial a} = const$ $L\cdot0 + \frac{\partial L}{\partial \dot{q_a}}\left( 1 - \dot{q_a} \cdot 0\right) = const$ $I = \frac{\partial L}{\partial \dot{q_a}} = const$

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

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

Группы Ли так-то тоже чисто математическая конструкция, которая получает связь с реальным миром через постулаты, но, опять же, если постулатов нет, то и к физике это никакого отношения не имеет

Look

1 2 ...

19 20