senorcrab
senorcrab on Hacker News
Lol, what a slave mindset. Just because a technology exists, and most of the human cattle use it, does not mean that it's necessary for someone to use it.
I don't think thats the problem. Moreso something like this that was intended to help people that needed it is being taken advantage of. Every cafe with $6 espressos will ask you for a tip nowadays. What's worse is that a lot of places default to adding a 15% tip when these screens show! And there is no way of knowing where these tips are going unless you pay cash.
My argument is that LLM generation and a correlated Lean verification are not sufficient conditions. Both are falliable.
What do you think mathematics is? "Just a hobby"? Developments in mathematics made possible the industrial revolution, the information age, everything! Do you think the world will be the same when math is "solved"?
It's a necessary condition
You don't know what you're talking about. Just because it was created by an LLM, and verified in Lean, does not make it true. The whole point of writing a proof is for it to be understandable.
LLMs are like putting a jammer in the research community.
Why do you think Godel Incompleteness doesnt apply? By default mathematicians work in ZFC which is proven to be incomplete...
The situation is overblown, but the writing of Doctorow is clearly unreliable at this point.
Jabbing at this opponent of choice by declaring Python is "an easy-to-master programming language" just shows he has no technical ability and has run out of good arguments
Wow another hot take - agents can write a lot of code!!!
Ultimately this kind of mechanism is what creates a society of hereditary classes.
This is not something to be celebrated - the one good thing about capitalism and open competition generally is that you can challenge this.
Ultimately this comes down VCs who fund people like this. Can we really believe the established funds look for "independent thinkers" anymore?
Clearly there is a fuzzy line of demarcation. I was thinking for a simple opt-out of any rec-sys
Yeah I meant it would avoid the necessity of age verification to solve this problem.
Age verification and how enthusiastic gov'ts are about it is concerning.
It should just be universally required to give an option to disable addictive features. Should prevent age verification, and giving users optionality is always a good thing (for them).
Can confirm that wasn't written by an LLM. To many spelling mistake
I've been using it for about 6 months. Very, very good - especially paired with anna's archive.
IT IS VERY FRAGILE! The eink screen on my first broke while in my backpack. The company is generous, I bought a new one and they gave 35% off and included all accessories (reading light, case, extra protectors). Highly recommend.
Codeberg.org is really great.
Also I recommend self-hosting Gitea for private projects and backing-up public projects
True it is pretty dated. OP was requesting resources that cover *all* of physics and Landau popped into mind. Is there a modern series of textbooks that offers such a broad coverage?
Road to Reality is good to get a general overview of *everything* but I dont think you can actually learn the things he talks about. For example, the jump from calculus in R^2 to Riemannian surfaces is insane and leaves a ton out
Freshman university textbooks have what you need. Two of the most popular are:
- University Physics by Young and Freedman
- Fundamentals of Physics by Halliday, Resnick, Walker
- Modern Physics by Krane
You might guess that real physics is not actually in freshman textbooks, and you are right. Modern physics requires rigorous mathematics.
For a nonrigorous introduction/overview:
- The Road to Reality by Roger Penrose
If you want to actually learn almost all of physics at a high level:
- Course of Theoretical Physics by Landau
Note that Landau is extremely difficult.
If you want to learn the math needed for modern physics (topology) in the context of physics, nonrigorously:
- Geometry, Topology, and Physics by Nakahara