(no subject)

Jun. 10th, 2025 10:48 am
brumka: (Default)
[personal profile] brumka
Наблюдая за тем как старший внук терпеливо и старательно обучает бабушку использованию хромбука, мне мечтается чтобы каждый гугловский PM проходил через подобный процесс на свой продукт. Бабушка должна держать под рукой швабру или сковородку, которой она должна лупить придурка каждый раз, когда что-то не срабатывает.
kireev: (Default)
[personal profile] kireev
Понравилось это наглядное сравнение того, на каких широтах живут люди в США, Канаде и Европе. Тут видно, что касается населения, Канада не такая уж и северная по сравнению с Европой.

population-latitude.jpg

green_fr: (Default)
[personal profile] green_fr
Опять съездили с сестрой и её мужем в Roquebrune-Cap-Martin. На этот раз было чуть больше времени подготовиться (в прошлый раз реально за 2 дня решили, собрали вещи и поехали), поэтому я заранее поискал себе путеводитель. И нашёл не просто «Лазурное побережье» или там «Юг Франции», а вот реально путеводитель, в названии которого было Roquebrune-Cap-Martin. Понятно, что не только (специально проверил, в городке 12 000 населения), в основном это по архитектуре Монако, но плюс к нему — два французских города-спутника: Beausoleil и Roquebrune-Cap-Martin.

От нашего домика до Монте-Карло 2 остановки на электричке, и одна из статей путеводителя как раз про железнодорожный вокзал Монако. Я специально прочитал, чем отличается Монако (страна и совпадающий с ней город) от Монте-Карло (центральный район города), но в голове эти два слова так и остались синонимами, я их наверняка буду путать. Так вот, на территории Монако исторически (1860-е годы, линия Марсель — Италия) было 2 железнодорожные станции, как раз называвшиеся «Монако» и «Монте-Карло». В 1960-х цены на землю настолько выросли, что одну станцию закрыли, и линию убрали в туннель, дабы освободить место на поверхности для более выгодных построек. В 1990-х закрыли и вторую, построив подземный вокзал «Монако — Монте-Карло». Вокзал теоретически пригоден для приёма TGV, но туда они не доходят, в итоге приходящие на вокзал TER выглядят примерно как легковушки, случайно заехавшие на стоянку дальнобойщиков. Стиль вокзала однозначно напоминает парижский RER E — это не случайность, его рисовали те же люди в то же время. Отдельная ирония в том, что нынешний вокзал находится на (под) французской территории. Линия, впрочем, тоже управляется SNCF.


Read more... )

неол.

Jun. 10th, 2025 12:43 am
lxe: (Igor Ravel)
[personal profile] lxe
электронная промыслительная машина, ЭПМ см. Кибермозг ("Конец Вечности")

роботы помогают

Jun. 9th, 2025 05:36 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
 Дедушка Василий Константинович и бабушка Анастасия Маркеловна (через https://kontext-chat.replicate.dev/ ) - спасибо [personal profile] vak 



Кстати, оторваться не могу от этой фотки. Так реалистично. (Ну и комплиментарно, конечно - но меня устраивает.)

Дедушке здесь 80 лет.

chaource: (Default)
[personal profile] chaource
Reading the book https://www.amazon.de/-/en/dp/0137262744 I finally got to algebraic specification; the book explained why multi-sorted algebras are used. Then it dawned on me that I have seen a similar construction in a disguise here: https://chaource.dreamwidth.org/231660.html

By the way, I couldn't find that book online in any form, which is a pity! It's a good tutorial book, it explains things clearly and simply. I wish I could read that book earlier.

In the context of programming languages, a single-sorted algebra is just an F-algebra of some functor F. That is, we must have a type T and a function p of type F T → T, and then (T, p) is an F-algebra.

What is a multi-sorted algebra? It is a construction involving several types and as many functors and functions. For example, we may have 3 types U, V, W and three functors F, G, H (each with 3 type parameters!). Then (U, V, W) is a 3-sorted algebra of the functor triple (F, G, H) if we have three functions of types:
p1 : F U V W → U
p2 : G U V W → V
p3 : H U V W → W


Functor algebras are used in two ways for programming language theory:

- As method signatures for typeclasses that define abstract data types with given method types.

- For defining algebraic data types as initial functor algebras.

There are the corresponding ways for using multi-sorted algebras:

- As method signatures for multi-parameter typeclasses. Such typeclasses can also serve as a full algebraic specification of several abstract data types at once.

- For defining algebraic data types that are mutually recursive, as initial functor algebras.

Trying to understand initial algebra-based definitions and Church encodings for mutually recursive types is what got me first enlightened on why such constructions might be useful.

Apart from the Church encoding and initial algebras, there are important connections between functor algebras, monad algebras, and typeclass laws that I have been exploring before:

https://chaource.dreamwidth.org/236514.html

https://chaource.dreamwidth.org/237852.html

Now with multi-sorted algebras, exactly the same constructions should work. Laws of multi-sorted algebras should be specified via algebras of multi-sorted monads.

What are multi-sorted monads?Read more... )

(no subject)

Jun. 9th, 2025 01:51 pm
[syndicated profile] el_d_feed
В стране, где девчонкам,
поступающим на мануфактуры,
выдают в подарок грелки
(удобные, прочные, безопасные, под торф,
семнадцатый век, плохо с другим топливом) –
в мире похолодание, в цехах прохладно,
драгоценные рабочие руки не должны болеть.
Где женщин еще не принимают
в латинские школы,
но уже поголовно берут в обычные –
и вольнослушательницами в университеты.
Где муниципальные инспекции
проедают печень детским садам и яслям
на предмет качества питания
и соблюдения санитарных норм
(прямо скажем, с переменным успехом);
и (куда лучше) регулируют работу мельниц
и речных трамваев -
каналы – главная грузовая и пассажирская артерия,
хотя сухопутный транспорт – быстрее…

А быстрее всех – горящий ветер
с востока на запад, с юга на север,
и ледяная вода – с севера на юг,
с запада на восток…


Так вот, в стране, которую враг пытается занять с суши,
а океан – с моря,
в яме, провале, в низких землях,
где нет другой жизни, кроме той,
что отобрана у смерти здесь и сейчас
(впрочем, в этом они не одиноки),
жители время от времени видят,
на мостовой, в поле, на дрожащей поверхности воды
тень характерной формы.
Поднимают голову – и, конечно, летит.
Огромный, чешуйчатый, огнедышащий.

Да, некоторое время назад
в этих землях поселились драконы.
С обычными последствиями.

Это правда.
Про стремительность, про огонь, про жажду и жадность.
Про сокровища.
Про привычку заходить запросто – тоже.


Нет, никто не требует по девушке в год –
если бы.
Берут много больше: кровью, продовольствием…
(Какие были поначалу судебные дела:
«По какому праву развалил сарай
и сожрал вне расписания
семь штук свиней местной черной породы?»)
Деньгами – это хуже всего.
К тому же дракон быстро обрастает штатом,
стряпчими (на предмет исков), переводчиками,
буквально, партией.
У всех есть интересы…

Ну тут выходит по-разному:
за предыдущие столетия
магистраты, ремесленные цеха, торговые компании
и любые комбинации граждан
привыкли отстаивать свои прерогативы
при помощи подручных предметов –
от законов до артиллерии.
Так что время от времени на площадях кого-нибудь едят,
и не всегда это драконы.

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

То, что приходит извне, не предусматривает
ни грелок, ни детских садов.
И, кстати, не принимает мельницы за великанов –
жжет их как мельницы.
Это сейчас.

Ну а в прошлом веке сюда притекло такое,
что местные люди и местные чудища
сначала спасались вместе,
как звери от пожара,
потом дрались на одной стороне:
нельзя же уступить землю
вот этому…
сами понимаете, чему.
Нельзя же отдать жизнь, просто потому что требуют.
А потом привыкли друг к другу.
Перемешались.
Перестали различать.
Что, кстати, сильно повлияло
на трудовое законодательство
и санитарные нормы.


Теперь тень на земле – очень успокаивающее зрелище.
(Впрочем, верно и обратное:
города, каналы, носовые платки полей,
флот в море, мельничные крылья в небе,
успокаивают не хуже.
Самый надежный способ иметь дело с людьми –
завести собственных.)

Когда последний летающий гад умрет –
нет, не от рыцаря, от войны и усталости
(тяжелый перелом, воспаление легких, столетия до антибиотиков,
опасное дело – иметь сокровище, защищать сокровище),
парламент вздохнет и скажет:
«Значит, теперь будем сами.»
И как-то справится.
Во всяком случае,
они до сих пор здесь
(и живут по-прежнему,
с поправкой на технику и климат).
Чего нельзя сказать о.

Обстоятельства неизменны.
Огонь с востока на запад, с запада на восток.
Чья там тень на земле – наша смерть, чужая?


И, да, на возмущенное:
«Но мы же приравняли вас к себе,
признали людьми первого сорта,
чего ж вам еще надо?»
со стороны оккупанта
подпольщица из «красных»
презрительно дернет ртом
и ответит не «Интернационалом», не бранью,
а, как многие до и после нее,
строкой государственного гимна:
«Уже четыреста лет, - выдохнет она, -
как над нашим городом поселился дракон».
А вы кто такие?

Ветер сохранит слова, как сохраняет все.

Где-то в Ленинграде, в Кирове или в Сталинабаде
неубитый прапорщик Шварц
возьмет эту фразу
как горстку пепла из горящего воздуха,
вдохнет – и выдохнет.

Силой гравитации каждое слово
изменит значение
на противоположное.

Смысл останется прежним.

Vibe coding, day 3

Jun. 9th, 2025 02:57 pm
amarao: (Default)
[personal profile] amarao
1. Нашёлся большой баг - сделал одну фичу, сломал другую. Три рефакторинга, всё аккуратно починено.
2. Релиз (сборка артефактов). Типовая devops'овая трясина. То пакета нет, то путь неправильный, etc. 50/50 я руками и робот.
3. Написана документация для пользователя.
4. Есть сборка под пачку архитектур (кроме linux/arm, там кросс-компиляция и какие-то глупые проблемы, пока отложил). docker image, бинарные артифакты, Есть (ручная) публикация на crates.io.

Примерно 6 часов на подготовку релиза. Довольно впечатляюще, хотя сделано примерно 1/3 от хорошего продакшена (changelog'а нет, управления версиями нет, аплоад на crates.io я пока в CI приносить не хочу из-за того, что появится возня с секретами).

Итого, 3 дня от идеи до mature. С учётом моей неполной компетенции в токио и genanki, основная экономия времени была именно там. Хотя CI тоже был сделан быстрее, чем я бы сделал руками, примерно в 2-3 раза. Но... сделано только 30%, так что тут выглядит как почти паритет. Особенно, с учётом, что плюнул на робота и пошёл сам чинить сборку образов.

3 дня до production grade кода (я утверждаю, что там production grade, хотя он настолько далёк от совершенства насколько можно) и почти полного комплекта deliverables.

deliverables:

cargo install duoload

или

docker run ghcr.io/amarao/duoload:latest (или :0.1.1 для точной версии)

или бинарные артефакты: https://github.com/amarao/duoload/releases/tag/v0.1.1

вопрос о нормах

Jun. 9th, 2025 01:02 pm
avva: (Default)
[personal profile] avva
Запрошу помощи аудитории. В комментариях к своей записи про войну в Израиле я написал:

"Вообще говоря, традиционно в Израиле лидер, при котором случался провал такого масштаба (и даже меньшего), брал на себя ответственность и уходил в отставку. Это была очень хорошая и правильная норма, и после 7/10 ее выполнили разные лидеры в системе безопасности, но не сам Нетаниягу, который отказался даже риторически взять на себя ответственность. Это очень очень очень плохо, и долгосрочный вред от этого Израилю, вполне вероятно, перекрывает преимущества (сомнительные) от лидерства Нетаниягу сейчас в сравнении с тем же Ганцем."

В ответ на это Евгений Кобелев возразил:

"- традиционно в Израиле лидер, при котором случался провал такого масштаба (и даже меньшего), не брал на себя ответственность и не уходил в отставку.
А формировал правительство и занимал в нём прежние посты (Голда и Даян), продолжал работать начальником военной разведки (Хаим Герцог, Аарон Ярив и Эли Зеира) и т. п."

Кто из нас (более) прав? Мое утверждение о существовании такой исторической нормы в Израиле - является по сути верным, пусть даже можно подобрать примеры обратного? Или оно безнадежно наивно, и скорее контрпримеры, которые мне дали, подчеркивают и иллюстрируют ее наивность? Я никогда не был силен в израильской истории. Помогите мне разобраться. Спасибо.

(всегда надеюсь, что в моем журнале не нужно это отдельно проговаривать, но все же: я прошу не поддержки или "защиты", а истины, как вы ее понимаете)
[syndicated profile] zmey_gadukin_feed
Относительно военных возможностей ВС РФ во истину феноменально.
И речь не о бойцах Лахты и прочих инфогандонах, а о рядовых гражданах.
Нет, я серьезно.
Чуть ли не каждый день, очередной стратег пытается убедить меня, себя, окружающих, что Россия ещё "ничего толком не начинала", а уж если начнет, то держите меня семеро. Дескать это путен добрый.
Наивные дурачки.

Вот очередной, некто peter_irich меня снова пытался убедить, что РФ просто не хочет.
Наивный дедушка. И Россия и путен, не просто хотят, они до зубовного скрежета мечтают превратить Украину в руины. Там где они могли достать, там они это сделали. Все захваченные украинские города превратили в руины.
Но, как всегда, есть нюансы.
Выбомбить Украину из войны - это не разрушить окружённый Мариуполь или год стирать Бахмут.
Это РЕАЛЬНО совершенно другие площади и объемы. Это совершенно не те расстояния. Украина очень большая страна, на минуточку. Вам бы географию получить. И если на условный Бахмут потратили год, то сколько потратят на условный Харьков? Россиянин об этом как то не думает. У него ракеты, бомбы и вот это вот всё, появляется из ниоткуда, как в компьютерной игре.
О ракетах. Россиянин редко понимает реальную мощь как самих ракет, так и возможностей производства оных. Да, Россия сейчас производит несколько видов действительно современных, высокоточных и относительно мощных ракет. Но, изделия эти весьма сложны в производстве и весьма дорогостоящи. И если цену вопроса ещё можно игнорировать ( напечатают рублей там или вообще мобилизуют производственников и будут они за пайку ишачить), то игнорировать сроки изготовления никак не получается. Штучные изделия с долгим сроком производства. Все что Россия может произвести в месяц, тут же используется . А следовательно речь о накоплении не стоит вообще. И это можно просто тупо прослеживать по ракетным ударам, количестве ракет и сроках между ударами.
Не последний вопрос и в самой силе и мощности. Тот же калибр - это хорошая, высокоточная и дальнобойная ракета. Уже писал об этом. Но, поскольку ракета крылатая и дальнобойная, ей приходится тащить с собой кучу топлива и снижать боевую нагрузку. А потому она абсолютно не годится для уничтожения объектов, крупней небольшого здания. Собственно, и сама задача у нее такая. Никакой завод или фабрику такими ракетами не разбомбить, а если разбомбить, то понадобится просто титаническое количество калибров. И с искандером приблизительно тоже самое. Правда Искандер гораздо хуже сбивается ПВО.
Новые модификации хашек не сомненно серьезное оружие, но опять же, количество произведенных ракет ничтожно мало, что бы в какой-то короткий промежуток времени вынести промышленность и энергетику Украины. И это без учёта украинского ПВО.
Есть ещё шахеды, которых производит действительно много, но тактика их применения абсолютно террористическая. И говорить о серьезном военном уроне на общеукраинском уровне - смешно.
А что россиянам остаётся и чем они могут?
А это только тяжёлые бомбы. Фабы, одабы и конечно мощные бетонобойные бомбы.
Бомбы, в отличии от ракет, как раз относительно дёшевы и просты в производстве. Есть по истине супер мощные варианты, способные складывать целые кварталы городской застройки, но...как всегда одно "но", которое перечёркивает возможность их использования. Так же бомбы можно бросать только со стратегов, а ни один стратег не решиться залететь чуть ближе сотни км К украинской границе. Вероятность поражения тушки - 100%.
Да, не могу не упомянуть и гаубичную артиллерию, которая всегда была заточена на вынос городской застройки и опорников. Но тут гуглим дальность и прекращаем фантазировать.
Вывод: Россия не имеет средств и возможностей нарастить свое производство высокоточных средств поражения, для сколь-нибудь быстрой и успешной операции по разрушению украинской промышленности, энергосистемы, аэродромов, логистики и по. А потому наиболее актуальны средствами на данный момент есть террор шахедами и мясные штурмы каждой лесополосы.


По возможности
Приват: 4731 2106 4533 1862
PayPal: skavron.s@gmail.com

vit_r: default (Default)
[personal profile] vit_r
Pfingstmontag 2025

А кто нет?


Итак, второй насущный вопрос украинской политики.

За прошедшие три года мы узнали, что Байден сговорился с Путиным, немцев купили, британцы используют, французы обманывают, а Трамп -- это, вообще, путинский агент Краснов.

Впрочем, Офисом Президента Украины руководит кремлёвский агент Ермак. Да и Зеля тоже давно продался. (Обеспокоенные граждане в соцсетях и на ютубе всё досконально объяснят и расскажут подробности.)

Предыдущий президент, Барыга Порох, вообще, официально под санкциями и обвинён в измене.

Хоть сейчас мало кто об этом вспоминает, но на Залужном тоже висит дело по поводу его действий на начало вторжение.

Генералы под следствием. И бывшие, добольшевоенные. И нынешние, неоправдавшие. А тот, кто герой и ещё живой, так всегда найдутся знающие люди, которые обязательно объяснят, что всё не так как кажется.

Мы помним, что было в восемнадцатом с бойцами добробатов и как активно при Порохе (который сейчас жалуется на беззаконие и политическую ангажированность) сажали героев, "в домашних тапочках" остановивших российское вторжение.

Кстати, про правосудие. Главу Верховного суда Украины поймали на взятке. Не российский агент. Уже хорошо. Почти честный человек. Хотя, кто знает...

Русский язык, опять же. Продвижение кремлёвских наративов. В крайнем случае, пораженчество.

О! Да. Православие неправильного толка.

И, естественно, Арестович. Предатель из предателей. Агент из агентов.
Read more... )
amarao: (Default)
[personal profile] amarao
Добавил поддержку json'а.

Съело тот же день, как и написать первую часть. Ощущаю, что продуктивность в сильно меньше (мой эстимейт json'овой работы - примерно 2-3 дня, то есть x3 акселерация, в сравнении x5-x15 в первый день).

Проблемы:

1. пропущенная галлюцинация в спеке, приведшая к конфликту между PRD и spec, из-за чего разные куски кода тащили в разные стороны (IRL? у меня дежавю).
2. Ужасающие выкрутасы вокруг дженериков в трейтах. Json часть написалась меньше, чем за час, а вот принесение в main.rs было болью. Там сейчас неоптимально, зато легко исправлять.

Часть времени было потрачено на небольшой рефакторинг, в ходе которого я понял, что робот был прав

```
pub struct TransferProcessor<C, B>
where
C: DuocardsClientTrait,
B: OutputBuilder,
{
client: C,
builder: B,
duplicates: DuplicateHandler,
stats: TransferStats,
deck_id: String,
}
```

А я нет. Потому что client нужен не для ложной универсальности, а для моков в тестах. Примерно через час изничтожения я понял, что сделал зачем-то хуже, чем было, откатился.

Является ли сargo clippy --fix --lib -p duoload вайб-кодингом или нет?

Сейчас пытаюсь человечный рефакторинг сделать (через vibe, через vibe).

PS У cursor что-то сломалось. Они сказали, что автокомплиты потрачены (я их особо и не юзал), а вот requests продолжают работать на бесплатном тарифе, хотя там их сильно за сотни.

Да, мой стиль vibe-кодинга, это задачи, а не зажатый tab.

Если кто-то ссылку на результат пропустил, он тут: https://github.com/amarao/duoload


Upd: Первый раз в жизни у меня был коммит на два workflow, оба из которых прошли безупречно с первого раза. Первый раз!

https://github.com/amarao/duoload/commit/5cea4371b21e113b65b8a965d5e82d3b2e9fe625

о войне с хамасом

Jun. 8th, 2025 08:05 pm
avva: (Default)
[personal profile] avva
Думал написать длинную запись о том, что я думаю о текущем состоянии нашей войны, но потом понял, что вот этот краткий ответ А.М. в одной из веток комментариев (то есть мой ответ А.М.) вчера лаконично и вместе с тем полно описывает мою позицию:

Оставить у власти режим, который показал, что готов в пренебрежение всеми интересами и жизнью своих граждан пойти и резать всех нас до последнего человека в меру своих сил - что это для него САМАЯ ВАЖНАЯ ЦЕЛЬ - безумная и преступная идея. Я думаю, что с этим согласится более или менее любая страна и любое правительство за последние пару сотен лет. Я не знаю исключений. Если ты их знаешь, можем обсудить. Если нет, не понимаю, почему вообще ставится вопрос о том, чтобы Израиль стал первым таким государством.

Поэтому идет война, которая должна закончиться тем, что Хамас не существует как сила в Газе - никакая сила. Во время войны происходит много очень плохих и кровавых вещей. В том числе вполне вероятно, что мы далеко не всегда ведем себя правильно и хорошо. Думаю, что наше правительство ведет войну во многом неправильным образом, в том числе благодаря конкретно личным интересам Нетаниягу. Это очень плохо, но это то, что есть - у нас нет сейчас альтернативного Израиля и альтернативного правительства. Выходов из этого два: капитуляция Хамаса - которая может быть обставлена кучей уступок с нашей стороны, вроде разрешения лидерам покинуть Газу живыми и освобождения заключенных, но не оставлением Хамаса в Газе - или полное его уничтожение как силы в Газе путем полного ее захвата и насаждения, на первое время, военной израильской власти. Второе намного хуже, намного тяжелее, будет намного больше жертв, и палестинских, и наших солдат. Но на первое Хамас не согласен. Вот и все.

Продавец иллюзий

Jun. 8th, 2025 06:09 pm
ofeliyadd: (Default)
[personal profile] ofeliyadd

События летят в таком диком темпе, что я уже не успеваю соединять точки. Наша операция "Паутина" продержалась наверху в рейтинге пять дней, потом скандал Трампа с Маском затмил всё. В своем последнем посте на той неделе я вставила видео с сенатором Рэндом Полом: «Кто-то должен встать и закричать: «Король-то голый». Он был первым, кто обрушился на Трампа из-за его "большого красивого законопроекта". Меня удивило, что именно Рэнд Пол стал первым, кто встал против Трампа, но теперь я понимаю игру. Дальше события развивались стремительно-бурно. Сначала Маск с синяком появился на пресс-конференции в Белом доме, где они с Трампом поблагодарили друг друга за сотрудничество, Маск сказал, что его 130 дней, которые он по закону имел право работать в правительстве, закончились, и он пришел попрощаться. Трамп расхваливал Маска, назвав его «величайшим лидером бизнеса и новатором», который работал не покладая рук. Маск соврал о синяке у него под глазом, сказал, что это он играл с сыном и тот его ударил. Никто в это не поверил. Но все закончилось довольно мирно, хотя Маск выглядел жалко. И ничто не предвещало дальнейшей сварки.

Read more... )
amarao: (Default)
[personal profile] amarao
Во.

Промпт агенту:

> Nope. The problem is that there is custom implementation for validation, which should not be. It should not be part of the trait.

> recent refactoring removed generic over duocards, so we no longer need multiple implementation for deck id validation. Move this code away from all traits, make it just a normal function.

И эти люди говорят про вайб-кодинг для не-программистов?

If it compiles, it works

Jun. 8th, 2025 11:51 am
amarao: (Default)
[personal profile] amarao
Внезапно, языки программирования с высокими перилами (большим количеством проверок и защит от nonsensical code) для vibe coding куда полезнее, чем языки с расслабленными правилами, которые принимают что попало.

Если код не компилируется, вайбинг продолжается до тех пор, пока не компилируется.

А вот в условных питонах и js'ах всякие редкие условия (обработка ошибок, неожиданные типы данных в переменных и т.д.) полностью на совести LLM, а как мы знаем, no consciousness, no conscience, так что...

Возможно, развитием вайб-кодинга станет появление языка программирования максимального уровня фашизма, с минимумом срезанных углов. Никаких неявных typecasting'ов (даже в безопасных случаях), никакого operation precedence (писать всё в скобках). У того же Rust'а - отказ от неявного clone (надо? пиши clone) и т.д.

Может быть, не языка программирования, а набора правил, которые будут энфорситься на уровне компилятора (--no-sugar).
vit_r: default (Default)
[personal profile] vit_r
Pfingsten 2025

А что?



Есть два вопроса, которые возникли в последнее время и зависли без ответа. Сейчас про первый.

Украина -- не Россия.

Не будем спорить -- скажем: "Да!"

Отсюда вытекает вопрос: Украина -- не Россия, а что?

И, вот, на вопрос "А что?" ответ почему-то не находится.

Причём, даже спорного, но вменяемого варианта на горизонте не наблюдается.
Read more... )

8 часов till MVP

Jun. 7th, 2025 09:09 pm
amarao: (Default)
[personal profile] amarao
8 часов (с большими перерывами) - и я получил рабочий код в режиме 99% vibe coding. 1% - это либо изменения, которые легче самому сделать, чем сказать "исправь" (лишная строка, пропущенный импорт), либо улучшения текста справки и мелкие правки спецификци.

Что делает программа? Скачивает слова с duocards (который я использую для заучивания греческих слов) и конвертирует их в anki-формат (apkg).

В процессе обнаружилось, что достаточно знать deck id, и можно скачивать без токена.

8 часов - начиная от запроса в gemini https://g.co/gemini/share/ae2eed2e85c7

и заканчивая отладкой.

Суть процесса:

* Сначала prd
* спецификация
* скелет с unimplemented!
* описание архитектуры
* постепенное наполнение модулей кодом

Каждый модуль пишется с тестами с самого начала. Мой vibe-coded mvp имеет 67 тестов для 3 модулей. И одну вспомогательную утилиту для отладки запросов в duocards.


Считая, что я потратил день на неё, остаётся посчитать эстимейт "сделать самому". Я плохо знаю асинхронный раст (возможно, можно было бы писать и без него, но моя предыдущая попытка была с асинком), плюс пачка библиотек, про существование которых я не знал. Гипероптимистично - 5 дней. Реалистично - 15 (3 недели).

Таким образом, vibe-acceleration от 5 до 15.

Но это невероятно трудно. Это 8 часов (реально - часов 5, т.к. большая пауза) high-context работы с ревью, изменениями спецификации из-за обнаруженных изменений IRL, погружение в тяжёлый внутренний мир самого anki (оказывается, нельзя просто так apkg прочитать - я потратил часа полтора пытаясь написать реальные интеграционные тесты с реальным анки и так и не осилил).

Вайбить сложнее, чем программировать.

... Хорошо вайбить сложнее, чем хорошо программировать.
amarao: (Default)
[personal profile] amarao
Vibe coding - это:

1. Как ездить на лошади. Быстрее, но навыков надо больше, чем пешком.
2. Как непрерывное code review. Что-то поняли, но сделали не так, что-то сделали, но лучше бы не делали и т.д.

Прикольно, эффективно, но невероятно утомительно. Программировать проще.
Page generated Jun. 10th, 2025 05:38 pm
Powered by Dreamwidth Studios