-
верхний пост
Ссылки на избранные посты, чего тут было интересного.
Про язык ATS и зависимые типы:
https://thedeemon.livejournal.com/41035.html - можно начать тут
https://thedeemon.livejournal.com/tag/ats и дальше набор постов по тэгу. 2011
Про ( Read more... ) -
локальное чудо
Столкнувшись недавно с лимитом запросов к AI в Warp'e, заинтересовался наконец что можно локально у себя запустить, на машине без мощного GPU. И оказалось вовремя, китайцы тут удружили недавно. Теперь есть модели, которые довольно шустро работают на CPU, безо всяких видеокарт. Рецепт такой ( Read more... ) -
пятничное спецолимпиадное
Чё-то потянуло меня на прошлой неделе опять посмотреть на язык Swift и попробовать на нем пописать. Меня интересовало каково это жить, когда всякие массивы и прочие структуры данных это value типы с copy-on-write. Но обнаружил, что сам язык сейчас выглядит весьма симпатично по своему набору фич: тут тебе и обычные классы и структуры, и ( Read more... ) -
Warp
Когда-то давно слышал что-то про терминал Warp, но раньше он только на маках работал, а вот в феврале этого года вышел и для линукса, произведя некоторый шум (в основном возмущение тем, что посмел вести себя как продукт и предлагать при первом запуске куда-то регистрироваться и логиниться). Любопытства ради, поставил я себе его посмотреть- ( Read more... ) -
вместо радио
Недавно ветер кармы алгоритмы ютюба вынесли меня на канал Theories of Everything, где записывают длинные интервью с разными современными учеными, в первую очередь физиками, но не только. С интересом послушал Оппенхайма про его постквантовую гравитацию, Ровелли про реляционную интерпретацию КМ, Френкеля про субъективность и "проблему наблюдателя" в ( Read more... ) -
Город-сад
В начале лета ездили на неделю в Сингапур. Пару дней у меня получилось просто погулять по городу по жилым кварталам, вдали от туристических стандартных мест. Встретил выдру, котов и куриц. Попал на буддийский праздник. Поглазел на интересные дома, которые до этого лишь на картинках видел.
-
дыбрGPT
В начале лета оформил таки подписку на GPT-4 в ChatGPT. Полгода назад некоторые предрекали, что он всех нас тут заменит и понаделает революций в разных областях, но что-то пока это не произошло. Однако игрушка очень занятная и нередко полезная, stack overflow неплохо заменяет. Рассказывает мне как что-то сделать в шелле и гите, пишет небольшие ( Read more... ) -
Helix
Недавно задался вопросом какие сейчас вообще есть текстовые редакторы, работающие в терминале, чтобы использовать когда логинишься на сервер или там в докер контейнер или на телефоне. Раньше обычно vim для этих целей использовал, но настраивать его везде каждый раз лень, плагины там ставить и конфиги править, а из коробки там щастья немного. ( Read more... ) -
15
Вчера было ровно 15 лет с того дня, когда мы с женой сели на самолет из Москвы, имея билеты в один конец. Это было начало 2008-го, за полгода до вторжения в Грузию, задолго до многих громких событий. Позади был чудесный 2007-й, и ничто не предвещало. По ощущениям мы тогда не ехали от, мы ехали к. Не бежали от чего-то, кроме разве что снега и ( Read more... )
Click to view