Ну, надо сказать что действительно за пару лет цены выросли минимум в полтора раза. Не всякая компания может повысить ценному специалисту зарплату в полтора раза. То есть если маленькая, неформальная то может после разговора с шефом, если формальная с кучей грейдов и систем оценки - то не может
AC essentially states that for any collection of non-empty sets, it's possible to choose one element from each set. This seems straightforward, but in some cases, this choice cannot be explicitly defined, which is problematic in constructive mathematics.
Principle of Excluded Middle (PEM):
PEM asserts that for any proposition A, either A is true or A is false (¬A is true). In classical logic, this is a fundamental principle, but in constructive logic, it is not always accepted because it can lead to non-constructive proofs.
The Connection:
In constructive set theory, when AC is combined with certain additional principles (like Predicative Comprehension, Extensionality of Functions, and Two Distinct Individuals), it can be shown to imply PEM, according to the Stanford Encyclopedia of Philosophy. This connection highlights how AC, which seems innocent in classical mathematics, can lead to non-constructive consequences when applied in a constructive framework.
Но вообще вариант логики на сервере - это как раз идеальный вариант для линий с большим latency. Вызываем exec GetClientInfo 13455 и получаем датасеты про клиента за один roundtrip. Надо там привязать платёжку к счету - exec AttachPayment номерсчета, номерплатежки. Никакого ORM, один roundtrip.
В системах где все на stored procedures есть плюсы - все делается за один запрос!
Мне кажется основная проблема была в том, что (даже считая что вы все сделали полностью и идеально) вы добавили новую сущность, которая написана в одно рыло, сложная, соответственно без community support, с полным bus factor, и все это надо развивать и поддерживать в дополнение к существующей, при этом менеджеры уже знали, что из тех айтишников останется два ...
Автор, я все понимаю. Но вот вы сдали машину в сервис, потому что мотор плохо тянет. Через шесть месяцев вам ремонтник, светясь от счастья, говорит, что с самим двигателем ничего не получилось, зато в свободном месте в багажнике он поставил дополнительно двухтактный мотор от инвалидки (MySQL) и переделанный двигатель на основе мопеда, правда подавать бензин и искру надо вручную (contains и джойн пока нет).
Ещё в таблице сравнений Пиво vs Смузи
DЕЖИЦЕ НОТ ФОУНД
(Из молодости на фрязенских терминалах)
То есть пересказ или школьное сочинение могут нарушать copyright?
Мне интересно, а как живут продавщицы пятерочки?
Ну, надо сказать что действительно за пару лет цены выросли минимум в полтора раза. Не всякая компания может повысить ценному специалисту зарплату в полтора раза. То есть если маленькая, неформальная то может после разговора с шефом, если формальная с кучей грейдов и систем оценки - то не может
Axiom of Choice (AC):
AC essentially states that for any collection of non-empty sets, it's possible to choose one element from each set. This seems straightforward, but in some cases, this choice cannot be explicitly defined, which is problematic in constructive mathematics.
Principle of Excluded Middle (PEM):
PEM asserts that for any proposition A, either A is true or A is false (¬A is true). In classical logic, this is a fundamental principle, but in constructive logic, it is not always accepted because it can lead to non-constructive proofs.
The Connection:
In constructive set theory, when AC is combined with certain additional principles (like Predicative Comprehension, Extensionality of Functions, and Two Distinct Individuals), it can be shown to imply PEM, according to the Stanford Encyclopedia of Philosophy. This connection highlights how AC, which seems innocent in classical mathematics, can lead to non-constructive consequences when applied in a constructive framework.
Ту статью рекомендую, длинная но интересная
Из интересного добавлю: из аксиомы выбора выводится принцип исключённого третьего, поэтому она несовместима с интуиционизмом
Старший 1999 года
Они родились ещё в старом теплом ламповом мире
Есть, 2шт
Которая, в свою очередь, вызвана просадкой во время печенегов
Я слышал что особенно сильно рождаемость упала после известных событий по известным причинам
Это да, я почти не могу прокомментировать тут ни один пункт, потому что большинство... кхе кхе... будет не по теме Хабра
Вроде в южной Корее выделили дохрениллион денег на разные печеньки тем кто рожает и ... не помогло
Но вообще вариант логики на сервере - это как раз идеальный вариант для линий с большим latency. Вызываем exec GetClientInfo 13455 и получаем датасеты про клиента за один roundtrip. Надо там привязать платёжку к счету - exec AttachPayment номерсчета, номерплатежки. Никакого ORM, один roundtrip.
В системах где все на stored procedures есть плюсы - все делается за один запрос!
Мне кажется основная проблема была в том, что (даже считая что вы все сделали полностью и идеально) вы добавили новую сущность, которая написана в одно рыло, сложная, соответственно без community support, с полным bus factor, и все это надо развивать и поддерживать в дополнение к существующей, при этом менеджеры уже знали, что из тех айтишников останется два ...
Автор, я все понимаю. Но вот вы сдали машину в сервис, потому что мотор плохо тянет. Через шесть месяцев вам ремонтник, светясь от счастья, говорит, что с самим двигателем ничего не получилось, зато в свободном месте в багажнике он поставил дополнительно двухтактный мотор от инвалидки (MySQL) и переделанный двигатель на основе мопеда, правда подавать бензин и искру надо вручную (contains и джойн пока нет).
И вообще, бедный LLM слеп, глух, и в каждом новом диалоге все забывает, как в фильме мементо. Вот дадите тело и континуальность - тогда и посмотрим
Да, я думаю что человек это LLM + некий писатель и читатель промптов
Секс ботов забыли