да

да

Поди ещë и Тëму Исхакова знаешь

Точнее знал

Поди ещë и Тëму Исхакова знаешь

Да вроде нет

Ну хайп то нехилый был

Это который убился и убил одногруппницу?

ну

А, лично не знаком

Не был знаком*

Ни разу не одногрупницу, она в другом вузе училась

А, лично не знаком

Ну понятно не лично, а просто какая в вузе реакция была интересно

Ни разу не одногрупницу, она в другом вузе училась

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

Ну понятно не лично, а просто какая в вузе реакция была интересно

Поржали на курилке и забыли

Все было около пофиг.

Борланд же вроде всë давно

Борланд же вроде всë давно

?

?

Приказал долго жить

Не, все в мире, в в вузах все еще

))

Ну паскали до сих пор, делфи всякие

На 1-2 курсе проскальзывали. И да, был 1 сем С++, ну вы поняли)))

Фрипаскаль же есть. И развивается активно

Причем списан с борланда

Фрипаскаль же есть. И развивается активно

Да, но юзать я его, пожалуй, не стану.

Блин, почему вместо борланд всегда хочется близзард написать

А это мозг выпиливает рудименты так.

Механизм защиты психики

Да, но юзать я его, пожалуй, не стану.

Почему

Почему

Ну, я даже придумать не могу зачем. Есть Си, Ява, JS для веба и в быдлослучаях PHP для бэкэнда.

Да просто некрасивый синтаксис, меня коробит с несиподобных. Но это уже пунктик и на рациональность не претендую

Да и потом, популярностью он почему то не пользуется, если гитхаб его стату не нерфит

Если вспомнить дос, начинаешь понимать крутость всех этих паскалей, труба паскалей и труба сей. Удобно, быстро и.т.д., но не сегодня.

Да и потом, популярностью он почему то не пользуется, если гитхаб его стату не нерфит

мм, частенько попадаются репозитории на Паскале, сам на нем лет 5 не писал и точно никуда не выкладывал

Если вспомнить дос, начинаешь понимать крутость всех этих паскалей, труба паскалей и труба сей. Удобно, быстро и.т.д., но не сегодня.

Ada/SPARK же

Ну давайте еще кобол плюсанем

Ну давайте еще кобол плюсанем

В отличие от кобола ада и спарк развиваются семимильными шагами.

Да где особо ада развивается

Кстати для нее фронтенд для llvm есть?

Да где особо ада развивается

В Рокет саенс

Да где особо ада развивается

AdaCore пушит в GCC постоянно, нанимают новых людей, я даже собеседование с ними проходил. На тулчейн и эмулятор искали новых людей

Спарк - формально верифицируемый, используется в авионике военной

Спарк - формально верифицируемый, используется в авионике военной

А почему он там импользуется?

А почему он там импользуется?

исторически, ну и удовлетворяет всем требованиям. По факту - если программа скомпилируется, то значит будет работать как написано, а не как решит компилятор или левая пятка разработчика ОС

https://www.adacore.com/sparkpro/

Or their customers: https://www.adacore.com/industries

Аду походу тоже в авионике юзают

Еще в медицинской технике

и в космосе

Я думал, что для таких задач берут asm какой-нибудь и все

и в космосе

Логично. Читал про системы управления космическими аппаратами и их позиционированием - лютейшая дичь.

Мое уважение их разработчикам.

Я думал, что для таких задач берут asm какой-нибудь и все

Я думал, asm знают в основном хакеры и безопасники

Я думал, что для таких задач берут asm какой-нибудь и все

ассемблер в обвязке используется - типа главный комп на РТОС на Аде и спарках, а микроконтроллеры с прогами в том числе и на асме в обвязке

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

А почему в AdaCore не используют язык ассемблера (свой например)?🤨

Или такое не практикуют? Вроде в NASA Си юзают

Блин, я только с Раста на язык Ассемблера перешёл, теперь думаю об Ада, чё такое :(

Не думаю, что кому-то из нас сейчас пригодится Ада

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

Си и С++ используют, в виде подмножества с расширениями для верификации, типа EACSL

SpaceX Falcon* написан на С++, F-35 написан на С++

Кстати, именно использование С++ в этом самолете было одной из основных причин софтовых проблем, из-за которых они потратили на несколько миллиардов долларов больше.

Он падал?)

Походу кто-то выстрелил себе в ногу и уронил самолет. Печально однако

Кстати, именно использование С++ в этом самолете было одной из основных причин софтовых проблем, из-за которых они потратили на несколько миллиардов долларов больше.

Интересно, кто предложил использовать c++ в самолётах

Точно не я.

SpaceX Falcon* написан на С++, F-35 написан на С++

Не знаю зачем там плюсы. Избыточно как-то для такой техники

Интересно, кто предложил использовать c++ в самолётах

Думаю, все банально просто - современные самолеты это даже не один и не 10 компьютеров - это целый кластер с гигабитным езернетом. И софта там под завязку - так что скорее всего это был единственный способ найти достаточно программистов

NASA на Си, даж кодстайлы от них есть

Думаю, все банально просто - современные самолеты это даже не один и не 10 компьютеров - это целый кластер с гигабитным езернетом. И софта там под завязку - так что скорее всего это был единственный способ найти достаточно программистов

Ооо, блин, найти бы инфу о их железе. Там рил так все круто?

угу, не то чтобы прямо круто, но сложность софта запредельная, да еще и реалтайм

Думаю, все банально просто - современные самолеты это даже не один и не 10 компьютеров - это целый кластер с гигабитным езернетом. И софта там под завязку - так что скорее всего это был единственный способ найти достаточно программистов

Тогда, получается, что использование с++ это трата денег, но и использование непопулярного языка тоже большие деньги. Но лучше идти в pro.asm.flood

Вот где системы реально времени системщики пишут. #DosReBorn

Они делают комнату с несколькими стойками - "эмулятор" самолета и на нем обкатывают разработку софта

Они делают комнату с несколькими стойками - "эмулятор" самолета и на нем обкатывают разработку софта

Вот тоже интересно в таких местах поработать. А то я еще не одного фалкона не уронил

А жизнь проходит

Вот тоже интересно в таких местах поработать. А то я еще не одного фалкона не уронил

Это решаемо - вон была в интернете саксесс стори от русского программиста попавшего в SpaceX. Но не им единым. В Linkedin полно в таком стиле. Единственно, правда, в США, скорее всего уже не попасть. ITAR и все такое. Но не во всех странах так строго. Так что дерзайте

В таких областях дефицит кадров ВСЕГДА

не зря я в низкий уровень подался, god, thank you

я вот недавно колупался в исподниках GCC и смотрел историю коммитов, буквально несколько дней назад кто-то обновил поддержку PDP-11

жив, курилка