Я имел в виду немножечко другое: большое количество кода -- это всегда признание, что ты не нашёл сильную порождающую абстракцию. Демонстрируй не "умение" фигачить кучу кода как нейронки, а фактор сжатия. Алан Кэй с метапрограммированием мой любимый пример: у него фактор сжатия -- 1000, а у тебя (и вообще в мэйнстриме) -- 0.01 :)
И вот тут все паттерны и "инженерные приёмчики" перестают работать, и топовая нейронка не поможет, потому что в её датасетах ничего подобного просто нету.
Ключевым становится "супер-мета-мышление". Как Кэй вообще так мыслил? Как он находил такие абстракции? И как мне стать таким как он?
=
...Это был прогрев на мой новый мета-гайд (M)PF: Meta-(Meta-Meta-...) Principles Framework :)
Разбираем модели мышления топовых программистов и математиков и синтезируем супер-ум. Например, Гротендик совершил в своё время - соло по сути - революцию в математике, как и Кэй в программировании, и я покажу изоморфизм между их способами мышления (в категории Гротендика удалось выделить восемь уровней сознания) и универсальный способ тренировки ума. Например, как думать не над решением задачи, а над её обобщением до тех пор, пока она вообще не исчезнет. В частности, многократно вложенными генериками; рекомендую "A Little Java, A Few Patterns" почитать для разминки про наш любимый Visitor, хотя это уровни супер-мышления совсем начальные. Можно также поюзать TatSu: парсер грамматик, есть и PEG, и трансформации.
interface Adjunction<F, G>
{
Bijection<
Func<HKT<F, A>, B>,
Func<A, HKT<G, B>>
> Hom<A, B>();
}
я так понял, раст вместо шарпа тут подцепился из-за higher-kinded types? :)
=
У Кэя и Гротендика один и тот же ключевой подход к задачам. Гротендик говорит: не решай задачу, а переопредели язык, в котором задача растворится до тривиальной. Кэй говорит: не пиши сразу всю систему, а построй язык, в котором система становится абсолютно минималистичной. Это одна и та же мышца ума! И как проработаем 8 сознаний по Гротендику, базу Кэя (и др.) тоже почти получим.
Про других святых computer science не знаю, потому что начал моделировать пока только этих двоих :)
Процесс очень накладный, нужны качественные модели с хорошим уровнем рассуждений по ролям оракулов и критиков, и контекст надо держать, сотни долларов улетают только так; ну моя Лаборатория вообще сплошная благотворительность по сути.
Пацаны зарабатывают миллионы на AI-девушках, а я буду тратить