Skip to content
View 0xkarmacoma's full-sized avatar
316 followers · 28 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: Starstruckx2Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: Starstruckx2Achievement: QuickdrawAchievement: YOLO

Organizations

@ethernautdao

Block or report 0xkarmacoma

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
0xkarmacoma/README.md

🦄 a wild karmacoma appears!

  • I am currently a Research Engineer at a16z, with 15+ years of development experience
  • I am a lead developer of a16z/halmos and a16z/jsi, focusing on open source developer tooling and lightweight formal methods
  • My tech stack at the moment is primarily Python, Solidity, EVM bytecode and SMT solvers

In previous lives:

  • I worked on cloud infra and deployments at Netflix with a focus on resilience and observability for 7y (Java and other JVM languages)
  • I worked on mid-level compiler passes at Apple for 3y (C++ and LLVM)
  • I worked for a year at UC Berkeley as a postdoc (JVM bytecode disassembly and rewriting tools)
  • I did a PhD in CS at INRIA (binary analysis, dynamic binary translation)

📫 contact me

karma@coma.lol

Pinned Loading

  1. smol-evm smol-evm Public archive

    Python 213 28

  2. EVM quine EVM quine
    1 
    # quine.etk
    2 
    # ⬜ => ⬜
    3 
    # A quine is a computer program which takes no input and produces a copy of its own source code as its only output.
    4 
    
              
    
              
    
                5
                
    # 0x80...f3 is the compiled code excluding the push16 instruction (from dup1 to return)
    
              
    
          
    
    
    
  
    

    3. 

      
  3. 
  
    
    
    
      
    
        
    
            
          a16z/halmos  a16z/halmos          Public
        
    
      
    


      
    
        A symbolic testing tool for EVM smart contracts
      
    

      
    
          
  
  Python


          
            
    

            928
          
          
            
    

            89
          
      
    
    
    
  
    

    4. 

      
  4. 
  
    
    
    
      
    
        
    
            
          a16z/jsi  a16z/jsi          Public
        
    
      
    


      
    
        just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
      
    

      
    
          
  
  Python


          
            
    

            25
          
          
            
    

            1
          
      
    
    
    
  
    

    5. 

      
  5. 
  
    
    
    
      
    
        
    
            
          moon.sol  moon.sol          Public
        
    
      
    


      
    
        
      
    

      
    
          
  
  Solidity


          
            
    

            2
          
      
    
    
    
  
    

    6. 

      
  6. 
  
    
    
    
      
    
        
    
            
          showtime-xyz/SS2ERC721  showtime-xyz/SS2ERC721          Public
        
    
      
    


      
    
        Hyper-optimized batch mints to a large number of distinct recipients in a single transaction. Join Showtime:
      
    

      
    
          
  
  Solidity


          
            
    

            98
          
          
            
    

            13
          
      
    
    
    
  
    

    7.