dnautics

About

I've been: A molecular biologist that discovered that an enzyme was secretly an NPN transistor, "hardware" verification engineer bugsquashing the neo rex architecture (http://www.rexcomputing.com/) prior to tapeout, the implementor of John Gustafson's Posit Numerical System (https://www.youtube.com/watch?v=aP0Y1uAA-2Y&t=4275s), cloud builder at lambda.ai, LLM request wrangler at positron.ai

Currently: CEO at vidalalabs.com

Currently Open-Source projects:

memory safety for zig. (https://github.com/ityonemo/clr/ and inline zig for elixir (https://github.com/ityonemo/zigler)

JavaScript DNA editing frontend: opengenepool.vidalalabs.com

A FOL proof assistant optimized for LLMs: https://github.com/ityonemo/2b4m

yt code channel: https://www.youtube.com/playlist?list=PLf5mA1y1vDNlydJ8d5CmSteyr6Zmp4rjS

isaac dot yonemoto at the only other useful "alphabet" service