qbit42

Round brackets are standard in the US but that notation is used in France and some other places.

I think there is still an implicit restriction on the complexity of the operator for this to be interesting. Otherwise you could design an operator which accepts a pair x,y and performs one of 2^k elementary binary operations by reading off the first k bits of x and applying the specified operation on the remainder of x and y. (This is kind of like how real-valued computational models become too powerful for complexity theory to work if you allow bitwise operations.)

There are certainly no other causal factors...

I'm not saying that it couldn't be true, but we have no way of concluding that from just comparing such rates. There are many differences in daily life and thresholds for reporting beyond surveillance levels.

The choice was to review using AI or not, they can just say no? And review like we’ve done for years without AI tools.

Are you objecting to ICML’s reciprocal reviewing policy?

The alternative as I see it would be to charge for submissions and pay reviewers. There are pros but also clear cons when it comes to fairness.

What? Why is that a false choice? The only way you got caught here is if you literally gave an LLM the PDF and used its response verbatim.

And they didn't give a permanent ban or anything, these authors can just resubmit to another conference, of which there are many.

Banned for life is a stretch but the actual response is completely fine. They can just resubmit to the next conference.

Words mean something, if you promise to uphold a contract and break it, there are consequences. The reviewers were free to select the policy which allows LLM use.

Loads of researchers have only used LaTeX via Overleaf and even more primarily edit LaTeX using Overleaf, for better or worse. It really simplifies collaborative editing and the version history is good enough (not git level, but most people weren't using full git functionality). I just find that there are not that many features I need when paper writing - the main bottlenecks are coming up with the content and collaborating, with Overleaf simplifying the latter. It also removes a class of bugs where different collaborators had slightly different TeX setups.

I think I would only switch from Overleaf if I was writing a textbook or something similarly involved.

Our democracy is clearly disfunctional. I believe corporate money has played a big role to make it worse.

I see. You seem quite sure that Iran is not doing this - do you have some local source of information? My friends there said the government does shut down the internet at times (but I am not currently in communication with them...)

They did shut down the Internet. I cannot communicate with some Iranian friends right now.

You think many are built without any assistance for coding? My impression was that people were mostly concerned about game assets like graphics and music

It is nicer to state theorems that hold for all vector spaces, so mathematicians like to invoke AoC. However, in any applications that are practically relevant, you can obtain a basis without invoking AoC.

Netflix wasn't buying CNN.

I don’t think many researchers take peer review alone as a strong signal, unless it is a venue known for having serious reviewing (e.g. in CS theory, STOC and FOCS have a very high bar). But it acts as a basic filter that gets rid of obvious nonsense, which on its own is valuable. No doubt there are huge issues, but I know my papers would be worse off without reviewer feedback

That is a fair assessment. By and large it is used for the former. It is super handy in the exploratory phase of certain kinds of mathematical research.

I don't want to have to create an account to view the full context.

Sometimes statistical rates for empirical risk minimization can be related to the intrinsic dimension of the data manifold (and noise level if present). In such cases, you are running the same algorithm but getting a performance guarantee that depends on the structure of the data, stronger when it is low dimensional.

Why? They're providing food for stray cats.

Is this falsifiable? I would be hesitant to claim that this is unique to humans. I'd probably agree with dogs, but the line is much blurrier with primates, for example.

I know lots of people annoyed by ads, but I also have family that buy things advertised on Instagram all the time.

Typst seems like an improvement in many respects, but I definitely prefer LaTeX when working with detailed math equations (most of my use of LaTeX). I think there is a lot of inertia for anything to replace LaTeX for mathematical research.

Is this true on Mac? Usually I am notified when programs request access outside the normal sandboxed or temp folders. Not sure how that works in any detail though.

Who is interning for free as a software engineer?

I think formal systems like Lean are still extremely interesting. And I would imagine that, if these machines get good at standard "informal" proofs, that the overhead of formalization would be a lot less painful for them than humans (it is pretty tedious these days but even for humans the friction is decreasing).

Verified proofs allow you to collaborate with much less trust (for humans or machines), at least in the phase where you are trying to figure out what is true. They don't guarantee that a proof is insightful for "why" a result is true, but that is much easier to put together once you have a valid proof.

Why was it disbanded?

I'm all for high quality captions, and turn them on occasionally when dialog is hard to hear (or in another language, usually prefer to dubbing). I also don't doubt that they improve comprehension. But on average I find them distracting from the visuals and prefer to have them off by default.

Yeah in context I somewhat agree, though the utility for graphics applications probably comes down to some more empirical aspects that I won't conjecture about. I imagine there is some stuff you could do in this setting by incorporating autograd derivatives from many slightly perturbed points in a neighborhood of the input point (which together act as a coarse approximation of the subdifferential set).

If a function is Lipschitz, then it is differentiable almost everywhere by Radamacher's theorem. Moreover, if you want to prove things about Lipschitz functions, you can often (though not always) prove things about continuously differentiable functions with bounded gradients, and then lift to all Lipschitz functions via an appropriate compactness argument.

Any reasonable statistical explanation of deep learning requires there to be some sort of low dimensional latent structure in the data. Otherwise, we would not have enough training data to learn good models, given how high the ambient dimensions are for most problems.