Brian Demsky
@bdemsky.bsky.social
CS professor. PL/Model Checking/Concurrency.
I think it will be challenging. The factors that lead to the current culture is so ingrained in the researchers. We are all kind of nitpicky and generally looking for reasons to reject papers.
September 7, 2025 at 6:43 PM
I think it will be challenging. The factors that lead to the current culture is so ingrained in the researchers. We are all kind of nitpicky and generally looking for reasons to reject papers.
Wonder it if would be helpful to put a page limit on the evaluation section?
September 7, 2025 at 5:56 PM
Wonder it if would be helpful to put a page limit on the evaluation section?
Definitely not true in every field. But in PL, it is so rare to get scooped. I’m fine even having code on GitHub before submission.
August 16, 2025 at 3:26 AM
Definitely not true in every field. But in PL, it is so rare to get scooped. I’m fine even having code on GitHub before submission.
Pretty much. Basically hard to hide all the overheads. And you can get really pathological situations with aborts. The last one means that probably locks are just a better option.
August 16, 2025 at 3:21 AM
Pretty much. Basically hard to hide all the overheads. And you can get really pathological situations with aborts. The last one means that probably locks are just a better option.
For non functional languages, I think people never got the overheads low enough across all workloads. And it had lots of pathological performance cases.
August 15, 2025 at 4:47 AM
For non functional languages, I think people never got the overheads low enough across all workloads. And it had lots of pathological performance cases.
For HW, every Intel implementation had bugs such that they disabled HTM with a microcode update.
August 15, 2025 at 4:45 AM
For HW, every Intel implementation had bugs such that they disabled HTM with a microcode update.
This is absolutely insane and lacks imagination of what AI systems could do. What if someone builds automated decision systems that can apply lethal force?
May 22, 2025 at 7:56 PM
This is absolutely insane and lacks imagination of what AI systems could do. What if someone builds automated decision systems that can apply lethal force?
I’d apply broadly. Maybe someone has some funds for the short term and can’t make a long term commitment to a grad student. Maybe also consider industry as I expect faculty hiring will be challenging for some time.
May 13, 2025 at 4:10 AM
I’d apply broadly. Maybe someone has some funds for the short term and can’t make a long term commitment to a grad student. Maybe also consider industry as I expect faculty hiring will be challenging for some time.
We have tuition as a direct charge for graduate student researchers. It is fictional anyways. So it is effectively an overhead, but one that doesn't require negotiating with the government.
May 3, 2025 at 5:49 AM
We have tuition as a direct charge for graduate student researchers. It is fictional anyways. So it is effectively an overhead, but one that doesn't require negotiating with the government.
Wonder if we will see large tuition increases for grad students?
May 3, 2025 at 2:43 AM
Wonder if we will see large tuition increases for grad students?
Mine hasn’t mentioned it yet. Submitting proposals next week seems problematic.
May 3, 2025 at 1:24 AM
Mine hasn’t mentioned it yet. Submitting proposals next week seems problematic.
Yikes. Hope I can graduate my students.
April 25, 2025 at 1:39 AM
Yikes. Hope I can graduate my students.
I think today's recovery has to do with lots of puts needing to be exercised and shorts needing to be covered. It seems to have gone away. But this is all very confusing figuring out how to react optimally.
April 8, 2025 at 6:38 PM
I think today's recovery has to do with lots of puts needing to be exercised and shorts needing to be covered. It seems to have gone away. But this is all very confusing figuring out how to react optimally.
When do you think we will hit rock bottom? I pulled largely out of the market, so I have to figure out when to return. I unfortunately did sell some put options yesterday that I had bought on SPY as insurance before I decided to just sell out.
April 2, 2025 at 10:23 PM
When do you think we will hit rock bottom? I pulled largely out of the market, so I have to figure out when to return. I unfortunately did sell some put options yesterday that I had bought on SPY as insurance before I decided to just sell out.
Yes, but is the market for that very large?
March 21, 2025 at 3:56 PM
Yes, but is the market for that very large?
I guess I should add that I’m aware of the square root speed up for Grover’s algorithm, but I suspect constant factors will dominate that speed up for a long time.
March 21, 2025 at 5:03 AM
I guess I should add that I’m aware of the square root speed up for Grover’s algorithm, but I suspect constant factors will dominate that speed up for a long time.
I don’t get the industry interest in quantum computing. What useful thing could I do if I had one? Well, assuming I’m not interested in breaking crypto…
March 21, 2025 at 4:25 AM
I don’t get the industry interest in quantum computing. What useful thing could I do if I had one? Well, assuming I’m not interested in breaking crypto…
Came really close to getting a hybrid, but realized that a hybrid didn’t get us much gain for highway miles. The RAV4 prime didn’t fit us…
February 24, 2025 at 3:43 AM
Came really close to getting a hybrid, but realized that a hybrid didn’t get us much gain for highway miles. The RAV4 prime didn’t fit us…
Unfortunately no. Wanted a vehicle for road trips to see more of California. Chargers seemed a bit of a problem still. Went with another Subaru Forester.
February 24, 2025 at 3:24 AM
Unfortunately no. Wanted a vehicle for road trips to see more of California. Chargers seemed a bit of a problem still. Went with another Subaru Forester.
I would have bought a Tesla this month if Elon was the typical CEO.
February 24, 2025 at 3:11 AM
I would have bought a Tesla this month if Elon was the typical CEO.
If you have a good strategy, let the rest of us know.
February 16, 2025 at 6:26 AM
If you have a good strategy, let the rest of us know.
I’m not sure what the right thing to do is. Cash has the risk that inflationary policies could eat it up, whereas maybe we would get some growth in stocks due to inflation?
February 15, 2025 at 5:35 PM
I’m not sure what the right thing to do is. Cash has the risk that inflationary policies could eat it up, whereas maybe we would get some growth in stocks due to inflation?
I think we may be unlikely to see indirect cost changes to NSF. The reason being is that NSF grants have a total budget limit and not a direct cost limit. So if you drop the NSF IDC percentage, the PI just gets more money for direct costs.
February 10, 2025 at 5:57 PM
I think we may be unlikely to see indirect cost changes to NSF. The reason being is that NSF grants have a total budget limit and not a direct cost limit. So if you drop the NSF IDC percentage, the PI just gets more money for direct costs.