gowld

6 ms·

1.
by gowld 5d ago
Updated Sept. 11, 2026 9:49 am ET is less than 30 minutes ago
2.
by gowld 5d ago
re-report here: https://www.stripes.com/branches/navy/2026-09-11/anthropic-a...
3.
by gowld 5d ago
Do you consider every trial defendant to be exonerated?
4.
by gowld 5d ago
Any indictment of LLM needs to distinguish LLM from pocket calculators and books. Calculators and books quietly made reasearch less collaborative. Also, Waymo is an automated taxi service, so it's an exteremly misleading analogy. Taxi
5.
by gowld 5d ago
Currently, the leader of USA national AI policy (Trump admin and OpenAI) is a history Bachelors with no technical training or advanced training of any kind, Dean Ball.
6.
by gowld 6d ago
It's a new presentation, an online hypertext, and uses YouTube publications of 21st Century music as example. https://musictheory.pugetsound.edu/mt21c/frontmatter-5.html
7.
by gowld 6d ago
I would love to have a unicorn pegasus, but some things might just be impossible. Even something as simple as the computer you are posting from is not optimized for human comprehensibilty, in its full detail.
8.
by gowld 6d ago
Even that is overselling it: https://www.cochranelibrary.com/cdsr/doi/10.1002/14651858.CD... > Key messages > We are uncertain whether wearing masks or N95/P2 respirators helps to slow the spread o
9.
by gowld 6d ago
"Seinfeld isn't funny". Hofstadter was one of the pioneers of the "not uncommon" idea.
10.
by gowld 6d ago
I don't quite know what Aaronson is trying to say. First, LLM AI systems have incredibly huge blind spots despite their incredible performance on many tasks, so self-reference might be the key to what's missing (or not). For examp
11.
by gowld 6d ago
> And presumably would go on to add systems to allow them to persecute others they deem to be slackers. According to the story (which seemed to lack a "trunk"), the proposed system was individual essays.
12.
by gowld 7d ago
Create a Meeseek to destroy non-Meeseek AI
13.
by gowld 7d ago
"monic" is a separate switch from the example functions radio-selector. Enabling "monic" removes the leading coefficient.
14.
by gowld 7d ago
From the abstract, a name that many on HN would recognize: > We also give an injective polynomial construction for universal hashing that uses N multiplications to hash 2N values with a single random key. This improves the best previous
15.
by gowld 7d ago
What is the tradeoff between multiplication and addition?
16.
by gowld 7d 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
17.
by gowld 7d 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
18.
by gowld 8d 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
19.
by gowld 8d 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.
20.
by gowld 8d ago
If humans can shovel dirt, then what are the ants for?
21.
by gowld 8d ago
The "proof" is merely an appeal (unreadable program) submitted to a different oracle (Lean).
22.
by gowld 8d 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!
23.
by gowld 8d 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
24.
by gowld 8d 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
25.
by gowld 8d ago
What else could a theorem prove if not its own statement? (barring bugs in Lean, which have been detected and exploited)
26.
by gowld 8d ago
If it happened it's plagiraism. Consent to see data isn't consent to claim priority.
27.
by gowld 12d ago
That's like saying the future of code is Assembler. Lean is not for humans.
28.
by gowld 12d ago
https://en.wikipedia.org/wiki/Bob_the_Builder very common to copy.
29.
by gowld 16d ago
The OP is just a small snippet of plagiarism of an old fact.
30.
by gowld 20d ago
"Australian Recording Industry Association (ARIA)" official charts, not Australia the country's official charts (which probably do not exist).

More ›