-
Saturday evening, 10:30 PM, Seattle time. Window 7 RC's audio stack is pumping music from the Internet Explorer process to the laptop speakers, the process manager boosts Word 2007 with foreground priority. Bart is writing something yet unannounced...
-
Weekends are for hacking up crazy ideas (and so are evenings). This weekend was no different; amongst other things I got around to implement an Unlambda interpreter in C#. A what? Let’s talk about that first. Warning: Reading this post can cause permanent...
-
Introduction Declarative language constructs like query comprehension syntax often worries imperatively trained developers. I hear this quite a bit, and the excuse of “It Just Works” is often not satisfactory for most of them :-). Combine this with interesting...
-
Introduction Last time around in this blog category we looked at using Z3 for testing satisfiability of simple Boolean logic expressions. Obviously Z3 is capable of doing much more, so this time we’ll reach out to the domain of integer value arithmetic...
-
A while back I posted Type Theory Essentials in Pictures – Part 1 – Quiz , a series of non-annotated pictures representing concepts from type theory. Though the first part was intended to be simple, I got some feedback that people were puzzled about it...
-
Introduction Today I’m going to deviate from the typical path of mainstream technologies I normally cover and enter the domain of research instead. But very interesting and active research, with lots of practical implementations it turns out: theorem...
-
Last time around in this series, I promised to talk about generic co- and contra-variance. So that’s why we’re here today. In this post I’ll explain the theoretical concepts behind these fancy-sounding terms, look at the runtime’s take on it, show how...
-
Before on “The M Programming Language Tales”: The M Programming Language – Part 0 – Intellipad, MrEPL, VS2008 project support and Excel integration The M Programming Language – Part 1 – Structural Typing The M Programming Language – Part 2 – Collections...
-
Introduction On my last trip I had the opportunity to talk on the subject of LINQ once more. Geeky as we are, this time’s session title was “LINQ in breadth”, an orthogonal view on LINQ compared to my last year’s LINQ in depth talk. But what makes LINQ...
-
Geeks need fancy hardware, don’t they? Well, for a geek, this evening has been a most exciting one. A while back, I decided I should start thinking about upgrading my laptop. I’m currently running a dual core 2.16 GHz machine with 2GB of RAM. As I’m writing...