Search
 
   

9 results for "domain:michaelburge.us"

  1. 6
    DSLs for Ethereum Contracts c compilers cryptocurrencies formalmethods lisp michaelburge.us
    MichaelBurge avatar authored by MichaelBurge 3 months ago | cached | 4 comments
  2. 19
    Continuations in Racket lisp michaelburge.us
    MichaelBurge avatar authored by MichaelBurge 5 months ago | cached | 3 comments
  3. 24
    Roko's Ransomware cryptocurrencies lisp michaelburge.us
    MichaelBurge avatar authored by MichaelBurge 6 months ago | cached | 13 comments
  4. 55
    Write your next Ethereum Contract in Pyramid Scheme compilers cryptocurrencies lisp michaelburge.us
    MichaelBurge avatar authored by MichaelBurge 8 months ago | cached | 7 comments
  5. 14
    Haskell Typeclasses vs. C++ Classes assembly c++ haskell michaelburge.us
    MichaelBurge avatar authored by MichaelBurge 10 months ago | cached | 1 comment
  6. 15
    Debugging C with Haskell's Divisible c haskell michaelburge.us
    MichaelBurge avatar authored by MichaelBurge 11 months ago | cached | no comments
  7. 18
    Injecting a Chess Engine into Amazon Redshift assembly c databases michaelburge.us
    MichaelBurge avatar authored by MichaelBurge 11 months ago | cached | 3 comments
  8. 9
    Writing a Formally-Verified, Image Browser in Coq formalmethods programming michaelburge.us
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 3 comments
  9. 5
    Rolling your Own Blockchain in Haskell by Michael Burge crypto haskell michaelburge.us
    romanzolotarev avatar via romanzolotarev 1 year ago | cached | no comments