Компания Galois, занимающаяся созданием и разработкой различного ПО, недавно объявила в своем блоге о том, что криптографический язык программирования Cryptol, изначально закрытый, теперь доступен любому желающему.

Созданный для Агенства Национальной Безопасности США, Cryptol является предметно-ориентированным языком программирования и служит инструментом создания дизайна, реализации и верификации криптографических алгоритмов. Разработка не является новой — на Криптоле было написано несколько крупных проектов, а в настоящем времени ведется разработка в корпорации Rockwell Collins.

Cryptol портирован под Windows, Mac и Linux и доступен для скачивания в триальной, ознакомительной, версии. Она включает в себя интерпретатор, документацию и примеры. А вот для того, чтобы получить полную версию — придется написать разработчикам и убедить их в необходимости выдать вам полнофункциональный Cryptol.

Оригинальный пост в блоге.

Galois Blog via Slashdot

Последнее время приходится писать «маленькие» серверы для многопоточной обработки относительно небольших объемов данных. Хочу поделится с хабрасообществом определенным приемом в написании таких приложений.

Всем привет! Сегодня мы наконец-то перейдем к практической части нашей мини-программы по изучению Workflow Foundation. В этой статье я немного подробнее остановлюсь на последовательных процессах (Sequential Workflow) и опишу пример создания приложения для резервного копирования файлов. Напомню, что это скорее пример работы с редактором, чем описание реального применения. Все описанное в практическом примере можно и нужно делать без использования WF. =)

Безусловно, все те кто общается с ОС Linux хоть раз да имели дело(во всяком случае слышали точно) с командной оболочкой BASH. Но BASH не только командная оболочка, это еще и превосходный скриптовый язык программирования.
Цель этой статьи — познакомить поближе юзеров с bash, рассказать про синтаксис, основные приемы и фишки языка, для того чтобы даже обычный пользователь смог быстренько написать простой скрипт для выполнения ежедневной(-недельной, -месячной) рутинной работы или, скажем, «на коленке» наваять скриптик для бэкапа директории.

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

Итак, собственно, к делу.

Мы занимаемся системами электронной биржевой торговли, аналитикой рынка и поставкой маркет-данных в реальном времени. К таким системам предъявляются повышенные требования по надежности — каждая ошибка может привести к потере больших денег.

Хочу предложить вашему вниманию серию статей, посвященных Microsoft Workflow Foundation. Данная технология представляет новый, более высокий, уровень абстракции в программировании под .net. Мы начнем с вводной статьи, описывающей предпосылки возникновения технологии, два основных вида рабочих процессов и средства разработки. В дальнейшем мы более подробно ознакомимся с различными аспектами Microsoft Workflow Foundation.

Заинтересовались — читайте дальше.