Французский Trust In Soft продает автоматическую проверку корректности программного кода. Презентация обещает огромное количество фич, от простой проверки переполнения (современный компилятор бесплатно делает) до почти магического “математического доказательства отсутствие ошибок”. Основное утверждение основателя – в атомных электростанциях, самолетах и подобных местах не бывает избыточной безопасности, некоторые клиенты любой инструмент купят, если он что-то ловит.
Я к математическим доказательствам программ с университета отношусь настороженно. Разработчик случайно написал, что при высокой температуре надо “дарить конфеты” вместо “тушить” – какая математика поймет, что это неправильно? С другой стороны, какая разница, что думаю я, – важно отношение покупателей, выручка – критерий истины.
Пошел на сайт, там онлайн-демо, дай ссылку git-репозиторий с C или C++ кодом – тебе совершенно бесплатно все ошибки найдут. Начинаю с tarantool – Trust In Soft его не проглотил, исходники слишком большие, в халявные лимиты не уместились. Ок, вторая попытка – рекомендованные примеры самого стартапа, он заботливо их оформил и ссылки рядом с демо приложил. И вот тут – настоящее фиаско, на собственном коде Trust In Soft вернул “внутреннюю ошибку сервера”. Я спокойно отношусь к глючным продуктам любых стартапов, но тут-то продается надежность и безошибочность, качество демонстрации поразило в самое сердце. На месте клиента – не купил бы.
История стартапа гипотезу в целом подтверждает – таки не покупают. Проект запущен ещё в 2013 году, 2 миллиона евро выручки с того времени – это примерно 2 миллиона рублей в месяц на наши деньги, магазин у дома по порядку такие же обороты имеет. В 2017 году Trust In Soft привлек 1.3 миллиона долларов инвестиций.
http://trust-in-soft.com/
#безопасность #seed #франция #технология #b2b #стартапдня
Я к математическим доказательствам программ с университета отношусь настороженно. Разработчик случайно написал, что при высокой температуре надо “дарить конфеты” вместо “тушить” – какая математика поймет, что это неправильно? С другой стороны, какая разница, что думаю я, – важно отношение покупателей, выручка – критерий истины.
Пошел на сайт, там онлайн-демо, дай ссылку git-репозиторий с C или C++ кодом – тебе совершенно бесплатно все ошибки найдут. Начинаю с tarantool – Trust In Soft его не проглотил, исходники слишком большие, в халявные лимиты не уместились. Ок, вторая попытка – рекомендованные примеры самого стартапа, он заботливо их оформил и ссылки рядом с демо приложил. И вот тут – настоящее фиаско, на собственном коде Trust In Soft вернул “внутреннюю ошибку сервера”. Я спокойно отношусь к глючным продуктам любых стартапов, но тут-то продается надежность и безошибочность, качество демонстрации поразило в самое сердце. На месте клиента – не купил бы.
История стартапа гипотезу в целом подтверждает – таки не покупают. Проект запущен ещё в 2013 году, 2 миллиона евро выручки с того времени – это примерно 2 миллиона рублей в месяц на наши деньги, магазин у дома по порядку такие же обороты имеет. В 2017 году Trust In Soft привлек 1.3 миллиона долларов инвестиций.
http://trust-in-soft.com/
#безопасность #seed #франция #технология #b2b #стартапдня
GPS перевернул множество сторон нашей жизни. Достаточно вставить в любое устройство дешевый чип – и вы всегда знаете его координаты. А дальше уже можно искать потерянный телефон, выбирать ближайшего таксиста, следить за маршрутом ребенка или наводить на цель ракету. Так, но не совсем. В большинстве реальных применений GPS недостаточно, предметная область требует обратной связи, а не просто знания своего места на карте. Любой Uber нуждается и в дешевом GPS, и в дорогом интернете через сотовую связь или провод.
Французский Kineis хочет сделать замкнуть цикл. Он обещает дешевую двустороннюю радиосвязь между своим чипом на Земле и спутником в космосе. Толщиной канала разработчики не хвастаются, он точно будет очень узким, но зато гарантируют маленькое энергопотребление и низкие цены. Базовое применение – мониторинг чего-нибудь удаленного, где трудно обеспечить стабильный интернет.
Например, датчик можно нацепить на сорокофутовый контейнер. Он будет плыть по морям и океанам, ехать по железной дороге, лежать на складе, пересекать границы роуминга и рапортовать спутнику: “нахожусь там-то, температура внутри такая-то, влажность такая-то, груз ещё не испортили”. Спутник перешлет данные на Землю, в дата-центр, а там уже красивый SaaS, отчеты и графики.
Kineis обещает вывести на орбиту 25 спутников к 2022 году, сейчас стартап привлек 100 миллионов евро инвестиций.
https://www.kineis.com/
#стартапдня #франция #b2b #космос #мегараунд
Французский Kineis хочет сделать замкнуть цикл. Он обещает дешевую двустороннюю радиосвязь между своим чипом на Земле и спутником в космосе. Толщиной канала разработчики не хвастаются, он точно будет очень узким, но зато гарантируют маленькое энергопотребление и низкие цены. Базовое применение – мониторинг чего-нибудь удаленного, где трудно обеспечить стабильный интернет.
Например, датчик можно нацепить на сорокофутовый контейнер. Он будет плыть по морям и океанам, ехать по железной дороге, лежать на складе, пересекать границы роуминга и рапортовать спутнику: “нахожусь там-то, температура внутри такая-то, влажность такая-то, груз ещё не испортили”. Спутник перешлет данные на Землю, в дата-центр, а там уже красивый SaaS, отчеты и графики.
Kineis обещает вывести на орбиту 25 спутников к 2022 году, сейчас стартап привлек 100 миллионов евро инвестиций.
https://www.kineis.com/
#стартапдня #франция #b2b #космос #мегараунд