sobellian

8 ms·

1.
by sobellian 3d ago
I'm making an online guidance solver for KSA ( https://ahwoo.com/app/100000/kitten-space-agency ). It uses successive convexification to turn the full nonlinear problem into a sequence of convex problems with l
2.
by sobellian 3d ago
I reflected on this myself recently. Model distillation seems to be at least as fair a use as distilling a book.
3.
by sobellian 3d ago
I don't really have a strong opinion either way on Flock but this is a strange objection. YC is a well-known startup accelerator that makes (pre-seed!) investments. I don't know if anyone has ever sincerely taken "YC company&
4.
by sobellian 5d ago
That solution (stop pouring resources in to proofs, stay in your lane) works today. How does it work 5, 10, 20 years from now? The software and hardware advances will continue.
5.
by sobellian 5d ago
If, as you desire, we wrote that Yemen captured the island, who did they capture it from? Not-Yemen? That's just confusing for a civil war.
6.
by sobellian 7d ago
The evidence we have (not much) leaves the facts severely under-constrained. All the below are consistent with what we observe: - OpenAI lying their face off for marketing purposes - Buckmaster sore about getting beaten to NS, misrepresenti
7.
by sobellian 7d ago
Neither side has offered hard proof for their interpretation (i.e. malice vs innocence), so shrug . If one is dead set on forming an opinion that's fine but it's all vibes until we know more. Science & math especially is no s
8.
by sobellian 7d ago
I thought the same, but on second thought I merely had to deal on Tuesday with a lot of the mistakes Astra made on the preceding days. I wonder if this time lag of consequences explains why the sentiment is so common with these models. It p
9.
by sobellian 8d ago
OAI's side of the story is that they discovered the approaches (and indeed solved problems - Euler equations vs NS equations) differed. They then offered Buckmaster lead authorship of OAI's proof, without Alpöge. But they never de
10.
by sobellian 8d ago
The unforced problem is still open.
11.
by sobellian 8d ago
AFAICT the unforced problem is still open. I don't think we've established that you need to be a literal God to create a finite-time blowup.
12.
by sobellian 8d ago
Whether or not ways exist to work around the singularities, that they exist is surely of note. Before von Neumann formalized QM people were still doing QM, okay fine. But it's wrong to then say von Neumann was doing no physics of note.
13.
by sobellian 8d ago
Yes, Stockfish is genuinely impressive. I would be proud to author Stockfish. You don't think so?
14.
by sobellian 8d ago
The "steal their thunder" is interpretation. What I'm saying is that you believe they solved NS on a lark to bully some other researchers, and that this is not impressive?
15.
by sobellian 8d ago
Even under your interpretation, OAI pushed a button and solved NS. Yes, that is very impressive. Are you kidding me? Imagine building an automated system that can solve NS.
16.
by sobellian 8d ago
NS is a question for natural science. Q: can we model these bodies of discrete particles with a continuous approximation? A: if you do, you can get aphysical singularities. "If in other sciences we should arrive at certainty without
17.
by sobellian 13d ago
It seems that this conflates the leading causes of death in $BIRTH_YEAR with the leading causes of death for someone born in $BIRTH_YEAR?
18.
by sobellian 14d ago
The US is a big country so it's hard to generalize. But if you take the "default" US culture, it has been either ambivalent or hostile toward nerds for a long time. People who rightly point this out get shouted down as being
19.
by sobellian 14d ago
I don't like the implied assumption that you can only do one or the other. To use the author's own story, the US had both von Braun and Johnson. Also, there are just many scenarios where you can't afford to train someone from
20.
by sobellian 15d ago
This was mentioned in the article. > For example, when Timothy B. Lee looked at a spreadsheet that Zitron used to create a projection of Anthropic's revenue, he found, "He doesn't count February 1-10, counts March 1-10 twi
21.
by sobellian 21d ago
Jevons paradox states it might increase. It is not an ironclad law and there are many many cases where increasing efficiency wrt. a certain resource really will decrease the total consumption of that resource. Yes tokens are an input them
22.
by sobellian 21d ago
I'm telling you as a fact that as someone working for a manufacturing startup the tariffs have only made things more expensive for us. But I'm sure the Cleveland Cliffs execs are doing great.
23.
by sobellian 21d ago
Imagine you want to build a factory in the US. You pay tariffs on the factory equipment you need - much of it is made overseas. You pay tariffs on your input goods. And then when you try to export your customers get hit with a retaliatory t
24.
by sobellian 22d ago
If we are applying Jevons paradox to this then the unit being consumed is not tokens but the inputs for token production - power, capex, something else. To draw an analogy to the steam engine, coal:electricity::mechanical-work:tokens. Jevon
25.
by sobellian 1mo ago
I also tried to evaluate this claim that households have less real income after debt service. It is difficult because it depends on many nuances, like whether we care about all credit, or simply revolving credit. Your graph is interesting b
26.
by sobellian 1mo ago
You can look at the linked page. It uses "Income in 2024 C-CPI-U (2000-2024) and R-CPI-U-RS (pre-2000) adjusted dollars." I would be interested in a dataset that shows deflated household income over this same period using a reason
27.
by sobellian 1mo ago
I'm just evaluating the claim that household income has deflated for 50 years. So I took the start of the data series at ~60k and compared it against the latest datapoint at ~80k. So I concluded that the data does not support your cla
28.
by sobellian 1mo ago
Household income has not deflated. https://fred.stlouisfed.org/series/MEHOINUSA672N
29.
by sobellian 1mo ago
A few thoughts. - I'm open to seeing information from an AI (I'm fine with an LLM "teaching me") so long as it is high quality. That does require human inspection. - I've seen a related bit about AI-written emails w
30.
by sobellian 1mo ago
Is it fair to say that you're more interested in discussing wealth inequality than environmental policy?

More ›