skysight-inc/HackerNews huggingface dataset:
Not in the short term, bud. I have always said about the real value of Bitcoin since I started mining in 2010: "What really is the value of money laundering, tax-less transactions and a quasi-anonymous store of value?" Bitcoin made the down payment on the car I drive every day. I know what Bitcoin is worth, but I'm telling you, we're in another speculation bubble in the short term, and it would be wise to gtfo of your position.
I think this is an interesting security consideration but I would prefer implicit identity for the following reasons:

If the API is meant to be consumed by machines then it's unlikely that CSRF would be a threat.

CSRF controls are more likely to be provided out of the box by a framework. Authorization controls are often tightly coupled to the business domain and are less likely to be usable out of the box.

If you need to support a scenario where administrators perform tasks on behalf of other users, then I would suggest evaluating whether a sudo-like mechanism could be viable solution.
For training, that's likely to be true. For large scale inference it's not possible to beat CPUs right now if cost is a factor. You might be able to beat them once you can buy TPU access in cloud, depending on how steep a premium Google attaches to it.
Yes it's a pretty scary future to imagine. I had just watched The Circle before posting this article and it occurred to me that story might be closer to reality than we realise.
Weird every Ubuntu install I've ever seen had a "Print to file" option in the print dialogue - which just worked.
Is this true? I'd always been under the (unsourced) assumption that the Wi-Fi radio was more power-efficient and it was better to use that than 3G/4G/LTE.
Because for some reason I enjoy using a smart contract blockchain as the platform for my interactions. That might be for example because I also want the ability to use the service with a multi-signature wallet... or because I have been locked out of PayPal for political reasons or because I am a vendor of erotic literature (https://www.engadget.com/2015/12/02/paypal-square-and-big-ba...)... or because I want the ability to pay in a number of cryptographic tokens... and so on.

Ethereum has value even if it doesn't involve somehow replacing all real world services with cryptographically proven algorithms. Interfacing smart contracts with external actors is a really interesting frontier; see for example Vinay Gupta's latest venture, Mattereum. http://internetofagreements.com
Called an Alexanderson alternator for those curious. https://en.wikipedia.org/wiki/Alexanderson_alternator
I think that the main issue is the client must send what is essentially the plaintext password on every request, meaning the client also must store the password. It might be short-lived, might not, but is a security risk to keep the password around on the client side for the duration of the session.
Why Competitive Marketplaces Aren’t Always the Best Solution
Sure, I have already seen this site. Looks like these are lower level commands, but the idea is quite the same ))) indeed I have already thought about collaboration with them.
Plate tectonics?
From my European point of view, I find the whole hangup about the parking space regulations very interesting.

Here in Zurich, there are the same sort of complaints about parking for new buildings going up, however there is now a different trend: Because rent for the parking space is typically charged separately from the apartment's rent, some parking space simply can't be rented out because residents don't have cars.

In case you speak German and are interested in this sort of stuff, the regulations are available at https://www.stadt-zuerich.ch/content/dam/stzh/portal/Deutsch... .

It also shows a table on page 3 that explains how you actually are allowed and required to build less and less parking spaces the closer you get to the city center, so much so that if you look at the maps on pages 6 to 7, you can see that that grey area allows <= 10% of the parking of the white area.
I'm not an expert with either system, but I think the answer is pretty clear: that's not at all an efficient solution. Spark's approach is: do the data however you want, then use a ridiculous amount of resources getting that data into the format you want it in. You also get a ton of guarantees that you don't get with that Spark system you've proposed. Here's their comparison page[1]. If you're familiar with the technology you're suggesting it should become fairly obvious why Cockroach's nuanced approach to SQL is superior to the Spark SQL solution. For one, Spark SQL doesn't support indices. You can build one, but I'd be surprised if you could get the same general performance out of that system vs. a dedicated system like the one that's built into CockroachDB.

I know the hype is to "use NoSQL" but the reality is that there's a limited set of cases where the existing solutions truly make sense. Generally speaking, SQL is the best choice for many companies. That CockroachDB is bringing some new ideas to the SQL space is something that should be lauded. And I think they're doing it in a way that can't really be replicated easily or efficiently by current systems (which is perhaps why they're receiving so much attention.)

[1] https://www.cockroachlabs.com/docs/stable/cockroachdb-in-com...
Not Quite the Average: An Empirical Study of Web Use (PDF, 2008)
> "except maybe from a more OLTP-centric perspective"

This is a big difference, separating compute and storage layer comes with a big overhead with the flexibility.
From the second link:

"Much of the planning code needs to be tossed out. “Keep the seismic codes,” said Pinkston, and get rid of everything else. "

That strategy gets you more Ghost Ship warehouses.

https://en.wikipedia.org/wiki/2016_Oakland_warehouse_fire
I've been writing in Common Lisp for 7 years and am working on a python project for ~8 month (for a machine learning task w/ Tensorflow). I am insanely irritated by countless points, to name a few:

* Python REPL does not check and warn the trivial type/arguments errors when a function is defined. It is only after the program reaches that erroneous line that an error is signaled. SBCL always warns about the function signature. Perhaps this may be customized by some global variable or a command line option, but not being warned by default is a huge waste of time, as it takes non-negligible amount of time to reach there (specifically because it is a ML task). (SBCL also warns me about type errors in most of the standard functions as well as ftype'd functions.)

* Python does not have restarts. I mean the condition system in Common Lisp. This again imposes a significant amount of slowdown on the debugging cycle as an error may be signaled only after a multi-hundreds-MB data file is loaded in the beginning of a function and then the erroneous line of code is run. In CL, when an error is signaled, the program enters the debugger and halts there, during which you can correct the program, redefine the function, then resume the code from one or two stacks above the current. In python an error always rewind the stack to the toplevel, so you have to rerun the whole function, loading that huge data file again in the middle of the stack. Don't say you are afraid of some side effects in the code, I follow "Mostly Functional Style" in CL.

* Python debugger shows the stack frame, but does not by default show the values of the arguments in the function call stack when an error is signaled. It forces you to use an ugly printf debugging style. I would like to know if it is possible to alter the way the stack is printed. In CL, a debugger is just a function stored in debugger-hook. I hope you can do something similar.

* Somehow Emacs C-M-f selects the whole line, not an expression.
@elvinyung I am going to try to be as positive as I can. I understand why someone who hasn't written a database or who focused on the internals would see spark as similar to cockroach. Frankly they aren't even similar. Things like isolation levels, data distribution strategies and computational placement are very different in the two systems. They really aren't similar. That being said I think both of them are junk. They are the best junk out there, but junk nonetheless. So maybe take my opinion with a grain of salt.
Don't know why this was downvoted; it's a brilliant video.
I wonder if there should be consumer protection laws that require anyone selling a product to disclose all the kickbacks they receive on that product to the buyer?

I would love to know how much each product placement in a movie cost, how much some shady third-party paid to have their bloatware installed on all new laptops from a particular vendor, how much it cost to set the default browser, how much a TV manufacturer was paid to include a "smart TV" device in their product, etc..
Follow these tips and capture gorgeous landscape photos
Boyer-Moore theory has "shells", which are like structures.
See page 39 of [1]. Since this is a pure functional language, values cannot be altered. Shells have constructors, a type predicate, and can have restriction predicates on values.

Shell Definition.
Add the shell ADD1 of one argument
with bottom object (ZERO),
recognizer NUMBERP,
accessor SUB1,
type restriction (NUMBERP X1),
default value (ZERO), and
well-founded relation SUB1P.

It's not intended that you run programs in Boyer-Moore theory, although you can. It's a proof tool.

[1] https://www.cs.utexas.edu/users/boyer/acl.pdf
This is presumably just the full board versus half nomenclature noted above. But yes, consumer GPUs are way more cost competitive than Tesla class parts. Being able to train bigger models is valuable to some folks, but not everyone, so I don't begrudge using the GTX line.

Disclosure: I work on Google Cloud.
>JWT might be the one case in all of practical computing where you might be better off rolling your own crypto token standard than adopting the existing standard.

This isn't the first time I heard this claim, but I've also read that vulnerabilities were related to libraries and implementations, not the standard itself. Is it true?

To me, I don't see the benefit of passing meaningful information via JWT, and it might even pose a risk.

>simple bearer tokens

I guess you mean cryptographically secure random byte strings?
Wow do you have citations for this? I'd love to read more.
ms still has a long way to go imho.

i recently thought about developping my backend on fsharp with dotnet core, on a mac. Well, let me just say that the commitment of ms to some of their open source projects leave to be desired. documentation is painfully hard to find ( compare to apple or even java main web frameworks, where everything is neatly organized in one place), community is inexistant, the main "getting started" videos on youtube is obsolete ( project file format changed in the meantine)... And the only fsharp plugin for vscode is developped by a third company and requires mono to be installed, for some reason.

Maybe it's just that nobody uses fsharp though. So then i tried to find some general architectural overview of asp.net core, and i didn't even know where to start looking. Ms documentation site is a maze, and you can only find short articles on very detailled subject, but nothing really top down.

Now the reason for all that is of course that the MS users ecosystem is made of consulting companies selling "experts", and training companies selling training. Nobody there has any interest in good, free, online resources.
Slack Like Emoji Selector
If you like this you might enjoy this repo: https://github.com/mathiasbynens/small
It's a finite number, but it's always at least one bigger than you think it is.
Ukrainian artist Mykhailo Tymchuk paints unique icons (2016)
Tl;DR Is one of the reasons job security? I bet it isn't.

2014 18k jobs - https://www.wired.com/2014/07/microsoft-layoffs/

2015 8k layoffs - http://fortune.com/2015/07/08/microsoft-layoffs/

2016 3k - http://fortune.com/2016/07/28/microsoft-layoffs-thousands-ph...

2017 Q1 700 - http://www.businessinsider.com/about-700-microsoft-employees...

2017 Q3 3k-5k https://techcrunch.com/2017/07/06/microsoft-confirms-layoff-...

It's hard to tell if the numbers overlap. For context MS has about 100k employees.
Ask HN: What are some of the best ways to learn more on Distributed systems?
I love Distributed systems and work on a SAAS product but i dont have formal education on them. I read blogs etc. But, would like to learn it in a more structured manner.

Would love if i can get some good resources like Books , Online courses etc. to learn
It's your words that pit them in the same category as ISIS, not me (or rather you keep claiming that is what I'm doing, but it isn't what I've said anywhere).

Your claims have gone from they don't fight to you can't prove that they killed anyone when they fight. Mine has been they fight, and I'd note you seem to have conceded that, and yet still are accusing me of making stuff up.

I think that there is a difference between the work a hypothetical charity which pays for bodyguards for protection, and this, where charity workers are laying down covering fire.

There another version of that footage around where they are clearly aiming at ISIS snipers when providing covering fire. To me that doesn't make any difference, but perhaps it does to you?

I'd be interested in your views on the various Hamas and Hezbollah affiliated charity groups? To me they are clearly terrorist groups, but if I'm reading you correctly they are legitimate because they provide medical aid?
Not really. The basic problem is "fractional reserve". Essentially an insurance company will only have about 5% of the money needed to pay out their policies (less in Europe, around 2.5%, and there's other variations across the world). (Even then significant amounts of that 5% would be either loans or shares, which are technically also loans. Most large insurers would go bankrupt if their risk assessments were off by 1%).

Since this is the exact thing that the double spending algorithm would check against this wouldn't be allowed, and therefore you can't have normal insurance in a blockchain world.
Massive underground warehouse planned near Heathrow
Bottom-Up vs. Top-Down Drug Discovery
[Cough](http://edition.cnn.com/2017/07/03/africa/kenya-bridge-collap...)

That's a beautiful bridge though.
I'm totally I'm unconvinced that you're offering a better alternative.

If you lose a key then that's it you're done forever. With banks you had hassles but clearly you got your money back. I have a hard time believing a billionaire wouldnt also be able to get their money back from the bank.
Coffee diet: Can you slurp your way to slim?
but isn't the problem the same as with other places? If you don't have enough volume, you can't justify the costs. Robots are pretty expensive, right?
There's nothing ponzi schemish about that. The cost of mining is proportional to competition for new coins. Not much different than any other resource extraction.
What good is video evidence, if it can be faked? Having numerous independent feeds helps, I suppose. But once you have enough perspectives to create a decent 3D model, you can generate as many fake perspectives as you like.

Also, there are obvious downsides to panopticons.

But none of that matters, I guess. We will have the cameras and the fakes.
Regarding extraction in Coq, there's certicoq: http://www.cs.princeton.edu/~appel/certicoq/

Granted, there's a lot of engineering work left to do, but it's moving in the right direction.
Without going into to the code itself I'm always wary of these hobby projects that then get used at work when they are by the same author.
Who now really owns the IP?
You can trust EOS all you want, but that doesn't give it a "solid value proposition" that can be demonstrated. I'm simply disputing your choice of words, as it gives a misleading impression in my opinion.
I also don't think it feels like 90+% these days. My own steam profile says 144/323 games support Linux, plus I've got some number more Linux capable games from bundles that I never imported into Steam but either played on desktop or in some cases the mobile version. (Then there's the "classic" Linux games from the dark ages that I really liked a lot like Battle for Wesnoth, Tremulous, and BZFlag.)

Of course of the steam ones, I've encountered several that either flat out didn't work on my system (probably the hardest part of shipping linux binaries is testing for many distros and setups, SteamOS/Ubuntu gets you most of the way there though) or they worked poorly. So most of my gaming is still in Windows 7 but I don't really use that OS for other stuff. Of those 144, I've played maybe half of them (my backlog is huge..) but mostly not on Linux. Either because they didn't support it when I played (Half-Life games as probably the oldest example) or I tried and it didn't work [well] or I just didn't even bother trying.

Even for the engines that don't support one-click Linux (or Mac) builds, it's not an insurmountable effort to support Linux, and if the game was already targeting multiple consoles+PC they've probably abstracted most platform specific stuff already. So it's just an economic issue. A lot of the technological issues have been mitigated or gone away.
See also The Light of Other Days by Baxter and Clarke, https://en.wikipedia.org/wiki/The_Light_of_Other_Days.
Replying to myself with an example of easy portability https://news.ycombinator.com/item?id=14728591
It's really useful in cases where you need an answer a question like "I want to drill a hole in the middle of this board which is 12.25 (12 and 1/4) inches long." It's easier to for me to split that in half in my head than divide the fraction and find the corresponding mark on my tool.

Half of 12 is 6, half of 1/4 is 1/8, I drill the hole at 6 and 1/8".

It's easy to get a fractional measurement of whatever is in front of you and immediately work with that measurement in your head then find the corresponding mark on your measuring tool. There is no reason the same system would not work with metric, it just seems to be more common with imperial units.
> using a weird unit of measurement no one even knows and using 37 million as a factor pretty much guarantees that no one can relate this to anything

Manhattan has a land area of 59.1 square kilometers [1]. 37e12 m³ of magma would fill the land area of Manhattan to over 600 kilometers, i.e. well past the boundary of space.

Alternatively, it would fill California's 424,000 thousand square kilometers to 100 meters, or about halfway to the top of the Transamerica Pyramid [2].

[1] https://en.wikipedia.org/wiki/Manhattan

[2] https://en.wikipedia.org/wiki/Transamerica_Pyramid
Jobs was a genius at finding and employing the best ad agencies/talent and letting them work their magic. It is a large part of his mystique
don't seem to have consistent rules about when a lane is going to appear or disappear

Lane creation/destruction is almost always limited to the rightmost lanes. The only non-carpool exception I can think of is the added lane on Central Expressway westbound, approaching Sunnyvale.
> In reality these marketing funds were actually a subsidy/discount (some would say kickback) on Intel chips.

Some would say they were actually bribery.
You own the content, not the files, there is a difference. Nothing in that snippet says they have to give you back anything.
What good is video evidence, if it can be faked?

It's easy to "fake" news, and has been since cameras were invented - just choose the way you frame the image, or the moment you press record. No-one will doubt the video evidence of police beating protestors, and no-one will believe the claims that just a few minutes earlier they were throwing petrol bombs, after all where's the video?
Yeah, let's be snarky, one bridge collapse during construction means the whole country cannot build a decent bridge.

Some of the longest and most used suspension bridges are in China, and they've been in use for years in major cities like Shanghai.

Here is a list of the longest cable-stayed bridges in the world, look at how many of them are in China:

https://en.wikipedia.org/wiki/List_of_longest_cable-stayed_b...
Basically irrelevant to a technology for making cameras thinner by a factor of millimeters.
Right - as far as I know most ANNs _are_ embedded in some pipeline which contains also "regular" SW, and thus by definition there _is_ some way to connect them to a rule-based system.

The only issue is that there is no easy, _natural_ way to do it. For instance, consider the various attempts at adding safety rules to an RL ANN (depicted in fig. 2 in the paper). Say that (in the context of an ANN controlling an Autonomous Vehicle) your ANN decided to do something on the freeway, but the safety rules say "no". There is no easy way to gracefully integrate the rule and ANN: One way is for the rule to disable the ANN's output at this point, take full control and decide what the AV _should_ do. But this leads to duplication and complexity.

So the four solutions I describe take various ways to avoid this problem. They all "work" in a sense, but none does real "integration" of the ANN and the rules (the shield synthesis solution perhaps comes closest). And it looks like you have to invent this kind of solution anew for every new instance of connecting-ANN-to-rules.

And this was just "inserting rules during execution". Then there is the issue of "verifying via rules", and "explaining the rules". It is tough, and I am wondering if there could be some conceptual breakthrough which would make it somewhat easier.
Qatar is literally the opposite of landlocked, since it sits on a peninsula.
> Why do you need to run without a phone

Where do you keep your phone when you run? The only solution is strap it onto the arm, but I don't like that. It feels like a hindrance.
Yes, it's still the case. The Linux support is far better than it was a few years ago, but not even remotely comparable - NVidia (and I think AMD too, but I have a NVidia card) provide a new Windows driver with specific optimizations for almost every AA to AAA game. For example: The last Linux driver in the "short lived" branch came out at 09.05., the last Windows driver 29.06
The books I've found that could help on this theme:

1) Replication - Theory and Practice - effective replication is the heart of modern distributed systems and this theme is covered well in this book.

2) Introduction to Distributed Algorithms: Gerard Tel: 9780521794831: Amazon.com: Books - this book has very deep theoretical explanation of classical distributed algorithms.