Posts By: Tim May
| Date | Post | Topic |
| 06/12/2012 | Smalltalk legacy? | Google Blockly Lets You Hack With No Keyboard |
| 10/12/2011 | Intel was the same, at least in the 1970s, early 80s | Google's Dart announced |
| 10/07/2011 | Well, I think he WAS a technical genius.... | Open thread: RIP Steve Jobs |
| 10/06/2011 | OS X, OpenBSD, NeXTStep, Mach | Open thread: RIP Steve Jobs |
| 10/15/2010 | MainSail (Machine | The barrier to take-up of language innovation |
| 10/14/2010 | I don't want to come off as | The barrier to take-up of language innovation |
| 10/16/2010 | Most of the younger | The barrier to take-up of language innovation |
| 02/17/2010 | His book, "Practicical Foundations of Mathematics" | A Lambda Calculus for Real Analysis |
| 02/17/2010 | I should've called it a "spirited debate" | A Lambda Calculus for Real Analysis |
| 02/23/2010 | Some advanced math is useful... | Recent Progress in Quantum Algorithms |
| 02/24/2010 | Getting used to the weirdness... | Recent Progress in Quantum Algorithms |
| 01/21/2010 | Real analysis is more about point set topology than calculus is | Academic advice: Mathematics or Computer Science? |
| 12/22/2009 | The inability to "meter" software widgets/ICs/components | Unfulfilled Promises of Software Technologies? (!) |
| 12/22/2009 | Expanded comments | Unfulfilled Promises of Software Technologies? (!) |
| 12/12/2009 | Math systems that "understand" (or at least "enforce") math | The Development of Sage |
| 12/12/2009 | I agree, most will use the | The Development of Sage |
| 10/17/2009 | "Laziness" never explained... | Erik Meijer's MSDN Channel 9 lecture series on functional programming |
| 09/17/2008 | "In the long run stacking | Twilight of the GPU |
| 06/14/2008 | Similar to "Physics" vs. "Engineering" | Functional Programming in the ACM CS Curriculum |
| 01/15/2008 | A metaphor for categories and mappings | Understanding category theory and its practical applications |
| 01/19/2008 | Affordances, Readiness-to-Hand, and Higher-Level Languages | Understanding category theory and its practical applications |
| 01/20/2008 | The logic of black boxes.... | Understanding category theory and its practical applications |
| 01/19/2008 | Math for programmers | Understanding category theory and its practical applications |
| 01/20/2008 | Beseme...I hadn't heard of | Understanding category theory and its practical applications |
| 01/15/2008 | "So, I guess I need to | Understanding category theory and its practical applications |
| 12/11/2007 | Haskell is pretty close to math notation.... | poll: syntax |
| 12/11/2007 | Haskell is pretty close to math notation.... | poll: syntax |
| 12/12/2007 | "IMHO, the phrases 'is an | poll: syntax |
| 12/14/2007 | Lawyers and programming, oh my! | poll: syntax |
| 11/20/2007 | A connection with hardware "design rule checking" | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/21/2007 | That sounds right.... | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/21/2007 | Ehud, I know little of Mainsail | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/21/2007 | MainSAIL was used as a primary CAD tool | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/21/2007 | Your knowledge of Haskell is beyond my own... | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/21/2007 | Obscure languages considered possible | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/06/2007 | Very exciting opportunities lie ahead for you... | PL research & grad schools? |
| 11/06/2007 | What industry may look like in 5-7 or so years... | PL research & grad schools? |
| 11/06/2007 | Specialized processors just don't seem to have a chance... | PL research & grad schools? |
| 11/06/2007 | Unix pipes as one of the biggest uses of the FP style | PL research & grad schools? |
| 10/29/2007 | "Throwing one switch makes a wing fall off" | Searching for a quote |
| 01/24/2008 | MapReduce in the news again | MapReduce |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |