skysight-inc/HackerNews huggingface dataset:
Yes but things might not be that black and white.

Another perspective on this whole story is that Swedish prosecution did what they are meant to do in such a case. They spent the time they were meant to spend trying to build the preliminary investigation and could not complete it.

So not wanting to give this case special treatment over other cases they chose to end it at this point. I'm sure this case has already received its fair share of special treatment considering the press conference today was held in both Swedish and English.

Fact is that if any other suspect of a sexual crime would flee custody and go into hiding for 5 years they would most likely drop the preliminary investigation.

What was special about Assange was that he was in a known location on foreign soil and in a politically charged situation.

So there is a more pragmatic and less conspiratorial view too but I can't say which is true. All I know is that Assange is a journalist being treated like a terrorist.
Speaking formally, we might consider a language to contain "redundancy" if there are source programs which produce the same compiled output; if they did it would be "redundant". Since all syntactically erroneous programs produce the same output (presumably none -- obviously I'm excluding e.g. diagnostic error messages here), a language which has more than one syntactically invalid program is redundant.

This might not seem all that useful in a practical sense, but I think that's basically the author's point: Such a language would be essentially impossible to write, and thus you're always going to have redundancy. As a result, you should evaluate redundancy in practical terms, rather than viewing it as always needing to be removed.
HSBC voice recognition system breached by customer's twin
People are going to shit on the parent comment - but honestly, anyone with more than a few years of experience in a tight tech job market is going to easily be in the top decile of earners. The highly-committed individuals that do the brutally hard work on the ground for non-profits or NGOs make a pittance in comparison. Committing a quarter of your salary would pay the entirety of theirs. Consider that for a moment.
Thats like remote play, not a desktop client.
Ecuador Asks UK PM Theresa May to Give Assange Safe Passage
recent discussion of the issue, https://news.ycombinator.com/item?id=14347648
It's fine to call me and Rothbard and other proponents of Austrian economics kooks, if that does it for you.

But where's your counter example? What book should I read to become enlightened? If I was curious enough to read Rothbard's book from 1963, don't you think I'd at least consider your recommendation?

If you can find me a Keynesian who can explain a systemic financial crisis without ringing their hands and shouting "Capitalism is reckless and greed causes financial crises!" than I'll consider their ideas.

But a systemic problem demands a systemic explanation. Austrians give us monetary policy. Keynesians give us greed.

I'm not going to simply side with the Keynesians because they have the dominant view. I'm not built that way. I need a better explanation than hand wringing and worship of Piketty.
And by then we'll have our pick of Neutrino, Electrode, and Amber as the new, shiny, laggy way to build "native" apps.
You can become programming teacher for startups in Gaza.

Check out: https://gazaskygeeks.com/
This reminds me of the recent American Airlines story where they raised employee wages and institutional investors hammered them for it

http://www.latimes.com/business/la-fi-american-airlines-rais...
"You wouldn't write an Ada contract describing the full system, you would write one describing the local behavior you just described in your TLA+ model. The model ensures that the emergent behavior of the system is correct, "

This is how I was seeing it happen, too.
> I think this thread is pretty much proof that that approach will bite you in the ass.

What bit me here is the fact that I'm running alpha software instead of a battle-tested web server; I'm doing so willingly, with full awareness of the risks that that entails.

Drawing the conclusion you did from the variables at play is shortsighted. If anything bites people in the ass, it's prejudice and shortsightedness. I wouldn't want you handling my ops/infrastructure.
You can take out more in student loans than just the cost of tuition. Men may just take out larger student loans, despite having the same tuition costs.
Some of Matt Levine's Bloomberg finance newsletter touches on that, and there's a bigger writeup as well: https://origin-www.bloombergview.com/articles/2015-12-02/yah...
But you need to control for factors such as the age distribution of the population. Now that baby boomer's (a much higher percent of total population than one would expect) are retired, you wouldn't expect them to have a job, so why count them as unemployed?
Nah, I'm not disappointed, just trying to understand the limits of current sensors. I also don't think it needs to be extremely accurate - maybe there's even proxies that could be used, like the shade of green on cloudless days for land coordinates, however this opens up a lot of abusive avenues of course.

Btw. how about something like OCO-2? I couldn't find anything about its spatial resolution, but it seems to allow ground measurements of carbon sinks and sources.

https://oco.jpl.nasa.gov/science/MeasurementApproach/

https://en.wikipedia.org/wiki/Orbiting_Carbon_Observatory_2
Could you elaborate on why they don't work with intermediate certs?
Ask HN: How much taxes do you pay on Bitcoin earnings as a US resident?
Another slice of the explanation for this can be found in the ceiling there is on crowdfunding: Your investors aren't people with deep pockets; it's those who generally don't have even one full extra paycheck in the bank. When they give you $20, that may mean they don't see a movie with their S.O. that weekend, etc. The money pool is much shallower.

Raising the minimum wage would be good for crowdfunding.
Is it easy to learn for someone who doesn't know any programming languages beforehand? Like I only know a bit of JavaScript
I generally hear people saying two things:

1. “The gov't isn’t/wasn’t able to competently police big pharma, so addiction will only get worse if we legalize drugs.”

2. “The gov’t is policing citizens too much, so addicts’ lives will get ruined if we don’t legalize drugs.”

I’d like everyone to consider the very real possibility that we’ll need to fix both problems before we reach a good place.
"Saying "we're only local" or "we're only remote" is a bad idea, you can have both and call it a win on both ends"

Honestly, I think it needs to be one or the other. Mixing some remote people into an otherwise local team often doesn't work.
Which, as evidence to that goes, isn't any.

Comey can't comment on classified or open cases (which Assange would be because, duh, WikiLeaks) just procedural things. Which that was.

It says nothing other than they have an investigation- well we knew that.
They exist but SPARK's were much better on automated proving. It was due to SPARK being a simpler language designed explicitly for verification.
Apropos of anything else, let's not pretend that a press release from "justice4assange.com" is going to be any kind of impartial, let alone be used as an authoritative source as to the thoughts and motivations of his accusers. That stains credibility, to say the least.
The widely published unemployment number only measures the dynamics of layoffs (how many people became unemployed in the window of the past 6 months).

The actual labor force participation is what counts.

And therein lies the answer to the "why isn't pay rising" question:

http://www.tradingeconomics.com/united-states/labor-force-pa...

(switch to the 10-year time view)
> economies actually have a lot more capacity to absorb extra money than people think (many people are spooked by cases like Zimbabwe and Venezuela, whose problems in reality were caused by completely different factors)

The critical thing to understand these cases - and Weimar - is that you can't print foreign currency.

What happens in those economies is that the balance of trade worsens dramatically, but either people still need imports (oil, pharmaceuticals, spare parts for industry) or in the case of Weimar the country was obliged to export gold by the reparations treaty.

So prices of imports or import-dependant goods rise; the goverment prints money to try to keep up, but since it can't print exports or forex this doesn't work.

(I'm not sure whether your PV=MQ argument is precisely correct or if it overlaps with IS/LM, but it's broadly right)
Sorry but that's not true at all. You are counted as unemployed if you do not have a job and are actively looking for work. There is no "cut-off." Look up the definition at the BLS, there is no excuse for spreading this crap through laziness.

If you stop looking for jobs you are not considered unemployed as someone not actively seeking work is not considered to be in the labor force. That is a different issue entirely and you will have to look at a different statistic. There are different types of "unemployment rate" and maybe what you want is U-4 or U-5 which include discouraged workers. Either way you can not expect a single number to encapsulate something as large and complex as the US labor market.
Here's the problem I run into: I can get 90% of my work done at home, but my boss can't. So I have to come in every day because he has to. It's completely childish, and I imagine this is the same in a lot of places.

I personally would love to give the ability for my employees to work at home, even if I didn't. I don't understand the mindset where people don't want things to be better for someone else... even if they can't also be better for you. This happens even when those benefits to others come at no cost to yourself.

Does anyone else have any experience overcoming this with someone else? Like it's bad to the extent where if this person works late he'll be passive aggressive towards everyone who doesn't have to also work late.
Are you suggesting the Swedish prosecution agreed to fly over to London just to sit and watch Ecuador interview Assange? I think we'd have heard more from Sweden about that if that were the case. :p
That’s much better for a source, thanks.

Do notice the context, however. We’re approaching this problem from the perspective of trying to determine the network bandwidth of a portable datacenter driving down the highway.

Assuming that container is really just a giant USB harddrive then it’s 10 days for copy at client’s site, 8 hours for the drive, and then another 10 days to assimilate the data back at AWS DC, or more if pushing it to 2 other DCs is slower.

Perhaps there’s some way to alleviate some of those concerns by shipping minimal S3-API server in the Snowmobile, then deploy actual production code when it’s assimilated back home. Perhaps the Snowmobile could become its own region temporarily.

Still, you’re right that is a lot of moving parts for something that you’d want to avoid… Except in this extremely important hypothetical, obviously.

Also, while it is probably true that S3 has way more storage distributed across the globe, I think the Snowmobile still follows the Sat Nav not DNS & BGP ;) I mean it delivers to a single DC, so that’s what needs to be considered.

Actually 100 PB is a lot on disk, but it’s even more over the network. They’ll probably want to push it during off-peaks, but should probably consider to just keep driving the truck to the next AZ.
How is it weak to say that he doesn't want this because he doesn't want to have to worry about supporting third party apps on his servers?
I'm actually surprised Go even has a complex type in it, honestly. The places where you'd use it and the types of programs you'd use Go for don't strike me as overlapping much.
I think these arguments are missing a big aspect of successful companies: culture.

How can you have good office culture if everyone works from home?
oh heck, I get that in Visual Studio, IntelliJ, and XCode. Not saying I'm in love with electron apps, but they have their place. (I once wrote a trivial app using Adobe Air, also consumed hundreds of megs of ran, all the same issues as Electron...it just seems like the nature of the beast)
Adding a New Bytecode Instruction to the CLR
I'm not sure I understand how slash collapsing is affecting this. Slash is a reserved character and presumably if it the data was correctly encoded should never have ended up in the URI in the first place?

(I guess this is more a question for the parent)
I agree with you historically.

> the incentives to make a company are less than simply get good at raising money and then skim as much as possible

I worry that, with the rules the way they are, the only people who will use them are people that are trying to do this. For instance, the company the OP is about. If you make it actually easier to raise money, more legitimate companies (that want to spend less time on raising money and more time on the company) will use that system.

The internet and reputation effects are enough, I think, to mitigate the valid downsides of past experiments with "very free markets".
It does seem that most heroin consumed in the US originates in Mexico currently. However it is true that Afghanistan helps supply most (as in <90%) of the world's heroin, and their production is much greater than Mexico and South America as well.

> The vast majority of worldwide poppy for opiates is Asia, but the US is unique in that most of the poppy source for their heroin is coming from Columbia and Mexico. It is odd.

I think this is a signal that Mexican cartels have monopolized American markets. Smaller unaffiliated players are more likely to use trans-Pacific supply chains.

It also seems that the cartels have vertically integrated their operations such that they now grow opium poppies and aren't reliant on South American countries for raw materials.
If only we had the evidence to support this sort of sweeping generalization. It's a nice theory on paper, in practice it seems to be more complicated depending on time scales and type of goal. There is a lot of no-true-scotsman-ing in support of the dogma, which muddies the waters. For people who want to affect actual change and believe in evidence-based approaches, it's really hard to avoid the conclusion that (today at least) you are best off with a mix.

This empirical mismatch is either handled by engaging in no-true-scotsman support for the dogma, or engaging
hum this look like a but in safari https://github.com/scalacenter/scastie/issues/. You can visit this link: https://scastie.scala-lang.org/MasseGuillaume/kHn9lemPTayxoY... and it will clear the modal.
E2E with multiple clients is clunky at best.
So if you were given 25 million dollars you would automagically make obscene amounts of money with no effort?

History shows otherwise with a very high rate of bankruptcies from lottery winners.
Certainly not if one of your main concerns is the privacy of your message content. WhatsApp uses the Signal protocol; Telegram uses its own homebrew encryption protocol that has not been well vetted.
>Those businesses employ the the vast majority of workers.

For my own edification, I looked this up.

There are about 125 million full-time employees in the U.S. [0] Of which, there are:

* 35 million Fortune 1000 employees [1]

* 22 million government employees [2]

So, government and the Fortune 1000 account for about 45% of all employment.

I also found a census reckoning [3] (that seems to exclude government altogether) that puts large- and medium-sized enterprises at 65% of all employment (and growing).

[0] https://www.statista.com/statistics/192361/unadjusted-monthl...

[1] https://www.quora.com/How-many-employees-are-there-in-the-Fo...

[2] http://www.cnsnews.com/news/article/terence-p-jeffrey/govern...

[3] https://www.census.gov/content/dam/Census/library/publicatio...

Edited to fix sources.
Probably... but who cares? My friends are in WhatsApp and I use the app to talk to my friends. I wish I could use Telegram, but I feel so lonely there.

I am sure there are better apps there that can fulfill better your needs. There are apps with better encryption and so on. It depends for what you want it. It is hard so say what is better, it depends on the person and its needs, but at the end if your need is to talk with your firends and your friends are in Whastapp. Then whatsapp is the best for you.
That's an impossible to answer question because we don't know your situation or use-case.
"Delimited" in continuations doesn't refer to a non-first-class hack. Delimited continuations are first-class, built-into-the-language objects (unless kludged otherwise, which is true of any continuations). They are just semantically nuanced relative to undelimited continuations in that they allow the program to clamp the future computation to within a specified dynamic contour. When the restarted continuation bubbles out to that boundary, it terminates and returns a value to whomever dispatched the continuation. And of course, it can be called again and again to do the same thing. That's why delimited continuations behave like functions and are composable.
I am not sure if someone on my friend list reported it, but yeah the rest really didn't get flagged. In multiple posts I mentioned the word suicide and the sentiment (with some good NLP) it should score a high depress/sad sentiment. BUT, my account was signed out!

One other interesting factor is a friend commented on the flagged status post with the suicide prevention hotline number. I don't know if that added any weigh to the overall decision making.
> Redundancy increases the the ability to detect errors, like a checksum in a code.

Redundancy also increases the likelihood of creating errors that would not otherwise have existed.
I'm pretty sure the original post is asking what's in that alleged mountain.
Good little read something different
I have ADHD. While the fidget spinner is fun, it is not really useful. It is too involved, doesn't have much tactile variety, distracting to the people around you.

I love the fidget cube though. (Got it from antsy labs)
HN readers who served in armed forces, if you ever got a chance to trade rations with armed forces of other nations, which nation's military rations impressed you the most (either in a good or bad way)? And as a tangent, if you also got to eat in the field kitchens of other nations' armed forces, which nation's field kitchen impressed you the most (in a good or bad way)?

I've heard praise from US armed forces services members for French, Dutch, and New Zealand rations before, curious about others' experiences.
I would be surprised if they weren't. I was trying to send a text message while driving recently and google played #text message radio.
I have no idea how this is relevant to the conversation, nor who said anything about hyperbolic claims.

You're claiming "caddy does everything". As opposed to what? If you're running apache or nginx, your server does far more than caddy, so you're quite simply mistaken.
You always have to make assumptions in any formal system able to express arithmetic as proved by Gödel.
A lot of information here, but wondering if anybody has a more recent point of view: http://www.nasdaq.com/article/bitcoin-transactions-and-ameri...
iOS 11: iPad Wishes and Concept Video
Julian Assange defiant as Sweden drops rope investigation
Oh, now I see your point. Checking a TLA+ model of an algorithm and then implementing each actor in Ada reinforcing it with pre/post conditions perfectly makes sense.

Its just a little out of scope of the current thread, because the author of parent message was talking about using pure Ada/SPARK, without help of TLA+ (As I understand it in the first place), so my comment about using contracts was in that context.
True. How very noble of him. Did not want to see his reputation challenged, so refused to deal with consequences of his actions...
There are others. Mine (idnet) doesn't filter and is very good. Andrews & Arnold is famously hacker-friendly and high quality and also doesn't.

Of course, when it becomes a legal requirement things might change.
I've had a look at a few of these startups that were trying to raise money this way, and none of them seemed very promising. I'm not going to give money to something just because it's there, it has to be something I truly believe in.
Ethereum shoots up past $115
U-3 is the commonly published "unemployment rate," aka the thing that is currently 4.4%. I don't think many people actually looks at U-1. You can get a better picture by looking at U-5 or U-6 together with the participation rate (LFPR).
Not clear. I seem to remember reading of a stronger fentanyl derivative within the last month or so, but can't immediately find the reference.

If you're interested in the status of fentanyl and its derivatives, as well as the directions being explored for their pharmaceutical use, here's a well-written, chemistry-heavy article [1]. Not paywalled.

[1] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4137794/pdf/nih...
Compared to what? During prohibition? I'd say things are much better now than then.
If you are running the AWS ACM certificate at the time when the old one is close to expiration it will automatically renew it without user intervention.
http://docs.aws.amazon.com/acm/latest/userguide/configure-do...
Ask HN: How can a SaaS detect if CBP is accessing traveling customers' accounts?
There are several YouTube channels devoted to reviewing military rations from all around the world.
For this sort of distributed project, it's mostly inept to attempt to nationalize any claim to innovation anyway. Not that it will stop countries from doing it, but it's all rather silly.
> The days when people were trained on newsgroup netiquette are long gone.

I've never understood why private news servers and groups never caught on. Company newsgroups on a company news server seem to me to often make a lot more sense than company mailing lists on a company mail server or company forums on phpBBB or similar.

News readers generally do a much better job than mail client of organizing discussions into threads, and the hierarchical structure of the newsgroup namespace fits well with the way most companies and projects are organized.

Nowadays the argument for NNTP is weak because the decline of Usenet has, I believe, reduced the number of good, maintained NNTP clients. But I don't understand why NNTP wasn't the first choice for these things 15-20 years ago.
The code actually exists and you can patch it into your own Go-compiled-from-source version
Reading the title, I assumed it was about the Quadra/Centris 6xx series which were shaped like traditional pizza boxes.

https://en.wikipedia.org/wiki/Macintosh_Centris
https://en.wikipedia.org/wiki/Macintosh_Quadra_610
Care to elaborate?

To get funding you have to provide a hypothesis and aims to prove/disprove with a starting justification for said hypothesis.

If your hypothesis is good compared to someone who has a poor hypothesis you should get the funding. We can't just open the funding floodgates to everyone. Not all people with graduate degrees are good at science. And only the best should be rewarded with funding.

Again, there is unfortunately an advantage if you're a good writer, but I don't think there's a better system at this point in time that we can rely on except maybe past published work.
Is Hillary Clinton preparing another presidential run, and would you trust her?
Get involved in what; where?

Unspecific suggestions like this are the reason people get lost and resume the attitude you're deriding.
Exactly. The demand for labor and the demand for the US dollar could be balancing labor costs.
Go ask the people doing the work - not the folks looking to enrich themselves by "disrupting" (read: injecting software into) every industry imaginable.

I mean this is Y-Combinator after all, not exactly a hub of philanthropy.
Exactly. Anything that comes out of somebody else's budget is "free". :-/