Gordon Lichtstein

Welcome! I’m an MIT sophomore studying Electrical Engineering & Computer Science (6-5) and Mathematics (18), minoring in Linguistics (24). I focus on programming languages and computer architecture, with interests in performance engineering, compilers, ML, and numerical methods. I like making Python eDSLs, and I’ve recently gotten slightly obsessed with Asahi Linux, microarchitecture reverse engineering, and Apple silicon.

Outside of school I enjoy language learning, amateur radio, music, nature, and reading.

Projects

Hardware / Systems

ParaDPLL - FPGA SAT Solver written in SystemVerilog for 6.205 final project.
M1 Undocumented Extension Enabler - Kernel module enabling undocumented Apple ARM64 ISA extensions on Linux, used to implementing Rosetta 2 fast userspace x86 emulation.
Memory Ordering Instructions - A writeup on explicit memory ordering instructions on Intel x86 64 and ARMv8-A+.
Finesse - Python FSM eDSL and toolkit including visualzation, optimization, and SystemVerilog codegen (used to make ParaDPLL visualizations).
TinyIR - Functional Python GPU IR, with JAX, Numpy, Torch.func, and other backends.
Apple optimized FEX-Emu (Coming Soon) - Implementing some Rosetta 2 optimizations into FEX-Emu, using reverse engineered Apple silicon x86 emulation hardware support.
Prefetch Research (Coming Soon) - Researching builtin prefetch behavior and fine-grained cache line control on various microarchitectures.

ML

SigmaGo - AlphaZero-style Go playing ML model integrating minimax + MCTS + policy value neural networks.
MuZero for Arimaa - Python Arimaa implementation for training MuZero-based model.
Esperanto Morphological Tokenization - Markov model-based semantic tokenization.
OCR Accuracy Metrics Without Ground Truth - Proxy metrics for OCR quality.
Embedding-based Search & Visualizations - Embedding search, dimensionality reduction, and interactive exploration.
AWS SageMaker & User Management Workshop - Hands-on notebooks introducing AWS SageMaker workflow and setup.
AWS Textract & Comprehend Workshop - Hands-on workshop tutorial on document data extraction for UCSF.

Math

Interval Arithmetic - Library to estimating function ranges, using custom Taylor series patchwork compilation, arbitrary degree autodiff, and efficient patch caching.
Random Polynomial Toolkit - Framework for generating, analyzing, and visualizing random polynomial ensembles.
High Dimensional Probability Primer - Primer on key high dimensional probability concepts, from MIT 2026 DRP talk.
Dice DSL - DSL describing probabilistic game rules, automatically solving for optimal play, with efficient decision-tree codegen.
Tie-Breaking and Rounding Overflow in Floating-Point Division - Proofs relating to floating point division rounding.
Bit Hacks Verified (Coming Soon) - Formal verification of bit hacks and optimizations in Rocq.

Random

Speedy Voice Space - Real-time visualizations for pitch and formant/resonance tracking.
Interactive Hayes Feature Chart - An interactive phonological feature chart based on Hayes’ 2009 Introductory Phonology
Split Stenography Keyboard - Custom low profile split keyboard for stenography and standard QWERTY layout.
College Rankings over Time - US News national college rankings over time, through 2026.
Graphing the English Language - Network-theoretic synonym maps and exploration of semantic neighborhoods.

A Few of My Favorite Things

Contact

Email: glicht [at] mit [dot] edu
LinkedIn: https://www.linkedin.com/in/gordon-lichtstein/
GitHub: https://github.com/generic-account