skysight-inc/HackerNews huggingface dataset:
But surely no one believes that that particular case says anything about logical negation? It depends on the convention that "if it's not 0, it's true", which isn't even true of many computer languages, much less systems of formal logic. E.g. 5 == True is, in most systems, an absurdity not a axiom.
Internet-Wide Analysis of Traffic Policing [pdf]
Eh, changes like that don't happen at the individual level. Crime is at historic lows not because people decided to be less violent, but because of socioeconomic changes (and possibly the elimination of common sources of lead).

Rivers stopped catching on fire in the US not because individuals decided to stop dumping chemicals into rivers, but because Americans took collective action in the form or regulations and fines to force better behaviour through financial consequences.

The reality is pollution is an externality, and a very invisible one. Individuals are unlikely to make decisions that impact it because they don't directly bear the costs. And the reality is our societies aren't structured to make it easy to avoid polluting. Try living in an average American city without burning gas in a car, or oil/gas to heat or cool your home. It's an impossible ask for a typical middle class family, let alone someone lower on the socioeconomic scale.

There's a reason things like carbon taxes and green subsidies are very attractive: it allows you to incentivize the behaviour we want to see by baking in the cost of those externalities into people's decisions.
>The laws of men distinguish mere murder from killing in general, whether it be manslaughter, justifiable homicide, the conduct of warfare, or any of sundry other nuances. Why, then, should the law of God overlook the same distinction?

Because that's old testament morals that have been deprecated by Christ.

That's the whole point of getting a NEW testament.

And Christ is quite clear about the "not kill in general" part.
> it's surprisingly difficult to find healthy prepared food

This. Whole Foods is a godsend when traveling, I can just nip in, grab something healthy that's already prepared and I'm good to go.
Signed-off-by is automatically added to commits if you add "-s" to the git commit command. In addition, git format-patch (and thus git send-email) already adds [PATCH X/Y] to the subject line (prepended to the short commit message).

Which part of this needs to be better scripted?
Introducing the amazing Compact Disc (1982) [video 8:34min]
That's because militant muslims have been using it for millennia for actual attacks and war, not just spiritual ones.
You seem to take the free market as a premise and from there deduce that it is a desirable construct. The point was that the nature of the free market has an undesirable effect on prices.
One month after launch
NuScale Modular Nuclear Reactor Nears One Milestone, with More to Follow
Because these windshield wipers get clogged all the time and most people at best just use water and windex which doesn't bode well for precision made spray nozzles.

They also tend to leave a mess at any point where you actually need to use the liquid e.g. when you are driving through sand/dirt or mud but then again most people won't drive their CLX through a swamp or a sandstorm.
s3-dataflow / s3-pipe
Ask any fifth-grader what the angles of a triangle add up to, and she’ll say: ‘180 degrees’. That isn’t true on a hyperbolic surface. Ask our fifth-grader what’s the circumference of a circle and she’ll say: ‘2π times the radius’.

I don't remember learning plane geometry in 5th grade. Maybe times have changed
That's a different issue. When a court orders you to do something, then they would tell you to go back home and get the passwords or allow you the ability to do that. It's not reasonable for border security to expect you to carry your passwords with you at all time for all the services you use. It's a security risk to you, from third parties which might want to steal your data. Like for instance robbers that might force you to divulge your banking information at gun point.
None of these chips are for mobile. TDP on the chips in the Macbook Pro is 47W, while lowest TDP of the leaked Ryzen chips is 65W.

What could be of great interest would be if Ryzen came with mobile chips with LPDDR4, that would really put pressure on intel. Then they could also do 50W TDP and still compete with Intel for the Macbook Pros.
If every state had its own FDA, it'd be as hard for a restaurant / fast food chain, a brand of groceries, etc. to start selling in a new state as for them to start selling in a new country. Same with drug manufacturing.

If every state had its own immigration standards, you'd have to have border checkpoints between states as you do between countries. Even, e.g., Canada and the US have serious border checkpoints. Apart from the inconvenience, it would kill the economy of cities on state borders. (Imagine people from New Jersey commuting into work in Manhattan!)

If every state had its own DMV, you wouldn't necessarily be able to drive between all states.
Unfortunately, most people agree that the ast package is a mess. It isn't used by the actual compiler. There is some talk of eventually deprecating it and publishing the internal ast/parser/type-checker packages.
If I remember correctly rust-fmt deals with comments without them being explicitly part of the ast. Sure creates more work though
>"I also don't like to see "remote" positions open only to people in a specific timezone"

Isn't this also to do with working hours? If you want synchronous communication with remote employees you'd probably want them to work similar hours to local employees (unless you were a multinational company).
TrueCrypt let you encrypt your drive in a "plausibly deniable" way. One password would let you see the encrypted contents as would expect, but there was also a sort of duress password. If you mounted the drive with the second password, you would not see files added with the "true" password. You could even add files to this file system so it looked like a fully functioning file system.

How would the authorities know you have given them the correct password?

I'm not sure how effective it was, I remember there being some criticism of it.
I would love to drop bash/zsh for some other python-based shell like xonsh. I tried it already a few times, and having access to the python language and built-ins right from the prompt is amazing. The way the found to mix both command prompt and python syntax seems really smart. Nevertheless, the effort to update all my (quite extensive) zsh setup, as well as the cognitive effort to re-educate my brain, is huge. So I want to have to do it only once. This means it should be A) a project that has chances to survive in the long term, so not dependent on a single developer, and B) that has chances to become the reference one, gathering most of the users/contributors.

I don't know about the current craving for such technologies -- if it is a good idea or not -- nor the place of xonsh in all this. My main concern with xonsh is a blog article (Nov 2015) [1], that implies some issues regarding the management and the direction of the project.

Does anyone have opinion/experience on these python-based shells, the existing alternatives, and more specifically about xonsh?

[1] http://www.skepticism.us/2015/11/xonsh-is-no-longer-a-possib...
Pro: Salary, salary, salary
This does not have to do with AWS Lambda, I'm thinking about renaming it to "functional-s3", or something similar.

To answer your question, there isn't really a workaround for this yet, although indexing should be much quicker than "days". All the keys are listed recursively before running the lambda expression locally. If you have a huge number of files, this can take several minutes, maybe hours depending on the scope.

A workaround I've been considering is using a generator function to list the keys; that way, the lambda expression can start immediately, generating keys as it needs them.
Intuitionistic logic is a subtype of constructive logic, though, so it's more specific. That said, a lot of people don't make the distinction!
Why does EVERYTHING have to be opensource these days to be considered acceptable?
> it's clear from reading other writings by the Founding Fathers that the 2nd Amendment was written to allow an individual to own firearms.

This is irrelevant, it matters what made it into the contract, i.e. Constitution.

The second amendment in full is: "A well regulated militia being necessary to the security of a free State, the right of the People to keep and bear arms shall not be infringed."

A well regulated militia is completely dropped from all modern court rulings. Guns can and should be regulated.
It's more that we were eating the same things and I was getting bigger while he stayed thin. We were roommates for a summer, and our diet was virtually identical. Usually an omelette with guacamole and salsa in the morning with maybe a mimosa, 6~12 pack of beer throughout the day, california burrito, hors doeuvres with several shots of liquor at night, for about 3 months.
Pro: a description of not only what work you expect me to do, but also who I'll be doing it with. Team size, experience level of other team members, my role in the team.

Con: Anything about fun company events and free drinks. I'm looking for work, not booking a cruise.
Nice, I'm thinking about making it possible to connect it directly to a display/TV and keyboard. Now, I have to have a terminal or laptop + terminal emulator.
Don't forget "we will offer you a laptop and phone" as if those are privileges in IT.

Annoys the hell out of me.
United States. It may be a mixed bag as the agencies I worked with, well the groups within them I should say, were very, VERY against proprietary ANYTHING. I've never seen such a huge push back against software like Palantir. Funny thing? Almost every user I met LOVED just about all of the proprietary software and hated the contractor created, built on open source stacks, software.
Except it seems there is good case law to show that in fact suspected cannot be forced to open a combination lock, as it falls under fifth amendment protection. They can, however, be compelled to provide a key if it is a key-based lock. This applies similarly to biometric-based locks.

It's hard to believe that an encryption key is any different than a combination lock in this "encryption is like a safe" metaphor.

Relevant cases:

https://supreme.justia.com/cases/federal/us/425/391/case.htm...

https://supreme.justia.com/cases/federal/us/487/201/

https://supreme.justia.com/cases/federal/us/530/27/case.html
If you read the article carefully, there is no indication that Amazon actually gave her (or even had) the full credit card number.

"it turned out the last four digits and the expiry date matched the card on my Amazon account."

I checked, and Amazon does indeed only show you the last 4 digits and expiry date.
Easy. It's called crowd-funding.

But, once you've set up your Kickstarter campaign, remember to come back on HN and announce your product in the present tense, as if it actually exists now.

[it's what every other fucker does!]
Since I didn't submit it, I can only speculate. My speculation is that it's generally easier to submit the link that shows up in a person's inbox; with press announcements it's mostly a wash (the source isn't a scientific paper); and it's probably a bit more acceptable to repeat information on scientific topics since the idea of repeatability is embedded in science and the idea of copyright is not so much.
I think the Tesla Model X does this too. One major downside is needing the service center to replace the windshield wipers.

Since the advantage is minimal this overhead makes them generally more annoying than useful.
Wasn't this guy a US citizen and didn't he still feel too scared to do this?
Floating-point calculations in ancient Mesopotamia [pdf]
Common Lisp vs. Smalltalk
Can he appeal this judge's decision to imprison him? Or is he trapped given the lack of a conviction?
There aren't any Zen chips for mobile, there aren't any Zen "APUs" which have an integrated graphics card either.

The AM4 APUs that are launching with Summit Ridge are still construction cores and they come at 65-90W TDP also.

Until low TDP Zen chips are out and until Zen APUs are out AMD is effectively forfeiting the OEM and mobile markets.

Intel has also managed to scale it's current Core based CPU's to as low as 4.5W TDP which I have a very strong feeling that AMD will not be able to do until 2019-2020 at best, not with the TDP for these chips currently.

That said if AMD does release a 40-45W 4C CPU they'll have a strong chance of being a contender for at least some workstation level laptops, lack of native USB3 and no TB might hurt them but if PCIE over USB-C beats TB then they might still have a chance.

However since the external GPU enclosures became reliable I will never buy a laptop that doesn't support one for personal use unless it's a very very small form factor device and that's unlikely.
Lets see if AMD will be able to come with a similar solution to how seamless TB2/3 with Iris graphics and an external GPU work these days.
if, 150+ years ago, when we were building all the rail infrastructure in India, someone said - that there would be no fast line from Delhi to London in 100 years - people would think you were nuts - right now it's tricky to get from London to Berlin, India is near impossible
Con: a Bachelor, Masters or PhD in {a specific field}.

Consider rephrasing to "PhD with publication record, or MSc with 3 years of work experience, or BSc with 7 years of work experience, 3 of which at {a specific advanced level}".

I understand if the job requires a certain minimum education background, but how can you possibly consider holders of all three of the above degrees, without stating the specifications for each degree? Can I still apply if I'm just about to get a BSc, or would you require some amount of work experience? Am I competing directly with PhDs? Confuses the hell out of me. I once applied for a SWE I position that had that kind of degree requirement during my senior year. Passed two phone screens, even handled questions about computer vision and deep learning well during the on site round (answered beginner and intermediate level questions well, was honest to admit my limits when asked about advanced topics). Two days after the interview I went back to check the job posting, and it was somehow changed to say Principle Computer Vision Scientist then I was like "oh there goes my chance". Needless to say I wasn't selected. It makes sense for them to select candidates with advanced degrees if they are really looking for a Prin. Scientist. But please, spell out the requirements so that candidates make informed decisions about whether to apply. It saves both parties valuable time.
Interesting, so the law passed with zero Republican support but yet it is their fault for all of it's problems. Maybe the Democrats should be responsible for its failure?
Pro: Linux, scientific computing, not-for-profit organization, high-tech (if it really is), contributing to open-source

Cons: OSX, Windows, advertisement industry, bank, legacy systems, COBOL, calling the company "high-tech" when they mostly do what everybody else does, e.g. writing CRUD systems or do elementary data plumbing.
Yes: https://arxiv.org/abs/1610.02091
I'm not a geometer but I thought I remembered a theorem that said they hyperbolic plane can't be embedded in euclidean 3-space [1] (I can't really remember the difference between an embedding and an immersion, so I could be wrong).

Maybe they mean that the surface of the sea slug is some sort of approximation of hyperbolic space?

[1] https://www.math.utah.edu/~treiberg/Hilbert/Hilber.pdf
What's wrong with listing jQuery? If it heavily used somewhere it's natural to want someone who's used it before.

It's something you can learn on the job, but requirements are there because employers ideally want someone who can hit the ground running.
> So how do you protect yourself?

We need a "kill code" on secured devices: A separate password that silently resets the device to a saved state suggesting mild use and offering nothing of substance.

Alarm systems have these: A code you only enter under duress, that looks like a regular disarm code, but silently summons help. So where are Apple and Google on something similar for our digital privacy?
I guess I will start packing my phone and using my ipad when I travel since it has less personal data attached.
Thank you so very much, graycat. Incredibly helpful, and I appreciate the time you put into the discussion. I feel as if I need to read your post 3-4 times to absorb it all.

I am working in numerical methods for PDE so some of this was far afield but it does make sense that those are the areas ripe for opportunity.

Seriously, appreciate it.
I just wondered seeing as it had been flagged dead within an hour I believe.

I believe however that this is one of the fundamental flaws of Reddit-style websites. On an imageboard you are obliged to make your disagreement in words, constructive or otherwise. Here, you can passive aggressively click the downvote button and leave the post in limbo.
The difference between a house and shares of AAPL is that the government has been encouraging people through words and laws to over-invest in houses (and likewise student loans etc), leading to a huge bubble. The bubble is the fault of government policy, not people rationally buying houses based on the existing policy environment.

To fix this, there are going to be losses. The question is, who should primarily suffer them? The homeowners who reasonably relied on official policy, or the banks who promoted and benefited from that policy?

> What you are describing is socialized losses, privatized gains.

It isn't. The losses would otherwise be suffered by a majority of American families, which sounds pretty "socialized" to me. Those are also who would receive the gains from inflation.

The best place to actually put the losses would be the government, except "the government" doesn't actually have any money, it just spends your money which it takes through taxes or inflation. And the money has to go to homeowners/borrowers rather than come from them, so what you would effectively need is a tax on creditors, which is what inflation is.

It's essentially the same logic as the 5th Amendment Takings Clause. If the government is going to take your property they should compensate you for it. Normally this doesn't apply to things like zoning changes for pragmatic reasons -- the taken value would be too large for the government to afford and then they could never make zoning laws. Which is nothing but a pragmatic injustice. If we can avoid that we should, and in this context inflation would allow us to do it.

Inflation is a type of tax and you're just making the equivalent argument to "all taxes are theft".
At a very broad philosophical level---which is something one must assume if you're going to talk foundations of mathematics---"formalistic" logic makes a really unbelievable assumption:

All facts are either true or false.

Gödel of course blew this idea up quite elegantly, but the thrust of the idea is encoded directly into classical logic: (P \/ not P) is saying exactly that.

Intuitionistic logic is a development of constructive logic which takes seriously the idea that many statements are at least presently unknown and possibly unknowble. Taking this very seriously we find that we cannot even use three-valued logic like "True | False | Uncertain", but instead require a logical valuation with infinitely many states.

In practice, it's super convenient to use classical logic. You can use proof by contradiction, e.g. On the other hand, you have to deal with some idealogical uneasiness when you think really hard about graphs, real numbers, or the Axiom of Choice. In practice, we cannot imagine the world bereft of some of the theorems which require these uneasy choices. Simultaneously, AoC, for instance, allows bizarre obviously alien results like Banach-Tarski.

Constructive logics and especially intuitionistic logics are an attempt to get past this and use a language which has the same force without the aliens and misfits. Unfortunately, the result is something that is more complex to wield.
Pros:

- Stack

- Salary range

- Remote possibility

Cons:

- Any kind of synonym for rockstar, ninja, hero

- We are hiring (but actually not hiring, just wasting others time)
Hmm, what if we keep some encrypted porn in the shell OS? "Yep, there is hidden data. Do I really need to decrypt my special folder because I really wouldn't like to? OK then, the password is.."

Disclaimer: this is all being speculative, of course. I'm not suggesting to lie to or misdirect a border guard in a real-life situation.
Daniel Dennett: ‘I begrudge every hour I have to spend worrying about politics’
Passion reads to me like "unpaid overtime"
I wish we lived in an era when I did not need to know my credit card details.
Many language decisions in Go (e.g. lack of generics, baked-in magic concurrency primitives, extensive focus on imperative looping, baked-in formatting conventions) are arguably designed to homogenize developer output. This is essentially making decisions for the developer and limiting cleverness, but many developers feel a sense of liberation (rather than limitation) as they are freed from making those decisions, and instead can settle into the comfortable task of translating natural language into code (presumably homogenized to as few constructs as possible to make it easier for Google to train the AI that will replace them).
Here's an example of something utterly ridiculous that they still haven't fixed several years after first reported to them: despite music having flags to classify it as "mature", you can't tell the client to filter out that music. They have the music flagged already, so it's not like they're being requested to tag all of the music in their archives.

Pandora, and pretty much every competitor in the field can.
This kind of attitude is just FUD -- nothing can be learned from adopting your point of view, because you're convinced the problem is "solved" and not worth discussing, yet your assertion is not proven.

Also even basic metabolic science disproves your claim. If your immune system attacks your pancreas and damages your ability to produce insulin you will lose weight even if you stuff your face constantly, and if you inject insulin you will have trouble burning fat even when you have low glucose levels.

What I don't understand is why people cling to this weirdly puritanical belief obesity is purely the sin of gluttony when its clear scientifically that weight gain and loss are controlled by hormones
Public Must Fight against Prism and Tempora Surveillance (2013)
It might be the case that this hate is not even grounded in a realistic financial assessment of the company. The reaction of Wall St. to this earnings report, which the WaPo presents as a sign of collapse, was, in fact, bullish. The stock closed up a few percent ($30.35) the next day from the previous day's close ($29.30). If you look more closely at their strategy, it seems like they're trying to enter a slower growth phase, where they simply focus on the markets that provide them steady profits. They are closing a few stores, but those stores were older, poorly performing locations.

I can offer a more personal perspective: I currently live in the Bay Area but spend a fair amount of time in Manhattan, as well. When shopping in California, I essentially never go to Whole Foods because the produce prices are ridiculous in comparison to the high quality local grocers near my home. In Manhattan, however, I nearly exclusively shop at Whole Foods because the produce is reliably good, the 365 products are affordable, and the prices are fairly competitive (if not better than) many other options. Of course, there are less expensive stores that I could go to in New York, but they generally don't offer the convenience or quality.
Insert coin, drive home car
> most people at best just use water and windex

Who does that? I've never heard of anyone doing that.