Readit News logoReadit News
lanza commented on Hilbert space: Treating functions as vectors   eli.thegreenplace.net/202... · Posted by u/signa11
constantcrying · a month ago
As evidenced by the confusion of at least one commenter, I do not think it is a good didactic way to introduce vectors by how they can be written in a particular basis.

It is just unhelpful in many ways. It fixates on one particular basis and it results in a vector space with few applications and it can not explain many of the most important function vector spaces, which are of course the L^p spaces.

In most function vector spaces you encounter in mathematics, you can not say what the value of a function at a point is. They are not defined that way.

The right didactic way, in my experience, is introducing vector spaces first. Vectors are elements of vector spaces, not because they can be written in any particular basis, but because they fulfill the formal definition. And because they fullfil the formal definition they can be written in a basis.

lanza · a month ago
> It fixates on one particular basis and it results in a vector space with few applications and it can not explain many of the most important function vector spaces, which are of course the L^p spaces.

Except just about all relevant applications that exist in computer science and physics where fixating on a representation is the standard.

lanza commented on Leaked Apple M5 9 core Geekbench scores   browser.geekbench.com/v6/... · Posted by u/aurareturn
AlphaAndOmega0 · 3 months ago
I own an M4 iPad Pro and can't figure out what to do with even a fraction of the horsepower, given iPadOS's limitations. The rumors about an upcoming touchscreen Mac are interesting, perhaps Apple will deign to make their ridiculously overpowered SOCs usable for general purpose computing. A man can dream..
lanza · 3 months ago
> I own an M4 iPad Pro and can't figure out what to do with even a fraction of the horsepower, given iPadOS's limitations.

Literally everything you do gets the full power of the chips. They finish tasks faster using less power than previous chips. They can then use smaller batteries and thinner devices. A higher ceiling on performance is only one aspect of an upgraded CPU. A lower floor on energy consumed per task is typically much more important for mobile devices.

lanza commented on Qwen3-Next   qwen.ai/blog?id=4074cca80... · Posted by u/tosh
mmmllm · 3 months ago
Sure but where is the demand going to come from? LLMs are already in every google search, in Whatsapp/Messenger, throughout Google workspace, Notion, Slack, etc. ChatGPT already has a billion users.

Plus penetration is already very high in the areas where they are objectively useful: programming, customer care etc. I just don't see where the 100-1000x demand comes from to offset this. Would be happy to hear other views.

lanza · 3 months ago
The difference in usefulness between ChatGPT free and ChatGPT Pro is significant. Turning up compute for each embedded usage of LLM inference will be a valid path forward for years.
lanza commented on How we built an interpreter for Swift   bitrig.app/blog/swift-int... · Posted by u/jacobx
jgbuddy · 4 months ago
Swift can already be used in REPL mode, not sure if it's accurate to say Swift is a strictly compiled language that a interpreter was developed for (see 'swift' command line executable). Seems misleading that this is not mentioned anywhere in the article.
lanza · 4 months ago
That's a JIT. It uses the same compiler infrastructure but swaps out the AoT backend and replaces it with the JIT backend in LLVM. Notably, this blog post is targeting on-device usage which a custom JIT is not allowed. You can only interpret.
lanza commented on OpenAI claims gold-medal performance at IMO 2025   twitter.com/alexwei_/stat... · Posted by u/Davidzheng
fnordpiglet · 5 months ago
Why is that less exciting? A machine competing in an unconstrained natural language difficult math contest and coming out on top by any means is breath taking science fiction a few years ago - now it’s not exciting? Regardless of the tools for verification or even solvers - why is the goal post moving so fast? There is no bonus for “purity of essence” and using only neural networks. We live in an era where it’s hard to tell if machines are thinking or not, which for since the first computing machines was seen as the ultimate achievement. Now we Pooh Pooh the results of each iteration - which unfold month over month not decade over decade now.

You don’t have to be hyped to be amazed. You can retain the ability to dream while not buying into the snake oil. This is amazing no matter what ensemble of techniques used. In fact - you should be excited if we’ve started to break out of the limitations of forcing NN to be load bearing in literally everything. That’s a sign of maturing technology not of limitations.

lanza · 5 months ago
Because the usefulness of an AI model is reliably solving a problem, not being able to solve a problem given 10,000 tries.

Claude Code is still only a mildly useful tool because it's horrific beyond a certain breadth of scope. If I asked it to solve the same problem 10,000 times I'm sure I'd get a great answer to significantly more difficult problems, but that doesn't help me as I'm not capable of scaling myself to checking 10,000 answers.

lanza commented on AI 2027   ai-2027.com/... · Posted by u/Tenoke
lanza · 9 months ago
Without reading an entire novel's worth of text, do they explain why they picked these dates? They have a separate timeline post where the 90th percentile of superhuman coder is later than 2050. Did they just go for shock value and pick the scariest timeline?
lanza commented on Show HN: Codemcp – Claude Code for Claude Pro subscribers – ditch API bills   github.com/ezyang/codemcp... · Posted by u/ezyang
lanza · 9 months ago
Only gripe I have with the tool is that once you've gotten a country right a few times it zooms in too far. I still had no clue where Eritrea was after getting it right like four times. Just got lucky.

But now that the map only shows me three possible countries I can trivially remember which one it was. Ask me again tomorrow while only showing me the full map and I might guess it's in South America.

lanza commented on Expanding AI Overviews and Introducing AI Mode   blog.google/products/sear... · Posted by u/meetpateltech
iamleppert · 10 months ago
I really don't understand what their endgame is here. AI Search can't be good for their ads business, because by its very nature it bypasses most of the ads. Why would I spend money on Google ads anymore if it doesn't drive traffic to my web site?
lanza · 10 months ago
> I really don't understand what their endgame is here.

To not lose. History is full of stories of incumbents not wanting to cannibalize themselves and dying because of it.

Deleted Comment

Deleted Comment

u/lanza

KarmaCake day505June 4, 2020View Original