User: dnautics

• Created: 5913 days ago
• Karma: 18767
• 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

submissions | comments