Gabriel Nakamoto

enjoyer of caffeination and computation
self-proclaimed social ascetic
destined for the woods
Was that life? Well then! once more!

• Deep learning
• HPC compilers and hardware
• Robotics
• Formal verification
• Superoptimization
• The gestalt nature of complexity, compression and intelligence