В хаскель-кафе чувак предложил убрать тип мейби, выразив его через Either (в качестве нулевых данных он, конечно же, выбрал пустую строку).
ололо, одесситы такие одесситы:
После просьбы журналистов дать им дорогу из «Тойоты» вышли двое мужчин и разбили стекло в машине оппонентов. Затем они начали бить сотрудников «Третьего» и, угрожая ножом, отобрали у сотрудников канала фотоаппарат и мобильный телефон. В этот момент очевидцы столкновения сумели открутить у машины нападавших номер.
Отъехав от места происшествия преступники обнаружили отсутствие номера и вернулись обратно. Тут их и схватили сотрудники милиции. Выяснилось, что на журналистов напали граждане России, уроженцы Республики Чечни, 28 и 20 лет.
http://superuser.com/questions/698312/if-32-bit-machines-can-only-handle-numbers-up-to-232-why-can-i-write-100000000
Лайк если большое количество апвотов получают только полезные (и правильные) вопросы и ответы
Topics of interest include (but are not limited to):
Language Design: concurrency and distribution; modules; components
and composition; metaprogramming; interoperability; type systems;
relations to imperative, object-oriented, or logic programming
Implementation: abstract machines; virtual machines; interpretation;
compilation; compile-time and run-time optimization; memory
management; multi-threading; exploiting parallel hardware; interfaces
to foreign functions, services, components, or low-level machine
resources
Software-Development Techniques: algorithms and data structures;
design patterns; specification; verification; validation; proof
assistants; debugging; testing; tracing; profiling
Foundations: formal semantics; lambda calculus; rewriting; type
theory; monads; continuations; control; state; effects; program
verification; dependent types
Analysis and Transformation: control-flow; data-flow; abstract
interpretation; partial evaluation; program calculation
Applications and Domain-Specific Languages: symbolic computing;
formal-methods tools; artificial intelligence; systems programming;
distributed-systems and web programming; hardware design; databases;
XML processing; scientific and numerical computing; graphical user
interfaces; multimedia programming; scripting; system
administration; security
Education: teaching introductory programming; parallel programming;
mathematical proof; algebra
Functional Pearls: elegant, instructive, and fun essays on
functional programming
Experience Reports: short papers that provide evidence that
functional programming really works or describe obstacles that have
kept it from working
Пожалуйста не клонируйте,
не форкайте и вообще
не трогайте.
1999, Мао Дзы
Короче, благодаря следованию гит-воркфлоу поломал нахуй репозитории и
приходится переносить старую работу на новый клон пофайлово при помощи
супер-команды
git diff filename > ../patch.patch && cd ../my-repo-with-feature
&& git apply ../patch.patch; cd ../my-repo-with-feature-discarded
Кайф!
Предвещаю новость:
В отличие от ранее поставляемых монолитных пакетов (...), в KDE Frameworks 6 осуществлён переход к модульной архитектуре, подразумевающей наличие взаимодействующих друг с другом независимых и кроссплатформенных фреймворков, доступных для использования не только в ..., но в любых приложениях на базе ....
Поразительно, но в 4.4 андроиде гугл правильной дорогой идут. Домашний экран почти как в iOS, один рабочий стол, и если что новое -- идёт на второй. Никаких понтов в виде 5ти столов и подобного. Также засунули далеко в жопу виджеты, тоже поддерживаю.
Осталось убрать виджетомаразм с экрана разблокировки только, вообще дружественно станет.
CyanogenMod подосрали. Предложило обновиться на новый "стабильный" 10.2.0 как-то он мне, я согласился, и последний месяц мучался с неработающим юсб (только на зарядку) и галимым вай-фаем (очень медленным). Короче ждём пока научится хорошо делать, а пока терпим / вайпим.
Интересно, насколько сложно сделать форк python3, убрав оттуда всю эту еботню с юникодом? (ну, сделав по-умолчанию поведение связанное со строками как во втором питоне более-менее схожее)