fogof

8 ms·

31.
by fogof 5y ago
> A European Space Agency mission arriving five years later, called Hera, will check to see if the mission worked. Maybe it's technically infeasible, but it seems to me like the main benefit we would get out of a mission like this i
32.
by fogof 5y ago
As someone whose research currently consists of proving things in proof checkers, I can confirm they are more complicated than LaTeX. At one point, I had to prove n / 15 + n / 4 + (2 * n / 3 + 1) <= n, for positive n. Seem
33.
by fogof 5y ago
"Incompleteness ex Machina" by Sebastian Oberhoff, is a nice paper-length exposition https://arxiv.org/abs/1909.04569 .
34.
by fogof 5y ago
But in this case, we get "Libre"ddit, right in the name. The wordplay is irresistible!
35.
by fogof 5y ago
This is good thinking. However, it seems that Earth doesn't quite eclipse the sun from L2, so it might have been complicated anyway. My calculations tell me this is not true for Mars though. The next time we do this, we should send it
36.
by fogof 5y ago
> They have only told us that they are assessing our Lend product through the prism of decades-old Supreme Court cases called Howey and Reves ... These two cases are from 1946 and 1990. Trying to make out like Howey is some obscure prece
37.
by fogof 5y ago
Well maybe the point is that it's simply not possible to even design a telescope like this without a huge activation energy of R&D costs. If we had deployed more, cheaper devices, it might be the case that those devices, even taken
38.
by fogof 5y ago
> Your docs is not extracted from code I don't really understand this. If the documentation doesn't exist next to the code it documents, isn't there a risk that someone will change the code without updating the docs, leadi
39.
by fogof 5y ago
Let me take this chance to mention the "Unhook" Youtube browser extension, which I recently added and which I think has been having a big positive effect for me. The extension allows you to remove (among other things, it's ve
40.
by fogof 5y ago
I guess you don't. That's why they're concerned.
41.
by fogof 5y ago
The definition of clickbait, according to Wikipedia is: > Clickbait is a text or a thumbnail link that is designed to attract attention and to entice users to follow that link and read, view, or listen to the linked piece of online conte
42.
by fogof 5y ago
> Don't add linter checks for these things, it's condescending. Well as he states, these checks are not turned on by default. I have trouble seeing why someone who liked these extensions enough to turn them on manually would fe
43.
The Orbit of Planet Nine(findplanetnine.blogspot.com)
259 points by fogof 5y ago|82 comments
44.
by fogof 5y ago
As the article itself notes, previous thread: https://news.ycombinator.com/item?id=16790338
45.
by fogof 5y ago
A nice one is the "I Don't Care About Cookies" extension.
46.
by fogof 5y ago
> is there any practical constraints or applications around it? To speak to this question: Suppose you were going to build a calculator program on your computer. You might start with integers and have addition multiplication and subtract
47.
by fogof 5y ago
I think the key thing people need to realize from the SAE definition [1] of the levels is that they represent designs of the system rather than abilities of the system. I could slap a camera on my dashboard, tell the car to go when it sees
48.
by fogof 5y ago
I opened the link, saw the article, and was trying to figure out what point was trying to be made. Then I opened it in incognito mode and it was making a point about the commoditization of the web. Just use browser extensions, folks.
49.
by fogof 5y ago
> First, no one denies that reusability is still not profitable. This includes Musk himself and heads of all the other rocket companies who have all made it clear they aren't pursing it because these is simply no business case for i
50.
by fogof 5y ago
That was, indeed, my first thought. Can you explain why reposting the link that the OP posted is supposed to change my mind, or how it contributes to the conversation?
51.
by fogof 5y ago
> ... there ARE going to be false positives that apple records some database. Millions of iphone users are going to have a non-zero "possible childporn" score. I don't think this is right. The apple pdf on the features say
52.
by fogof 5y ago
I don't understand your argument. You say people care about this because it "runs a check of your property, on your property". Would iCloud servers running this check after the photos are uploaded to iCloud be any better?
53.
by fogof 5y ago
> What’s he afraid of? He’s got to be afraid of something. Cool to see how the iconic fear of snakes starts out as a vague desire to make the character vulnerable, and grows from there.
54.
by fogof 5y ago
This reminds me of a fun brain teaser: Of all the planets, which is Earth closest to on average?
55.
by fogof 5y ago
Here is a link https://arxiv.org/abs/2009.04374 to the paper you are probably talking about. Coming from DeepMind (and with Former world champion Vladimir Kramnik as a coauthor), they studied a bunch of chess variants
56.
by fogof 5y ago
While the title might be hyperbolic, it's not clickbait. A clickbait title is one that misleads or leaves out information in order to trigger your curiosity and get you to click on something you otherwise have no interest in. "You
57.
by fogof 5y ago
Well, presumably at that point, someone in that position would just reveal their own files with the hash an prove to the public that they weren't illegal. Sure, it would be shitty to be forced to reveal your private information that wa
58.
by fogof 5y ago
I was unhappy to find this comment so far down and even unhappier to see it downvoted. I'm not a fan of the decrease in privacy Apple is creating with this move but I think this forum has gotten its feelings for Apple caught up with it
59.
by fogof 5y ago
I think the idea is that when a human checks to see if two hashes are equal, they usually just check the first few bytes, and maybe the last few bytes. You could attack this by grinding out hashes to find two with the same first few bytes.
60.
by fogof 5y ago
> 5B USD for an attack isn't a major barrier though to an actor looking to attack ETH, though. Are you implying that it is? Well 5B USD may not be an impossible sum for some corporations and nations, but for some actors this is a ba

More ›