Justin Bailey

• LINQ - Composability Guaranteed

  Mar 19, 2012 at 10:33 AM

  Topics for the next episode - TeX! I'd bet money Brian and Erik are TeX freaks from way back ...

   

• Checking In: Larry Osterman - 26 Years of Programming at Microsoft and Counting

  Jan 05, 2012 at 3:20 PM

  Great interview! I went to my local library and checked out "Writing Efficient Programs" - can't wait to see how it still applies.

  I was SO glad EriK asked about the TeXBook. It was disappointing that Larry only worked with it for a summer though - TeX is a mind blow.

  I suspect Erik is a TeX freak - am I right? Maybe he'd do a deep dive on it

• Writing modern C++ code: how C++ has evolved over the years

  Sep 16, 2011 at 10:27 AM

  Memory safe??? I'm very intrigued. C++ burned me years ago. I would love to see that times have changed.

• Future directions for C# and Visual Basic

  Sep 16, 2011 at 10:14 AM

  I am so excited to see the Rosyln CTP. The demo Anders gives really impresses.

  Caller Info attributes: pretty neat. Immediately I want to know why "CallerType" is missing. "CallerMemberName" just begs for it?

  Another question: Will the attributes be available anywhere but optional parameters? Why not allow them on any assignment? Then I can write:

  var line = -1;
  Console.WriteLine("Printing at line {0}!", [CallerLine] line = 0);
  

  I know I can create wrapper method but it seems like ceremony.

  Don't get me wrong tho, I am thrilled to see these features. Maybe I'm just bikeshedding .

• Future directions for C# and Visual Basic

  Sep 16, 2011 at 8:36 AM

  @where:Seems to be available now

• Chris Hawblitzel and Juan Chen: Introduction to Typed Assembly Language (TAL)

  May 11, 2011 at 2:43 PM

  Great video! Juan Chen has done some really impressive work. In particular, she formalized a big chunk of the Sparc instruction set. Yes, typed machine language

  Greg Morrisett's papers are worth reading. I found "TALx86: A Realistic Typed Assembly Language" to be the most accessible (http://www.cs.cornell.edu/talc/papers.html).

  Atsushi Ohori wrote a paper that treats typed machine languages as proof systems. Very abstract but impressive too: "A Proof Theory for Machine Code" (http://www.pllab.riec.tohoku.ac.jp/~ohori/research/LogicalMachineRevOct2005.pdf).

  Unfortunately none of the research compilers or languages (including Cyclone) evolved into something 'real'. Maybe Microsoft will release "Verified C#" with Visual Studio 2011???

  Thanks for putting these two on, really cool to see!

  
  

• C9 Lectures: Greg Meredith - Monadic Design Patterns for the Web - Introduction to Monads

  Oct 08, 2010 at 8:51 AM

  This is good stuff. On future slides can you use green or yellow instead of red? It doesn't show up very well ...

  Thanks for posting this!

• C9 Lectures: Dr. Ralf Lämmel - Advanced Functional Programming - Evolution of an Interpreter

  Sep 01, 2010 at 12:25 PM

  Have you looked at that paper? The notation used makes it almost impenetrable. I appreciate the ideas but I couldn't make sense of it when I was learning Haskell ... Maybe after Erik's category theory lectures it will make sense to me.

• E2E: Whiteboard Jam Session with Brian Beckman and Greg Meredith - Monads and Coordinate Systems

  Jul 15, 2010 at 8:46 AM

  Greg mentions Conor McBride and his work on derivatives of data types. Conor has a page giving the papers and history here:

   

    http://strictlypositive.org/calculus/

   

• E2E: Whiteboard Jam Session with Brian Beckman and Greg Meredith - Monads and Coordinate Systems

  Jul 15, 2010 at 8:21 AM

  Great video - thanks for posting. I would really like to see more detailing the relationship between derivatives and the lambda-calculus. Greg even mentioned he has some code that illustrates the concept - could you post a link?

   

  Good stuff as always!

See more comments…