skysight-inc/HackerNews huggingface dataset:
You can hide muted channels.. then you don't see them
bitcoiners in 2012: "Bitcoin will eliminate the wall street banksters!"
Bitcoiners right now: "OMG Goldman is getting in, who's ready for their moon rocket?"
When you're stuck with C++, writing a GUI in anything but Qt on Windows or Linux is basically a waste of time. MFC on Windows sucks hard and Qt is simple the native go-to C++ toolkit for Linux.
"Congress shall make no law [...] abridging the freedom of speech [...]"

This is not related to 1st amendment; this is no law being passed by congress or any government body. Nothing prevents a person from speaking after an NDA is signed - they won't get tossed in jail, because no law was broken. However, after doing so, they will be responsible for any civil penalties they agreed to when they signed the contract.
I told Yannick at AdaCore that getting parity with Rust's borrow-checker was critical given SPARK was otherwise the champ of highly-assured, system code. He said someone was working on something like that. I appreciate the tip from touisteur about this work because it's awesome!

This is also potentially a boost for my Brute-Force Assurance concept of doing versions of same code in multiple languages to leverage their verification tooling, esp automated. One obstacle was mismatch between Rust's pointers with borrow-checker and SPARK's lack of them. Bringing them closer together might let one use SPARK to model unsafe code in Rust to prove its safety. Other languages, too.
This does not account for the massive increase in taxes that graduate students would have in the house plan. In the house plan tuition waivers of graduate students will become taxable and push them further down the poverty line.
Seems to me that increasing the toll price with increasing levels of road usage would be the best way to ensure that those of lesser means still have access to the express roadway.

Example: Using the express roadway once a month is $10/use. Using it 100 times is 50/use.

This is similar to how California tries to restrict water usage by the wealthy.
Scientists 'Inject' Information into Monkeys’ Brains
Nitpicking. It is an analogy. The author said nothing of whether an AI could actually build a car. That's not the point of an analogy. Some of the most renowned physicists use balloons and balls to describe space-time, but space isn't a balloon - does that make their layman explanation bad?

> rules of chess

Just like "AlphaEngine" would have the rules of reality: physics.

> several orders of magnitude

Sharpshooting. Go (the other game that it plays) has more positions than there are atoms in the universe. Not having to evaluate every position is precisely the improvement that AlphaGo brings to the table.

For the record I don't think that AlphaGo could build a car and, even if it somehow could, the universe would likely experience heat death before it arrived at a workable solution.
It appears by "safety concerns" the author means "right wingers might be able to chat on the platform". I'm not sure Discord wants to put themselves in the position of weaponizing their platform to suppress particular kinds of private political speech.
Some questions:

1. Why is trustless computing important?

2. What does trustless computing allow us to do that we can't/won't do now at a comparable or lesser cost?

3. What evidence do you have that anyone cares about trustless computing other than the price of bitcoin and other cryptocurrencies?
If this phase of Bitcoin is likened to each goldrush around the world, isn't it fairly inevitable that there will be hiccups? Robberies, banged together shopfronts, people using any tools they can find, etc. And the internet has long been a bit of a Wild West already.

Assuming they're adding thousands and thousands of customers quickly, I'm not surprised that their systems and support are lagging. Comes with the (Wild West) territory.
who came with the idea of kCal, cal, Cal btw ?
The Power of Habit by Charles Duhigg gives incredible insight into how to build habits. I highly recommend it.
I don't know such an 2017 study. The closest are the Bundesbank 2014 one https://www.bundesbank.de/Redaktion/DE/Downloads/Veroeffentl... which says 97% own a Girocard and 34% a credit card. 21% of the people that own a credit card responded that they got it for free with their bank account. (The second volume of that project that was published this year doesn't contain any new numbers as far as I remember – they are currently conducting new surveys).

There is also the 2013 Steinbeis Cost of Cash study: http://www.steinbeis-research.de/images/pdf-documents/CFP_Co... It cites EHI numbers, about 30% with a credit card.
It seems that Alpha Go is now aiming Starcraft 2.

It will probably lead to interesting challenges.

I would love to see it tackle my favorite RTS (Supreme Commander) but really, what would be interesting would be to have it attack 'real life' problems :

-logistics

-subway circulation

-city planning

-detect diseases

-optimize the energy efficiency of a building.

(just armchair opinion, I don't know how well suited AZ would be to these problems. I do know that AI has already helped with some of these though)
Local bitcoins. I met up, btc were held in escrow, paid in cash, got the escrowed bitcoins released to me.
Drip was acquired by Kickstarter, maybe 2 years ago.
Oracle Navarkos – Automatic Kubernetes Multi-Cluster Federation
Silly question: if the KVM is using para-virtualized drivers and there is a vulnerability in same, then the host kernel would still be vulnerable?
very useful!
Anyone curious of its benefits can find them here:

https://www.adacore.com/books/safe-and-secure-software

Throw in a good article on top:

http://www.electronicdesign.com/embedded-revolution/assessin...
Gwern ran a self-experiment finding that it did affect his sleep: https://www.gwern.net/zeo/Vitamin-D
I'm using some KDE apps under Wayland (Sway, to be precise), and they're definitely not running under Xwayland (as confirmed by `xlsclients`). There is a lot of scaling confusion, but it's far from "unusable". Just not pretty.
It's official: Bitcoin bubble will burst in the next few weeks/months. Just wait for Goldman Sachs clients to buy enough shorts...

https://www.bloomberg.com/news/articles/2017-12-07/goldman-s...
Like i said earlier, it's easy to launder money using Bitcoin, even dirty cash. I'm sure one could just sell dirty dollar bills at at a discount btc price.

I mean where else could this btc price bubble world come from?

Of course it's being used for money laundering, and at large scales, you live in a dream if you refuse to see it. I really doubt that legit investors are buying btc... Or else it is a lot of small buyers joining the bubble train, which is equally worse.
Thanks for posting... you touch on something that isn’t ever spoken about. The advocates for getting rid of nn regulation always speak in generalities and concepts like attorneys.

I have the perspective of having worked for a large institution that is in effect a large ISP. Our network delivery costs are nothing in the scheme of things, and where we own fiber the marginal cost of scaling our network capacity 100x a decade ago was actually below zero as we replaced more expensive, more labor intensive equipment.
By now I think it's essentially zero-sum gambling what's going on. No dollars are going to be destroyed when the bubble bursts (if it is a bubble). They just change owner. No factories will close. Probably no major banks are going to crash. Just individuals losing or earning money.

All of this of course might change if/when factories/banks begin to invest heavily in bitcoin.
Is dried fruit bad?
On the origin of modern humans: Asian perspectives
Anybody having an idea of how many of all bitcoins get traded a day?
Did DeepMind publish anything about this? Is this literally a straightforward plug of the AlphaGo Zero techniques into a chessboard with no novelty? Don't get me wrong, I'm impressed, I'm just looking for a more primary source.
Bitcoin terrifies me
It has been a couple months since the last time I tried it, so I gave it a download to see if my complaints have been fixed. It looks like the only one that has (or, more likely, I misremembered) is the fading cursor - but it's still too thick, it still moves when doing pgup/pgdn, selection on clicking still behaves differently, and the scroll bar is still most definitely visible. Also, there's that weird page-high gap when scrolling to the end of a file - I had forgotten about that one.

I know VS Code is highly customizable; is it possible you installed some customizations to make it behave more Mac-like?
> ... whose backers posit its primary value as a way to avoid the rule of law ...

Sounds bad. But here's what Ari Paul actually said:[0]

> So there are quite a few use cases. I think the biggest and clearest, and easiest to understand, is as a store of value that can't be censored and is resistant to seizure. And so, the really clear example of demand for this, that I see, is the offshore banking system. Which is roughly 20 trillion dollars today. And it's not just people trying to dodge taxes. Apple, Amazon, every billionaire on the planet, has wealth stored there. And firms like JPMorgan collect fees to offshore law abiding citizens’ wealth. And people want to store their wealth securely, in a way that no single judge could freeze all of their assets. Right? Amazon doesn't want their entire global business operation to be shut down by one judge in Brussels. They want to be able to go through a lengthy appeals process and keep their business operating. So cryptocurrency performs that same task of the offshore banking, of keeping wealth secure an order of magnitude better. So we see massive real fundamental demand for this use case.

Makes sense to me.

0) http://www.businessinsider.com/cryptocurrency-value-explaine...
The arxiv paper is here: https://arxiv.org/abs/1712.01815
I recently met a friend of a friend who was just hired on as an Amazon delivery contractor. He said that to get the job, he replied to an ad on Craigslist, met someone in a parking lot, talked to him for 10 minutes and was told that he had the job. The guy who hired him doesn't work for Amazon, but is himself a contractor. So, not a whole lot of vetting going on there.

Incidentally, this is in the Pacific Northwest, not far from Amazon HQ. S
Your question is spot on when you ask if the implications are well understood. History is littered with new financial technologies whose implications were not well-understood which immediately resulted in a bubble. The invention of stocks (South Seas Bubble), of stock margin (1929 crash), federal deposit insurance (S&L crash), collateralized debt obligations (2008 crash).

Historically, being early on a new financial technology has rarely gone well for the participants.
I am at KubeCon 2017 in Austin, TX and, yeah, based on the presentation, it looks like an internal tool they just opened to the public with some bold goals.
Ask HN: How does the U2F USB protocol work?
Hey guys, I'd like to try my hand and developing some libraries for use [abuse] of u2f tokens. Having a hard time uncovering any technical dirt on how the device presents itself and what commands are sent to it. Thanks!
I have been trading crypto for 5 years now and it is a wet dream for rogue traders. There was a myriad of stories about traders and even banks that tried to pull of some shady statretgy in the stocks markets that the SEC shut down, those same strategies seem to be fair game in the crypto world, you just have to have pockets that are deep enough. My point is that if you are smart and think you can beat or even keep up with the crypto market, you will end up losing because it’s been rigged for years.
OS X through around 10.4 would run most updates in the background and you could restart later at your own leisure. It was fantastic back then.
>Also, could we stop using the term 'slave' to refer to distributed compute or storage nodes?

Agreed, I still stick with the old Loadrunner nomenclature "loadgen"
My thoughts exactly. Or host semi-exclusive parties at larger public venues such as bowling centers, where employees have chance to mingle with outsiders, likely with better gender ratio (most such venues have split sections and people can walk across them. Thirsty Bear in SF is a good one). Not to even mention implication on gender issues, hiring models to interact with employees does not really help them improve their social skills.
Visual analytics uses tweets and cell phone data to redesign cities
It's uncommon in this context, common in other contexts. There are lots of things you can buy in retail stores that might involve fees. You might pay extra for using a credit card (versus cash) than the stated price to cover the processing fees. And it's possible that if you're using some service or intermediary for selling something then they might take an additional cut as well.
As a CPA, double-entry accounting is sort of considered the founding of modern accounting. Everything else is a question of accurate recognition. Luca Pacioli was an Italian dude who was the first person to publish something widespread on double-entry accounting, although the same methods existed in other regions without any formal documentation.

https://en.wikipedia.org/wiki/Luca_Pacioli
LinkedIn engineering team use Glimmer bytecode to speed up load time
Creators are currently upset because some of them are starting to see patrons stop supporting them due to this. Oh and also upset because Patreon is presenting this as "putting more patron's money in creator's pockets" when it's clearly not for anything outside of the cherry-picked examples they give.
Similarly, some time ago I ran a team of 9 through Ventrilo (TeamSpeak alternative) after we struggled with Skype and IRC. It worked great, but we missed text for historical reasons; to supplement text we whipped up another IRC channel.

Discord really hit it off with gamers giving them the chat application they want (such as Steam, Battle.NET; formally Xfire) with the VOIP they used in conjunction. It's really an amazing product (who says Electron doesn't work?!) — I'm hoping they can stay around for a long time.
About $6000 into a "MVP" for starting my own cafe.

I later found out that most people who start restaurants lose money. You'd make something like $100k sales and $101k costs a month. The game is in trying to change sales or costs by 5% or so.

A lot of restaurants don't shut down for this reason. They're all really close to being rich and they all invest so much into it that it's worth trying out another year.

That's why they're not killed by the free market. There's a lot more out there than there should be.
Given both the presence of "Hate" in the name of the site and the fact that it's one of Richard Spencer's revenue streams, I don't agree with your assessment that it's temporary and it's oriented towards "not safe for work" content.

Sexual content can be considered NSFW and should not be conflated with a "safe haven" for hate speech.
The name is literally Hate-reon, my dude. Its audience is well-defined.

I can definitely see a Patreon alternative that might do better by folks getting some traction--Kickstarter as a PBC is interesting, I actually didn't realize Patreon wasn't. But I know a decent few NSFW creators and I can't imagine any of them going to where the Daily Stormer and Richard Spencer gets their funding.

Conflating self-declared Nazis with pornography is exactly what those Nazis would like people to do.
plotnine.readthedocs.io/en/latest/api.html
No one has mentioned https://liberapay.com/ ?

They seem to deal with this problem by letting you fund a donation account and then disburse funds on a periodic basis. This is also similar to donor advised funds so I'm not sure why Patreon is doing this when other alternatives are available.
Guess it's kind of like the Peninsula / East Bay divide in SV? Crossing any of the bridges is a nightmare.

Hilariously, growing up 880 was known to be the worst highway wrt traffic but with increased employment in the peninsula, 101 has legitimately overtaken it I think.
There's been a lot of good advice thrown out there, so I'd just add that you might consider looking into a sleep study. I had untreated sleep apnea and it was like waking up with a hangover every morning.
What is the use case for multi-row over tree style? I feel like tree-style allows me to easily see all my open tabs and their hierarchy. With multi-row your tabs are still scrunched into a small area that does not allow you to read their title or easily differentiate them when you have many open.
In my experience, the converse is true. Finder/Explorer makes only already easy tasks like cd/mv/cp/rm easier, but terminal is much better for more complicated operations, such as mass renaming, data file preprocessing, etc.
I've always wondered if it was in part because porting an ADA compiler ideally also involves porting some support for constructs like TASK - which ends up more like getting maintenance in place for both a language compiler as well as OS elements. In comparison porting a C compiler is mostly about the instruction set, and you can separately decide to port/support thread libs or selected RTOSes.

It's been a long time since I programmed in ADA, but the TASK support on the toolchain/system I was a long time ago sucked, and you couldn't climb into it and fix it like you might a standalone C RTOS because it was part of the tooling supplied by a vendor.

Vs with Rust, the borrow checker is fairly portable memory lifetime tracking and reasonably independent of hw architectures.
I have a hypothesis, though I haven't had a chance to dig through existing research to determine if it's an idea worth pursuing.

The basics of it are that there is a condition that has the same symptoms of type 2 diabetes, but isn't, and that "real" type 2 diabetes is a genetic defect that does not have as much of an impact as the type 1 defect. If correct you might say it's a nomenclature issue, which seems to happen from time to time in medicine.

If this hypothesis is correct, then people who are overweight and "cure" type 2 by losing weight are really just improving their health (which they should do). They never had diabetes to begin with. As I said before, I haven't done the research and only have anecdotal evidence from my own situation with diabetes. To elaborate, I've never been overweight and have always had fairly well balanced, low-sodium diet, yet was still diagnosed. Most men on my father's side of the family have been diagnosed with diabetes, so it seems genetics might come in to play. I manage my diabetes through diet, exercise, and medicine (not insulin).

I suppose the research I would like to see is a study of treatment controlled for the initial weight and lifestyles of the patients. If weight wasn't a factor to begin with, how did diagnoses take place and how did changes in diet and lifestyle affect it? I'm also curious of heart disease and kidney function actually correlates with diabetes only because of obesity (or in other words, actually only correlates with obesity).

Also, the article states, "Rather than addressing the root cause, management guidelines for type 2 diabetes focus on reducing blood sugar levels through drug treatments. Diet and lifestyle are touched upon, but diabetes remission by cutting calories is rarely discussed". Maybe that's true in the UK, but in my case, per doctor's orders I went to the diabetes control center and had a class on how to change my diet, which included meetings with a RN and registered dietitian who specializes in diabetes treatment.
The share of US wealth concentrated among the top 1% is at a 65 year high
> Did it in any way foster interesting discussion?

Six subthreads and seventeen total subcomments so far, so apparently so. Exclusive of this particular subthread, of course.
I wonder what Jamie Dimon thinks about this! Funnily enough, my sources tell me JP will be in on the futures contracts as well. What hypocrisy!
Don't forget about application mode in Chrome: Menu > Tools > Add to desktop. It will then run the web site "chrome-less" without address bar etc.
I recently looked at Locust, and even though I knew practically zero python and have many years (tears?) of Java background, I found Locust, especially with a little docker-compose 17-liner, amazingly productive. YMMV
> All while it's getting late for you to get rich too.

It's easy to get on the train, much harder to know when to get off. I still remember the anguished posts four years ago on HN from people who put their life savings into bitcoin shortly before the market crashed. One Reddit user on r/bitcoinmarkets posted that he had lost everything and took his own life. It took years for the market to recover. Don't fool yourself, nobody knows where this train is going.
I wouldn't call increasing chromium and vanadium and decreasing sugar 'radical'.
In the stock market, there exists counterparty risk mitigation; in the event your counterparty is insolvent at the time clearing/settlement occurs, your trade will be made whole by a clearing/settlement corp.

No such guarantee exists with cryptocurrencies.
Don't get me wrong, I'm all for consumerism, but if you got to the point where the business you're buying products from has the key to your house just so you can keep up with deliveries, maybe it's time to reconsider your spending habits.
(Virtually) No one should own an Echo or any other “voice assistant” product
Patreon supports fascism so Kickstarter is where to spend your money! Queue the Nazi supporters!
> It is paving the way, but the fundamentals of how it works are unsustainable.

The fundamentals of how it works can be changed. It is true that entrenched actors may dig in their heels and prevent it from changing, and so some other more fast moving cryptocurrency may take over. An alternative is a hard fork. I think it's possible that a hard fork that has figured out the "right way" will do better than a fresh cryptocurrency doing the right thing but from scratch, because by hard forking you don't have to convince everyone to bootstrap. I accept it may equally go the other way; we'll have to wait and see.

> Transactions cost too much, take too long, and require too much proof of work.

Let's see what the lightning network brings.

As for requiring too much proof of work, I think that's a fallacy. You're looking at it backwards. "Much" proof of work isn't required; that miners compete by providing it is a consequence of the current value of the block reward and transaction fees. Relatively little hash power is actually required to maintain the network. The reason the current hash rate is so high is because hash rate follows price rather than the other way round. The high value of the mining rewards has attracted many miners. In the future, when the block reward becomes zero and the lightning network has relieved congestion on the main blockchain, traders (actually probably just parties seeking clearing) won't have to bid against each other so hard in fees to get their transactions confirmed. Then transaction fees will drop, so the reward for finding the next block will also drop, unprofitable miners will leave, and so will the hash rate.

So: 1) transactions cost too much and take too long is currently true but if the lightning network effort succeeds then this will no longer be a problem; and 2) too much proof of work is not actually "required".