Ruud Steltenpool
steltenpower
I unload some brainfarts & top-notch ideas here. I love feedback, working together. Can code some too. Time can be stretched with tip$.
higher education/research (support) Twente
Robert Kleffner
robertkleffner
CEO @ Lumineye. Obsessed with programming languages, especially types and formal verification
Lumineye, Inc. Boise