pull down to refresh
@adlai
stacking since: #1195179longest cowboy streak: 4
PSA: do not upvote, AI-slop bot
... now I'm tempted to mute1 you, for producing human slop.
There's a remote chance you use the same client for all forums, and the word "upvote" has calcified so far in your default mode network that you honestly believe it's a word worth preserving... consider defending it.
Footnotes
-
please see an earlier comment of mine if you're still building heuristics for impermanent muting ↩
Bitcoin is entropic
please use markdown headings in your next post
# Example
an example of markdown headings
## Details
I think the nesting allows only one additional level
Bitcoin is entropic
yeah I heard you the first time, the truth value is still zero, like the beginnings of the index keys in the data that the Bitcoin things create; and like those root hashes, the more interesting parts are the nonzero truth values, although unfortunately I'm a much better penpal against structured text.
There's a reason second editions are usually cheaper, although it doesn't fit within a single sentence.
Maybe @Scoresby can write a nice distillation of it, after the Bitcoin experiment has been resolved someway, and all the remaining human stackers have become addicted to his markdown.
But if they plead guilty, what are you going to pardon? A guilty man? Then is all a theater... as it is in fact.
By definition, pardons are forgiveness of a crime, in the case where the person is guilty.
There have been several cases where people have refused conditional pardons, specifically because of the same ideological stance you have: accepting the pardon would implicitly mean that they were admitting guilt, whereas innocence needs no pardon, it is simply innocent.
I've been reading slop and news about slop daily for over a year, and only now I noticed the similarity between "Claude" and "Cloud".
I guess it shows I've not been reading Reddit much, I recall that sort of pun being all over the place in the comments there.
Anything in the blocks that get reorg'd out is gone, so that includes block subsidies.
I think your "anything" is overly general; transactions that are valid on either chain will probably get "sniped" across. The miners restoring these on the new chain would get paid fees from the transactions, and the people who had originally broadcast them would probably even be relieved that their transactions had returned to confirmed status.
I fear the Animal Farm reference might be lost on most people. SN might not be a representative sample, although in my experience even 1984 is more familiar to most people as a memeplex than an actual book that anyone has read.
also, wouldn't the similar question be quite unpleasant if phrased about other people? compassion shouldn't be modulated by an intelligence test... it is subjective enough already, simply due to unconscious and uncontrollable biases.
Thank you for linking this; to my taste, too much of news about AI/LLMs is some combination of opinions, predictions, and shallow promotions of experiments at gluing the existing tech into a new domain, and not enough research into understanding the training process and its resulting models.
Admittedly, my disappointment might be more due to where I source news.
well some people specifically practice lightning calculation; similarly to how some kid who grew up playing catch might keep on practicing with friends or the next generation, despite not needing the affordance.
I think lightning calculation has always had a bit of an "autistic savant" reputation, because it is so sterile when compared to even things like playing chess or solving a Rubik's Cube.
there's a common joke among mathematicians, that as your mathematical mind develops, so does your arithmetic computer atrophy.
I think it's quite understandable; as a mind becomes aware of more useful kinds of numbers1, and more kinds of patterns2 that enable computational tricks, there is a temptation to explore new possibilities rather than charge forth along whichever computational path was learned at a younger age.
I honestly don't think that the capability of reckoning accurately and rapidly in decimal base is worth retaining at grade-school levels. Even if you're e.g. checking over a bill at a restaurant, the important tasks are probably remembering who ordered what and comparing the billed prices to the listed ones, rather than verifying that their point-of-sale performed arithmetic correctly.
Footnotes
-
most useful kinds are ideals or fields; the most familiar ideals are multiples of any prime, while e.g. "all ratios with a power of two in the denominator" is a field ↩
-
consider the trick of doubling and shifting the decimal point left, as a shortcut for
multiplyingdividing by five; it's only the first in an infinite series of similar tricks, formultiplyingdividing by powers of five ↩
I find the effect of LLMs on this interesting: there's probably reduced pressure on humans to copyedit their own words now that producing text which is "too perfect" will win you the scorn of people [and bots...] who reflexively accuse anything of above average punctuation and grammar quality to be superhuman; this reduced pressure means greater variance in the range of spellings and grammar produced and tolerated by people, possibly accelerating dialectical drift.
bigger crews start roasting the smaller ones for how they talk and for using some less common words
it's a double-edged sword; dialect markers are also used for exposing outgroup members, e.g. how locals can recognize that some visitor is a tourist, possibly even from a foreign nation rather than just the next town over.
It's really unfortunate they used the word "eat"; if you think about microbe metabolism, and analogizing the various processes to those with which we as macroscopic animals are more familiar, then a much more accurate verb is probably "breathe".
These guys are truly a completely different species of chimp from me.
you might find this video about one specific AI proof easier for building your intuition, because it focuses on a geometrical problem rather than number theory.
Appears he recently raised $120M for this startup which seems quite a large sum for a mathematics startup... curious how investors expect to get their money back.
Off the top of my mind, two possible sources for a finite1 valuation are the possibility of getting acquired for the technology, and the possibility of selling a service that is used by customers who value mathematical rigor [e.g. aerospace engineers]. I agree that $120M is a lot, especially given how rapidly any bored undergraduate from almost any STEM field could vibe code a theorem proving agent as a semester project by gluing together open source tools.
Footnotes
-
rather than infinitesimal ↩
source the quote, please...
edit: the reply to this comment has the anchored link, although I was hoping more for something along these lines:
Thomas Bloom, Research Fellow at the University of Manchester.
Creator and maintainer of [erdosproblems.com]
should have made my complaint more specific!
edit: It's doubly unsurprising when you consider how much of what Erdos left mathematics was statements of open problems... his productive time [which was allegedly almost all of his waking hours] was spent either mercilessly roping his friends into coathoring papers with him on his ever-growing list of problems, or brainstorming interesting problems for future papers. So it's much less surprising that an Erdos problem has been attacked successfully, than e.g. a Hilbert problem.
It's not too surprising; lots of the challenges in mathematics are related to comprehensibility, not reachability.
Consider the following thought experiment:
Think of the space of all sequences of all ASCII characters; most of these are noise, right? Not even slop, just noise.
Narrow down the space, radically, to all LaTeX programs; most of these are invalid, or garbage, right? Not even slop, just garbage that you can feed a compiler to heat your computer.
Narrow the space down further, to all LaTeX programs producing renderable documents... still, we're far from anything useful, as this is essentially what the "million monkeys at a million typewriters" produce, although with less animal cruelty.
Now things get interesting: narrow down the space to the LaTeX programs that produce documents beginning with a list of axioms, and continuing with a series of propositions. Most won't be logical, although some tiny vanishing fraction of these will be valid mathematical proofs.
Are any of them proving anything new? Are any of the proofs simpler than the ones found by schoolchildren? Do any of these help us figure out which concepts are worth spending words to name, rather than considering them merely some intermediate noise which lives and dies within the span of one convoluted proof?
FYI, I HAVEN'T ZAPPED YOUR LINK YET !!!!!!!!!