Posts By: Dave
| Date | Post | Topic |
| 06/18/2009 | diagramming as indexing? | Why a diagram is (sometimes) worth ten thousand words |
| 04/12/2009 | isam the ultimate | ADD 50 TO COBOL GIVING COBOL |
| 05/20/2008 | lowbrow REPL | Processing.js |
| 04/15/2008 | less verbiage? | more power and less verbiage |
| 03/31/2008 | cf "GAWK (GNU AWK) for AI?" | the power of GNU Awk |
| 05/28/2008 | a hypothesis | succinctness |
| 03/27/2007 | speaking of guarded commands... | No Ifs, Ands, or Buts |
| 03/01/2007 | hoare, hints on programming language design | Ed Felten: Why Understanding Programs is Hard |
| 03/05/2007 | going meta | Ed Felten: Why Understanding Programs is Hard |
| 03/08/2007 | ogres are like onions | Ed Felten: Why Understanding Programs is Hard |
| 03/01/2007 | duality and the desirability of documents | The Computer Revolution Hasn't Happened Yet |
| 02/09/2007 | ad infinitum | Termination Checking with Types |
| 02/01/2007 | representing DAGS with strings | brainstorming dataflow language visualizations |
| 01/31/2007 | inform 7 | First Class Relationships in an Object-oriented Language |
| 01/31/2007 | ...and its caveats | First Class Relationships in an Object-oriented Language |
| 01/31/2007 | horn clauses, à la ADVENT | First Class Relationships in an Object-oriented Language |
| 02/05/2007 | is .666 a decent batting average? | First Class Relationships in an Object-oriented Language |
| 01/04/2007 | stuck in the middle of simplicial cats | Derivatives and dissections of data types |
| 01/05/2007 | Delta -> whatever | Derivatives and dissections of data types |
| 01/05/2007 | natural language and zero | Why numbering should start at 0 |
| 01/07/2007 | But is it quantification? | Why numbering should start at 0 |
| 01/04/2007 | playing by the rules | The Role of Composition in Computer Programming |
| 10/19/2006 | how pattern users discover FP | FP vs. JSP |
| 05/05/2006 | semicoroutines | What do you believe about Programming Languages (that you can't prove (yet))? |
| 03/07/2006 | already in practitioner's bones? | When is one thing equal to some other thing? |
| 02/18/2006 | the whole hog | Fission for Program Comprehension |
| 02/09/2006 | lightweight fp? | Unix as programming language |
| 02/10/2006 | Try using "find" to unfold | Unix as programming language |
| 02/11/2006 | jot | Unix as programming language |
| 03/26/2007 | plt vs plp | Unix as programming language |
| 01/19/2006 | awk as superfoldl | GAWK (GNU AWK) for AI? |
| 02/02/2006 | I agree that the interesting | GAWK (GNU AWK) for AI? |
| 08/17/2006 | useful, at least anecdotally | Transparent Persistence |
| 12/18/2008 | dusty cuneiform decks | Explaining monads |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |