Hacker News: Aaron1011

New comment by Aaron1011 in "On the Navier–Stokes Millennium Prize Problem"

Aaron1011 — Tue, 08 Sep 2026 23:55:42 +0000

In this case, there was already an existing Lean statement of the problem in the formal-conjectures repository, which they re-used: https://github.com/openai/NavierStokesAndEuler/blob/8937a8f4...

A filesystem corruption bug breaks loose

Aaron1011 — Tue, 11 Dec 2018 03:12:13 +0000

Article URL: https://lwn.net/SubscriberLink/774440/4e7e299523b3331d/

Comments URL: https://news.ycombinator.com/item?id=18653088

Points: 2

# Comments: 0

New comment by Aaron1011 in "Why the Future of Data Storage Is Still Magnetic Tape"

Aaron1011 — Wed, 29 Aug 2018 03:13:18 +0000

> And tape is very secure, with built-in, on-the-fly encryption

What exactly is this referring to?

New comment by Aaron1011 in "Why Static Websites Need HTTPS"

Aaron1011 — Tue, 28 Aug 2018 20:08:19 +0000

I believe you're think RFC 6018: https://tools.ietf.org/html/rfc6108

Related HN discussion: https://news.ycombinator.com/item?id=15890551

New comment by Aaron1011 in "The everything-is-a-file principle – Linus Torvalds"

Aaron1011 — Sat, 14 Jul 2018 21:51:10 +0000

I thought that the issue with /dev/urandom was that it wouldn't block when read shortly after startup (when the entropy pool wasn't yet initialized).

New comment by Aaron1011 in "Exit scammers run off with $660M in ICO earnings"

Aaron1011 — Fri, 13 Apr 2018 18:57:17 +0000

> That's enough to turn a dollar into 16 billion in 5 years.

I think it's actually 1.6 trillion

New comment by Aaron1011 in "Google and HTTP"

Aaron1011 — Mon, 26 Feb 2018 03:46:49 +0000

> It doesn't matter in practice if the content is still accessible when the browser tells people that accessing it is dangerous.

It certainly does matter. There's a fundamental different between people being discouraged from accessing a website, and said website being completely inaccessible.

New comment by Aaron1011 in "Google and HTTP"

Aaron1011 — Mon, 26 Feb 2018 03:29:03 +0000

Displaying a warning to users doesn't make sites "inaccessible".

New comment by Aaron1011 in "Google and HTTP"

Aaron1011 — Mon, 26 Feb 2018 03:21:20 +0000

I was referring specifically to the author's claim that deprecating HTTP and displaying a warning to users is the equivalent of "rendering large parts of the web inaccessible" and "massive book burning".

New comment by Aaron1011 in "Google and HTTP"

Aaron1011 — Mon, 26 Feb 2018 02:57:04 +0000

> Also, if Google succeeds, it will make a lot of the web's history inaccessible.

> It's like a massive book burning, at a much bigger scale than ever done before.

How on earth did the author reach these conclusions?

New comment by Aaron1011 in "Countries with more gender equality have fewer female STEM grads"

Aaron1011 — Sun, 18 Feb 2018 20:51:23 +0000

> I'll ignore the irrelevant marxist talking point

Which part of the parent comment was a "marxist talking point"?

New comment by Aaron1011 in "Thousands of Turks accused of using Bylock app despite never having used it"

Aaron1011 — Mon, 22 Jan 2018 13:56:58 +0000

A government can imprison people for horrible reasons, but still not have the worst radio.

New comment by Aaron1011 in "CSS Paint API: New possibilities in Chrome 65"

Aaron1011 — Sat, 20 Jan 2018 02:22:31 +0000

> As of now, text rendering methods are missing and for security reasons you cannot read back pixels from the canvas.

Does anyone have an idea as to what those reasons might be? I've heard of JavaScript access to certain CSS features being limited (e.g. getComputedStyle()), but I'm not sure what the benefit is here. Is there any way that user information could be leaked through a paint worklet context?

New comment by Aaron1011 in "We’d love to link you to this website but it’s impossible"

Aaron1011 — Fri, 12 Jan 2018 15:12:44 +0000

That's to be expected.

The idea behind my script is that the URL is encoding the unix time of the first visit to that URL. By starting at the current time and working backwards, the first HTTP 200 you come across should be the current page.

New comment by Aaron1011 in "We’d love to link you to this website but it’s impossible"

Aaron1011 — Fri, 12 Jan 2018 15:03:53 +0000

I tried that, but found that guessing backwards from the current time works better: https://gist.github.com/Aaron1011/2595f8699ade9d4df16398a68e...

New comment by Aaron1011 in "Stuff You Can't Say in Silicon Valley"

Aaron1011 — Sat, 16 Dec 2017 04:33:07 +0000

You and the lawmakers opposed to that bill certainly seem 'allowed to say' whatever you want on that subject.

Let me be more clear: What does this have to do with 'What you can't say in Silicon Valley', or 'animosity towards Trump'?

New comment by Aaron1011 in "Stuff You Can't Say in Silicon Valley"

Aaron1011 — Sat, 16 Dec 2017 03:29:44 +0000

How is this related to the parent or OP?

New comment by Aaron1011 in "E Pur Si Muove"

Aaron1011 — Fri, 15 Dec 2017 21:41:29 +0000

> Look, things like murder or pedophilia are unabigiously evil

If by 'murder' you mean 'unjustified killing', then that's trivially true. If, on the other hand, you just mean 'killing', then it's far from obvious that killing is 'unambiguously evil' (self-defense comes to mind).

> I feel like society, at least a larger portion of it, understood this in the past. Your creating taboos. Things we don't dare talk about or explore because we fear having our lives destroyed by twitter lynch mobs and the like.

Harassment on social media is certainly an issue, but it's ridiculous to describe 'people criticizing me on the Internet for what I say' to 'censorship'.

> But what you actually want to do is knowing as "mobbing" in Europe and it's generally illegal (at least in some countries)

No, what I 'actually want to do' is allow people to chose which companies to purchase from, and to allow them to advocate for others doing the same. What exactly do you mean by 'mobbing'?

> If your paper was critical of the Fuhrer brown shirts would storm in, trash the place and assualt people

Are you really going to compare online speech to physical violence?

> Live and let live. There are people out there with different views than you. Some of those views might be down right offensive if you really thought about it.

How do you determine which of those are 'unambiguously evil'?

New comment by Aaron1011 in "E Pur Si Muove"

Aaron1011 — Thu, 14 Dec 2017 21:32:45 +0000

> That is censoring and shutting down the argument. Who are you to make that call?

If people aren't allowed to state that 'behavior X makes person Y unethical', then how are we supposed to determine what is 'objectively unethical'.

New comment by Aaron1011 in "E Pur Si Muove"

Aaron1011 — Thu, 14 Dec 2017 21:29:23 +0000

> You don't find it bad that a bunch of people, based on their own non-objective oppinion

What is an 'objective opinion'?

> get to ruin someones business and/or career?

Are you saying that it's a bad idea for people to boycott businesses, or that boycotting businesses shouldn't be allowed? If it's the former, how do you distinguish between 'good' and 'bad' reasons to refrain from purchasing from a business? If it's the latter, what would that even mean? Should people be forced to buy from a particular company?

> I feel like I'm talking to a Hitler youth right now

If calling someone unethical is "shutting down a conversation", what is comparing someone to the Hitler youth?

> Which is not what we're talking about. Only in your own mind. But here is the issue again, as soon as you decide, on your own, that something is "harmful" for however you decide that, now you get to do whatever you want.

As opposed to (objectively?) determining if something is 'objectively unethical'?