| user: | dnautics |
| created: | Aug 23, 2010 |
| karma: | 18769 |
| 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 |