{"id":34470,"login":"emberian","has_sponsors_listing":true,"data":{"kind":"user","name":null,"uuid":"704250","email":"ember@lunar.town","login":"emberian","company":null,"twitter":null,"website":"https://lunar.town","html_url":"https://github.com/emberian","icon_url":"https://avatars.githubusercontent.com/u/704250?v=4","location":"USA","metadata":{"funding":null,"has_sponsors_listing":true},"followers":364,"following":19,"owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/emberian","created_at":"2022-11-03T11:31:25.079Z","updated_at":"2026-09-01T00:34:25.774Z","description":"a rustacean! a resident of lunar.town","total_stars":748,"funding_links":["https://github.com/sponsors/emberian"],"last_synced_at":"2026-09-01T00:34:25.608Z","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/emberian/repositories","repositories_count":421},"created_at":"2024-11-25T19:34:04.880Z","updated_at":"2026-09-06T09:34:53.888Z","last_synced_at":"2026-09-06T09:34:53.888Z","sponsors_count":0,"sponsorships_count":9,"active_sponsorships_count":0,"active_sponsors_count":0,"sponsor_profile":{"bio":"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-\u003eisize/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?).\nBlah blah blah: mathematical foundations of Agentic Coordination and scalable software verification.\nMy research is substantially AI-limited and reasonably token-efficient. I use a mixture of models with coordination powered by cv (clustervision).\nYour 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 :)\nDragon'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.\nas a hobby I'm interested in gamedev. I've made a somewhat novel \u0026 engaging board game https://github.com/emberian/automatafl that I am still proud of :)","past_sponsors":0,"featured_works":[],"current_sponsors":0},"minimum_sponsorship_amount":1,"url":"https://sponsors.ecosyste.ms/accounts/emberian","api_url":"https://sponsors.ecosyste.ms/api/v1/accounts/emberian","html_url":"https://github.com/emberian","sponsors_url":"https://github.com/sponsors/emberian","sponsors_api_url":"https://sponsors.ecosyste.ms/api/v1/accounts/emberian/sponsors","sponsorships_api_url":"https://sponsors.ecosyste.ms/api/v1/accounts/emberian/sponsorships"}