woopsn

7 ms·

31.
by woopsn 1y ago
The fundamental driver of the economy will be people, as always, because only people define "value". Word generating machine will not "figure out how to cure cancer" but it could help, obviously. AI is extremely valuable
32.
by woopsn 1y ago
You make a lot of good points. Including that the technology to do all that incredibly dangerous to develop - I still can't see a path to terraforming where in the end it's human people left to take pleasure in Mars. I had thought
33.
by woopsn 1y ago
My impression was that pulverized rock/iron is not actually "soil", so after forming the atmosphere you need lengthy biochemical processes playing out on the surface. I admit though, I don't know too much about this.
34.
by woopsn 1y ago
I didn't think reasonable really has a definition here. The rendezvous with these comets will take centuries or millennia even if we can get out there and kick them the right way (which is much harder than arranging a miss). Only then
35.
by woopsn 1y ago
I recommend The Image by Daniel Boorstin. Smart phone is not the dawn at all but I guess more like high noon. The world is replaced by graphics (more generally , images) for a century at least. Books by "digests", heroism by celeb
36.
by woopsn 1y ago
I would like AI that helps read and understand the text, but don't see real value having textbooks generated by AI.
37.
by woopsn 1y ago
But working with complex numbers I hardly if ever write (a, b) for a+ib, while I use the "escape hatches" all the time. They solve equations that have no real solution, they give me paths from x=-1 to x=1 that don't cross the
38.
by woopsn 1y ago
I guess this PRNG has recurrence period much less than 52! (or wasn't seeded appropriately), so that only sampled a fraction of the distribution "... the system ties its number generation to the number of seconds that have passed
39.
by woopsn 1y ago
If you take N samples of a real signal you will get N/2+1 bins of information from the DFT, covering 0Hz out to about half the sampling rate. The bins do not actually measure a specific frequency, more like an average of the power arou
40.
by woopsn 1y ago
It's depressing how common this accusation is become here. Before LLM idiot ruined everything, you know what? People wrote things you wouldn't like, in a way you wouldn't like. Especially on their blogs. HN so smart though th
41.
by woopsn 1y ago
Convolution with dirac delta will give you an exact sample of f(0), and in principle a whole signal could be constructed as a combination of delayed delta signals - but we can't realize an exact delta signal in most spaces, only approx
42.
by woopsn 1y ago
Does the fact that BB(k)=N is provable up to some k < 748 mean that all halting problems for machines with k states are answered by a proof in ZFC?
43.
by woopsn 1y ago
When was the circle discovered? When it became essential to physics?
44.
by woopsn 1y ago
You need some additional assumptions. Only near equilibrium / thermodynamic limit is system linear in entropy. What governs physical processes such as you mention is conservation, dynamics pushing equipartition of energy - but outside
45.
by woopsn 1y ago
Given that the links work, the quotes were actually said, numbers are correct, cited research actually exists etc we can immediately rule that out.
46.
by woopsn 1y ago
That alone would be revolutionary - but still aspirational for now. The other day Gemini mixed up left and right on me in response to basic textbook problem.
47.
by woopsn 1y ago
If the claims about AI were that it is a great or even incredible chat app, there would be no mismatch. I think normal people understand curing all disease, replacing all value, generating 100x stock market returns, uploading our minds etc
48.
by woopsn 1y ago
If I had to write again I might say "same theorems about natural numbers" and capitalize ROUGHLY. It is a conversation, what exactly I am weaseling around (not just nonstandard model theoretic issues), and I take your caveat about
49.
by woopsn 1y ago
There is another goal in addition to minimizing the number/complexity of axioms. Some "axioms" like induction actually introduce an infinite family of assumptions, a so-called schema. So in addition to working backwards from
50.
by woopsn 1y ago
Axioms are also introduced in practical terms just to make proofs and results "better". Usually we talk in terms of what propositions are provable, saying that indicates the strength/power of these assumptions, but beyond thi
51.
by woopsn 1y ago
It's been longer than that, more than 2 years since Time ran EY's moron piece which put the whole field in disrepute and back on its heels basically. That the community spins out literal murder cults and assassins doesn't hel
52.
by woopsn 1y ago
What is an important question in the objective sense? Is life, or no because that just matter to life? It seems oxymoronic, "objective question", "objectively important". I don't follow GP's sort of solipsist (
53.
by woopsn 1y ago
Rado has many interesting subgraphs, for example the implication graph of every countable theory. Are arithmetic propositions associated randomly? Not as we see it, but in some sense they could be (even iid). It is not the quite the same bu
54.
by woopsn 1y ago
Artificial intelligence is a nourished and well educated population. Plus some Adderall maybe. Those are the key insights which represent the only scientific basis for that term. The crazy thing is that a well crafted language model is grea
55.
by woopsn 1y ago
The "fundamental limiter of human progress" is not energy/intelligence lol. No - surprise, it's people. Bear in mind he builds this "gentle singularity" in the great progressive UAE.
56.
by woopsn 1y ago
When you accept axioms randomly and reject even logical semantics, you wind up working with something like the so-called rado graph of Erdos. Call the first set of assumptions/structure meaningless and choose a new one, also having no
57.
by woopsn 1y ago
The generic unit of information is still the "bit", and the word "word" -- which is not a unit of information, depending on entropy of the encoding -- is still standard terminology in communication theory.
58.
by woopsn 1y ago
Would an alien encountering human language say "whatever it is not fundamentally different from the fact they shed skin cells in each other's space"? > The research, published in Royal Society Open Science, found that thes
59.
by woopsn 1y ago
To be fair the firm's goal is, explicitly, to "replace most economically valuable labor".
60.
by woopsn 2y ago
The article would not be so controversial if it weren't outright saying "fake deadline". Of course you need a plan and a push, and stakeholders legitimately need (if only emotionally) some idea of when the builders will deliv

More ›