Posts By: Jeff Nowakowski
| Date | Post | Topic |
| 01/11/2008 | For what it's worth, my | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/11/2008 | Ada vs Java for teaching software engineering | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 10/29/2007 | Scala / GWT | Technometria: Google Web Toolkit |
| 11/05/2007 | Implying that we have a | Examples of large-scale functional language projects |
| 09/06/2007 | Re: No abstraction | Q: Modularizing SQL? |
| 11/03/2007 | D closures fixed | D Programming Language Conference |
| 08/23/2007 | Types & head-pounding | An Accidental Simula User, Luca Cardelli |
| 08/23/2007 | Re: Impeding FP | Commercial Users of Functional Programming 2007 |
| 07/18/2007 | How am I really going to | Whoever does not understand LISP, is doomed to reinvent it. |
| 05/17/2007 | Open specifications | Sun's new JavaFX Script language |
| 05/18/2007 | Re: Issues remain | Sun's new JavaFX Script language |
| 05/04/2007 | In your own words | Microsoft's new Dynamic Language Runtime (DLR) |
| 04/30/2007 | Re: The Drawback | AutoBayes -- A DSL For Bayesian Networks |
| 05/06/2007 | Objects and Generics | The Monad.Reader |
| 04/15/2007 | Personal messages | Personal messages |
| 03/29/2007 | It's in the air | Expect New Major Language Within Five Years |
| 03/15/2007 | Subject headings | Subject headings |
| 03/10/2007 | Pop-up | Automatic Programming |
| 03/05/2007 | Scheme and concurrency | Kourier is now live |
| 03/01/2007 | Re: Fighting spam | "Recent Post" funkiness |
| 02/26/2007 | Re: Predictions | On the fact that the Atlantic Ocean has two sides |
| 02/26/2007 | Re: always with the asking | On the fact that the Atlantic Ocean has two sides |
| 02/27/2007 | Fellow traveler | On the fact that the Atlantic Ocean has two sides |
| 02/23/2007 | Implementing Categorical Semantics | DanFest 2004 videos online |
| 01/26/2007 | [OT] Re: F# | Software Composability and the Future of Languages |
| 03/03/2007 | Blinders | Why people don't use functional programming? |
| 03/03/2007 | Scheme is used widely | Why people don't use functional programming? |
| 12/26/2006 | Re: Blockquote | Theme styles |
| 12/30/2006 | Something like this will | More Haskell in Java 7 or 8? |
| 12/30/2006 | Re: So C# gets it and then Java | More Haskell in Java 7 or 8? |
| 12/22/2006 | Re: Sincere Comment on FP | Misc items |
| 12/28/2006 | Origins of sin(x), cos(x), etc in J | The Role of Composition in Computer Programming |
| 12/19/2006 | I find the tortuous path | Teaching Discrete Mathematics via Primary Historical Sources |
| 12/19/2006 | I agree, it shoudn't be | Teaching Discrete Mathematics via Primary Historical Sources |
| 12/20/2006 | The review for | Teaching Discrete Mathematics via Primary Historical Sources |
| 12/02/2006 | Re: explanation? | Stephen Wolfram forecasts the future |
| 12/01/2006 | Should it be on the | SK Calculus not Consider SeKsy? |
| 12/01/2006 | Nevermind | SK Calculus not Consider SeKsy? |
| 12/01/2006 | Which raises an important | The Future of LtU |
| 11/13/2006 | Self-publishing | Practical OCaml |
| 10/18/2006 | Direct link to the Artima thread | FP vs. JSP |
| 10/13/2006 | Of course, there's always | The US Torture Bill as C code |
| 10/13/2006 | What he's saying is that if | The US Torture Bill as C code |
| 01/16/2008 | A more general css fix | width still fixed? |
| 08/09/2006 | Rehashing | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 07/11/2006 | Re: Machine Obstructed Proof | Abstracting Allocation: The New new Thing |
| 07/12/2006 | But as you can see, it | Abstracting Allocation: The New new Thing |
| 07/08/2006 | Re: You have to start somewhere | Failure-oblivious computing |
| 06/28/2006 | Circuits vs programming? | Oxymoronic? "Safety-critical development guidelines for real-time Java" |
| 06/23/2006 | Wrong impression | What are the real benefits of FP? |
| 06/16/2006 | Haskell has simple syntax?? | Why only 'minimal' languages |
| 06/09/2006 | Strange that you [Ehud] should apologise | LtU: blog not forum! |
| 01/17/2007 | Thanks | Linear Types vs. Uniqueness Typing |
| 06/08/2006 | Infuriating | Why Are ALL Programming Languages So Low Level? |
| 06/05/2006 | Email/news interface | Email/news interface |
| 06/05/2006 | RSS | Email/news interface |
| 06/05/2006 | One more issue | Email/news interface |
| 06/27/2006 | Netnews | Email/news interface |
| 06/02/2006 | Late commentary | Javascript department |
| 06/02/2006 | Social problem? | Timor: adding "qualifying" and "attribute" types to the OO realm. |
| 05/30/2006 | No bearing | Buried Treasure - No Fluff Just Stuff |
| 05/23/2006 | Editing posts | Editing posts |
| 05/18/2006 | Obligatory reference | Paul Vick: BASIC principles |
| 05/20/2006 | Techniques for multi-threading? | ruby vs python |
| 05/23/2006 | So many problems | ruby vs python |
| 05/10/2006 | Lisp syntax | The Nature of Lisp (a tutorial) |
| 05/05/2006 | I second that | Your favourite editor/IDE |
| 05/02/2006 | Computers and stuff | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 05/02/2006 | Feynman the Explainer | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 05/03/2006 | If asked to do something you | Proofs are Programs: 19th Century Logic and 21st Century Computing |
| 05/02/2006 | What tool? | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/02/2006 | Re: Abstraction is overrated | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/03/2006 | Large systems | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/02/2006 | Code from the wild | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/28/2006 | Re: I Dunno... | Oberon Script. A Lightweight Compiler and Runtime System for the Web |
| 04/12/2006 | Concrete examples? | Flexible Addition of Static Typing to Dynamically Typed Programs |
| 04/12/2006 | I think adding support to | Flexible Addition of Static Typing to Dynamically Typed Programs |
| 04/11/2006 | Transcript not expected | Ward Cunningham podcast: Smalltalk, little languages, XP, typing and future of software |
| 04/06/2006 | Unsavory license model | Eiffel Studio adds GPL version |
| 04/06/2006 | Re: It's the libraries that make your code GPL | Eiffel Studio adds GPL version |
| 04/06/2006 | Re: Tool support for published API migration | public vs. published interfaces |
| 04/13/2006 | Be wary | public vs. published interfaces |
| 04/01/2006 | Use cases? | Uniform Proofs as a Foundation for Logic Programming |
| 03/30/2006 | Re: Ada | "Semi-complete" Boolean Evaluation? |
| 03/24/2006 | Keystrokes add up | Gosling vs. Dynamic Languages |
| 03/17/2006 | Workaround | Back button & scroll position |
| 03/21/2006 | I would be sad to see people | The Problem With Parsing - an essay |
| 03/16/2006 | Arc | Programming: 50, 100 years from now |
| 03/13/2006 | Interesting tidbit | ACM Queue: A Conversation with Steve Ross-Talbot |
| 02/28/2006 | Clarification? | An Expressive Language of Signatures |
| 02/07/2006 | Ten years for security? | Combinators for contracts |
| 01/28/2006 | Blockquote color | Blockquote color |
| 02/10/2006 | Thanks! | Blockquote color |
| 01/23/2006 | It's UNIX with Eclipse / | Choice of OS of LtU readers |
| 01/25/2006 | It strikes me as elitist. | Choice of OS of LtU readers |
| 01/17/2006 | I'm willing to bet programmer | Paul Vick: Language Design & Paying the UI "Tax" |
| 12/10/2005 | What uses? | Types and reflection |
| 12/01/2005 | Tough love | The building of robust software |
| 12/01/2005 | Better for the logical purity | The building of robust software |
| 11/19/2005 | Targeting low-end vs high-end | The X10 Programming Language |
| 11/17/2005 | 1st question in the FAQ | Neko 1.1 Released |
| 05/04/2006 | Ok where it is | Forum usability |
| 05/03/2006 | Re: linking to a post | Forum usability |
| 05/03/2006 | Old threads | Forum usability |
| 05/03/2006 | Bookmarklets | Forum usability |
| 02/11/2006 | Rigor | The fate of reduce() in Python 3000 |
| 02/21/2007 | Not so fast | DanFest 2004 - in honor of Dan Friedman |
| 05/26/2006 | Are you [Ehud] saying | Why type systems are interesting |
| 05/26/2006 | Ok, I see what you're | Why type systems are interesting |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |