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

Есть у кого-то идеи для пет-проекта на OCaml?

12 ответов

16 просмотров

лоад балансер на локфри приоритетной очереди через kcas

прувер

Siegmentation Fault
прувер

с использованием https://github.com/RedPRL/yuujinchou

Новая криптовалюта. 🤑🐫🤡

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

прувер с мультитредингом

https://ocamlverse.net/content/help_wanted.html

redbeard
прувер с мультитредингом

не очень много толку, нормализация плохо параллелится

Alex Gryzlov
не очень много толку, нормализация плохо параллели...

жаль, тогда Verde под Coq до ума довести хорошо бы

Если не хочется писать компилятор, то вполне можно написать декомпилятор 😀 Задача на самом деле намного интереснее и сложнее, ну и хороших декомпиляторов, особенно с открытым кодом почти что нет. Плюс есть BAP, и почва для написания декомпилятора подготовлена.

Ivan
Если не хочется писать компилятор, то вполне можно...

Есть в Java, который декомпилирует apk файл. Можно исчерпать много идеи оттуда

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

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

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
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
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта