ghayes

31 ms·

331.
by ghayes 6y ago
I’m not sure if there’s really any reason to trust betting markets. The sizes are so small compared to the import of the race that it seems like a donor could toss $1MM in the pool, say “look, my guy’s actually ahead!” thereby increasing th
332.
by ghayes 6y ago
Yeah I’m equally confused on the downvotes for completely reasonable posts here.
333.
by ghayes 6y ago
An insecure connection can be trivially eavesdropped (e.g. by your network peers, router, ISP or intermediate hops). Much of the time this will include identifying information such as your IP address and browser cookies. Consider reading me
334.
by ghayes 6y ago
Oddly enough, pianists not knowing how to tune a piano is an anomaly in the music world, as most other artists know their instruments inside and out. The Times did a piece on this just the other day: https://www.nytimes.com/
335.
by ghayes 6y ago
I'm not sure I follow your logic: why not take a few days to learn the fundamentals of git? I did that a few years back (and I'm not saying I read the source code, just learned about the base concepts from a few blogs and played a
336.
by ghayes 6y ago
I took these to mean the existential operator and the implication operator, but I agree they were insufficiently defined for me, esp. as we're building from first principles. The post could have made the early proofs more obvious in ho
337.
by ghayes 6y ago
Is there a truly rationale basis here (other than “magnetic north” which is equally arbitrary and has rotated)? I’d argue since the vast majority of the world’s population lives in the northern hemisphere, it generally makes sense to put th
338.
by ghayes 6y ago
I never heard of Method Soap before now, but that pitch just makes me want it. Good example!
339.
by ghayes 6y ago
A better privacy solution would be to sync revocation lists every so often (and, if you must, right before opening a new app). Is there any privacy-preserving reason to not go this direction? How often would you expect certificates to be re
340.
by ghayes 6y ago
The only feature I miss in Elm is do-notation. Idris does a great job of introducing do-notation without requiring inclusion in monad and simply being sugar for the bind operator.
341.
by ghayes 6y ago
It’s worth comparing this to linear types being a first-class feature in Idris 2 [0]. It’s a hugely exciting direction for FP in general. [0] https://www.type-driven.org.uk/edwinb/linearity-and-erasure-...
342.
by ghayes 6y ago
Doesn’t this exist with Parler, Voat and maybe Mastodon? With Voat, at least, the lack of moderation caused the site to become a cesspool and quickly abandoned. I would argue the network effect is only one reason that unmoderated social net
343.
by ghayes 6y ago
Passive versus active would make a huge difference here, right? Even if it’s amoral to wish someone does not recover from an ailment, there’s no act involved or even promulgated in such a statement.
344.
by ghayes 6y ago
Out of curiosity, do you believe the NYTimes should have the right to censor its own comments section? What about censorship in its op-ed section (if the Times decides to not, let’s say, publish your article in the Op-Ed). Facebook is not a
345.
by ghayes 6y ago
I found I had to start using tmux locally after switching to alacritty, but I count that as a good thing to learn and know.
346.
by ghayes 6y ago
There are a ton of real world problems here though: if a small company gets acquired, do they have to stop using the license? Negotiate with you to pay for it? FOSS licenses are meant to be free to anyone, including big orgs, so long as the
347.
by ghayes 6y ago
Sure, the model had value precisely because it said that even if Trump did better than the polls suggested, he would likely still lose due to the paths of victory Biden had. That said, the polls have shown, in many cases, poor predictive be
348.
by ghayes 6y ago
Does it also add other concerns, such as the user uploading different content at different resolutions?
349.
by ghayes 6y ago
Channels for me make Go harder to read than most languages. Once you encounter a channel when reading Go code, good luck understanding the flow from then on.
350.
by ghayes 6y ago
Dialyzer is fully integrated into Elixir, yes. But again, it’s optional typing.
351.
by ghayes 6y ago
I'da wagered dollars to doughnuts you were going to say Rust. I believe Rust hits each of those topics head-on, as well.
352.
by ghayes 6y ago
The use of terms like "the fascist left" makes it harder to appreciate the merits of statements like this. Also, the phrase is a bit oxymoronic as fascism is, specifically, a conservative ideology.
353.
by ghayes 6y ago
I like to think of the square root of x function: r such that r * r = x That’s a specification that gives you no knowledge how to solve the problem. You can definitely have precise specifications that do not directly correlate to m
354.
by ghayes 6y ago
For what it’s worth, you might not get great answers here. HackerNews readers tend to have a relatively negative view on crypto, and many people involved in the space thus tend to avoid discussing crypto here to avoid accidentally getting i
355.
by ghayes 6y ago
Managing Kubernetes configuration is a task unto itself. I'd say one of the best things that "deserves to be built" is a user-friendly layer that generates Kubernetes configuration that can start simple (e.g. total boilerplat
356.
by ghayes 6y ago
Your original statement can be casually read to seem like your disagreeing with OP’s message (that Facebook did not quell extremist groups), due to the structure of your message (a lead statement followed by a delayed contradiction). You co
357.
by ghayes 6y ago
I recently wrote a TOML parser in Idris2. It's a cool language, but has some quirks. For me, it's that it's just a simple KV store with some sugar (that's nice!) but it also means that a lot of information is lost foreve
358.
by ghayes 6y ago
This ruling is much more likely to be related to the 4th Amendment search and seizure clause or the 14th Amendment Due Process clause.
359.
by ghayes 6y ago
The 14th Amendment expands the scope of the 5th Amendment by clarifying when and how Due Process must be applied. The Court has generally expanded the scope over the last 200 years, and I do not think TikTok will have to seriously argue whe
360.
by ghayes 6y ago
Flying by instruments, I wonder how high the risk truly is. One of the bigger concerns might be an instrument failure, like the failure of the airspeed sensors on Air France 447.

More ›