I strongly love low-level details of computers (math is so beautiful!).
Interests:
-
VMs, Compilers, Pl, Type Theory, JIT Compilers, VMMs, Math.
-
Web Technology
- ECMAScript (JavaScript)
- Web Browsers
- CSS JIT Compilation
- WebKit
-
Systems
- Kernels
- Operating Systems
-
Accelerators
- GPUs
- FPGAs
• Projects:
- A JavaScript and TypeScript engine (WIP)
- A light-weight and fast runtime for JavaScript and TypeScript (WIP depend 1)
- A dependent type checker for lambda calculus
- Build Stack-based | Bytecode interpreter | Garbage collection
- The Dolphin Programming Language
- Type system | Static typeChecker | Type inference
- A mini Typescript compiler
- High-level compilation | Transform pipeline | Message-passing mechanism | Transpiler (2023)
- Computer science | Algorithms | Data structures (WIP)
- Building an Interpreter from scratch (2023)