Gödel's System T in TypeScript

Experimenting with a rudimentary type system that ensures the programs always terminate.

On Recursive Functions

The Y combinator or how to implement recursion in a language that doesn’t support it.

Implementing a Regular Expression Engine

Using Ken Thompson’s construction algorithm.

Scalable Angular Apps at DevReach 2018

DevReach is one of the largest tech conferences in Eastern Europe, focused on .NET and JavaScript. I had the pleasure to attend as a speaker, talking about Scalable Angular Applications.

Setting Up a Project With Telerik UI for ASP.NET MVC

This is a step by step guide on how to setup a project from scratch with the Telerik UI for ASP.NET MVC component suite or integrate it to an existing one.

Impressions from EMEA Pug Challenge 2017

I had the pleasure to speak at the annual EMEA PUG Challenge conference in Prague. This is my second visit to this event. I was very excited about it because I already had fond memories of the last year’s one in the Netherlands.

KendoUI TreeList Load on Demand

How to lazily load the descendant items of a record in a TreeList.

Statistical Machine Translation on Azure VM using Moses

Training a machine translation model on an Azure compute optimized VM.

Impressions from EMEA PUG Challenge 2016

I had the pleasure to speak at the annual EMEA PUG Challenge conference. I’ve been eagerly anticipating the event and as now it’s over, let me share my impressions with you.

Validate any DOM element with the KendoUI validator

Not only inputs.