Hacker News 🇷🇺 Русский

В TypeScript логические выражения имеют единый тип boolean с двумя значениями (true/false) и сразу сворачиваются в значение.

В Lean логические выражения имеют тип Prop и не вычисляются автоматически в true/false.

Пропозиция в Lean является одновременно значением и типом, и её доказательство — это значение этого типа.

LinkedIn превратился в площадку для посредственного контента.

Алгоритм платформы вознаграждает частые, но пустые публикации.

Большинство постов наполнено общими советами без реальной ценности.

Реинфорсмент-обучение (RL) — это простое расширение супервизированной донастройки (SFT).

Добавление отрицательных примеров и KL-дивергенции превращает SFT в полноценное RL.

Offline-обучение проще в реализации, а Online-обучение улучшает результаты за счёт использования выходов модели во время тренировки.

KITECH создал титановый топливный бак диаметром 640 мм из сплава Ti64 методом DED 3D-печати.

Бак выдержал давление 330 бар при охлаждении до −196 °C, подтвердив прочность для космических задач.

3D-печать сократила время производства: печать заняла три дня, а полный цикл — несколько недель.

В ходе двухнедельной операции в Неваде арестовали 38-летнего израильского чиновника кибербезопасности по подозрению в преступлениях против детей.

Его обвинили в приманивании ребенка через интернет с целью сексуального акта.

После задержания он был освобожден и вернулся в Израиль.

Сайт TrackingAI отображает текущие политические склонности популярных чат-ботов.

Цель проекта — информировать пользователей об идеологиях ИИ и способствовать выбору менее предвзятого.

Политический уклон ИИ определяется данными обучения и оценкой ответов людьми.

Wan2.2 использует архитектуру Mixture-of-Experts для увеличения числа параметров без роста вычислительных затрат.

Модель обучена на расширенных данных с детальными метками для кинематографической эстетики.

Увеличенный объём обучающего набора (+65,6% изображений и +83,2% видео) улучшает генерацию сложных движений и общее качество.

Включена по умолчанию функция удаления типов для запуска TypeScript-файлов без дополнительной настройки.

Добавлена поддержка import.meta.main для ESM-модулей.

Улучшена обработка событий файловой системы через AsyncIterator.

Первый опыт с Electric и PGlite показал проблемы со временем запуска из-за отсутствия компакции и утечек памяти при большом количестве запросов LISTEN.

Для однопользовательского приложения заметок более уместен легковесный SQLite вместо сложной системы Electric.

Минимальный механизм синхронизации включает начальную загрузку по updated_at, частый опрос новых записей и отслеживание изменений через булево поле.

Верховный суд США дал городам право наказывать людей за сон на улице.

Сан-Франциско активно использует это решение для очистки лагерей бездомных.

Службы города демонтируют палатки и удаляют людей из палаточных лагерей.