akoboldfrying

4 ms·

1.
by akoboldfrying 5d ago
Absence of money does not at all imply perfect information. The problem you describe would occur equally with an ordinary debt between two parties, or barter, or indeed any system that doesn't entail the (laborious, impractical, necess
2.
by akoboldfrying 5d ago
You mean like he already emphasises in TFA at various points, including the conclusion?
3.
by akoboldfrying 6d ago
Ah, that makes sense, thanks! I was wrong.
4.
by akoboldfrying 6d ago
I think I had the same issue. An L-seam looks to be any (horizontal line segment, vertical line segment) pair having a line segment endpoint in common, at least one of which could not be cut by any sequence of guillotine (end-to-end) cuts.
5.
by akoboldfrying 6d ago
I think you buried the lede a bit -- the "L-seams" in your diagram look like ordinary T-junctions, and I didn't figure out what you meant by the term until your later mention of maximising guillotine cuts (a term you don&#x27
6.
by akoboldfrying 7d ago
Oh, I think we could crank that headline even harder while still keeping one toe on the truth. For example: " Elon Musk's Brain is Two Separate Organs"
7.
by akoboldfrying 7d ago
That, and Every Sentence Is Punchy. Every sentence sounds like it's trying to be in the trailer for a film.
8.
by akoboldfrying 7d ago
Good point, I was wrong. Groups of weights having more zeros will be more likely, so should be favoured. Due to independence there won't be any meaningful difference in frequencies between two groups of weights that have the same numb
9.
by akoboldfrying 7d ago
Thank you, don't know how I missed that!
10.
by akoboldfrying 7d ago
I totally agree. Characterising Google as "flailing" because Gemini isn't the #1 model for coding at the moment is... not realistic, to put it politely. In addition to the factors you mention, Google has enormous cash flow fr
11.
by akoboldfrying 7d ago
I laughed :) I'm not betting against Google at this stage, though. I just don't think Gemini is targeting the same "coding savant" niche as OpenAI and Anthropic. Gemini is fast with good general knowledge, and the TPUs b
12.
by akoboldfrying 7d ago
I was only objecting to this claim in the parent post: > It won't matter what hard problem solving moat you think you have If that is "a new dimension that is irrelevant to the original argument", you'll have to take
13.
by akoboldfrying 7d ago
Yes. But (as a side effect) this has entailed resolving a number of conjectures that have been open for decades, only one of which (the Navier-Stokes blow-up) is attached to any controversy.
14.
by akoboldfrying 7d ago
Impressive work! I have a side question. I looked into the linked Raspberry Pi hacking challenge, and there's something very basic I couldn't figure out: It looks like the relevant script in the repo just writes 0xc0ff 0xffee a fe
15.
by akoboldfrying 8d ago
> Lol no one cares. Most of that is smoke and mirrors anyways. Lol tell me you don't know any practicing mathematicians without telling me you don't know any practicing mathematicians lol.
16.
by akoboldfrying 8d ago
Are you aware of what frontier AI has done to mathematics in the last 6 months?
17.
by akoboldfrying 8d ago
> It won't matter what hard problem solving moat you think you have This is false on its face. There's a reason why a company, even today, would hire John Carmack over a person with no reputation, or offer him a higher salary i
18.
by akoboldfrying 8d ago
I disagree. > AI finding proofs to open problems does not solve at all the question of how to produce new problems, and there is no indication imo that there is way to go with that with AI. This has not yet been explored with AI only bec
19.
by akoboldfrying 9d ago
Agreed. One possible objection might be that they need fast random access to weights, but I skimmed parts of the paper and it looks like they process 128 entries at a time, which to me sounds like it should be amenable to better compression
20.
by akoboldfrying 9d ago
I think the weights are iid distributed, so all 729 patterns will be roughly equally likely. That doesn't make this a bad idea though -- it just means there's no point trying to select the most common 256 to keep, since any 256 wi
21.
by akoboldfrying 9d ago
With the exception of navigation waypoints, none of the things you listed would actually change AFAICT. If the industry as a whole refuses to take measures whose only impact is to drastically improve its efficiency, that would be a net nega
22.
by akoboldfrying 10d ago
Paying for an ad-free service will prevent ads. Example: YouTube Premium.
23.
by akoboldfrying 10d ago
Which are these "human processes in the loop"? We are talking about changing flight schedules, and I'm pretty sure that existing flight schedules are not developed by teams of people with pen and paper, but rather by powerful
24.
by akoboldfrying 11d ago
How to encode all flags in a minimum number of bits: 1. Quantise colours to, say, 8 colours that you can confidently distinguish. Use a scheme that prefers "most commonly used" colours that actually appear in the flags. 2. Render
25.
by akoboldfrying 12d ago
Isn't it obvious? If/when the norm shifts from "googling" everything to asking an LLM, they'll stick ads in Gemini output. They'll probably be less annoying than ads in Google Search results, because people ask
26.
by akoboldfrying 12d ago
Thanks for responding. IIUC, you want companies to pay tax. They already do pay tax; are you asking for the tax rate to be increased? Re whether taxing tokens is fair: I agree that a token from LLM 1 isn't necessarily the same value as
27.
by akoboldfrying 12d ago
1. A for-profit company rationally doesn't want competitors launching products using their code. Why would a non-profit care at all? 2. An app like Signal depends completely on network effects, so there's even less motivation fo
28.
by akoboldfrying 12d ago
Perhaps it shouldn't necessitate it, but I can't think of a good reason why not. If it were expensive to release it, that would be a reason. But it costs roughly zero dollars to create a public repo on GitHub and a cron job to pus
29.
by akoboldfrying 12d ago
TFA ignores that the economic question of whether AIs will take every job depends not only on whether they are capable of doing them, but also the cost of doing them. If it's cheaper to hire an old-fashioned human to do job X, huma
30.
by akoboldfrying 12d ago
What an interesting slice of history.

More ›