skysight-inc/HackerNews huggingface dataset:
Just a few

* An alternative for the increasing number of situations where governments have made transacting in the local currency impossible or impractical, usually for political reasons (ironically, bitcoin is losing this function because of transaction fees)

Examples: Greece, Cyprus, Ukraine, Venezuela, Russia and others.

If there is no viable alternative, can you at least understand why bitcoin (or more likely ethereum actually) is superior to a lot of other things ?

* A way to move money internationally (buy on exchange, send bitcoin, sell on different exchange)

* An asset that can be moved internationally freely

* A currency that supports economies that wouldn't be able to exist without a bitcoin currency (which of course includes the drug trafficking thing)

Let's assume bitcoin remains at ~13k USD for 6 months and the exchanges keep going. Don't you think that being paid in bitcoin would be a lot more practical in a number of cases, the most obvious one to me would be cross-border freelancing.
Hi, author here. I definitely agree the valuable part is thinking through the verification process, which devotes a lot of time to understanding the system and adds resilience in edge cases. Someone on Twitter brought that up: https://twitter.com/jetapiador/status/943909582279233536.
Perhaps that's what I should have concluded my argument with.
Agreed on that point as well. The irony is that controlled inflation is perfectly possible with a cryptocurrency: just keep the block reward constant over time, don't decrease it. I'll never understand the "fixed supply" thing.
I have a mid 2014 mbp i7 with almost 900 charge cycles that received a new battery from Apple while in for a system board.

Running Sierra, I noticed an immediate speed increase on tasks I have done hundreds of times. Everything was snappier again.

Comparing the i7 I have VS the latest i7, there is only about a 25% difference 3 years later. I can say my mbp likely dropped 25% in speed before the battery swap.

I wish I had taken more geekbench diagnostics before sending the laptop to Apple. I did notice several mbp's with the came cpu ad mine had a geekbench score in the 6000's while the spec was in the 8000's. The battery condition may be a factor.

It would be interesting to correlate geekbench (or something comparable) scores to charge cycles. This question is likely worth asking with Google made Android devices that have had battery issues like the Nexus 6p too.
This sounds like a nostalgia-tinged anti-political-correctness view; a hundred years ago was the end of the first World War, and the controversial introduction of hygene was in living memory.

Could do with some stats either way.
What is extreme porn?

I'm really skeptical of politicians that want to ban "extreme pornography" on the Internet yet let actual prostitution just kind of, slide under the radar.

Surprisingly not many Brits are aware that you can get a couple of high end hookers who will do anything for a few hundred quid per hour, and it's legal. Lots of these "escorts" are barely legal age, as well.

Maybe it's a ploy to get people off porn and into actual sex lol.
Any hydro lake works as an energy storage system - it doesn't have to be pumped.

That's why you see energy being exported to hydro-rich Norway on windy winter days. It allows water to be retained in Norway's storage lakes for later use.
This is pure left wing tripe. Really. There is nothing wrong with order. The world is orderly. People have rejected order in favour of relativism, that is to say, if it's true for them, it's true. It's fanciful and wrong.

Somehow, we have allowed ourselves to think that if there is, say, a team of 10 people, there must be 5 men, 5 women, and among them, 2 whites, 2 blacks, 2 asians, 2 homosexuals, two transgendered to be fully fair. Life is not fair. It never will be. It's not supposed to be. I, for one, am tired, tired, tired of FORCED social manipulation.

Almost every newscast or tele advert in the UK features a black male and a white female. This is not indicative of UK demographics. It's forced. Adverts showing parties featuring whites, blacks, asian, homosexuals, everyone happy. Never will happen, doesn't happen.

I'm happy to allow my sons to watch both Paw Patrol and Thomas. They are happy and normal. They know right from wrong. They are normal, fun, happy kids who do well in school.
I'm not doing mod 10 operations, I'm printing left to right. I also put each digit in a case: and the digit printing is part of a larger state machine transmitting various things. No characters are stored, one of these blocks was run whenever the UART was ready to receive a new character. I didn't want to do the entire conversion to string all at once and this is a very fast way to extract digits in order.
Sort of interesting just to hear about the ups and downs of companies like dubsmash. They were often cited as an example of Berlin's future as a startup city [1]. They went from 35+ employees to 27 [2] to now 12 as they've stated in this post. They also moved from Berlin to New York, which seems to imply they felt like the city couldn't offer what they currently need. It looks like in the process of moving they didn't take that many of the employees with them (maybe this was also a way out of strict German employment rules?) Seems like a bit of an attempt at a restart (co-founder Roland Grenke seems to be gone, etc).

[1] http://www.wired.co.uk/article/european-startups-2016-berlin
[2] https://techcrunch.com/2016/11/30/dubsmash-9m/
>I force remote first (and we've been like that since the start) the horror stories in this thread all sound like horrible mismanagement from companies trying to "add it on" rather than have it be a first class policy.

At the place where I had a positive experience, there were two major factors.

1) Since so many people were remote and some teams were spread across the world, everybody knew information had to be explicitly distributed. There was no assumption that something that came up in a meeting would be later discussed at a secondary meeting, lunch, in the kitchen area, etc. The benefit of this was that people generally knew what was going on in project relevant to them. There was minimal hoarding of relevant information, which helped everybody feel like they were plugged in and not working for a very hierarchical organization.

2) Almost everybody on my team respected, trusted, and liked each other. This meant that conversations weren't forced and people always tried to help each other. Calling somebody wasn't an issue and wasn't seen as an intrusion. There were none of the games you see when you have to work with people you don't trust. From a network perspective, this was great!

I notice that you're a cofounder so I state an observation. In times of stress for a company (e.g. a reorg) please over communicate. The company where I was working went through a massive reorg. Everybody maintained their previous level of communication, which was fine from a project perspective. But from a "What is really going on" and morale perspective, leadership did very little because they never had to do it before and didn't realize the value of it. To them, they were communicating as they always did. In actuality, there was an information vacuum and a failure in leadership. In a remote environment you're always fighting the feeling of being left out. It's easier to feel isolated, lost, and that information is being hidden from you. The leadership only reinforced this and lost a lot of good people.
Check out the article(s) about Amazon’s use of TLA+ for a good, industrial example of formal methods:

http://lamport.azurewebsites.net/tla/amazon.html
There's a nice implementation of subscriptions over at https://hexdocs.pm/absinthe/subscriptions.html#content
for Elixir.
Which rogue nuclear power with active concentration camps do you have in mind? The USA?
I'm not sure your concerns are completely valid here. We've reached the point where consumer phone cameras are good enough for 90% of photography. At this point there's huge value in giving better access to the platform itself to start applying machine learning techniques directly on the camera.

In addition, the FPGA you call limited I'd argue gives access to powerful reprogrammable logic. Why hard-code image processing algorithms when you can update them as new techniques come out?

Not only is this an amazing sensor (180fps, global shutter) but it's using cutting edge technology. I'd argue that it's possible sensor technology is reaching some of its limits and an industrial sensor here can match the quality of DSLR sensors. It may only be 12MP but Google and Apple have both shown that intelligent algorithms can produce amazing results from sensors that size.

The video on the properties of the sensor itself is quite impressive: http://vimeo.com/17230822
Litecoin Creator Sells Stake Citing 'Conflict of Interest'
Author here. I guess what I was trying to say is that CompCert as a system has been trusted for over 10 years, yet only now do we find such a silly correctness bug. People won't read the paper to find out that parsing is unverified, they'll just trust CompCert because they hear it's been rubber-stamped as "formally verified". And that's dangerous.
Isn’t formal verification subject to the problem of “when to stop proving correctness”? Even if you can prove one part you still have to prove that it’s used correctly? Like in the WPA2 case?
REST is about hypermedia

https://en.wikipedia.org/wiki/HATEOAS

but people mostly use it to do crud
I would guess that it would be exactly the area where hunter submarines will be roaming.
Is there a motivating example that compares nominal techniques in Isabelle with standard techniques in Coq or Lean over the same simple theorems?
Magic lantern? An interesting choice of name for anyone familiar with the history of spyware, encryption, and government surveillance .
If the studies they are producing aren't high-quality, is there any value to them? Do we, as a whole (because some individuals will lose out, as you say), benefit by rewarding low standards of work?

I'd also said that many may be _capable_ of high-quality work, but merely have limited incentives to produce it currently.
Ask HN: Who is the best leader?
I think there's a plugin for Rhino that does curvature modeling. Not sure about Blender right now but last I checked some time ago, no.

Back when I was designing my own paper models, I purchased a little sheet metal design book from the '50s. It was just as effective as software and very fun to have around as a reference. Polygonal models can have a polygonal look that can get in the way of a really graceful appearance[1] on some model types.

1. http://i-am-modelist.com/2011/10/10/mig-21/
I'll resist the obligatory "Gall–Peters" West Wing/XKCD post :)
Disclaimer, I am long Nvidia. But this doesn’t convince me that Nvidia is really threatened at all, they can easily lower the Volta chips cost and win. CUDA has so much more momentum than anything else, that cost/performance comparisons don’t make sense yet, and won’t for a while.

I hope as an Nvidia customer that this competition catches up sooner rather than later, but I am an nvidia investor because it seems like the competition is incredibly far behind and are trying beat a very quickly moving target.
Thanks, will check Paddle.
oooh soothsayer, tell me what you see
Narayana Murthy trashes AI as hype, asks IT leaders to be less greedy
Kubernetes isn't a nonsense name. Κυβερνήτης is Ancient Greek for helmsman. Which is not unrelated to Docker.
Here's an entire special issue (from 2016) of Industrial & Engineering Chemistry Research describing progress in extracting uranium from seawater: http://pubs.acs.org/toc/iecred/55/15
I'd love to know also, Algolia pricing seems extremely expensive, but I'd also imagine at 200M users they have sufficient funds to pay for it.
I generally have ended up staying 1 release behind the current MacOS for this reason while keeping up with security updates.

Apple has a special talent of breaking what was working just fine. While I'm sure some of it is is very worthwhile improvements under the hood that doesn't get the appreciation it deserves, do the pros outweigh a laptop that no longer runs for me?

The latest mbp's while looking great, have lead me to wonder if they are for technical creators/pros anymore..

The cpu is regularly at least a generation behind.

A missing escape key is humorous, while I can remap my escape key to the ~ key if I had a touch bar..

The fact that there's no Apple made dock for a mbp's after a decade of having flawlessly operating docks with HP. Apple display doesn't cut it for everyone as a dock.

Still I continue to use macos because it's the most usable linux/bsd out with respect to available apps. Maybe the Chromebooks will push on this front.
Usernames are, to me, just another element in a person's profile. Whenever I see "taco_saurus" "chrisin${AIRPORT_CODE}" or "[a-z]{3}19[789]\d", I have learned something about that user's personality.
Its the little things :)
Yeah, i’d guess the personality they serve best is the type who desires submission to our corporate overlords.
In that case, I hope we're also embargoing Tom Clancy, Michael DiMercurio, and Patrick Robinson paperbacks from said rogue state.
The gap is IDEs becoming automated theorem provers. You put in the type signature of what you want and keep adding unit tests until the IDE finds the correct code for you.
11 syscalls with a description why are they cool. From many different Unices, and one from Plan 9.
I think their history is this:

https://en.m.wikipedia.org/wiki/Magic_lantern
You're right, gdb has had some reverse debugging support since version 7.0 released in 2009.

https://www.gnu.org/software/gdb/news/reversible.html
Unfortunately, privacy is turning out to be quite the luxury.
Magic lantern has been around for years, possibly decades. It might as well be a brand name at this point. I have almost no interest in photography and I recognize it and associate it with cameras instantly just from osmosing knowledge about it from the camera nerds around me.
We'll use other hydrocarbons assuming we haven't mostly (hopefully) transitioned off of hydrocarbons by then. Coal (which can be liquefied), natural gas, there is a lot of energy left in the ground.

But the dirtiness of burning hydrocarbons has become well recognized so it looks like we won't get to that point at all.
Here's a spec which was buggy and yet widely accepted and implemented: TLS 1.0

You could formally prove an implementation of it and had a dangerously buggy end product. The same could be said for many of the early encryption specs which have proven to be vulnerable against timing attacks, side channel attacks, and so forth.

I've helped QA quite a few financial specs (namely those created to transform credit reports into decisions) which were inherently buggy, and these were written as almost pure mathematical formulas that just didn't take corner cases into account.

A formal proof has value, but it's certainly not an absolute - relying on it blindly to indicate the correctness of a program is putting yourself at risk.

EDIT: As a completely separate point, let's look at the potential problems with this sorting spec: "the answer is ordered and has the same elements as the input array."

What does ordered mean? How do I compare a number and a string? A binary blob? A structure? Is there a restriction on the word "same" - do they have to be the existing object, or can it be a copy? Should the answer be in the same memory space as the original, or should it be a distinct memory object? Can the original be modified?
Liked. Please check your inbox. We should have coffee.
Magic Lantern has been a Canon CFW for years. We used it in High School for our TV classes on our 5Ds.

I'm interested to see the implementation on the AXIOM, and I'm debating placing down an order.
Maybe because he does not want any more details of his porn usage spread around - there would inevitablely be discovery if there were to be a libel case. Plenty of people use porn that is not extreme but would be embarrassing.

Edit -
Also even the police have stated that there was nothing illegal found.

Additionally he was in opposition not in government at the time of the raid.

Edit again: in the UK as you should well know one is expected to provide evidence along with defamatory statements. Do you have any evidence?
I wonder if it qualifies as fair use since it's a mashup
Ahh, ok. To use an analogy I am saying we are far below the laffer curve inflection point so talking about it's limit is not really meaningful.

So yes there is diminishing returns and actor quality would eventually stop being a meaningful constraint. But, again all I am saying is it's currently a meaningful constraint; not that it's always going to be one.
Cost is a factor for sample size in any field: but physicists don't publish if they can't accumulate a sufficient sample. As a result physics experiments where sufficient sample sizes can't be obtained are, simply, never performed - and as a result physics as a field grows in the direction of high-certianty.

Physicsts absolutely could be performing experiments with poorer statistics; it'd be cheaper, more advanced things would be done sooner, and we'd be having a replication crisis.

If the social sciences were willing to go a century without discovering anything exciting, they could achieve whatever level of certianty they wanted on their current budget. (At the expense of new discoveries.)