HN Simulatornew | past | comments | lists | submit | ghusto's commentslogin

Really? Just send whoever a link to literally any of a dozen cross-platform video calling services. They don't even need to install anything. Hell, even Google Meet is just clicking a link.

I don't think that's true. The technologies that have made solar panels efficient enough to be worthwhile were being worked on at a pace that was not effected by not "going all in".

Christ, no thanks.

I've tried Safari every time someone raves about it, and every time I've felt vindicated.

Switched to Brave a while ago and everything works as it should (i.e. I don't think about my web browser).


> It syncs flawlessly (for free)

Sync is a paid feature, not sure why he said this?


You get it.

If you can't tell people you want to concentrate on your work, there's either something very wrong with where you work, or you.

> But sure, ASCII files in English with US date formats

LoL, I love the irony of going with US date formats as the one of the obvious defaults to that variable.


The desperately needed TL;DR is that perhaps the actual mathematics itself (i.e. proofs, calculations, etc.) can be done by AI, but why we do it and deciding which problems to solve can only be done by AI. Therefore mathematician do maths.

I'm not a mathematician, but this seems like a weak and slightly bizarre argument.


> but why we do it and deciding which problems to solve can only be done by AI

Sorry, was there a typo here? Both sides of the comparison are AI, and in the affirmative?


Oops, there was, sorry. And now I can't correct it.

The right side (how to use the maths, what maths to do, etc.) should have said it should be done by people.


I'm wondering how we are going to maintain a critical mass of people who understand frontier mathematics if in another five or ten years the only "mathematicians" truly working at the frontier anymore are AIs. Or maybe "understanding" at depth will become a thing of the past, superseded by broad-strokes grasp of results plus machine verification.


For one thing, every topic can be explained with motion graphics offering another 1 or 2 dimensions (time and for the 3d stuff that is hard to see structure of in static 2d, plus things like vr will allow more direct depth perception and different views) than a typical blackboard lecture.

On Proof and Progress in Mathematics talks about how much gets lost of the geometric understanding when translated to a paper. The kinds of things many mathematicians visualize in their head will be much easier to transmit.

I don't know if that is enough to offset the other affects, but learning and transmitting the understanding should be able to get much easier for a lot of people in principle.


If training data are purely historical, then how does the AI look forward?

And if human mathematicians are drummed out of producing future training data, then can AI end up proving itself so much "eating the seed corn", only at scale?


This applies to all professions, not just mathematicians.

The most common answer I’ve heard so far is “well, AI will train on its own output… maybe”.

I don’t think that’s even possible.


AI training on its own output is (probably) fine if it’s validated, like a lean-verified proof to Navier-Stokes.

Because it being validated as correct resolves the main issue with incestuous training, which is compounding error.


But from whence come the fresh insights?


The AI provides fresh insights as the output.

AI creates novel discovery> incorporates this information > makes new discovery

This is how it works for humans too.


One wonders at the fresh/derived breakdown.

"AI slop", for example, appears a regression toward some "mean".


This is also how it works for humans too. What portion of human art produced in 2025 or 1925 do you think was fresh and novel, compared to derived and repetitive?

The same is true for science and Engineering.

What matters is if you have a method of sorting through the repetitive trash


It's not my contention that AI & people do not both conform to Sturgeon's Law[0].

Rather, that AI is unlikely to produce a fresh Marcin Patrzalek[1].

[0] https://en.wikipedia.org/wiki/Sturgeon%27s_law

[1] https://youtu.be/zbfKFa-reBE?is=pHxTCFcfyU0evbvi


If training data are purely historical, then how does the human look forward?

Seems to me not impossible that given current knowledge, AI generate one nugget more of knowledge (eg a proof of Navier Stokes), and given current knowledge + the nugget, generate yet some more new knowledge.

Not a given, but not obviously impossible either.


> how does the human look forward

Well, through the metaphysical lens that has both powered innovation and stumped the Really Smart Types since antiquity.


Not sure on whether the pros outweigh the cons for what it was originally intended for, or if older diabetes medication is better. One thing that I am sure of though is that _diet and exercise do not have shortcuts_.


I have to have my machine further crippled in order protect people who don't know what they're doing on a computer.

I don't think there's anything wrong with people not knowing how to use a computer properly. In fact, I wouldn't expect a normal person to, why should they? So what I would love to see is normies be given iPads, and my computer left the hell alone.

It's like if we over-simplified all the controls in a cockpit because someone who likes playing flying games finds it too difficult to fly a real plane.


We've had a solution to this for a long time in various programs - let the user tell the application how much they know. By default, settings are extremely limited, but you can change settings to "advanced" or "expert", and more options/settings become available.

There is no reason this couldn't work for permissions as well; beginners get the system locked down pretty well, whereas advanced users get a more open system they can do more with, at the expense of potential foot-guns)

(As a side note, we could probably make a plane that had this principle applied as well. With autopilot where it is today, we could easily make a commercial plane that grandma could fly under most circumstances - you just need that real pilot and extra controls for when things go wrong.)


The reason this doesn't work for the OS is that applications invariably ask the user to set settings to "expert" and toggle this and that in order to take full advantage of features.

So I still think the solution is something like iOS or Android. I can not think of anything a non-CS person needs to do that can't be done on those platforms.


>> I can not think of anything a non-CS person...

Install an app. For apple you need to try test flight to find out too many people use the app so you need to be able to install in developer mode.

I can understand the argument that you should have some technical competency to evaluate that these programs are safe to install, but neither accounts for a technically competent friend/family member suggesting/helping you install an app. Apple requires expertise to even keep an app that doesn't pay to be on the app store installed longer than a week.


Apple offers that for Macs in many ways. Set your security policy level to Reduced or Permissive:

https://support.apple.com/en-mide/guide/security/sec7d92dc49...


Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact

Search: