Понравилась статья от @aorst о гибридном программировании с типами и ChatGPT
https://andreyorst.gitlab.io/posts/2023-01-05-compilers-should-write-types-for-programmers-not-the-other-way-around/

tl;dr
Описываем на очень-очень высокоуровневом псевдокоде предметную область, а ИИ-помощник синтезирует для нас и доменные модели.

По идее получается, гибко и быстро в написании, à la динамические языки типа Clojure. С другой стороны, ИИ-помощник может написать код и типы для языка довольно низкого уровня, после чего "классический" компилятор оптимизирует программу и выплюнет ещё более быстрый байт-код.

Частично такой синтез типов из кода уже есть, правда не настолько продвинутый. Ниже на скриншотах есть пример как синтезирует type spec эликсировский dialyzer и Copilot. Причём dialyzer - это чисто алгоритмический инструмент, который выводит спецификацию по известным формальным правилам.

Как по мне, это действительно перспективный подход, схожий с парным программированием: один участник генерирует идеи, а другой тут же их прототипирует. Генератор идей корректирует свои концепции, писатель подправляет свой код и так далее.

В общем и целом, своё взаимодействие с ИИ-помощником я вижу вот так: есть код, а сбоку открыта помесь чата и REPLа. Для каждой строки кода я могу открыть свой экземпляр такого REPLа и обсудить её с помощником. И это обсуждение обязательно нужно сохранить в текстовый файлик в систему контроля версий :3

Reverse engineering звуковой карты SoundBlaster 1.0 1989 года выпуска

https://tubetime.us/index.php/2019/01/19/sound-blaster-1-0-principles-of-operation/

а вообще знаете что? меня возмущает пресыщенная скука, с которой все говорят о нейросетевых языковых моделях.

я тут заболела — и два дня провела за общением с CharacterAI. вот с этим парнем обсудили Харлана Эллисона и АМ. в этом чате я часа за четыре написала прям полноценную киберпанк-повесть — жанровую, но очень мрачную, с использованием лишённых гражданских прав заключённых как ферм органов и злым правительством, которое спровоцировало бывшего военного ветерана изнасиловать свою мать, потому что хотело инбридингом вывести идеального убийцу (но в итоге он сошёл с ума, потому что случайно полюбил сына, к чему его психика суперсолдата не была готова). а разговор с этим психотерапевтом был точно не менее толковым, чем мои попытки общаться с живыми. (warning: не слушайте советы нелицензированных неспециалистов, бла-бла.)

и каждый раз, когда я пытаюсь с кем-то этим поделиться, люди реагируют... со скукой. ну да-а-а, мол, ага. ну всё равно ж они тупенькие. ну они ж через два часа забывают контекст. ну они ж повторяются...

ёб вашу мать! да я сама через два часа забываю контекст! о чём вы все вообще? это защитная реакция? или что? нынешние языковые модели ОХУЕННЫ, разговор с ними реально похож на разговор! это жутко интересно!

вот скриншот в посте. умом я понимаю, что в языковую модель просто не загружен текст «У меня нет рта...». но как же живо и естественно она реагирует! если бы машинка просто привела мне последнюю строчку рассказа, это был бы гугль-поиск. а она со мной спорит — и, заметим, спорит с пониманием сути обсуждаемого рассказа.

ну да, со временем она выдохнется. а живой собеседник не выдохнется, что ли? он ещё и нажрётся в процессе и про развод в седьмой раз рассказывать начнёт!

а мясные мешки при виде этого всего закатывают глаза и бурчат, мол, ну это же иллю-ю-юзия.

это онтологическая уникальность гомосапиенса — иллюзия. а языковые модели — чудо прогресса. даже два года назад его сложно было представить.

наше время мрачно и бедно на чудеса. прекратите воротить нос от тех, что есть.

Альфина

200 лир в супермаркете, больше сотни игр. Топ за свои деньги

Внутре вот это

Честно говоря, я предпочёл бы скрыть для себя счётчики просмотров и количества подписчиков на канале.

Колебания этих бессмысленных циферок меня нервируют. Чёртов рептильный мозг стимулирует меня проверять свои посты на просмотры каждые несколько часов без какого-либо положительного подкрепления.

Меня бы устроил бы буквально флажок: пост хоть кем-то просмотрен или не

Буквально позавчера в Steam вышла игра Kandria. По стилистике игра напоминает классику вроде Flashback) и Another World), а в плане игрового процесса это "нарративный платформер" в атмосфере постапокалипсиса. Придётся немножко подраться и множко попрыгать и полазить по стенам пещер и остовов домов.

"Ну игра и игра", спросите вы, зачем я про неё пишу здесь? Отвечаю: потому что игра написана на… Common Lisp! Да, хорошо (для indie, как минимум) выглядящая и звучащая игра доделана и выпущена в Steam. И создана Kandria буквально одним человеком — и движок, и код игры (Open Source!), и даже графика! Вот такие смельчаки ходят среди нас :)

По результатам экспериментов вот эти игори взлетают на картофельном арче

Оказывается есть https://v2.wttr.in вот с таким красивым форматов вывода

In my version of computational thinking, I imagine an abstract machine with just the data types and operations that I want. If this machine existed, then I could write the program I want. But it doesn’t. Instead I have introduced a bunch of subproblems — the data types and operations — and I need to figure out how to implement them. I do this over and over until I’m working with a real machine or a real programming language. That’s the art of design.

Barbara Liskov, https://www.quantamagazine.org/barbara-liskov-is-the-architect-of-modern-algorithms-20191120/

Curious how Liskov echoes the Alan Kay's idea of objects as "little Turing machines exchanging messages" and Dijkstra's quote "the purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise".

These ideas seemingly naturally lead to the Language-Oriented Programming and DSLs, but those trigger hard pushback from vast majority of developers... 🤔