___           ___                        
          /\__\         /\  \         _____         
         /:/ _/_       |::\  \       /::\  \        
        /:/ /\  \      |:|:\  \     /:/\:\  \       
       /:/ /::\  \   __|:|\:\  \   /:/ /::\__\      
      /:/__\/\:\__\ /::::|_\:\__\ /:/_/:/\:|__|     
      \:\  \ /:/  / \:\~~\  \/__/ \:\/:/ /:/  /     
       \:\  /:/  /   \:\  \        \::/_/:/  /      
        \:\/:/  /     \:\  \        \:\/:/  /       
         \::/  /       \:\__\        \::/  /        
          \/__/         \/__/         \/__/         
                                                    

Posts (newest at the top)

2020

• Faking Useful Refinement Types in Racket

2019

• Das Q Vulnerabilities
• The Phoenix Router
• Phoenix is Not Magic
• Erlang Packet Parsing
• Dynamically Loading Mach-O Executables

2018

• CSRF Protection in Plug and Phoenix
• Unexpected Code Execution