Toggle values with minimal screen estate

There are toggle controls, but they seem to me either to: be…

Dependent Types in Java

No, you generally can’t do dependent types in Java. However,…

Constructive Type Theory is Hard but People Want It

“What every software developer should know”: I’m not going…

Compiling on the Fly with the Eclipse Compiler

There is this question about how to compile code on the fly using…

Comments on Code Testing Presentation at Strange Loop

This video was referenced on the Shen mailing list. Here’s…

How to find one in a thousand in under a second

This is my post for an unordered hierarchically categorized list…

Constructor driven development

Again a misnomer, it’s more datatype driven development, but…

Auto typing Java things in Shen

I want to autotype Java things so integration with Java can all…

Implementing Echo App in Shen

Implementing the echo app described in my previous post poses…

Convenient "optional" args in functions

Inaccurate title, but… especially when working with persistent…