кое-что понял про "инженерные дисциплины"

 Это наука объяснения существующих явлений, с применением в виде повторения тех же старых решений.

Никакая инженерная наука не помогла, к примеру, изобрести телефон, телеграф, радио, самолет, интернет, ракету, книгопечатание, искусственный интеллект... все эти вещи были сначала изобретены, а потом уже это. Вторичны эти ваши инженерные дисциплины.

Ну это еще в применении к физическим предметам, там что-то можно применить, да и то не очень. Военные самолеты сейчас, как я понимаю, изготовляются вопреки всем этим инженерным понятиям. На софтвере.

Так вот, к софтверу, как и вообще к умственной деятельности, инженерные подходы ("делай, как раньше, только чуток получше") не применимы вообще. Вы можете скопипастить, с заменой отдельных аспектов, но вы, скорее всего, проиграете. Хотя и будете объяснять, что компьютеров нужно три на всю вселенную, что 640к достаточно для потребителя, что интернет не нужен, что микросервисы - для хиппи. Понять это все можно. Сам 10 лет назад не понимал, зачем мне телефон с цветным экраном. Но принять это... да пожалуйста; но вас обойдут очень быстро. Инженеров.

Я, правда, не уверен, "инженерные дисциплины", кроме разве что сопромата, вообще инженеров касаются, или они тоже для менеджеров больше.

Спасибо за беседу; до нее до меня как-то не доходило, что вся эта инженерная херня, все эти OSI, CORBA, и прочая херня, все это разве что помогает менеджерам договориться об интерфейсе... да и то... хоть один интернетный RFC, хоть одна операционная система, хоть одна файловая система написаны этими же людьми, что выдумывали корбу да OSI? Что-то я сомневаюсь. 

dependent types ensuring async ops

Watch on YouTube

джава, скала, гмейл, интелиджей

Не «система медленная, поэтому не понравилась», а "система не понравилась, поэтому буду считать её медленной". src

23andme

Suddenly informed me that there are 15 Johnsons among my relatives. Imagine, Johnson & Johnson, and 13 more. I did not even check for Lyndon B. Мы ленивы и нелюбопытны.

мы тут выяснили с Денисом

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

"Statements, hypotheses, or theories have falsifiability or refutability if there is the inherent possibility that they can be proven false"

Я не знаю, что они имеют в виду под possibility, но короче.

И теория групп нефальсифицируема. 

С теорией категорий... я бы не гарантировал. Там все сложно в основаниях.

дыбр

В пятницу сложно вставать. Был даже соблазн "поехать на следующей". Но справился. Прочь соблазны и искусы. Ведь нигде и никогда не забудут Иисуса.

Но пока ехал на работу, занимался фигней - читал дв да фесбук. Фесбук - это просто зубы скалить с приятелями. О, Дхара зафрендила, бывшая студентка. Классная такая.

На работе еще пока ел рыбу, судоку из газеты решал. Ну лень, лень, лень.

Обратно зато ехал, таки открыл лейтек, он же латекс, он же текс, и фигачил первую главу форматировал - пока не наткнулся на такую хрень, что не показывает, в какой строке ошибка. Эх. Дома уже заканчивал.

Вообще-то мы собирались пойти прогуляться, но не пошли. Лень, и подруга занята, работает, и я занят с первой главой. Щей поел, это да, щи классно. Без хлеба, правда, а то что-то сахар высокий был.

Ну вот, закоммитил первую главу (еще работать буду), и не то чтобы доволен, а устал, устал. Слишком много устаю последнее время, подозрительно. Надо что-то менять. Например, сурьянамаскару делать 50 раз утром, 50 вечером, как некоторые профессора физики.

А, еще Капустин написал, что Скарамуччи - это скоморох. Ну и скарамуш, конечно. Мамма мия, мамма мия, мамма мия, лет ми гоу.

Под кутом украинскою ("Эйнштейн каже мову")

( под кутом украинскою )

Але поки їхав на роботу, займався фігньою - читав дв та фесбук. Фесбук - це просто зуби шкірити з приятелями. О, Дхара зафрендити, колишня студентка. Класна така.

На роботі ще поки їв рибу, судоку з газети вирішував. Ну лінь, лінь, лінь.

Назад зате їхав, таки відкрив лейтек, він же латекс, він же текс, і фігачіть першу главу форматувати - поки не натрапив на таку хрень, що не показує, в якому рядку помилка. Ех. Будинки вже закінчував.

Взагалі-то ми збиралися піти прогулятися, але не пішли. Лінь, і подруга зайнята, працює, і я зайнятий з першим розділом. Щей поїв, це так, щі класно. Без хліба, правда, а то щось цукор високий був.

Ну ось, закоммітіл першу главу (ще працювати буду), і не те щоб задоволений, а втомився, втомився. Занадто багато втомлююся останнім часом, підозріло. Треба щось міняти. Наприклад, сурьянамаскару робити 50 разів вранці, 50 ввечері, як деякі професори фізики.

А, ще Капустін написав, що Скарамуччі - це блазень. Ну і Скарамуш, звичайно. Мамма мія, мамма мія, мамма мія, років ми гоу.