Discreet · and · discrete.

Enlgish readers, look no further: my english postings. Mostly about Haskell and its applications.

Про функциональное программирование и программирование вообще:

• Про лямбда исчисление
• Серебряная пуля есть
• Вред смешения парадигм
• Ссылки на обзор применения формальных методов в индустрии ПО
• Сравнение ленивых и энергичных вычислений с точки зрения модульности

Про язык Хаскель:

• Про REPL
• Стиль кодирования на Хаскеле
• Binary Decision Diagram на Хаскеле
• Построение комбинаторов синтаксического разбора
• Моделирование аппаратуры на Хаскеле

Вне ЖЖ:

• Исходники модели машины динамического потока данных с сортировкой токенов
• Презентация про опыт моделирования аппаратуры

Поиск по моему блогу:

• Яндекс-блоги, автор thesz

Потом еще чего добавлю.

Тут в ЖЖ что-то с какими-то разрешениями насчёт копирования чего-то не то. Поэтому, чтобы сразу уточнить это чего-то насчёт каких-то разрешений копирования, вот:

Используйте всё, что вам понравится так, как это вам угодно. Ограничений вводить не буду, это усложнит мне жизнь.

Если при использовании сошлётесь на меня, буду благодарен.

1. Здесь только то, что интересно мне.
   1. Мои посты именно об интересном мне.
   2. Для меня интересно чужое хорошо аргументированное мнение.
   3. Я предупрежу, если мне что-то станет неинтересным.
2. Запрещены:
   1. Хамство.
   2. Мат.
   3. Мемы.
   4. Переходы на личности (в принципе, даже в виде "да это идиотское решение!", если только за ним не следует сразу уточнение технических деталей в виде извинения)
   5. Комментарии-однострочники.
3. Я предпочитаю чужие посты чужим комментариям.

За запрещённое может последовать бан сразу.

За "неинтересное" будет бан после не выполненной просьбы перейти к постам.

Всё это, как и предыдущие правила, направлено на увеличение доли видимой или полезной информации.

PS
Исключения существуют - это давно знакомые мне пользователи ЖЖ.

...у меня сорвало шляпу.

То есть, я познакомился с руководителем разработки в компании PODSIMKA, Георгием Тотевым totev.

Им требуется разработчик ПО встроенных систем. Вот список требований:

- знание микропроцессоров семейства Atmel AVR и опыт разработки под них на языках программирования С и Assembler
- опыт работы с AVR GNU Toolchain и Atmel AVR Studio
- опыт участия в сложных проектах
- навыки чтения схемотехники (P-CAD, KiCad)
- понимание общих принципов построения RTOS для микропроцессоров

Из желательных требований - понимание GSM технологий, опыт в них, беспроводные системы, опыт работы с микропроцессорами MCS 51 NXP.

Не Хаскель! (на всякий случай)

Зарплата - 250000 рублей. Я не совсем понял, является ли это нижней точкой или верхней, эта сумма неплоха в любом случае.

Разница в весе в два с половиной процента означает различие в числе повторений на 1. Если вы поднимаете 100 кг 10 раз, то 102,5 кг вы сможете поднять 9 раз.

В принципе, это надо перемножать. То есть, если вы поднимаете 100 кг 10 раз, то на один раз вы поднимете 100*1,025⁹=124,89 кг, почти 125 кг.

Тут меня как-то осенило, что в юности я начал подтягиваться на одной руке, когда я умел подтягиваться на двух руках 28 раз. И действительно, log 2/ log 1.025 = 28.1. Когда я рассказал про это тренеру, он на минутку отлучился и вернувшись, подтвердил, что он смог подтянуться на одной руке, при том, что он подтягивается на 2 примерно 32 раза.

Это я всё к тому, что будучи крепко привязанным к перекладине, я способен выдать 25 подтягиваний широким хватом. Остаётся примерно 4-5 до цели. ;)