David Bindel

David Bindel

@dbindel.bsky.social

Professing computing and applied math at Cornell. Numerical methods for data science, plasma physics, other stuff depending on the day. Director, Cornell Center for Applied Mathematics; Director, Simons Collaboration on Hidden Symmetries and Fusion Energy.

1K followers656 following745 posts

David Bindel reposted

David Bindel reposted

I don't measure my steps, my sleep, my heartbeat. No interest in doing so. Never had any. I've just realized this trend is yet another way for tech to own your lives, adding stress to you and money to their wallets (while collecting your data). Don't measure your life, just live it. It's more fun.

In early summer of this year, one of the applied math PhD students asked whether we could have a panel on AI and mathematics in the fall colloquium series. I said yes, and we started planning it on earnest about a month ago.

View full thread

The news is awash with certainty borrowed from sources I don't trust. Experts make mistakes. Zealots are sure they never do. What about when somebody tries to borrow certainty from an AI question? Democratized expertise? If nobody involved knows what they know, where is the expertise?

After the panel, and the post colloquium socializing, I walked home. It's a beautiful day here. The weather is nice, the sun is shining, and it is Friday. I'm not certain of much, but I am pretty sure that's worth appreciating.

In early summer of this year, one of the applied math PhD students asked whether we could have a panel on AI and mathematics in the fall colloquium series. I said yes, and we started planning it on earnest about a month ago.

View full thread

I have some certainty of many things that I have not directly worked on. I go up elevators, certain they will not fall to the ground. I ride vehicles, certain they will not burst into flames. That certainty is borrowed; I believe the engineers who worked on the design knew their stuff.

There are places, too, where I feel I have earned some certainty for myself. I know a few things about error analysis. I know some things about writing high performance code. Those are things that I have worked on a long time.

In early summer of this year, one of the applied math PhD students asked whether we could have a panel on AI and mathematics in the fall colloquium series. I said yes, and we started planning it on earnest about a month ago.

View full thread

My colleagues on the panel all expressed some amount of uncertainty. I would have expected nothing less. I worry much more when I read takes in which people are totally certain what will happen next.

It seems to me that unearned certainty is a silent scourge right now. By unearned certainty, I mean certainty that is borrowed from another source where that other source has no vetting.

In early summer of this year, one of the applied math PhD students asked whether we could have a panel on AI and mathematics in the fall colloquium series. I said yes, and we started planning it on earnest about a month ago.

I send emails to the applied math PhD students on Fridays, and this was no exception. At the end of those emails, I often put a little "sermon.". This week, I wrote about uncertainty and unearned certainty. It wasn't exactly about AI. It also wasn't exactly not about AI.

The SF fountain pen show was this weekend, and I have been admiring from afar on Reddit. And sometimes on Mastodon. And somehow on Bluesky, I am mostly finding people who mentioned a fountain pen once and now want to express their anger about politics.

Every so often, I remember being a youngster who thought we had about even odds of a major nuclear war killing off most of humanity before I got to high school. So, I suppose, the current moment could be worse.

I spent much of today and yesterday working on a draft of something that I'm excited about. There are arguably more urgent things on my list -- overdue reviews, urgent admin tasks, classes that start in two weeks. But I'm struggling with some things, and research can be soothing.

View full thread

I will probably need to switch gears tomorrow and not work on this paper for a bit. But I'm squirreling away the feelings of delight over the whole business.

In my most optimistic moments, I hope that the backlash to Some People trying to shove AI into everything (including research writing) will involve far fewer papers that are written not to be first, most technical, SOTA, etc but rather to delight the reader.

I spent much of today and yesterday working on a draft of something that I'm excited about. There are arguably more urgent things on my list -- overdue reviews, urgent admin tasks, classes that start in two weeks. But I'm struggling with some things, and research can be soothing.

Without too much detail, part of the reason that I'm so excited about this thing is because it seems obvious once you put the pieces together. And the pieces are not totally new! A fair fraction of the bibliography involves papers that are older than I am.

One of the lovely things about reading these old papers is appreciating that I grew up in an academic tradition where people care about writing. These people were insightful, clever mathematicians -- and also very witty. And it shows.

David Bindel reposted

This editorial is indeed blunt, in your face, sweary, and absolutely 100% correct. I'm happy Science published it. It needs to be spread far and wide, because it strips away all the usual mealy-mouthed crap when it comes to discussing Trump and makes it clear who he is and what he's doing.

Alex Wild@alexwild.bsky.social

This is a blunt assessment of what the Trump regime is proposing for US science: they plan to take all the funding, essentially collapsing university-based research, in order to give that money to themselves, and they are lying about it.

David Bindel reposted

I’m joining Cornell as an Assistant Professor in Computer Science this fall! My group will work on probabilistic machine learning for scientific discovery. I’m recruiting PhD students to start in Fall 2027 -- and stay tuned for postdoc opportunities!

Nicely put.

Clément Canonne@ccanonne.github.io

Pedestrian in the Age of Planes: a (cope?) 🧵. I grew up walking and biking to go places. My whole training, and later professional life, was done accordingly: I don't go really far, nor really fast, but I have a good sense of direction, and developed very specific muscles. Now we have planes. 1/

Five bunnies so far today on just a couple short walks around the neighborhood. Two adults, three young'uns. They have eaten most of our garden (they don't like collards), and that's not great. But they are cute.

Pete Stewart passed away this week at the age of 85. He was a mentor when I was an undergraduate at the University of Maryland, and somebody I looked forward to seeing at conferences for a long time after.

David Bindel reposted

Thinking about my fall teaching, an upper-division undergrad systems programming course. And I am at 75% planning to use Rust (it was in C++ when Ken Birman taught it the past several years). Pointers to good models are welcome.