November 5th, 2019
Lambda Calculus
Lambda Calculus isn’t just a fancy word: it defines our software, our numbers and perhaps even reality itself.
Jun 21st, 2016Practical Functional Programming: The Virtues of Laziness
When you're new to Functional Programming, or struggling to learn it after coming from an Object Oriented background, you're likely to ask: "This is so different, what's the practical aspect?"
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.
December 20th, 2016Linguistics and Compilers
Compilers are tools typically used to create binary we call software. Kenneth Miller has some interesting thoughts on extending the metaphor (and tools) to both human and programming languages.
May 17th, 2016Bare Metal Functional Programming With Symbolics
The Symbolic's Lisp Machine is an amazing and unique computer designed with one thing in mind: run functional programs as fast as possible using hardware specifically designed for the language!
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.
