Ну, с Днём Шифровальщика!
йухан иди скам

Миллиардер Алекс Карп (CEO компании Palantir, которая разрабатывает софт для ЦРУ, АНБ, ФБР, Пентагона, Европола, топ банков итд.), на днях заявил:

В эпоху ИИ выживут только две категории людей:

1. Люди с рабочими профессиями (электрики, сантехники) — их труд сложно автоматизировать.

2. "Нейроотличительные" люди (дислексики, СДВГ, аутисты, глубокие невротики вроде меня :) - они мыслят весьма нешаблонно и хм довольно странно, периодически привлекая внимание санитаров.

Традиционные нормальные навыки и элитные дипломы обесцениваются. Главным активом становится когнитивная гибкость и буквальная неспособность следовать готовым сценариям.

Palantir запустил под это две стипендиальные программы:
Neurodivergent Fellowship (до $200 000/год), получено 2000 заявок за считанные дни.
Meritocracy Fellowship (для вундеркиндов без образования, стипендия $5 400/месяц).

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

Микроговнософт раскритиковал Карпа, что дескать если нейроотличительность так ценна, то почему её активно ищет лишь Palantir? Ну, уровень хрюш даже из FAANG мы все хорошо знаем, потрясающий уровень некомпетентности и зашоренности :) Это как раз показатель, что Карп сам шибко умный реально, раз придумал так пылесосить по всему миру таких "суперов".

Посмотрел в первом приближении текущие проекты Palantir -- ну как бы когда такой масштаб, немало вещей трудно скрыть, и многое уже достаточно прозрачно читается между строк. Хочу попробовать похитить у Карпа ключевые смыслы )))
(пока ещё работает впн...)

Потому что их темки во многом перекликаются с тем, что я делаю в Лаборатории, технологии тройного назначения (какое третье? напишу скоро пост).

Ну например Карп утверждает, что DoD IL6 (золотой стандарт безопасности для подрядчиков американских спецслужб и министерства обороны нападения), чисто инженерный подход, отмечу, считается строже и значимее по качеству, чем формальные доказательства в том же Lean 4, причём пруф-ассистентами Palantir не пользуется принципиально. Почему? Думаю, это просто развод гоев-госзаказчиков. Когда у тебя в Palantir тысячи микросервисов (ахаха, развели козликов на модные технологии :) и многие тысячи деплоев каждый день, до какой же здесь формальной верификации :)

И вот если похитить из этого подхода ключевые фишки.... Например, их ключевая абстракция -- Ontology, где пытаются устанавливать связи в "грязных", неполных, противоречивых данных с нестрогой семантикой (в основном через вероятностное entity resolution). Глубокий поиск связей мне неинтересен (ну или задонатьте миллион, и формализую эту темку:), а вот по онтологиям, сейчас как раз на Функциональных архитектурах развиваю модуль "Математика DDD", близко к Palantir-у, где каждое бизнес-понятие ("Клиент", "Счёт", "Шпион") -- Object Type с чётко определенными Property Types и Link Types.

Так вот, как раз HoTT предлагает мощный математический аппарат (и по сути "язык программирования") с унивалентностью для описания таких сложных структур тождественности. Она даёт теоретическую возможность залифтить изоморфизм между реализациями (с учетом высших гомотопий) до тождества типов в модели!!1 А сейчас Type Mapping в Palantir делают в основном вручную.

Надо будет дальше "порассуждать письмом" как следует на эти темки. Порву Palantir как тряпку :) Посмотрите кстати евоный гитхаб, немало полезняшек (классный линтер для TS например).

А мы так можем? А мы зато можем заблокировать гитхаб.

В целом, у них есть мощные подходы конечно, например как инженерно верифицировать выдачу искусственного идиота (AIP Evals). Хотя, думаю, моя методика формализации DDD тут будет как минимум не хуже. Ментатам буду пояснять на индивидуальных консультациях, и в гайде ФА.

Ты ещё на коне и в расцвете зла
Всё мечтаешь о жизни новой...
(послушать)