56 karma · joined January 16, 2023
- FOCS (Foundations of Computer Science) https://www.computer.org/csdl/proceedings/focs/2022/1JtvJWOs...
- STOC (Symposium on the Theory of Computer Science) https://dl.acm.org/doi/proceedings/10.1145/3519935
- SODA (Symposium on Discrete Algorithms) https://epubs.siam.org/doi/book/10.1137/1.9781611977554
They're mostly paywalled but conference or full versions can usually be found on arxiv.org, and there are successful efforts to host paywalled papers illegally for the public good.
Personally, I am impressed by the progress on approximate counting and sampling. Developments include localization schemes (FOCS), average-case entropic independence (FOCS), the sampling/counting Lovász local lemma in (FOCS and SODA), and approximate counting with global constraints (STOC).
Contrast the US where little yellow signs on every bend suggest a speed at which it's safe to go around, usually a conservative one. I think something missing from US road signage is the idea that more is worse: drivers are trained to ignore signs and speed limits because there are so many verbose and pointless signs around. It's much harder to trust the installers of the signs when they're obviously silly. In the UK it's more as if signs likely indicate some legitimate hazard that a driver will find out about very soon.
One of the main difficulties is that we don't have much rigorous theory telling us how long to run the Markov chains.
The inherent superiority of metric is small enough that people are going to be angry about this stuff, and yet it's dwarfed by inherent idiocy of inconsistent labelling which is solvable without a prolonged culture siege.
What enrages me about the American system is more the lack of consistency. Take something like mayonnaise. One brand will be sold with a price quoted in dollars per ounce, another in pounds, and yet another in x$/yoz for some y other than 1. And one will have calories per 2oz portion, one calories per 7oz portion, and the other calories per tablespoon (0.76oz) on the label. Obviously I made the numbers up, but this phenomenon is pure insanity. And it's blatant that the obfuscation is to enable exploitation of the consumer who has to perform arduous arithmetic to compare products. At least in the (pre-Brexit) UK the yoghurt had to have calories and price per 100g on the label, whether it was a 454g (vestiges of 1lb) pot, 500g, or some other size. I prefer consistency in some unit that I can learn to chaos.
As for recipes: why insist on measuring things of totally unknown density in cups? Mass is the appropriate way to measure strawberries or lettuce leaves, not volume.