kostyad ([personal profile] kostyad) wrote2026-09-28 11:45 pm

купил новый ноутбук

ЖК монитор намного лучше -процессор работает в десять быстрее память 16/1000
chaource: (Default)
chaource ([personal profile] chaource) wrote2026-09-28 09:12 pm
Entry tags:

Naturality with typeclass constraints

I will be working in the polymorphic λ-calculus such as System F.

A natural transformation is a function of type ∀(x : Type) → F x → G x, where F and G are both covariant functors (or both contravariant). In this type signature, "x" is an arbitrary type. As the polymorphic λ-calculus has no features for detecting types at evaluation time, the function's code must work in the same way for all types "x". Because of this, all functions with this type in System F will automatically satisfy the "naturality law".

The formulation of the standard "naturality law" is that for all types x, y and for all functions f : x → y, the function h : ∀(x : Type) → F x → G x will satisfy the equation `fmap[G] f ∘ h[x] = h[y] ∘ fmap[F] f`.

       h[x]
F x  -------> G x

|               |
|               | fmap[G] f
| fmap[G] f     | 
|               |
v               v
       h[y]
F y  ------->  G y


Now it occurred to me, while thinking about free algebraic typeclasses, that there is a useful generalization of naturality law to types that have a typeclass constraint.

I am working with "algebraic typeclasses", that is, typeclasses characterized by a single method of type P x → x where P is a covariant functor. A type "x" belongs to the chosen typeclass if there exists a function of type P x → x that additionally obeys some typeclass laws. The typeclass is then seen as the category of P-functor algebras whose structure maps additionally satisfy certain equations.

How can we describe the analog of the naturality law for functions of type ∀(x : Type, x ∈ MyTypeclass) → F x → G x? These are functions that work in the same way for all types "x" that belong to the typeclass.

A simple adjustment is to include the method P x → x into the type signature and consider functions of type:
∀(x : Type) → (P x → x) → F x → G x


Strictly speaking, this is not sufficient: often the typeclass methods must satisfy some laws. One would need dependent types to express this kind of constraint fully:
∀(x : Type) → ∀(m : P x → x) → Laws m → F x → G x

where "Laws" is going to be a complicated dependent type constructor expressing the evidence that the function "m" obeys the typeclass laws.

However, it seems to me that naturality under typeclass constraints can be expressed without considering the laws at all.
( Read more... )
ratomira: (Default)
ratomira ([personal profile] ratomira) wrote2026-09-28 02:06 pm

Днепр 28.09.2026

В разгар рабочего дня по Днепру ударили по офисному зданию в центре, загорелось. Уже 3 погибших, более 15 раненых, разбирают завалы. Людей там заблокировало в лифте.



Это офисное здание довольно близко (в 2-3 кварталах) от нашего офисного здания. То есть и по нашему может прилететь, когда я туда поеду.

P.S. В Киеве в эти минуты тоже прилет по центру - по историческому зданию Национальной академии наук.
selenga: (сбу свр гур)
Selenga ([personal profile] selenga) wrote2026-09-28 01:53 pm

Новий рекорд ЗСУ: за добу ліквідовано 2090 окупантів

Загальні бойові втрати РФ від початку війни - близько 1 531 060 осіб, 12 385 танків, 50 477 артсистем, 25 450 ББМ. ІНФОГРАФІКА

https://censor.net/ua/n4025503
redis: (Default)
redis ([personal profile] redis) wrote2026-09-28 11:26 am
Entry tags:

Сознательность

Сижу, работаю, морщу лоб. Совершенно неожиданно для меня рабочий ноутбук высвечивает на черном фоне красную плашку "Леново", что-то там журчит своим вертилятором и отключается.

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

Подключаю ноутбук обратно только чтобы обнаружить всякое отсутствие интернетов в отдельно взятой квартире. В которой, кстати, сегодня отключили еще и воду.

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

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

Так выглядит сознательность!
ingenero: (Default)
ingenero ([personal profile] ingenero) wrote2026-09-28 09:53 am

Indians 2: Zero Tolerance 2024

Классический индийский фильм, но в конце фильма (примерно от 2 часа 10 минут) есть большой эпизод с моноколесом. Вроде как и неплохо, но снято по-индийски, поэтому мне не понравилось. Совершенно нет ощущения реализма.

Например, гонка на мото за моно. Фильм 2024 года, снято значит в 2023 – таких колес тогда не было. Сейчас есть. Малокубатурные мото до 100 км, а есть колеса быстрее 100 км, оно может просто уйти по прямой. Пара неплохих трюков проезда под грузовиком.

Совершенно надуманные эпизоды, как он по туннелю катает. Чисто теоретически по трубе возможно, но туннель не труба. Щас реальные съемки гораздо впечатляющей, чем снято в фильме. Ощущение раздражения, как он едет по поезду. Это возможно только если поезд совсем пустой. Я просто ощущаю, как пассажиры будут под ногами путаться и мне от этого дискомфортно.

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

Вспоминаю «Машина времени», чувак первый раз появился в будущем незадолго до катаклизма. Тогда были футуристические улицы с велами, но моноколеса вписались бы идеально. Или шпионский боевик, как 007 ехал на авто, достал моно, проскочил на нём, а никто не может понять, как же он умудрился так быстро телепортироваться. Как выясняется, сама идея совместимости авто и моно не находит понимания.
cybernatic_cat: (usa)
cybernatic_cat ([personal profile] cybernatic_cat) wrote2026-09-27 10:57 pm

Чемодан - SFO - Bangalor

Посидели за рюмкой чая с приятелем, поболтали. Ныне он ищет человека в команду (IT-индустрия, иссесьна), потому разговор получился особо интересным :).

Оставлю за скобками его впечатления про "рассылки резюме веером от бедра", про "написание" резюме с помощью гопочатов и так далее. Это уже общее место в нынешних говённых реалиях.

Самая мякотка - в его неиллюзорном охуении от конь-дидатов, которые таки добрались до интервью. И даже не от их технического уровня, знаний, умения подать/продать себя и т.д. Это уже тоже общее место: мол, я и в рот ебал, и в море плавал, и чайки срали мне на грудь - но "моряк" мгновенно вянет после двух-трёх вопросов, на которые можно ответить только при наличии действительно серьёзного практического опыта. К этим приколам копчоных все уже давно привыкли.

Но ныне основной охуёж в другом. По словам собеседника - примерно восемьдесят процентов добравшихся до интервью конь-дидатов, рано или поздно, стыдливо признаЮтся в том, что им нужен H1-B transfer. При том, что в JD внятным английским языком написано "NO immigration sponsorship" - а в первоначальной анкете все из них "честно" сказали "нет, мне не требуется sponsorship, и в будущем тоже не потребуется".

Иссесьна, сразу нахуй, ёбаное копчоное лживо-хитрожопое жывотное we are very sorry, but our company can't sponsor your immigration process, we wish you all the best, примите и проч. "И лохи ушли отсосав" ©.

Сие радует. Если процентный расклад действительно такой - то даже очень радует. Ибо это означает, что поголовье ублюдков будет сокращаться: на трансфер H1-B даётся 60 дней, и если за это время таракан не найдёт новую кухню - то... $subj. А спонсорить иммиграционный процесс, в наши говённые дни, не особо многие склонны, по множеству причин.

Но и это ещё не самый последний сладкий цимес за сегодня. Ибо.

На этом месте, я не просто сложил пальцы крестиком - но ещё и приклеил их друг к другу суперклеем. Для надёжности чтобы.
malyj_gorgan: (Default)
malyj_gorgan ([personal profile] malyj_gorgan) wrote2026-09-27 03:48 pm

пітьма стає все густішою

Вчора ввечері їхав зі старшим у своїй старенькій Хонді з кількома дуже очевидно українськими наліпками на задньому бампері, включно з великими жовто-блакитними
"F🔱ck Putin" і "Доброго вечора, ми з України". Коли повертав направо, мене обігнав великий трак, чи то F150, чи то Ram, звідки стандартна біла пика щось дуже агресивно покричала. Трохи нечітко за ревінням вланого двигуна, але ми з сином спільними зусиллями реконструювали частину повідомлення як "get out of out country, you" з вкрапленнями факів. Нічого, крім моїх наліпок того спровокувати не могло, всередину в салон він ніц не бачив (та і що там дивитися, пика у мене теж біла, хоч і не бородата). Словом, таке -- і це в околицях Сан Франциска, страшно подумати, як воно в трампляндії.

З приводу чого хочу передати полумʼяний привіт тим своїм землякам зокрема і натуралізованим американцям взагалі, які підтримують трампа і магу. Вас воно теж не мине, як ви не маскуйтеся під місцевого Джо, вам не вдасться, і якщо тенденція збережеться, прилетить вам добряче. Навіть якщо ви тут уже 20-30 років і думаєете, що асимілювалися. Бо, як кажуть місцеві мешканці what goes around, comes around. В старому сумному єврейському анекдоті є про те, що бʼють не по паспорту, а по морді -- так от, воно буде навіть не по морді, але в такого плебсу чуття на чужих завжди було на рівні фізіології. (Раз уже згадав -- серед магалюбів траплялися не лише українці, а і євреї. Їх це все точно так само стосується.)
pan_netnet ([personal profile] pan_netnet) wrote2026-09-27 07:24 pm

вынося из комментов

https://pan-netnet.dreamwidth.org/2037971.html?thread=4915667#cmt4915667
лох не восприимает мир сквозь оптику сбственной выгоды и договора, долг - его катгорический императив
chaource: (Default)
chaource ([personal profile] chaource) wrote2026-09-27 10:02 am
Entry tags:

Объясненiе политическаго кризиса Запада: мы находимся под властью СМИ

Вчера приходили въ гости кузенъ и кузина жены cъ дѣтьми. Зашелъ разговоръ о политикѣ. Я спросилъ - почему Макронъ сталъ президентомъ, у него же не было ни партiи, ни программы. Кузенъ отвѣтилъ - его громогласно продвигали всѣ журналисты во всѣхъ СМИ, даже вплоть до научно-популярныхъ изданiй. Только поэтому.

Иллюстрацiя того, какъ продвигали Макрона, была въ моемъ блогѣ раньше. https://chaource.dreamwidth.org/251819.html

Позднимъ вечеромъ я таки дослушалъ до конца интервью Сильвiи Пантель. https://www.youtube.com/watch?v=Zlud00UBMzA
Это очень интересное свидѣтельство изъ первыхъ рукъ о томъ, какъ сегодня работаетъ политика - на городскомъ, регiональномъ, и федеральномъ уровняхъ.

Основные пункты:

- На низовомъ уровнѣ можно добиваться позитивныхъ измѣненiй, но при двухъ условiяхъ: у тебя есть личные знакомства (скажемъ, ты знаешь кого-то въ городскомъ совѣтѣ) и ты можешь добиться освѣщенiя событiй въ локальной прессѣ (потомъ уже будетъ достаточно лишь угрозы сообщить въ прессу).

- На городскомъ уровнѣ и выше уже начинаются болѣе существенныя политическiя игры. Скажемъ, кандидата, который слишкомъ активенъ, спецiально направляютъ баллотироваться въ горсовѣтъ отъ такого округа, гдѣ ожидаютъ, что этотъ кандидатъ не пройдетъ.


- На федеральномъ уровнѣ не остается ничего, кромѣ политическихъ игръ (кто за кого и противъ кого). Никакiе законопроекты подробно по существу не обсуждаются. Депутаты не получаютъ адекватной информацiи о томъ, за что или противъ чего имъ придется голосовать. Рѣшенiя принимаются то ли закулисно, разными "завѣдующими направленiемъ" (Beauftragte) или политическими "фондами" (Stiftung), то ли просто по принципу "мы за этихъ и противъ тѣхъ". Вотъ ключевой фрагментъ:
https://www.youtube.com/watch?v=uUyXR-XxQ9Y

- Если какой-то депутатъ слишкомъ активничаетъ, или начинаетъ требовать какихъ-то обсужденiй по существу или требовать подробной информацiи, отъ него быстро избавляются. Такого депутата начинаютъ негативно освѣщать въ прессѣ. Начинается привычная уже намъ прямая ложь СМИ. Кто-то становится "отрицателемъ климата" только потому, что хочетъ узнать подробности о томъ, что сегодня нельзя подвергать сомнѣнiю. И потомъ дочь Пантель, живущая въ Швейцарiи, получаетъ звонокъ изъ швейцарскаго банка: "Это вы дочь Сильвiи Пантель?"

- Пантель демонстративно ушла изъ ХДС, когда увидѣла процессъ надъ Маасеномъ (Hans-Georg Maaßen). Какъ его исключали изъ ХДС, высасывая изъ пальца обвиненiя, и какъ все равно не вышло его исключить. Но, правда, то же самое было въ 2010 году съ Саррациномъ (Tilo Sarrazin), котораго пытались исключить изъ SPD за книгу "Саморазрушенiе Германiи" ("Deutschland schafft sich ab"). Навѣрно, Пантель думала, что это возможно только въ SPD.

- На прямой вопросъ "такъ кто же въ Германiи правитъ" ("wer regiert denn"), Пантель отвѣтила кратко: "журналисты".

( Read more... )
ingenero: (Default)
ingenero ([personal profile] ingenero) wrote2026-09-27 10:27 am
Entry tags:

Traccar

Хорошая штука обмен координатами в Гугл-Мап, но не совсем. Обновление точек слишком редко – раз в несколько минут. Есть задачи, где это сильно недостаточно. А иногда вообще засыпает. Заморочился альтернативами.

Life360 – навороченое и платное. ИИ говорил, что есть бесплатный режим, но мне предложило только неделю, а потом чуть меньше 10 долларов ежемесячно. Как я понял, с каждой установки. Хуже того – нет веб-интерфейса на компе. Мне надо сидеть за компом и видеть как двигается точка.

Телеграмм. Оказалось, у него есть режим трансляции координат. Открываешь чат, скрепка – трансляция координат. Можно задать период до 8 часов. На десктопной версии картинка карты в чате очень маленькая, точка занимает весь квартал. При клике открывается гугл-мап с текущей точкой, но точка неподвижная. Отслеживать не получается.

Однако версия в тлф работает лучше. Если кликнуть по картинке, откроется карта самого Телеграма, и точка там обновляется в несколько раз чаще Гугл. С этим уже можно жить.

Traccar. Мне понравилось. Выглядит как программистский, а не дезигнерский продукт. Много возможностей, а не наворотов. Похоже программист в Новой Зеландии сам всё ваяет. Для смартфона есть клиент, который просто шлет координаты. Есть Манагер, где видно карту и точки, а так же можно настраивать. А есть веб-интерфейс на компе. В клиенте можно настроить частоту обновления двумя способами – просто периодичность, но не чаще 1 раза в минуту. И по расстоянию. Дефолт каждые 75 метров, что для пешехода слишком много. Я поставил 25 и дело пошло получше. Можно посмотреть в виде трека и анимации, можно сохранить на комп в виде файла.

Можно поставить свою серверную часть. Скачиваешь и устанавливаешь на комп. После этого координаты будут слаться тебе. Есть 2 варианта – открыть порт 5055, либо поставить на комп и смарт приложение Tailscale. Его еще не проверял, но вроде как бесплатно для небольших объемов.

Тема очень хорошая – все координаты и треки сохраняются. У меня часто было, что «да маршрут обычный, чего трек делать», а потом куда-то заехал, хорошо бы увидеть где был, а всё, поздно. Плюс домашние видели бы лучше. Оно может сохранять в нужную БД, из которой легко удалять ошибочные точки. Легко сделать интерфейс, чтобы сразу рисовался трек, а не просто перемещение точки.

Но похоже до конца войны не востребовано. Скорее всего пока буду использовать бесплатный демо-сервер. А там главное дожить.