Viewing profile — math_dandy

My wife did her mathematics PhD under an analogous structure in Germany where it’s fairly common. She was supervised by a professor at the University of Munich and a lab at Bosch, …

I guess what I’m saying is that since there’s always a context, ambiguity stemming from uninspired naming is never an issue in practice.

Certainly overloaded but rarely ambiguous. Context will determine which notion of “normal” applies.

tl;dr: Being a homomorphism from a multiplicative structure into an additive structure isn't enough to grant it the logarithm title. Although logarithms are certainly ubiquitous in…

I think the OpenAI model that resolved the Unit Distance Problem would be capable of solving a significant proportion of mathematics PhD thesis problems.

> Now if I know anything about math for the sake of math, and academics, these are the same people that lament the idea of intelligent people going to the finance sector or any oth…

We're very fortunate to have had some very eminent mathematicians backfill the OpenAI proof with history, context, and a literature review [1]. Ideas behind the proof seem to have …

This is, indeed, how math often goes.

To me, the most interesting feature of the OpenAI solution of the Unit Distance (Erdös) Problem is that the solution - using deep algebraic number theory as a source of extremal co…

Not sure about these books as a self-study curriculum — their unifying theme seems to be that they require a reasonable level of mathematical maturity going in. But, they absolutel…

I don't buy the narrative that the article is promoting. I think the machine learning community was largely over overfitophobia by 2019 and people were routinely using overparametr…

I was going to nitpick the missing apostrophe in movie posters caption ("STARFALLS REVENGE") but its missing from the prompt, too.

To the left of the "detailed spaceship" I think I see a distortion pattern reminiscent of a cloaked Klingon bird of prey moving to the right. Or I'm just hallucinating patterns in …

Two schools of thought here. One posits that models need to have a strict "symbolic" representation of the world explicitly built in by their designers before they will be able to …

TLDR: Browser vendors made Shadow DOM for themselves. Browser implementors use Shadow DOM extensively under the hood for built-in HTML elements with internal structure like range i…

I was hoping the accepted definition would not use humans as a baseline, rather that humans would be an (the) example of AGI.

In-car product vending will come soon enough I’m sure.

Could you give more details about what precisely you mean by interpolation and generalization? The commonplace use of “generalization” in the machine learning textbooks I’ve been s…

I’m reading a winking, ironic acknowledgement from the authors that the mathematical definition of individual utility may not map perfectly onto the psychology of a patron of the a…

Are there any GPU emulators you can use to run simple CUDA programs on a commodity laptops, just to get comfortable with the mechanics, the toolchain, etc.?

As a university professor, I admit with some shame that accessibility issues for specific problem types is not on my radar. “Innovation” isn’t the main culprit here. Fortunately, m…

How was smoking identified as the cause’s of dementia in the individual you mention?

I think RSC is trying to answer the question, “How can we make server rendering and sprinkles of interactivity composable ?” What if you want your sprinkles to have server rendered…

Historically, mathematicians have spent a huge amount of time and effort formulating optimal axioms and foundations so that theorems would follow naturally from structure. Theorems…

Cool, I had not heard about this. Adding this paper to my machine learning teaching bibliography. Even though the start of the deep learning renaissance is typically dated to 2012 …