Coffeehouse Thread

156 posts

What do you want to know?

Back to Forum: Coffeehouse
  • User profile image
    Charles

    blowdart said:
    Dan said:
    *snip*

    Yea ditto on the parser (and what happens with legal HTML which isn't legal XML). Because I might want to steal it for something else Smiley

    http://channel9.msdn.com/shows/Going+Deep/Andrew-Nurse-Inside-Razor/

    C

  • User profile image
    exoteric

    Did anyone mention Anders Hejlsberg? I have a feeling (slash hopeful thinking) we'll be seeing him at the next PDC, revealing more details and ideas for C# 5.0 though.

  • User profile image
    Charles

    exoteric said:

    Did anyone mention Anders Hejlsberg? I have a feeling (slash hopeful thinking) we'll be seeing him at the next PDC, revealing more details and ideas for C# 5.0 though.

    Cue Boston's More Than a Feeling....

    C

  • User profile image
    Bass

    More C9 Lectures.

     

    Some ideas:

    - Robotics

    - Machine Learning / AI

    - Computer Vision

    - Natural Language Processing

    - Operating System Design and Implementation

  • User profile image
    Charles

    Bass said:

    More C9 Lectures.

     

    Some ideas:

    - Robotics

    - Machine Learning / AI

    - Computer Vision

    - Natural Language Processing

    - Operating System Design and Implementation

    All great suggestions. Noted.

    C

  • User profile image
    exoteric

    Charles said:
    Bass said:
    *snip*

    All great suggestions. Noted.

    C

    Simon Peyton-Jones on the cutting edge and future of Haskell and C--. Secondarily, what he thinks about Phoenix.

     

    Looking at his 2010 papers he's been busy:

     

    New papers

    • [July 2010] Generative Type Abstraction and Type-level Computation (with Stephanie Weirich, Dimitrios Vytiniotis, and Steve Zdancewic).  This paper, submitted to POPL'11, describes how to combine Haskell's new abilities to do type-level computation with the old ability to do type abstraction using newtypes.  Rather surprisingly (to me) the two are in tension, and the solution is quite interesting.
    • [June 2010] Seq no more (by Simon Marlow, Patrick Maier, Phil Trinder, Hans-Wolfgang Loidl, and Mustafa Aswad).  A new take on the "algorithms + strategies = parallelism" story, providing a nice Haskell library to support parallel computation.  To appear at the 2010 Haskell Symposium.
    • [June 2010] Supercompilation by evaluation (with Max Bolingbroke).  This is our first foray into supercompilation.  To appear at the 2010 Haskell Symposium.
    • [June 2010] The performance of Haskell 'containers' package (by Milan Straka).  Milan did this work while an intern here at MSR Cambridge.  To appear at the 2010 Haskell Symposium.
    • [May 2010] Modular type inference with local assumptions (with Dimitrios Vytiniotis, Tom Schrijvers, Martin Suzmann).  This epic 70-page JFP submission brings together, in a single uniform framework, a series of our earlier papers on type inference for type systems involving local constraints, including GADTs and indexed type families.
    • [April 2010] Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation (with John Dias and Norman Ramsey). This paper,completely rewritten in April 2010, describes our framework for doing dataflow optimisation on imperative C-- programs. To appear at the 2010 Haskell Symposium.
    • [April 2010] Regular, shape-polymorphic, parallel arrays in Haskell (with Manuel Chakravarty, Gabriele Keller, Roman Leshchinskiy, and Ben Lippmeier) describes a high-performance data-parallel library for regular arrays. To appear at ICFP 2010.

  • User profile image
    Charles

    exoteric said:
    Charles said:
    *snip*

    Simon Peyton-Jones on the cutting edge and future of Haskell and C--. Secondarily, what he thinks about Phoenix.

     

    Looking at his 2010 papers he's been busy:

     

    New papers

    • [July 2010] Generative Type Abstraction and Type-level Computation (with Stephanie Weirich, Dimitrios Vytiniotis, and Steve Zdancewic).  This paper, submitted to POPL'11, describes how to combine Haskell's new abilities to do type-level computation with the old ability to do type abstraction using newtypes.  Rather surprisingly (to me) the two are in tension, and the solution is quite interesting.
    • [June 2010] Seq no more (by Simon Marlow, Patrick Maier, Phil Trinder, Hans-Wolfgang Loidl, and Mustafa Aswad).  A new take on the "algorithms + strategies = parallelism" story, providing a nice Haskell library to support parallel computation.  To appear at the 2010 Haskell Symposium.
    • [June 2010] Supercompilation by evaluation (with Max Bolingbroke).  This is our first foray into supercompilation.  To appear at the 2010 Haskell Symposium.
    • [June 2010] The performance of Haskell 'containers' package (by Milan Straka).  Milan did this work while an intern here at MSR Cambridge.  To appear at the 2010 Haskell Symposium.
    • [May 2010] Modular type inference with local assumptions (with Dimitrios Vytiniotis, Tom Schrijvers, Martin Suzmann).  This epic 70-page JFP submission brings together, in a single uniform framework, a series of our earlier papers on type inference for type systems involving local constraints, including GADTs and indexed type families.
    • [April 2010] Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation (with John Dias and Norman Ramsey). This paper,completely rewritten in April 2010, describes our framework for doing dataflow optimisation on imperative C-- programs. To appear at the 2010 Haskell Symposium.
    • [April 2010] Regular, shape-polymorphic, parallel arrays in Haskell (with Manuel Chakravarty, Gabriele Keller, Roman Leshchinskiy, and Ben Lippmeier) describes a high-performance data-parallel library for regular arrays. To appear at ICFP 2010.

    Would be great to talk to Simon again. That said, he works and lives in Cambridge, UK. So, we'll see if he's up for this when he next visits Redmond.


    C

  • User profile image
    felix9

    Charles said:
    exoteric said:
    *snip*

    Would be great to talk to Simon again. That said, he works and lives in Cambridge, UK. So, we'll see if he's up for this when he next visits Redmond.


    C

    any chances for people like Ted Neward (for the 'language renaissance' for example ) or Charles Petzold ( for the Annotated Turing book ) ?

     

    and the devscovery conference http://www.devscovery.com/ especially the new talk of Erik Meijier: "JavaScript is an Assembly Language" since you've discussed this with Gilad Bracha recently. Smiley

     

    http://www.devscovery.com/Sessions/Detail/Redmond%202010/2/2

  • User profile image
    Charles

    felix9 said:
    Charles said:
    *snip*

    any chances for people like Ted Neward (for the 'language renaissance' for example ) or Charles Petzold ( for the Annotated Turing book ) ?

     

    and the devscovery conference http://www.devscovery.com/ especially the new talk of Erik Meijier: "JavaScript is an Assembly Language" since you've discussed this with Gilad Bracha recently. Smiley

     

    http://www.devscovery.com/Sessions/Detail/Redmond%202010/2/2

    It's not a new talk, actually. MSIL to JS was one of the cornerstones of "Volta", which Erik and team developed 2-3 years ago... That said, the talk is a re-branding of RxJS talk Smiley Would be great to get Petzold on camera. Thanks for the link to Devcovery 2010 Redmond. I just may have to crash that party....


    C

  • User profile image
    felix9

    Charles said:
    felix9 said:
    *snip*

    It's not a new talk, actually. MSIL to JS was one of the cornerstones of "Volta", which Erik and team developed 2-3 years ago... That said, the talk is a re-branding of RxJS talk Smiley Would be great to get Petzold on camera. Thanks for the link to Devcovery 2010 Redmond. I just may have to crash that party....


    C

    Ahh... RxJS ... the summery doesnt even mention async or reactive ... Expressionless

     

    Jeffrey Richter will be great too but for what topic ? anything ? Wink

  • User profile image
    Charles

    felix9 said:
    Charles said:
    *snip*

    Ahh... RxJS ... the summery doesnt even mention async or reactive ... Expressionless

     

    Jeffrey Richter will be great too but for what topic ? anything ? Wink

    Richter's been a nine a few times. He's a generalist, as you infer, so it's easy to find good topics he can dig into.

    C

  • User profile image
    Charles

Comments closed

Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums, or Contact Us and let us know.