Hi! I'm Luke
Software Engineer and Computer Science student at the University of Pennsylvania. Team Lead at Penn Labs and Social Chair at Penn Spark.
What I'm working on
PokerZero
A reasoning model built off TinyZero specialized for no-limit texas hold'em, leveraging PPO reinforcement learning and Monte Carlo Tree Search. Built using veRL and PyTorch.
Oat Compiler
Fully functional compiler to x86 assembly for Oat, a simple typed, object-oriented programming language. Written in OCaml and featuring a custom LLVM-based IR, control flow analysis and optimizations.
1 Million Checkboxes
Clone of 1 million checkboxes, synced for all users in real time. Leverages Redis, Golang, EC2 and uses web concurrency techniques to scale indefinitely.
Skills
Languages:
Java
Python
C
C++
SQL
JavaScript/TypeScript
Rust
Go
HTML/CSS
Ruby
OCaml
x86
Frameworks:
React
Node.js
Django
Next.js
Rails
Tools:
Git
Docker
AWS CDK
Linux
Terraform
Kubernetes
Rocq
Libraries:
PyTorch
Pillow
numpy
Matplotlib
Apache Spark
LLVM