HN user

Sniffnoy

5,444 karma

I potato what I potato and that's all that I potato.

http://www-personal.umich.edu/~haltman/

(See site for email address.)

[ my public key: https://keybase.io/sniffnoy; my proof: https://keybase.io/sniffnoy/sigs/xjplnllrakRjVORnG-ZvoONp-nF-wo0ZPFFJG8Tp-Zw ]

Posts13
Comments1,473
View on HN

You can, in fact, predict the effect of an atomic bomb without detonating it. Sure, you can't have the same certainty as if you'd detonated it -- empiricism is important; they tested the Fat Man design for a reason. But you may also recall that they were sufficiently confident in the Little Boy design that that one they didn't bother testing, and as it turned out, they were correct in their confidence. That's the power of understanding.

Which is to say, empiricism is important, but if your practice of empiricism is purely looking at what happened before and predicting that things will continue in that vein, rather than using your empirical observations to actually form a model of the world that will allow you to make more general predictions, you're not really using the full power of your intelligence. This is the sort of mistake that led many to not prepare for the covid pandemic, for instance! Meanwhile, others looked at what was going on, realized it wouldn't stay confined like it currently was, realized that it would get much bigger, and prepared.

"I'll believe it when it happens" can be a decent guideline a lot of the time, yes, but at some point you have to actually think. Evidence often comes not in the form of prior similar events, but in the form of models or arguments. To discount these as non-evidence is to blind oneself!

I was confused at first when you asked if the 8-flow is relevant, when like, the 8-flow is a key input that the cycle double cover is built out of. Then I realized, oh, I guess technically they're not using the 8-flow, they're using the Z_2^3-flow. But like. The existence of an 8-flow and the existence of a Z_2^3-flow are equivalent, and I gather most graph theorists are going to talk about it in terms of the existence of an 8-flow, so noting that having a Z_2^3-flow is equivalent to having an 8-flow helps the reader to put this information in context.

I'm not sure why you find this proof so hard to read. I found it mostly quite readable (and the definition of L is straightforward? I wouldn't have written it quite that way but it's hardly inscrutable), although I feel like some parts are maybe lacking some exposition to explain the reason for certain things -- it doesn't feel written "in order". I also don't like that it's not cleanly separated into theorems and proofs -- some of the proof occurs in parts that aren't set off, for instance, and there isn't even a proper main theorem statement! But overall I was able to get through it without a lot of trouble and I'm not even a graph theorist...

Based on the title, I was expecting this to be about the idea of power transmission via microwave (as seen in e.g. SimCity), but actually it's about microwave communications links used by electrical companies.

I feel like you ought to be go lower than 17, down to 9, by not counting the 3 generations of fermions as distinct (so you've just got up-type quark, down-type quark, electron-type particle, and neutrino). After all, if they can mix with one another, should they really be considered entirely different particles?

I put in my name, and four boxes popped up -- one for "American mathematician", one for "spelling bee contestant", one for "American poker player", and one for "fitness industry entrepreneur".

In fact, both of the first two are me, but I wonder if Claude Opus 4.8 (the only one that hit both of those two) realizes they're the same person? :P

  Location: New York City
  Remote: Yes
  Willing to relocate: If it's on the east coast, yeah maybe
  Technologies: JavaScript, TypeScript, C, Haskell, Solidity, C#, MUMPS
  Resume: https://haltman.neocities.org/resume.pdf
  Email: harry.j.altman@gmail.com
Hi, I'm Harry Altman! I was the maintainer of Truffle Debugger (https://github.com/ConsenSys-archive/truffle/tree/develop/pa...), a Solidity smart contract debugger, for 5 years. I eventually ended up writing my own decoding and encoding libraries to support it, as well as a bunch of other things.

I'm good at this sort of nitpicky work, spotting and thinking about edge cases. I like getting things exactly right, even though that obviously isn't always possible due to various constraints. I've been kind of wondering if I should get into embedded development; I find it appealing when things are low-level or similarly constrained. I've beaten Microcorruption. :) (The original levels, I haven't played the new ones.)

I'm also quite interested in unusual or obscure data formats, and working on Truffle Debugger and its associated libraries certainly involved a bunch of having to figure undocumented formats and interfaces. :) I put down above what languages I've worked substantially in but I'd say I'm a generalist and will figure out whatever you give me (I knew approximately no Javascript, Typescript, or Solidity when I started working at Consensys).

I'm a mathematician by background and in my spare time, so after the Truffle Debugger project was shut down I took some time off to focus on my mathematical projects, including old ones I've been shepherding through publication. But now I'm looking for work again! If you need someone like me, I'm available for hire!

I don't understand what you're trying to imply here. Yes, he co-authored a report. What is supposed to be dangerous or suspicious about this? What does your statement about "reputational consequences" have to do with your original comment, which implies that this some indicates a bias on his part?

It seems to me like you're trying to somehow imply that writing things to convince people of what you believe is somehow nefarious? It isn't! It's what we're all doing here right now! Putting it in a format that certain people will take more seriously doesn't make it nefarious either. I am quite confused by your point of view here.

Yes, I was surprised he never discussed the idea that such exponentials are typically made of stacked sigmoids.

That said... if the exponential is made of stacked sigmoids, it's still an exponential on the whole! The fact that it's made of stacked sigmoids is relevant to the engineers making it, but not so relevant to the users or those otherwise affected by it.

He's taken a side.

Yes, that's called "having an opinion". Typically people writing argumentative pieces are doing so because they have a belief about the matter. I'm not sure what exactly you expect here.

if he's wrong I would hope he owns up to it

I think Scott Alexander is pretty good about that.

FYI: The author has predicted that "AGI" will be here in 1-2 years and has staked his public reputation on it. He is personally invested in trendlines being lindy rather than sigmoid.

I mean, that's called "having an opinion".

Low Frequencies 2 months ago

Oy, the title mangler mangled the title. Any chance the title could be fixed here? It's supposed to be "Extremely Low Frequencies".

Facebook does, I'm not sure why it didn't in your case. It adds an "fbclid" parameter that is quite long. I just tried it to confirm.

Edit: Perhaps it only mangles links for logged-in users? That raises the possibility that some of the others may also only affect logged-in users.

(Trying with other ones I'm logged in on: Reddit doesn't mangle (obviously), Twitter doesn't mangle.)

I mean there are modified gravity candidates other than MOND. I think those are worth more consideration. MOND seems pretty well disproven at this point, yet somehow it's still what people focus on in terms of modified gravity! Where are the tests of other modified gravity theories?

Indeed, in terms of the negatives of MOND, I'll go further than you -- MOND barely explains galaxy rotation curves at all. When you look at the actual rotation curves compared to MOND's predictions, well, yes MOND does better than Newton w/o dark matter, but it's still pretty heavily fudged. If you have to fudge it that much, it seems to me there's no point. So I'd say that really MOND doesn't explain any of the three.

I mean, there are modified gravity candidates other than MOND. I think people should perhaps give more consideration to those and not focus on MOND as their idea of modified gravity. I feel like the evidence is pretty well against MOND at this point. But other ideas of modified gravity, that aren't MOND-like, may still be worth considering. Framing it as "dark matter vs MOND" implicitly excludes these and I think that's a mistake.

  Location: New York City
  Remote: Yes
  Willing to relocate: If it's on the east coast, yeah maybe
  Technologies: JavaScript, TypeScript, C, Haskell, Solidity, C#, MUMPS
  Resume: https://haltman.neocities.org/resume.pdf
  Email: harry.j.altman@gmail.com
Hi, I'm Harry Altman! I was the maintainer of Truffle Debugger (https://github.com/ConsenSys-archive/truffle/tree/develop/pa...), a Solidity smart contract debugger, for 5 years. I eventually ended up writing my own decoding and encoding libraries to support it, as well as a bunch of other things.

I'm good at this sort of nitpicky work, spotting and thinking about edge cases. I like getting things exactly right, even though that obviously isn't always possible due to various constraints. I've been kind of wondering if I should get into embedded development; I find it appealing when things are low-level or similarly constrained. I've beaten Microcorruption. :) (The original levels, I haven't played the new ones.)

I'm also quite interested in unusual or obscure data formats, and working on Truffle Debugger and its associated libraries certainly involved a bunch of having to figure undocumented formats and interfaces. :) I put down above what languages I've worked substantially in but I'd say I'm a generalist and will figure out whatever you give me (I knew approximately no Javascript, Typescript, or Solidity when I started working at Consensys).

I'm a mathematician by background and in my spare time, so after the Truffle Debugger project was shut down I took some time off to focus on my mathematical projects, including old ones I've been shepherding through publication. But now I'm looking for work again! If you need someone like me, I'm available for hire!

  Location: New York City
  Remote: Yes
  Willing to relocate: If it's on the east coast, yeah maybe
  Technologies: JavaScript, TypeScript, C, Haskell, Solidity, C#, MUMPS
  Resume: https://haltman.neocities.org/resume.pdf
  Email: harry.j.altman@gmail.com
Hi, I'm Harry Altman! I was the maintainer of Truffle Debugger (https://github.com/ConsenSys-archive/truffle/tree/develop/pa...), a Solidity smart contract debugger, for 5 years. I eventually ended up writing my own decoding and encoding libraries to support it, as well as a bunch of other things.

I'm good at this sort of nitpicky work, spotting and thinking about edge cases. I like getting things exactly right, even though that obviously isn't always possible due to various constraints. I've been kind of wondering if I should get into embedded development; I find it appealing when things are low-level or similarly constrained. I've beaten Microcorruption. :) (The original levels, I haven't played the new ones.)

I'm also quite interested in unusual or obscure data formats, and working on Truffle Debugger and its associated libraries certainly involved a bunch of having to figure undocumented formats and interfaces. :) I put down above what languages I've worked substantially in but I'd say I'm a generalist and will figure out whatever you give me (I knew approximately no Javascript, Typescript, or Solidity when I started working at Consensys).

I'm a mathematician by background and in my spare time, so after the Truffle Debugger project was shut down I took some time off to focus on my mathematical projects, including old ones I've been shepherding through publication. But now I'm looking for work again! If you need someone like me, I'm available for hire!

Also, the form that appears in the article isn't really a joke. A big part of what makes the original funny isn't just the form of the "attack" but the content itself, in particular the contrast between the formality of "disregard that" and the vulgarity of "I suck cocks". If it hadn't been so vulgar, or if it had said "ignore" instead of "disregard", it wouldn't be so funny.

Edit: Also part of what makes it funny how succinct and sudden it is. I think actually it would still be funny with "ignore" instead of "disregard", but it would be lessened a bit.

Right off the bat this guy is wrong. Nobody in their right mind would bet that the regime would collapse swiftly.

That "nobody in their right mind" would bet this does not, in fact, contradict his assertion that somebody did!

Summary: He created 4 hard-to-key shots, and on each of them tried KeyLight, IBK, and Corridor Key. Overall on 3 of them he judged that Corridor Key had done the best job, on one of them he judged that IBK had done the best job. I think on all of them he judged that more work was still necessary, none of them was fully usable as-is.