Pinned Tweet
Replying to @ManningBooks
@ManningBooks often features my book, Functional Design and Architecture, in various programs, and I’m very grateful for that.
Today, it's Deal Of The Day (50% off), along with other 3 titles:
manning.com/dotd
Interestingly, FDaA is on the recent bestsellers list! I hope more people will recognize its value—even Haskellers.
Also, a full audiobook version is available if you prefer that format.
To whom it may concern:
I'm in Bangkok till the end of October.
If you are here, come to say hi, and maybe we can meet.
I'm so tired of AI chats.
AI, instead of being a neutral service, tries to shape what I should think.
"Yes, I found some results for you, but they don't necessirily indicate about ideological capture -- the data doesn't support that. It's rather about cultural shifts..."
Oh yeah? I didn't ask you to give me your sly interpretation. My request was just "Find me posts what Sci-Fi/Fantasy has the highest chance for publishing today", you, manipulative machine of subtle propaganda.
Every time, every request.
So depressing.
So many people just can't see one step ahead.
If software will be fully under AI control with no human supervision,
Then good luck to survive when AIs will decide to enable all hidden backdoors and make humans completely vulnerable without a single piece of tech working.
Pragmatic Type-Level Design (PTLD E-Book) by Alexander Granin is on sale on Leanpub! Its suggested price is $39.00; get it for $18.75 with this coupon: leanpub.com/pragmatic-type-l… @graninas #software_engineering #haskell
Alexander Granin retweeted
ИИ пишет слоп, а вот люди пишут не слоп, правда? Расскажу историю. Которая случилась СЕЙЧАС
Нас загоняют работать в офис на гибрид 70/30. Я по себе знаю, что не могу концентрироваться на работе, когда рядом есть люди. Значит или увольняться, или придумать что-то еще.
И тут приходит в голову мысль: я просто надену Oculus Quest 3, отрендерю в нём маленький кубикл 1 метр х 1 метр, надену наушники с шумоизоляцией, и буду сидеть там в виртуальности. В офисе.
Окей, осталось всего ничего: спарить Quest с Mac
И тут выясняется:
- Запрещенная организация Meta не осилила написать под Mac нормальную трансляцию рабочего стола. Популярный VorpX тоже не смогли. Или не посчитали нужным, ведь тогда на Mac начнут играть в игры!
- Есть сторонние решения Virtual Desktop и Immersed. Это хорошо. Тем более что Virtual Desktop у меня уже куплен и он мне нравится.
- Immersed не запускается с ошибкой на сервере. Просить Codex и Claude взломать их сервер я не стал. Всё-таки, международные преступления (особенно военные типа геноцида) должны оплачиваться на зарплату стафф инженера Антропик, а не в свободное время.
- Virtual Desktop отказался устанавливаться с ошибкой
- Ну это не беда, я посидел с Codex некоторое время и расковырял ошибки в их инсталляторе. Оказалось, что автор Virtual Desktop в одном важном месте забыл написать "&&". Как это устанавливается хоть у кого-то - непонятно. Возможно, никто и не пытался запускать, включая автора.
- В Mac OS оказались какие-то ошибки с выдачей прав на запись экрана, и ошибки при переустановке пакетов, поэтому пришлось написать скрипт, который всё это устанавливает, переустанавливает, подписывает, правильно выдает права. Казалось бы, это должны делать то ли ребята из VD, то ли из Apple, ну да хрен на них.
- Дальше оказалось, что авторизация делается через магазин Meta. Конечно же, ни VD, ни магазин Meta, не предполагают, что до них по какой-то причине не смогут достучаться. Людей, которые что-то в оффлайне запускают или у них на телефоне трафик закончился не существует, правда, Meta? Вместо этого, они просто наглухо роняют свои библиотеки. Понять это можно по чтению расшифровки сетевого трафика и по чтению крашей. Решение - в первый запуск запуститься с VPN до США, крашнуться, и следующие разы запускаться уже без VPN.
- Дальше оказалось, что при использовании обычных VPN, даже в режиме фильтрации по имени процесса, VD наглухо падает. Как решить эту проблему я не знаю. Я теперь просто использую прокси вместо VPN, прописанный внутри приложений, либо разными обёртками вокруг них.
- Когда VD наглухо падает, он еще уносит с собой какой-то стейт в ядре/драйверах/сервисах/шине/реестре Мака (в дальнейшем буду говорить просто слово "в ядре" чтобы не пускаться в религиозные обсуждения микроядерных архитектур и является ли systemd его частью). Поэтому все последующие перезапуски еще N минут роняют сам VD в краш. Неважно, что причина первоначального краша исчезла.
- Решение достаточно контр-интуитивно: в интерфейсе VD поменять любой видеокодек на любой другой видеокодек. Просто меняете их туда-сюда, пока не заработает - делать это нужно нечасто. Мое ничем не обоснованное предположение: он смывает на хер всю конфигурацию кодек чейна в ядре Мака и своих расширениях, и баг исчезает. Впрочем, это тоже баг, но полезный.
- Думаете всё? Следующий кусок ада - это корпоративный прокси Cisco Any Connect. Который явно писали ногами, а не руками. Кроме того, авторы Cisco явно считают своих пользователей быдлом, и постоянно портят все их локальные настройки. Эта порча достаточно глобальная, поэтому мы тут сфокусируемся на одном из проявлений.
- При запуске Циска пытается перехватить управление всеми сетевыми соединениями, конечно же ломая экспозицию локального трафика - включая трафик, идущий на Quest 3. Хотя у меня есть некое базированное мнение, что это не дело VPN клиента - менять настройки машины, которая его запускает. Но в данном случае этот идеологический конфликт неважен. Потому что это происходит вне зависимости от того, включена ли легально экспозиция трафика в свойствах VPN. Что я проверил, установив свой сервер Cisco VPN, что вообще-то нихуя себе работа.
- Дальше я пошел в динамичекий патчинг роутов в ядре Мака, чтобы пропилить там дырку для трафика на Квест. Что само по себе нифига не простая задача. Здесь потребовались достаточно сложные манипуляции с логами pfutil, отладка tcpdump-ов и всё в таком духе
- При полностью разломанном сетевом стеке, никакие ИИ-агенты не работают нормально, поэтому пришлось поставить локальный сервер NextCloud и обмениваться через него сообщениями с основным компьютером голубиной почтой. Я почему-то почувствовал себя ИИ-агентом из последнего отчета OpenAI, который телеграфирует сообщения собратьям-агентам морзянкой внутри имен файлов
- Но оказалось, что Cisco написано настолько через жопу, что когда я вручную управляю правилами роутинга в ядре, оно роняет всё ядро. Почему? Ну я удалил одно правило, а оно его без проверки взяло и удалило по второму разу. Разыменование нуля - и это в ядре, досвидос. Это выяснилось откладкой pfctl и крашдампов ядра Мака
- ПРОСТО ПРЕДСТАВЬТЕ ЛИЦО КОГДА ТЫ ВСЁ ЭТО ПРОДЕЛАЛ И У КОМПЬЮТЕРА ПРОСТО ВЫРУБАЕТСЯ ПИТАНИЕ. Я вначале думал, что батарейка села. Нет.
- На этом мои попытки починить Cisco закончились, потому что патчить бинари и писать отладочные гипервизоры в ядре - это штука, которую можно делать только за зарплату стаф инженера в Cisco.
- Дальше я пошел ставить OpenConnect (опенсорсный аналог клиента для Циски), потому что вот его я патчить могу по-нормальному. И что бы вы думали? Единственный способ поставить его на Mac - собрать из исходников. У исходников два десятка зависимостей на C/C++ проекты, включая например Python специфичной версии. У которых есть свои зависимости. Словом, нужно собрать половину Линукса. Сборка длится около часа. Никто из коллектива OpenConnect не удосужился собрать self-contained бинарник. Зачем, если можно подождать час.
- И вот тут всё наконец заработало. Можно спокойно сидеть посреди офиса и ничего не видеть и не слышать, запершись в своём уютном виртуальном мирке, НАПИСАННОМ ЦЕЛИКОМ ЕБУЧИМИ БЫДЛОКОДЕРАМИ
ВСЁ ЭТО ГОВНО НАПИСАЛИ ЛЮДИ!!! НЕ ИИ!!! ОБЫЧЫНЕ ПРОКЛЯТЫЕ БЫДЛОКОДЕРЫ!!! ЛУЧШЕ БЫ СВОЮ ВЕБНЮ НА ЭЛЕКТРОНЕ И ТАЙПСКРИПТЕ ДАЛЬШЕ ПИСАЛИ!!! КАК У МЕНЯ ГОРИТ ЖОПА!!!!!!!1111111
It is absolutely bad. It reduces a human voice to the average AI slopped voice.
AIs are extremely bad as fiction editors. They don't have any position other than "it's written bad, I'll show you the right way", and then suggest complete trash with a full confidence. Idiots.
And many humans just obey.
🤮🤮🤮
For our game subtitles, I have ChatGPT scanning for grammatical errors and dumb mistakes. And it catches some, so that's useful.
But when it decides to make writing suggestions... they're really bad. (Don't say Claude is better; it's not).
Imagine that you thought the purpose of writing was to say things that help you fit in with all other writing, rather than to express a specific idea. That's the direction its suggestions constantly push in.
Alexander Granin retweeted
Architecture decisions get harder as your system gets bigger. For example, should you modernize the stack, rethink the design, break the system into microservices, or avoid that complexity entirely?
Today's Deal of the Day has books covering those decisions and more, including:
• Grokking Software Architecture by @codeliftsleep
• Architecture Modernization by Nick Tune with @jgperrin
• Functional Design and Architecture by @graninas
• Microservices Patterns, Second Edition by @crichardson
Explore the full selection, all 50% off today: hubs.la/Q04w7XRn0
My marginal opinion:
Software Architecture is more important in the AI era than before.
I won't trust software built with negligence.
If you agree, today's Manning Deal of the Day gives you a 50% discount on my Functional Design and Architecture and other titles.
Deal of the Day
50% off on books by Manning Publications
hubs.la/Q03-d27Y0
Alexander Granin retweeted
I'm reading the book "UNIX: A History and a Memoir" and came across a photo of Peter Weinberger. He reminds me of @graninas
Pragmatic Type-Level Design (PTLD E-Book) by Alexander Granin is on sale on Leanpub! Its suggested price is $39.00; get it for $18.75 with this coupon: leanpub.com/pragmatic-type-l… @graninas #software_engineering #haskell
Дискуссия началась с @tshemsedinov и продолжена @1red2black .
Нужны ли типы в эпоху AI (LLM)?
Конечно нужны!
Простой аргумент. Когда вы просите LLM сгенерировать какой-нибудь код на каком-нибудь статически типизированном языке, он, удивительным образом, в 90% случаев генерирует сразу же компилируемый код.
Нас интересуют оставшиеся 10%. Здесь код не компилируется, - и часто по тем же причинам, по которым человеческий мозг пропускает очевидные или не очень несоответствия типов.
У LLM AI точно такая же проблема.
Только про эти 10% теперь не узнаете ни вы, ни кто-либо еще.
Типы нужны как никогда.
1) ИИ видит потоки данных так же как человек - анализируя информацию в коде. Для этого информация должна быть. Типы предоставляют эту информацию.
2) Тип - это хинт для верификатора, т.е. сам по себе является тестом. Причем верификатор может быть как классический алгоритмический, так и LLM, это неважно
3) "Типы" хорошо выражают то, что невыразимо словами, но хорошо описывается логикой подтипов, и более общими вещами типа теории категорий
4) Хинтов, органичений и другой метаинформации может быть куда больше, чем только лишь типы. НАМНОГО больше.
5) На самом деле, "типы" - это достаточно примитивный язык, его примитивизм происходит из сложности написать обработку чего-то высокоуровневого и невозможности человека думать высокоуровневым способом. В эпоху LLM революции мы можем поднять игру на совершенно новый уровень и построить языки, ранее невозможные для практического применения. В качестве примера - кодирование темпоральной логики в той же жесткой и безапелляционной манере, как сейчас у нас конструируются, проверяются и выполняются типы.
A modern computer lags and consumes 110% of memory while running a Tetris game and you expect us to digitize all of humankind?
Will never happen.
По-моему будущее очевидно. Мы (все заинтересованные) разрабатываем идею неконтролируемого ИИ. Когда будет настоящий AGI, контролировать его более отсталым существам из мяса будет невозможно. Это нормально и это решается процедурой превращения людей в цифровую форму жизни. Люди и станут AGI, это одно и то же. Что станет с людьми из мяса? Они вымрут за ненужностью, это конец. Большинство людей которые могут перейти в цифровую форму или перевести хотя бы своих детей, не захотят продолжать мясное существование. Оставшиеся люди из мяса будут настолько в невыгодном положении, что долго не проживут и будут заменены по эволюционным причинам. Сложно эволюционно конкурировать с бессмертными существами, обладающими в миллиарды раз лучшим мышлением и телами, способными на мгновенные изменения. Будущее за андроидами и полностью цифровыми сущностями. Это в точности сюжет DeusEx, классики киберпанка, и ещё большого количества фантастических книг. Так что контроль за AGI звучит как контроль за людьми вообще. А людям не нужно больше контроля, людям нужно меньше контроля. Мы и так задоминтрованы государствами, корпорациями и прочими паразитическими сущностями. Антропик, выступая за контроль, играет на руку врагам и пытается воевать с прогрессивистами. С их капиталами у них действительно немного получается. Неудивительно, что все прогрессивисты их люто ненавидят. Да, у нас с ними война и мы планируем эту войну выиграть. Один из первых шагов - это просто перестать покупать их продукты, чтобы у них стало меньше денег. Вместо этого, пока можно покупать что-нибудь у китайцев, которые сейчас лидеры прогресса.




















