Loading User Information from Channel 9

Something went wrong getting user information from Channel 9

Latest Achievement:

Loading User Information from MSDN

Something went wrong getting user information from MSDN

Visual Studio Achievements

Latest Achievement:

Loading Visual Studio Achievements

Something went wrong getting the Visual Studio Achievements


Eric Aguiar Heavens​Revenge Know Thyself
  • Chris Hawblitzel and Juan Chen: Introduction to Typed Assembly Language (TAL)

    Typed ASM should stay a research exercise.... Charles you usually over-hype this typed ASM for maybe for how cool it sounds. I don't think TAL is really a useful or productive mechanism in most ways/shapes/forms for the sum of these parts don't make a greater whole.  And I usually love cutting-edge research projects which try something new, but verification should stay up in a higher level.

    It would make more sense of have Intel and AMD make type-system's with API's and CPU flags which can allow the CPU itself to "type-check" the machine code jammed down it's pipeline. But for ASM source code to have that sort of overhead in the general case is complete overkill...  I think It's easier to have comments left in the ASM source and just as good to have signed and checksummed binaries which are verified by vendors and enthusiasts like me. Malicious coders will fake type safety just as easily if required since security can always be broken, I'd argue that it's even more fragile down there since there's less layers and encapsulation to prevent incorrect code from trying to run when it does happen.

    The ONLY way that a typed ASM may be used I can think of is to reverse engineer binaries into whatever source code language you want as long as it is strongly typed.  Instead of just reverse engineering the binary into the original source code language for it to have actual meaning.

    Verve would undoubtedly benefit from this sort of work and for projects similar to Verve, but its application is way too small for this type of research to benefit anything but a statically verifiable kernel and theorem provers.

    Continue the good work but I hope Hawblitzel moves on to even more interesting and beneficial research areas instead of focusing on this particular domain too long unless this exact domain is his passion, in this case hell, take my words as a grain of salt, I'll never suggest a true researcher to research anything but what he/she loves. Smiley

  • C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 3 of 3

    Personally I consider that the classical algorithm evolved into a higher order algorithm called a design pattern, which utilizes multiple algorithms together which itself doesn't have a bounded time but makes use of algorithms which do execute in bounded time.

    It was sort of funny how Bart & Wes were trying to specialize the general semantics to fit modern practice and machine architecture so they could connect it with classical computer science. But this is basically just explaining how computer science evolved and the algorithm can be formally defined, even though we just have basic common knowledge of this if we program, but as this lecture shows, the math and science and formal explanation shows how computing can indeed be complex and its great that we can abstract away the need for knowing all this to create a massive learning curve.

    @ivan_ I've understood the meaning of "crash" to be interchangeable with "fail". So things fail and don't work which implies a crash to happen and being invalid. But that is just my understanding and not his formal explanation on the subject.

  • Lucian Wischik: Async Compiler - Bug Fixes, Updates and Core Improvements

    Async integrated into PLINQ sounds like it would be pretty fun to implement and overly powerful in use Smiley

    Lucien also does pretty well at being able to speak to "us" through you+camera with you as a catalyst with questions.

    Anders/Mads arent so fun to talk to recently since they are only about high level features, or a sneek peak into what is in the works which is ok but not my cup of tea, unless they gave funny corner-case code samples on the whiteboard. So personally I love the nitty-gritty details of this sort from who implemented and designed the compiler code rewriting/restructuring techniques just before code generation.

  • Checking In: Eric Lippert - On Compiler Evolution, Designing C# and Blogging

    @Herbous lol you are one demanding mofo arent you? Some things in this world hold enough entropy their chaos and preset path overwhelms their logical order and its our job as humans with brains to decipher ambiguity.

    @Charles & @RobertL that "Don't talk about Microsoft, talk about the work we do, because we do great work." was really well said, and is almost valuable to mention before all recordings to the people on camera just to "inspire" and keep the talk technically focused if its mentioned or used as a friendly reminder before interviews just to see how it is reacted upon.

  • Checking In: Eric Lippert - On Compiler Evolution, Designing C# and Blogging

    I as well started with BASIC but I hated it so badly I quit programming for ~4 years untiul I learnt C++ as my 1st loved language. Tongue Out

    Lately I've been having a sudden urge to use natural language processing used in auto-correction to fix errors as you type and apply it to source code so that its can auto-fix bugs and errors using behavioral constraints. Oh yes, self-correcting code Smiley But I agree that having it "correct" it for you as you type would be horrible, so to clarify I mean a "natural language processing contextual post-processor engine/plugin" which can go over the pre-processed code and have it see what you meant to code based on what you're doing inclusive of scope. Never mind code contracts, or limiting the rules of execution, this is using our processing power to save programmer time and save bug bucks preventing major code errors only this sort of analysis could detect.

    Consider this version#1 as a post-processor that logs all the illogical errors and lets you know what it thinks is a bug instead of auto-correcting it in the early life of this tool. That is until it becomes so smart it COULD auto-correct a few versions down the road Tongue Out
    This is indeed theory and just an idea, but if implemented I think it would be a major evolution in our field of software engineering.

    What do people think?

  • C9 Lectures: Stephan T Lavavej - Advanced STL, 3 of n

    STL: To zoom into those dialogs you can press the Windows Key + "+" to zoom in on the screen using software zooming, it's a Win7 feature not many people use Tongue Out but could be useful if u remember it and even a few of the Windows key + # shortcuts in the future like opening that console after breakpoints as long as its <10 icons in the taskbar.

    OMG... /d1reportSingleClassLayout* is just awesome Big Smile I feel like a newb again looking at some of my whacky class datastructure diagrams from older code Big Smile That is officially awesome++.
    I also think that undname is pretty usefull too, sometimes mangled names arent so easy to decipher on 1st glance to me, especially looking at video convertters and filesystem structs where their... enormous. You should probly update it though for not needing the "> >" template space like at the end like what it used to require.

    Liked this video more than the others because "undocumented feature examples" are valuable when their this usefull, since I tend to always optimize beyond Debug level help and have always needed to just picture it in my brain which isnt so hard but using this just makes it easy enough a 4th grader could grok Tongue Out

  • Talkin' C++ with Boris Jabes: C++ Intellisense, Game Development, and Boris Faces His Demons

    @androidi: I always wanted a game based on word map date pulled from Google Maps, but depending if Bing Maps would suffice isn't up to me, but then the game would literally be... the size of Earth Tongue Out and able to travel to the moon and Mars and whatever we have mapped Tongue Out Have in-game profiles be based on actual location and what you do and where you go most often, so you never have to list you like a resteraunt, it shows your total visits etc Tongue Out Possibilities are endless wether its a fictional game based on real map data or a "real" game with physics and all. Imagine a Physics engine bolted inside Google Maps Big Smile mmmm  yummy, so many research areas available.... Tongue Out

  • Talkin' C++ with Boris Jabes: C++ Intellisense, Game Development, and Boris Faces His Demons

    Hello,  We need a.... "Library Library" which could be executed inside a little VM holding one library/header inside which could be used to time defined functions or call sites.  Could even have all the functions described with comment extraction you could search with Bing.  
    Having dev-defined input to those functions for giving baseline and scalar time tables to show how functions benchmark being called with specific values.  Should allow the library library to not only classify its contents, but filter the libraries by its functinos and their behaviour, speed, and characteristics by running and timing the calls insinde the secure/reduced functionality library library VM being hosted on an limited VM like Azure or whatnot.

    So yes, interesting idea Charles Tongue Out Id love a resource like that.

    Edit: The only place which I have in my bookmarks was http://www.gotapi.com awesome in way ways, it even has the Dinkumware C++ libraries refrenced there too Tongue Out Isn't easily findable by search engines either as its classified specifically for documentation. So enjoy this URL while it lasts Smiley

  • Parallel Programming for C++ Developers: Tasks and Continuations, Part 2 of 2

    @Charles: He was the man, I'd buy him a beer, or a cola if he doesnt drink nomatter which team he's supercharging. AKA hes one of my fav guys to get on C9 along with Erik. 

  • Parallel Programming for C++ Developers: Tasks and Continuations, Part 2 of 2

    Greeting, Im glad to hear that you had some new parallel sorting algoritms but its still not my favourite sort of all time Tongue Out If you really want to sort 2 million pixels, I'd highly suggest "ShearSort". It maintains data locality fairly well and would be insanely perfect for GPU sorting too since core communication happens predictivaly and at once for all little buckets, Way better than hugely recursive functions like a Quicksort even though IntroSort is fairly good for anything less than 10,000 element to sort. As soon at the amount needing to get sorted increases its till breaks down... call stacks grow too damn large with even those highly recursive things unless you have tail recursion in the PPL implementation being used.



    Thats a great example in The highly buggy Java which shows a ShrearSort advantage with only 10000 elements Tongue Out The more elements... the faster in comparison ShearSort is. It's plenty fun to mess with the parameters since you can use many algorithms listed below the sort to see how each work by tweaking the URL.

    I keep my own ShearSort around for fun because it's my personal favourite, but its sort of tricky too implement. My wish is to have a highly available ShearSort which ANYTONE can benefit from given the header file from ConcrtExtras.

    Also he did a good job, he seems slightly nervous but we're all developers here, more camera time should help him out on the whiteboard since hes quite a good member of the team.

    Thanks Charles for asking and trying to pry open their design decisions for things Tongue Out but honestly... I miss Rick Malloy... he was my Parallel C++ hero on C9.