skysight-inc/HackerNews huggingface dataset:
I never post anything and it's a normal enough profile. I just interact with friends once in while via messages or by seeing posts from them.

You don't need to go all out on joining some imaginary race to the best profile. No one cares.
Violet Rose – late Night
Making something that objectively makes your country a better place, beyond just building a little cabin, might given you some sense of pride & stake/ownership in your country, as well.
What do people use nowadays to BUILD live video streaming whether it is one-to-many (twitch.tv, younow.com, Instagram live) or more like small group (8 person max) video stream (Hangout, Houseparty, Facetime, etc )

Is there any PaaS for that? or need to chain multis blocks/open source projects together to "make it work"?
Same for me. I could take notes but then I would just be blindly copying what was on the board.
I'm so glad that I attended university before it was the done thing for students to be on laptops during lectures. If nothing else, it's simply a distraction to have all the other peoples' bright and animated screens in your field of vision.
Tips – Once You Get Hacked
How would BI work with immigration? I could see that creating a lot of social problems if immigrants are percieved to consume more in BI than they contribute in taxes.
Really? You want your bitcoin wallet online?
200g are what would be "breathed out" in one hour without exercise?

So you can only increase your "burn rate" by 20%?
I think this is designed for OTT video broadcasting and not so much video conferencing. RTMP remains the defacto standard for push ingest, although that it changing with the wider adoption of HEVC, which RTMP can't carry.
middle class here.

what would help me more is to have my taxes raised, use that to disassociate health care from my job choice, to reduce inequity in schools systems so as to disassociate school quality from home price, and to improve infrastructure.

This would help me, and the country in much more profound ways than tossing me a few grand.
I don't know about easier, but it's certainly more efficient.
“We offer great jobs and a positive environment with opportunities for growth. As with most companies, we expect a certain level of performance.

Here in Europe we have similar jobs, but calling it a positive environment is a straight out lie. The problem is not that the work is hard, but that the company is lying about the effects the work has on the workers.
Nice try at attempting to slander my character or political stances: but no dice for you. This isn't about my own personal stances. It's about the publication and if you can call it news.

I'm really not sure where the MRA or comments on women came from in my original comment.

The Guardian (And the BBC) used to my main source for international news, and cultural trends until about 2012ish. That's when they started heavily featuring columnists that put out articles similar to the one that I mentioned. I wrote a letter to an editor with a concern, it got ignored. I stopped taking them seriously (as a whole) and reading as a primary source.
Perspective, I gotcha.
What do you do if a high-risk investment suddenly balloons to become much more than 20% of your total investments? When do you choose to jump off the potential 10000x return and rebalance, if this has ever happened to you? (And the next time you make a 20% bet, is it 20% of the new total, or 20% of your traditional portfolio?)
Its definitely a senseless tragedy for those injured and killed, as it would be today. I agree there's risk involved when there's a an audience for such an event.

But necessity or foolishness of an explosion doesn't really negate the ability to perform it both safely and for entertainment.

But the modern equivalent of say crashing two high speed trains in front of an audience? would probably not occur due to insurance reasons
Weight is lost in the kitchen.
RV sewage problems aren't just in the south, BTW. It's happening in (east) Palo Alto also: https://www.almanacnews.com/news/2017/11/15/rv-evictions-in-...
Is it really a thing with American newspapers though? Don't they often explicitly endorse political candidates?

French newspapers are more like what you describe, all the big ones pretend to be "neutral", whatever that means. Neutrality is a fool's errand IMO, people on your right are always going to say you're a leftist and vice-versa. I want my newspaper to be honest, that's the important part IMO.
Completey disagree. If you're a new grad, the most beneficial thing is to get your feet wet - both technically and professionally in a company with a wide range of issues, while making a decent salary and investing it.

You could learn the ropes while starting your own company or at some huge conglomerate. The difference is that you're probably not able to put away much cash while doing your own thing.

Anyway, the $10K investment at 23 is kind of a red herring. The true question I've had to ask myself the last decade, is whether it's better to take more risky start-up jobs for equity or stick with safer enterprise jobs at a good salary, but with less chance to start something myself and possibly hit the jackpot.

So in my late 30s, I haven't had much start-up experience, and uncool Java and Spring are my bread and butter. But after a decade of making over six figures annually, investing most of it, living frugally, and letting exponential growth do its thing, by the time I'm 40, I'll be well placed financially to take the same risks as any 25 year old. But I'll have plenty of capital (via exponential growth) and experience. And probably better odds of creating something that at least breaks even and pays the bills.
For those wondering, metamask is a browser extension to interact with the ethereum network. I know a few of the developers.

https://metamask.io/
This is essentially exactly what model checkers do. The big difference is that they exploit the structure of the problem description in order to reach exhaustiveness in “reasonable” time. This can be a big time saver over trying to do it manually.

I’d emphasize that using Alloy/TLA is often an iterative process where you refine your model over time. In this way, it’s possibly faster to dig through several iterations in Alloy before identifying a counter-example to a property of interest.

But if you are mostly interested in finding interesting test sets then you should be able to stop once you’ve modeled your actual implementation well enough.
It is important to remember that The Guardian is overtly and proudly a paper of the Left. I signed up and started paying in late November of 2016 only because Trump had won the Presidency. If Trump had not won the Presidency, I doubt I would have ever given my money to The Guardian.

It has been reported elsewhere that the ACLU and Planned Parenthood had very good years, in terms of fundraising. All of this is the anti-Trump effect. The success of The Guardian fits into that pattern.
Costco doesn't deliver millions of package a day for free to the door of their customers, does it?
You can buy street food, even in Colombia.

http://www.eltiempo.com/colombia/otras-ciudades/vendedor-de-...
You need more than BI and warm bodies to improve your crumbling city infrastructure. There's a whole lot of skillsets that go into infrastructure development, including some type of organizational structure.
This book looks interesting, but it's ridiculously overpriced for a book from 1978.
The authors are fools. Would the money just picked from the money tree? Increasing the money supply supply would result in an increase in housing inflation, just as it has now.
WSJ has always been famous for hard news and right-wing editorial page. They use the hardnews to lend credibility to their editorial.
I see some users here negatively commenting on the fact that this requires installation of the "MetaMask" browser extension.

If you haven't heard of MetaMask before, I'd highly recommend checking out their website. MetaMask is a bridge from the Ethereum network to the browser. It uses a library called "web3.js".

FYI, you can also download and install the Brave browser, which now has MetaMask built-in by default.

https://metamask.io/

https://github.com/ethereum/web3.js/

https://brave.com/
In a crisis, the wired phone network, even with a neighborhood concentrator, is more likely to stay up than the cellular network.

Of course, in a crisis, I may not get a response to the alarm.
I think the issue is that in this case the municipality does not have a functioning sanitation system. Requiring that the municipality implement such a system would require a pretty massive outlay of money and would likely be a tough sell: the state would need to require it of the municipality and somehow fund it.

That said, you make a good point that landlords (in many cases) extract as much "value" from their tenants as they possibly can. If they knew each tenant was getting a fixed amount of additional income we could expect them to increase rents by approximately that amount and that would be bad.

My example was optimistic in that it presumed this would not be the case. I do think my basic idea is sound: if people had a basic income of a certain amount, then we could expect systems supporting those people to improve (to some degree) by a portion of that amount.
That's not a fair comparison. Irrespective of whatever negative social effects a Basic Income may or may not have, Alaska Natives are dealing with the consequences of their ancestors being enslaved, losing 80% of their population to disease, and their culture being attacked and almost destroyed by Imperialism.

Seems like that would fuck someone up way more than any Basic Income. In this case, BI basically exists _because_ of that.

https://en.wikipedia.org/wiki/Alaska_Natives
I used OneNote with a microphone on my 2003 PC Tablet. Syncing my lecture notes with my the professor was amazing in Graduate School.

I searched my notes for test and the audio of the professor was right there.

Had to repeat Art History and do a Freshman Course due to a mess up from the registrar's office = Civ 3 but still got an A.
It takes more configuration, and does not seem to have some of the nice properties, like direct connection between two VPN-connected hosts when on the same LAN. It's a killer feature for me, when I can sync a gig or two between my laptop and my home server when at home, without routing them through a box outside the LAN.
How much weight does a typical person breath out in a day though?

(if you figure ~2000 calories worth, it doesn't seem like the breathing weight out is so much the issue...)
I could ask the same. You still make it sound like some magical force forces you to use Facebook or keep your job.

If you like Facebook just keep using it. Nobody will mind.
Are the editorial staff allowed to report on the financial decisions of their owners?
Uber CEO shares his immigrant past
Sadly at this point i wonder if "clickbait" is ingrained into the corriculum. I see even national broadcasters adopt such headlines, even though they do not rely on ads to fund their services.
Overstating the case about “0 dietitians ... only dietitians.” It looks as though about 2 people thought sweat was involved, and only 1 dietician answered co2. Pretty much everyone answered “heat.”

The question itself is shit, too, which is what happens when you dont have survey epidemiologists eyeball your questions. In “losing weight,” you’re doing a number of things - chucking the actual carbons (mass), and removing the potential energy stored as carbon-carbon bonds (heat). Given the widespread colloquialism of “losing weight,” people failing to interpret it as regarding the removal of carbons specifically isn’t unreasonable.

Sweat and urine are also correct answers, for that matter. Some of the carbon is used to create bicarbon and carbonic acids, via co2, which are lost in urine and sweat. Whether you want to count that as co2 or not is an argument about semantics - it goes through co2, but isn’t lost -as- co2. Of course, from the perspective of “it’s all breathed out as the result of perfect oxidation,” it’s wrong... but why let biology get in the way of undergraduate chemistry, right?

This isn’t a reflection on docs, PTs, or dietitians. This is GIGO.
Increasing your basal rate of caloric consumption (and, thus, CO2 exhaled) is hard.
Does this means that we can "control" entrophy in the universe by controlling the CO2?
From the abstract:
"Most people believed that fat is converted to energy or heat, which violates the law of conservation of mass."
Unfortunately it's private at the moment. Not nearly ready to show off yet.

What I can tell you is we are using the poloniex API and working on simple trading strategies using traditional trading metrics like the ones found here:

http://stockcharts.com/school/doku.php?id=chart_school:techn...
Costco: 184k employees[0]

Amazon: 591k employees[1]

I think you can also argue that a happy Costco worker = more sales, as they help customers better. May be harder to make the case that if a guy putting stuff in a box is happier, the end customer is any happier.

0 - https://www.statista.com/statistics/284430/costco-number-of-...

1 - https://www.inc.com/business-insider/jeff-bezos-amazon-emplo...
So does that mean that sitting on the couch is more environmentally friendly than exercising?
Railroads aren't as good at lobbying as car companies and airlines who don't want the competition.
Flare: Clojure Dynamic Neural Net Library
The story is about a way that a specific company is potentially being used for money laundering. There's no calling them out. Calling them out would be "Online fraud costs $X billion a year" and then only giving examples of AirBnB.

To put it differently, the story is that this is happening to AirBnB, the fact that happens to others is not important. Not every story is about the fully zoomed out overarching issue.
How easy it is probably depends on your circumstances.

There are infographics and whatnot out there detailing the caloric density of different kinds of food, that make it clear that, depending on the diet you already eat, you can reduce your calorie intake by vast amounts just by switching up what kinds of food you eat. But it's potentially a more expensive way to eat, and probably a more time-consuming one if you don't already enjoy cooking.
It is clearly not zero-sum. Take for example a scenario where bitcoin price keeps going up (not saying it will), explain how that is zero sum?

An option or future is zero sum. One goes to zero, the other gets paid on expiration, a winner and loser.
You are doing many that the course says do not do --
stashing gold, thinking one kind of investment (buying properties) is always better than others, thinking one kind of fiat money is better than another, etc.

You are basing many of those decisions based on your personal luck and other people's anecdotal experiences, but not what the data said.
Save the planet - sequester carbon in yourself!
As a customer, Amazon is wonderful. But it needs to treat its employees better.

Fix this, Jeff.
Good to see the project making progress and that you're still chugging away.
A relatively high proportion of students at elite schools will be in the top 1% of the IQ distribution (and the same is probably true of HN contributors), but I don't think you have to interpret this literally for GP's post to be clear. Intellect, like driving skill, can be measured along enough axes that more than 1% can be in the top 1%.
In law school it was mandatory to review the material before class and be prepared to discuss it, because you likely would be called on to explain a case or concept for the class. It's a bit anxiety inducing but forced me to learn the material, which is I suppose the whole purpose of a class.
Is 5 minutes absurd? I worked at random factories in the day, 5 minute walk to the crapper was about right.

Now the difference was I didn't get fired because my productivity went down .1%, which is the problem with the hyper data Amazon warehouse worker...
What the US would be like if it ditched net neutrality
The content wasn't in question, the headlines were. The assertion was HuffPo has more hysterical headlines than WaPo
> Treating their employees well is how Google/Microsoft/Facebook are built.

Not sure Microsoft is the best example: http://www.nytimes.com/2000/12/13/business/technology-temp-w...
You really need to get into the tens of millions before you start having any sort of liquidity problems with Bitcoin.
> > There is a general purpose programming model which supports verification at a very fine grained level, encompassing both computation and effects

> Of course there is (synchronous programming)

So you say! And I'm keeping an open mind on it but I still don't grasp what it's useful for in the life of a day-to-day jobbing programmer like myself.

> Polymorphism and higher-order functions are not concepts in computation

Let's leave polymorphism to one side for a moment, but higher-order "programming"/"computation"/whatever is definitely a concept that's more widely applicable than just in functional programming. Any time you "manipulate a computation" you are doing "higher-order" computation. The universal Turing machine is an example of "higher-order" computation and the proof of the halting lemma requires "higher-order" computation.

Now it's possible that the models you are describing do not allow you to abstract over computation and thus are not "higher-order". If that's the case then either they are weaker than needed to talk about computation in general or they are very remarkable demonstrations that higher-order computation is generally not needed in practice!
iOS jailbreak repositories close as user interest wanes
One way to look at it is that people wouldn't, in fact, be paid to do nothing. They would be paid for the valuable service they provide; using their knowledge and experience to select products and services.
PHOENIX: efficient computation in memory
> not every formalism needs the escape hatch to do IO

It sounds like that's only achieved by weakening the formalism so far that its guarantees are no stronger than what you have when using the "escape hatch" in the functional world. If the assertions in your Java fac5 are not necessarily true then it seems like analysis in your formalism told us nothing at all about fac5 - and if the assertions don't tell us anything about fac5 then a reader couldn't trust that they tell us anything about fac1 either.

> No. A specific denotational semantics is either equivalent for those programs or not.

I don't think that contradicts what I said at all. Certainly when analysing these programs we would want to be able to talk about whether they are equivalent, and we would want to consider them as equivalent in certain senses and as inequivalent in other senses. A formalism that can't accommodate that would be less useful (other things being equal) than one that can.
> Years ago it was obvious to most newspapers that paid subscribers are their lifeline. Advertisers come and go, daily sales come and go, but long-period subscribers keep you afloat.

[Citation required]. In the era of paper newspapers advertisers were the bulk of revenue. Hi subs were needed to show advertisers that the publication was worth advertising in. It's not like the idea of CPI is a new one!
Exactly, that's all this is -- planning.

Consider the world of information security, which I'm involved in. What's the best way for blue team (defenders) to protect their assets? Look at what the red team (attackers) are doing/targeting. That doesn't necessarily mean their active avenues of attack, but what are their trends, possibilities, means and ways. The same cuts true for the opposite scenario.
Show HN: Send text or email reminders
Let's say someone is comfortable enough with BI in their twenties, and never bother to get a substantial ("real") job. Are they effectively stuck that way for life?

Older, with no work experience, and maybe having children, are they really going to be able to launch a career from scratch?
A remarkable fraction of your energy consumption is spent on basic maintenance, and of the rest, far more than you'd think is spent on the brain. Your body is extremely efficient, by engineering standards, but that includes locomotion.

Exercise is still a good way to drop in weight, but not simply due to burning up the fat; that could happen anyway. What seems to be happening is that the exercise improves the body's budgeting logic, probably by putting you back in a regime evolution already dealt with.

The way to drop in weight isn't to exercise (as such), and it isn't to eat less. All the logic that says those count, is valid, but you have to account for the body fighting back. The goal is to eat less because you don't feel hungry, not despite feeling hungry. Very few have the willpower to literally starve themselves.
> If the argument is "we could use tax money (via a stipend to citizens, and then extracted as rent) to implement a law that required a trailer park to provide a functioning sewage system", then the easiest and most efficient way to do that would be use tax money to provide a functioning sewage system.

That's assuming the only objective was to fix trailor park sewage, when realistically there are thousands or maybe tens of thousands of similar problems that different populations. The federal government simply doesn't have the resources and logistical capabilities, to identify and address each need in turn. If they tried lots of needs would end up overlooked. So instead you provide the UBI and let the money get directed to the most pressing need.
I think my preference is a table with a stylus followed by pencil and paper over a computer. I never found computers to be useful in meetings but something I can write on and get handwriting recognition has been useful for me.
I would have gone with the Gulf of Tonkin incident [1], in which it was later revealed that MACV-SOG had inserted a covert operations team (which was captured) and paid for an airstrike the night before North Vietnamese torpedo boats attacked.

Congress was naturally not told of any of this before they passed the resolution that arguably led to the escalation of the war under Johnson.

[1] https://en.m.wikipedia.org/wiki/Gulf_of_Tonkin_incident#Back...
A little. Transaction validation is distributed amongst validators installed at organizations across the world. I think there's around 58 or so now, but they're pushing to have a lot more. And they're eventually going to have it where none of them are controlled at all by Ripple (the company). They've listed MIT and Microsoft as organizations already running validators, as well as a number of foreign companies I've never heard of (WorldLink, Telindus-Proximus Group, Bahnhof, and AT TOKYO?).

So yes, its a little more centralized than Bitcoin, but everything I read really gives me the impression that they're handling things in the right way, so as to have a balance between network performance and distributed safety, without any one person/group being able to manipulate the ledger. So there'll never be any mining farms that can throw their weight around.

If anyone is really curious, do your research and I think you'll find the tech to be pretty interesting.
Light pollution is getting worse
This is still one of the most beautiful desktop cases ever made. Hopefully the 2018 Mac Pro will come back to a similar design.
I manage a website which streams live videos and VOD. The VOD part is videos which are resized automatically and then Fastly provides on the fly packaging (OTFP) which allows any device to stream the files which reside on S3. Wowza is a software which allow you to setup a complete live streaming solution which scales easily for cheaper than LiveStream, Akamai, etc.... The downside is that Wowza requires a lot of sysadmin to keep it working. It seems like MediaLive is really really similar to what Wowza does, in a better package.