lupire

30 ms·

691.
by lupire 2y ago
That's one opinion. The OP and I have a different opinion.
692.
by lupire 2y ago
Asymptotics and stability are different theorems. An algorithm is not a proof. It is a technique for proof. Two algorithms can be different, while not being meaningfully different profs that a list is sortable. To the extent that they are
693.
by lupire 2y ago
A Proof is not a statement. A theorem is a statement. Proofs are usually not completely formal or even formalizable. Math is not completely well founded. "Unravelling it all the way" might be an open research project, or a new co
694.
by lupire 2y ago
There's a simple mechanical transformation from one path to the other. As a proof that "the store is reachable, they are essentially the same if it is already known that you live on a "block" with the store" . If i
695.
by lupire 2y ago
> A couple of years ago I spoke at a conference about mathematics that brought together philosophers, psychologists and mathematicians. The proceedings of the conference will appear fairly soon Can we do better?
696.
by lupire 2y ago
This is a minor technical detail of a well known obvious fact. Research, but news.
697.
by lupire 2y ago
"Ships can't touch diagonally." But it lets you do it and then tells you it's wrong at the end. When the "4" has a strikethrough, the strike is almost impossible to see.
698.
by lupire 2y ago
Failing to set reminders/alarms is core Google technology, #2 only to PageRank itself.
699.
by lupire 2y ago
The trick is to stop watching before the cliffhanger. The cliffhanger is just a advertisement for the next season.
700.
by lupire 2y ago
The Political Party chooses the vice presidential candidate for its Elector. Voters vote for an Elector, not a President/Vice President. An Elector could pledge a different vice presidential candidate, and might get votes. The vast maj
701.
by lupire 2y ago
It's a "veridical paradox". A statement that seems impossible to a naive mindm
702.
by lupire 2y ago
Considering your choice of metaphor, it's clear that the phenomenon existed long before "tech". It is a hallmark of bureaucracy through the ages.
703.
by lupire 2y ago
This is the weightlifter's paradox. Lifting weights never gets easier. Lifting weights and getting strong makes the weights heavier.
704.
by lupire 2y ago
Indeed. People who use Luddite as a slur are ignorant of history and (possibly unwittingly) repeating capitalist propaganda.
705.
by lupire 2y ago
The name of the program is ts-wolfram.
706.
by lupire 2y ago
Not every class is STEM. Are you writing a 4000 word research paper sitting in class?
707.
by lupire 2y ago
Yes, it is simple. This already happens for AP exam grading, for example. Seasonal temporary graders. Happens in tax filing too.
708.
by lupire 2y ago
He's paying for the degree and the professional network. Studying would be a waste of time.
709.
by lupire 2y ago
That's what teaching fellows are for.
710.
by lupire 2y ago
Pure taching positions pay barely minimum wage. Look up "adjunct".
711.
by lupire 2y ago
Working out without the commute saves time.
712.
by lupire 2y ago
2^11-1 (prime power) for a less trivial example
713.
by lupire 2y ago
That's exactly how Bitcoin is designed to autobalance. It's only worthwhile if you believe demand will increase in future.
714.
by lupire 2y ago
Correlation, not causation. Randomized controlled trials of human suffering are not ethically approved research.
715.
by lupire 2y ago
It's a recent development among poor lower class stressed people, not among calm, comfortable successful people
716.
by lupire 2y ago
That makes even less sense.
717.
by lupire 2y ago
It's an educational metaphorical demonstration, not a prejudice.
718.
by lupire 2y ago
Why is "story", which is known to be an accurate model, the preferred model? Why not non-linear dynamical system, epigram, clerihew, or haiku?
719.
by lupire 2y ago
Crazy Ex-Girlfriend did it https://m.youtube.com/watch?v=9Rtvwu75K3I The End of the Movie Starring Josh Groban Featuring rachel bloom So this is the end of the movie Whoa whoa whoa But real life isn’t a movie No no no. You
720.
by lupire 2y ago
That's an obsolete definition that definea reasoning as a simplistic mechanical task explicitly encoded by humans. What LLM is attempting is far beyond that. It's a automated process for creating its own reasoning method.

More ›