skysight-inc/HackerNews huggingface dataset:
If you _do_ "consider it", I hope you discard it as an awful idea pretty much immediately.

I'd suggest allowing customers who're concerned to run their own instances with your code on it (perhaps a Docker image?) - but giving random customers shell access to gateways you're responsible for (at least to Amazon) - would be insane...

Signal/WhisperSystems are doing some interesting work on how to prove the code running on their servers is identical to their published and auditable code - might be worth checking that out (for a post MVP roadmap idea).
seems reasonable. you already can't contribute above some amount tax free, and you shouldnt have more than 30M dollars put away for retirement
How on earth did this get past the developer dear god
So, let it all burn, just to spite all those snubbing elites, right?

It's like people who live beyond their means are offended when some multimillionaire tells them to spend less and save more, "I don't see you doing that on your yacht!" Sure, but he doesn't need to.

Or maybe the people berating an overweight dietitian advising healthy diet. "Didn't work for you, did it?" Sure, doesn't mean it doesn't work in general.

Gates will be fine whatever happens. It is us, "dirty common poor people", who will suffer the consequences. The dirtier and commoner, the worse is the effect. Resenting him for trying to save you from yourself is childish, petty and disgusting.
Ridge on Mars named for UAB scientist who helped explore the Red Planet
Watch the documentary. In the middle of a townsperson telling the interviewer about how everyone is trespassing and making a mess of the town and its infrastructure, two hippies wander up onto his lawn. One of them asks,

"Is it okay if we use your telephone?"

To which the man answers that the phones are out. To which the hippie replies,

"Water?"

You might think this the source of the "Get off my lawn" and similar references people on HN use. I mean, what could be more of an embodiment of entitlement?

But what does this townsperson do? You should watch the documentary to find out. But I'll give you a hint-- it isn't to say, "Get off my lawn." Nor even, "I'm conflicted because on the one hand this is now a national disaster area, but on the other you knew that if you and 100,000 others come to a small town and stress the infrastructure there was a possibility that this could happen, and I wouldn't want to set a precedent of..."
EPA puts off final decision on science transparency rule
Also taking leads for CS / technical blogs and other media that are explicitly open / Creative Commons licensed
> Also slightly amusing: Jack doesn't think that this is the "best" way to solve homelessness. Whats the best way, since clearly he knows about it, and why isn't he doing it?

I mean, it's pretty obvious that the best way to address homelessness involves having homes so that the most vulnerable of our friends and neighbors can stop being homeless by being in homes. This idea has given rise to an approach called Housing First. Which, by an odd twist of fate, has actually been shown to work!

This being San Francisco, this is utterly impossible. Nothing makes San Francisco politics break out in furious community meetings and protests and CEQA complaints like the prospect of building things. There's nothing Jack can do about that, even with all his money.

As near as I can tell, San Francisco doesn't actually want to solve this problem. Instead, it wants to feel good about how kind and compassionate its policies are without actually accepting change into the city's fabric.
Do you have any posts explaining how this avoids GC? At first, it seemed to be that the underlying calculus only uses variables once, but in your examples variables are sometimes repeated. How do the two relate?
Q&A with Astronaut Nick Hague on Launch Anomaly and Safe Landing [video]
I've heard rumors about new PCI requirements for service providers mandating end to end encryption of phone calls with credit card data. This would certainly be an off the shelf solution
Scared of Sharks? Swimming with Them May Change Your Mind According to Science
interesting. where i work they stand around all day and talk to each other about craft beer and hockey. this is usually between meetings where they decide what work other people will actually do.
Except that corporations have various tax-reduction tools available that are not available to anyone but the super-wealthy. They can move their profits offshore, move wealth around between holding companies, apply for R&D tax credits, and generally arrange things so as to avoid taxes. Whereas the average middle-class person has virtually no access to these things without leading a very specific lifestyle.
It'd be better to implement it with accumulation rather than conditional moves on all of those other platforms anyway.

You can have branches, you just need to take the same branches regardless of the input.
Mystery Science Theater 3000: The Return
I never understood why anyone would ban cheaters or go after the cheat creators.

Pay 40$, reverse engineer the cheats and get a cheap list of security issues you ought to fix anyways. Thus raise the bar so it becomes hard. Hire the remaining few very skilled crackers for your reverse engineering team (or bug bounty them).

In contrast to lobbying the/a government for overreach laws, have the government find the offenders and then litigate. There has to be a better and cheaper way.

Also bring back dedicated servers so the community can police itself.
Well, there is your problem. This is the "why you might not even do a phone interview" issue. Off to the reject pile you go.

Put yourself in our shoes, and see how similar the frustration is: Why are you rejecting us? We hire people older than you, we have interesting work, the finances probably work out better... but you reject us.

If at some point you decide to evacuate California, we'll still be around: https://news.ycombinator.com/item?id=17912861
Thanks balladeer - we will definitely be launching the developer program in less than one year from now.
Piano has very distinct timbre for each note - there are many people that think they have perfect pitch but only really just learned the timbre for each note on piano and wouldn't be able to identify pitches of puretones for instance.

However for those of us that drift, I think it's likely that we recognized notes by both timbre and pitch, but although now that our pitch recognition has started drifting, we can still identify by timbre.

Absolute pitch is often described as a disadvantage for aural skills as it's often used as a crutch in place of properly identifying intervals and function. I know that when I went through aural skills, I would identify the notes before identifying the interval and draw a conclusion on the interval based on what notes they are rather than hearing them for what they are. Which makes it very difficult for me to pick out vocal harmonies, I'm terrible at picking out vocal pitch and as a result I have to deconstruct notes in my head to figure out intervals when people sing in harmony.

Using your language metaphor, it would be like if you immediately knew what a word in Russian meant in English but didn't actually understand Russian. You'd be linking together words to infer meaning but grammar might not make any sense and you wouldn't be able to speak Russian. (Bad analogy, but hey, that's how analogies are right? :P)

Definitely sympathize on the drift though. It's annoying when I assume I still recognize notes properly but then realize I'm off.
POLL: What do you remember most from school science class?
> they might be tempted to vote against funding the fire department as well.

Ironically, Grant's Pass in this very region has privatized fire departments, three of them, and homeowners put a sign by their mailbox indicating which FD serves them (or none)..

Actually, not three. Because, well, people saw an opportunity to get rich, and this was the result:

* https://www.youtube.com/watch?v=RhD_5T4F7aw

* https://www.youtube.com/watch?v=PaG6fYBKXg8

You might notice some 60s and 70s era fire engines in these videos.

Realize that this private Fire Department only came into existence in the mid 2000s.

It has since been shut down by the State Fire Marshal.
Maybe they're saying that the other low power mode would slurp all of sram into flash?

But that still doesn't make sense, SRAM lasts for years on a battery of you're not clocking it, and every little uC I know of that vaguely cares about power lets you do that. Why call it out. Hell, NES games keep their SRAM saves going for decades off a little coin cell.
Trivia: the university mentioned in this story was in Karl-Marx-Stadt, a city which had this name in 1953-1990 but is today known as Chemnitz.
"GitHub isn’t vulnerable [...] my guess is you’ll be left with a small handful of random sftp servers or IoT devices and little else!”

That sounds reassuring. It's not as if hacking some random IoT device is going to win the jackpot.

Oh wait, it totally can:
https://www.washingtonpost.com/news/innovations/wp/2017/07/2...
And what does that say about you?
Udemy is very disappointing, Packt publishing and a mapt subscription is so worth it for everyone
www.packtpub.com
I tried a lot of different things, went through paleo, high-protein, liquid vegan, standard, high-carb, carb-waves etc. You can't apply your limited experience to everyone else; it's like when I talk to a regularly-sized coach and they just don't get the issues very tall persons have to cope with and most of their advice is either misguided or outright dangerous (but would work wonderfully for their type of person).
Probably not! This phenomenon is not scale-independent. There is a parameter called the Reynolds number (Re for short) which is the ratio of intertial forces to viscous forces. For a dandelion seed Re is small which is the key to the stability of the vortex.

For a parachute, the Re number is much higher which makes the dynamics of the flow chaotic (called turbulence). There is a critical Re number beyond which There is no way keep the vortex stable, or as they call it, the vortex bursts.
I really enjoyed Memex, which seems similar. It indexed all the pages I visited, and it was so much nicer finding that information again.

https://worldbrain.io/
Marc Benioff is one of Paul Ryan's big donors.... maybe he should start paying taxes with action instead of talking about it in self serving press interviews
My experience with this kind of stuff: done some Coq by myself and some HOL in class.

Generally, the distinguishing feature of tactics is that they provide backward reasoning, instead of forward reasoning, what a verification engine would be written around. Mind that I haven't worked with any proof system yet besides Coq and HOL, so my opinion might be far out, but I think backward reasoning is a very nice way to construct proofs, especially in the context of a proof assistant.

Aren't things like algorithms for simple automated proving more easily embedded in a tactic language than in a forward reasoning language? When reasoning backward, one naturally reduces the statement to prove to simpler and simpler statements, and at some point they become simple enough to be handled by some automatic prover. (auto/omega/... in Coq, PROVE_TAC/COOPER_TAC in HOL) When reasoning forward, I don't see how one would go about using automated provers like that, but it's likely I'm missing some idea here.

> I'm currently writing my own dependently typed PL

Awesome! I'm all for writing interesting new languages and implementations, especially in this area. Once you've got something to show, be sure to post here on HN, since people might enjoy looking around. :) (If it doesn't get lost in the swarm of submissions...)
Video from the crowdfunding page:

https://youtu.be/OIxW_eR2I2E

(via https://greenfunding.jp/lab/projects/2463 )
Don't forget the community and the support for those libraries. It's extremely welcoming and newbie-friendly.
I'm not an expert either, but according to the treatments I've seen on GR, the flipping of time and space inside of black holes is just an artifact of the choice of coordinates, and can be fixed by changing your coordinate system. However, there are some ideas based on holography for solving the black hole information paradox that posit that it doesn't even make sense to talk about the inside and outside of a black hole at the same time at all (black hole complementarity), that the inside of the black hole is actually encoded on the surface of the horizon. This of course just leads to other paradoxes, and the only thing that seems certain is that GR is approximate in some way, and all these questions are the result of stretching the theory to regimes in which it is no longer valid. This is why many people are searching for fundamentally new ways of constructing theories that yield the same answers for experiments we've tested, but begin from different assumptions. [0]

However, as for black holes containing the same information, our universe is expanding uniformly at an accelerating rate, and this results in cosmological horizons beyond which objects are moving faster than the speed of light (with respect to the frame of reference). Therefore, black holes in different galaxies shouldn't be able to have access to the same light cones without compromising the principle of locality. Although, if you believe that entangled black holes in different galaxies would lead to the same singularity ("ER=EPR" [1][2]), this becomes more complicated and is way out of my depth.

.

Nima Arkani Hamed | Unification and Fundamental Phyics: A Status Report 9-21-2018

[0]: https://www.youtube.com/watch?v=pXYvFMqwbhc

Leonard Susskind Public Lecture | "ER = EPR" or "What's Behind the Horizons of Black Holes?"

[1]: part 1: https://www.youtube.com/watch?v=OBPpRqxY8Uw

[2]: part 2: https://www.youtube.com/watch?v=uiG_EtVQu5o
Sorry to be off topic, but if Apple really wanted to provide a complete “home” for customers inside their walled garden, I would suggest to them to allow tying a custom domain name to Apple email service. I trust Apple more than most other companies as I am sure many others do also. Email, calendar, iCloud storage, and Apple devices would provide a reasonably good one stop shop for privacy seeking customers.
Is this a cultural thing?

I was always taught there are 12 notes, while any standard scale contains only 7 of them. (The chromatic scale obviously being the exception which contains all 12.)

Accidentals are just for notation -- obviously B-flat and A-sharp are the same "note", just as F-sharp-sharp and G are.

Our entire turning of equal temperament is based on 12 equal intervals, not 7. So I'd argue parent commenter is correct -- notes are base 12, not base 7.
Fascinating! For what it's worth, detached vortices are also critical to the takeoff and landing of airplanes with delta wings, such as the Concorde.
Former Facebook engineer who railed against liberal culture explains why he quit
As far as I know, elections can't be redone on a federal level. I could be wrong, but I certainly don't know of any situations where they have been.
Also on this point, we know the large silent majority is made up mostly of moderates who want to live in a civilised democratic country where the government either leaves everyone alone or have a mass benevolent impact.

As long as attacks don't scale it seems safe to assume corruption will be localised and the integrity of the system will hold. The risk is that IT is used to centralise democracy to bring down costs, then becomes compromised in an unrelated attack.
TL;DR: Ted "Zoddie" Cruz is against Safe Harbor provision which makes websites safe in cases when users post something illegally.

Which, to be fair, is something that's a dead legislation walking ever since FOSTA was passed (if the users post a prostitution ad, you may be criminally liable under a federal law, even though prostitution itself is not a federal crime).

That is just one of the many reasons I hope Beto (his opponent in the race) prevails.
Maybe it's the stigma of your resume? Could try knocking off some things. Maybe they want someone with a youthful spirit, to match other coworkers? Could try joining coworker antics?
It's clearly deliberate.
There’s also Realm of Racket which uses games to teach.
'Benioff also criticized Stripe, a payment platform and another major San Francisco tech firm opposing Prop C. The company claimed the measure lacked a “comprehensive plan” for spending in a recent op-ed and has also given more than $400,000 to a campaign fighting the measure, making it the largest donor.'

As a company with deep connections to HN, I for one hope that the Stripe staff active here are doing everything they can to challenge this embarrassing activity by their company. A good start would be to publicly express your opinion about this sort of lobbying here on HN.

These companies benefit hugely from government subsidies in various forms, and really the least they could do is abstain from using their tremendous power and resources to manipulate the government into making decisions that favor their bottom lines.

The Stripe founders are entitled to whatever backwards, selfish position they want to take, but they shouldn't be spending $400,000 on behalf of the company (a community of people) to try to buy a given policy outcome.

More broadly, it's sad that even the progressive mayor feels the need to make policy decisions based on fear that massively wealthy tech firms will punish the city if they ask them to pay a slightly fairer share of shared expenses. What we need is a cultural change, away from "anything that drives profit is justifiable" to "successful companies that side with their own profits against the public interest should be ashamed."
Caroll Spinney, voice of Big Bird and Oscar the Grouch, to retire after 50 years
Although the report is cautionary, it definitely shows how far we've come in just the last 20 years!

> "At the $5.50-a-day threshold, global poverty fell to 46 percent from 67 percent between 1990 and 2015. The bank reported last month that extreme poverty had fallen to 10 percent in 2015."

The article just cautions this rate will slow down as the global economy slows, and although rates world wide are much better, certain areas (specifically sub-sahara africa) are not doing so well.
We think that 18 year olds are too irresponsible to drink alcohol, but they are wise and responsible enough to take out $50K in student loans. If that isn't pure evil, I don't know what is.

Adam Smith said debt is slavery for a reason. Can't imagine a just society saddling so much young people with so much debt at such an early age.

But then again, public utilities are now peddling gambling ads and the US has never been a just nation like we pretended to be.
It's entertaining that setting up an email server is so painful that there is specialized prepackaged hardware is coming out for it.
Facebook Risks Losing the Trust of Its Only Real Customers
It isn't too narrow, it's the exact problem. The US has failed to protect the people, it has failed to protect our planet, and it has failed to protect anybody but the rich. The US government is fundamentally flawed.
What makes this a bit more understandable is: almost nothing uses libssh server functionality. So most development was only focused on client functionality.

(The only notable exception, github.com backends, were not using the auth logic code in question, so again just not used and not given attention...)
I've seen that as well.

I went to school for Computer Engineering and paid for the first three years of my education with financial aid and student loans.

Then I got an internship that paid well, lived frugally, stopped taking loans, and paid off my loans with my income. I graduated with no debt.

Of course, I was fortunate that I was able to get financial aid and that I was getting a degree in something that could land me an internship that paid well.
That's an NWS product. Go to your Forecast office at Weather.gov (Here's SoCal: https://w2.weather.gov/climate/index.php?wfo=lox), then click Forecast Discussion on the left.
Google, grow up: Drop the Apple-like arrogance or Chrome OS will fail
I’m a pretty good musician and have never had the slightest ability to discern absolute pitch. I’d like it but not enough to work at it :)
Source? I found an article from 2012 saying that he donated a measly $10,000 before Ryan was fully revealed to most as the craven monster we know him as today. Not saying you're wrong, just curious to know exact details.
Is there a link to the actual journal article?
Sorryt that's what I meant, yes. The tip is in the price already. E.g. my coffee shop has $4 coffees when surrounding ones are $3. But no tip jar or tip buttons on the terminal.
It's entirely possible he could be tone deaf. Congenital amusia (tone deafness) affects about 4% of the population.
You need a H1-B , no pun, most manager s are so addicted working with H1 or contract ors they humanely don't have the caliber to work with regular folks. I am on a job as FTE, kept out of meetings and information emails for 17 months and accused of not impressing others. When I went around my Mgr, found out my Mgr had explicitly taken my name off the list of people to be informed. Probably you are fortunate not to be in a crazy job. Beauty in the eyes of a beholder... So someone not threatened by your knowledge will hire you.

Stay strong.
Just because some guy has $1B in his bank account doesn't create the "loser" on the other end. It's not a zero sum game. You can just remove this person and their money from the economy and you'd be back where you were. The homeless person would possibly be homeless even if that guy only had $2M in his bank account. If this money is invested somewhere then that can create some distortions (e.g. inflate stocks if a lot of rich people buy stocks). At any rate, just because some people are "rich" doesn't mean their money comes from the "poor" people. Everyone could also be poor.

That's not to say rich people shouldn't use their money to affect positive change but if they did that it's really just a bonus positive force. If they weren't rich where would the money to improve the community come from? Also if rich person gives every homeless person $2M to buy a house what do you think would happen to house prices? (not that homelessness is just about money, it's more complicated than that)
So what probability do you assign to someone smoking weed illegally in the United States, given that they have smoked weed in a different country where it's legal?
Security, but without privacy?
“I love deadlines. I like the whooshing sound they make as they fly by.”

— Douglas Adams
Skymorials democratizes the obituaries
Because I looked it up: the sf chronicle endorses "no" on prop C (so opposite of Benioff).

https://projects.sfchronicle.com/2018/november-elections-gui...
Actually, it is once a year... I was mistaken.
While I don't doubt billionaires hoard money, I think trying to solve this with taxes is misguided. They should look at the stats showing how many homeless ended up in that situation because of rising rents.

I'd be willing to bet NIMBY antics are a large cause of this problem. SF metro area has the 4th highest rate of homeless people per capita, I have to imagine absurdly high rents is a part of it.

SF politicians don't want to admit this because of the donations/support they receive from NIMBY groups, but they are very clearly the cause of many problems in the bay area, whether its housing or slow transit expansion. It's especially ironic that such a "progressive" area would be so rife with elitism and gate keeping.
I think the question is whether or not "the rich" are part of "we" or not. Businesses are built using public infrastructure and in some cases (like Twitter) direct, massively valuable government subsidy. In my opinion, "we" are asking "each other" to pay more money to solve public problems in proportion to "our" ability to do so.
How old are the kids? Mine is just turning 5, and I've been looking at this as an option, but as many have said, I don't want to feel like I'm 'forcing' the tech learning on him.