I'm a Computer Scientist. I dabble in Security, AI, and Programming Languages, and have become obsessed with Automated Program verification. I'm also a vigilante entrepreneur. Whenever I'm "touching grass", you'll find me hiking and bouldering in California's National Parks. I also make games 🙂.
Low latency, capability based prompt dispatching between models.
A hackable thermostat designed for home assistant.
Advanced Moderator Bot for large communities
To access this site you must agree to the Terms and Conditions.
By clicking "Accept" you agree to these terms. Rejecting will prevent you from viewing site contents.