David Bindel Profile picture
Applied math, engineering computation, general hackery. Assoc prof @cs_cornell @CornellCIS, director Cornell Center for Applied Math (CAM). He/him.
Jun 12, 2020 56 tweets 12 min read
I've been deliberately quiet on here for a couple weeks. Partly it's because I spent much of the spring being tired, angry, and desparate in various degrees. I don't do my best thinking in those circumstances. But this week I've also felt like I should focus on listening and reading, and I'm no better than anyone else at listening while proclaiming. Reading the #blackintheivory tweets has been particularly hard.
Jan 4, 2020 18 tweets 6 min read
OK. I'm going to celebrate making it through my first round of grad admissions reading by doing just this. Approximation of continuous functions on a real interval is classical and well-studied. We have lots of theory for it, and lots of good algorithms. In high-dimensional spaces, though, life is harder -- both in theory and in practice.
Dec 30, 2019 15 tweets 3 min read
I've seen this a bunch in my timeline yesterday and today. As the person running Cornell CS PhD admissions this year, I have Thoughts (some of which have been stewing for longer than the past day). First, and most immediately: we're looking for research potential -- published papers are only one way to indicate this. We also want a good fit with our faculty, as far as we can judge from the folders.
Jun 16, 2019 18 tweets 3 min read
And now, block 2-by-2 linear systems: a thread for a jet-lagged Sunday afternoon. A block 2-by-2 linear system is a system involving a matrix that looks like

M = [A, B;
C, D]

where A and D are square matrices (though B and C may be rectangular).
May 7, 2019 21 tweets 3 min read
Because I spent a lot of time going from points A to points B over the past week, and not all of that time was spent listening to podcasts, I present you with Lunchtime Thoughts on Eigenvalues and Regular Languages: a Thread. A regular language is a set of strings over some finite alphabet that we know how to recognize with a deterministic finite automata. One usually draws a graph for the automata, with symbols on each edge and special start/accept states. But there are other representations.
May 3, 2018 15 tweets 2 min read
I was PhD admissions chair for CS at Cornell this year. e made a big step in improving diversity of the program. Let me tell you about it. 59 new students. 21 women, 5 African-American, two Hispanic, a Pacific Islander.