Поиграл с Microsoft Z3 theorem prover (самоизоляция - время эксцентричных хобби).
Прикольная штука: примерно как Wolfram Alpha, только можно подключать в свой собственный код в питоне. Можно сформулировать любую задачу как набор ограничений в логике первого порядка и попросить Z3 символьно найти решение.
В первой ячейке он решает уравнения, от кубических до 6й степени.
Во второй – доказывает неравенство Коши.
В третьей просто хрень, не справился.

Технологи Сан-Франциско интуитивно понимают network effects и экспоненциальный рост лучше, чем финансисты Нью-Йорка. Поэтому был короткий период в конце февраля - начале марта, когда об угрозе коронавируса в СФ все уже трубили сирены в Твиттере, а в НЙ еще считали, что их это не коснется. По совпадению, знакомый из венчурного фонда в СФ именно в тот момент улетел в НЙ поднимать очередную порцию инвестиций в свой фонд. Знакомясь с prospective LPs, он вежливо уклонялся от рукопожатий или предлагал заменить на elbow bump. Люди удивлялись и немного хихикали, типа you're blowing this coronavirus thing out of proportion, но соглашались. Интересно, увеличится ли их желание инвестировать сейчас, когда он уже выглядит не эксцентриком, а предсказателем.

Вообще, было весьма интересно следить, как осознание угрозы экспоненциально раскатывается по Земле чуть-чуть впереди самого вируса.
"the future is already here, it's just not evenly distributed"

Понравился коротенький научно-фантастический рассказ про коронавирус от Tim Urban, очень напомнило "Three body problem" https://waitbutwhy.com/2020/03/my-morning.html

Кажется, в китайской крипто-индустрии весьма распространено уходить из материнской компании, чтобы делать ее прямого конкурента (впрочем, может это фишка китайской ИТ-индустрии в целом?)

(1) CEO/фаундер Binance (топ-1 биржа), знаменитый CZ, до этого был CTO в OkEx (тогда была топ-1 биржей, стала топ-2 после Binance).
(2) Оказывается, у майнинг-пулов та же тема: фаундеры Poolin до этого были кодерами в BTC.com (оба в топ-3 пулов биткойна)
https://minerupdate.substack.com/p/minermovements-4
(3) Та же ситуация с фьючерсами, но отпочковавшаяся компания пока в stealth.
Спот-трейдинг, майнинг и фьючерс-платформы – кажется, топ-3 вещи в крипто, которые прибыльны сейчас, а не в далекой перспективе.

Наверное, это хорошо для инноваций: считается, что Кремниевая Долина стала Кремниевой Долиной в том числе благодаря тому, что в штате Калифорния запрещено требовать от сотрудников non-compete agreements. Тем не менее, кажется, что даже в Долине такой конкуренции нет. То ли неписаные джентльменские манеры котируются выше, то ли люди ленятся, то ли изначально делают только хорошо защищаемые продукты (с network effects).

И вот еще в тему пост Алины про software is a commodity. Все три моих примера отличаются тем, что печатают деньги прямо сейчас (руки чешутся скопировать), но сильным network effect'ом не обладают.

Рубрика "мои кумиры": чел с ВМК, свалил в 90е, запилил AI-компанию, которая подняла в сумме $125M (последний раунд от Vision Fund в 2017), сейчас Walmart стал крупным клиентом. Личный вебсайт у него прикольный (в частности, судя по резюме, он в середине учебы отчислялся и пару лет отслужил).

​Вряд ли многие из вас слышали про Евгения Ижикевича. А зря. Сегодня его можно поздравить с большим успехом. Но давайте с предыстории.

Ижикевич уехал из России в США в начале 1990-х и стал заниматься там искусственным интеллектом. В 2009-м он основал компанию Brain Corp, а в 2019-м Forbes включил ее в 50 самых перспективных американских компаний в области искусственного интеллекта. На Inc. есть большое интервью с ним.

А теперь про успех. Brain Corp. делает беспилотных роботов для чистки полов с собственной ОС, машинным зрением и всеми делами. Так вот Walmart решила внедрить этих роботов в 1860 из 4700 своих магазинов. Первые пилоты с Walmart были в 2018-м. Даешь беспилотный мир!

А интервью обязательно почитайте, у дядьки интересная история.

@TheEdinorogBlog

Отличный пост от сотрудника Founders Fund (VC фонд Тиля). О том, что скорость роста Интернет-стартапов в среднем все сильнее падает: проникновение Интернета уже достаточно высокое, и времени, которое люди проводят в онлайне, уже просто некуда расти. В результате борьба за пользователей переходит из фазы бурного роста (нужны сильные инженеры на R&D) в фазу zero-sum competition и эффективного менеджмента (нужна орава salespeople).

"Internet companies have spent the last 20 years capturing opportunities with the highest margins, lowest operational complexity, and strongest market pull: search, social networks, CRMs, ecommerce.

As the Internet growth tailwinds subside, what’s left? Harder problems. Today, startups tend to focus on problem spaces where there is higher operational and go-to-market complexity. <Like tech businesses with a large real-world component etc>"

В этом плане мне весьма нравится заниматься криптовалютами (одно из немногих исключений из тренда). После того, как скам-проекты вымыло в ~конце 2018, содержательные ниши растут как на дрожжах (в первую очередь финансовые смарт-контракты aka DeFi). Ожидаю впереди долгие счастливые годы игры в математику на деньги, изолированные от головняка взаимодействия с реальным физическим миром. 😄😄

Горячо рекомендую профориентационный подкаст с Алиной Асеевой (канал @subzero_knowledge). У Алины впечатляющая риск-толерантность вписываться в приключения и готовность искренне обо всем рассказывать. Узнайте о том, как Алина:
1) Ездила на хим/био стажировки в США и Японию, а потом поступила с химфака МГУ на PhD в ETH Zurich и Oxford (это весьма сложно сделать напрямую без потери года или магистратуры).
2) Задолбалась в своей лабе и ушла от неприятного научника работать в McKinsey, а на консультантскую зарплату параллельно раскрутила бизнес с братом в Москве.
3) Делала компании в machine learning, криптовалютах и ритейле, а также экспериментировала с производством в Китае.
Apple Podcast, Google Podcast, Castbox, вебсайт

Вообще, мне весьма нравится формат подкаста, где фокус напрямую на человеке, а не на какой-то одной теме (типа конкретной индустрии). Выжимка "самое интересное, что произошло в жизни талантливого человека Х, упакованное в N минут" – очень круто, и было бы здорово, если таких мини-автобиографий было больше. Часто залипаю на разных людей из интернетов и хочу узнать о них больше, но неоткуда.

Наверное, скромность и нежелание казаться тщеславным мешает идее прижиться, поэтому обычно нужен внешний повод. У нас в "Интеллектуале" на десятилетие выпуска все делали десятиминутные рассказы про свою жизнь, и получилось отлично. Во-первых, в "непринужденной беседе" узнать все сочные подробности из жизни друг друга заняло бы раз в пять больше времени. Во-вторых, позволило подключить к беседе тех, кто разъехался по другим странам (а это примерно половина выпуска).

У кого нет трех часов на фильм Дудя про Кремниевую Долину – вот впечатляюще полное описание социальной жизни в Сан-Франциско за одну минуту. Простенькая видюшка, но супер-вирусная, мне три человека независимо прислали. Жиза!
https://twitter.com/yayalexisgay/status/1249057146051821568

Заодно и вторая приколюха, чтобы несодержательный контент хотя бы пачками шел 😅
1) Antoha MC - Время Ток (залипательная эстетика 90х)
https://www.youtube.com/watch?v=JDSPAPOUU0U
2) Виталик Бутерин танцует
https://www.youtube.com/watch?v=kUheuFDHSvI
Найдите 10 отличий

Для тех, кто еще думает, что машины – "имитация жизни", неспособная к творчеству, а у людей творчество льется из божественного вдохновения.

1) Как музыканты пишут песни. Да это же ровно один шаг expectation–maximization algorithm, который потом можно итерировать (скрытые переменные = текст, совместное распределение = гармоничность соответствия текста музыке + априорная адекватность текста в языке)
https://www.facebook.com/watch/?v=641246412742126

2) OpenAI научились с нуля генерировать музыку + текст песен, в заранее выбранном стиле. Работает на variational autoencoders (получается, примерно тот же алгоритм, что и у людей, ха-ха).
https://openai.com/blog/jukebox/

Решил расшарить список всех прочитанных мной книг, который я поддерживаю где-то с 2012го (когда целиком перешел на Kindle). Понравившиеся выделены звездочками. Кто ищет себе интересное занятие в карантин – налетайте.

Гуглдок открыт на комментарии, так что можно обсуждать прямо там. В идеале хотел бы еще импортировать из Kindle свои заметки по каждой книге, но пока лень.

https://docs.google.com/document/d/1BEZb27XO4K3omKaE7dP6g7hVHlWbhgFKVVOPwqbCY9U/edit?usp=sharing

Смотрю на Netflix Brooklyn 99, простенькую и добрую комедию про нью-йоркских копов. Карантин, чо, могу себе позволить.

Так вот, в S02E18 копы всем участком безуспешно пытаются решить такую головоломку. Есть остров, и на нем 12 человек. 11 одинакового веса, один – то ли чуть легче, то ли чуть тяжелее остальных. Весов нет, но есть качели (которые перевешивают в ту сторону, на которой больше вес, или находятся в балансе). Нужно за 3 взвешивания на качелях определить, кто из 12 особенный и легче он или тяжелее. Как это сделать?

С удовольствием зарешал! Задачка хорошо подогнана, перебором по наитию наткнуться на решение крайне маловероятно, но есть красивый алгоритм решения вообще без перебора. Друзья-математики, наслаждайтесь.

Я: недоволен, когда преуменьшают вклад народов СССР в Победу и жертвы страны (погибших в СССР 27 миллионов, в США, Британии, Франции – примерно по 500 тысяч)

Тоже я: только вчера узнал, что Китай в войну потерял 15-20 миллионов человек (и только пару лет назад узнал, что Китай вообще участвовал во Второй Мировой). Только сегодня узнал, насколько важен был ленд-лиз США для СССР (привет Камиль).

Еще, пару месяцев назад как-то сложилось, что обсуждали войну с подругой из Австралии. Она принялась рассказывать, что для Австралии война была особенно тяжелым испытанием, и страна потом долго восстанавливалась (жертвы Австралии: 40 тысяч человек).

В общем, что ни делай, у каждого в центре мира он сам 🤷

Крутое исследование от AngelList про распределение возврата венчурных инвестиций, в зависимости от стадии. На огромном массиве данных, который есть только у AngelList в силу их уникального положения посередине всего рынка.

Краткая версия:
1) Распределение - степенной закон (он же "Парето", "20% усилий приносит 80% результата" и вот это все). Это мы и раньше знали.
2) В первые годы стартапы растут быстрее всего, дальше медленнее.
3) Интересное: на seed стадии распределение степенного закона такое, что матожидание бесконечно. Поэтому, теоретически, нужно инвестировать вообще в каждую вменяемую сделку – пытаться отделять зерна от плевел строго худшая стратегия.

На самом деле в (3) много тонкостей (это скорее забавный математический парадокс, чем факт реального мира), но весьма интересно.

Вообще, весьма нравятся такие исследования из категории "измерить магию" или "досчитать до бесконечности". На вход – вся неисчислимая креативность всех стартаперов планеты, на выход – интересная моделька.

https://angel.co/blog/venture-returns
https://angel.co/pdf/growth.pdf

Интересное про то, как взаимодополняющие технологические компании стремятся максимально коммодитизировать друг друга, чтобы самим стать монополистами (классический пример - хардверные компании стремятся коммодитизировать софт и наоборот).

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

Интересно, как эти войны сложатся в Crypto / DeFi (например, между маркер-мейкерами и платформами)

https://www.gwern.net/Complement