skysight-inc/HackerNews huggingface dataset:
> Remember that we should be willing to kill hundreds of people with self-driving cars just to push the technology forward even one week

I will never agree to that. A negligent death is a negligent death. We are not on the same page and I don't feel there is any potential benefit to a continued discussion. Good day.
> I don't know if iOS does randomization of loading addresses, but if so, that'd be a disadvantage.

Such a scheme wouldn't stop ASLR. The loader just needs to tell the verification code where it put the privileged libraries.

> And well, in any case they need to maintain compatibility with current apps for who knows how many years.

Do they? I think Apple could easily order everyone to switch over to a more secure compiler with a one year deadline.
What if it only does it at a much later point in time, or slowly via adding data to other comms channels? What if it only does it for small payloads by padding packet sizes to 1k? There are so many ways to get around this, unless we have open source and reproducible builds.
Not sure if ORMs are a good analogy here. ORMs are a leaky and misleading abstraction on top of an actual RDBMS.
Recently I wrote a blog post about how I finish side-projects http://d1ffuz0r.com/how-to-finish-side-projects.html
> It's a different kind of experiment: “If we prioritize simplicity and correctness, and say to hell with every other consideration, what kinds of programs can we write?”

I understand, but you must realize that we're not starting from scratch here, and we do know some things. The people who wrote, say, CompCert and seL4 did so with the exact same goals. It took them 20 man years for a small, pretty simple program, and they believe they can do it in 5.

> When I read a proof script full of complicated tactics, my eyes glazeth over.

Well, you should take a look at TLAPS[1], the TLA+ proof system. It's a structured, declarative proof language (Isabelle also has a declarative proof language called Isar), whose proofs look like those in the appendix of this paper[2], and are made to be readable to humans.

I should say that informal proofs of algorithms have not once and not twice been found (by automated tools like model checkers or by using structured proofs) to be wrong..

> If “real world software” presupposes this attitude of not wanting to do things the right way, I'm not terribly interested in it.

The "right way" isn't a decree from God. What's right for real-world software is dictated by its requirements, which include functional requirements, performance requirements, maintenance requirements, security requirements etc.. A software that's build the "right way" is one that meets its requirements while spending as little as possible to do so. A recpie app that has zero bugs of any kind and takes 7 years to build is not built the "right way", just as one-use plastic cups built with carbon fibers and costing $10 a piece is not built the right way. A recipe app shouldn't lose your recipes, but other than that, wanting to ensure no GUI bugs of any kind shouldn't drive up its cost much.

> I just want it not to be my fault when things go wrong.

Yes, but your customers wouldn't want to pay you 10x or 50x as other developers just to make sure your software doesn't have bugs of the type they don't really care about, nor do they want or need 0 chance of critical failure from your software. You can make make the chance of a critical problem being your fault extremely low without waterproof end-to-end verification. How much more will you be willing to invest to drive those chances from 10^-7 to 10^-8?

> As I told other people, I'm not interested in “communities”.

Well, you can be interested in building a spaceship that can go faster than light by warping space and not be willing to compromise on anything less, but if there's no one in the research community but you working on that problem, your chances of actually flying in such a spaceship are slim. I think that at the very least you should want to know about past and current research and its findings, if only to save you a lot of repeated work.

[1]: https://tla.msr-inria.inria.fr/tlaps/content/Home.html

[2]: http://lamport.azurewebsites.net/pubs/proof.pdf
America’s First Solar Roadway Is a Total Disaster
Does anyone know if the opposite exists? That is, I have hundreds of semi-structured handwritten pages which I'd like to scan or photograph, and get decent text files out of.
More like the past 15 years: OSX was released in 2002, and is a full ground-up replacement for the original MacOS. So there's that.

There's the scale issue. Apple served perhaps low single-digit percentages of the PC market, which ranged from the tens to hundreds of millions overall, so millions to tens of millions of users, most affluent and educated. Computer usage is highly democratised now.

Which gets to the third point: mobile OSes are targeting user populations in the billions, across the globe, and at all manner of educational and literacy levels. If you think there's any possible way that's not going to target the lowest possible skill level, or that that skill level isn't tremendously low (see a recent OECD computer skills survey across the G-20: about half of all users have either no or the very most basic computer skills), well, I'm sorry.

There's a reason wide adoption leads to generally de-skilled products.
I thought Kelvin would be the appropriate unit for temperature differences, deg. Celsius be only used for absolute values.
Indeed, "great" story, it sticks with you. Read it a long time ago and that ending...
But what about knowing how to implement the algorithm? Even something like implementing a dashboard for SRE/DevOps, I can rebuild it given enough time again.
Right, which is why I said those blackbox methods were pretty rubbish. You step through it with a debugger.
I haven't been able to keep those straight for years. Maybe this is just me getting old, but I miss the old days, when you could easily tell that a Pentium is faster than an 80486, and that a Pentium 133 is faster than a Pentium 100.

These days, CPU speed matters less than it did back then, but there still are CPU-hungry applications (I'm looking at you, Autodesk Inventor!), and if I had to put together a PC from scratch (which I think I'll actually sometime this year), I would be kind of lost.
https://en.m.wikipedia.org/wiki/The_Three-Body_Problem you mean
A most merry and illustrated explanation of the diagonal argument: http://www.coopertoons.com/education/diagonal/diagonalargume...
Does Facebook load content from insecure sources?
HP z820/z620/z420 and Dell T7600/T5600 are great used workstations that support the Xeon E5-26xx V1 series processors at very reasonable prices on eBay. Workstations are $300-$700 (maybe add CPU, RAM, HD, graphics card) shipped. I've bought a z820 and z620 at $420 & $499 respectively. My machines were partially usable missing only a second CPU & graphics card in the z820. z620 was fully usable with dual E5-2620s. I added a pair of E5-2660s, 128GB of RAM, and a second CPU cooler+fan to the z820 for $500 shipped and swapped the graphics card. So for $920, I got a 32 threads and 128GB beast z820 (probably would have cost $20K new) and a E5-2640 and 16GB of RAM to sell. So easy to work with too with their tool-less design.

It's a great 4K video/photo editing & OpenShift lab machine. Literally 300 chrome tabs and it hasn't cracked past 16GB of RAM usage in RHEL. Just need to spin up some VMs now.
I use Firefox exclusively (after a month of trying out Chrome - unusable because with 100+ tabs open it uses to much memory in comparison with Firefox), but when I tried to increase processCount to 8 (then 4 and 2) it looked like it was having a memory leak, started using more then twice the amount of RAM.

I'm on Aurora (developer edition) maybe it was related to some recent bugs.
This is actually an area where web apps have some advantage. You can inspect the network traffic using developer tools. You have cross domain rules that restrict traffic. And the encryption is performed by the browser rather than in the apps black box.
Just out of curiosity, do you have an idea how much power that system uses?

I will probably get myself a new desktop computer sometime this year, and those specs sound pretty sweet. But I want to keep an eye on power consumption, too, and I don't my desktop to either melt or have its fans create a tornado in my living room... ;-)
For that matter, do you believe in really, really big integers?
> I don't think there is an issue so long as there is no intentionally targeted discrimination.

Is random discrimination fine? I'm genuinely asking. I don't know the answer, but somehow it still feels morally shaky to me or unfair.

Yes, we do give refunds or discounts retrospectively in many cases, and try to be nice and fair and open. But there's just something a bit awkward with randomly charging people more (or less) for the exact same product, at the exact same time. I think most people will feel manipulated if they discovered it, even if they eventually paid the lower price.
There's a funny thing about "mistakes" in language. The more common they are, the less they're mistakes.
You are absolutely correct, but I learned it the hard way.

For solopreneurs the time is much better spent on marketing especially generating leads because it gives 1,000 times more return than time spent on writing tests and probably saving a few bugs later.
and swiftly begins to recover, faster than i expected too
Mozilla is looking to use Firefox's Tracking Protection list to lower the priority of ads' HTTP requests and more aggressively throttle them when they are not visible. But setting a fixed ad budget per page, as you suggest, or maybe forcing all ads from all tabs to share one process could be interesting.
There's a point-and-click adventure game based on it(https://www.gog.com/game/i_have_no_mouth_and_i_must_scream), which is also very atmospheric.
There are people who have programed their storage devices to zeroize when read sequentially over the whole drive; specifically to prevent an unauthorized party from cloning the drive.

People do not swap the logic boards of drives often, because unless you get an exact revision match they will be incompatible.
This!
Sentinel (1 and soon 2, which launched days ago) data is also available from Google Earth Engine using their API or web UI: https://earthengine.google.com/datasets/

It is hosted on Google Cloud.
> Macs have had a show-desktop keyboard button for years.

My MBP definitely doesn't have one :(

> macs have multiple modifier keys, that's a fact. For most technical users I'd say that's a positive. There's only so many combinations you can make with one modifier key.

True. Personally, I feel like windows has put more thought into it, since the vast majority of commonly used shortcuts are ctrl+something there (and some are even easier, being simply f1-f12), which makes them very easy to memorize them.

I get the rationale for things in macs if I stop and think about it (like the move vs paste thing), but that's the thing, I need to stop and think about it, because it's not ingrained in muscle memory :(
The key statement is "given enough time". Innovation keeps moving; you're falling behind, even as you're trying to re-implement something you've done before.
And, as always, I just added Chrome 57 to Browserling. You can try this new version at this URL without installing or updating it:

https://www.browserling.com/chrome/57/news.ycombinator.com

I'm adding more virtual machines right now to let more people try it without interruption.
The Art and Science of Presenting-Episode 6 – Rehearsal
> isn't much different from the photo processors of old finding it

You hand your photos over to be processed, but unless you had some photo specific issues, a computer tech has no business accessing photographs on your computer. It is an unexpected invasion of your privacy for them to do so, even if though they have the access to do so.

It's like hiring someone to fix your kitchen sink and then stepping out for a bit and finding them going through your bedroom drawers.
I wonder if you're aware that you've created a comment to which it's impossible to reply without a spoiler?
So, 40 or 50 Degree for when it's dangerously hot is too hard to remember, just like 32 for freezing is somewhat easier than 37 for body temperature?

Why let's just change the numeral base to 5, or use roman numerals for that matter. Then scientists can finally stop to convert some arcane unit to get to the Standard International Base Unit, ie. Kelvin. At least everyone gets to convert their numbers then and it's only a division by two, too.

</rant>
Or you know, many OS X users are software developers who use tools that actually need access to the filesystem beyond the officially provided "save as" dialog. Every IDE is expected to be able to load and save files wherever the developer saves their projects - it is simply unacceptable to pop a dialog for every save of a file in a supposedly "privileged" location. Your everyday average user who is just installing games might get away with sandboxed applications, but power users cannot be limited by the extreme restrictions placed on App Store applications.

The App Store on iOS is mostly a success - users are happy, and the only complaints are from developers trying to get visibility for their shit app that nobody is interested in. The Mac App Store for OS X, on the other hand, is a complete failure. You are locked into a single sandbox mode, with no way to ask for extended permissions from the user. The Mac App Store could die tomorrow, and nobody would care. You're a single Google search away from downloading the software - and hey, the company doesn't lose 30% for absolutely no reason.
if the cia has to bypass it by hacking users phones it seems to apply the encryption itself is solid.
Here's an argument I've found sometimes works better for people who can't see what the diagonal from the list is supposed to do, or if they think it's rather arbitrary. It's essentially the same argument, just written differently.

Definitions: 2 is the set {0,1}. N is the set of natural numbers {0,1,2,...}. An infinite sequence of 0's and 1's c_0,c_1,c_2,... can be thought of as a function c : N -> 2 (that is, the values in a sequence are a function of their position: c_i = c(i)). A set X is countably infinite if there is an invertible function f : N -> X (which, in other words, is a sequence f_0,f_1,f_2,... where each element of X appears exactly once). Let's write A -> B for the set of functions from A to B, rather than the usual B^A.

Suppose for sake of contradiction (N -> 2) is countably infinite, so there is an invertible function f : N -> (N -> 2). Let F : (N -> 2) -> N be the inverse, so I can save having to type f^-1. Let g : N -> 2 be defined by g(n) = 1 - f(n)(n). Then, g(F(g)) = 1 - f(F(g))(F(g)) = 1 - g(F(g)), so g(F(g)) must be 1/2, contradicting the fact that it ought to be 0 or 1 instead.
My favorite is Medicare and drug prices. Notice both cases are funded by budget deficits that increase the money supply.
In rural India there is a belief that eating chillies will prevent Cancer;
Thoughts on the future of Bitcoin
Musk Promised to Solve This Country’s Energy Crisis in 100 Days or It’s Free
>No, it's very capitalistic: IP is capital

That's quite wrong. the very basis of IP is a state-imposed monopoly, which is the complete opposite of what capitalism is, what its basic principles are, and how it works.
It's interesting. If they wanted to, they could compete with the likes of HP, Dell, Lenovo, and Cisco if they could ramp up production to accommodate customers. I wonder who does their manufacturing on the backend.
Blame Apple for being incompetent with permissions for OS X applications. They only have "App Store with a single set of sandbox limitations" and "non-App Store downloads with no restrictions". Where is the middle ground? Why not have fine-tuned permissions to grant a specific application access to the APIs it needs?

How hard is it to pop a modal operating system dialog saying "Application X wants to be able to monitor running processes?" It's not. Apple has simply failed to find the middle ground.
Check https://en.wikipedia.org/wiki/List_of_bestselling_drugs
It's not just about the protocol though, it's the whole stack, and the OSes that it runs on are frequently not secure. Also, the Signal app on Google Play requires your phone number and a Twilio API call to function. No thanks.
Sales is a great idea for testing, but how do you make a sale to increase price? My current customers know the price. Word of mouth customers know it too.

For your scenario, you need to start at a higher price point, no?
Church and State (Sanctuary Parts 1 and 2 from 99% Invisible)
How compatible is Erlang on Xen?
I noticed that once and I even implemented a library which type checks Python with custom "type systems" written in Prolog, it was shocking how flexible is that, a bit like declarative grammars/parsing

https://github.com/alehander42/hatlog
I get that. But marriage isn't necessarily a binary thing. And all women don't have the priorities that you seem to assume.
Which traditional RL methods do you mean, and what kind of comparison?

If you mean they are returning to tabular Q-learning, then yes, sort of. They still use function approximation (as required; tabular Q-learning stands no chance of generalising across states), but their function kind of looks like a table look up. A look up of the 50 closest values to some computed key though.

It would be totally uninteresting to compare this with tabular Q-learning though.
Try to implement the unification algorithm yourself.

Example https://unify.ly5.ch/ (Caveat: it's an old implementation)
That's something we can't do anything about though.
From what the article says it sounds like they should go after Levandowski as well.
You are treading in dangerous waters by bringing up the helmet bike subject in this house.

:)
Top Free and Open Source BPM Software
Secret Life of Machines 203 the Quartz Watch
No South African public servant must do business with the state
Thanks for recommending the site.

You can also use telnet to watch the price via:

telnet ticker.bitcointicker.co 10080
We can't do anything about the phone number requirement?
There are some pretty big integers out there:

http://www.scottaaronson.com/blog/?p=2725

I think the current record is 1919 states, so if you run a certain Turing Machine for BB(1919) steps and it doesn't halt then you know that ZFC is consistent. Godelian considerations might make it reasonable to say that integers BB(1919) or larger don't exist.

I get skeptical of integers so large that you need weird Turing Machines to enumerate their digits whose halting proof is independent of set theory, but I don't yet disbelieve in their existence.
I followed the election via Nate Silver's site and remained frightened of a Trump victory the whole time.

How does that square with all the people like yourself who have a different recall?

Quite a lot of it seems to come down to people just boiling everything he said to a binary Hillary will win message. Humans are after all famously terrible with stats. What does it mean for example to have disagreed with him in November? My only interpretation of that is that you thought Trump would win. But he never said Clinton would win, he's making a statistical prediction. It's like arguing he's wrong because a dice roll came up 2 and he only gave it 1/6th odds.

I can say for definite that he talked repeatedly about the possibility of the polls being wrong, specifically saying that if the polls were off by the same amount that they have historically been off and in his favor, then Trump would win. Again, I don't understand why people want to pretend he never said stuff like this. Is it part of their own media bias narrative?
So the same thing the Snowden leak told us years ago. The fact that governments can't break state-of-the-art encryption itself shouldn't come as a surprise nowadays.
I wonder how they deal with the change of the mapping from states to vectors h from the CNN changing as training advances.

I reckon they _don't_ train the CNN, rather, they use it as pre-trained from DQN or something. In that case, no wonder it learns faster.
Bingo. See Energy in History by Vaclav Smil or Sources of Power by Manfred Weissenbacher for much more on this.

The #2 allocation: Russia/USSR. Saudi Arabia has oil but little else. China does fairly well in resources and coal, but not oil.
I've been using them for a number of years and had some administrative things which they handled phenomenally quickly. Just a great job.
New routing library for Clojure/Script brings more structure. Like Rails
React JavaScript vs Angular 2 – New Comparison
And now, a short list of people refusing to undergo abortions (anti-abortionists) being killed by people who demand they have an abortion. (pro-abortionists)

http://www.apnewsarchive.com/2002/Pa-Men-Gets-Life-For-Fireb...

http://www.nydailynews.com/news/crime/maine-man-accused-kill...

http://www.cbc.ca/news/canada/british-columbia/surrey-man-co...

http://www.dailymail.co.uk/news/article-2338710/Man-begged-f...

https://www.lifesitenews.com/news/parents-north-carolina-tee...

http://www.whio.com/news/local/woman-shot-man-demanding-abor...
Infinity and beyond
The point isn't to nab every thought-to-be-encrypted conversation on Signal. The point is to evade detection while compromising high-value message streams. Stepping through with a debugger is never going to execute the feature-flagged "pwned" mode.
This method fails when you are selling a SaaS aimed at large companies with an unknown budget.

There probably isn't one method that works in all cases.
I used to read textbooks for Reading For the Blind and Dyslexic, and in a number of cases I found that the solutions in the back of the book were not for the same exercises in the front. Somebody had rearranged the exercises, but not the solutions.
>Unannounced side channels seems like by far the easiest thing to deal with there; send a 2mb file, observe network patterns, raise an eyebrow if 2mb gets sent over a channel that you didn't expect.

Facebook distributes your 2MB pic to many people, does it technically require more than 2MB of your upload bandwidth? No. You only need to upload it once to their server.
Sure, everyone's different. But find me a woman who would honestly be ok with playing second fiddle to your career, and I'll show you a woman who just doesn't value herself. Just because they'll accept it for the sake of the relationship doesn't mean they'll like it.

The relationship is going to suffer and you both are going to suffer for it. Just because you don't perceive yourself as suffering doesn't mean you're not. You just won't be aware of it. If it gets too bad, you'll wake up one day and find divorce papers on your kitchen table.

Think about what President Trump's marriage must be like in terms of priorities. Sure, people are different, marriages are different, but there's also an ideal to work towards. Marriage needs to fit the needs of both people, but it's not like people all have weird crazy different needs.
Keep readers in the loop with WordPress push notifications
More and more lately, I think about how any future intelligent life will be looking back at how we live now and will do so with increasing disbelief the more and more they learn about us.
This world we live in... the Associated Press permeates through nearly all of the US's media. They are the same reason you can find newscasts about some random throwaway story being repeated word-for-word verbatim. When you have dozens of news anchors across the country reading the exact same words from a teleprompter to push a story, something is very very wrong.

I mean, it's nice that the NY Times specifies "By THE ASSOCIATED PRESS" at the top of the article, but why is it even considered acceptable for the NY Times to publish articles that don't originate from themselves?

Sigh.
Thanks, that's exactly what I was looking for.