gowld

6 ms·

31.
by gowld 20d ago
A lot of the value (compensation cost) of having a single leader is that the leader becomes a critical, irreplacable bottleneck and silo of information. AI can solve that by removing the bottleneck.
32.
by gowld 22d ago
> Sadly there's a rule not letting you use a known letter more than once in a word (once A is known, you can't write ALPHA), That rule doesn't make sense. What if the answer is AORTA, and you want to guess ALBUM and then A
33.
by gowld 27d ago
Meter is a very basic part of English poetry that is usually taught. Almost all popular music and poetry has meter.
34.
by gowld 27d ago
Obligatory "To Be or Not to Be" https://youtu.be/iQULEW2JwHE
35.
by gowld 27d ago
That's why The Taming of The Shrew is recommended for children. The bawdiness s straightforward.
36.
by gowld 28d ago
But the "computer" is magic, to you. I could prove anything by claiming I completed a trivial-to-explain exhaustive search. The only support or refutation would be someone doing their own search. It's a very weak foundation
37.
by gowld 28d ago
Why should you trust that the relatively small core of Lean is correct? The core of Lean got a lot less correct when a well-meaning AI system probed Lean for corner cases (bugs) that would "prove" a false conjecture. Corner cases
38.
by gowld 28d ago
Math humans can use but not understand is called engineering. -- paraphrase of Bill Hammack, https://engineerguy.com https://www.youtube.com/@engineerguyvideo
39.
by gowld 28d ago
How slow is "very slow" ? What is "certain source code"? Why is the OP being so coy about describing the problem? Here is the form: https://source.android.com/opensourcerequest This is interesting: >
40.
by gowld 28d ago
Need bordless phones and a frame to clip them together
41.
by gowld 1mo ago
"Good" is subjective, but I found this OOTB sufficiently information-dense and easy-to-customize: https://claude.ai/share/ac747c6d-2a62-40b7-b33e-06a94cf34344
42.
by gowld 1mo ago
"backdoors" aren't holes, they are well-documented superuser APIs. The hack will be by compromising the API user's credentials (moles, stolen passwords, etc), not compromising the server's design intent.
43.
by gowld 1mo ago
How much API usage cost (or what subscription did it fit in)?
44.
by gowld 1mo ago
> the very short disproof of the Jacobean Conjecture. That's a counterexample (finding a needle in a haystack), not an elegant proof. Proving the conjecture would be elegant, if it were true but somehow still resisted proof nearly a
45.
by gowld 1mo ago
That's trivially solvable by deploying multiple AIs on one project, so that can't be the true obstacle.
46.
by gowld 1mo ago
One question I have about ARC-AGI-3 is how much it depends on vision ability, which has a substantial hardware component that isn't "General" "Intelligence". What happens if the game is encoded in a non-visual logic
47.
by gowld 1mo ago
You wrote: > > It's the cumulative knowledge of all general human intelligence, baked into an artificial form, which can then use that knowledge to achieve novel goals. But it (currently) can't solve puzzles like ARC-AGI-3
48.
by gowld 1mo ago
Or Sundar wanted Demis to change to work on other things.
49.
by gowld 1mo ago
"Solar PV with storage = solar PV installation paired with four-hour duration battery storage, scaled to 20% of the output capacity of the solar PV." Sometime the sun goes away for more than 4hrs. That may be OK for closed-ended s
50.
by gowld 1mo ago
It's a lot easier to automatically detect a match to 1 specific thing than detect a match to a completely novel thing that offends sensibilities in a similar way to other things.
51.
by gowld 1mo ago
That's solved by either private monopoly charging money to fund investment, or public monopoly raising taxes to fund investment.
52.
by gowld 1mo ago
It's a lot more complicated than that -- Solar is great for discretionary, opportunistic, and time-shiftable additive demand, but not for replacing all-day baseline load. Using solar to dip into baseline demand sometimes is catastrop
53.
by gowld 1mo ago
No, Flock plays a semantic game where data on Flock's servers os "owned" by the client, so Flock is not responsible for the content or management of the data.
54.
by gowld 1mo ago
Solve what problem? My hammer can't drive screws. Is that a problem to solve?
55.
by gowld 1mo ago
> In any research phd course you're actively told to bite off something small and likely to be provable so that you can prove it (and publish it). But that's the start of math research, not the end. The point is to get practi
56.
by gowld 1mo ago
Did you know that "revolutationary" is not equivalent to "useful", and "revolutionary" is quite ambiguous?
57.
by gowld 1mo ago
What you are doing is "motte and bailey". The motte is "AI useful". The bailey is "Singularity is nigh".
58.
by gowld 1mo ago
Why does Twitter show a reply "Yah" from a random fan? xcancel shows a whole stream of thoughtful discussion.
59.
by gowld 1mo ago
The WalMart Waltons are a "family" At the core, "Family-owned" just means nepotism is preferred over merit. (The mob is also "Family-owned")
60.
by gowld 1mo ago
better: before submitting the code, ask LLM to quiz you for understanding the code.

More ›