Sniffnoy

5,442 karmajoined vor 16 Jahren

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 ]

comments

vor 11 Stundendiscuss

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...

vor 16 Stundendiscuss

I think "importance" here is just being rated as 1 to 4 stars. So it's not "second-most important" but rather "one of the top 5 most important". That doesn't change much, but FWIW.

vor 18 Stundendiscuss

People don't talk about the cycle double cover conjecture here because this isn't a math website. Its lack of mention here is therefore poor evidence.

vor 6 Tagendiscuss

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.

vor 9 Tagendiscuss

This is guest post by Cynthia Dwork; that's Dwork's writing, not Aaronson's.

vor 14 Tagendiscuss

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?

vor 14 Tagendiscuss

(2020)

vor 14 Tagendiscuss

I like this explanation of cricket for Americans: https://www.dangermouse.net/cricket/baseball.html

vor 22 Tagendiscuss

The blog post mentions a draft of a manuscript though. I was expecting something like a preprint. He's not willing to post that draft yet?

vor 23 Tagendiscuss

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

letzten Monatdiscuss

  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: [email protected]

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!

vor 2 Monatendiscuss

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.

vor 2 Monatendiscuss

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.

vor 2 Monatendiscuss

> 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.

vor 2 Monatendiscuss

> 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".

vor 2 Monatendiscuss

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

vor 2 Monatendiscuss

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.)

vor 2 Monatendiscuss

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.

vor 2 Monatendiscuss

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.

vor 2 Monatendiscuss

You appear to have commented on the wrong post.