Phoebe Goldman
Software Engineer at Clockwork Labs
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolPhoebe Goldman is a software engineer with a decade of experience specializing in programming language runtimes, compiler optimizations, and memory systems. Currently at Clockwork Labs, she designs core storage and API surface for a real-time WASM stored-procedure database and maintains a Rust client SDK that blends systems engineering with compiler-adjacent code generation. A longtime PL enthusiast and contributor to projects like the Coalton language—where she improved type checking, code generation, and persistent data structures—she brings practical experience across Common Lisp, Coalton, and Rust. Unusually for an engineer focused on low-level systems, she holds a background in Dramatic Literature and deliberately chose that path to sharpen her command of language and complex thought, which informs her clear design sensibilities.
10 years of coding experience
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at New York University
Stackoverflow
318reputation
2kreached
4answers
3questions
Github Skills (18)
algorithm10
algorithms10
type-safety10
data-structure10
common-lisp10
data-structures10
functional-programming10
red-black-tree9
iterator9
hashtable9
llvm-ir6
typescript-generics6
typescript6
multithreading6
sbcl6
Programming languages (8)
Github contributions (5)
coalton-lang/coalton
Nov 2021 - Jan 2023
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:75 reviews, 41 commits, 51 PRs in 1 year 2 months
Contributions summary:Phoebe primarily contributed to the Coalton language's core functionality, focusing on its type system and standard library. Their work includes implementing features for strings and integer operations, as well as improving type checking and code generation. The user also refactored and expanded the standard library, adding capabilities for hash tables, iterators, and persistent data structures like red-black trees. This involved modifying core components of the language, including the type checker and code generation modules.
type-safetyfunctional-programmingstatically-typedlambda-calculuscompiler
gefjon/hindley-milner
Mar 2020 - Oct 2020
Contributions:81 commits, 91 pushes, 2 branches in 7 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.