Выше всплывал type checker / LSP для Python, который пишут в Astral. Недавно Meta показали своё такое же - pyrefly. У них немного разный фокус и оба всё ещё в глубокой альфе, но даже на текущем этапе видно, насколько большой это шаг вперёд для всей экосистемы. Детальнее на особенности и очень предварительные бенчмарки можно посмотреть тут.

#python #lsp #rust

matchctl: The First Dating App for Linux Users (Because You've Already Mounted /dev/sad)

#humor

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

#learning #programming

It’s hip to be square.
Тут кроссворд-гики в своём уютном Discord заметили интересные пары слов, где первые и последние слова синонимичны, но фразы целиком расходятся в значении: booty call / butt dial, dad-bod / father figure, ubereats / superfood. Ну и дальше чел выстроил на этом целую большую теорию квадрата. Крепкая зависимость / жёстко обожаю.

#language

Пойман за руку как дешёвка, называется. Meta и Yandex нашли прекрасный способ получать в браузерные трекеры все нужные для слежки данные из установленных у Android пользователей приложений. Meta приложения поднимали UDP сокеты, в которые под предлогом WebRTC стучится их пиксель из браузера. У Yandex - по такой же схеме - HTTPS запросы из браузера в localhost по особым портам.

#ads #android #analytics

Другой (в синтаксическом смысле) обработки ошибок в Go не будет. Nuff said.

#go

Очень красивая дырка в Android, Chrome и ряде других продуктов, использующих Google Sans шрифт с лигатурами. "googlelogoligature" отображается как полное лого гугла, что может хорошо сыграть на руку всяческим фишерам.

#google #font #vulnerability

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

#software #code #humor

К конторе, оказывающей разные услуги в сфере инфосека пришёл клиент с вопросом: "Тут какая-то страшная малварь Sakura RAT ходит, я в безопасности?" Чуваки пошли смотреть и раскопали море организованных репозиториев, которые атакуют тех, кто попытается их использовать. Основной фокус - на читерах и не сильно опытных кибер-разбойниках. Статья длинная, в самом начале описывается, что и как обнаружили, а потом детально разбирают, как был устроен каждый из обнаруженных эксплоитов, как это всё обфусцировалось и т.п.

#cybersec

Доказали, что любой алгоритм можно выполнить с тем же успехом, потратив больше времени, но использовав только sqrt(T logT) памяти, где T - время на изначальное выполнение. Прикольно!

#talk #cs #algorithm

Falsehoods Programmers Believe About Aviation. Сборник забавных, интересных и отвратительных корнер-кейсов из авиации, которые ну вот всё портят.

#aviation #programming

Тут детально описывают красивую дыру, которая позволяла забрутфорсить номер телефона любого Google пользователя.

#cybersec #vulnerability #google

Почему то, как сделаны дженерики в Zig, подходит не всем.

#zig #language #generics

So you think you can validate email addresses

#talk #email

Прикольный доклад про всю мощь полноценного REPL на примере Clojure. Показывают, чем это отличается от shell в python / js / java / … и какие возможности открывает. Я бы сказал, что хоть всё там и крутится вокруг Clojure, оно всё ещё достаточно общее, просто показывают, как может быть прикольно.

#talk #repl #clojure

Обнаружился интересный 0-click краш в iMessage сервисах, который как-то уж очень подозрительно случался именно у журналистов, политиков и т.д. Полного эксплоита не обнаружили, но следов прилично. Исследователи подозревают, что эксплоит-таки есть и использовался для шпиёнства. Тут детальный отчёт с собранными доказательствами, описанием, как искали, и техническим разбором.
За ссылку поблагодарим @ilushkanama

#ios #cybersec #vulnerability

Тут очень просто и понятно c кодом на питоне показывают, как именно АНБ встроили математический бэкдор в один из криптографических стандартов. Я медленно надеваю свою шапочку из фольги.

#cybersec #math #cryptography

Про замечательное форматирование дат и времени в Go, которое из хриплого WTF при первой встрече плавно переходит в нежное мурчание. Всё ещё не без минусов, конечно. Если вместо Monday написать Tuesday или вместо 2006 - 2007, читаться будет замечательно, а работать будет не так. Ну, pick your poison, как говорится.

#go #date #time

Интересное явление - Internet Resiliency Club. Девушка, проживающая в Нидерландах, заметила, что готовность страны к отключению электричества / интернета из-за войн / аварий / диверсий стремительным домкратом летит к нулю.
К примеру: где развёрнуты emergency communications системы? Правильно, в облаках. Потому что точно надёжно.
Где телеком держит тех. команды? Правильно, вне EU. Так ведь дешевле!
Ну и она предлагает людям, которые готовы в критических ситуациях подключиться к восстановлению коммуникаций, выстраивать бэкап сеть на LoRa - радио, которое мало стоит, совсем чуть-чуть энергии требует, но и бьёт не сильно далеко.
Интересная инициатива, в духе времени, так сказать. Но рекомендую ещё посмотреть на вопросы из зала после её короткого доклада - есть несколько других подходов к решению этой же проблемы, и не всё так плохо, как она обрисовывает. Но больше подходов - это всегда лучше, чем меньше подходов.

#radio #community #internet

Что нас ждёт в Go 1.25 где-то в августе. Мне больше всего хочется json/v2 (ну, только в эксперименте под флагом оно будет, но всё же) и корректного GOMAXPROCS в контейнерах (можно выкинуть automaxprocs).

#go #language