skysight-inc/HackerNews huggingface dataset:
I agree that the throughput capabilities of Bitcoin are absurd, and that Lightning network is not a substitute for onchain transactions.

However, did you know that the hashrate and transaction throughput are almost entirely unrelated? Hashrate is correlated to the value of the coin that can be kept secure, not to the number of transactions per second that can be processed.
At my old job we had eye scanners and, if the legends are true, they would sometimes sound the alarm on women who just got pregnant, before it would even show up on the pee test.

I wonder how they account for a person changing over time. Like if you hurt your hand and start swiping with the other one.
If workers are terrified of changing, employer-linked healthcare is probably a big part of that.
Moschino SS16 Fashion Show – CL (2NE1): Moschino Teddy Bear Collar Dress $2295
It will create jobs but not increase wealth at lower levels. Obviously not, because the whole reason companies do it is to avoid paying more to workers. It will just create more situations where people need to work two jobs, without the benefit of being paid overtime. Still no benefit to a man in his mid 50s looking for a low-skill job, because the job he was trained in doesn't exist now.

TL;DR yes, I don't believe it.
And then make it display statues of weeping angels.

Don't blink!
Sounds like horror stories I have heard about working in investment banks (or non-tech companies in general...)
A friendly reminder to all the new chromebook converts to install johnlewis.ie's firmware, and boot a proper linux (I suggest Calculate Linux[0] for security). Friends don't let friends use Crouton.

0. http://www.calculate-linux.ru/en
I used a 30'' Apple HD Cinema monitor to shuffle around the Hermitage painting collection. Setting it at 5 minutes per slide, it's like walking in a museum: fast enough to always be interesting and fresh, but slow enough to enjoy it. Also, used Image Magick to overlay the title of the painting. It makes a lot of difference to know the title. Also, if keep it up for years, it's like art training for the eyes.
Sure do!!! And do you know you can now get SFCave for free on iOS? The most addictive game ever! :)
> SQL itself is a little bit goofy, right?

The proper pronunciation of SQL is SQuirreL.
Qualcomm's Mirasol displays might have fit the bill, they weren't responding to my company's request for samples and they eventually closed everything down without shipping many (any?) in production. They are working on a MEMS-IGZO product w Sharp that was similar and supposed to come out last year but I haven't heard a peep recently. Liquavista was working on a color epaper solution as well (acquired by Samsung in 2010, then Amazon in 2013, nothing announced.)
VC Funding Trends in 2016
This seems incredibly over engineered. One less system call? Great, but I'd rather the service just be cheaper. Skip the blog posts and just ship it already!
Using the distro-supplied packages for PG (or any database server) is typically not the best choice for a production deployment.
According to EPA, a herbicide is a pesticide.
Our new website is now live
Y Combinator Partner Peter Thiel Secretly Bankrolling Lawsuit Against Gawker
I dont' buy this "value of the coins" argument at all, it doesn't even make sense.

And the data agrees with me: http://imgur.com/a/7Qjpa
Great sacrifice was also made for the Chinese people to enjoy the way of life that they do not yet have.

http://i.telegraph.co.uk/multimedia/archive/01651/tiananmen_...
I read the headline as "underwear fantasy".
iKON Tracker to launch from Brisbane to tackle kidnapping and abductions
Peter Thiel Secretly Funding Hulk Hogan's Lawsuits Against Gawker
$1.4M

http://www.geek.com/apps/tsa-paid-1-4-million-for-randomizer...
how is an Apple service provider able to bypass this? if they can, so can an adversary, no?
Ah, that's nice! Though their blog post at the time seemed to indicate that Apple helped them a bit:

https://blog.fastmail.com/2015/07/17/push-email-now-availabl...
Bitcoin is trying to undo https://en.wikipedia.org/wiki/Chiemgauer

https://www.lewrockwell.com/2013/12/gary-north/bitcoins-vs-g...
I was intrigued by this a while back. I think of training a NN as generating a function, an equation, from a training set which, given a specific input, outputs a prediction. If you can come up with an equation-input pair that, when executed, a) accurately enough approximates some data, and b) requires less space than the original file, you have achieved (most likely lossy) compression.
Transparency begets trust
Wow, that is a hardcore function... Have no idea what is going on there... Probably some/a lot refactoring needs to be done there.
Thanks for the reply!

Yeah, I understand the market reasons. You are still the best in terms of hackability, and I appreciate this very much. I already backed, can't wait for Time 2 and Core!
> Actual, real-world people vote against high-density urban environments with their feet, and pretty much always have.

If that were true, then the prices in high-density urban environments would be much lower than they actually are.
These Glasses Will BeLifesaver for the People Who Suffer from Visual Impairment
https://en.wikipedia.org/wiki/Hikikomori
The anti-GMO crowd is simply the conservative reasoning crowd, not necessarily the unscientific one. Why? Well, nutrition science still advocates for low-fat, low-sodium, low-cholesterol diets. Doctors still prescribe Lipitor; Tylenol is still OTC; prostate cancer is still "cured" with unnecessary invasive surgeries, mammograms although questioned as a self-fulfilling prophecy are still widely used, CAT scans with their huge amounts of radiation are still performed for benign symptoms, and so on. Just because there's a (poor!) study about something, it's not a good enough reason for people to change their reasoning - so the heuristic is that everything new is too risky for the slightly better yield. I might be pro-science and pro-technology, but when it comes to what I ingest and how I live, I'm more than conservative, and it's been working well for me. Most science is bad science, unfortunately. Until AI starts dominating science, I can't trust scientists 100%, sorry! Especially about super complex stuff like nutrition and metabolism! Our bodies are the most complex system in the visible universe, and I don't think we can predict the outcomes of each intervention. What we know for a fact is that we're best adapted to our tradition diets and foods!
I'm interested in the economics of (docker) containers vs. virtual machines. Containers can run within a VM, but a VM can only run within a hypervisor.

Currently, if you want to resell computing resources, you need to rent or buy a dedicated server, and run a hypervisor on it.

Containers enable a new class of reselling computing resources. Because you can run a container within a VM, you can resell computing capacity on a VM.

I think we are going to see another abstraction on top of "the cloud," due to this additional layer of reselling (new russian doll on the inside, new doll on the outside).

The physical abstraction is:

Datacenter > Floor Space > Server Rack > Server

The virtual abstraction is:

Server > VM > Container > Kubernetes|MESOS|...

Virtual is a 1:1 inverse of physical. Next step is datacenter interconnections (i.e. multihost kubernetes or whatever flavor of the month IaaS software people use).
I guess I'll be the lone naysayer. I use a 620 and have had a 910 and 405. Each one had major bugs that make me shocked that they shipped. It seems that the general feeling from my friends who use their products, is that Garmin does a less awful job than Polar at providing fitness tracking for athletes.

Just one example, it's a common and known issue that putting the 620 on the charger will sometimes drain it completely. There's magnets that hold it in place so there is no chance the proper connection wasn't made to produce a charge. Even if there wasn't any charge, it shouldn't drain it, but numerous times when I've gone to grab my watch off the charger, I've found it dead. For perspective this is a $500 top of the line watch that they offer.
> Prohibiting doesn't fix the actual problem, only the symptom

Society prohibits many things and often it works fine. You can't run red lights, violate sanitation laws in your restaurant, defraud your customers, violate zoning laws, burn down your neighbor's house, practice medicine without a license, etc. Many of these rules have demonstrable positive outcomes.

Rather than applying an ideological theory to reality, I think we need to examine the data - the messy details - on what actually has worked and what hasn't, and where that's unavailable use serious, non-ideological economic analysis.

We successfully regulate many business practices to protect consumers, and Europe appears to successfully regulate privacy. Privacy doesn't seem particularly difficult to regulate, but I'm open to research on it.

> It does, however, allow many to sleep well at night knowing they "helped" the poor.

This starts with a fallacy about 'prohibiting', creates a fictional person who 'sleeps well' (implying the fictional person has some shallow view of the world), and mocks the fictional person. It's possible their feelings are hurt; perhaps you should consider apologizing?
And all compression is distortion.
Now this is something to differentiate them from GitHub, which was desperately needed after GitHub changed their prices recently.
Unfortunately, the way it works in reality means adding ciphersuites is easier than adding new versions.
Right. High prices or lots of new housing. Pick one.
> Using the distro-supplied packages for PG
> (or any database server)

Or almost any of your application environment, really.
Previous windows phone user. I loved the OS, I had a $40 brand new windows phone and I never once ran into any performance problems. Now with a considerably more expensive galaxy s5 I miss the responsiveness of my windows phone. But I sure as heck don't miss that app store. So much crap and so little quality.
I'm experiencing a strong sense of déjà vu.
The threat to Apple is not AI, it's that the mobile hardware market is maturing, that the growth opportunities seem to be in building in services that leverage mobile hardware and that those services are increasingly based on analyzing and evolving based on huge sets of customer data.
What I found most interesting was that A Scanner Darkly, which is rotoscoped, looked live action in several of the coherent frames that had been filtered through his Blade Runner-trained network.
Dupe of https://news.ycombinator.com/item?id=11759733
Probably, if he showers regularly and doesn't wear the device to tight. :P. Waterproof is great.
Also, random selector of hello worlds from Rosetta Code.
> Do not perform table alter commands. Table alter commands introduce locks and downtimes. Instead, use live migrations.

Care to elaborate more on this? What do you mean by live migrations?
> I don't think the ones you mention impede encapsulation of algorithms so the compiler can do a better optimization job.

Unless you can produce an actual counter-argument I guess we'll just have to agree to disagree about that.

> signed characters make no sense

I could not agree more. And yet...

[ron@mighty:~] gcc -v
Configured with: --prefix=/Applications/Xcode.app/Contents/Developer/usr --with-gxx-include-dir=/usr/include/c++/4.2.1
Apple LLVM version 6.0 (clang-600.0.51) (based on LLVM 3.5svn)
Target: x86_64-apple-darwin13.4.0
Thread model: posix
[ron@mighty:~] cat test.c

int main(int argc, char** argv) {
unsigned char* x = "baz";
}
[ron@mighty:~] gcc test.c
test.c:3:18: warning: initializing 'unsigned char *' with an expression of type
'char [4]' converts between pointers to integer types with different sign
[-Wpointer-sign]
unsigned char* x = "baz";
^ ~~~~~
1 warning generated.
"...Python has smoothly evolved..."
Well, not exactly.
Anonymous Outraged About Ongoing Police Abuse
Fine, "heavily inspired by".
I think the real issue is to consider why many people have such a strong emotional reaction to the idea. I think it undermines their worldview that everyone is an angry ideologue, necessary to justify their own behavior.
oops. Thanks for calling me out on the semi-colon. I also forgot to pass response as an argument. I should be ashamed of myself. Must've been late.
> A unary predicate whose argument ranges over TM may have such a subset as its extension.

Yes, but now we can talk about a specific logic/language, and now it matters exactly how the NDTM is expressed syntactically. E.g. in TLA (and LTL, or CTL for that matter) `[](x ∈ {1,2,3})` means "the variable x in the program is always in 1..3", or (semantically) "the set of all TMs where x is always in 1..3". x is a name given to a variable in an infinite set of variables defining the abstract machine's state (i.e. a state in TLA is defined to be an assignment to the infinite set to all possible variables), and the existence of the machine (or a Kripke structure, if you will) is implied. If you only supply a proposition on variable x, it means that all other (infinite set of) variables can take any value.

You can read about TLA/TLA+ in one of the links I provided to get the specifics (it's extremely easy to pick up, BTW). In any event, a proposition in TLA can be thought of as a predicate over a(n implicit) TM. You may also find this short note by Lamport about the history of TLA/+ (and in particular the unification of temporal-logic propositions and programs) interesting[1].

> Two syntactically different predicates may have the same extension.

True, I didn't say the syntactic representation is unique. Also, in TLA it's no longer just a predicate but any proposition.

> There oughtn't even be the possibility of conflating them.

I am not conflating them, and I'm not saying a proof is formally a proposition. I'm saying that in intuitionistic logic, a proof (especially of an existential quantification) may be also interpreted as a more precise/limited proposition. But this is just a vague notion, and it could be completely wrong (even if I were able to communicate it clearly), so I see no point in debating this.

[1]: http://research.microsoft.com/en-us/um/people/lamport/pubs/c...
How to Upload Files to Amazon S3 with Angular 2 and Webpack
I'm probably missing something, but looking at:

https://boringssl.googlesource.com/boringssl/+/master/crypto...

and in particular:

https://boringssl.googlesource.com/boringssl/+/master/crypto... and https://boringssl.googlesource.com/boringssl/+/master/crypto...

I don't see how this is any improvement on just writing plain assembler? Apart from the perl-style comments, is this any cleaner than say, some code compiled with yasm?

[ed: I guess what I'm missing is that there's probably more similarities between the x86 flavours and ARM flavours -- but I still think one would need to look at, and understand, the generated assembly for each platform in order to audit the code. So I still wonder a bit about what the gain is.]
I heartily agree. It would be nice if CryEngine had official support for Blender and would make CryEngine look better as well by supporting Autodesk alternatives.
Before I recommended it, I went back, read the most recent one (which I've read before), and snickered aloud. It's still enjoyable as heck.
I learned my lesson a couple years earlier with XNA.
How creating games in canvas helped me learn better
I have a four-letter Twitter handle (so I have had it since the dawn of time) but the "why it was useful" part still eludes me.
Interestingly, I think a lot of people would benefit from moving to places where they'd earn less. The high cost of housing in places like California far outpaces the increase in wages when compared to the Midwest. If you can find a job in a place like St. Louis or Cincinnati, you could take a meaningful pay cut -- say 30% or so, at least -- and come out ahead in lifestyle.

Do you want to spend the next 20 years complaining about the high costs of real estate or would you rather move somewhere that you can own today?

How important to you is that sunny weather?
With this network you can re-encode the movie to make everyone smiling and wearing glasses. You can't do that with simple distortions.
> A proposition is not a set in any conceivable setting.

What you called "predicate" in your other comment, is a proposition in a logic that expresses machines in a certain way (where the object of the predicate, i.e. the machine, is implicit). TLA is a (linear) temporal logic, and so, like all temporal logics (at least those concerning computer programs) its structure is an abstract state machine (which, BTW, can also describe LC, either by choosing an evaluation strategy, in which case the machine is deterministic, or not -- treating it as an abstract rewriting system -- in which case the machine is nondeterministic).

> It's external because it's not a part of Java or whatever other language you're using to write your actual program.

Now you completely lost me. You said "In TLA+, or any other external program logic, the program itself is just a syntactic object". In TLA+, the only notion of "the program itself" is the TLA+ expression. Whether your TLA+ expression is automatically generated from Java or C code (as some research teams have done) or coded manually, the other representation is not an object in TLA+ at all. It's like saying that if I implement quicksort in Java and you implement it in C, then your program is a syntactic object of mine. I'm not sure what it means. When you code quicksort in TLA+, TLA+ is not aware in any shape or form of any other existing or possible representations.

Unrelated to your statement about external logics, it is obviously true that TLA+ is not used as a programming language (I guess it could be, but it would be extremely inefficient[1]) but a specification language. TLA+ is used across many companies in the industry to specify systems that are very large (the program I alone verified in a few months is many times bigger than seL4 or CompCert), and therefore full end-to-end language-level (or extracted) verification does not apply to them anyway. TLA+ provides a different level of guarantees, but also aims at a different scale of programs (Lamport: "The development of TLA+ was motivated by the needs of engineers building large systems, for which complete formal development is out of the question."[2])

[1]: Synchronous programming languages (like Esterel, or the modern Céu) share some similarities with TLA, and indeed Esterel and its descendants are used in the industry to write and verify safety-critical real-time systems (esp. avionics and other embedded software). However, in Esterel (unlike TLA+) the LTL propositions are indeed distinct from the program, and are therefore external.

[2]: http://research.microsoft.com/en-us/um/people/lamport/pubs/c...
First off, I can't take you seriously after using a dollar sign in Microsoft. That's just a conversation killer for anyone talking seriously in tech. This isn't an IRC channel for 13 year olds in 2004.

Secondly, the article isn't about what is "better" overall. It's about scaling SQL, and how noSQL isn't always necessary. The "in" thing to do right now is to have noSQL in your stack, blindly, without looking at your project. Or doing expensive migrations to noSQL solutions when you already have an expansive infrastructure built on SQL but need to scale. Wix is just giving insight into their techniques with MySQL and how in the end it made more sense for them than going with something like Mongo.

TL;DR: You didn't read the article.
Replacing minimum wage with UBI shifts employment subsidies to the same firms which are now pressing their workers to apply for welfare benefits whilst pocketing massive profits, including the wealthiest family in the US, the Waltons, of WalMart.

Another model is UBI and government as employer of last resort (or a equivalent strong labour movement). If there is an employer who can absorb all applicants at a minimum wage, then the market floor is pushed up.

Remember, a living wage is the minimum all-in cost of labour. If you're operating a business which cannot afford to pay a worker what they need to survive, you're not operating a business, you're operating a charity supported by your workforce (or social welfare systems).

If you can and fail to, you're simply pocketing profits from the public purse.

This is straight-up Adam Smith: "A man must always live by his work, and his wages must at least be sufficient to maintain him. They must even upon most occasions be somewhat more, otherwise it would be impossible for him to bring up a family, and the race of such workmen could not last beyond the first generation."

https://ello.co/dredmorbius/post/29ecw4nrl7ap2fu4chnjsw
Comparison of British, American and French Systems of Justice
This is basically a remake of the movie The Matrix. He even flies at the end.
Double taxation isn't just some vague term I made up: http://www.investopedia.com/terms/d/double_taxation.asp

What you described is commonly referred to as double taxation. I merely pointed out that this is more evidence that businesses are legal entities defined by the government. If businesses weren't legal entities, this wouldn't be an issue.

However you could have noted that most corporate money is dished out as salaries and bonuses, which isn't taxed twice because the company can deduct it as a business expense.
In gamedev, using raw pointers is necessary. As a rule, game engines do not use refcounted pointers. This is because whenever you decrement a refcount, you're accessing the cache line in which the refcount resides. This results in thrashing the L1 cache, which translates into at least a 10% drop in performance. This is an unacceptable margin for game engines that fight to stay ahead of the competition.

More info on performance loss due to cache thrashing:

https://lmax-exchange.github.io/disruptor/

https://lmax-exchange.github.io/disruptor/files/Disruptor-1....

http://martinfowler.com/articles/lmax.html

http://mechanical-sympathy.blogspot.com/2011/08/disruptor-20...

And http://mechanical-sympathy.blogspot.com/ is great in general.

The reason that raw pointer management works in gamedev is because gamedev is closer to crafting than traditional programming. No one will die if a game crashes, and the iteration loop is a tight feedback cycle of code-compile-run code-compile-run.

Due to the nature of the entertainment industry, the codebase also loses much of its value within a year of releasing the game, as opposed to traditional software that typically gains value with time, meaning it's more important to get code out the door than to get it right. History is littered with the skeletons of game companies that disregarded this unfortunate truth.
> They did say they use all 8 primaries

No, they say they can display all 8 primaries.