Skip to content
You must be logged in to sponsor samuela

Become a sponsor to Samuel Ainsworth

@samuela

Samuel Ainsworth

samuela
NYC

My name is Sam and I have a vision for safer software.

Software is eating the world and it's time that we rid the world of buffer overflows in our cars, planes, and toasters. We have all the technologies and tools now to rid ourselves of the programming perils that plagued previous generations and live on so stubbornly in all of the technology that we use every day. I believe strongly in the potential of formal verification and safer programming language technologies like Rust. 🦀

You can check out other types of stuff I work on in my profile!

👨‍🎓 About me

I'm a PhD student working on machine learning at the Paul G. Allen School of Computer Science & Engineering at the University of Washington. I work with Sidd Srinivasa and all the lovely folks in the ML research group. I'm currently thinking about reinforcement learning and control but you can often find me daydreaming about problems in deep generative models, optimization, or even programming languages.

Before joining the University of Washington I spent four wonderful years at Brown, followed by a stint in Silicon Valley working on self-driving cars among other wild things.

1 sponsor has funded samuela’s work.

@amandabaughan

Featured work

  1. samuela/rustybox

    A free-range, non-GMO fork of busybox in 100% Rust 🦀

    Rust 811
  2. samuela/oi-vae

    Code for "oi-VAE: Output Interpretable VAEs for Nonlinear Group Factor Analysis"

    Python 26
  3. samuela/bidirectional-typing

    A bidirectional type checker

    Haskell 57
  4. samuela/remod

    chmod for human beings! 💫

    JavaScript 31
  5. samuela/pyDPMP

    The Diverse Particle Max-Product algorithm and friends

    Python 1
  6. samuela/e-stops

    Source code for "Mo′ States Mo′ Problems: Emergency Stop Mechanisms from Observation"

    Python 4

Learn more about sponsoring developers and organizations.

Report abuse

Select a tier

$ a month

You'll receive any rewards listed in the $49 monthly tier. Additionally, a Public Sponsor achievement will be added to your profile.

$1 a month

Select

🐣 Digital Samaritan - Thank you! Truly every single bit helps. I promise that all proceeds from this tier will be spent exclusively on strippers and booze.

$9 a month

Select

🧑‍🎓 Student discount - Sweet, thanks! Somewhere between Digital Samaritan and MENSH MODE. It's gonna be great.

$49 a month

Select

💥 MENSCH MODE - You rock! At this tier,

  • All personal transgressions between us shall be declared legally null and void.
  • I will write you a flattering poem and make a potato salad in your honor, mailed anywhere in the world.
  • You will be invited to partake in strategic decision making that steers the directions of projects, including the prioritization of feature requests and issues.

$11,999 a month

Select

💎💎💎 Commercial Support - At this tier you will be given access to my personal contact information with 24/7 authority to call, text, or email me. I will work closely with you and your team on all manner of software engineering projects. Sponsoring at this level both helps to support continued work on valued OSS projects, and retains me personally as your gun-for-hire software engineer and consultant. You can learn more about me and my background on my personal website and LinkedIn.

I will also custom design an ugly Christmas sweater for you and your team, shipped to you anywhere in the world.