Arrogantplay, вы хотите поменять код ответа, который сам постман получил в тесте?
Или вы хотите от постмана фич прокси, чтобы подменить код ответа, который получит другое приложение?
Если хочется навелосипедить, то тогда:
1. Вытаскиваешь из лекций, в каком бы формате они ни были, весь текст (без пунктуации и разметки)
2. Применяешь к нему какой-нибудь алгоритм поиска (лучше загуглить, так как их есть много разных)
3. Запускать поиск с нуля каждый раз будет расточительно, так что тебе нужно будет предобработать тексты и сохранить индекс, с которого удобно будет начать поиск.
Если искать по точному вхождению одного слова, то можно построить префиксное дерево и в конечных узлах расположить список из всех статей, которые это слово содержат.
С таким индексом не трудно будет добавить поиск по списку слов (тексты, которые содержат все слова из списка или хотябы одно слово из списка)
4. Надо бы как-то этот индекс сохранить на диск, чтобы потом его быстро считывать
5. а при добавлнении новых статей/лекций/документов обновлять его, не перечитывая все тексты.
Mikhaliich, пробовали обращаться напрямую к производителю по телефону или электронной почте?
В инструкции ничего про пищалку не нашёл, наверное это дефект.
Некоторые силовые элементы под нагрузкой вполне могут пищать, но обычно это не очень громкий звук.
Adamos, раз оно было - есть шанс, хоть и маленький, что его кто-то использовал. Теперь представь, какие там авгиевы конюшни у того, кто всё ещё на пыхе в винде сидит)
Natan09, не в курсе как работает сафари, а там разве нет нигде рядом с плашкой какой-нибудь инструкции аля "что делать если я являюсь владельцем сайта и его ошибочно посетили"?
То что ты описал во второй половине явно не на ардуине стоит делать, так как на простых восьмибитных мк часто нет аппаратного модуля для шифрования. А программная реализация на них будет ужасно тормозить.
Да делать их с нуля не нужно, так как и так можно свободно и не дорого купить карты или флешки с поддержкой pkcs#11
Тут есть не трудность, а стремление избежать человеческого фактора при переводе содержимого из кода на roqc в pdf. +экономия времени
Формальные доказательства точно не про экономию времени) Пиши сразу на человеческом. Если будет ошибка в доказательстве - будет хорошо, если бы узнаешь об этом, ибо это значит что голова не так настроена.
Всё равно доказательства на формальном языке требуют освоения сразу двух навыков:
1. Умения сформулировать доказательство в голове
2. Умение перевести его на язык машины
