Ariel Weiss
A photo of Ariel!

Hi, I'm Ariel (she/her) from the Luau team! I work as a Software Engineer and Tech Lead at Roblox where my efforts are primarily focused on the design of and developer experience with Luau's type system & ecosystem. Its gradual type system is really quite fun, featuring powerful features like semantic subtyping, typestate, and partial type operators.

Outside of work, I'm a FromSoft fanatic, a frequent Magic the Gathering player, a chronic Savage raider in the critically-acclaimed MMORPG Final Fantasy XIV, and a lover of Dungeons & Dragons, Lancer & other ttrpgs. In music, I'm a jazz and hyperpop appreciator, especially Samara Joy & Chet Baker, and jamie paige & brakence & underscores.

In other media, I adore classic cinema! some of my favorite films include Mulholland Dr. (2001) & Nora Inu (1949) & Taxi Driver (1976) & À bout de souffle (1960) & In the Mood for Love (2000). In television, I love to watch crime dramas, especially The Sopranos & Breaking Bad, and sci-fi anime like Ghost in the Shell & Witch from Mercury & Neon Genesis Evangelion.

In my past life, I was an academic. I was a PhD student & NSF Fellow at Northeastern working on a formal semantics for Rust with Amal Ahmed. As an undergraduate, I worked with Arjun Guha on static verification and program repair for Puppet manifests.

Projects
  • Lute
    cpp

    Lute is a standalone Luau runtime for general-purpose programming, aiming to enable developers to use Luau for writing developer tooling and application code.

  • Luau
    cpp

    Luau (lowercase u, /ˈlu.aʊ/) is a fast, small, safe, gradually typed embeddable scripting language derived from Lua. it is used as the official language for development on roblox.

  • Theraphosa
    ocaml

    Theraphosa is a fully client-side, web-based environment for a small Python-inspired functional programming language featuring a simple web IDE with a compiler to wasm.

  • diet coke
    scala

    diet coke is a simple functional language inspired by koka with a type-and-effect system featuring row-polymorphic effects and hindley-milner type inference.

  • the irc crate
    Rust

    the irc crate is an asynchonous & usability-focused client library for the irc protocol. it aims to be compliant with rfc2812, ircv3, and popular ircds in use today.

Publications