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

TLA⁺ is more than a DSL for breadth-first search

https://ahelwer.ca/post/2024-09-18-tla-bfs-dsl/

#tlaplus

Вчера попробовал альтернативный Git-клиент от разработчиков OpenBSD - Game of Trees [1]. Чем отличается: безопасная архитектура, разделение привилегий, переработанный UX, добавлен консольный клиент tog (а-ля tig).

От использования у меня осталось приятное впечатление, из минусов - нет пакета под Ubuntu, а у меня обычно разработка на ней. К командам надо привыкать и непонятно ради чего. А вот tog мне понравился, субъективно работает побыстрее tig, которым я часто пользуюсь, и наверное я этот tig заменю на tog. Один из разработчиков GoT Stefan Sperling писал (пост был в Mastodon, но у него автоудаление настроено, поэтому пост уже не доступен), что они думают над тем, чтобы в хранилище Git хранить и другие артефакты разработки (например пулл-реквесты и тикеты). Вот это было бы интересно.

1. https://gameoftrees.org/

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

У меня из подобных устройств это бытовой робот-пылесос, он управляется через приложение, которое управляет им через внешний сервис от iRobot. В интернетах пишут как пылесос отвязать от внешнего сервиса, но все советы в основном сводятся к "поднимите свой локальный сервис, написанный Васей Пупкиным на nodejs". Продолжаю изучать вопрос.

Ещё одно из подобных устройств это IP-камера, но с ней проще - можно запретить ей на роутере ходить в интернет.

Learning the obvious lesson that if you depend on a rarely-used feature in some FOSS project and the FOSS project doesn't have an automated test for that feature, it will inevitably get broken and it is only a matter of time.