November 5th, 2019
Lambda Calculus
Lambda Calculus isn’t just a fancy word: it defines our software, our numbers and perhaps even reality itself.
July 18th, 2018Game Development Teamup
Games don't write themselves. Without the knowledge and tools the Next Big Thing is still hidden inside your head. Bring your vision to life, we'd love to help.
February 28th, 2017F# Type Providers
Introduced in F Sharp 3.0, Type Providers are components that provide types, properties, and methods to an application to facilitate information rich programming. In other words a type provider automatically exposes the types which represent provider’s data structures.
Apr 16th, 2016Parsing Text with a Virtual Machine
As the saying goes, all the good ideas in computer science came from the 1970s. We'll explore a new library for parsing text that calls upon an old, unconventional approach: compiling parsers to custom bytecode and then running it through an interpreter. Along the way, we'll learn about how PEGs fit a sweet spot between regular expressions and heavier parsers, and how Clojure is an ideal language for writing simple compilers.
Apr 27th, 2023uLisp
>Wecome to uLisp!
Welcome to your personal Lisp Machine! This is a 32-bit computer with limited memory and little permanent storage.
March 27th, 2018Generative Testing - Stop Writing Unit Tests!
Ghadi Shayban demonstrates techniques toward achieving 100% code test coverage of code, libraries and APIs, without tedious test writing.
