DL
Оно само по себе ничего не делает, просто дёргает емаксофункции
Нормально.
Ненормально продолжать его юзать более 3 недель. Потому что за это время должно стать очевидно, что пора от него отказываться.
Size: a a a
2021 August 12
b
значит у меня есть ещё 18 дней
b
>книге для школьников про категории
для школьников уже книги по CT пишут?
для школьников уже книги по CT пишут?
a
Математики иногда просто пишут книги для школьников.
Lawvere, Schanuel — Conceptual Mathematics: A First Introduction to Categories
Посмотрите на нее в goodreads, найдете знакомое имя среди юзеров
Lawvere, Schanuel — Conceptual Mathematics: A First Introduction to Categories
Посмотрите на нее в goodreads, найдете знакомое имя среди юзеров
b
Ну то что математики пишут книги для школьников это мне известно, но чтобы CT применяли к элементарной математике и показывали школьникам — вот что удивительно для меня
>Посмотрите на нее в goodreads, найдете знакомое имя среди юзеров
:think:
>Посмотрите на нее в goodreads, найдете знакомое имя среди юзеров
:think:
a
Хотя нет, не найдете. Эти сайты ненадежны в этом плане. John Wiegley там отмечался.
AS
что ж ты тогда не разобрался? если она для школьников;)
b
это как сказ про то, что математики настолько возвысились в своих абстракциях, что уже не могут решать школьные задачки
AS
narrowing - это же "показывать только выбранный регион"? я что-то не очень понимаю как это можно связать с построением набора продолжений в точке
a
MK
Вводи команды через m-x когда не знаешь бинд, он после исполнения подскажет что жать
MK
Изучил половину имакса через них
a
Ну конкретно про determination и choice мне его объяснения не зашли. Бывает.
2021 August 13
Aß
когда кто-то шутит про дедов, а это оказывается и не шутка
DL
а если юзать counsel-M-x - можно даже не ждать выполнения, да
DL
шутка, но несмешная, если в 2021 году емаксеры делают работу за программу - это печально
DL
мне вот щас понадобилось выдать список ссылок на пикчи с твитора, которые я посылал приятелю на днях и найти нужную…
M-x counsel-yank-pop, "twimg", M-x ivy-occur, и тупо тыкаем по ссылкам
M-x counsel-yank-pop, "twimg", M-x ivy-occur, и тупо тыкаем по ссылкам
DL
а если запилить экшн или заюзать embark - можно даже не оккурить