David Dill
@davidldill.bsky.social
Donald E. Knuth Professor, Emeritus, in the School of Engineering, Stanford University.
Working on formal verification, dipping my toes into AI.
Founder of VerifiedVoting.org, which advocates reforms to make elections more trustworthy.
Working on formal verification, dipping my toes into AI.
Founder of VerifiedVoting.org, which advocates reforms to make elections more trustworthy.
Since the National Science Foundation is under threat, I thought I'd share one example of how NSF funding has benefited the U.S. (long)
It's not the most important example. Maybe it's an average innovation out of thousands funded by the NSF.
It's not the most important example. Maybe it's an average innovation out of thousands funded by the NSF.
May 1, 2025 at 8:58 PM
Since the National Science Foundation is under threat, I thought I'd share one example of how NSF funding has benefited the U.S. (long)
It's not the most important example. Maybe it's an average innovation out of thousands funded by the NSF.
It's not the most important example. Maybe it's an average innovation out of thousands funded by the NSF.
US research drives healthcare innovation across the whole world. It's not just essential for the future of the U.S.
Looking at it as competition with other countries is missing the main point. We're headed towards a virtual halt in progress world-wide.
Looking at it as competition with other countries is missing the main point. We're headed towards a virtual halt in progress world-wide.
If the NIH gets messed up, there is no alternative. Not just in the US, but globally. It is by far the biggest engine of health research in the world. Which is why the idea that US scientists can just do their work elsewhere is a little fanciful.
donmoynihan.substack.com/p/politicizi...
donmoynihan.substack.com/p/politicizi...
March 23, 2025 at 10:14 PM
US research drives healthcare innovation across the whole world. It's not just essential for the future of the U.S.
Looking at it as competition with other countries is missing the main point. We're headed towards a virtual halt in progress world-wide.
Looking at it as competition with other countries is missing the main point. We're headed towards a virtual halt in progress world-wide.
Overall, coming a day after the government's plans to radically shrink the National Science Foundation, it's difficult to read this as anything other than an attempt to crush scientific research in the US.
arstechnica.com/science/2025...
arstechnica.com/science/2025...
National Institutes of Health radically cuts support to universities
Sudden and drastic change will make it hard for researchers to keep the lights on.
arstechnica.com
February 8, 2025 at 1:36 AM
Overall, coming a day after the government's plans to radically shrink the National Science Foundation, it's difficult to read this as anything other than an attempt to crush scientific research in the US.
arstechnica.com/science/2025...
arstechnica.com/science/2025...
NSF is not widely known to the general public. It funds much of the basic research in the U.S., and is therefore the original source of a lot of our science and technology. Much of that goes directly to paying for graduate students and postdocs, when then go on to be engineers & scientists.
🚨BREAKING. From a program officer at the National Science Foundation, a list of keywords that can cause a grant to be pulled. I will be sharing screenshots of these keywords along with a decision tree. Please share widely. This is a crisis for academic freedom & science.
February 4, 2025 at 3:07 AM
NSF is not widely known to the general public. It funds much of the basic research in the U.S., and is therefore the original source of a lot of our science and technology. Much of that goes directly to paying for graduate students and postdocs, when then go on to be engineers & scientists.
...which would cause the remaining #ACA market to become sicker/higher risk on average, which would in turn cause premiums to increase, which is EXACTLY what the CBO recently warned will happen.
acasignups.net/24/12/05/cbo...
acasignups.net/24/12/05/cbo...
CBO: Not extending IRA subsidies will cause 3.8M to lose coverage, ~7.9% avg *additional* premium hike
Not that this should surprise anyone, but it's good to have the Congressional Budget Office (CBO) formally chime in: Re: The Effects of Not Extending the Expanded Premium Tax Credits for the Number of...
acasignups.net
February 3, 2025 at 1:42 AM
Reposted by David Dill
The tariffs are expected to take effect on Tuesday.
Two important bits of detail:
1. There are NO exemptions
2. The EOs have a retaliation clause. So tariffs can rise if (when!) countries respond.
We now have a full-on trade war & the victims will mostly be the warmonger’s own citizens.
Insane.
Two important bits of detail:
1. There are NO exemptions
2. The EOs have a retaliation clause. So tariffs can rise if (when!) countries respond.
We now have a full-on trade war & the victims will mostly be the warmonger’s own citizens.
Insane.
February 1, 2025 at 10:31 PM
The tariffs are expected to take effect on Tuesday.
Two important bits of detail:
1. There are NO exemptions
2. The EOs have a retaliation clause. So tariffs can rise if (when!) countries respond.
We now have a full-on trade war & the victims will mostly be the warmonger’s own citizens.
Insane.
Two important bits of detail:
1. There are NO exemptions
2. The EOs have a retaliation clause. So tariffs can rise if (when!) countries respond.
We now have a full-on trade war & the victims will mostly be the warmonger’s own citizens.
Insane.
I've had a lot of research funding in the past. Good research, like lots of things, requires long-term planning. Commitments need to be made. If you recruit a PhD student (in comp sci), it will take ~5 years for them to finish.
Chaos kills long-term planning
Chaos kills long-term planning
February 1, 2025 at 10:41 PM
I've had a lot of research funding in the past. Good research, like lots of things, requires long-term planning. Commitments need to be made. If you recruit a PhD student (in comp sci), it will take ~5 years for them to finish.
Chaos kills long-term planning
Chaos kills long-term planning
Reposted by David Dill
Trump sows chaos in federal workforce then says “resign within a week and I’ll give you 7 months severance.” Don’t fall for it! Trump told innumerable contractors he’d pay—then stiffed them. He has no authority to promise severance pay. Wait him out!
apnews.com/article/trum...
apnews.com/article/trum...
Trump offers all federal workers a buyout with 7 months' pay in effort to shrink size of government
The Trump administration says it will begin subjecting all federal employees to “enhanced standards of suitability and conduct” and is warning of future downsizing.
apnews.com
January 29, 2025 at 12:38 AM
Trump sows chaos in federal workforce then says “resign within a week and I’ll give you 7 months severance.” Don’t fall for it! Trump told innumerable contractors he’d pay—then stiffed them. He has no authority to promise severance pay. Wait him out!
apnews.com/article/trum...
apnews.com/article/trum...
Reposted by David Dill
January 25, 2025 at 9:25 PM
Reposted by David Dill
Really thankful to all of the scientists who made themselves available to talk to me about the unprecedented situation at NIH.
I've never had so many people reach out to me for a story like this.
www.motherjones.com/politics/202...
I've never had so many people reach out to me for a story like this.
www.motherjones.com/politics/202...
What the Hell Is Going on at NIH?
Scientists sound the alarm about Trump’s unprecedented “Big Brother” research crackdown.
www.motherjones.com
January 25, 2025 at 12:14 AM
Really thankful to all of the scientists who made themselves available to talk to me about the unprecedented situation at NIH.
I've never had so many people reach out to me for a story like this.
www.motherjones.com/politics/202...
I've never had so many people reach out to me for a story like this.
www.motherjones.com/politics/202...
Written social media would be a lot better with a lot less sarcasm. Clear, sincere analyses and statements of opinion would be very refreshing.
January 13, 2025 at 5:32 PM
Written social media would be a lot better with a lot less sarcasm. Clear, sincere analyses and statements of opinion would be very refreshing.
The world would be a much better place if posters raising problems on social media resolved to suggest solutions at least 1% of the time.
January 9, 2025 at 5:51 PM
The world would be a much better place if posters raising problems on social media resolved to suggest solutions at least 1% of the time.
Reposted by David Dill
I am talking to @qjurecic.bsky.social, @noupside.bsky.social, @daphnek.bsky.social, @dwillner.bsky.social, and @klonick.bsky.social about Meta’s decision to end its fact-checking program now! Tune in here:
YouTube
Share your videos with friends, family, and the world
youtube.com
January 7, 2025 at 10:30 PM
I am talking to @qjurecic.bsky.social, @noupside.bsky.social, @daphnek.bsky.social, @dwillner.bsky.social, and @klonick.bsky.social about Meta’s decision to end its fact-checking program now! Tune in here:
High-tech immigration benefits all Americans. It's why we have the world's strongest economy and military. Making it harder for the most talented foreign science and technology workers to come to the U.S. is a sure path to becoming a second-class nation.
December 27, 2024 at 9:41 PM
High-tech immigration benefits all Americans. It's why we have the world's strongest economy and military. Making it harder for the most talented foreign science and technology workers to come to the U.S. is a sure path to becoming a second-class nation.