Добавить любой RSS - источник (включая журнал LiveJournal) в свою ленту друзей вы можете на странице синдикации.
Исходная информация - http://forum.sources.ru. Данный дневник сформирован из открытого RSS-источника по адресу http://forum.sources.ru/yandex.php, и дополняется в соответствии с дополнением данного источника. Он может не соответствовать содержимому оригинальной страницы. Трансляция создана автоматически по запросу читателей этой RSS ленты. По всем вопросам о работе данного сервиса обращаться со страницы контактной информации.[Обновить трансляцию]
Akina: Гм... по-моему, образы LiveCD/LiveUSB с WindowPE всяческих версий совсем не проблема. Как и не проблема допихать в имеющийся образ нужные программы, если их там нет.
Самыми популярными сейчас (если кто считает иначе - спорить не стану) являются 2k10 и сборка от Стрельца.
evGenius: Используй "Инструменты разработчика". Гуглятся и скачиваются легко, там есть специальный механизм поиска, замены и удаления дублей. Для использования нужно будет запустить 1С в режиме обычных форм с ключом /RunModeOrdinaryApplication
vot: rabota.ru стала настолько опошлена бездарно-тупым модерированием резюме, что многие соискатели тупо бегут с этой площадки. Вот и мне пришлось удалить оттуда все свои резюме. Дебиллы, *ля (с) Задолбали >:(
Есть сферы, где критично всё. Хотя и с разными уровнями. Там просто не бывает невысококритичного ПО. За остальные случаи я уже говорил: это решает заказчик, исходя из своих соображений эксплуатации целевого продукта. И дай ему бог не ошибиться.
Я не адвокат, но я знаю что критичный продукт это тот где могут пострадать люди
или ущерб большой, какая разница не чем его писали то ?
Это верно, но это не обязательно высококритичный продукт. Кроме того, возможные жертвы – это не единственный критерий. У нас как-то был проект от некоего оператора, не буду называть три большие буквы, которые хотели от нас полный цикл верификации виндового стека криптографии по упрощённой модели, ибо объём документации, понятное дело, ограничен. Кстати, тестирование должно выполняться без доступа к исходным кодам. Обычно его-таки дают, так дешевле, да и верификация в общем без анализа и рассмотрения многих аспектов требований и кода нереальна, но нужно всегда быть готовым к тому, что подсмотреть в коде ничего нельзя, есть только документация на него. Не уверен, я в нём не участвовал, хотя и консультировал по части архитектуры кода, работающего у винды на уровне ядра, но вроде бы это требовалось как часть процесса сертификации их банковских сервисов. С POSIX-ом им было проще, там открытый код. И да, это было давно, лет 10 как.
https://checko.ru/company/aviaok-1036154001289 Информация в источниках может быть не вполне актуальной, сейчас мы из ООО кастуемся к АО. Спектр деятельности широкий, но помимо легко угадываемых по разделу дополнительной информации тут, они практически неактивны, поставщиков таких услуг и без нас хватает. Там просто все лицензии перечислены.
... но нужно всегда быть готовым к тому, что подсмотреть в коде ничего нельзя, есть только документация на него
Кстати, уже постил куда-то, сбаяню. Мой любимый пример.
В документации сказано: «функция void sort(int *vec, size_t size) должна выполнять сортировку массива vec, размером size. Сортировка осуществляется по возрастанию, результат замещает исходный vec.» Требуется разработать набор тестовых сценариев для проверки этого требования. Естественно так, чтобы их можно было рассматривать как доказательную базу корректности реализации sort() согласно описанию её поведения. Если кому интересно, могут попробовать.
Пример, конечно искусственный, но он хорошо демонстрирует разницу в подходах к тестированию у нас и у бизнеса.
У нас был курс алгоритмов учили такому, у нас таким математики занимаються, при унивеситетах,
но никак не в коммерческих компаниях,
С сайта
Цитата
Крупный поставщик
Организация поставила товаров или оказала услуг на сумму более 50 636 687 руб.
Я опять что-то не понимаю ?
это меньше 1 миилиона долларов, так ? , за 18лет работы ? но у нас это называеться киоск,
У нас ларек пивной в год больше дает, ничего личного
Цитата
Не входит в реестр недобросовестных поставщиков
Опять не понимаю, у нас такое в голову не придет писать, зачем ?
А это что значит ?
Цитата
По данным ФНС, среднесписочная численность работников: 111
В фирме 111 работников ?
Цитата
Разработка, производство, испытание, установка, монтаж, техническое обслуживание, ремонт, утилизация и реализация вооружения и военной техники
1
И тут я тебе понять не могу, ну ясно, что все это требует лицензиий, только софт то причем тут ?
Славян: Дабы не сотрясать лишний раз воздух байты, правильно ли мы поняли, что вы слились и признаёте существование непрерывного отображения отрезка сюръективно на квадрат оного?.. :whistle:
Людишек обыгрывают проприетарные движки, а не поделки студентов.
Эта "поделка студентов" легко выиграет у любого человека, если запустить её на компе с хоть сколько-нибудь приличной видеокартой. Даже версию Альфаго, которая с Ли Седолем играла, она уделала бы без проблем.
Да и вообще, что сложного в том, чтобы закодить нейросетку по её описанию? В общем-то действительно даже студент справится.
Есть база индукции, есть шаг индукции, есть вывод, что верно будет для всех натуральных при верности базы и шага.
Славян, ты реально не понимаешь, что натуральные числа закончатся задолго до того, как ты построишь эту кривую или просто потролить решил? На многократную тупость я ж в конце концов могу и обидно ответить.
Почему ошибка Слишком много фактических параметров Документ.Записать(РежимЗаписиДокумента.Запись); Что там не так? Документ возвращает банковский счет, все нормально.
Даже такая конструкция вызывает ту-же самую ошибку:
документ = Выборка.Ссылка.ПолучитьОбъект();
Документ.Записать(РежимЗаписиДокумента.Запись);
Добавлено
бл... это же справочник, у него нет режима записи :lool:
О чём ты? Людишек в шахматы даже смартфон обыграет сейчас. Да и в го какая-нибудь leela (считай, open source версия Alpha Go Zero), запущенная на смарте, сможет обыграть абсолютное большинство гошников. Сам видел, как она 6 дана обыгрывает
Гугль сделал заявление, что его прога круче всех и на следующий день сказал, что больше с этой прогой не работает. Прогу никто не видел. За большие деньги гугль сделал публикацию в Nature, хотя к естественным наукам их поделка не имеет никакого отношения.
Пусть смартфон обыграют. Только их прога тоже должна работать на смартфоне без выхода в интернет. Иначе не честно.
BeavisVLG: Добрый день, извините если не в тему, но не нашел, либо находил не сильно похожую но очень старую, поэтому решил написать в новую. У меня есть приложение, я получаю письмо и сохраняю из него файлы. Мне нужно отследить когда пользователь его откроет к примеру через проводник. Как лучше и проще сделать?
^D^ima: Сконвертировал БУХ 2.0 в 3.0, а там оказывается был задвоен элемент справочника валют рубли.
Как с помощью группового изменения реквизитов можно сделать так что во всех документах если есть ссылка на справочник валют на один из элементов рубли, то он заменяется на например первый элемент руб?
по завершению мат.индукции работа над доказательством едва начиналась.
У аксиомы мат.индукции нет никакого "завершения"! :facepalm: Есть база индукции, есть шаг индукции, есть вывод, что верно будет для всех натуральных при верности базы и шага.
Есть сферы, где критично всё. Хотя и с разными уровнями. Там просто не бывает невысококритичного ПО. За остальные случаи я уже говорил: это решает заказчик, исходя из своих соображений эксплуатации целевого продукта. И дай ему бог не ошибиться.
Я не адвокат, но я знаю что критичный продукт это тот где могут пострадать люди
или ущерб большой, какая разница не чем его писали то ?
Это верно, но это не обязательно высококритичный продукт. Кроме того, возможные жертвы – это не единственный критерий. У нас как-то был проект от некоего оператора, не буду называть три большие буквы, которые хотели от нас полный цикл верификации виндового стека криптографии по упрощённой модели, ибо объём документации, понятное дело, ограничен. Кстати, тестирование должно выполняться без доступа к исходным кодам. Обычно его-таки дают, так дешевле, да и верификация в общем без анализа и рассмотрения многих аспектов требований и кода нереальна, но нужно всегда быть готовым к тому, что подсмотреть в коде ничего нельзя, есть только документация на него. Не уверен, я в нём не участвовал, хотя и консультировал по части архитектуры кода, работающего у винды на уровне ядра, но вроде бы это требовалось как часть процесса сертификации их банковских сервисов. С POSIX-ом им было проще, там открытый код. И да, это было давно, лет 10 как.
https://checko.ru/company/aviaok-1036154001289 Информация в источниках может быть не вполне актуальной, сейчас мы из ООО кастуемся к АО. Спектр деятельности широкий, но помимо легко угадываемых по разделу дополнительной информации тут, они практически неактивны, поставщиков таких услуг и без нас хватает. Там просто все лицензии перечислены.
... но нужно всегда быть готовым к тому, что подсмотреть в коде ничего нельзя, есть только документация на него
Кстати, уже постил куда-то, сбаяню. Мой любимый пример.
В документации сказано: «функция void sort(int *vec, size_t size) должна выполнять сортировку массива vec, размером size. Сортировка осуществляется по возрастанию, результат замещает исходный vec.» Требуется разработать набор тестовых сценариев для проверки этого требования. Естественно так, чтобы их можно было рассматривать как доказательную базу корректности реализации sort() согласно описанию её поведения. Если кому интересно, могут попробовать.
Пример, конечно искусственный, но он хорошо демонстрирует разницу в подходах к тестированию у нас и у бизнеса.
О чём ты? Людишек в шахматы даже смартфон обыграет сейчас. Да и в го какая-нибудь leela (считай, open source версия Alpha Go Zero), запущенная на смарте, сможет обыграть абсолютное большинство гошников. Сам видел, как она 6 дана обыгрывает
Leela была написана по публикациям гугла, и она, разумеется, безо всякого интернета работает. Можешь сам убедиться 
