В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

638 membersпожаловаться на группу
2019 October 06

PS

Peter Sovietov in Compiler Development
Val Krylov
Мне кажется более вероятным другой вариант развития, когда рабочий код будет в proof assistant, а неформальная мат. нотация в "традиционных картинках-иллюстрациях".
А почему нельзя сделать логичный завершающий шаг — генерировать представление в LaTeX, в духе Fortress? Зачем вообще оставлять лазейку для неформальности? :)
источник
14:56пожаловаться

PS

Peter Sovietov in Compiler Development
EgorBo
> В принципе, у всех JVM-языков проблемы со скоростью трансляции

впервые услышал такое. Может раньше было так
Тут надо сравнивать JVM-версии и native-версии ЯП, если есть сомнения. Например, лисперам очевидно, что Clojure явно медленее транслирует, чем обычные лиспы, генерирующие машинный код.
источник
14:58пожаловаться

E

EgorBo in Compiler Development
Peter Sovietov
Тут надо сравнивать JVM-версии и native-версии ЯП, если есть сомнения. Например, лисперам очевидно, что Clojure явно медленее транслирует, чем обычные лиспы, генерирующие машинный код.
ну я просто про java, остальные языки сами виноваты если медллено компилируются
источник
15:00пожаловаться

VK

Val Krylov in Compiler Development
Peter Sovietov
А почему нельзя сделать логичный завершающий шаг — генерировать представление в LaTeX, в духе Fortress? Зачем вообще оставлять лазейку для неформальности? :)
Да, можно и так, генерировать "весёлые картинки" намного надёжнее, чем пытаться генерировать из них. :)
источник
15:05пожаловаться

AS

Aleksey Shipilev in Compiler Development
Ну нет, time-to-performance даже в tiered сценариях важен. На hello world это не увидишь, а вот на здоровом апп-сервере с сотней мегабайт кода -- ещё как.
источник
15:05пожаловаться

E

EgorBo in Compiler Development
проблема в том что авторы бенчмарков не используют реальные проекты в своих бенчах для блогов :)
источник
15:09пожаловаться

E

EgorBo in Compiler Development
поэтому у них Го быстрее всех компилирует, С++ оптимальнее всего считает в компайл тайме сложную рандомную формулу и т.п. :)
источник
15:10пожаловаться

MO

Mar Ort in Compiler Development
EgorBo
с тиеред компиляции там же вообще мгновенный старт по сути
мгновенный старт не из-за тиред компрляции, а из-за интерпретатора
источник
15:11пожаловаться

E

EgorBo in Compiler Development
Mar Ort
мгновенный старт не из-за тиред компрляции, а из-за интерпретатора
не вижу противоречия
источник
15:11пожаловаться

MO

Mar Ort in Compiler Development
EgorBo
не вижу противоречия
то, что тиред и интерпретатор это принципиально разные вещи?
источник
15:12пожаловаться

MO

Mar Ort in Compiler Development
jvm быстро стратовала еще задолго до появления тиреда
источник
15:12пожаловаться

E

EgorBo in Compiler Development
я думаю все поняли что я подразумевал под тиеред и да это был интерпреатор в первом тиере хз зачем снобство 😊
источник
15:13пожаловаться

MO

Mar Ort in Compiler Development
EgorBo
я думаю все поняли что я подразумевал под тиеред и да это был интерпреатор в первом тиере хз зачем снобство 😊
ясно
источник
15:14пожаловаться

C

Constantine in Compiler Development
https://mun-lang.org/

Hot Reloading
Static Typing
🧐
mun-lang.org
Mun Programming Language
Mun, a programming language empowering creation through iteration.
источник
22:52пожаловаться

PS

Peter Sovietov in Compiler Development
Наблюдение: самые интересные ЯП последнего времени не появляются в агрегаторах новостей. О них узнаешь опосредованно, через реализованные проекты.

Я тут как-то предлагал в шутку создать генератор сайтов новых *-lang. Вот по ссылке страница удивительно напоминает работу такого простейшего генератора.
источник
23:33пожаловаться

PS

Peter Sovietov in Compiler Development
И вопрос к администраторам: не пора ли увеличить ваше число? Все-таки почти 600 участников — это не шутка...
источник
23:34пожаловаться
2019 October 07

MO

Mar Ort in Compiler Development
Peter Sovietov
И вопрос к администраторам: не пора ли увеличить ваше число? Все-таки почти 600 участников — это не шутка...
предлагаю нанять менеджеров
источник
00:50пожаловаться

E

Eugene in Compiler Development
Peter Sovietov
Как-то на фоне проектов 60-х (Sketchpad, Grail) оно не смотрится. Хотя, конечно, «знающие» люди утверждали, что на нем программировали Буран! :)
когда Буран программировали ДРАКОНа ещё не было
источник
07:36пожаловаться

AT

Alexey Tkachenko in Compiler Development
Eugene
когда Буран программировали ДРАКОНа ещё не было
когда Буран программировали, были в основном аналоговые решения
источник
08:10пожаловаться

DE

Dmitry Eliseev in Compiler Development
Eugene
когда Буран программировали ДРАКОНа ещё не было
Товарищ Паронджанов с вами не согласен https://ru.m.wikipedia.org/wiki/%D0%94%D0%A0%D0%90%D0%9A%D0%9E%D0%9D
Wikipedia
ДРАКОН
Дружелюбный русский алгоритмический язык, который обеспечивает наглядность (сокр. ДРАКОН) — визуальный алгоритмический язык программирования и моделирования (см. также: UML).
источник
10:24пожаловаться