Pull to refresh
50
0
Friedrich von Never@ForNeVeR

Пользователь

Send message
PowerShell + ConEmu, использую уже несколько лет, цвета и контекстное автодополнение есть, полёт нормальный, зависимости никакой.
Более того, он каким-то образом интегрирует эти вкладки и в фар тоже, т.е. в нём можно в фоне держать пару документов во вьюере, и переключаться между ними при помощи вкладок conemu.
Дружище, а не перечислите ли названия этих учебников по Coq? Я пока что читаю Пирса, но не отказался бы от обзора альтернативных источников.
Автора всё же интересует интерес аудитории, то есть нас с вами :)
Через cygwin работает, проверял.
Простите, не слежу за вашими постами, но в прошлый раз вы, вроде бы, закончили только МФТИ. Что-то с тех пор поменялось?
Очень интересно, как именно они проводят соответствие между игровыми уровнями и участками программного кода (сетевыми протоколами? стейт-машинами? чем?)
Ок, вы выиграли.
А вы попробуйте модные ныне биткоины хранить в целых числах :)
Но ведь и то, что я чувствовал ранее, я почувствовать не мог? Вообще, по-вашему, есть ли у человека ощущения? И откуда они изначально берутся, если он не может ничего нового почувствовать?
А если я раньше никогда не пробовал лимон, и сегодня пробую его впервые — что ж я, ничего не почуствую?
Подождите, но в C++ и Java это всё есть (ну иногда с оговорками, но есть)!
Intercal же! Там даже от вежливости программиста зависит.
Статьи хорошие, да и сам J — очень интересный язык программирования. Однако меня несколько удивило наличие всех этих цифровых глаголов: «1 :» и «4 :» ещё более-менее понятно (т.к., очевидно, эти константы связаны с представлением AST в трансляторе), но «6:!» — это уже что-то за гранью разумного. Есть какое-нибудь логичное объяснение, откуда такие названия?
Спасибо, между прочим, за ссылку на dbForge — инструмент интересный.
… только если вы при этом не являетесь общеизвестно одним из богатейших биткоиновладельцев.
А там что, нету каких-нибудь специализированных способов доступа к данным, например, с использованием текущей транзакции? В чём тогда преимущества таких процедур? Мне всегда казалось, что их используют, когда хочется получить преимущества полноценного языка программирования, но не потерять преимуществ высокой скорости обработки данных, изоляции транзакций и выражений на сервере SQL. Я ошибался?
Ошибаетесь. Большинство прочитавших эту новость после прочтения помянули и маму, и песца.
А тут точно кодировка правильная? Что-то не сильно похоже на валидный код.
Вы ошибаетесь. Необходимость собрать проект без IDE в реальности появляется довольно часто — например, вам нужны прогоны тестов или в целом автоматизированная сборка проекта. Впрочем, для этого чаще всё-таки используют инструменты типа ant и maven, а не… батники.

Information

Rating
5,177-th
Location
Amsterdam, Noord-Holland, Нидерланды
Registered
Activity