представил, как для каждой операции с отладкой тестового кластера, пинаю девопса, чтобы он это сделал за меня, а то это ниже моего engineering lead достоинства, и почему-то стало смешно.
вспоминая школу и литературу.
А у вас были в классе люди, которые объясняли преподавателю их понимание Данко, через введение функции из множества людей в точку на [0,1), или другие подобные веселые вещи?
Как поднимать себе ЧСВ, в одном чатике пилят linear types, в другом funflow, reproducible , в третьем IO подсистему с учетом join calculus (зачем это делают не совсем понятно и какие бонусы по сравнению с тем что есть, но все равно), в третьем протоколы верифицируют, в четвертом обсуждают как nix (менеджер и дистрибутив в целом развивать).
А ты сидишь и как идиот пилишь этот Excel в вебе, где компилятор из Excel в SQL самая продвинутая вещь.
Foundation (не в оригинале) прочитал. Интересно, а в таком же темпе осилить лекции и статьи по sequential calculus смогу или нет.
А кто-нибудь знает, почему у Азимова в серии Foundation книга "Основание и Земля" полностью слита. Абсолютно плоские герои, характеры которых полностью поменялись; никакие диалоги, в которых, как будто специально спрашивают глупости, чтобы выдать пафосную речь; часть диалогов повторяется чуть ли не дословно из главы в главу, тоже самое с фактами, описанием миссии и т.п., сюжет абсолютно прямолинейный.
В общем очень большой контраст с первыми книгами серии, будто это черновик или серия отдельных рассказов для журнала, но поиск по wiki не подтвердил этого.
Итого вопросы, почему так получилось и тоже ли самое в книге Prelude to Foundation (т.к. иначе нет смысла тратить на нее время).
А ни у кого нету хороших консольных интерфейсов к harvest, github issues, gmail/inbox, slack, g-calendar, telegram?
А то в браузере дофига места на чепуху съедается.
а поделитесь кто-нить хорошим конфигом для xmonad для многомониторной конфигурации
Выбор между keenesis advange 2 и ms sculpt ergo закончился заходом в местный магазин, где я купил ms ergonomic 7k за $13. Заходить в мелкие местные магазины оказывается былает полезно.
предлагаю новую концепцию бана, как только человек банит другого, то он просто не видит сообщения забаненного, при бане второго человека цензор отправляется в хэлбан а его сообщения больше никто не видит. ведь если человек пользуется банами значит он неуравновешенный и ему надо помочь.
Заметил тут #2908574, и стало интересно, а есть те, кому не пригодились школьные знания?
Мне слабо пригодилась только химия, но это потому, что у меня были проблемы с успехами по ней, так бы пригождались.
я просто оставлю это здесь
youtube.com
а есть какие-нибудь человеческие методы из мономорфного типа сделать полиморфный, и касты/коершены между ними где можно?
пример каргокульта, на эти площадки лет 5 назад из вертолета высаживался Путин, теперь люди жгут тут костры ожидая, что Путин вернётся.
сегодня написал больше кода похожего на компилятор, чем в любой другой день, прикольно.
из новостей про санкции узнал, что в моём городе есть Surface-to-Air Missile Training Centre
а какой оверхед (в ассемблерных струкциях/тиках процессора/наносекундах) у unsafe FFi вызова?
а кто добавил английского мотивационного бота? смотришь в ленту и начинает казаться, что твой английский не так уж и плох..
на hetzner периодически умирает хост, в journalctl -b -1 ничего криминального. Во логах входов тоже все хорошо.
В last:
```
reboot system boot 0.0.0.0 Wed Apr 11 02:07 still running
```
собственно время когда система перезагрузилась. Куда вообще копать можно, что логировать, что смотреть?
Hardware monitoring вроде включен (у меня на dashboard доступа нету).
Видишь код, который не очень тривиальный и использует вещи, которые кажутся ненужными? Не разбирайся, запили что попроще, другие ведь дураки, так?
Вот так эксперты из FP Complete проигнорировали использование ResourceT, и запилили bracket-like работу с ресурсами, обреча команду на несколько дней отладки кода.
кажется я совсем перестал следить за своим сленгом в этих ваших миниблогах :/