Posts By: Jason Dusek
| Date | Post | Topic |
| 08/21/2009 | Sources? | Theoretical Foundations for Practical Totally Functional Programming, by Colin Kemp |
| 05/13/2009 | Obscure question about a remark in "A Tutorial on (Co)Algebras and (Co)Induction". | Obscure question about a remark in "A Tutorial on (Co)Algebras and (Co)Induction". |
| 05/14/2009 | Typos are such a bother in | Obscure question about a remark in "A Tutorial on (Co)Algebras and (Co)Induction". |
| 04/21/2009 | The deBrujin Criterion and the "LCF Approach". | The deBrujin Criterion and the "LCF Approach". |
| 04/06/2009 | <code>method_not_found</code> | Twitter and Scala |
| 04/06/2009 | backseat driving | Twitter and Scala |
| 11/29/2009 | The counit of a monad... | Lawvere Theories and Monads |
| 02/08/2009 | On the (Im)possibility of Obfuscating Programs | On the (Im)possibility of Obfuscating Programs |
| 02/09/2009 | Request Signing Programs | On the (Im)possibility of Obfuscating Programs |
| 02/09/2009 | I am interested in client verification. Really. | On the (Im)possibility of Obfuscating Programs |
| 02/09/2009 | Please Explain A Little More | On the (Im)possibility of Obfuscating Programs |
| 02/09/2009 | On the (Im)possibility of Obfuscating Programs | On the (Im)possibility of Obfuscating Programs |
| 02/10/2009 | server holds | On the (Im)possibility of Obfuscating Programs |
| 02/10/2009 | I never use the value of the round trip time. | On the (Im)possibility of Obfuscating Programs |
| 02/10/2009 | No room at the Inn :) | On the (Im)possibility of Obfuscating Programs |
| 02/10/2009 | The client would delay for variance and variance is small. | On the (Im)possibility of Obfuscating Programs |
| 02/11/2009 | Here Is A Google Group | On the (Im)possibility of Obfuscating Programs |
| 02/11/2009 | The timestamp in the packet tells us how long to wait. | On the (Im)possibility of Obfuscating Programs |
| 02/10/2009 | The only correction is loss of connection :) | On the (Im)possibility of Obfuscating Programs |
| 02/10/2009 | Dongle As A Service | On the (Im)possibility of Obfuscating Programs |
| 02/09/2009 | Game Over? | On the (Im)possibility of Obfuscating Programs |
| 02/09/2009 | Not sure I can take you on faith like that... | On the (Im)possibility of Obfuscating Programs |
| 02/10/2009 | On the (Im)possibility of Obfuscating Programs | On the (Im)possibility of Obfuscating Programs |
| 02/12/2009 | Looking for papers describing advanced language topics in terms of C programming | Looking for papers describing advanced language topics in terms of C programming |
| 12/26/2008 | The Lambda Cube & Some Programming Languages | The Lambda Cube & Some Programming Languages |
| 12/27/2008 | Sub-typing "is evil" | The Lambda Cube & Some Programming Languages |
| 12/28/2008 | Reference | The Lambda Cube & Some Programming Languages |
| 02/11/2009 | Contracts & Distributed Systems | Microsoft PDC "Language" Talks |
| 02/11/2009 | Tangential | Microsoft PDC "Language" Talks |
| 02/12/2009 | I have served the devil too well... | Microsoft PDC "Language" Talks |
| 02/12/2009 | Such A System Is Not Available For My Toaster | Microsoft PDC "Language" Talks |
| 09/27/2008 | Such Nice Syntax | Reia: Python/Ruby style language on top of Erlang |
| 08/19/2008 | OPIS -- Distributed Arrows In O'Caml | OPIS -- Distributed Arrows In O'Caml |
| 08/19/2008 | I am so surprised this came | OPIS -- Distributed Arrows In O'Caml |
| 08/19/2008 | What kind of language is sed? | Text Processing by Functional Language? |
| 07/30/2008 | Two Computers & An Ethernet Cable -- Also A Computer? | Two Computers & An Ethernet Cable -- Also A Computer? |
| 07/30/2008 | Two Computers & An Ethernet Cable -- Also A Computer? | Two Computers & An Ethernet Cable -- Also A Computer? |
| 07/30/2008 | RAM Failure Is Out There | Two Computers & An Ethernet Cable -- Also A Computer? |
| 07/31/2008 | Why is three so special? | Two Computers & An Ethernet Cable -- Also A Computer? |
| 07/30/2008 | Thank you for the | Two Computers & An Ethernet Cable -- Also A Computer? |
| 07/30/2008 | Usually Fail | Two Computers & An Ethernet Cable -- Also A Computer? |
| 07/31/2008 | Lamport Wrote About This Stuff... | Two Computers & An Ethernet Cable -- Also A Computer? |
| 08/06/2008 | Can you explain why I must | Two Computers & An Ethernet Cable -- Also A Computer? |
| 07/23/2008 | Osker | Systems programming in languages other than C? |
| 04/02/2008 | This comic is offensive to | April 1st special: The War of the Worlds |
| 03/31/2008 | Do More | the power of GNU Awk |
| 03/31/2008 | Trees & Logic Languages -- n00b Question | future history of logic programming |
| 03/28/2008 | coercion... | The Disciplined Disciple Compiler |
| 03/09/2008 | C is actually safer... | When Is A Functional Program Not A Functional Program? |
| 02/07/2008 | syck? | Project LambdaCan |
| 02/08/2008 | reduplication of Datalog | Jura, a OOMP language and potential DBMS |
| 02/03/2008 | Lions, Tigers and Bears -- Oh My! | Arc is released |
| 02/03/2008 | shift handling | Arc is released |
| 01/19/2008 | numerical methods | Understanding category theory and its practical applications |
| 01/19/2008 | problem 0 | Understanding category theory and its practical applications |
| 01/09/2008 | Haskell Will Rock The Blogosphere... | Prediction for 2008 |
| 01/11/2008 | Just Kidding | Prediction for 2008 |
| 01/19/2008 | Oh No... | Prediction for 2008 |
| 01/19/2008 | iLISP | Prediction for 2008 |
| 01/09/2008 | Typing Was Proceeded By Printing | The Land of the Terminal |
| 12/08/2007 | functions, statements, expressions | functions, statements, expressions |
| 12/08/2007 | No definition offered... | functions, statements, expressions |
| 12/08/2007 | round and round | functions, statements, expressions |
| 12/09/2007 | no mere construction | functions, statements, expressions |
| 12/09/2007 | Wikipedians | functions, statements, expressions |
| 12/09/2007 | appeasement | functions, statements, expressions |
| 12/09/2007 | hidden treasure | functions, statements, expressions |
| 12/09/2007 | Classes Are Sets | functions, statements, expressions |
| 12/08/2007 | C | functions, statements, expressions |
| 12/09/2007 | Oops. | functions, statements, expressions |
| 12/08/2007 | serializing types | functions, statements, expressions |
| 12/08/2007 | the other world | functions, statements, expressions |
| 12/07/2007 | Haskell, Turned Up To Eleven | Haskell, Turned Up To Eleven |
| 12/11/2007 | Make -03 Louder... | Haskell, Turned Up To Eleven |
| 11/20/2007 | PCE != C-T Thesis | What are the properties of "Functional Programming Languages"? |
| 11/21/2007 | value judgements | What are the properties of "Functional Programming Languages"? |
| 11/21/2007 | list comprehensions? | What are the properties of "Functional Programming Languages"? |
| 11/21/2007 | en4cement | What are the properties of "Functional Programming Languages"? |
| 11/21/2007 | Selective Enforcement | What are the properties of "Functional Programming Languages"? |
| 11/22/2007 | process scoping | What are the properties of "Functional Programming Languages"? |
| 11/23/2007 | only optimizations | What are the properties of "Functional Programming Languages"? |
| 11/21/2007 | (3) and typing | What are the properties of "Functional Programming Languages"? |
| 11/16/2007 | What is the quick way to get | David Pollak on lift |
| 11/07/2007 | Parameterized Modules & Type Classes | Dependent Classes |
| 11/07/2007 | Keywords | Dependent Classes |
| 11/08/2007 | slow structs | Dependent Classes |
| 11/08/2007 | Food For Thought | Dependent Classes |
| 10/31/2007 | kitchens | Searching for a quote |
| 10/25/2007 | Trust In God | On the Importance of Purity |
| 10/20/2007 | Sharding -- A PL Issue? | The End of an Architectural Era (It's Time for a Complete Rewrite) |
| 10/20/2007 | Why Rewrite? | The End of an Architectural Era (It's Time for a Complete Rewrite) |
| 10/16/2007 | wow | Morphic in your Browser |
| 11/18/2007 | Selling... | Examples of large-scale functional language projects |
| 10/23/2007 | OSpaml | Examples of large-scale functional language projects |
| 11/18/2007 | Selling... | Examples of large-scale functional language projects |
| 11/19/2007 | Ragnarok Already? | Examples of large-scale functional language projects |
| 11/19/2007 | values as functions is not functions as values | Examples of large-scale functional language projects |
| 11/19/2007 | normalized relations | Examples of large-scale functional language projects |
| 11/20/2007 | the exchange | Examples of large-scale functional language projects |
| 11/20/2007 | operating systems | Examples of large-scale functional language projects |
| 11/19/2007 | choose your poison | Examples of large-scale functional language projects |
| 10/10/2007 | Old News... | Computing is a Natural Science |
| 10/11/2007 | Computing is a Natural Science | Computing is a Natural Science |
| 10/10/2007 | Is mathematics a natural science? | Computing is a Natural Science |
| 10/11/2007 | But mathematics? | Computing is a Natural Science |
| 09/30/2007 | local guide | Leave of absence |
| 10/01/2007 | more snax | Leave of absence |
| 10/02/2007 | other good things to eat | Leave of absence |
| 09/19/2007 | The obvious scalability | Uniqueness Types Instead STM |
| 09/19/2007 | I absolutely agree. I only | Uniqueness Types Instead STM |
| 09/18/2007 | questions/notes | Online video course on monads |
| 09/19/2007 | one object blues | Online video course on monads |
| 09/19/2007 | As an aside, I would advise | Online video course on monads |
| 09/19/2007 | new stuff | Online video course on monads |
| 10/09/2007 | I like your example, too. | Question about the Monad associativity law |
| 08/09/2007 | I agree. The author's | Ralph Johnson: Erlang, the next Java |
| 08/09/2007 | Type Classes... | Ralph Johnson: Erlang, the next Java |
| 08/09/2007 | Ralph Johnson: Erlang, the next Java | Ralph Johnson: Erlang, the next Java |
| 08/04/2007 | Really New? | Amazon Flexible Payments Service |
| 08/21/2007 | STDERR & STDOUT | Monad Description For Imperative Programmer |
| 07/29/2007 | Notions of intelligence | Testing first year programming students |
| 08/02/2007 | We can only hope the UK will | Testing first year programming students |
| 08/05/2007 | Turning Myself In | LtU turns 7: The year of spam |
| 07/30/2007 | MSH & MSR | Wrapping the Cloud with .NET |
| 07/21/2007 | Little does he know that | Language Nirvana - Simon Peyton-Jones |
| 07/13/2007 | ErlCaml | ErlCaml |
| 07/13/2007 | Why? | ErlCaml |
| 07/12/2007 | Would Really Like To See The Proof... | Type inference for free? |
| 06/27/2007 | Is the Pirahã language declarative? | Pirahã living-in-the-present language |
| 06/28/2007 | Pirahã living-in-the-present language | Pirahã living-in-the-present language |
| 06/28/2007 | Just ignore the Pirahã for | Pirahã living-in-the-present language |
| 06/29/2007 | It's really too bad that the | Pirahã living-in-the-present language |
| 06/30/2007 | ...the subject lines are on | Pirahã living-in-the-present language |
| 07/01/2007 | How does one start an out of | Pirahã living-in-the-present language |
| 07/01/2007 | The Saga Continues... | Pirahã living-in-the-present language |
| 06/03/2007 | Merging Functions, Modules, Classes, the whole nine yards... | Merging Functions, Modules, Classes, the whole nine yards... |
| 06/03/2007 | I have thought about this | Merging Functions, Modules, Classes, the whole nine yards... |
| 06/04/2007 | Finding the right level of | Merging Functions, Modules, Classes, the whole nine yards... |
| 06/04/2007 | Now I need some cool | Merging Functions, Modules, Classes, the whole nine yards... |
| 08/02/2007 | With a little more | Merging Functions, Modules, Classes, the whole nine yards... |
| 06/03/2007 | Is this language suited for | IM IN UR COMPUTER, HAXIN UR CODE |
| 06/03/2007 | Unfortunately, dolphins will | IM IN UR COMPUTER, HAXIN UR CODE |
| 10/09/2007 | IM IN UR COMPUTER, HAXIN UR CODE | IM IN UR COMPUTER, HAXIN UR CODE |
| 06/18/2007 | Why? | "Practical" advantages of lazy evaluation |
| 09/24/2007 | Approval Approved | "Recent Post" funkiness |
| 03/20/2009 | Unnecessary? | Patrick Logan on Software Transaction Memory |
| 01/23/2008 | Derivative Of List Type | Derivatives and dissections of data types |
| 01/25/2008 | Sign Me Up | Derivatives and dissections of data types |
| 01/27/2008 | Interesting... | Derivatives and dissections of data types |
| 02/12/2009 | New Technology? | LtU: blog not forum! |
| 03/13/2009 | Just flew in? | ACM Queue: A Conversation with Alan Kay |
| 03/13/2009 | Thank you for referencing Acute. | ACM Queue: A Conversation with Alan Kay |
| 08/19/2008 | A Grammar of Spoken Chinese, | the Chinese natual language |
| 01/11/2009 | Thanks! | Explaining monads |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |