Python utility for manipulating subtitle timings
One of my current projects involves editing several hours’ worth of subtitle files in the
.srt format to accompany an online course in numerical optimization. Because we haven’t
decided exactly how we want to break up the videos, I needed an efficient way to delay
or advance all the subtitles in time, so I wrote a small Python program called srt_delay.py today to help me with this task.
Usage examples below the cut, or you can just go straight to the README in the GitHub repository.
Opening Pandora’s Box
A harrowing thing that happens in research is that occasionally, you stumble upon a paper from 1979 (paywall) that appears to solve the exact problem that you’ve been working on for months, but that escaped your attention because it used different terminology or notation.
That almost happened to me this week, but mercy was on my side. The paper linked above, Martin Weitzman’s “Optimal Search for the Best Alternative,” considers a problem called the Pandora’s Box problem that resembles my college application problem except for one crucial difference: The Pandora’s Box problem has a time dimension, whereas the college application problem is static.
The unusual thing is that the static problem appears more difficult.
Migrating to Jekyll
After reflecting on my unsustainable dependency on Google services, I have decided to bite the bullet and migrate my blog from Blogger to the open-source Jekyll, with hosting provided by GitHub. In the full version of this post, I explain some of the technical reasons for making this change.
Thesis defense
This week, I defended my master’s thesis at Seoul National University. My thesis concerns an NP-hard portfolio optimization problem that I call the college application problem. My slides, presentation script, and the thesis itself live on this GitHub repository, and all are provided in both English and Korean versions. I also have a very brief deck of reveal.js slides introducing the problem, and I recently wrote some documentation for OptimalApplication.jl, the Julia implementation of my solution algorithms.
The defense process was relatively painless: I received some very helpful comments and reference suggestions from the professors on my committee, and I was pleased that they were persuaded by my argument that the model of the college admissions process I have chosen represents the best tradeoff between realism and tractability.
I also was able to give a brief presentation about my research at a conference in Jeju at the end of last month. Here’s a terrible photo for Mom:
The college application problem, presented in Korean
I gave a brief presentation about the college application problem at a research fair hosted by our department. English subtitles are included.