Leo considered several languages for implementation, including Ocaml. While I'm certain his familiarity with C++ played a big part in the final decision, he has very justified reasons for choosing it. He claims that it's extremely hard to get excellent performance without breaking the nice abstractions built by such languages (memory management, data structure layout etc.), and I have to say, Lean is blindingly fast when type-checking. A lot of things become easy when working with such a mainstream language, like writing FFI bindings and using compiler frameworks.

Посоветуйте пизделку голосом для андроида с приемлемым качеством (то есть, не телеграм), кроме скайпа. Шифрование сам собой.

Ставь лайк, если сидишь в IRC больше чем в жабере.

Теряю (не моментально, но все же) интерес к вещам, которыми перестаю заниматься.

Как починить?

Расскажите что в вашей жизни интересного кроме IT и всего что с ними связано.

Куда выкладывать фотки, чтобы показывать другим?
inb4 инстаграм.

Рационально ли дропать чай? Будут ли какие-нибудь бонусы?

смарт-поинтеры и лямбды легко пишутся как библиотека. были же в бусте десять лет, наверное, если не больше. популярности не приобрели, особенно лямбды. ибо нафиг не нужны. поинтеры пишутся за пять минут, если надо. никогда с этим проблем не было.

move и forward, пожалуй, нужны. как и ссылочные типы (или как там оно по-русски называется). они дают некоторый прирост скорости при правильном использовании. но это надо понимать в тонкостях. мало кто понимает.

SFINAE нах не нужен. с ним точно проще не стало. люди стали меньше думать, но это не значит, что код будет работать :)
Iron_Bug ★★ (08.09.2017 12:58:59)

https://www.ias.edu/news/2017/vladimir-voevodsky

Давайте представим мир победившего NAPчика, где невозможно присесть за нарушение авторских прав.

Как в нем могут выглядеть действия разработчиков игр, подталкивающие геймеров платить за игры, которые первые разработали?

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

Естественно, эта информация может содержаться в файлике LICENSE без расширения, который никто не читает.

Вручную качаю треки (в том числе с вкудахта) и руками (через dired) заливаю на плеер. Я ебанутый?

Поддержите самый охуенный тул по работе с git evar, чтобы автор мог год хуярить в него фичи.
С magit я практически перестал пердолиться в консольку при работе с git.

https://www.kickstarter.com/projects/1681258897/its-magit-the-magical-git-client?ref=hero_thanks

CHF 51,188 pledged of CHF 55,000 goal
1,315 backers
11 days to go

firefox зависает на чатике в пулреквесте на битбакете. Ебал я такое будущее.

А вы замечали как в браузере без вкладок приятнее открывать новую, чем когда там их уже ебаная гора?

Короче copy-pastные ошибки заебали, хочу мод в емаксе, который подсвечивает похожести в скопипащеных строках, может уже есть такое?