Lambda the Ultimate Weblog Topics
Last Updated 02/04/2011

Posts By: Jason Dusek

  Date    Post    Topic  
08/21/2009Sources?Theoretical Foundations for Practical Totally Functional Programming, by Colin Kemp
05/13/2009Obscure 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/2009Typos are such a bother inObscure question about a remark in "A Tutorial on (Co)Algebras and (Co)Induction".
04/21/2009The 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/2009backseat drivingTwitter and Scala
11/29/2009The counit of a monad...Lawvere Theories and Monads
02/08/2009On the (Im)possibility of Obfuscating ProgramsOn the (Im)possibility of Obfuscating Programs
02/09/2009Request Signing ProgramsOn the (Im)possibility of Obfuscating Programs
02/09/2009I am interested in client verification. Really.On the (Im)possibility of Obfuscating Programs
02/09/2009Please Explain A Little MoreOn the (Im)possibility of Obfuscating Programs
02/09/2009On the (Im)possibility of Obfuscating ProgramsOn the (Im)possibility of Obfuscating Programs
02/10/2009server holdsOn the (Im)possibility of Obfuscating Programs
02/10/2009I never use the value of the round trip time.On the (Im)possibility of Obfuscating Programs
02/10/2009No room at the Inn :)On the (Im)possibility of Obfuscating Programs
02/10/2009The client would delay for variance and variance is small.On the (Im)possibility of Obfuscating Programs
02/11/2009Here Is A Google GroupOn the (Im)possibility of Obfuscating Programs
02/11/2009The timestamp in the packet tells us how long to wait.On the (Im)possibility of Obfuscating Programs
02/10/2009The only correction is loss of connection :)On the (Im)possibility of Obfuscating Programs
02/10/2009Dongle As A ServiceOn the (Im)possibility of Obfuscating Programs
02/09/2009Game Over?On the (Im)possibility of Obfuscating Programs
02/09/2009Not sure I can take you on faith like that...On the (Im)possibility of Obfuscating Programs
02/10/2009On the (Im)possibility of Obfuscating ProgramsOn the (Im)possibility of Obfuscating Programs
02/12/2009Looking for papers describing advanced language topics in terms of C programmingLooking for papers describing advanced language topics in terms of C programming
12/26/2008The Lambda Cube & Some Programming LanguagesThe Lambda Cube & Some Programming Languages
12/27/2008Sub-typing "is evil"The Lambda Cube & Some Programming Languages
12/28/2008ReferenceThe Lambda Cube & Some Programming Languages
02/11/2009Contracts & Distributed SystemsMicrosoft PDC "Language" Talks
02/11/2009TangentialMicrosoft PDC "Language" Talks
02/12/2009I have served the devil too well...Microsoft PDC "Language" Talks
02/12/2009Such A System Is Not Available For My ToasterMicrosoft PDC "Language" Talks
09/27/2008Such Nice SyntaxReia: Python/Ruby style language on top of Erlang
08/19/2008OPIS -- Distributed Arrows In O'CamlOPIS -- Distributed Arrows In O'Caml
08/19/2008I am so surprised this cameOPIS -- Distributed Arrows In O'Caml
08/19/2008What kind of language is sed?Text Processing by Functional Language?
07/30/2008Two Computers & An Ethernet Cable -- Also A Computer?Two Computers & An Ethernet Cable -- Also A Computer?
07/30/2008Two Computers & An Ethernet Cable -- Also A Computer?Two Computers & An Ethernet Cable -- Also A Computer?
07/30/2008RAM Failure Is Out ThereTwo Computers & An Ethernet Cable -- Also A Computer?
07/31/2008Why is three so special?Two Computers & An Ethernet Cable -- Also A Computer?
07/30/2008Thank you for theTwo Computers & An Ethernet Cable -- Also A Computer?
07/30/2008Usually FailTwo Computers & An Ethernet Cable -- Also A Computer?
07/31/2008Lamport Wrote About This Stuff...Two Computers & An Ethernet Cable -- Also A Computer?
08/06/2008Can you explain why I mustTwo Computers & An Ethernet Cable -- Also A Computer?
07/23/2008OskerSystems programming in languages other than C?
04/02/2008This comic is offensive toApril 1st special: The War of the Worlds
03/31/2008Do Morethe power of GNU Awk
03/31/2008Trees & Logic Languages -- n00b Questionfuture history of logic programming
03/28/2008coercion...The Disciplined Disciple Compiler
03/09/2008C is actually safer...When Is A Functional Program Not A Functional Program?
02/07/2008syck?Project LambdaCan
02/08/2008reduplication of DatalogJura, a OOMP language and potential DBMS
02/03/2008Lions, Tigers and Bears -- Oh My!Arc is released
02/03/2008shift handlingArc is released
01/19/2008numerical methodsUnderstanding category theory and its practical applications
01/19/2008problem 0Understanding category theory and its practical applications
01/09/2008Haskell Will Rock The Blogosphere...Prediction for 2008
01/11/2008Just KiddingPrediction for 2008
01/19/2008Oh No...Prediction for 2008
01/19/2008iLISPPrediction for 2008
01/09/2008Typing Was Proceeded By PrintingThe Land of the Terminal
12/08/2007functions, statements, expressionsfunctions, statements, expressions
12/08/2007No definition offered...functions, statements, expressions
12/08/2007round and roundfunctions, statements, expressions
12/09/2007no mere constructionfunctions, statements, expressions
12/09/2007Wikipediansfunctions, statements, expressions
12/09/2007appeasementfunctions, statements, expressions
12/09/2007hidden treasurefunctions, statements, expressions
12/09/2007Classes Are Setsfunctions, statements, expressions
12/08/2007Cfunctions, statements, expressions
12/09/2007Oops.functions, statements, expressions
12/08/2007serializing typesfunctions, statements, expressions
12/08/2007the other worldfunctions, statements, expressions
12/07/2007Haskell, Turned Up To ElevenHaskell, Turned Up To Eleven
12/11/2007Make -03 Louder...Haskell, Turned Up To Eleven
11/20/2007PCE != C-T ThesisWhat are the properties of "Functional Programming Languages"?
11/21/2007value judgementsWhat are the properties of "Functional Programming Languages"?
11/21/2007list comprehensions?What are the properties of "Functional Programming Languages"?
11/21/2007en4cementWhat are the properties of "Functional Programming Languages"?
11/21/2007Selective EnforcementWhat are the properties of "Functional Programming Languages"?
11/22/2007process scopingWhat are the properties of "Functional Programming Languages"?
11/23/2007only optimizationsWhat are the properties of "Functional Programming Languages"?
11/21/2007(3) and typingWhat are the properties of "Functional Programming Languages"?
11/16/2007What is the quick way to getDavid Pollak on lift
11/07/2007Parameterized Modules & Type ClassesDependent Classes
11/07/2007KeywordsDependent Classes
11/08/2007slow structsDependent Classes
11/08/2007Food For ThoughtDependent Classes
10/31/2007kitchensSearching for a quote
10/25/2007Trust In GodOn the Importance of Purity
10/20/2007Sharding -- A PL Issue?The End of an Architectural Era (It's Time for a Complete Rewrite)
10/20/2007Why Rewrite?The End of an Architectural Era (It's Time for a Complete Rewrite)
10/16/2007wowMorphic in your Browser
11/18/2007Selling...Examples of large-scale functional language projects
10/23/2007OSpamlExamples of large-scale functional language projects
11/18/2007Selling...Examples of large-scale functional language projects
11/19/2007Ragnarok Already?Examples of large-scale functional language projects
11/19/2007values as functions is not functions as valuesExamples of large-scale functional language projects
11/19/2007normalized relationsExamples of large-scale functional language projects
11/20/2007the exchangeExamples of large-scale functional language projects
11/20/2007operating systemsExamples of large-scale functional language projects
11/19/2007choose your poisonExamples of large-scale functional language projects
10/10/2007Old News...Computing is a Natural Science
10/11/2007Computing is a Natural ScienceComputing is a Natural Science
10/10/2007Is mathematics a natural science?Computing is a Natural Science
10/11/2007But mathematics?Computing is a Natural Science
09/30/2007local guideLeave of absence
10/01/2007more snaxLeave of absence
10/02/2007other good things to eatLeave of absence
09/19/2007The obvious scalabilityUniqueness Types Instead STM
09/19/2007I absolutely agree. I onlyUniqueness Types Instead STM
09/18/2007questions/notesOnline video course on monads
09/19/2007one object bluesOnline video course on monads
09/19/2007As an aside, I would adviseOnline video course on monads
09/19/2007new stuffOnline video course on monads
10/09/2007I like your example, too.Question about the Monad associativity law
08/09/2007I agree. The author'sRalph Johnson: Erlang, the next Java
08/09/2007Type Classes...Ralph Johnson: Erlang, the next Java
08/09/2007Ralph Johnson: Erlang, the next JavaRalph Johnson: Erlang, the next Java
08/04/2007Really New?Amazon Flexible Payments Service
08/21/2007STDERR & STDOUTMonad Description For Imperative Programmer
07/29/2007Notions of intelligenceTesting first year programming students
08/02/2007We can only hope the UK willTesting first year programming students
08/05/2007Turning Myself InLtU turns 7: The year of spam
07/30/2007MSH & MSRWrapping the Cloud with .NET
07/21/2007Little does he know thatLanguage Nirvana - Simon Peyton-Jones
07/13/2007ErlCamlErlCaml
07/13/2007Why?ErlCaml
07/12/2007Would Really Like To See The Proof...Type inference for free?
06/27/2007Is the Pirahã language declarative?Pirahã living-in-the-present language
06/28/2007Pirahã living-in-the-present languagePirahã living-in-the-present language
06/28/2007Just ignore the Pirahã forPirahã living-in-the-present language
06/29/2007It's really too bad that thePirahã living-in-the-present language
06/30/2007...the subject lines are onPirahã living-in-the-present language
07/01/2007How does one start an out ofPirahã living-in-the-present language
07/01/2007The Saga Continues...Pirahã living-in-the-present language
06/03/2007Merging Functions, Modules, Classes, the whole nine yards...Merging Functions, Modules, Classes, the whole nine yards...
06/03/2007I have thought about thisMerging Functions, Modules, Classes, the whole nine yards...
06/04/2007Finding the right level ofMerging Functions, Modules, Classes, the whole nine yards...
06/04/2007Now I need some coolMerging Functions, Modules, Classes, the whole nine yards...
08/02/2007With a little moreMerging Functions, Modules, Classes, the whole nine yards...
06/03/2007Is this language suited forIM IN UR COMPUTER, HAXIN UR CODE
06/03/2007Unfortunately, dolphins willIM IN UR COMPUTER, HAXIN UR CODE
10/09/2007IM IN UR COMPUTER, HAXIN UR CODEIM IN UR COMPUTER, HAXIN UR CODE
06/18/2007Why?"Practical" advantages of lazy evaluation
09/24/2007Approval Approved"Recent Post" funkiness
03/20/2009Unnecessary?Patrick Logan on Software Transaction Memory
01/23/2008Derivative Of List TypeDerivatives and dissections of data types
01/25/2008Sign Me UpDerivatives and dissections of data types
01/27/2008Interesting...Derivatives and dissections of data types
02/12/2009New Technology?LtU: blog not forum!
03/13/2009Just flew in?ACM Queue: A Conversation with Alan Kay
03/13/2009Thank you for referencing Acute.ACM Queue: A Conversation with Alan Kay
08/19/2008A Grammar of Spoken Chinese,the Chinese natual language
01/11/2009Thanks!Explaining monads

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive


Chris Rathman/ Chris.Rathman@tx.rr.com