Home » user account

Luke Gorrie

typetitleauthorlast post sort icon
Forum topicWhy type systems are interesting Anton van Straaten2010-03-08 19:47
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2010-02-16 22:28
Forum topicWard's Wiki Sean McDirmid2009-12-28 14:50
StoryPICBIT: A Scheme System for the PIC Microcontroller Luke Gorrie2009-12-14 13:21
StoryScratch: Programming for All Allan McInnes2009-11-29 19:03
StoryMinimal FORTH compiler and tutorial Ehud Lamm2009-11-03 02:39
Forum topicProgramming (language) puzzles Chung-chieh Shan2009-10-02 17:42
StoryCoders at Work Ehud Lamm2009-09-20 22:27
Forum topicSimplicity John Carter2009-08-05 21:58
StoryRepRap: the self-replicating machine Luke Gorrie2009-08-05 02:28
StoryOpen Source for Hardware? Luke Gorrie2009-07-20 18:21
StoryAlan Kay: The Early History of Smalltalk Luke Gorrie2009-06-26 11:29
Forum topicPerlis Languages Robb Nebbe2009-06-24 20:27
StoryRichard Feynman and the Connection Machine Luke Gorrie2009-06-08 11:11
StoryA Tiny Computer Luke Gorrie2009-06-06 05:39
StoryCode Reading Ehud Lamm2009-06-04 14:52
StoryForth Dimensions Luke Gorrie2009-05-28 19:58
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
StoryParsing Expression Grammars Luke Gorrie2009-04-30 09:35
Forum topicWriting an interpreter, targeting a VM or writing from scratch? Johan Tibell2009-04-28 20:09
StoryA Computer-Generated Proof that P=NP Leon P Smith2009-04-20 19:18
StoryPLOT: Programming Language for Old Timers Luke Gorrie2009-04-09 15:40
Forum topicTwitter and Scala snedunuri2009-04-08 19:30
StoryBuilding a Modern Computer From First Principles Ehud Lamm2009-03-30 07:07
StoryACM Queue: A Conversation with Alan Kay Ehud Lamm2009-03-24 18:50