skysight-inc/HackerNews huggingface dataset:
Logic already has separate symbols for 'A implies B' and 'A proves B', where the first can be considered equivalent to '(not A) or B' for all intents and purposes. Since 'A proves B' seems like the very definition of relevance, the only part you could possibly object to is that 'A proves B' implies 'A implies B', but that's given since the alternative would lead to a contradiction where A proves B, but B is false while A is not.

Also, if I understand you correctly you're trying to 'fix' incompleteness by making A -> B undecidable, which seems like it would achieve the opposite.
NSF Certified thongs really do need to be a thing I suppose.
ethereum = yahoo

tezos = google

choose
The Bay Area would have its money better spent on electric buses anyway. Has anyone breathed while walking down the road in SF?
> Who are these FEE folks? What's their angle?

One of dozens of 'free enterprise' think tanks sponsored by cash from the Koch network.. I don't think they're wrong about fixing SF's housing costs (aside from their solution being unconstitutional) but this sums up their ideology:

> FEE has published or hosted lectures by some of the finest minds of the modern age, including Ludwig von Mises, F.A. Hayek, Henry Hazlitt, Milton Friedman, James Buchanan, Vernon Smith, Israel Kirzner, Walter Williams, George Stigler, Frank Chodorov, John Chamberlain, F.A. “Baldy” Harper, and William F. Buckley, Jr., among many others.

https://www.charleskochinstitute.org/professional-education/...
The Story of a Texas Businessman Who Launched a Freelance Commando Raid in Iran
You can find it on their site - bradfieldcs.com
You don't have to live in a major tech hub to be a programmer. Programmers are employed all over the country. They'll generally get a lot more money in tech hubs, but you don't have to go there. Now, you probably won't get a job in some little 1000-person small town far from everything, but go to your nearest small city and there's probably some jobs there.
Hey David, thx for the kind advice.

I did ask my current manager about this decision and he did mention that he wants to find a engineering project manager (we have PMs) who could technically manage projects with him so he's not overloaded. This person might become my manager in the future but not immediately (maybe after 1 or 2 years when he's going to assemble his own team).
Edyn Smart Garden (YC W14) Seeks Mobile Engineers
>You assume some people have a right to the infrastructure of a particular country, for example competing for certain jobs, while others don't. It's very hard or even impossible to make that case without referring to very subjective morality standards.

Would these "subjective morality standards" be any different from the ones that you use to define "humane or inhumane behavior"? In any case, I'd like to see a subjective moral framework where citizens of their own country don't have a right to the infrastructure that they and their ancestors created. What incentive is there to have made our society a better place by the time we die than it was when we were born, if our descendants don't even have a birthright to what we intend to leave them?
I blame the person from Porlock.
Thanks the authors and contributors. I use Syncthing for sync my photos on Android with my desktop. It works perfectly.
Commenters here were deeply skeptical of Ethereum during its crowdsale too. People who bought in and held anyway made a 100x gain, so far.

Personally I develop smart contracts on Ethereum for a living, and business is good. The ecosystem is developing fast.
Turkey suspends high-level diplomatic relations with Dutch
SVN is popular for hardware groups. Why?
Better sparse checkout than git when you are dealing with large binary design files. It's not what git is optimized for.
Article on how tech enables sex trafficking
Several of the developers of PegaSwitch are watching this thread. If you have any questions, shoot!
Very well. Now closing in on a year without Uber or Lyft, Fasten, Fare, and RideAustin have really come into their own as reliable options, especially on weekends that don't have extremely high demand numbers (ACL, SXSW, NYE weekends the apps have been less reliable).
A demagogue for the common people* !

*only certain people qualify
Well no, Gödel's incompleteness theorem doesn't really have anything to do with material implication. It tells us that there is some formula G such that neither G nor ¬G is provable. Proof systems for relevance logic restrict valid derivations compared to classical propositional logic (relevance logic requires you to use the antecedent), so they can prove even fewer things.
Iunno, on rush hours' Lakeshore West trains going into Union, if you're not on by Bronte, you ain't getting a seat.

Regarding exhaust fumes, get a seat at the back of the train:
https://www.thestar.com/news/gta/2017/02/07/go-transit-passe...
This title is extremely misleading. Makes it sounds like there has been a nuclear accident, and subtly stokes fears of nuclear technology.
"Besides, Lewandowski couldn't realistically raise money through proper channels if his pitch amounted to, "I stole stuff from Waymo."

yes he could, the team and him had a killer track record and he wouldn't admit to stealing anything from Waymo

"He joined Google in 2007 as part of its Maps team and helped to build the company’s Street View product. When Google gave the green light to begin working on a self-driving car in 2009, Mr. Thrun picked Mr. Levandowski for the original team.

Mr. Levandowski gained some notoriety within Google for selling start-ups, which he had done as side projects, to his employer. In his biography for a real estate firm, for which he is a board member, Mr. Levandowski said he sold three automation and robotics start-ups to Google, including 510 Systems and Anthony’s Robots, for nearly $500 million. After this story was published, the real estate firm updated its website erasing Mr. Levandowski’s biography and said that it had “erroneously reported certain facts incorrectly without Mr. Levandowski’s knowledge.”"

https://www.nytimes.com/2017/02/24/technology/anthony-levand...

"And yet, one of Google’s most strategic acquisitions has mysteriously been actively blocked from public view. An investigation by IEEE Spectrum has uncovered the surprising fact that Google’s innovative self-driving car and the revolutionary Street View camera technology that preceded it were largely built by 510 Systems, a tiny start-up in Berkeley, Calif."

http://spectrum.ieee.org/robotics/artificial-intelligence/th...
That's funny, I knitted too when I was a kid. It didn't last very long either. I think I was about 8 years old.

I have to agree: if you like something, you just do it. But I guess a lot of people just can't bear to do anything without getting approval from their social circle first.
"meltdown" and "melt down" have different meanings in English. Skimming the title and seeing the words "melt down" is fairly clear about context. I found the title fairly straightforward, the title isn't very surprising as newspapers like to make plays on words like this.
Much of the wealth in California comes from high technology.

I think you need to get out of SV more often.

The top 3 ranked sectors in California by GDP are: (1) health, education - 18%, (2) real estate, rental and leasing - 17% and (3) trade, transportation and utilities - 16%.[1]

Not sure where tech would fall, but probably in: information - 6% or professional and technical services 9%.

Silicon Valley seems like it's a big deal when you're in the middle of it, but it's nowhere near the biggest GDP contributor in the state.

[1]https://en.wikipedia.org/wiki/File:Gross_Domestic_Product_of...
Yes I'm an old fart, born in the (fortunately waning) days of WAP. When I first visited the US, we landed at D.C. and drove north, because to drive south would have meant we would have to split up the family to stay in different hotels. Still, it seemed less racist than Australia.

Nowadays, both have improved but I feel like the positions have reversed. Then again, I don't think America throws kids off navy ships into the water. And they have only one overseas concentration camp that I know of, and I don't think the people in America's wanted to enter the US, unlike the people AUS sticks in camps.

Nobody is perfect. But really, it's astonishing how far Australia has come. Now if only the coalition could reflect that.
AWS Gave 10% Credit for S3 for Feb 28th Outage
I am curious, how many people here use a Caltrain GO pass? If yes, how much is subsidized by your employer?

Here's an interesting comparison:

48 business weeks of trips, on Clipper card: $3,456 (48•5•2•7.20)

12 monthly passes: $2,289.60 (12•190.80)

1 annual GO pass: $190 (assuming 83+ other people also use it; min. $15,960 spent per company.)

I know (from personal experience) that Stanford is a heavy GO pass user. I'm curious how many others are.

You may not need a tax. Instead, an increase in the coast of the GO pass may be enough!
That was amazingly quick. The Switch hasn't been out that long. Kudos!

I understand that console hackers are notoriously secretive, but what are your plan(s) in the short and long term? Fostering the eventual homebrew community? Improving upon the OS? etc.
Can I ask if you contract for multiple companies or just one? What vertical banking, government? That seems like a pretty solid income. Cheers.
Okta files S-1
For what it’s worth Airbnb just open sourced a React Native library that implements navigation natively on both platforms. Check it out: https://github.com/airbnb/native-navigation
I highly recommend reading "Unlocking the Clubhouse" by Jane Margolis and Allan Fisher [0]. It's a relatively short read and i found it to be an eye-opener with regards to the various factors that go into shaping our very (embarrassingly so!) gender-imbalanced field.

0. https://mitpress.mit.edu/books/unlocking-clubhouse
If you want to try out Clear Containers with rkt you can easily do it on a linux physical machine. First, install rkt via deb/rpm[1] or tarball[2]

Then do:

sudo rkt run --debug --insecure-options=image --stage1-name=coreos.com/rkt/stage1-kvm:1.25.0 docker://redis

If you run into problem you can email rkt-dev[3].

[1] https://coreos.com/rkt/docs/latest/distributions.html#rpm-ba...
[2] https://github.com/coreos/rkt/releases/tag/v1.25.0
[3] https://groups.google.com/forum/#!forum/rkt-dev
I've watched these techniques develop over the last several years over on /r/syriancivilwar. The good talent has left (often scooped up by intelligence services or private companies), but at its height the forum users were mapping the rates of offensives by geolocating propagandistic combat footage, falsifying Russian claims of fighting ISIS by pinpointing rebel positions hit on airstrikes, and assembling shockingly detailed summaries of the flow of weapons between factions.
Guys. It's a pun. This how article titles work. Welcome to the last 50 years of American journalism.
tl;dr: All of them.

Try it, ask your bank why they impose a limit of N characters for their passwords (I bet N is < 30 characters).

You'll almost certainly get a response along the lines of "We follow industry best practice" or something.
This.

India and China need thorium power. It is non-proliferation fuel and is abundant in these two countries.

It could be the biggest factor bringing down pollution in the world's two fastest growing economies with massive demand for power.
It's insane how much progress we made in a short time. I got the core of the exploit working within 36 hours of release, and then everyone's been working super hard to make it useful and awesome. I couldn't be more proud of this team!

In terms of our plans, it's pretty simple: learn more about the system, escalate privileges where we can, and eventually be able to run our own code.

Personally, I really want Linux running. With the things we know now, we'll almost certainly have Linux as soon as the kernel is under our control.
But your faith is based on 'math is hard for we of faith and so it will always be hard for everyone'
Not native English speaker, but current title ("Molten salt reactor claims melt down under scrutiny") is fairly clear that claims melt down, not the reactor.

Apologies if the title has been changed since initial comments. Otherwise, probably the case of "mentally read beginning and end of sentence" :).
[and yes, journalists seem to have love of puns and 'puns' that others can only groan at... my favourite in IT is of course The Register, which can raise a stink in the room just by listing the headlines;-]
The title is a garden path sentence trying to be too clever with using "melt down" in the context of nuclear reactors. I had to read the first few sentences to have any idea what it was talking about. You don't need to question people's language skills for this. Regardless, it's easy to take "Molten Salt Reactor" as the name of a company, just as if you saw a title saying "Fukushima Daiichi Nuclear Power Plant claims meltdown".
As Braille Literacy Declines, Reading Competitions Held to Boost Interest
> So what, exactly, do you think the advantage of "government backing" is?

By backing I meant a .gov's ability to tax or confiscate wealth, or for that matter impose capital controls. You incidentally - and intriguingly, at least to me - highlight the second point, if not also the third, as strong points for Bitcoin. Might I be missing something?

It's like, if shit hits the fan, my dollars are worth whatever US .gov and its taxpayers agree they're OK with, backed by .gov's ability to enforce (through all of the latter three points) that it's worth this or that.

In Bitcoin's case, or other crypto currencies', it seems like pure faith built-in with no ability to say "hey we've a taxpayer down the line". If the thing goes crashing to the ground, there's no guarantee anyone will pickup the tab - in steong contrast with fiat money, where a Nation's work output offers some guarantee on the value.
It's likely that the RNG's in slots don't produce uniformly distributed wins and losses except over long timeframes.

A machine that's truly random will result in everyone losing money slowly and reliably after a large number of pulls. So not fun. A machine built to have the odds wander around over a period of time will be more unpredictable with a greater earnings spread
The web advertising firm I work for has random looking domains for that purpose. The current domain generation algorithm seems to be using one to two domains a month. Although I've don't have access to any of the frontend code, I can only assume the DOM elements on the page are also obscured/randomized to an extent.

It is also my understanding that some of our boxes are here solely to proxy requests (either assets or websockets, which are increasingly popular in the field) to 3rd parties, to make sure it bypasses client side countermeasures.
All of those comparisons are missing the point.

RN is not perfect, but it's leagues ahead of Cordova, Xamarin, and etc in a combination of performance and easiness of UI development.
> Yeah, yeah, proliferation risk. If the stuff is that hard to contain then why all the waste sitting around?

It's harder to contain than to process from waste.

You need advanced expensive tech to turn the waste into weapons-grade material. If we don't create it, the nasty material doesn't exist and has lower security risk.
That's a good list of books, but it's terrible to start with. I'm pro-reading, pro-book, but I mean, you can't be motivated on learning computer science knowing that you SHOULD read all those books.
That's a good list of books. I'm fond of books, but you can't be motivated on learning computer science knowing that you SHOULD read all those books.
Keras makes using deep learning for simple-ish use cases sooooo easy.
We're not talking about job discrimination here, we're talking about learning something because of personal interest. Being discriminated against in employment is a separate issue that comes later after you're actually qualified for such a job (or maybe after you've got the job).

There's plenty of men, I believe, who would be interested in working with little children, but who avoid those professions because of the social stigma. It's sensible to avoid a profession if you think you're going to have a very hard time gaining employment in it, or will suffer a lot socially for it (many people seem to think such men are pedophiles).

But we're talking here about people learning something out of personal interest. You don't need anyone's approval to learn programming, nor many other things. But many things do require more resources to learn; aircraft piloting for instance. You're not going to ever do that for free, though you can learn some of it with a software simulator fairly cheaply. Sailing is another that comes to mind; that's pretty impossible to learn I think without having an actual sailboat. But programming is comparatively easy; all you need is a computer and internet connection, which these days are considered cheap and ubiquitous. The software is all free; you can download absolutely everything you need, including an OS. There's an absolute plethora of websites and forums to go to to learn more (e.g. StackExchange). The barrier to entry is ridiculously low. But you do need time, and personal interest and drive. Now maybe you'll have some trouble gaining employment after you've learned it, esp. since you don't have a college degree in a related field, but that's another subject. The original article here was about someone already working in programming, who didn't bother to learn another language.
Classic data mining error.
How easy is it for automated tools to spot encryption routines in a binary? If my notepad replacement had call to encryption algorithms in it I'd be a bit surprised...
Obviously Improving the OS is at least one of the advantages of being able to access everything. Can't see why a NTR styled system couldn't be done for the Switch as well.

It would most likely be much easier to accomplish once we have full access to the system, and hopefully could be branched out much more than what the 3DS does.
the communist party stopping 40 years of criminal abuse of its own citizens, and deciding to rent them out for pennies to the foreign corporations, and making billions in the progress (then allowing its members to escape China with the money).

It is a fair point that a lot of stolen money escaped the country, though it's generally recognized that this process is slowing now. However, it is not fair to suggest that the Chinese government abused its citizens for personal profit when quite clearly the entire population has benefited greatly from the country's transition to widespread modern material wealth.

The miracle actually is that Communist party, with its massive debt, crashing economic policies, authoritarian policies, censorship, human rights abuse, trashing of its environment/food supplies/water supplies, is still standing.

If you replace Community party with US or UK government, the same is also true.
Does it have any algorithm to detect sockpuppets?
Use the opposite: a yourservice.customerdomain.tld cname.
A non-root way: DNS66 via F-Droid.

https://github.com/julian-klode/dns66
Also interesting: http://www.ted.com/talks/taylor_wilson_my_radical_plan_for_s...
I'm not familiar with these designations type 1 and type 2. Could you elaborate?
HN has been on an extreme title pedantry kick for a bit now. Hoping it cools off a little.
The bq cervantes[1] is open source[2] but isn't so cheap.

[1]: https://www.bq.com/es/cervantes-3-bq
[2]: https://github.com/bq/cervantes

I'm planning on picking one up soon (or, hopefully, a Cervantes 4 if it comes out...). I'm (fortunately in a position where I can be) willing to pay the extra to support F/OSS out of the box :).
> The soviet union, for example, allowed scientists to attend conferences in the west

Some scientists, for some conferences. It wasn't easy to get these permissions, and if you have security clearance, no chance. Maybe if you're word-class celebrity, not otherwise.

> So they did let some people out sometimes.

Yeah. It required to pass a lot of checks and having some connections. And depended a lot on where you're going - Bulgaria or Mongolia is one thing, Hungary or DDR is another, France or Spain yet another, and UK or US is completely different. Depending on how ideologically far the target country is, you'd require to be in the more trusted circles and have more connections to be allowed to get there. It's not like you just wanted to go there, you buy a ticket and go, nowhere near it.

> Just as you say that Japan lets some people in sometimes.

Not even close. You obviously know very little of both to compare. You can visit Japan as a tourist anytime. If you want to stay and work, it's harder, if you want to become a citizen, even harder. But entirely not comparable with USSR exit restrictions, not even close.

> However, people do escape to China,

Ah, you misunderstand the situation quite a bit here. People don't just "escape" to China. NK has a huge underground economy which is completely dependent on China. That's how NK has been staying afloat for decades now (well, that and international humanitarian help, which NK openly extorts by nuclear threats), otherwise they'd die out (well, not all probably, China would take over before that, but they don't really want this poisonous radioactive dumpster fire as part of their country or their official responsibility). Of course, this can not be done openly, so it is all done on pretend basis - Chinese and NK powers pretend it doesn't exist and from time to time deport some people for show. But they all know it's a pretense.

> Is there a difference between NK not letting people go to SK and China deporting people back to NK?

Of course there is. Ultimately, the welfare of NK people is the responsibility (and continuing criminal failure) of the NK government. China is not responsible for them, but in fact is trying to manage the situation while keeping the pretense of situation not existing at all, because it's their fault NK exists in the first place.
As a New Zealander. System doesn't work in NZ...
I still think we had a reasonable business model. The problem is, it was enterprise-targeted, and none of us actually knew how to sell to (or even talk to) enterprise customers. It turns out this is a skill that is not easy to learn. We really should have hired for it, rather than trying to figure it out from first principles. But by the time we realized that, it was too late -- enterprise sales cycles are long so we needed a lot of lead time.

With more investment I think we could have made it work, but it turns out that once you run into any kind of "trouble" as a startup, getting further investment becomes incredibly hard -- and we were pretty bad at the fundraising game to start with (it is, essentially, sales, after all).

I don't think we have any particular evidence that Sandstorm wasn't viable as a technology or a business -- we just personally did not have the right skillset for the business model we chose. :/
One just happened last week. A problem with the air brakes that made them evacuate an entire car on the train. I've been on other trains that lost all electrical power in the passenger cabs. Had engines that could not start after pulling into stations. Not too mention when one train breaks down others get stuck behind it.