Brian Demsky's Avatar

Brian Demsky

@bdemsky

CS professor. PL/Model Checking/Concurrency.

293
Followers
256
Following
39
Posts
10.11.2024
Joined
Posts Following

Latest posts by Brian Demsky @bdemsky

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.

07.09.2025 18:43 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Wonder it if would be helpful to put a page limit on the evaluation section?

07.09.2025 17:56 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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.

16.08.2025 03:26 πŸ‘ 5 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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.

16.08.2025 03:21 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

For non functional languages, I think people never got the overheads low enough across all workloads. And it had lots of pathological performance cases.

15.08.2025 04:47 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

For HW, every Intel implementation had bugs such that they disabled HTM with a microcode update.

15.08.2025 04:45 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

My reading is this cancels essentially all non-AI, non-quantum CS research. nsf-gov-resources.nsf.gov/files/00-NSF...

31.05.2025 17:58 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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?

22.05.2025 19:56 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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.

13.05.2025 04:10 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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.

03.05.2025 05:49 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Wonder if we will see large tuition increases for grad students?

03.05.2025 02:43 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Mine hasn’t mentioned it yet. Submitting proposals next week seems problematic.

03.05.2025 01:24 πŸ‘ 2 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

Yikes. Hope I can graduate my students.

25.04.2025 01:39 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

08.04.2025 18:38 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

02.04.2025 22:23 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Yes, but is the market for that very large?

21.03.2025 15:56 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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.

21.03.2025 05:03 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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…

21.03.2025 04:25 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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…

24.02.2025 03:43 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

24.02.2025 03:24 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I would have bought a Tesla this month if Elon was the typical CEO.

24.02.2025 03:11 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

It gets better.

19.02.2025 05:07 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

If you have a good strategy, let the rest of us know.

16.02.2025 06:25 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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?

15.02.2025 17:35 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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.

10.02.2025 17:57 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

How are you figuring out what activities are still safe? Is encouraging undergraduate research still okay?

05.02.2025 21:25 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

If our goal is AGI in a form similar to people, it seems to me that queries I make and their responses should change the weights.

01.02.2025 03:08 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

You should ask the SIMPLEST strategic questions that they will answer incorrectly and that they need to know to succeed at the job.

16.01.2025 00:27 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Would the result change if Canada got to divide itself into states such that the average area of a new Canadian state matched the average area of a current US state?

08.01.2025 01:03 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

One other random thought. I guess it is possible for AI to get to human levels of ability, but at a higher cost. Like our generation’s Concorde.

21.12.2024 20:26 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0