Джейлбрейк по-русски

расширение XML — xpath содержит refinement types и cons листы

E1/E2 ::= let $R := E1!E2
  return
    if (every $r in $R satisfies $r instance of node())
    then ($R|())
    else if (every $r in $R satisfies not($r instance of node()))
    then $R
    else error()

а также зародышь формального доказательства

some $x in (1, 2, 3), $y in (2, 3, 4)
satisfies $x + $y = 4

десятилетия академических исследований, проводимых консорциумом w3
https://www.w3.org/TR/xpath-31/

пытался вчера завести гуй с амигой, пока шо не вышло

ктото или чтото добавило мне в лисицу 3 закладки, пробабли сама лисица тк кк написано Sponsored

is it legal?

демка с демосцены амиги https://youtu.be/NvKAq3tq_LE

Более полноценная версия в конце ролика Бачиллы https://youtu.be/TWlv6zOFLTQ?t=2712

низко

https://kotl.in/kotlin-in-action
вышло второе издение глав книги по котлину

никогда не получалось получать инфу из книг,
первую техническую книгу что мне удалось прочитать на 5/7 это learn 7 languages in 7 weeks

могу понять чтото только из видосов или доки

ничего особенного смоллтолкер объясняет свою реализацию Smalltalk на zig
https://vimeo.com/802502826

Кста у смоллтолка есть своя библия, как Александресску у C++, и "книжка с драконом" у компиляторщиков

Blue Book "Smalltalk-80: Язык и его имплементация" Оригинальный референс мануал, по сути читая книгу можно реализовать свой смоллтолк

Green Book "Bits of History, Words of advice",практические советы, эссе и всякие дизайн принципы

Red Book "The interactive Programming Environment" про GUI и IDE

реклама амиги, справа весь видос чел пытается ввести продукт кей и получает всякие ошибки а слева уже запускают всякие приложения
https://youtu.be/DcjW4q_8Eo0?t=246

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

это мы смотрим

Документация одного из моих любимых нативных языков Vala переехала на новый сайт
(GNOME прибили старую вики)
https://docs.vala.dev/index.html

Vala это язык разработанный специально для разработки под GNOME. Только на С и Vala можно создавать GObject библиотеки которые потом автобиндятся через GIR для всех остальных языков

Сама по себе Vala это высокоуровневый язык похожий на C# с несколькими питон фичами, вышел в 2006, вместо GC используется ARC как в Swift или owned семантика, транспилируется в C

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

Попытался найти граф фреймворк под окалм, на удивление вообще ничего нет, мертвые гтк бинды, полумертвые qtquick(да и кому qt нужен)

Самая ахренительная попытка была revery — нативный гуй фреймворк рендерящийся сам как compose(хоть и через SDL вместо Skia как это сейчас принято) планировался даже HotCodeReload

На нем сразу же пилили IDE на замену остачерчевшему всем VS коду
https://github.com/onivim/oni2

Но вот 3 года назад мейнтейнер нашел работу и никто ничего не продолжил, все затухло

science!

так, а вот это уже серьезна

А вот что будет если скомпилить в васм линукс целиком https://webvm.io/

Intel уволиk 18к сотрудников (примерно 15% всего персонала) и сократит расходы на 10 миллиардов долларов. Стоимость акций потенциально сможет упасть до минимума за последние 10 лет

самое время фиксировать прибль

https://www.theverge.com/2024/8/1/24210656/intel-is-laying-off-over-10000-employees-and-will-cut-10-billion-in-costs
https://x.com/BNONews/status/1819105348029968792

oh no