Крылатый
Верилог.
Евгений
Agda
Крылатый
Пролог тут не трогают — он идеален.
Sherzod
Паскаль уже успели, я помню вчера было
Крылатый
Идеальней только лисп.
stalkerg
))))))))))))))
()()()()()()(((()))((()))(()))))
Евгений
Пролог тут не трогают — он идеален.
А пролог поддерживает параконсистентную логику?
Крылатый
Не знаю(
Sherzod
А пролог поддерживает параконсистентную логику?
даже гуглить такое страшно. А вдруг понравится
Мерль
Хотя, учитывая, что он тьюринг полный, то может
Евгений
Тут вопрос не в полноте, а в списке поддерживаемых побочных эффектов
Мерль
Тут вопрос не в полноте, а в списке поддерживаемых побочных эффектов
- поддержки параконсинстентной логики, встроенной в язык, в прологе нет - если "выражения" (не знаю, как это вообще назвать) в принципе вычисляемы тьюринг машиной, то это можно реализовать в прологе Вот что я хотел сказать >_>
Мерль
Надо сказать, что про параконсинстентную логику я знаю только то, что в ней не используется закон "исключенного третьего"
分解物質
Sherzod
Kerrigan
ееее, зигоморфизмы
Danila Matveev
грустно творчество из людей лезет наружу, но вылезает из задницы
Danila Matveev
никакой эстетики
分解物質
да, переборщил с баззвордами
Danila Matveev
не, я про кривость рук
Filipp
это просто такой стиль. называется madskillz
Sherzod
Праилна, в хаскеле всё должно быть красиво!
Danila Matveev
это просто такой стиль. называется madskillz
отсутствие стиля ни есть стиль, чтобы там не выдумывали рукожопы
分解物質
так немного лучше
Filipp
треш это тоже отстутсвие стиля?
Danila Matveev
треш слишком общее слово, он разный бывает
Danila Matveev
лан, фиг с ним со вкусовщиной
Danila Matveev
почему си а не раст?
分解物質
почему си а не раст?
в оригинале было C
Sherzod
в расте лайфтаймы, это не по машиннокодерски
分解物質
оригинал
分解物質
分解物質
они же просто автоматически расставленные free()
Sherzod
ассемблерщик в треде?
ну есть чуть чуть во мне Калашникова
kodx
что вы на кресты наезжаете, вполне нормальный язык, если не использовать исключения, темплейты ... и классы по желанию
kodx
еще одна область, где до сих пор востребованы си и с++ это пентестинг, ничего более подходящего пока нет хотя я пробую что-то под раст для этой области делать, но дальше проб дело пока не идёт
Sherzod
CPP хорош когда его не используют?
kodx
Получается плюсы годные, если писать на С
по работе пишу на с++, но не могу использовать STL(потому что размер выходного бинарника большой), в итоге отказался от исключений и классов, код вполне понятный остается, но в с++ есть некоторые синтаксические поблажки, которые приятно использовать (определение счетчика прямо в for и т.п.)
kodx
с++11 тоже не могу использовать, потому что часто надо компилировать под visual studio 2006
Loo
мы определяли счётчики как могли
kodx
определение счётчика завезено ещё с C99
ок, не знал, всегда думал что это фишка с++
Poplav
лол
Poplav
никогда не натыкался на чужой код?
kodx
никогда не пробовал писать чисто под си, скорее так
doc
На самом деле смешно читать о таких проблемах тем, кто не пишет на плюсах
Poplav
писал на плюсах, потом на го, сейчас на расте, и каждый раз чего-то нехватает
kodx
уже писал, что статический бинарь с хелловорлдом на расте под венду с upx это 82Кб, пока многовато
kodx
написал свою частичную реализацию std::string, в итоге статические бинарники только с моей либой 3Кб, работаю на всех вендах начиная с 7й (и скорее всего с ХР тоже, не проверял)
Sherzod
щито? тебе бинарник под вендой в 3кб так важен?
kodx
это на крестах такие размеры в расте пока невозможны хотя если попробовать переписать стандартную библиотеку раста на winapi-шные вызовы, то, вероятно, можно сильно уменьшить размер выходного бинарника
պլհկ
Petya.exe
分解物質
уже писал, что статический бинарь с хелловорлдом на расте под венду с upx это 82Кб, пока многовато
надо смотреть не размер хелловорда а зависимость размера бинарника от количества кода
kodx
мне это критично важно, работаю в пентесте
kodx
надо смотреть не размер хелловорда а зависимость размера бинарника от количества кода
подозреваю, что размер такой от того, что статически линкуются куски msvcrt в результирующий бинарник
Loo
Petya.exe
хаха
kodx
Petya.exe
вот не надо, я к этой гадости отношения не имею скорее я пишу утилиты, чтобы подобное отлавливать
Poplav
@kodx0 https://lifthrasiir.github.io/rustlog/why-is-a-rust-executable-large.html
Dmitry
Лул А я подсознательно начинаю подозревать каждого, кто говорит о размерах бинаря. Сразу кажется что чел либо блэк, пишущий малварь, ну или под встраиваемые системы кодит. Честно не знаю, где ещё размер бинаря является проблемой
Судзумия
Ты, Валерий, спамер, я чую
Valeriy
Ты, Валерий, спамер, я чую
Уже заспамил весь чатик
kodx
Лул А я подсознательно начинаю подозревать каждого, кто говорит о размерах бинаря. Сразу кажется что чел либо блэк, пишущий малварь, ну или под встраиваемые системы кодит. Честно не знаю, где ещё размер бинаря является проблемой
в компании есть штат пентестеров, которым надо показать клиенту, где могут быть проблемы, для работы им нужные специфичные утилиты, чтобы доказать, что есть уязвимость покупать готовые крутые решения дорого, поэтому мы пишем небольшие заглушки, только чтобы доказать, что система уязвима
kodx
по поводу no_std не хотелось бы отказываться от стандартной библиотеки, потому что в итоге придётся делать нечто подобное руками, даже если частично вообще 80Кб не такой уж большой размер
Судзумия
kodx
Как это связанно с размером бинаря не совсем понял. Но предполагаю, что размер может быть проблемой при написании тогоже шеллкода
на клиенте закрепляется метерпретер от мсф и каналы доставки бывают очень узкие(к примеру если использовать днс как канал), поэтому размер всегда важен