gowld

5 ms·

31.
by gowld 16d ago
See Sarte on anti-Semitism: https://www.goodreads.com/quotes/7870768-never-believe-that-... Never believe that anti-Semites are completely unaware of the absurdity of their replies. They know that their remarks are fri
32.
by gowld 16d ago
Trap steets (fake data with no creative expression) are not copyrightable un USA, but specific art for drawing maps is. https://en.wikipedia.org/wiki/Trap_street
33.
by gowld 17d ago
> The strongest and most consistent predictors of next-week SA included within-study history of SREs (from adult lasso regression: OR = 1.47) and self-reported agitation (OR = 1.11), whereas odds of next-week SA were decreased for survey
34.
by gowld 17d ago
Cioran was a pessimist and a nihilist (and a blowhard) and interested in the idea of suicide, but never suicidal in the first place.
35.
by gowld 17d ago
If humans can shovel dirt, then what are the ants for?
36.
by gowld 17d ago
The "proof" is merely an appeal (unreadable program) submitted to a different oracle (Lean).
37.
by gowld 17d ago
> the Clay millennium prize problems augmented Hilbert's problems of 1900. Surely mathematicians are creative enough to ask new questions? If not, then the next set of challenges will be to find questions to ask!
38.
by gowld 17d ago
There seems to be a sense wher mathematicians are gamifying math, but are frustrated that AI labs are better at gamifying math. If an AI solves a problem in an unenlightening way, then there's no reason for mathematicians to stop study
39.
by gowld 17d ago
> I didn't realize that open math problems were a finite resource. There's an interesting commentary about this: https://mathstodon.xyz/@tao/117237320796901560 > famous mathematician (Gauss?) dismissin
40.
by gowld 18d ago
What else could a theorem prove if not its own statement? (barring bugs in Lean, which have been detected and exploited)
41.
by gowld 18d ago
If it happened it's plagiraism. Consent to see data isn't consent to claim priority.
42.
by gowld 22d ago
That's like saying the future of code is Assembler. Lean is not for humans.
43.
by gowld 22d ago
https://en.wikipedia.org/wiki/Bob_the_Builder very common to copy.
44.
by gowld 26d ago
The OP is just a small snippet of plagiarism of an old fact.
45.
by gowld 1mo ago
"Australian Recording Industry Association (ARIA)" official charts, not Australia the country's official charts (which probably do not exist).
46.
by gowld 1mo 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.
47.
by gowld 1mo 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
48.
by gowld 1mo ago
Meter is a very basic part of English poetry that is usually taught. Almost all popular music and poetry has meter.
49.
by gowld 1mo ago
Obligatory "To Be or Not to Be" https://youtu.be/iQULEW2JwHE
50.
by gowld 1mo ago
That's why The Taming of The Shrew is recommended for children. The bawdiness s straightforward.
51.
by gowld 1mo 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
52.
by gowld 1mo 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
53.
by gowld 1mo ago
Math humans can use but not understand is called engineering. -- paraphrase of Bill Hammack, https://engineerguy.com https://www.youtube.com/@engineerguyvideo
54.
by gowld 1mo 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: >
55.
by gowld 1mo ago
Need bordless phones and a frame to clip them together
56.
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
57.
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.
58.
by gowld 2mo ago
How much API usage cost (or what subscription did it fit in)?
59.
by gowld 2mo 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
60.
by gowld 2mo ago
That's trivially solvable by deploying multiple AIs on one project, so that can't be the true obstacle.

More ›