HNHacker News
TopNewBestAskShowJobs

wging

2,302 karma · joined February 15, 2011

submissionscomments
wging··on Let futures be futures
It's Go. The description fits well, and it's pretty much confirmed by the Rob Pike quote in the sidebar. https://www.youtube.com/watch?v=uwajp0g-bY4
wging··on Breaking Free from DRM: Hacking My Air Purifier
“DRM” means “digital rights management” in this context; it has little to do with the choice of AC or DC power. What acronym did you interpret it as?
wging··on Against learning from dramatic events
After they published that piece (which was misleading and deeply unethical, not just 'critical', by the way), he wrote this:

> I have no particular call for action. Please don’t cause any trouble for the journalist involved, both because that would be wrong, and because I suspect he did not personally want to write this and was pressured into it as part of the Times’ retaliatory measures against me.

(https://www.astralcodexten.com/p/statement-on-new-york-times...)

Before that, he did ask for public commentary on their plan to reveal his real name; maybe that's what you were thinking of.

(Before your post was edited, it was originally a comment that misrepresented the history of the NY Times piece by claiming he 'sent a flood of internet crazies' at them after they wrote it.)

wging··on What the heck is a homomorphic mapped type?
If we're talking homomorphisms, no it can't: the whole point of the homomorphism is that the addition operation works regardless of whether you do it in the source space (2 + 4 = 6, then reduce mod 5) or the target space, where you're dealing with entirely different objects (2 mod 5 added to 4 mod 5, where each of these is an object in the target space and not an ordinary integer).
wging··on What the heck is a homomorphic mapped type?
It depends what the fundamental operations are in your context.

There are different types of map that we call "X homomorphism" for different types of algebraic structure X (groups, rings, fields, vector spaces, modules, algebras, etc). In an abstract algebra course you'd probably first encounter the definition of a 'group homomorphism' (preserves the group's multiplication operation, whatever that is: f(x*y) = f(x)*f(y)), and then a separate definition of a 'ring homomorphism' (preserves the ring's addition and multiplication, which are the two operations you have on a ring - f(x+y)=f(x)+f(y) and f(xy) = f(x)f(y)), etc. The definitions are similar, but they are distinct: a group homomorphism is between groups, a ring homomorphism is between rings, etc. (There's also a more formal sense in which they're examples of the same thing, you'd look into category theory for more on that.)

So what's going on in your example? Well, you could define a simple type of algebraic structure where, for any instances of that structure, you can only ask the question "is x positive" for one of its elements x and get a yes or no answer, and then define 'homomorphisms' between such structures as maps that take 'positive' elements of the source space to 'positive' elements of the destination space (and vice versa). But I'm not sure you'd really be able to use it for much. (On https://en.wikipedia.org/wiki/Homomorphism#Definition, that'd correspond to having exactly one unary operation μ(x) = is_positive(x) and no other operations, not even addition.)

wging··on What the heck is a homomorphic mapped type?
I like your explanation overall. But "point-to-point equivalence" is a little off from the math notion of homomorphism, and I think also the type theory version, if I understand correctly how you're using that phrase. It seems to imply that the homomorphism is 1-to-1 (as does the phrase "if you know the mapping you can turn one into the other"), which isn't necessarily required for the mathematical idea of a homomorphism: homomorphisms can map multiple elements of the source space to a single element of the destination space. So there may not be a well-defined way to 'go back' from the result of applying the homomorphism to the original input. (A homomorphism that isn't 'lossy' in this way is called an isomorphism.)

An example is reduction mod 5: it's a (ring) homomorphism because the relevant laws of arithmetic work just the same if you do arithmetic in the ordinary integers then reduce the result mod 5, or if you instead reduce all numbers mod 5 first and then apply special 'modulo 5' versions of those arithmetic operations. (E.g. 7 + 19 = 26 = 1 mod 5, but also (7 mod 5 + 19 mod 5) = (2 mod 5) + (4 mod 5) = 1 mod 5, where that last '+' is addition mod 5 instead of integer addition.) But you don't, given just '1 mod 5', know whether the original source integer was 1, 6, 21, -4, or any of infinitely many other choices.

Another example: projecting 3d space down to 2d by just dropping the third coordinate: (x, y, z) -> (x, y). That's a vector space homomorphism, but there isn't a way to recover the z-coordinate given just (x, y).

An example from the Haskell wiki mentioned above (I think you're referring to https://en.wikibooks.org/wiki/Haskell/Monoids#Homomorphisms) is the `length` function: given only the result of applying the homomorphism, `length(a)`, it's not possible to recover a.

wging··on Gordon Freeman at the Olympic Games
The rules don't say explicitly that a reaction time of <100ms to the signaled start of the race results in disqualification but in practice that's been the case (see the DQ of Devon Allen in the world championship 110m hurdles in 2022 for one example). So add 100ms to that table of times/distances for a theoretical minimum achievable time.

(The rules do say that runners will be stopped and recalled if the reaction time limit is breached, which means that no race will actually happen in that case:

> 16.6 When a World Athletics certified Start Information System is in use, the Starter and/or an assigned Recaller shall wear headphones in order to clearly hear the acoustic signal emitted when the System indicates a possible false start (i.e. when the reaction time is less than 0.100 second). As soon as the Starter and/or assigned Recaller hears the acoustic signal, and if the gun was fired, there shall be a recall and the Starter shall immediately examine the reaction times and other available information from the Start Information System in order to confirm which, if any, athlete(s) is/are responsible for the recall. )

wging··on Tata Consultancy Services ordered to cough up $210M in code theft trial
They didn’t hear it, and therefore the lower court’s decision remains in place. That’s what this means:

> the United States Supreme Court on November 20, 2023 rejected the Company’s petition to file an appeal against the orders passed by the US Court of Appeals, 7th Circuit

wging··on Getting my library cards onto my phone the hard way
If you don’t feel like memorizing it, you could also store it on your phone in your password manager of choice.
wging··on My Left Kidney
Not blindly; there is a pretty extensive footnote (footnote 2) covering the linear-risk assumption.
wging··on CVS ditches common cold meds after FDA advisers say they're useless
Sudafed also makes pseudoephedrine HCl, which works. That’s why their name is a contraction of ‘pseudoephedrine’.
wging··on Marvelous Arithmetics of Distance
Which classes are you thinking of?
wging··on Marvelous Arithmetics of Distance
They are typically not taught in school, at least in the US but probably elsewhere too. I don’t even know of a commonly taken undergrad-level course that I’d expect to cover them.
wging··on Using enums to represent state in Rust
There’s one thing I can think of that looks like an exception to the lack of interference at function boundaries: you can return impl SomeTrait rather than worrying about the exact thing you’ll return. It’s useful for iterator adapters in particular, where the types depend on the functions you call and in which order, and thus aren’t stable under small modifications to the source code.

(I wouldn’t count impl trait in function parameters since that acts more like a generic type.)

wging··on Issue affecting the Gateway API on the Braintree platform
Seems unlikely, bonuses are not an Amazon thing, and iiuc status pages aren’t a decision such people would be making anyway. A dedicated “devops” person at Amazon (to the extent that’s even a thing, mostly engineering teams own their own ops) would be unlikely to benefit from minimizing issues. The status page issue you’re discussing is real but I don’t think it’s the fault of lower level engineers.
wging··on Terry Tao's generals (2012)
Off the top of my head, two big accomplishments are compressed sensing and the existence of arbitrarily long arithmetic progressions in the primes (the Green-Tao Theorem, https://en.wikipedia.org/wiki/Green–Tao_theorem). But there is more than that. It’s a very googleable question.
wging··on iPhone 15 Pro facts and estimates
The article claims much less certainty than implied by the post title. (“iPhone 15 Pro 10% lighter but 15% lower rotational inertia because of edge mass” is what it currently is.)
wging··on The Uselessness of Phenylephrine (2022)
> phenylepherine is the otc version of pseudoephedrine

That’s mostly incorrect, both are “otc” (over-the-counter) wherever you can buy them without a prescription. That’s what that means.

wging··on Intel shows 8 core 528 thread processor with silicon photonics
"8-core processor with 66 threads per core." 66*8 = 528. Why 66 is not explained.
wging··on Inside the JVM: Arrays and how they differ from other objects
This is a good explanation. See also Shipilev's JVM Anatomy {Park|Quark} episode: https://shipilev.net/jvm/anatomy-quarks/4-tlab-allocation/
wging··on 200k Compromised OpenAI Credentials Available for Purchase on the Dark Web
This doesn't seem to be a breach of OpenAI at all, though; the article is pretty clear about that.
wging··on Help I accidently enabled HSTS on localhost
Hold on, localhost is my computer. Why are you the authority?
wging··on Hollywood movie aside, just how good a physicist was Oppenheimer?
> Are they confusing Turing with Roger Bannister, the guy who first broke the four minute mile?

I don't think they are. Turing was a runner. He ran in the 2:40s for the marathon, which is a reasonably good amateur time even today, and was a few places away from making the British Olympic team.

(It's also ironic that you (understandably) refer to Bannister by his mile - he himself would rather have been remembered for his achievements in neurology.)

wging··on Brute-forcing a macOS user’s real name from a browser using mDNS
Re: your aside, the link works for me. I'm taken directly to the "Simple requests" section.
wging··on Newpipe.net removed from Google search results due to DMCA take down request
I don't think so. I've seen Indians do it too, though they may be more willing to drop it as they learn it's not done in the wider anglophone world.
wging··on Cookie Clicker saved my PhD
Yeah, you’re right. Sorry. I missed the edit window and can’t fix it. Someone else has posted the right one.
wging··on Cookie Clicker saved my PhD
A Dark Room has a similar feel, and like Universal Paperclips it opens up to be much more than a clicker: https://adarkroom.doublespeakgames.com/mobileWarning.html
wging··on Follow up to “I booted Linux 293k times”
There is `git bisect skip` (https://git-scm.com/docs/git-bisect#_bisect_skip), which lets you cope with a testing process that sometimes doesn't yield a true/false result. But it's more useful for untestable commits than for inconclusive results like you'd get from a single boot here.
wging··on AWS Is Down
It may have to do with what you tried. For me the most basic thing, asking for the time, didn't fail, but more involved applications like music and smart-home (lighting control) did.
wging··on AWS Is Down
> Alexa is down on the east coast, but not the west coast

This is implausible to me: I'm on the west coast and my Alexa stuff wasn't working. Moreover, almost all Alexa devices in the US likely use us-east-1. This was true and hard-to-change as of a couple years ago.

← PreviousPage 6 of 25Next →