Pull to refresh
40
0.4
Dmitry @domix32

Жопа котика

Send message

На антиящерском не знаю, но как минимум видел форки, которые переводили язык целиком на французский и кажется ещё были испанский и иврит.

Так на расте уже давно пишут. Сам хуя не требует переключения раскладки с русского.

У меня таким макаром появился "плейлист" с мемами в гитхабе - там нынче можно настраивать списки звездочек.

Хороший Учебный Язык (ХУЯ) - полноценный компилятор к 1 апреля. репа. стрим.

alloc_geiger - заставляет динамики трещать, когда происходит аллокация памяти.

dreambird - лучший язык 21 века. репо. вводная [en]

YoptaScript - многие наверняка слышали о нём ещё до того как он попал в браузер.

cbt - Ceph Benchmarking Tool. Назначение оправдывает название. репо.

ripmors - blzaingly fast morse encoder/decoder.

pygyat - зумерский синтаксис для питона

В†† - Великий язык древних русов ве крест крест. репо. история.

А, ну то бишь аналог шланговских матчеров скрешеный с плотной интеграцией непосредственно в API IDE. Ну и языки соответствующие - java, node js/ts, kotlin etc.

Некоторое время назад я попробовал найти формальное доказательство безопасной работы с памятью, которое реализовано в Rust, но так и не смог его найти

Мне интересно, что же в итоге автор нашёл приближенное по теме? Попадались ли такие имена как Хоар, Мацакис, Юнг, Гроссман?

Ну, по сути-то оно все равно языковой сервер, может конечно без поддержки того самого языкового протокола, но принцип работы тот же самый. А что за PSI?

Вот, да, самая удивительная фраза во всей статье. Чтобы отломить уже написанные LSP надо нехило так постараться.

 Атака: мошенничество

м-да, ну и уровень экспертности, конечно, у вашей Елизаветы.

Если перед вами стоит задача, требующая глубокого анализа, работы с научными статьями или построения сложных гипотез, ваш выбор — рассуждающие модели: o1 или o1-pro, а также o3-mini‑high

Мне интересно у кого-нибудь вообще это хоть раз работало? Сколько трогал всякие модели, оно после пары-тройки запросов легко начинает выдумывать всякую фигню, которую в статье потом не найти. Аналогичная ситуация, когда начинаешь спрашивать какие-то выжимки из статей - обычно они морозятся, мол читайте сами, расскажите мне, а я потом вам расскажу. Буквально, как в укрощении строптивого.

Да ну хоть что-то. Скриншоты таблички в экселе - такая себе статья. Не говоря уже, что остальные с этим работать не могут - сиди все ссылки ручками вбивай.

На самом деле и это тоже не самая точная цифра, ибо там тесты местами интрузивные типа:

public static final Field TEST = make("test",Type.NIL,-2,false);
public static final Field TEST2= make("test",Type.NIL,-2,true);

Плюс всякие утилиты типа IR Printer, JSViewer и тд. Именно очищенный компилятор там наверняка ещё меньше. Плюс в каждой главе я так понимаю там по своему дубликату кода компилятора лежит. Хотя с вашим логом консоли непонятно откуда конкретно вы замеряете, ибо на бранче main там src появляется с уровня глав, а у вас он от корня репы появляется как-то.

То есть, они и так пытались экономить как могли, но всё равно получился огромный код.

Собсна, поэтому и писал изначальный комментарий - Java довольно вербозная сама по себе. А вот про однопроходность не понял в чем минус - линейный проход с тривиальными оптимизациями быстрее и проще в SoN, нежели беготня по AST. Конечно, и там и там есть свои плюсы и минусы.

Дык джава же, плюс это миллион всяких примеров небось

Лучше б вы Муратори переводили или хотя бы Титуса

Только лицензирвоание пока все ещё не опенсорсное

Ну, кажется пошарить либы не настолько большая проблема. Сделать условный ldd, скопировать so в контейнерный /usr/lib и в ус не дуть. Это очень скудно поясняет почему кому-то нужен образ с Fedora или Ubuntu, а другому Alpine за глаза.

Интересно из какого юзкейса возникла потребность в этом контейнере.

А в чем прикол иметь образа с чем-то кроме того же busybox? Специфичный лэйаут файловой системы, конфигов и состава бинарей и shared либ?

Ну, когда вы запускаете дистрибутив у него определённо идёт стадия загрузки, проверяются всякая переферия, поднимаются ramfs чтобы загрузить всякое, запускаются всякие стартовые программы. С точки зрения гостевой системы как это выглядит? Словно у нас уже прошли эти этапы и мы уже всё запустили и проинициализировали или он тоже честно стартует загрузку с шага загрузчика?

Information

Rating
2,231-st
Date of birth
Registered
Activity