Sniffnoy

6 ms·

61.
by Sniffnoy 9mo ago
Huh, is that legal? I mean I guess it is when the power company is the customer, as they talk about, but otherwise?
62.
by Sniffnoy 9mo ago
Location: New York City Remote: Yes Willing to relocate: Maybe if it's on the east coast Technologies: JavaScript, TypeScript, C, Haskell, Solidity, C#, MUMPS Resume: https://haltman.neocities.org/resume.pdf
63.
by Sniffnoy 9mo ago
20% is a lot of people! If 20% of people think something is true, that's something worth arguing against! "Straw man" strictly speaking means something you invented, although, yes, that is likely overly strict, since you can
64.
by Sniffnoy 9mo ago
Why do you say it's a strawman? All of those claims seem pretty familiar to me, even if, as the post says, the full exact combination might not be. You say you never assume it's in bad faith. Well, great! But that doesn&#x27
65.
by Sniffnoy 10mo ago
I'm really wondering whether this is true, but haven't found anything definitive on the matter...
66.
by Sniffnoy 10mo ago
> But choosing foundation has real implications on the mathematics. You can have a foundation where every total function on the real numbers is continuous. Or one where Banach–Tarski is just false. I mean, mathematicians do care about th
67.
by Sniffnoy 10mo ago
Yacc is Yet Another Compiler Compiler, not Yet Another C Compiler. It's useful for writing compilers, not for compiling C.
68.
by Sniffnoy 10mo ago
Then edit it, it's Wikipedia!
69.
by Sniffnoy 10mo ago
Non-AMP link: https://www.elitejetsetter.com/snow-ghosts-big-white/
70.
by Sniffnoy 10mo ago
Worth noting that the addition of the interlinear annotation characters was quite controversial, with many commenting that this simply is not plain text and as such does not belong in Unicode. I'm not clear on how it made it in anyway
71.
by Sniffnoy 11mo ago
So... where does it get its ATP? The article says it's lacking pretty much all metabolism -- does that include cellular respiration and/or fermentation? Does it just get its ATP all from its host, or does it make some itself and
72.
RuBee(computer.rip)
347 points by Sniffnoy 11mo ago|61 comments
73.
by Sniffnoy 11mo ago
I'm pretty sure he means they did the problem by first figuring out the numbers a and b. That's the slow way. I can reveal the fast way if you want, but maybe you should think about it a bit more first! :)
74.
by Sniffnoy 11mo ago
In this copy, the letter sigma appears to have been replaced by å, presumably due to an encoding error...
75.
by Sniffnoy 11mo ago
Location: New York City Remote: Yes Willing to relocate: Probably not Technologies: JavaScript, TypeScript, C, Haskell, Solidity, C#, MUMPS Resume: https://haltman.neocities.org/resume.pdf Email: harry.j.altman
76.
by Sniffnoy 11mo ago
Thank you!
77.
by Sniffnoy 1y ago
The record's been lowered since then, I should note. At least down into the 600s, I've seen claims of down in the 400s. But I haven't really kept up with this.
78.
by Sniffnoy 1y ago
An interesting post I read recently about why we haven't: https://svpow.com/2024/09/07/were-not-going-to-run-out-of-ne... Of course, that's specifically about human anatomy. In this case we'
79.
by Sniffnoy 1y ago
What I'm really wondering is, how much do different memory timing models affect the theory of algorithms? Everyone here is used to thinking of memory-access as constant-time, but in the theory of algorithms, the standard model used is
80.
by Sniffnoy 1y ago
> Vajra and Vajra 2 - A pair of LaserActive-exclusive rail shooters by Data West Wait, Data West ? Apparently there was indeed such a company: https://www.mobygames.com/company/6613/data-west/ They'
81.
by Sniffnoy 1y ago
Looks like the title-mangler mangled this title.
82.
by Sniffnoy 1y ago
Funny, I remember Gwern asking why people don't do this more often: https://gwern.net/blog/2022/pdf-forgery
83.
by Sniffnoy 1y ago
Gwern has some good comments on Project Xanadu and why it failed: https://gwern.net/xanadu Mostly, he says, its biggest problem is that what it was trying to do (beyond the sort of thing the web actually ended up doing) jus
84.
Project Xanadu: More Hindsight(gwern.net)
3 points by Sniffnoy 1y ago|0 comments
85.
by Sniffnoy 1y ago
I was going to say "well, you've still got NaR", but apparently that's been defined to sort less than all other posits? Huh, OK.
86.
by Sniffnoy 1y ago
This isn't accurate. It's true for positive numbers, and when comparing a positive to a negative, but false for comparisons between negative numbers. Standard floating point uses sign-magnitude representation, while signed integer
87.
by Sniffnoy 1y ago
Minor note, but "visa" is just a word. It's not an acronym or something. There's no reason to put it in all caps.
88.
by Sniffnoy 1y ago
Oh, OK, that's good to know. Regardless the point is that it's a client issue.
89.
by Sniffnoy 1y ago
That sounds like a problem with the Gmail webmail client -- I don't think Gmail does that when used over IMAP with an external client?
90.
by Sniffnoy 1y ago
Another little thing: The post mentions that tag sequences are only used for the flags of England, Scotland, and Wales. Those are the only ones that are standard (RGI), but because it's clear how the mechanism would work for other

More ›