Программистское
Jul. 8th, 2017 07:05 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
catpadДля своего курса эзотерического программирования неожиданно написал интерпретатор давно забытого языка TRAC.
Он даже не настолько забыт, я думаю, насколько о нём вообще никто никогда не знал. Я о нём узнал в 1982 году из чудесной книжки "Этюды для программистов" Чарльза Уэзерелла (её тогда перевели с английского). Книжка почти вся развалилась, но я её бережно храню.
С тех самых пор я хотел написать этот интерпретатор, и вот через 35 лет руки дошли.
Автор советует использовать XPL, BLISS или Фортран. Настолько извращаться я не способен, поэтому написал его на Пайтоне.
Язык состоит исключительно из макро-подстановок. Оказалось, очень здорово на нём наглядно изучать рекурсию, closures и даже lambda calculus.
Будет про это подробная лекция.
P.S. А ЖЖ этот всё-таки надо закрывать. Надоело писать в никуда.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2017-07-08 10:12 am (UTC)no subject
Date: 2017-07-08 10:16 am (UTC)Но вот видишь, я уже который пост выставляю, говорю - делаем с ребёнком мультик, реакция человеку важна по причине малого возраста. И вообще куча работы.
Ни одна, извини, сволочь не поставила не только лайк, но даже и на линк поленилась нажать. Ни одного коммента ни к одному посту.
А когда-то в ЖЖ можно было интересно разговаривать, конкурсы всякие проводить. С людьми хорошими знакомиться. Увы.
no subject
Date: 2017-07-08 10:25 am (UTC)no subject
Date: 2017-07-08 10:27 am (UTC)Но про тебя-то я как раз знаю, что ты читаешь. И ещё где-то 2 человека примерно.
Ну и ладно в общем-то.
no subject
Date: 2017-07-10 07:40 am (UTC)+1
no subject
Date: 2017-07-08 10:33 am (UTC)Молчание окружабщего пространства еще не означает что в нем никто тебя не слышит
no subject
Date: 2017-07-08 10:36 am (UTC)no subject
Date: 2017-07-08 12:01 pm (UTC)no subject
Date: 2017-07-08 12:03 pm (UTC)no subject
Date: 2017-07-08 12:22 pm (UTC)no subject
Date: 2017-07-08 12:35 pm (UTC)Целый университет открыл, чтобы с этим бороться, но он только подтверждает вышесказанное.
no subject
Date: 2017-07-08 05:05 pm (UTC)Мне кажется, устали не вообще, а устали от ЖЖ. В принципе, жежешечка интуитивно, сражаясь с собственным менеджментом, позиционирует себя как место упорядоченных лонгридов и работы ума. Это ценная ниша, не хочется её терять, и если б менеджмент что-то прочухал, то ЖЖ б воспрял.
То есть да - я считаю, что дело не в людях, а в технологиях и интерфейсах. В крайнем случае, в стадном чувстве или в моде - но не в том, что люди стали глупее или действительно впали в настоящую апатию. Ну, какие-то, может, и впали, но остальные без признаков апатии строчат все свои умные мысли в фейсбук - как в омут, из которого ничего потом не выловишь. Зато как все.
no subject
Date: 2017-07-09 12:44 am (UTC)Ну и телефоны, конечно. Раньше с десктопа удобно было писать, а что напишешь с телефона.
Про университет я тоже говорю примерно в этом же смысле: я вижу, что из, скажем, 10 людей, которые "лайкают" пост в ФБ, в лучшем случае один заходит на настоящий пост на сайте. А так как в фейсбучном посте нет ничего, кроме заглавия - какой мы из этого делаем вывод ? Печальный.
no subject
Date: 2017-07-09 07:34 am (UTC)no subject
Date: 2017-07-09 07:35 am (UTC)no subject
Date: 2017-07-08 03:38 pm (UTC)Народ из ЖЖ в силу разных причин поразбежался, аудитория сильно уменьшилась. Если скажем, журнал читали 200 человек и отвечало 3%, то это 6 человек. А если читает 20 человек, то это еще далеко не пустота, но иногда и до одного человека не дотягивает.
no subject
Date: 2017-07-09 12:45 am (UTC)Я сейчас пишу в основном сюда:
http://www.useless.school
Дублирую в ФБ: https://www.facebook.com/useless.school/
no subject
Date: 2017-07-08 04:14 pm (UTC)но другой платформы которая может его заменить для таких авторов как ты пока найти не смог.
по статистике видно что читать приходят, но коментируют намного меньше. и это не из-за жж. многое поменялось.
мне всё же кажется что обилие платформ заполонило свободное внимание.
когда жж вспыхнул - народ сюда пришёл из никуда или из личных сайтов. жж был мега агрегатором.
сейчас платформы помимо агрегации больше душат и флудят.
на этом фоне вновь поднялись rss агрегаторы и подкасты, как новая волна независимых и небольших источников мыслей.
no subject
Date: 2017-07-09 01:50 am (UTC)А как ваш подкаст - продолжаете делать ?
no subject
Date: 2017-07-09 08:18 am (UTC)могут появиться какие-то новые сети, типа инстаграма, для текстов.
я пользуюсь плюрком в осноном. там не как в жж конечно, и уровень народа не дотягивает, но активность есть, идут живые обсуждения обильно, и совсем не фейсбук по духу.
подкаст пишем иногда, на днях записали очередной эпизод, сейчас в обработке.
я конечно хочу ещё другие делать, все как-то не доберусь.
no subject
Date: 2017-07-10 10:27 pm (UTC)А инстаграм для текстов это, по-моему, твиттер.
no subject
Date: 2017-07-11 06:15 am (UTC)к примеру даже этот пост твой в твитере просто невозможно написать. разобьётся на кучу отдельных кусков. не все их разом будут видеть. коментарии вообще будут в виде каши, в которой разобраться тяжело. это хорошо только для меме и ругани подходит.
твитер очень хорош когда с новыми людьми знакомишься, особенно по работе или на конференции - лучший способ законтачиться будет твиттер. вроде как и связь есть, вроде как повод для общения, и при этом видно какие у тебя интересы, и можно личный имеил и телефон не давать.
плюрк вот тоже микроблог, на вид аналогичный твиттеру, только там много мелочей правильней сделаны, например длинный текст вставить можно в виде разворачиваемой вкладки. и комменарии с ответами. итд.
медиум по идее мог бы быть, но у них это не инстаграм для текстов, а ютюб для текстов. вроде концепция схожая, но работает иначе совсем. и они тоже в последнее время подгаживать начали. хотя трудно найти тех кто не подгаживает.
телеграм ещё есть, со своими каналами, но как-то маргинальный ресурс всё же, но потенциал есть.
no subject
Date: 2017-07-09 08:27 am (UTC)потом он просто перестал развиваться, интернет и другие платформы ушли вперёд, а в жж не появились своевременные добавления. и это заложило упадок. а уж когда суп купил то вообще ещё и помимо отсутсвия новых необходимых обновлений стали козни всякие строить.
no subject
Date: 2017-07-08 04:17 pm (UTC)сделай видео ролик об этом, лучше по-английски.
тогда будут коментарии. ютюб намного больше и жевее жж
no subject
Date: 2017-07-09 01:51 am (UTC)И потом, говорун из меня никакой.
no subject
Date: 2017-07-09 08:19 am (UTC)это не заменяет текстовые страницы, просто это рождает интерес, ознакомляет.
ютюб в этом плане очень живая платформа, много всего хорошего есть.
no subject
Date: 2017-07-08 07:03 pm (UTC)Че-то хотел - ты же в Технионе его писал, только не помню, на Си или на Паскале
no subject
Date: 2017-07-09 01:52 am (UTC)Я его ещё и на Паскале на бумаге писал, когда компьютеров не было.
no subject
Date: 2017-07-08 10:16 pm (UTC)Почему одно? Я сразу нахожу это
и ещё несколько...
no subject
Date: 2017-07-09 01:52 am (UTC)no subject
Date: 2017-07-10 09:06 am (UTC)no subject
Date: 2017-07-10 09:22 am (UTC)Вот сейчас, чтобы это написать ты даже не представляешь через какие дебри я иду.
И тут меня обвинять ну никак нельзя - пока ЖЖ был доступен с работы я и конкурсы проводил и чего только не делал. Сам знаешь.
no subject
Date: 2017-07-10 09:29 am (UTC)Просто я не прочитал твой пост как "мне стало неудобно писать здесь, думаю переехать, простите за неудобство, верю, что читатели переедут вместе со мной". Я прочитал его как "ЖЖ умер, пора перебираться на что-то более живое" - это же совсем другое, правда?
То есть, на твоём месте я правда переехал бы куда угодно. У меня одно время ЖЖ на работе был закрыт - я серьёзно занялся переездом. Просто ЖЖ успели открыть.
В качестве бонуса при переезде я бы, возможно, прикрутил здесь трансляцию для тех, кто не читает через RSS. Но это уже так, мелкие технические детали.
no subject
Date: 2017-07-10 09:29 am (UTC)no subject
Date: 2017-07-10 11:17 am (UTC)Говорим-то мы ровно об одном и том же. Я ни разу нигде не написал, что ЖЖ - плохая платформа. ЖЖ - лучшая социальная платформа для общения, когда-либо созданная. Я тут как раз и жалуюсь на то, что люди перестали в ЖЖ общаться, а не о том, что ЖЖ нехорош. И в комментарии я объясняю исключительно свои личные мотивы (достаточно веские, кстати), почему я сам почти перестал здесь писать/комментировать. И понятно, что дело здесь тоже не в ЖЖ, а в моих обстоятельствах.
Да, к сожалению, большинство людей перешло на ФБ, но проблема в том, что ФБ не есть платформа для вдумчивого общения. ФБ - это больше такой мессенджер для status updates, чтобы поддерживать знакомства, но не более того. Люди почему-то решили, что он может заменить ЖЖ. Вот о чём я жалуюсь.
no subject
Date: 2017-07-10 11:30 am (UTC)no subject
Date: 2017-07-10 06:34 pm (UTC)no subject
Date: 2017-07-10 07:14 pm (UTC)Если решите закрыть ЖЖ, оставьте ссылку, где вас можно будет читать (только не facebook, пожалуйста).
no subject
Date: 2017-07-10 10:26 pm (UTC)А пишу я в основном сюда теперь:
http://www.useless.school