2016

Kyiv fprog: Первый теоретикотиповой
категорный митап
в Киеве!

В мире типизированного лямбда-исчисления есть более слабая и надежная формальная система Calculus of Construction (CoC), единственной операцией на типах в которой является тип зависимых функций, а также более сильная и выразительная Calculus of Inductive Constructions (CIC), включающая индуктивные типы. Предположим, мы хотим использовать в нашем языке все преимущества наличия индуктивных типов CIC, оставив бекэнд простым, основанным на CoC. Классические методы достигнуть этого — так называемые кодировки, например, кодировка Черча-Бёма-Берардуччи, — либо не позволяют выразить в получившейся системе аксиому индукции, необходимую для полноценного обращения с зависимыми типами, либо требуют расширения CoC другими экзотическими операциями. Сегодня мы опишем кодировку индуктивных и коиндуктивных типов, работающую в неизмененном CoC, которая основана на использовании известных конструкций из теории категорий. Будут рассмотрены варианты кодировки для непредикативной и предикативной иерархии универсумов, а также для кодирования самого типа-универсума. Кодировка допускает обобщение на высшие индуктивные типы в таких современных вариантах теории типов, как HoTT.

2015

«Unikernel Full-Stack на Erlang»
by Максим Сохацкий

CTO of «Synrc Research Center». More than 14 years in IT. Erlang engaged since 2010. Ranked in the top 5 Erlang committers on Github. In May 2014 he took part in the Erlang User Conference in California with web framework talk. Maxim is developing the fastest web framework N2O for Erlang completely built on WebSockets, SVG and binary protocols.

WebCamp, Odessa

Стек протоколов — N2O, KVS и BPE

RoR подобные веб фреймворки для Erlang. Как адаптироваться с минимальными усилиями с Ruby on Rails на Erlang? Какие преимущества дает перенос серверной части на Erlang в контексте интеграции с остальными сервисами. Новый веб фреймворк для Erlang — N2O: JavaScript компилятор, База данных, REST тулкит, WebSockets.

EAX podcast

Интервью с Максимом Сохацким об Erlang, проекте Erlang on Xen и веб-фреймворке N2O

Темы четырнадцатого выпуска: как убедить джавников и .NET-чиков перейти на функциональные языки, история создания веб-фреймворка N2O, проекты Erlang on Xen и Voxoz.com, а также Functional programming Meetup, который состоится в Москве 16-го августа 2014. сколько форкнуть Xen’ов, Erlang-девочки и теория категорий, системы типов и сиподобная лапша, а также ответы на вопросы слушателей. Первый и второй выпуски.

2014

Kiev Erlang Courses

Как известно Synrc Research Center всячески поддерживает и развивает Erlang сообщество не только в Украине, но и за ее пределами. Наши фреймворки работают и помогают многим людям по обе стороны Атлантики тратить минимум усилий на инженерные процессы. Год назад Synrc давала модуль по основам языка Erlang и веб-программированию на Erlang. Пришло время нового модуля — охватить новые горизонты применения языка Erlang в бизнесе и вебе.

Most Functinal Day

Как известно Synrc Research Center всячески поддерживает и развивает Erlang сообщество не только в Украине, но и за ее пределами. Наши фреймворки работают и помогают многим людям по обе стороны Атлантики тратить минимум усилий на инженерные процессы. Год назад Synrc давала модуль по основам языка Erlang и веб-программированию на Erlang. Пришло время нового модуля — охватить новые горизонты применения языка Erlang в бизнесе и вебе.

 

Odessa WebCamp: N2O Framework

N2O разрабатывался как многофункциональный WebSocket аппликейшин сервер широкого назначения. Будучи ответвлен изначально от классического сервер-рендер фреймворка Nitrogen, он развился в мощное средство (включающее в том числе и поддержку SPA приложений) обеспечения пула долгоживущих TCP соеднений и доставки кода/даных выступая в качестве высокоемкностного релея, благодаря надежной и высокоустойчивой платформе Erlang/OTP. Соединяя в себе все черты Full-Stack веб фреймворков: Роутинг, Темплейтинг, Pub/Sub, Сессии, Хранилище, REST и поддержка кастомных протоколов; N2O добавляет совершенно уникальные возможности для создания различных DSL: вы можете транслировать бизнес логику, написанную на Erlang языках (Elixir, Erlang, Joxa) в JavaScript, генерировать трансформаций Erlang рекордов в JSON структуры и много другое, специфицировать JavaScript протоколы на языке Erlang. Сейчас N2O развивается в сторону поддержки SVG клиентов и бинарных протоколов.

Bay Area Erlang Conference: N2O Web Framework

N2O is an unusual framework that solves problems in different web development domains while staying small and concise at the same time. Started off as a Nitrogen concept of server-side framework it can also build client-side offline applications using same site sources. This becomes possible with the powerful Erlang JavaScript Parse Transform which extends Erlang language to JavaScript platform with two-side interoperability. You can as well use Elixir, LFE and Joxa languages to develop your back-end.

Belarus Ruby User Group: N2O for Ruby Dudes

RoR подобные веб фреймворки для Erlang. Как адаптироваться с минимальными усилиями с Ruby on Rails на Erlang? Какие преимущества дает перенос серверной части на Erlang в контексте интеграции с остальными сервисами. Новый веб фреймворк для Erlang — N2O: JavaScript компилятор, База данных, REST тулкит, WebSockets.

2013

Mostly Erlang

Mostly Erlang Podcast: Functional Deploy with Voxoz

Vlad and Max join us from Kiev to talk about the Voxoz service and how they have built a company and service around making erlang devops easier. We talk about Erlang on Xen, Releases, Dev ops and more.

Kiev fprog: KVS Abstract Term Database

Мы расскажем, как использовать различные базы данных для Erlang: Mnesia, Riak, KAI; особенности использования секондари индексов, автоматическое построение REST интерфейсов к данным, использование Parse Transform для генерации JSON парсеров, обеспечение конкурентного доступа к данным, аспекты использования Feed Server и Feed UI.

Ilya
Mirin

Ilya Mirin Webcast: Erlang Everything in 30 minutes

The general overview of Erlang, Synrc Research Center, history of Erlang projects. Synrc Cloud Stack. Web Frameworks, DHT, Binary Protocols, JavaScript Compilers, Clojure, Functional Programming.

IT Jam: Path to Happiness

Foresight of Ukrainian IT Community Leaders. This is inspirational framework facilitated by professional trainers. Intensive networking, collaboration, mastering new concepts and ideas which will affect our future. Who is invited: communities' drivers, events' organizers, conferences' speakers, expertise leaders. Inspirational Talk on Building Erlang Company.

Kiev fprog: Voxoz Erlang PaaS

Компания «Synrc Research Center» представит прототип Erlang PaaS и расскажет о том, как написать свой PaaS на Erlang за месяц. Кроме этого будет презентация ключевых для PaaS приложений KVS, MQS и N2O, а также описание промо проектов: Skyline.

Hotcode: LDAP Server in 30 minutes

Компания «Synrc Research Center» представит свой самый быстрый Erlang Web фреймворк N2O работающий на вебсокетах, а также проведет часовую Live Coding сессию по написанию LDAP сервера.

Kiev Erlang Courses

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





Events | Privacy Policy | Feedback | Brandbook
Copyright © 2005–2016 Synrc Research Center s.r.o.