Как сейчас читать книги

топ 100 блогов lex_kravetski15.05.2025 В общем, я окончательно определился с тем, как сейчас надо читать учебники. Само собой, для этого нужен какой-то бесполезный ИИ на основе GPT, который совершенно не к чему сейчас применить. Такой вот парадокс.

Раньше я пробовал просить его разъяснять непонятные места и отвечать на дополнительные вопросы, но это, как оказалось, только часть сценария. Причём не первая.

А первая часть — хреначить в него сразу всю главу, не читая. Предварив её текстом типа такого…

«Объясни всё то, что объясняетcя в этой главе, но на русском и без запутывания. Для этого…

1. Приводи примеры, которые показывают суть конструкции, а не какие сложные задачи можно с её помощью решить.
2. Используй имена типов и переменных, которые намекают на сценарий использования этих вещей, а не однобуквенные.
3. Избегай «умных слов» — используй вместо этого те слова, которые имеют понятный смысл. Если всё-таки есть «непереводимый» на простые слова термин, то объясняй его.
4. Объясняй не только конструкцию, но и зачем она нужна и почему удобна. Для этого неплохо бы добавлять аналогии из реального мира.
5. Сопровождай примеры функций их вызовом при помощи #eval

Текст этой преамбулы, разумеется, надо адаптировать к конкретной области, но её смысл будет тот же: во-первых, для людей, а во-вторых, объясни, а не покажи, какой ты умный. Давай для всего модели, примеры и сценарии использования. Пиши на понятном языке.

Книжка просто преображается. Ну, поскольку это уже другая книжка — из прежней тут только последовательность изложения тем, да и то не всегда.

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

Оставить комментарий

Архив записей в блогах:
Который раз одна и та же хуйня!Идешь на какой-нибудь мультик с ребенком, а в баре фигурки героев-персонажей отсвечивают.Причем, просто игрушки, ессно не продают, а только с попкорном и пепси. И стоит эта поебень... До хуя стоит!!!И не выжрать ребенку ...
ЕВРЕЙСКИЕ ПРЕТЕНЗИИ 10 сентября Закончившийся в Вене XI Сионистский конгресс разразился крайне наглой резолюцией по адресу России. Хотя на каждое еврейское чиханье не наздравствуешься, поданная выходка заслуживает быть замеченной. ...
Ходят слухи, что фронт скоро рухнет, по крайней мере так обещают краскомы Движухину. Не решится ли он поднажать, мобилизовав до кучи еще несколько сот тыщ пехоты. Тем более об этом видные персонажи во весь голос говорят. Санкции не сработали, угрозы пока тоже. Еще 3-4 месяца и победа? ...
Срезала цветки календулы и бархатцев — на сушку. ...
Я по специальности пищевой биотехнолог. В 2007 году проходил от университета практику на "Хладокомбинате №1" в Питере. До этого момента я и сам любил поесть мороженого, но теперь порекомендую его лишь самоубийцам, причём в клинической стадии. ...