Как утверждают теоремы Гёделя, любая формальная система аксиом не может быть доказана внутри самой себя, так что если мы в принципе претендуем на составление некой общей теории устройства "всего вообще", то нам в любом случае никуда не деться от этих противоречий. Это я не к тому, что нужно удариться в религию, а к тому, что все не так уж просто с противоречиями, безотносительно того, какой системы аксиом мы будем придерживаться, так что не стоит скатываться в воинствующий догматизм в любую из сторон.
простой человек с улицы ответит, что в самолете его нет. Душнила начнет конечно донимать нас рассказами...
Но автор в посте говорит не про "душнил" и "простых людей с улицы", а утверждает, что глупый будет рассказывать про стоп-кран в самолете, а умный ответит, что его нет. Хотя фактически неправ тут будет как раз "умный". А "простые люди с улицы" вообще много интересного могут ответить, например, что зима наступает потому, что Земля отдаляется от Солнца, а на "тёмной стороне" Луны – вечная ночь, иначе почему бы ее назвали тёмной?
Если подходить к вопросу прямо буквально и формально, у поезда он останавливает колёса, а у самолета – подачу топлива. Тем не менее, слово "стоп" само по себе не подразумевает остановку всего транспортного средства, это уже перенос на него того обывательского значения, к которому мы привыкли. А вот инженеры назвали "стоп-кран", не окунаясь в подразумеваемые бытовым употреблением смыслы, потому это, во-первых, кран, а во-вторых, он выполняет функции остановки чего-либо.
p.s. Несмотря на разницу в концепции, аэродинамические тормоза по прежнему тормоза.
Они оба таки краны, по крайней мере изначально. Стоп-кран в поезде открывает тормозную магистраль, а в самолете – перекрывает подачу топлива. И оба предназначены для остановки.
«стоп-кран» => «необходимость немедленного прекращения работы двигателей»
Неважно что речь идёт о самолёте. Запомним это.
Как бы вам сказать... Не отрицая, что GhatGPT нередко строит предложения очень странно и абсурдно, именно тут он прав, по крайней мере если говорить про Ан-24.
Этот бот может придумывать интересные тексты и эссе
Последние недели весь Лондон был помешан на этой песенке. Их в бесчисленном множестве выпускала для пролов особая секция музыкального отдела. Слова сочинялись вообще без участия человека — на аппарате под названием «версификатор».
– Степан, у гостя карета сломалась… – Вижу, барин. Ось полетела, да спицы менять надо. – Починить сможешь? – За день сделаю. – А за два? – Можно и за два. – А за пять?. – Трудновато, барин. Но ежели постараться, можно и за пять… – А за десять дней? – Ну, барин, тут тогда самому не справиться. Помощник нужен.
Такое себе доказательство, учитывая что в данном случае потенциальных каналов утечки явно больше чем один. Это уже не говоря о том, что мы знаем об этом исключительно с его слов.
Если предположить, что с сегодняшнего дня новые миддлы перестанут появляться, то даже при возрасте выхода на пенсию в 45 - у нас есть около 20 лет.
Вы неявно делаете еще несколько серьезных допущений, а именно:
Что вся отрасль застынет в текущем состоянии, перестанет расширятся, и ей не потребуются новые мидлы и сеньёры
Что из текущих мидлов и сеньеров никто не будет выбывать не только в связи со смертью и болезнью, но и потому, что им, просто захотелось сменть деятельность.
Проблема self-hosted в том, что если это не холодные данные, то их очень сложно разнести физически, да и для холодных нужно иметь какое-то дополнительное место, с гарантией, что ваши диски не будут через 2 года выброшены при генеральной уборке. В итоге пожар, потоп или ограбление легко могут привести к тому, что ваши данные так же будут потеряны. Репликация в несколько независимых мест, пусть они и не self-hosted, выглядит на мой взгляд более надежно
он по ЗУМУ будет давать советы какую гайку крутить??
Вообще, я бы не стал отвечать на ваш комментарий, потому что вы просто не распознали иронию в том комментарии на который ответили, но мимо такого я пройти не смог. Если у вас на производстве инженер стоит за спиной и раздает советы, как какую гайку крутить, то дела на нем очень плохи, потому что всё о том какие, как, в какой последовательности, и с какой силой гайки крутить, должно быть описано в технической документации – спецификации, сборочном чертеже и технологической карте.
Так старый знакомый сказал что сейчас у него минимум выходит 140 руб. и за такие деньги ни кто из знакомых ему токарей не согласится
И все-таки, никто не пробовал у вас объявления размещать? Потому что сейчас я захожу на HH, ствлю фильтр от 115, беру первые случайные вакансии с вилкой 110 - 140 тыс., и вижу ровно то, о чем говорил – вахты, 11-часовые смены по 6 дней в неделю, почасовая оплата 450-500 р/час. То есть чтобы столько зарабатывать, нужно впахивать от зари до зари.
Поэтому у нас хорошему токарю разрешено приезжать в понедельник к обеду, в пятницу уезжать после обеда
Не бывает такого, чтобы всё так прекрасно, а работать никто не идет. Тут одно из двух, либо на самом деле не так все прекрасно, либо предприятие скрывает где-то эти вакансии. По моему опыту работы на производстве, токарям платят много, только если перерабатывать вечерами и выходить в выходные, тогда да – можно заработать в два раза больше стандартного офисного админа-универсала, а так +/- та же зарплата, только еще и от начальства выслушивать за отказ работать в очередные выходные.
p.s. Там кстати тоже ныли, что работать никто не хочет, хотя студенты техникумов и училищ на практике были в нормальном количестве, только платить им никто нормально не хотел, причем настолько не хотели, что я ребят этих потом в Маке встречал, хотя казалось бы плати чуть больше и выращивай кадры.
Такую трактовку впервые слышу от вас. Даже если не смотреть довольно заковырестое доказательство, то ваша трактовка звучит странно уже потому, что:
Формальная арифметика, о которых говорят эти теоремы является системой аксиом по своей сути.
Общепринято, что теоремы Гёделя связаны со второй проблемой Гильберта, которая сформулирована как "противоречивы ли аксиомы арифметики".
Его даже какой-то единой религией можно считать очень условно. Разные учения внутри буддизма могут очень сильно отличаться.
Как утверждают теоремы Гёделя, любая формальная система аксиом не может быть доказана внутри самой себя, так что если мы в принципе претендуем на составление некой общей теории устройства "всего вообще", то нам в любом случае никуда не деться от этих противоречий. Это я не к тому, что нужно удариться в религию, а к тому, что все не так уж просто с противоречиями, безотносительно того, какой системы аксиом мы будем придерживаться, так что не стоит скатываться в воинствующий догматизм в любую из сторон.
Но автор в посте говорит не про "душнил" и "простых людей с улицы", а утверждает, что глупый будет рассказывать про стоп-кран в самолете, а умный ответит, что его нет. Хотя фактически неправ тут будет как раз "умный". А "простые люди с улицы" вообще много интересного могут ответить, например, что зима наступает потому, что Земля отдаляется от Солнца, а на "тёмной стороне" Луны – вечная ночь, иначе почему бы ее назвали тёмной?
Если подходить к вопросу прямо буквально и формально, у поезда он останавливает колёса, а у самолета – подачу топлива. Тем не менее, слово "стоп" само по себе не подразумевает остановку всего транспортного средства, это уже перенос на него того обывательского значения, к которому мы привыкли. А вот инженеры назвали "стоп-кран", не окунаясь в подразумеваемые бытовым употреблением смыслы, потому это, во-первых, кран, а во-вторых, он выполняет функции остановки чего-либо.
p.s. Несмотря на разницу в концепции, аэродинамические тормоза по прежнему тормоза.
Или симулятор пресс-секретаря.
Они оба таки краны, по крайней мере изначально. Стоп-кран в поезде открывает тормозную магистраль, а в самолете – перекрывает подачу топлива. И оба предназначены для остановки.
Знаете, как-то сложно откладывать то, чего нет :)
Как бы вам сказать... Не отрицая, что GhatGPT нередко строит предложения очень странно и абсурдно, именно тут он прав, по крайней мере если говорить про Ан-24.
Фотопруф
Последние недели весь Лондон был помешан на этой песенке. Их в бесчисленном множестве выпускала для пролов особая секция музыкального отдела. Слова сочинялись вообще без участия человека — на аппарате под названием «версификатор».
– Степан, у гостя карета сломалась…
– Вижу, барин. Ось полетела, да спицы менять надо.
– Починить сможешь?
– За день сделаю.
– А за два?
– Можно и за два.
– А за пять?.
– Трудновато, барин. Но ежели постараться, можно и за пять…
– А за десять дней?
– Ну, барин, тут тогда самому не справиться. Помощник нужен.
Такое себе доказательство, учитывая что в данном случае потенциальных каналов утечки явно больше чем один. Это уже не говоря о том, что мы знаем об этом исключительно с его слов.
Вы неявно делаете еще несколько серьезных допущений, а именно:
Что вся отрасль застынет в текущем состоянии, перестанет расширятся, и ей не потребуются новые мидлы и сеньёры
Что из текущих мидлов и сеньеров никто не будет выбывать не только в связи со смертью и болезнью, но и потому, что им, просто захотелось сменть деятельность.
Без этого конкретного бага, но вполне возможно с другим, не менее серьёзным.
Проблема self-hosted в том, что если это не холодные данные, то их очень сложно разнести физически, да и для холодных нужно иметь какое-то дополнительное место, с гарантией, что ваши диски не будут через 2 года выброшены при генеральной уборке. В итоге пожар, потоп или ограбление легко могут привести к тому, что ваши данные так же будут потеряны. Репликация в несколько независимых мест, пусть они и не self-hosted, выглядит на мой взгляд более надежно
Учитывая подход Магнита, это как раз не странно. У них это приложение с самого начала криво работало.
Ну я и говорю, плохи дела у вас на производстве.
Вообще, я бы не стал отвечать на ваш комментарий, потому что вы просто не распознали иронию в том комментарии на который ответили, но мимо такого я пройти не смог. Если у вас на производстве инженер стоит за спиной и раздает советы, как какую гайку крутить, то дела на нем очень плохи, потому что всё о том какие, как, в какой последовательности, и с какой силой гайки крутить, должно быть описано в технической документации – спецификации, сборочном чертеже и технологической карте.
И все-таки, никто не пробовал у вас объявления размещать? Потому что сейчас я захожу на HH, ствлю фильтр от 115, беру первые случайные вакансии с вилкой 110 - 140 тыс., и вижу ровно то, о чем говорил – вахты, 11-часовые смены по 6 дней в неделю, почасовая оплата 450-500 р/час. То есть чтобы столько зарабатывать, нужно впахивать от зари до зари.
Не бывает такого, чтобы всё так прекрасно, а работать никто не идет. Тут одно из двух, либо на самом деле не так все прекрасно, либо предприятие скрывает где-то эти вакансии. По моему опыту работы на производстве, токарям платят много, только если перерабатывать вечерами и выходить в выходные, тогда да – можно заработать в два раза больше стандартного офисного админа-универсала, а так +/- та же зарплата, только еще и от начальства выслушивать за отказ работать в очередные выходные.
p.s. Там кстати тоже ныли, что работать никто не хочет, хотя студенты техникумов и училищ на практике были в нормальном количестве, только платить им никто нормально не хотел, причем настолько не хотели, что я ребят этих потом в Маке встречал, хотя казалось бы плати чуть больше и выращивай кадры.