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.
-
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 (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 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 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 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.
-
On arXiv, October 2021. Awarded First Place in POPL '19 SRC.
-
Ariel Weiss, Daniel Patterson, Amal Ahmed.
In ML Family Workshop (ML '18), St. Louis, Missouri, USA, September 2018.
-
Ariel Weiss, Arjun Guha, Yuriy Brun.
In Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE '17), Urbana, Illinois, USA, October 2017.
-
Rian Shambaugh, Ariel Weiss, Arjun Guha.
In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '16), Santa Barbara, California, USA, June 2016. Distinguished Artifact Award.