Mental gym for sedimentary coders

[amarao]

Чем больше я думаю про эту мысль с реддита, тем больше я понимаю, что это жестокая правда.

Человек, который заменил физический труд на офисную работу должен ходить в зал (или иметь достаточно физически-активное хобби). Обязательно, medical requirement. Потому что машины взяли на себя всю тяжёлую фическую работу, так что человек получает гиподинамию и должен с ней бороться.

Человек, который заменил ментальный труд на понукание ai'кой должен заниматься программированием вручную, ноль помощи AI (кроме линтеров и ревью, аналог тренажёров в зале). Потому машины взяли на себя всю тяжёлую программистскую работу, так что человек получает гипологию (я долго выбирал между αποφασίζω и νομίζω, выбрал λογάω, как близкое к общеизвестному "логос").

Цель? Поддержание мозга в тонусе, well-being, возможность побыть наедине со своим мозгом, почувствовать его сильные и слабые стороны.

Добро пожаловать в новую реальность.

Я пока не решил, что лучше, взять себе тихонько продакшен-задачу с низким приоритетом и решить её самому, или leetcode-style вещи. И у того и того есть определённые плюсы. Или хобби-проект? Я немного опасаюсь хобби-проектов, потому что это project management, совершенно не "хобби" проблема и вполне себе работа которой и на работе хватает... Может быть, PR'ы в opensource проекты? Строго без AI, потому что это как трейл. Можно на машине и быстрее, но фан-то не в этом...

Comments

[kondybas]

атрофическая деменция

[amarao]

Слишком сурово. Там же в требованиях к диагнозу апраксия и афазия.

[kondybas]

Ну, ок. Можно у Уєллса позаимствовать "єлоизм".

[spqr_voldi]

Что-то аналогия с тренажёркой вызывала у меня и другие: качки-культуристы, поражающие окружающих объёмами мышления (с сомнительным практическим выхлопом), девушки, качающие попу --- тут как аналог что-то типа Сократа, привлекавшего философией юношей?

[juan_gandhi]

Какая хорошая идея насчёт Сократа!

[amarao]

Качки-программисты всегда были. Тайпклассы на Хаскеле и т.д. На любой пуристский загон всегда найдётся ещё более пуристский полумоноидальный функтор.

[juan_gandhi]

Хорошая идея.

Мне же внезапно оказалось нужно как-то бороться с народными верованиями в математике, которыми эти ИИ отравлены по самое немогу.

[spqr_voldi]

Это какими?

[juan_gandhi]

Ну как; многие, очень даже продвинутые, верят, что все математические теории основаны на теории множеств. Типа "группа - это множество, топология - это множество..." Странным образом, три вещи не основаны: теория чисел Пеано, теория множеств и эвклидова геометрия. Правда, эвклидово пространство уже считается за множество.

И вот это вот приводит к странным загадкам, на которые даются уклончивые ответы. Сейчас я обнаружил, что и с теорией категорий тоже фигня творится, и её обходят кривыми дорожками, называя действительно аксиоматическую теорию категорий "wild categories".

Я полчасика попинал чатгпт - он врёт и юлит на все эти темы.