[Noisebridge-discuss] New Haskell tool for verified AMD64 assembly.

[Jason Dusek]

  Those of us with an interest in machine verification of
  embedded systems will enjoy this blog post:

    http://intoverflow.wordpress.com/2010/05/21/announcing-potential-x86-64-assembler-as-a-haskell-edsl/?nice

  This is a surprisingly rich approach to verification of
  machine state for low level programming. The use of Haskell or
  some other really powerful, statically-typed language as a
  macro system for assembly is very "Two great tastes that taste
  great together.". Why even bother with macro generation of C?
  When you're doing this sort of thing, it's the assembly you
  really care about.

--
Jason Dusek
Linux User #510144 | http://counter.li.org/