Зацените, мы тут статью Лэмпорта перевели, в которой он утверждает, что программистам стоит почаще включать мозг и не бояться математики :)

https://habr.com/ru/company/jugru/blog/454898/

Минутка славы 🙂
Наши "конкуренты" по написанию Java-дайджестов, JetBrains, в своем свежем выпуске поставили jdk-dev на первое место. Пойду писать большое спасибо Трише.

Я намеренно не пишу "мой сайт jdk-dev", потому что хочется, чтобы в результате это стало коллективным творчеством и не было аффилированно исключительно с каким-то мутным чуваком из России или конкретными коммерчески заинтересованными компаниями.

https://blog.jetbrains.com/idea/2019/06/java-annotated-monthly-june-2019/

А ещё, jdk-dev теперь и на Реддите обсуждают. Правда, пока все весьма уныло, но хоть что-то 🙂

https://www.reddit.com/r/java/comments/bx43qz/download_java_one_stop_page_trtying_to_bring/

А еще - глядите, JUG.ru Group наконец опубликовали обзор программы конфы Hydra. Это жутко хардкорная конфа для компьютер саентистов и инженеров, интересующихся распределенными вычислениями. Чуть ли не лучшая у нас по набору докладчиков, крутым докладам и вообще уровню подготовки. По времени и месту проведения она соседствует с классической научной летней школой по распределенным вычислениям, но имеет более инженерный уклон. Короче, если хочется сходить на действительно крутую конфу, на которую нежалко времени - это вот оно, рекомендую.

https://habr.com/ru/company/jugru/blog/453832/

Немного о маркетинге сами знаете каких корпораций:

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

⚡ Правительство России внезапно заступилось за Яндекс в ситуации необходимости предоставления спецслужбам ключей шифрования от сервисов компании. Вице-премьер Максим Акимов подчеркнул, что правительство сделает всё, чтобы Яндекс никак не пострадал.

Опубликован перевод доклада Лесли на Heidelberg Laureate Forum в 2018 году: "Если вы не пишете программу, не используйте язык программирования". Речь пойдёт о формальных методах, применяемых в разработке сложных и критичных систем вроде космического зонда Rosetta или движков Amazon Web Services - в частности, об использовании языка TLA+.

https://habr.com/ru/company/jugru/blog/455467

Перевёл вам первую главу Free as in Freedom - Троянский принтер

https://github.com/olegchir/freeasinfreedom-ru/blob/master/1-ForWantOfAPrinter.md

К вопросу о формальных методах. Доказательство Клеппмана его новых CRDT заняло примерно 800 строк на Isabelle против 60 строк реального алгоритма на исполнимом языке программироваия. Так что все вот это "зачем два раза писать" - это довольно забавно, какие заблуждения живут в голове людей. Интервью будет со дня на день.

Кое-кто уже знает о моей эпопее с попытками купить нормальную клавитуру Microsoft.
Описание в ролике на Ютубе.

https://www.youtube.com/watch?v=xHcJs3rI6xc

О, и наконец-то стало ясно, почему вчера так штормило весь интернет. Прекрасно все описал Cloudflare, разве что слегка обвиняюще, но их можно понять.

Если говорить очень упрощенно, то небольшой провайдер в Пенсильвании, без злого умысла а просто для оптимизации сети анонсировал очень странные маршруты с некорректными весами. По этим анонсам получалось, что есть оптимальный путь для пакетов, проходящий через этого самого провайдера. Ближайшие пиры по сети странслировали эти анонсы в Verizon, а тот перестроил свои маршруты и тоже разослал их всем. И все бы ничего, но так получалось что новые маршруты Verizon якобы получались супер-оптимальными для всего трафика, идущего в гугл, cloudflare, Amazon и многих других. И вот, через неесколько часов вся мировая сеть перестроилась так, чтобы запросы в cloudflare шли через неправильно настроенную сеть в Пенсильвании 🙂

После каждого такого инцедента я напоминаю: интернет небыл создан для не доверенной среды, в которой есть “дятлы”. Несколько раз в год прилтает такой “дятел”, который несколькими ударами рушит маршрутизацию глобальной сети, вот настолько мы не защищены. Если вы думаете что есть простой способ от этого отгородиться - нет, пока никто его не придумал.
https://blog.cloudflare.com/how-verizon-and-a-bgp-optimizer-knocked-large-parts-of-the-internet-offline-today/

Серийная сборка ГЛОНАСС-К откладывается из-за невозможности закупки иностранных комплектующих.
Также власти США запретили поставки комплектующих и для китайских суперкомпьютеров.
Так держать, Трамп, вот это работа по укреплению международных связей, осталось всего ничего - потерять ещё и Европу.

История:
- Спотифай заполнил официальную антимонопользную заявку на 30%-налог Эппла
- Эппл говорит: Спотифай же ничего не платит нам на самом деле!

И такой хайп, такой хайп. Идём разбираться, оказывается, 30% им нужно было платить за in-app подписки. А они "схитрили" и просто отключили их в приложении.

Схитрили, мать вашу? А кто в своём уме будет продолжать участвовать в "налоговой" схеме, если можно в ней не участвовать?

И как это вообще связано с 30%-ным налогом Эппла? То, что Спотифай придумал, как им не платить (совершенно правильно сделал), как-то означает, что Эппл продолжает чарджить всех остальных?

Ору

https://www.musicbusinessworldwide.com/apple-spotify-pays-app-tax-on-less-than-1-of-paid-subscribers/

Тимошенко отсидел в колонии 2 года за *пост во Вконтакте*.
Теперь его снова хотят посадить - за ещё более старый пост.

Просмотрел всю вконтачевую ленту. Даже удалять ничего не надо - в те времена, когда я ещё туда писал, меня интересовала в основном Java.
Хотя, можно ли считать написание сайтов на чистом XML экстремистской деятельностью?

https://roskomsvoboda.org/47786/

А между тем JRG приглашает самого Ромеро в Россию.

https://dtf.ru/flood/55848-dzhon-romero-v-2019-m-gangsterskaya-strategiya-novye-urovni-doom-i-vizit-v-rossiyu

Ах, это же канал про Java, а не про игры... Да нет, уже не про Java а просто так, про всякую всячину, так что насрать. Теперь это канал ещё и про FOSS, JS и C++, так что у вас есть уникальная возможность отписаться :)

Попробовал для расшифровки англоязычного интервью с Клиффом Кликом для Гидры использовать Dragon NaturallySpeaking. Нет, ничего он не понимает, чего там разработчики и математики несут. На выходе получается совершеннейшая каша из рандомных слов. Ютуб справляется, кажется, лучше всех, но всё равно там минимум половина текста - лажа. Например, на фразе "джит-компиляция" Dragon выдает рандом вместо слова "джит", а Ютуб тактично вообще пропускает это слово. С таким прогрессом AI, нескоро ещё будут "вкалывать роботы, а не человек" :(