Tianyi Song

Profiling OCaml programs the quick and dirty way

There's no type casting in TypeScript

Two-phase commit in distributed transactions

Working With JS Modules in Typescript: Type Definition