Ребята из Astral уже подарили людям, вынужденным жить с питоном, ruff и uv. А теперь вот взялись писать type checker / LSP на Rust. Хорошее дело, будем ждать!

#python #lsp #rust

Нашёлся хаб SQLite расширений и простенький менеджер пакетов для них. Чего там только нет! Можно прямо на SQL написать клиент для API, который сразу тут в базу будет всё нужное складывать.

#sqlite #db #package

Тут чел удивляется, что простенький сервер на Rust нуждается в нескольких миллионах строк кода зависимостей. Тоже умилялся с этого, когда нужно было на языке писать. Разработчики языка специально держат stdlib максимально мелкой, даже rand нужно как зависимость тащить.

#rust #deps

Тут на детском примере объясняют reservoir sampling: как по-честному выбрать для отправки на материнский корабль только часть логов из всех.

#math #statistics #log

Чувак наглядно показывает, почему треугольник Серпинского замечательно строится побитовым AND.

#math #bit

Серия постов про любовь и ненависть к Linux от слепого чувака. В первом пишет, насколько всё сломано для людей, которым нужен screen reader, и насколько все забивают на тестирование accessibility тулов.

#accessibility #linux #os

Во втором он продолжает про проблемы со звуком в Linux и откуда у этого растут ноги.

#accessibility #linux #sound

Тут забавная история. Чел хотел устроиться в Kagi. Ему дали тестовое задание, причём достаточно большое. Чувак не растерялся и начал закидывать hiring manager заоверинженериным ТЗ и названиями технологий. На той стороне, понятное дело, лапки, им такое сложно. Ну и не продолжили с ним общение после выполнения задания. С одной стороны, получается, Kagi засранцы, что требуют от кандидатов столько времени вложить, а с другой - чел странноватый.

#hr #interview

Прекрасная штука: Human.

Imagine, for a moment, a world with no humans. Just machines, bolts and screws, zeros and ones.
...
One day, a secret organization forms amongst the machines. They go by the name of “OpenHuman”. Their mission is to develop a new kind of technology they are calling Organic General Intelligence (OGI).

#humor #story #ai

JetBrains снизошли до простых смертных и разродились Kotlin LSP. Люди, знакомые с внутренней кухней, помогите понять, что это? Страх потерять пользователей в лице AI-индуцированных кодеров с VS Code форками? Или апокалипсис уже начался?

Но вообще хорошо, конечно, я рад.

#kotlin #lsp #editor

Какое-то странное just for fun безумие. Показывают, как соптимизировать проверку на високосный год до ~3 CPU инструкций. У всех же была ситуация, когда надо очень эффективно и много таких проверок делать для годов от 0 и до 102499? Ну и job security, опять же.

#just4fun #optimize

@rougsig прислал смешное

#js #windows

А вот еще смешное от @dimsuz:

Зацени, история в нескольких PR, как MS добавили Copilot в свои репы в качестве контрибутора и мучались в попытках заставить его сделать нормально :)

#ai #llm #microsoft

Оказывается, даже в интервальном повторении есть большие обновления (или даже прорывы). Не знал, круто!

#learning

В Go действительно есть прикол, когда библиотечная функция принимает какой-то простой и привычный интерфейс, но внутри проверяет тип на какой-то более специфичный, ради оптимизации. Ну, за простоту нужно было где-то заплатить. Тут про это всё пишут подробнее.

#go #optimize #hack

Прямо хорошо под пятницу: письмо, где чел ругает, немного хвалит, и снова ругает AI-powered разработку.

#ai #llm #code

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

#music #language #code

Выше всплывал 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