Статьи / Закладки / Профиль Wo1f / Хабр

@Wo1f

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

Профиль Публикации Комментарии 84Закладки 133

vobo 2 апр 2015 в 11:34

Чем хороши свободные монады

10 мин

19K

Haskell*

Из песочницы

Предлагаю читателям «Хабрахабра» перевод статьи «Why free monads matter».

Интерпретаторы

Хорошие программисты разделяют данные и интерпретаторы, которые эти данные обрабатывают. Примером могут служить компиляторы, представляющие исходный код как абстрактное синтаксическое дерево, которое впоследствие может быть обработано одним из многочисленных интерпретаторов. А именно, мы можем:

скомпилировать и выполнить его;
непосредственно запустить с помощью традиционного интерпретатора;
сжать и архивировать;
просто оставить его в покое.

Преимущества такого разделения очевидны. Давайте попытаемся построить абстракцию, отображающую суть синтаксического дерева. Лучше начать с конкретного примера. Для этого мы спроектируем наш собственный игрушечный язык и попытается оформить его в виде типа данных.

Читать дальше →

+23

TLHE 30 дек 2022 в 10:20

Пройти LeetCode за год: экскурсия по сайту и roadmap [обновлено 30.11.2023]

Простой

23 мин

90K

Программирование*Алгоритмы*Учебный процесс в ITКарьера в IT-индустрииЧитальный зал

Роадмэп

Победитель Технотекст 2022

С ~~наступающим~~ ~~наступившим~~ вновь наступающим, Хабр.

Новый год – точка, после которой все мы собираемся что-то начать, чем-то заняться, в чём-то поднатореть. Сегодня я расскажу об одном из таких вариантов – что можно начать и как к этому подойти.

Конечно, про литкод все слышали и, казалось бы, о чём тут рассказывать? Ну задачник, перед техсобесами можно открыть на день-два. Но для того рассказать и стоит, дабы чуть разбавить это мнение.

С сайтом несколько больно знакомиться, он отпугивает вездесущими приписками "premium", пользуясь славой ресурса для техсобесов продвигает функционал вроде списков компаний, где встречался вопрос n и симуляции интервью в компанию m, да и сам не особо стремится рассказать о себе, потому в нём зачастую и видно голый задачник с одной страницей "problems".

За всем этим теряется важный пункт – а можно ли использовать сайт не для механического зазубривания популярных вопрос-ответов, а для изучения/закрепления алгоритмов и структур данных? Можно. Но подход к этому нужно формировать самостоятельно.

🏆

+44

PatientZero 22 дек 2022 в 08:14

Что же такого прекрасного в функциональном программировании?

18 мин

20K

Программирование*Совершенный код*Функциональное программирование*

Перевод

Когда слышишь, как некоторые люди говорят о функциональном программировании, можно подумать, что они попали в какую-то секту. Они болтают о том, как оно изменило их способ восприятия кода. Они превозносят преимущества чистоты. И провозглашают, что теперь они способны «рассуждать о коде», как будто весь остальной код иррационален и непонятен. Этого вполне достаточно, чтобы начать относиться ко всему этому скептически.

Однако вы можете задаться вопросом: должна же быть какая-то причина того, почему эти адепты настолько восхищены? По моему личному опыту, интерес к функциональному программированию обретают не ленивые и некомпетентные программисты. [Один из тех, кому я показал эту статью, прореагировал интересным образом. Он сказал что-то вроде: «Вообще-то я люблю функциональное программирование, потому что я ленивый и компетентный. Благодаря нему мне не приходится думать о многих вещах».] Скорее наоборот, осваивать его были склонны самые умные кодеры, которых я знал; люди, сильнее всех стремившиеся писать хороший код. (Хотя они обычно были исследователями.) И это вызывает вопрос: отчего же они все в таком восторге?

Читать дальше →

+21

Vitter 15 окт 2018 в 03:04

Великая сила newtypes

7 мин

4.8K

Программирование*Haskell*Функциональное программирование*

НовыйТип (newtype) — это специализированное объявление типа данных. Такое, что содержит лишь один конструктор и поле.

newtype Foo a = Bar a
newtype Id = MkId Word

Типичные вопросы новичка

В чём же отличие от data типа данных?

data Foo a = Bar a
data Id = MkId Word

Главная специфика newtype состоит в том, что он состоит из тех же частей, что и его единственное поле. Более точно — отличаясь от оригинала на уровне типа, но имеет такое же представление в памяти, да и вычисляется строго (не лениво).
Если вкратце — newtype более эффективны благодаря своему представлению.

Да это ничего не значит для меня… Буду использовать data
Не, ну в конце-концов, всегда можно включить расширение -funpack-strict-fields :) для строгих(не ленивых) полей или указать прямо

data Id = MkId !Word

Всё же сила newtype не ограничивается лишь эффективностью вычислений. Они значительно сильнее!

Читать дальше →

+13

nikolayshabalin 23 июн 2021 в 08:38

Что можно положить в тег <head>

14 мин

30K

Веб-разработка*Семантика*HTML*Блог компании HTML Academy

Туториал

Перевод

Рекомендуемый минимум

Ниже приведены основные элементы для любого веб-документа (веб-сайта/приложения):

meta charset — определяет кодировку веб-сайта, стандартом является utf-8.

meta name="viewport" — настройки viewport, связанные с мобильной отзывчивостью

width=device-width — физическая ширина устройства (отлично подходит для мобильных устройств!)

initial-scale=1 — начальный масштаб, 1 означает отсутствие масштабирования

Элементы

Допустимые элементы <head> включают meta, link, title, style, script, noscript и base.

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

+35

m1rko 24 мар 2019 в 16:46

Как я пишу конспекты по математике на LaTeX в Vim

9 мин

123K

VIM*LaTeX*Математика*

Туториал

Перевод

Некоторое время назад на Quora я отвечал на вопрос: как успевать записывать за лектором конспект по математике на LaTeX. Там я объяснил свой рабочий процесс по конспектированию в LaTeX с помощью Vim и Inkscape (для рисунков). Но с тех пор многое изменилось, так что я хочу опубликовать несколько постов в блоге с описанием нового процесса. Это первая из статей.

Я начал использовать LaTeX для конспектирования во втором семестре курса математики, и с тех пор написал более 1700 страниц. Вот несколько примеров, как выглядит конспект:

Читать дальше →

+218

133

fierce-katie 2 авг 2021 в 18:04

Property-based тестирование с QuickCheck

10 мин

4.2K

Тестирование IT-систем*Программирование*Haskell*Функциональное программирование*Блог компании Typeable

Туториал

Автор статьи: klntsky

Что такое Property-Based Testing?

Property-based testing (PBT) — подход к тестированию ПО, подразумевающий автоматическую проверку свойств функций (предикатов), специфицируемых программистом-тестировщиком. Для проверки, т.е. поиска контрпримеров, используются автоматически сгенерированные входные данные. PBT позвляет разработчикам значительно увеличить тестовое покрытие и эффективно расходовать своё время, не придумывая входные данные для тестов самостоятельно. В общем случае данные, генерируемые во время property-based тестирования, ничем не ограничены, поэтому проверка может быть произведена на тех значениях, про которые разработчик мог забыть или для которых не счёл нужным написать юнит-тесты (действительно, не перебирать же все значения входных параметров вручную).

PBT-подход был популяризован библиотекой QuickCheck, написанной на Haskell, и в этой статье будет показано, как пользоваться этим инструментом эффективно.

Читать дальше →

ngoldo 27 фев 2019 в 11:50

42 Silicon Valley: как пройти отбор

5 мин

11K

Образование за рубежом

1го февраля завершился январский Piscine в 42 Silicon Valley, и я хотел бы поделиться своим опытом и некоторым набором хаков, которые могут помочь получить множество экспы, высокий уровень и, как результат, приглашение в кадеты.

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

Что такое 42 Silicon Valley?

Long story short. Это бесплатная школа программирования во Фремонте (Калифорния), которая может обеспечить вас койкой в общежитии, недорогой едой, кофе (не всегда), видео-лекциями и отличной компанией. По достижению 7го уровня (на это уходит порядка полугода) вам могут помочь найти работу—обычно это internship в крупной компании. Но, по словам одного из кадетов, в последнее время за сотрудниками чаще приходят небольшие стартапы.

Читать дальше →

Dukarav 3 янв 2021 в 17:03

О русском языке в программировании

11 мин

26K

Программирование*Читальный залИстория ITСофт

Начну с мелочи. Удобно ли сейчас организована типичная смена раскладки клавиатуры? В смысле переключения на русский/латинский? На мой взгляд, в смартфонах и то удобнее. Не надо нажимать одновременно все эти «Shift» и «Alt». На моем первом домашнем компьютере «Электроника-901» (он же ai-PC16) было даже две специальных «пустых» клавиши примерно там, где сейчас клавиши-«окна». Одна переключала на русскую раскладку постоянно, а другая - временно (на время нажатия). Это гораздо удобнее. Впрочем, самый удобный вариант переключения в свое время я сделал сам из массивной педали от швейной машинки «Тула», просто соединив ее двумя проводами с контактами DTR и DSR разъема RS-232. В этом случае если программно установить бит DTR в «1», то наличие сигнала DSR означает, что педаль нажата, иначе – отпущена. Переключать раскладку без рук оказалось очень эргономично. Увы, по мере распространения новых интерфейсов, RS-232 постепенно сошел на нет и сейчас в ноутбуке педаль просто некуда подключить.

Кстати, дарю идею фирмам, выпускающим всякую USB-ерунду, вроде пластикового хамелеона, периодически высовывающего язык: выпустить USB-устройство в виде педали, при нажатии на которую эмулируются нажатия заданных пользователем клавиш. Правда уже есть USB-руль с педалями, но там все-таки много лишнего. Наиболее очевидное использование нового простого устройства – переключение раскладки клавиатуры без помощи рук.

Справедливости ради: на некоторых клавиатурах есть отдельная клавиша переключения (на ней обычно нарисован глобус). Сложность в том, что на многих других компьютерах ее нет. В древнем текстовом редакторе «SideKick» я даже когда-то использовал обе клавиши «Shift», поскольку они есть всегда: правая переключала постоянно (и поэтому как «Shift» вообще не работала), а левая – временно, первые две секунды как «Shift», а уже затем как переключатель. Смысл в том, что тогда можно печатать, например, по-русски, затем, удерживая мизинцем клавишу, одно слово по-английски, затем отпустить и опять продолжать по-русски.

445

LeonidFirstov 13 апр 2020 в 19:06

Про фразовые глаголы-3 (on/off)

4 мин

24K

Изучение языков

Перед этой статьёй рекомендуется прочитать две предыдущие части:
1. habr.com/ru/post/495794
2. habr.com/ru/post/496190
On и Off обычно имеют противоположный смысл, поэтому мне показалось хорошей идеей совместить обзоры этих частиц.

И предлог, и частица on соответствуют русскому «на». Тут логика вполне очевидная: «на» – это и предлог (говорим о поверхностях: «на стене/столе»), и приставка – НА-сыпать (сыпать на поверхность).

Put – класть, put on – «на-кладывать». Например, put on makeup – «на-кладывать» грим. Любой предмет одежды, обуви, головной убор носители английского языка тоже накладывают, а не надевают, как у нас: put on a hat – надеть шляпу. У них даже вес тела накладывают: put on weight по-английски «набрать вес».

Часто ON соответствует русской приставке «про-». «Про-» обычно означает «двигаться вперёд»: про-двигаться, про-лезать, про-двигать. Возьмём фразовый глагол (ФГ) get on. Get означает «двигаться, перемещаться», get on буквально «про-двигаться». Или в пространстве, или, метафорически, в жизни или карьере: Young people try to get on in life – Молодые люди стараются продвигаться в жизни.

Читать дальше →

+41

OvkHabr 24 янв 2020 в 10:13

Добавляем в Jupyter Notebooks красоту и интерактивность

7 мин

74K

Python*Программирование*

Многие используют в своей работе Jupyter Notebooks. Но с ростом сложности проекта появляются проблемы. В блокноте появляются ячейки с красными пометками для самого себя «перед запуском укажи число...» или «задай количество итераций исходя из...». Какой-то откат к командной строке получается.

Да и вывод данных на экран не всегда воспринимается без пояснений сторонним человеком, который привык к красивым таблицам, картинкам и прочим современным элементам интерфейса.

Читать дальше →

+18

Ejhi 15 апр 2020 в 11:39

Ускоряем numpy, scikit и pandas в 100 раз с Rust и LLVM: интервью с разработчиком Weld

6 мин

6.1K

Open source*Python*Программирование*GPGPU*Rust*

Из песочницы

Привет, Хабр! Представляю вашему вниманию перевод статьи «Interview with Weld’s main contributor: accelerating numpy, scikit and pandas as much as 100x with Rust and LLVM».

Проработав несколько недель с data science инструментарием в Python и R, я начал задаваться вопросом, а нет ли какого промежуточного представления (Intermediate representation, IR) наподобие CUDA, которое можно использовать в разных языках. Должно же быть что-то получше, чем реимплементация и оптимизация одних и тех же методов в каждом языке. В дополнение к этому было бы неплохо иметь общую среду выполнения (common runtime), чтобы оптимизировать всю программу целиком, а не каждую функцию в отдельности.

После нескольких дней исследования и тестирования различных проектов я нашел Weld (можете ознакомиться с академической статьей).

К моему удивлению одним из автором Weld является Матей Захария (Matei Zaharia), создатель Spark.

Итак, я связался с Шоумиком Палкаром (Shoumik Palkar), основным контрибьютором Weld, и взял интервью у него. Шоумик — аспирант факультета компьютерных наук в Стэнфордском университете, куда поступил по совету Матея Захарии.

Weld еще не готова к промышленному использованию, но весьма перспективна. Если вам интересно будущее data science и Rust в частности, вам понравится это интервью.

Читать дальше →

+25

DmitryOlkhovoi 14 фев 2020 в 14:47

Я добавляю 3-25 секунд задержки сайтам, которые посещаю

2 мин

44K

GTD*Лайфхаки для гиковЗдоровье

Перевод

Bounce rate — показатель отказа. Термин в веб-аналитике, обозначающий процентное соотношение количества посетителей, покинувших сайт прямо со страницы входа или просмотревших не более одной

В индустрии программного обеспечения, все гонятся за ускорением всего и вся.

Доход и многие вещи влияющие на него, по мнению многих «авторитетных» компаний зависит от задержки на вашем сайте. Чем задержка меньше, тем выше конверсия, люди проводят больше времени на сайте, успевают потребить больше информации и так далее.

Читать дальше →

+34

rocknrollnerd 9 фев 2015 в 11:01

Чтобы распознавать картинки, не нужно распознавать картинки

18 мин

236K

Обработка изображений*

Посмотрите на это фото.

Это совершенно обычная фотография, найденная в Гугле по запросу «железная дорога». И сама дорога тоже ничем особенным не отличается.

Что будет, если убрать это фото и попросить вас нарисовать железную дорогу по памяти?

Если вы ребенок лет семи, и никогда раньше не учились рисовать, то очень может быть, что у вас получится что-то такое:

Осторожно, тяжелые гифки

+253

104

SLY_G 6 янв 2015 в 02:14

58 признаков хорошего интерфейса

16 мин

380K

Интерфейсы*

Перевод

У хорошего интерфейса пользователя высокая конверсия и его просто использовать. То есть, он хорош и для бизнеса, и для использующих его людей. Вот список опробованных нами идей.

1 Один столбец вместо нескольких

Один столбец точнее отражает то, что вы хотите донести. Пользователи проходят сверху вниз по более предсказуемому пути. В дизайне с несколькими колонками есть риск отвлечения пользователя от основной задачи страницы.

Читать дальше →

+138

102

vels 14 июн 2013 в 20:04

Брет Виктор — Изобретая по Принципу (Bret Victor — Inventing on a Principle)

1 мин

44K

История ITПрезентации

Чудесный, необычный, вдохновляющий и заставляющий задуматься доклад Брета Виктора о сути идей и о способе прожить свою жизнь.

Этот доклад уже пробегал на хабре, но как-то мельком и без перевода.
А он реально стоит того, чтобы посмотреть его не один раз.

Добавил английские субтитры и перевел их на русский.

Само видео...

+30

stpark 2 мар 2013 в 03:12

То, чего еще никто не писал про Нокиа, Элопа и горящую платформу

40 мин

547K

Смартфоны

Взявшись за этот пост, автор полностью отдает себе отчет. И в том что «набило оскомину». И что «только ленивый не кинул камень». И про то что «хватит уже, достали». Однако, вдоволь начитавшись доморощенных и не очень аналитиков, автор решил все-таки выразить собственное мнение, которое отличается от того общепринятого, что с некоей мазохистской истомой доселе перепечатывалось здесь и тут различными авторами, интерпретаторами и переводчиками. Вероятно кому-то будет интересно его прочитать.

Традиционно, для тех кто не любит много буков, краткие (более-менее) тезисы:

Будучи долгое время лидером на рынке, Нокиа сильно расслабилась и загадила свою внутреннюю инфраструктуру бюрократией, чрезмерным аутсорсингом и огромным количеством бесполезной «менеджерской прослойки».
Будучи долгое время лидером, Нокиа ~~просрала~~ потратила много денег на ненужные операционные расходы, поглощения никому не нужных фирм и на невменяемую модель аутсорсинга.
Полностью оторвавшись от реальности с уходом Йормы Оллилла, Нокиа, под управлением ~~гениального юриста~~ CEO Олли-Пекки Каласвуо, потратила кучу денег и усилий на создание бесполезной и неконкурентоспособной сервисной инфраструктуры Ovi. В результате этого, помимо денег, Нокиа потеряла уйму полезного времени, которое можно и нужно было потратить на развитие основного бизнеса — телефонов, софта и т.д.
Бюрократия и непотопляемая менеджерская прослойка в Нокиа, последовательно мигрировала из одного передового проекта в другой, в составе одних и тех же групп лиц, самореплицируясь в виде кучи формальных ~~дебилопроцессов~~ комитетов и управленческих групп, немного перетасовываемых с учетом специфики. В итоге именно эта бюрократия убила и Symbian, и Ovi, и MeeGo и остальные попытки догнать уходящий поезд своими силами.
Борьба с бюрократией и прослойкой в Нокиа зашла в полный тупик.
У ~~великого CEO~~ Элопа просто не было другого выхода кроме как прибить всю старую, неповоротливую и прогнившую организацию, путем создания альянса с Майкрософтом и переходом на Windows Phone. Тем самым все старые процессы, компетенции, технологии и самое главное — люди резко стали, что называется, «не в тему». И следовательно тем самым можно было под благовидным предлогом прибить этот табун менеджеров, бесконечно рисующих фэнтезийные роадмапы с единорогами и перекладывающих бумаги с левого края стола на правый.
Новая Нокиа, после 2011 года и старая Нокиа до 2011 года – это две РАЗНЫЕ организации. Их объединяет только общее название и операционка S40 для телефонов Asha.
Горящая платформа, это не Symbian и не MeeGo. Горящая платформа, это то состояние в которое Нокиа загнали годы расслабленного лидерства и тупоголовые амбиции предыдущего CEO – Олли-Пекки Каласвуо с кликой подкаркивающих вице-президентов.
С бюрократией и бизнес процессами, имеющимися на 2010 год, Нокиа не спас бы ни Андроид, ни половина населения Бангалора, пишущих на Qt под MeeGo. Даже если бы Apple бесплатно передал Нокиа iOS и все сервисы, то они бы выродились руками всяких Requirement Managerов в типичные Нокийские дизайн-химеры и в итоге загнулись через какое-то время.
То, что сделал ~~великий CEO~~ Элоп – было единственно возможным разумным решением, дающим хоть какие-то шансы на выживание. Вопрос «каким образом он это сделал?», остается открытым, равно как и вопрос «поможет ли это Нокиа?» в итоге. Не следует забывать, что нынешняя Нокиа — это совершенно новая организация, поэтому глупо предполагать, что она разом вернет себе лидерство. Как и всем новым организациям ей придется за это лидерство долго бороться.
Без ошибок и побед Нокиа никогда не было бы ни Андроида, ни Айфона. И Google и Apple тщательно проанализировали достоинства и недостатки более старших конкурентов перед тем как шагнуть вперед.

Все это в деталях — под катом. Предупреждаю что клевых картинок там нет. Сплошное графоманство и ёрничанье.

Читать дальше →

+462

330

SLY_G 25 фев 2013 в 01:00

И о часах

6 мин

212K

Гаджеты

Эпиграф:
— How much watch?
— For whom how…

После моего неосторожно высказанного недоумения в комментариях к одной из статей «а что, кто-то ещё носит часы?» и полученной бурной ответной реакции общественности я решил исследовать тему часов и разобраться – а действительно ли наручные часы вымирают, или же они перерождаются, как феникс, во что-то новое и свежее. Сам я довольно давно обнаружил, что мои наручные часы пылятся на полке, но не стоит судить по себе – всегда есть шанс оказаться уникальным.

Под катом вас ждёт:
— историческая справка
— гик-порно в большом количестве (трафик)
— долгожданное голосование о часах
— и много букв!

Читать дальше →

+124

302

AndriiAndrii 31 мар 2012 в 22:41

Экзотика. Обзор операционной системы WebOS 3.0.5

6 мин

24K

ГаджетыСофтПланшеты

Из песочницы

Сегодня я вам расскажу про очень интересную операционку — WebOS. Как вы, вероятно, знаете, система эта довольно многострадальная ибо НР, купив ее у Palm, после эпик фейла со своим планшетом HP TouchPad то отказывалась от поддержки WebOS, то не отказывалась, то собиралась ее продать компаниям RIM и Amazon, то сделать ее свободной… Теперь же НР обещает выпустить новые планшеты на WebOS, но в следующем году. Та еще эпопея, в общем, и конца ей, похоже, не видно. А все потому, что система эта очень интересная и отказываться от нее совсем не комильфо.

Сразу скажу, что WebOS оставила у меня впечатление помеси винмобайла и iOS. Она такая же гламурная и удобная как iOS, но чтобы она таковой стала ее нужно самому допиливать как в свое время телефон на винмобайле. Про винмобайл, я это, конечно, утрирую, т.к. все допиливание сводится к установке десятка патчей, что займет от силы 15 минут. Ну и, конечно же, WebOS по настоящему многозадачна. Можно открыть кучу приложений, свернуть их и все они будут работать. Как в десктопном виндовсе или макосе, кому что ближе. Ниже, собственно, подробный рассказ про саму систему и в конце о том, как ее допилить.

Про сам планшет TouchPad, на котором стоит система, рассказывать особо не буду, он вполне обычный. Из плюсов — офигенный экран, такой же как в айпаде и 2 громких динамика. Из минусов — TouchPad толще и тяжелее айпада, не намного, но это чувствуется. Время работы айпаду тоже уступает, при максимальной яркости экрана видео проигрывается 6 часов. С включенным Wi-Fi при максимальной нагрузке (когда планшет уже не хочет открывать новые приложения) и максимальной яркости — 5 часов. В щадящем режиме, конечно, дольше.

Итак, читаем! (для тех, кто боится траффика, сообщаю — в посте МНОГО КАРТИНОК!)

Читать дальше →

+81

Zevaka 31 янв 2010 в 13:32

Спать мало, но правильно?

7 мин

897K

Лайфхаки для гиковЗдоровье

Навеяно этим постом от юзера case. Пост не новый, и на главную он не попал.
Но я вот наткнулся на него сегодня и решил написать кое-что о сне. Уверен, что это будет полезно многим хабравчанам, да и случайным читателям тоже.

Читать дальше →

+627

420

2 3 ...

6 7