Понравилась статья от @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 вот с таким красивым форматов вывода