rlt

6 ms·

1.
by rlt 5d ago
Sounds like a great use of AI.
2.
by rlt 5d ago
Presumably some of the proofs will have applications beneficial to humans beyond impressing other mathematicians, and AI will surface them, or use them directly.
3.
by rlt 7d ago
Kind of missing the point.
4.
by rlt 8d ago
"which is when I said that I did not understand why one would risk their career [over unfounded accusations]. Genuinely, at that moment, I was trying to care for him" "Our aim was to see whether our system was also capable of
5.
by rlt 12d ago
Move fast and break other peoples' things.
6.
by rlt 16d ago
Fair. My less cynical take is Burning Man made the choice that what they had created should be experienced by lots of people, even at the expense of it being a little less cool or counter-culture. Personally I think the world is a little be
7.
by rlt 16d ago
It’s what you make of it and who you surround yourself with. Some people treat it like a music festival and chase DJs the whole week. Some people immerse themselves in the rest of the culture. The demographics have definitely been skewing w
8.
by rlt 16d ago
It was better next year anyway.
9.
by rlt 16d ago
It’s inevitable cool and interesting things will evolve, and the people there early will bemoan how it used to be cooler. https://journal.burningman.org/2016/10/philosophical-center/...
10.
by rlt 1mo ago
Or maybe "rectum".
11.
by rlt 1mo ago
Is there a good way to auto switch between models for planning/implementation?
12.
by rlt 2mo ago
> As I age I realize you need to entice the user with more value and service - anew features Is this true of operating systems for most people? Personally I’d take macOS from 15 years ago (with security bug fixes and new hardware support
13.
by rlt 2mo ago
If they take actions that would have further prevented or limited this attack then it seems like a good form of advertising to me.
14.
by rlt 2mo ago
Unitree is a huge well known company. You think they'd fake this?
15.
by rlt 2mo ago
I don't understand. You will ask it for something you want, and instead of needing to pay a the team of people with expertise, it will just do it for you. Someone will still need to ask for something (or maybe it will just run autono
16.
by rlt 2mo ago
Then they should give grants of tokens to famous mathematicians. EDIT: oh, they do offer grants of $1000 of API credits to researchers https://help.openai.com/en/articles/10139500-researcher-acce...
17.
by rlt 2mo ago
> free and low-end eventually wins Apple, the world's second most valuable company, seems like a counterexample.
18.
by rlt 2mo ago
I can see two reasons American companies might want to train models they give away for free: 1) They sell compute: chips (Nvidia), data centers (AWS, Microsoft, Google, SpaceX, etc), or even end-user device manufacturers like Apple (e.x. M7
19.
by rlt 2mo ago
Yes, that’s what the parent comment meant by “there is going to be a ton of new float fairly soon”
20.
by rlt 2mo ago
I provided my definition and argument. I can't engage further if you don't refute any of it.
21.
by rlt 2mo ago
> Crucially it's the responsibility of those who are making the claim here to bring evidence and definitions Ok, I claim that if something draws reasonable conclusions to questions it hasn't previously seen by performing steps
22.
by rlt 2mo ago
Isn't "reasoning" in LLMs just training it to have an internal monologue to think through problems like a human would? i.e. extra tokens.
23.
by rlt 2mo ago
You wouldn’t even take social security benefits despite (I assume) having been forced to pay social security taxes? Even Ayn Rand took social security benefits. Some people point to that as hypocrisy, but I feel if the government forced you
24.
by rlt 2mo ago
“Most programs are important to somebody for good reasons“ It’s essentially self-evident that someone receiving money or benefits paid for by others considers those benefits to be “important.”
25.
by rlt 2mo ago
Junkyard? Starlink satellites are deorbited at the end of their lifespan.
26.
by rlt 2mo ago
Who did Starlink cut off? Russia, which is legally sanctioned and illegal for US companies to do business with?
27.
by rlt 2mo ago
You’d probably feel differently if you were one of the 10 million (and growing) Starlink subscribers who previously had worse (or no) high speed internet access.
28.
by rlt 3mo ago
> perhaps will miss the most important discoveries of the universe because of such programs Unlikely for a number of reasons, and actually a large commercial constellation could help with scientific discovery. Satellite trajectories ar
29.
by rlt 3mo ago
Wow so much to unpack here. If SpaceX spent a ton of resources developing Moon and Mars base plane they’d be criticized for not focusing on the launch vehicle. The railroad company also doesn’t necessarily need to be the ones building the t
30.
by rlt 3mo ago
> won’t be Again, “What I find silly is the certainty that critics have that SpaceX will fail”. I doubt you’ve done enough investigation to conclude that. Watching a couple a YouTube videos about how data centers in space are dumb doesn’

More ›