189 похожих чатов

React — русскоговорящее с... React — русскоговорящее с...
Android Developers Android Developers
Python Python
Vue.js — русскоговорящее ... Vue.js — русскоговорящее ...
supapro.cxx supapro.cxx
DotNetRuChat DotNetRuChat
GNU/Linux Help GNU/Linux Help
Telegram Developers Telegram Developers
Node.js — русскоговорящее... Node.js — русскоговорящее...
DevOps — русскоговорящее ... DevOps — русскоговорящее ...
JavaScript Noobs — сообще... JavaScript Noobs — сообще...
Django [ru] Django [ru]
Go-go! Go-go!
Angular - русскоговорящее... Angular - русскоговорящее...
ntwrk ntwrk
Верстка сайтов HTML/CSS/J... Верстка сайтов HTML/CSS/J...
phpGeeks phpGeeks
Kubernetes — русскоговоря... Kubernetes — русскоговоря...
Битрикс для разработчиков Битрикс для разработчиков
MODX. Русскоязычное сообщ... MODX. Русскоязычное сообщ...
pgsql – PostgreSQL pgsql – PostgreSQL
Laravel Pro Laravel Pro
iOS Developers — русского... iOS Developers — русского...
ClickHouse не тормозит ClickHouse не тормозит
Rust — русскоговорящее со... Rust — русскоговорящее со...
JavaScript — русскоговоря... JavaScript — русскоговоря...
С# С#
pro.cxx pro.cxx
pro.jvm pro.jvm
React Native — русскогово... React Native — русскогово...
Devs Chat Devs Chat
Docker — русскоговорящее ... Docker — русскоговорящее ...
HTML/CSS — русскоговоряще... HTML/CSS — русскоговоряще...
Python beginners Python beginners
🐧 RU.UBUNTU — Официальное... 🐧 RU.UBUNTU — Официальное...
Kotlin Community Kotlin Community
Embedded Group Embedded Group
Чат экстремального погром... Чат экстремального погром...
aiogram aiogram
Scala User Group Scala User Group
Haskell Haskell
PHP PHP
TypeScript TypeScript
Клуб Vue.js-разработчиков Клуб Vue.js-разработчиков
Unity Engine: вопрос - от... Unity Engine: вопрос - от...
Xamarin Developers (MAUI,... Xamarin Developers (MAUI,...
F# Chat F# Chat
Svelte [svelt] - All abou... Svelte [svelt] - All abou...
Системное администрирован... Системное администрирован...
Nuxt.js | Vue SSR Nuxt.js | Vue SSR
var chat = new Chat(); var chat = new Chat();
Data Science Chat Data Science Chat
Ассемблер Ассемблер
Android Architecture Android Architecture
Laravel для начинающих Laravel для начинающих
Церковь метрик Церковь метрик
Dart & Flutter Dart & Flutter
QA — русскоговорящее сооб... QA — русскоговорящее сооб...
DBA - русскоговорящее соо... DBA - русскоговорящее соо...
Tarantool Tarantool
Unreal Engine Unreal Engine
pro.elixir pro.elixir
Python Flask Python Flask
PostgreSQL + 1C + Linux PostgreSQL + 1C + Linux
SAP ABAP SAP ABAP
R (язык программирования) R (язык программирования)
Zbrush RU Zbrush RU
learn.java learn.java
DevsHelper DevsHelper
Big Data Science :: AI / ... Big Data Science :: AI / ...
Delphi & Lazarus Delphi & Lazarus
SwiftBook SwiftBook
Solidity Development Solidity Development
Вокруг да около Zigbee Вокруг да около Zigbee
Android Declarative Android Declarative
Evolution CMS официальное... Evolution CMS официальное...
pro.net (former COM+) pro.net (former COM+)
OpenStreetMap RU OpenStreetMap RU
Visual Studio Code — русс... Visual Studio Code — русс...
Atlassian Community - Rus... Atlassian Community - Rus...
ru_mysql ru_mysql
pro.lua pro.lua
Dart / Flutter Dart / Flutter
GraphQL — русскоговорящее... GraphQL — русскоговорящее...
Чат про Fusion 360 и 3D Чат про Fusion 360 и 3D
Substance Painter & Desig... Substance Painter & Desig...
pro.graphon (and gamedev) pro.graphon (and gamedev)
pro.Asm pro.Asm
IDE и редакторы — русског... IDE и редакторы — русског...
OpenCartForum - 🇺🇦🇪🇺Чат O... OpenCartForum - 🇺🇦🇪🇺Чат O...
Angular.js (1.x) — русско... Angular.js (1.x) — русско...
Frontend_ru Frontend_ru
Lame C Lame C
Flutter Developers — русс... Flutter Developers — русс...
AutoIT RU AutoIT RU
AI / Искусственный Интелл... AI / Искусственный Интелл...
dlang.ru dlang.ru
Laravel Framework Russian... Laravel Framework Russian...
WebPwnChat WebPwnChat
Чат — Верстка Сайтов и Фр... Чат — Верстка Сайтов и Фр...
pro.python pro.python
Java Underground Java Underground
Natural Language Processi... Natural Language Processi...
javascript_ru javascript_ru
SqlCom.ru - сообщество MS... SqlCom.ru - сообщество MS...
Cinema 4D Cinema 4D
Delphi Community Delphi Community
pro.vim pro.vim
Server Side Swift Develop... Server Side Swift Develop...
Autohotkey_RU ( v1 & v2 ) Autohotkey_RU ( v1 & v2 )
PHP DevConf KZ🇰🇿 PHP DevConf KZ🇰🇿
Modern::Perl Modern::Perl
pro.rb (Ruby/Rails / RU) pro.rb (Ruby/Rails / RU)
RubyRush.ru RubyRush.ru
Oracle RU Oracle RU
ru.nim.talks ru.nim.talks
DevOps DevOps
Odoo talks & fun Odoo talks & fun
Software Design/Architect... Software Design/Architect...
sql_ninja sql_ninja
AndroidDev Pro:: Професси... AndroidDev Pro:: Професси...
WordPress for developers WordPress for developers
PowerShellRus - о Powersh... PowerShellRus - о Powersh...
Haskell Start Haskell Start
Эльбрусы и с чем их едят Эльбрусы и с чем их едят
Java/Kotlin and more Java/Kotlin and more
pro.buildsystems pro.buildsystems
Powershell Rus Powershell Rus
ErlangRus ErlangRus
Python для анализа данных Python для анализа данных
Распознавание и синтез ре... Распознавание и синтез ре...
Скрипты Гугл, Таблицы, Go... Скрипты Гугл, Таблицы, Go...
WebGL ru WebGL ru
Compiler Development Compiler Development
firebase_ru — русскоговор... firebase_ru — русскоговор...
Electron.js Electron.js
phpclub.ru phpclub.ru
embedded.rs Въевшаяся Ржа... embedded.rs Въевшаяся Ржа...
RU.CRYPTOGRAPHY — Криптог... RU.CRYPTOGRAPHY — Криптог...
pro.osdev - os developmen... pro.osdev - os developmen...
MySQL MySQL
Lame C++ Lame C++
QA juniors QA juniors
GameDev for Web GameDev for Web
RUSCADASEC community: Киб... RUSCADASEC community: Киб...
ru_hashicorp ru_hashicorp
Go Get A Job Go Get A Job
PostgreSQL (English) PostgreSQL (English)
Ember_js Ember_js
Tilda Developers Tilda Developers
RU.Docker — Официальное Р... RU.Docker — Официальное Р...
Emacs — русскоговорящее с... Emacs — русскоговорящее с...
FreePascal & Lazarus FreePascal & Lazarus
Язык программирования Jul... Язык программирования Jul...
WordPress – русскоговорящ... WordPress – русскоговорящ...
Kaggle Kaggle
Django Django
sentry_ru sentry_ru
ReasonML и OCaml ReasonML и OCaml
Grafana Loki Grafana Loki
WebAssembly — русскоговор... WebAssembly — русскоговор...
ansible — русскоговорящее... ansible — русскоговорящее...
Сrystal Lang — русскогово... Сrystal Lang — русскогово...
aiohttp aiohttp
ITChat ITChat
Foundry Modo Foundry Modo
Clojure — русскоговорящее... Clojure — русскоговорящее...
heroku_ru heroku_ru
PowerShell Pro PowerShell Pro
macOS Developers — русско... macOS Developers — русско...
UI/UX — русскоговорящее с... UI/UX — русскоговорящее с...
systemd systemd
use Perl or die; use Perl or die;
FORTH и родственные ЯП FORTH и родственные ЯП
Natural Language Processi... Natural Language Processi...
ru_jenkins ru_jenkins
CatBoost CatBoost
CyberBiology CyberBiology
Sequelize - community (en... Sequelize - community (en...
sonarqube_ru sonarqube_ru
Elm Lang сообщество разра... Elm Lang сообщество разра...
SublimeText_RU SublimeText_RU
NativeScript NativeScript
WordPress CodeRun WordPress CodeRun
ReactiveX - русскоговорящ... ReactiveX - русскоговорящ...
PureScript — русскоговоря... PureScript — русскоговоря...
#Вайти #Вайти
Эликсир и Вунш Эликсир и Вунш
Cassandra Cassandra
Embedded Group Embedded Group
Viktor-

Вообще, с верификацией кода странное дело в РФ. Вижу 2

варианта:

У нас или есть ребята из ИСП РАН + какое-то достаточно закрытое к ним сообщество людей "в теме". Эта закрытость им позволяет является очень нужными и важными людьми у себя на работе + иметь ЗП под 20тыс бачей в месяц.

Либо у нас есть только ИСП РАН с обычными ЗП, и этой темой просто никто кроме них не занимается.

В любом случае остаётся вопрос: почему моя ЗП ещё не 20тыс бачей в месяц?😂😂

#it #programming #russian #web-design
0

11 ответов

21 просмотр
Igor-Zafievsky

Верификацией кода?

0
29.01.2023
Viktor- Автор вопроса
Igor Zafievsky
Верификацией кода?

Ога

0
29.01.2023
Igor-Zafievsky
Viktor
Ога

В ГосНИИАСе еще обращали на это внимание. Но им по уставу положено

0
29.01.2023
Viktor- Автор вопроса

Хотя ещё есть третий вариант: мб верификатор кода, как Неуловимый Джо из анекдота, нахер никому не нужен😂😂

0
29.01.2023
Andrey-Ermakov
Igor Zafievsky
В ГосНИИАСе еще обращали на это внимание. Но им по...

ну госниас двигает комплексные процедуры для разработки всего с надежностью

0
29.01.2023
Igor-Zafievsky
Viktor
Хотя ещё есть третий вариант: мб верификатор кода,...

Старая тема: с DERами вообще проблема, ас софтовыми - проблема в квадрате

0
29.01.2023
Andrey-Ermakov
Viktor
Хотя ещё есть третий вариант: мб верификатор кода,...

ну тут же вопрос что ты делаешь и сколько человеко жизней стоит отказ=)

0
29.01.2023
Viktor- Автор вопроса
Igor Zafievsky
Боингу это не помешало

И Airbus, и LM. Пилили integrity-178 те же ребята, что и seL4 верифицировали

0
29.01.2023
Viktor- Автор вопроса
Viktor
И Airbus, и LM. Пилили integrity-178 те же ребята,...

Хотя 2 боинга во время тестов упало, как мы помним. Но это проблема ожидаемая была, так как по философии Боинга последнее решение всегда за машиной, а Airbus и LM последнее решение оставляют за пилотом. Из-за этих разногласий, как я понимаю и были проблемы

0
29.01.2023
Igor-Zafievsky
Viktor
Хотя 2 боинга во время тестов упало, как мы помним...

Там гораздо больше проблем было. У FAA тоже пукан подгорел, когда выяснилось, что DERы были из Боинга...

0
29.01.2023

Похожие вопросы

Embedded Group Embedded Group / Orlov Artem
Подписаться

Здравствуйте. Кто шарит за Embedded разработку, скажите насколько сейчас это сложно и перспективно, что нужно знать и стоит ли это того? Я знаю, что есть Гугл, но я хочу услыш...

#it #programming #russian #web-design
10.11.2023
0
92 ответов
Embedded Group Embedded Group / Alex Smirnov
Подписаться

Всем доброго Мб подскажете, куда копать? Есть плата с плисиной, кинтекс 7, она жёстко греется при загрузке в неё нужной прошивки, с огромным радиатором и активным охлаждение...

#it #programming #russian #web-design
27.09.2023
0
52 ответов
Embedded Group Embedded Group / Иван Музыка
Подписаться

превед! посоветуйте новичку, с чего начать с stm32 - регистры или hal?

#it #programming #russian #web-design
17.08.2023
0
65 ответов
Embedded Group Embedded Group / Илья
Подписаться

Кто-то уже пробовал работать в Fleet применительно к эмбеду и С/С++/Py/HDL? Интересует общий фидбек о быстродействии, кастомизации, работе автодополнения и прочего

#it #programming #russian #web-design
19.10.2023
0
50 ответов
Embedded Group Embedded Group / Dmitry CTM
Подписаться

Коллеги, возможно, кто-то уже реализовывал подобное? Продукт - система из одноплатного компа и и нескольких плат на cortex-M, подключенных к нему. Набор прошивок включает при...

#it #programming #russian #web-design
03.11.2023
0
40 ответов
Embedded Group Embedded Group / Я тут Живу
Подписаться
screenshot

Забавно , а есть куда валить ит спецам ?

#it #programming #russian #web-design
15.03.2022
1
105 ответов
Embedded Group Embedded Group / Artem
Подписаться

Если в Москве платят 200к то сколько в деревне будут платить на такой же позиции? 50к?

#it #programming #russian #web-design
28.10.2023
0
42 ответов
Embedded Group Embedded Group / abdev
Подписаться

Здравствуйте, господа. Подскажите пожалуйста, что в разработке для микроконтроллеров можно полезного сделать на python кроме вычисления формул и отрисовки графиков?

#it #programming #russian #web-design
12.10.2023
0
42 ответов
Embedded Group Embedded Group / Artem
Подписаться

Есть генератор, генератор подключен к замкнутой цепи с длинной кабеля в триллион километров. Кабель это сверхпроводник с 0 сопротивлением. При включении генератора будет ли т...

#it #programming #russian #web-design
01.09.2023
0
42 ответов
Embedded Group Embedded Group / Electronics Designer
Подписаться

Коллеги, спасите, я начинаю сомневаться в том, что я психически здоров. В образовательных целях я решил попробовать собрать прошивку для Cortex-M3 руками с помощью ARM GNU To...

#it #programming #russian #web-design
21.08.2023
0
9 ответов
Смотреть еще
Embedded Group Embedded Group
Подписаться
Вопросов 24228
Ответов 58427
Участников 3591
Telegram @proembedded

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Гайс, вопрос для разносторонее развитых: читаю стрим с юарта, нада выделять с него фреймы с определенной структурой, если ли чо готовое, или долбаться с ринг буффером? нада у...
Vitaly
9
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
длина пакета фиксированная, или меняется?
Okhsunrog
7
Карта сайта