Разработка ждёт балета

Тут чел долго писал на Clojure, а потом перешёл в мир TypeScript + Go. И рассказывает, почему "как же мне не хватало статической типизации" - not really the case. Я сам какое-то время назад задавался тем же вопросом, мол "как вы так вообще живёте без типов", и тут вполне разумный взгляд на проблему. Единственный минус - пост как будто полирнули LLM, тошнит от некоторых оборотов, но мысль человека всё же пробивается :) #type #clojure #language

Теренс Тао - по всем понятиям состоявшийся математик - рассказывает о разном. Из чего современная математика состоит (думаю, все, кто проходил тех. ВУЗы, всё это уже представляют), как помогает в других науках, почему заниматься ей серьёзно - это постоянные ошибки, а иногда просто необходимость сдаться. Ну и про ИИ, конечно, куда без него. Как его применяют, как к нему относятся, плюсы/минусы и т.п. #talk #math #ai

Смотрите, какой интересный заход на навигацию в машине. Сворачивают пространство как в Inception Нолана, или как у него же в цилиндрических кораблях в Interstellar. Вообще выглядит прикольно, что-то в этом есть. #maps #navigation

AI-Slop License v1.0 Мы всё дальше от бога… #humor #license #ai

Очень крутая демка (< 3 min): 3D город из ASCII символов в браузере. В одном HTML файле. Просто waaaat Попробовать можно тут за маленькую денежку, поддержав автора. #html #browser #just4fun

Прикольный подкаст с главным или одним из главных разработчиком Haskell и GHC. Рассуждает про типы, языки, лямбда-вычисления - ну про что там обычно рассуждают хаскелисты :) Но интересно! #talk #fp #type

Просто очень приятный доклад от Susan Care про создание первых иконок для Mac. Символ на Cmd клавише - её работа в т.ч. Как и куча всего другого. #talk #history #apple

Удивительно: Aliexpress в браузере проигрывают осциллирующее аудио без звука, почти ничего этим не триггеря (на табе не будет иконки играющего звука), и анализируют, как именно оно проигрывается. Такой хитрый метод фингерпринтинга и борьбы с ботами. #privacy #cybersec #web

Вспомнил, как мы в Джетбрейнс делали текстовый редактор, ну как мы, его еще до меня делали, несколько лет, а тут я прихожу, включаю потестировать, смотрю — строки не переносятся. А че, говорю, давайте Word Wrap включим. И на меня вся команда как посмотрела. Я такой: че такое, че не так? Неудобно? Не, удобно, говорят. Только под капотом РЕАЛИЗОВАНО НЕЭФФЕКТИВНО. В смысле не у них конкретно, а в целом, в любом редакторе, текст с Word Wrap (когда строка по достижении правого края окна сама переносится на следующую, а не уходит за край) рендерить дороже, чем без. Не то чтобы это как-то было заметно на практике, просто как ты его включишь, если будешь знать, что компьютеру там под капотом придется напрягаться? Вот такие вот ПТСР бывают у ИДЕ-разработчиков. А потом мы еще эмоджи и RTL прикручивали.

Корень корня всех зол Потрясающая археологическая работа по поиску истоков известнейшей фразы о преждевременной оптимизаци. Tl;dr заявление о том, что 97% кода можно не оптимизировать, но нужно знать, какие именно 3% кода «горячие», строится на анализе существовавших на момент написания статьи программ, которые по современным меркам считались бы очень простыми и маленькими. Зачастую там действительно был один основной цикл, а производительность всего остального не имела значения.

Тут вот чел хорошо пишет: можно сколько угодно строить технологические системы, защищать их хитрой криптографией и всё такое прочее. Но когда придут люди с автоматами, почти любая система будет делать то, что им нужно, нравится нам это или нет. #cybersec #cryptography

Коротенький доклад: Arabic native speaker размышляет о том, как бы так программировать, если ты даже близко не знаком с английским. И приходит в итоге к идеям из Unison - функции определяются не именем, а хэшом от стандартизированного AST. Как при этом рендерится код у каждого отдельно взятого разработчика тут уже не так важно. #talk #language

Смотрите, как страшно жить. Короткий физический доступ к системам Boeing 737 и правильное устройство в кармане, и вот уже можно наделать ужасного. #cybersec #aviation #hardware

Ребята, EVE Online всё ещё работает на Python 2 и собираются мигрировать на 3-й, штооооо?! #game #gamedev #python

Тут вот ссылка на твит со ссылкой, т.к. Джон Блоу отметился. Но пост чудесный: клода раз за разом просят написать ЛУЧШУЮ версию reverse string CLI программы. За ссылочку спасибо @dimsuz. #humor #ai #llm

Ммм, наш горячо любимый дед - Ричард Столлман - решил поспорить о терминах. Вернее, решил рассказать, чем слово hacking было изначально, и как приобрело коннотацию взломов. #hack #history

Чел сам промышляет реверс-инженирингом, но загоняется по теме, как усложнить им жизнь, и сделал по этому поводу офигенный доклад. Первая придумка. Ассемблерные mov, как оказалось, полны по Тьюрингу. Чел накидал компилятор C, где ассемблер целиком состоит из безусловных mov инструкций. Разбирать такую штуку, говорит, очень сложно. Но тут он понял, что надо не просто усложнить жизнь реверсеру, а именно заставить бедолагу сдаться. И отсюда вторая придумка: "Psychological Warfare". Разобрались, как в control flow graph внутри IDA и подобных тулов выводить то, что хочется. Ну и смогли таким образом посылать угрожающие картинки тем, кто будет реверсить. А потом и демотивирующие надписи. А потом и картинки, которые нашлись уже на файловой системе жертвы. #talk #reverse #cybersec

Потрясающий пэйпер: брали encrypted блоки reasoning токенов больших моделей, подкладывали их родственным моделям поменьше, которые проще джейлбрейкнуть, и восстанавливали таким образом большую часть рассуждений. А потом ещё анализировали, что можно оттуда вытащить интересного. И пробовали "подсаживать" мысли совсем другим моделям, что тоже имело интересные эффекты. #ai #llm

cringebot3000. Даёшь ему какую-то тему, а он про это пишет тот самый кринжовый LinkedIn пост. #humor #just4fun #ai

Men will literally build a supersonic trebuchet in the backyard instead of going to therapy. Ну типа серьёзно, чел на заднем дворе разработал, напечатал и построил требушет, маленькие снаряды из которого преодолевают сверхзвуковой барьер с характерным хлопком. Офигенно! #talk #hardware #just4fun