HNHacker News
TopNewBestAskShowJobs

snarkconjecture

250 karma · joined June 3, 2022

submissionscomments
snarkconjecture··on Why Does the Universe Expand?
> The standard cosmological model affords no such explanation

Einstein GR → Friedmann eqns → universe can be expanding or contracting

Rest of this amounts to "what about initial conditions? things become divergent at t→0"

Yes, this is called the Big Bang singularity, GR breaks down there. You are not the first person to notice this. It is considered one of the biggest open problems in the field.

The stuff about accelerating expansion is confused (AI?) slop which eventually gets around to admitting that there's no problem at t>0 and no change to the existing problem at t=0, so I don't know why you didn't just cut it.

This is some real "unsolicited snail mail to physics departments"-tier content, even for HN I think it's embarrassing to have this on the front page.

I guess because every code monkey in Silicon Valley has wet dreams about overthrowing the hidebound physics establishment for some reason

snarkconjecture··on Aphantasia Beginner's Guide
On the one hand it's much more realistic and detailed than an after-image; if I picture a red apple, and someone asks what kind of apple it was, I can retroactively say "oh, like a Red Delicious, really dark and shiny and with that concave part, not at all like a Macintosh or whatever. But it was a bit rounder than a normal Red Delicious probably because I was averaging towards a kind of typical 'red apple'."

(FWIW I think I'm near the upper end of detailed visualizing.)

But on the other hand it isn't located in my visual field, it's kind of in its own separate visual field. It doesn't have a spatial relationship to the objects in front of me and doesn't occlude them (although when I'm visualizing something carefully I lose a lot of my awareness of what I'm actually looking at because I'm not attending to it, even if my eyes are wide open).

snarkconjecture··on Be skeptical of OpenAI's rogue hacker agent story
I think the most important question here is whether Huggingface was "in on it" – whether they knew in advance that this was going to happen and agreed to it. Second most important is whether OAI caused this to happen on purpose, with HF as an unwilling target.

Three options:

(1) Both companies are lying through their teeth and the entire thing is bullshit

(2) OpenAI hacked another company's servers and deliberately gambled on felony charges for the sake of PR

(3) OpenAI is telling the truth and a rogue AI agent hacked another company, opening them up to legal liability accidentally

All three of these are a lot more interesting than the "skeptical" story that this is just OAI doing business-as-usual PR hype, nothing to see here, move along.

(FWIW, I strongly doubt HF was in on it.)

snarkconjecture··on Claude Fable produced a counterexample to the Jacobian Conjecture
It's absolutely not a trivial combination of prior work, or mathematicians would've found it already. This was not an obscure conjecture.
snarkconjecture··on Claude Fable produced a counterexample to the Jacobian Conjecture
Checking the counterexample is a Calc II problem. Finding it was beyond the efforts of the best algebraic geometers for almost a century.
snarkconjecture··on Claude Fable produced a counterexample to the Jacobian Conjecture
Current LLMs can absolutely multiply floats without a tool call. In fact, that's a much more rote symbol-manipulation task than doing original math research.
snarkconjecture··on A stray "j" ruined my evening
No, it's ^J because `J` is 0x4A in ASCII and `\n` is 0x0A, just as `I` is 0x49 and `\t` (tab, ^I) is 0x09.

In the stone age, pressing CTRL flipped that bit, so ^J is literally "ctrl-J".

snarkconjecture··on 90% of the T Distribution
Unless I'm mistaken, this uses "standard deviation" to refer to standard error throughout. They differ by a factor of sqrt(num_samples).

This is actually much more commonly useful than the t distribution, in my experience. You can squint at a histogram (or some summary stats), eyeball the stdev, approximate the stderr in your head, and get a pretty good sense of confidence.

I most often find myself doing this for the Bernoulli distribution, where it's also handy to know that the stdev is sqrt(p(1-p)), or "about 1/2 if p is middling, or sqrt(p) when it's small" (and you can flip the polarity to handle p→1).

snarkconjecture··on Shakespeare’s World – I thought this would be simple but
The map contains a bunch of references to America, the West Indies, Guiana, and Mexico. (Often with a connotation of "faraway exotic place" or "exciting new international development".)

He may not have written about the British colonies but the New World was clearly at least somewhat present in his mind and his audience's minds.

snarkconjecture··on Belgium stops decommissioning nuclear power plants
> These reactors can be made safer, but they all still have a foundational design flaw which means the ultimate goal should be replacing rather than continually spending money reinforcing.

This was about the Fukushima reactors that were completely destroyed? In response to a discussion of Belgian reactors that are completely different?

snarkconjecture··on I cancelled Claude: Token issues, declining quality, and poor support
> the underlying working principles are the same as GPT-2

I don't think anyone was claiming otherwise. Sonnet is still better at writing code than GPT-2, and worse than Opus. Workflows that work with Opus won't always work with Sonnet, just as you can't use GPT-2 in place of Sonnet to do code autocomplete.

snarkconjecture··on Framework Laptop 13 Pro
I am much more likely to fault them for omitting important information specifically to hide a weak point of the product rather than out of laziness.
snarkconjecture··on Quine Game
Write a Python quine with three or four hands tied behind your back
snarkconjecture··on Too Much Color
Computer screens have three-dimensional color spaces. Tetrachromacy doesn't change that.
snarkconjecture··on Show HN: What's my JND? – a colour guessing game
Tetrachromacy wouldn't affect a test taken through a phone screen.
snarkconjecture··on Billion-Parameter Theories
Deep neural networks can generalize well even when they're far into the overparametrized regime where classical statistical learning theory predicts overfitting. This is usually called "double descent" and there are many papers on it.
snarkconjecture··on Why do people keep writing about the imaginary compound Cr2Gr2Te6?
It's more like saying pi is approximately "3..14". Easily corrected syntax errors aren't as bad as semantic errors.
snarkconjecture··on Hot take: GPT 4.5 is a nothing burger
Versions numbers for LLMs don't mean anything consistent. They don't even publicly announce at this point which models are built from new base models and which aren't. I'm pretty sure Claude 3.5 was a new set of base models since Claude 3.

What do mean by "it's a 1.0" and "3rd iteration"? I'm having trouble parsing those in context.

snarkconjecture··on Iterated Log Coding
Not really. Dirac's trick works entirely at a depth of two logs, using sqrt like unary to increment the number. It requires O(n) symbols to represent the number n, i.e. O(2^n) symbols to represent n bits of precision. This thing has arbitrary nesting depth of logs (or exps), and can represent a number to n bits of precision in O(n) symbols.
snarkconjecture··on QwQ: Alibaba's O1-like reasoning LLM
I think it's better phrased as "find the best rule", with a tacit understanding that people mostly agree on what makes a rule decent vs. terrible (maybe not on what makes one great) and a tacit promise that the sequence presented has at least one decent rule and does not have multiple.

A rule being "good" is largely about simplicity, which is also essentially the trick that deep learning uses to escape no-free-lunch theorems.

snarkconjecture··on Wealth Distribution in the United States
For the individuals shown in the graph, this buys about $6k per American (and after the first year you can't do it again).
snarkconjecture··on The bunkbed conjecture is false
There are two kinds of naturalness principle in physics, sometimes called "technical naturalness" and "Dirac naturalness" respectively.

Dirac naturalness is as you describe: skepticism towards extremely large numbers, end of story. It has the flaw you (and every other person who's ever heard it) point out.

Technical (or t'Hooft) naturalness is different, and specific to quantum field theory.

To cut a long story short, the "effective", observable parameters of the Standard Model, such as the mass of the electron, are really the sums of enormous numbers of contributions from different processes happening in quantum superposition. (Keywords: Feynman diagram, renormalization, effective field theory.) The underlying, "bare" parameters each end up affecting many different observables. You can think of this as a big machine with N knobs and N dials, but where each dial is sensitive to each knob in a complicated way.

Technical naturalness states: the sum of the contributions to e.g. the Higgs boson mass should not be many orders of magnitude smaller than each individual contribution, without good reason.

The Higgs mass that we observe is not technically natural. As far as we can tell, thousands of different effects due to unrelated processes are all cancelling out to dozens of decimal places, for no reason anyone can discern. There's a dial at 0.000000.., and turning any knob by a tiny bit would put it at 3 or -2 or something.

There are still critiques to be made here. Maybe the "underlying" parameters aren't really the only fundamental ones, and somehow the effective ones are also fundamental? Maybe there's some reason things cancel out, which we just haven't done the right math to discover? Maybe there's new physics beyond the SM (as we know there eventually has to be)?

But overall it's a situation that, imo, demands an explanation beyond "eh, sometimes numbers are big". If you want to say that physical calculations "explain" anything -- if, for example, you think electromagnetism and thermodynamics can "explain" the approximate light output of a 100W bulb -- then you should care about this.

snarkconjecture··on The Webb Telescope further deepens the Hubble tension controversy in cosmology
She's saying that a different model -- one of the three disagreeing methods for distance ladder measurements -- must be wrong, because they disagree with each other. But if one or more of those models are wrong, then there's not much evidence that the LambdaCDM model is wrong.

Conversely, the hypothesis that LambdaCDM is wrong does nothing to explain why the distance ladder methods disagree.

She clearly isn't saying that any model is infallible, she's just saying that clear flaws with one set of models throw into question some specific accusations that a different model is wrong.

You actually need to pay attention to the details; the physicists certainly are. Glib contrarianism isn't very useful here.

snarkconjecture··on Tsung-Dao Lee, physicist who challenged a law of nature, has died
It's the magnetic field that has the arbitrary sign convention. You can't determine the direction of a magnetic field from observations without using the right hand rule.
snarkconjecture··on What Is Entropy?
That definition doesn't work well because you can have changes in entropy even if no energy is transferred, e.g. by exchanging some other conserved quantity.

The side note is wrong in letter and spirit; turning potential energy into heat is one way for something to be irreversible, but neither of those statements is true.

For example, consider an iron ball being thrown sideways. It hits a pile of sand and stops. The iron ball is not affected structurally, but its kinetic energy is transferred (almost entirely) to heat energy. If the ball is thrown slightly upwards, potential energy increases but the process is still irreversible.

Also, the changes of potential energy in corresponding parts of two Carnot cycles are directionally the same, even if one is ideal (reversible) and one is not (irreversible).

snarkconjecture··on A Dramatic Reading: I Will Fucking Piledrive You If You Mention AI Again
It's not a dupe.

"I commissioned a professional voice actor to give a full dramatic reading of that blog post."

snarkconjecture··on Well-known paradox of R-squared is still buggin me
R squared has extremely nice properties. If you add a bunch of linearly uncorrelated variables together, then compute R² between each variable and the sum, the R² values will sum to 1.
snarkconjecture··on Ultraviolet Superradiance from Networks of Tryptophan in Biological Systems
I don't think the study authors would endorse the claim that this meaningfully lends credence to Penrose's theories about consciousness. Quantum effects are all over chemistry; that's nowhere near sufficient to provide much evidence of quantum computation happening, which in turn would not necessarily suggest any kind of explanation of consciousness.

Nobody is skeptical about quantum effects (of this sort) happening in biochemistry. All of the skepticism Penrose faces is about the quantum computation and consciousness parts. So this paper won't change anyone's minds about Penrose.

snarkconjecture··on Unix forking the universe by running IBM's free online quantum computer
Quantum computers are generally more powerful in the sense that they can solve a larger set of problems in polynomial time.

i.e. BPP is contained in BQP but the converse is thought to be false.

snarkconjecture··on Atomic nucleus excited with laser: A breakthrough after decades
That sounds like the opposite of what graycat was suggesting.
Page 1 of 3Next →