lxe: (Iron Sky)
[personal profile] lxe
Циркуль-штанген — плотный небосвод.
Циркуль-штанген — что такое год?
Циркуль-штанген — звезд на свете нет,
Циркуль-штанген — не несите бред.

Ксенофобию питаем — этот остров обитаем,
Этот остров обитаем, циркуль-штанген!
Было б счастье постоянно, каб не Каммерер поганый,
Каб не Каммерер поганый, циркуль штангин.

Нас ведет дорогой бурь и гроз
Циркуль-штанген — радостный гипноз.
Циркуль-штанген — всех нас надо, клять,
Циркуль-штанген, воодушевлять.

Ксенофобию питаем — этот остров обитаем,
Этот остров обитаем, циркуль-штанген!
Было б счастье постоянно, каб не Каммерер поганый,
Каб не Каммерер поганый, циркуль штангин.

привет вам, птицы

Jun. 25th, 2025 11:30 pm
avva: (Default)
[personal profile] avva
Очень люблю этот рассказ Виктора Голявкина. Всего одна страница. Весь окутан особым шармом, какого больше ни у кого нет. Смешно, но не так, что вот вслух хочется хохотать, а как-то весело-смешно.

Наверное, я хожу вокруг да около, но правильно просто сказать, что я не понимаю, как в таком стиле писать и откуда такая прекрасная легкость берется и как можно догадаться остановить рассказ на той фразе, где он заканчивается. А меня всегда притягивает то, что я не понимаю.

birds.png
arpad: (Default)
[personal profile] arpad
.
"Eсли у моста уничтожен один пролет из четырех - они скажут что мост поврежден на 25%".

A universal monad transformer

Jun. 25th, 2025 12:58 pm
chaource: (Default)
[personal profile] chaource
I stumbled upon this paper from 2002: "Composing monads using coproducts" https://web.archive.org/web/20070611082344/http://www.informatik.uni-bremen.de/~cxl/papers/icfp02.pdf and a more categorically heavy, purely mathematical follow-up "Coproducts of Monads on Set" https://arxiv.org/abs/1409.3804

The gist is that one can take any two monads (say L and M) and combine them into one bigger monad N, which is defined as the co-product of L and M in the category of monads.

The papers don't emphasize the programming applications, but the first paper hints that one can just write a type formula explicitly for the co-product, as a Church encoding-like type:

N a = ∀(T : Monad). MonadMorphism(L, T) → MonadMorphism(N, T) → T a

where MonadMorphism(F, G) = ∀ x. F x → G x such that the monad morphism's laws hold.

Why is this a co-product in the category of monads?Read more... )

полезное о промптах

Jun. 24th, 2025 10:02 pm
avva: (Default)
[personal profile] avva
Мы все знаем, как важно уметь составить правильный промпт, чтобы Большая Языковая Модель (БЯМ) сделала то, что вам нужно. Мне кажется, все уже знают главные принципы и трюки в этой области. Но недавно я обнаружил, к своему удивлению, что есть смежная область, в которой людям просто хронически не хватает квалифицированных знаний.

Неловко обсуждать это публично, но не все задания еще можно поручить БЯМ. Время от времени сталкиваешься с делами, с которыми по той или иной причине БЯМ справляется плохо или вообще отказывается, и тогда приходится призывать на помощь более примитивного собрата - ЧЯМ (Человеческую Языковую Модель). Да-да, я знаю, не надо рассказывать мне про недостатки ЧЯМ, я на этом деле собаку съел. Они дороги, хрупки, непредсказуемы, очень медленно печатают текст... Но что поделать, если никак по-другому не справиться! Так вот, не все знают, оказывается, что как и с БЯМ, правильно составленный промпт поможет вам добиться с помощью старых добрых ламповых ЧЯМ довольно-таки потрясающих результатов. Но вот знания о том, как писать промпты для ЧЯМ, найти нелегко.

Вот несколько главных принципов - и я постараюсь сфокусироваться как раз на тех, в которых есть различие с БЯМ:

1. Забудьте про супер-длинные и подробные промпты, которые так хорошо направляют БЯМ в правильное русло. У ЧЯМ очень маленькое окно контекста. Если вы напишите "сделай то-то и то-то и то-то, причем таким-то образом, а кроме того..." к концу предложения ЧЯМ забудет начало. Разбейте ваши задания на небольшие изолированные части. Давайте каждую часть в отдельности. Если у вас есть средства на это, можете нанять ЧЯМ-супервайзора, которая будет разделять задания между ЧЯМ-рабочими. Если нет, или дело тонкое, то сами будьте супервайзором.

2. Не отказывайтесь во имя краткости от вежливости и благодарности. Да, это бездушная машина, но она так натренирована, что ваше корректное общение и ваше "спасибо" поможет ей лучше выполнить следующее задание. "Доброе слово и собаке приятно", а ЧЯМ обычно умнее собаки.

3. Пишите на понятном модели языке. ЧЯМ вообще говоря знают довольно мало языков. Многие вообще только один. Разные модели специализируются на разных языках, найдите ту, что вам подходит. Да, это очень раздражает. Сочувствую. С языками программирования то же самое.

4. Советую не пытаться просить ЧЯМ написать стихи. Разочаруетесь.

5. Не стесняйтесь преувеличить важность вашего задания, можете придумать, что кто-то умрет, если ЧЯМ его не сделает вовремя, итд. итп.

6. ЧЯМ может сама разыскивать данные, читать книги итд., но есть одна загвоздка - она делает это ОЧЕНЬ МЕДЛЕННО. Постарайтесь обойтись без этого. Если нет другого выбора, делайте, но будьте готовы платить намного больше.

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

8. Самое важное. В отличие от БЯМ, у ЧЯМ пока есть сложности с конпкой "Начать новую беседу". То есть кнопка-то есть, но в новой беседе ЧЯМ сохраняет значительную часть контекстов предыдущих бесед (со временем эта "память" постепенно улетучивается, но это может занять годы). Будьте осторожно и не говорите ничего, что полностью настроит ЧЯМ против вас. В последние годы наблюдается недостаток моделей, особенно качественных, если вы потеряете свою "рабочую лошадку", долго будете горевать и искать новую!

Если вы знаете особо удачные промпты для ЧЯМ, или другие советы, как их заставить делать, что нужно, поделитесь в комментах, пожалуйста. Спасибо!

Фраза. Просто фраза

Jun. 24th, 2025 11:21 pm
pargentum: (Default)
[personal profile] pargentum
Их яд оказывает токсическое действие
[personal profile] posic
по отношению к себе то, что мог позволить математик, состоявшийся не вполне.

Два постинга от 24 июня 2012 года:

1.: Пришел е-мейл. Вернее, два. Еще один дурак, которого нужно снова опять строить. Вернее, два -- https://posic.dreamwidth.org/798555.html

2.: Сержант может, до известной степени, позволять собой понукать; офицер, которым понукают, деморализующе действует на подчиненных; так что, если иного способа защитить свое достоинство нет, ему остается только застрелиться -- https://posic.dreamwidth.org/798732.html

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

***

Как показало развитие событий, жизнь была возможна, но не в Москве. Потому и колотило -- говорило о том, что надо не сидеть на месте, а что-то делать, искать выход или подготовлять его. "Депрессия дана человеку для того, чтобы он задумался о себе." Я уехал, и жизнь постепенно наладилась. Ну, как "постепенно" -- через десять лет наладилась. Но гораздо лучше стало почти сразу.

о проблеме девочек

Jun. 23rd, 2025 08:55 pm
avva: (Default)
[personal profile] avva
girls.png

Смотрите, вот в "Экономисте" кто-то догадался так сформулировать: "Девочки теперь опережают мальчиков в большинстве предметов. Но в одном ОСТАЛАСЬ ПРОБЛЕМА". Другие люди утвердили этот заголовок, и никому ничего не показалось странным.

Заголовок к статье, которая рассказывает о новом исследовании, находящем, что "gender gap" - разница в оценках между мальчиками и девочками - по математике начинается уже во втором классе, по крайней мере во Франции. Обычно эту разницу прослеживают к началу старших классов и объясняют, помимо прочего, половым созреванием и укоренением стереотипов.

Я не думаю, что это такой стеб, что кто-то специально хотел провокативно написать - The Economist этим не занимается обычно. По-моему это просто такой способ мышления привычный. Если мальчики получают оценки лучше, это причина тревожиться и искать дискриминацию или плохие стереотипы. Если девочки получают оценки лучше, просто не о чем говорить. Не причина о чем-то заботиться в таком случае.

(и нет, это не значит, что нет плохих стереотипов или что мальчиков все обижают и все против них. Не все так просто и не вчитывайте в то, что я написал, автоматический перевертыш)

сатаньягу

Jun. 23rd, 2025 04:22 pm
avva: (Default)
[personal profile] avva
Когда я читаю иранские или проиранские форумы в интернете, то вспоминаю старый анекдот про еврея, который читает антисемитские газеты, потому что в них евреи такие могущественные и правят миром.

Вот это типичная иллюстрация. Еще мне понравилось, как они называют Биби "Сатаньягу".

satanyahu.jpeg
[personal profile] posic
https://posic.dreamwidth.org/1305985.html

В момент написания этого постинга я служил постдоком на гранте в университете Хайфы. Это была прекрасная позиция, очень удобная, но заведомо временная. Проблема состояла в том, как найти более постоянную позицию.

В тот период я говорил, что не хочу обязательно постоянную позицию, а хочу "полупостоянную", что означает "потенциально неограниченно продлеваемую". Постдоковская позиция не являлась полупостоянной в этом смысле. В итоге, я работаю теперь на полупостоянной чисто исследовательской позиции в Праге. По состоянию на 2016 год, предвидеть этот результат я не мог.

лучшие люди

Jun. 23rd, 2025 01:35 am
avva: (Default)
[personal profile] avva
Нет необходимости в комментариях.

1.-Vydayushhiesya-lyudi.png
lxe: (Iron Sky)
[personal profile] lxe
Не хочу делать политических прогнозов, но за root canal обычно следует crown.
Золотая будет или фарфоровая?
[personal profile] posic
Но поскольку, как я погляжу (с некоторым удивлением), несмотря на наблюдаемые события, на развитие событий, мнения продолжают существовать разные, то выскажусь чисто для протокола. Как гражданин Израиля. Про события 2023 и последующих лет:

1. Я считал и считаю правильным неоднократное решение правительства Нетаниягу продолжить на территории Газы развязанную Хамасом войну;

2. я считал и считаю правильным решение правительства Нетаниягу продолжить на территории Ливана развязанную Хизбаллой войну;

3. я считал и считаю правильным решение правительства Нетаниягу продолжить над территорией Ирана развязанную правящим режимом Исламской Республики войну.

Спасибо США и президенту Трампу за участие на нашей стороне. Желаю моим согражданам-израильтянам победы во всех войнах, мира и процветания.
pargentum: (Default)
[personal profile] pargentum
Хочу перерисовку "Казаков пишущих письмо турецкому султану" в виде роботов.
Чтобы назвать "Искусственный интеллект пишет техзадание живому программисту".

Про роботов пишущих бумагу оно понимает, и даже про смеющихся, а вот про казаков никак объяснить не могу.

Update: нарисовали
pargentum: (Default)
[personal profile] pargentum
В Абхазии российских туристов назвали доширачниками, которые не приносят стране никакого дохода
pargentum: (Default)
[personal profile] pargentum
Позволяет предположить текущую методичку.
Все договорняк, Хаменеи через путина (именно через путина, никак иначе) передал координаты куда можно бомбить без последствий. Настоящие объекты на глубине 800 метров, весь уран оттуда вывезли, узбагойтесь. (а вывезли тоже на глубину 800 метров? Или где-то под открытым небом закопали, как Хусик свое химоружие?). Превосходная прозорливость путина посрамила политических пигмеев пиндостана.

Вспоминают бомбежки американцами Сирии, где якобы тоже ничего не разбомбили.
Что теперь с Сирией, вспоминать не хотят.

July 2025

S M T W T F S
   12345
6789101112
13141516171819
20212223242526
2728293031  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 1st, 2025 09:01 am
Powered by Dreamwidth Studios