emberian user

a rustacean! a resident of lunar.town

Funding Links: https://github.com/sponsors/emberian

USA · 363 followers · 739 stars · 417 repositories · joined November 2022

GitHub Sponsors Profile

hello! I'm a longtime independent open source software developer. I believe strongly in building and researching in public, and have been doing so continuously for over a decade. some of my early work in the Rust community set standards that are still running to this day (rustdoc, This Week in Rust, xcompile target spec, int/uint->isize/usize, gl-rs (and the bjz ecosystem in general!), etc). my work at O(1) Labs delivered the first zero-knowledge rollup. I worked on the seL4 verification at UNSW. the throughline of all of this is reasoning-forward, verification-first technologies. what is Houyhnhnm computing anyway?).
Blah blah blah: mathematical foundations of Agentic Coordination and scalable software verification.
My research is substantially AI-limited and reasonably token-efficient. I use a mixture of models with coordination powered by cv (clustervision).
Your money will be used push these (and future!) projects forward, and feeds into a virtuous cycle – financial-precarious-banishment makes for a more productive headspace :)
Dragon's Egg is the flagship project organizing my work right now. I'm also assisting with development https://builders.dev and https://wallace.so. I am the CTO of https://simbi.com, a non-profit mutual aid and community organization platform spearheading ongoing operation and development.
as a hobby I'm interested in gamedev. I've made a somewhat novel & engaging board game https://github.com/emberian/automatafl that I am still proud of :)

0 current sponsors · 0 past · 0 total · $1.00 minimum