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

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

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

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

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

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

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

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

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

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

Архив записей в блогах:
В мире уже начали вести разговоры о повышении пенсионного возраста… до 75 лет. Не-не, это вовсе не научная фантастика. Просто политики окончательно сошли с ума. …Во Франции два года назад наших туристов, мягко говоря, было мало. Но те, что были – наслаждались по полной. Сотни ...
ДТЭК первой в Украине запустила пилотный накопитель электроэнергии. На очереди – еще два. Что это такое и зачем они вообще нужны? Рассказывает Богдан Заика , корреспондент Лигоа.нет В конце 2017 года американский миллиардер и основатель компании Tesla Илон Маск построил за ...
Между прочим, это вам не кто-нибудь, а непосредственно Глава Фонда Солидарности BYSOL Андрей Стрижак неполживо говорит . Ну, те самые, что обещали кучу европейских или там американских денег тем эмоционально нестабильным белорусам, которые политические забастовки на предприятиях ...
предыдущие серии Когда я писала о моем восприятии Германии, оказывается, некоторые пришли в восторг от приверженности многих немцев чистоте и орднунгу. Во-первых, выйдя из скорлупы, в которой я находилась в то время, я заметила, что такая приверженность типична не для всех немцев. ...
Хотите страшилку на ночь? Да легко! Сын пришел с прогулки и между делом, вскользь, обмолвился, мол, бегали с мальчишками на гроб смотреть. - На ГРОБ???? - Ну да, там, у киоска, за гаражами. Гроб. - Надеюсь, там никого? Ну, внутри? - Нет, мам! Ты чего?)) По пути в гаражи я тщетно ...