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
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.