Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
lilott8
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
8 ms
·
31.
▲
Accessible Physics Books for Beginners
2 points
by
lilott8
8y ago
|
2 comments
32.
▲
by
lilott8
8y ago
You can actually classify mosquitoes and other insects by wing flapping. Time series is a perfect application for things like this.
33.
▲
by
lilott8
9y ago
There are certain things that are, collectively, patently negligent: storing passwords in plain text, not salting passwords, not using, at a minimum, software firewalls, etc. Those are fairly boolean. It's also fair to assume that an
34.
▲
by
lilott8
9y ago
I would envision this system to be something such as: We have a set of standards that define what negligence looks like for data breaches, security, etc. If a company is found to not adhere to these standards they would be found negligent
35.
▲
by
lilott8
9y ago
How is this enforced? For facebook, let's say, is all I have to do is change my country from a non-European country to a European country, and I'm good? Because that is a fairly easy line to cross.
36.
▲
by
lilott8
9y ago
How does this not apply, in any way: https://en.wikipedia.org/wiki/Software_copyright#History_of_... I don't understand how this is never brought up with regard to API copyright. API's are software, software
37.
▲
by
lilott8
9y ago
Its only been alluded to, a time or too, but never explicitly stated (unless I missed it). But, sleep. Getting >=7 (preferably 8+) hours is paramount. (Also, just about everything else listed in this thread).
38.
▲
by
lilott8
9y ago
To address your specific concerns regarding "learning the maths": that's a bit disingenuous from the people stating it. It is actually logic they are talking about, rooted in the discrete math branch. For seL4 you can actua
39.
▲
by
lilott8
9y ago
That is a great counter example. I expect there to be a slow migration to platforms like [this formally verified microkernel]( https://sel4.systems/ ). This will take time and a tremendous amount of effort. But will ultima
40.
▲
by
lilott8
9y ago
Yes and no. It is a natural progression of the industry. Those who cannot do "formal engineering" probably don't belong in engineering roles. Engineering, in general, imho, can be distilled down to this: Clearly define the
41.
▲
by
lilott8
9y ago
I wouldn't say I've underestimated anything. That was an honest question; as in: "what mental gymnastics did the FCC do to even think that keeping secrets is allowable?" That aside, I would agree with you.
42.
▲
by
lilott8
9y ago
Not only that, in what way does an independent agency having zero ties to national security or the IC have any right to hold just about* anything secret? This is asinine!
43.
▲
by
lilott8
9y ago
what you are suggesting has grave realities for those who cannot or do not want to mess with formal verification techniques. This is the future of computing and a lot of people will be left behind once this catches on.
44.
▲
by
lilott8
10y ago
JetBrains has something that is similar to this: MetaProgramming System (MPS)( https://www.jetbrains.com/mps/ ). It resides exclusively within the context of Java (so DSL) -- so it's not as, shall we say, far reach
45.
▲
by
lilott8
10y ago
why would they? I mean with how they are charging by the GB these days, it gives them financial incentive to not tell you your refrigerator (or any device) is part of a botnet, that's free money for them.
46.
▲
by
lilott8
10y ago
Nope, it doesn't. Even using their own metrics they are abject failures: http://www.latimes.com/opinion/topoftheticket/la-na-tt-tsa-a... http://www.huffingtonpost.com/2015/06/01