TaPL в процессе, есть что-нибудь ещё?
Желательно вместе с примерами на каком-нибудь Coq/Agda/etc
И ещё, что нужно вкуривать перед HoTT?

Кто что порекомендует по имиграции в Канаду. Работа не нужна так как работаю удаленно и доход достаточный. Как туда перебраться с семьей?

предлагают тут заключить subj. сам я нахожусь в РФ. какие могут быть подводные камни? как я понимаю налоги я должен платить типа сам, но типа никто об этом и не узнает и это не обязательно? у кого то был подобный опыт? GNU/Linux тут при том что работа связана с разработкой под GNU/Linux. спасибо за ответы!

https://news.slashdot.org/story/18/04/20/2131254/engineers-are-leaving-americ...
Вкратце для Ъ: в статье говорится что пока США ужесточают программу получения рабочей визы, Канада уменьшила срок рассмотрения заявки на рабочую вищу до 2х недель и очень сильно упростила процесс получения визы для специалистов по востребованным специальностям.

В данный момент практически все IT профессии являются востребованными

PS
По мотивам : www.linux.org.ru/forum/talks/14164433

PPS
В Канаде реальная нехватка IT специалистов. ЗП и часовой рэйт для контракторов нехило выросли за последние годы

PPPS
В меру открытый форум для акумуляции народной мудрости с linux.org.ru по поводу переезда в Канаду
В Эмиграция в Канаду.[Поросенок петр хочет уехать] есть несколько опечаток, самая заметная
- «Но там доходне очень высок и как правило его держат индусы/пакистанцы. не изза того что они такие хитрые а изза того что с прибыль не очень высока хоть и работы не много.»
Нужно читать как
- «Но там доход НЕ очень высок и какправило его держат индусы/пакистанцы. не изза того что они такие хитрые а изза того что с проибыль не очень высока хоть и работы не много.»

Большинство лоровцев не любят документацию в виде видеороликов.

Специально для вас я расшифровал отличный докалад Саши Гольдштейна: https://habrahabr.ru/company/jugru/blog/348912/

Один из действительно полезных докладов. Джавистам рассказывают о том, что не обязательно писать костыли и велосипеды, а в GNU/Linux всё придумано давным-давно.

Есть тут кто-нибудь, кто умеет крутить ручки JVM'у?

дано: кассандра, которая после разрастания кейспейса > 200Гб начинает люто тормозить.

нужно: сделать счастье.

небольшой разбор полетов привел к GC. хочется понять, как лучше накрутить JVM, чтобы не залипало на 10 секунд по нужде GC.

тут небольшой лог с метриками и параметрами

http://gceasy.io/my-gc-report.jsp?p=c2hhcmVkLzIwMTcvMTIvNS8tLWdjLmxvZy4wLmN1c...

В NetBeans (C++) когда то встречал дико удобную фичу: собирать/запускать/отлаживать код на удаленной машине. То есть пишешь код локально, а при сборке IDE перекидывает сырцы на удаленный узел, там собирает и запускает, либо запускает отладку бинаря.

Какие Java IDE такое умеют?

Подскажите как найти игрушку симулятор Java машины? Смысл в том, чтобы аллоцировать как можно больше памяти.