Memory models matter.

Does that work for humans, too?

That's mostly because it is syllable timed instead of stress timed. And because a lot of people are not as good at Spanish as they think they are, of course.

I would use em-dashes all the time if they were easier to type.

Normally?

All governments are in the egg-breaking business some of the time. Most of them are most of the time. Some of them all of the time.

Very few are good at making omelettes.

Not the great answer you think it is.

The cars do have at least one microphone.

Inside the car though, right? With multiple exterior microphones they could do spatialization like Waymo.

Carbon doesn't really contain all that much hydrogen.

Feasibility is key.

https://www.youtube.com/watch?v=1GSV2kVkO1w

> Carbon doesn't really contain all that much hydrogen.

The hydrogen also comes from water reacted (mildly endothermically) with carbon, and by further reaction of carbon monoxide with water.

C + H2O --> CO + H2

CO + H2O --> CO2 + H2

The best thing Julia Lawall ever did!

Not the hardest, not the thing with the most sophisticated theories behind it, not the thing that helped her academic career the most... but definitely the best and the most useful.

There must be a lot of other academics who could do things that are less theoretical but more useful than what they normally do.

There must be a lot of undervalued academics who in effect are punished for doing things that useful without requiring quite as much deep theory as their fields can muster.

I'm glad she did something that she wasn't really rewarded for and I'm sad that the academic reward functions are so off.

I can only agree. It is great work; I met Julia in several occasions were we other academics tried to push our formal methods stuff for checking properties of the Linux kernel. Also ours worked but in a way more complicated way, very resource intense, and less effective than Julia’s work.