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, 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, 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), and In the Mood for Love (2000). In television, I love to watch crime dramas, especially The Sopranos, 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.

  • sanguinello
    Rust

    sanguinello is a software gardening project to gradually & sustainably build a small, safe, typed embeddable scripting language that can make application programming fun.

  • 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