skysight-inc/HackerNews huggingface dataset:
I think this is a type system limitation that every type describing side effects -- i.e. the core of every interesting program other than a compiler/interpreter -- can only be used in the context of a compiler/interpreter.

Checker (Java 8's pluggable intersection type-system framework) is able to do that (define side-effect types), but isn't a single general type system. I.e. you need to write a different type system for each property (of course, they can all work together). Maybe that's the only known way to do that. Searching for more general solutions, I've come up empty handed (the problem is well known, but the solutions are all in early stages of research).

The idea of such a type system needs to be something like: each function has a set of types associated with it, and a function's type interacts with the types of the functions it calls in some ways. So the most primitive example is, of course, checked exceptions, where the type of a function is a simple union of the types of its callees. But the interactions can, and should be more interesting, and take into account the order in which the callees are called etc.
Welcome to the club. I did the same 20 years ago precisely to the day.
Thanks, exactly what I was searching for. Quoting from "Reconstruction filter" page:

Practical filters have non-flat frequency or phase
response in the pass band and incomplete suppression
of the signal elsewhere. The ideal sinc waveform [..]
would require infinite delay.

So it's all good in theory, and it depends in practice.
Any idea what is the highest frequency "recomended" in a typical audio that will not cause trouble for consumer grade DACs?

That is, if I'm mastering, say, for 44.1kHz, what is the recomended antialiasing filter?
Skype has kinda been the hot potato company that everyone wanted to buy but, once acquired, no-one could figure out how to actually make money from. Will Wire be any different?

One argument is that is doesn't matter. Messaging is such an attractive market that people just continue to invest in it. Telecos certainly didn't have any problems making money back in their hay-day, and there is the "get all the eyeballs and monetize later" argument that is still popular. Perhaps as consumers we're just doomed to switch platforms every 5-10 yrs as companies rise and then fizzle out. Perhaps churn is the price we pay for free messaging?

FWIW I did pay for Skype for a short while, as I needed some features, but then their billing structure changed and other free products became popular so I stopped.
>Is wordpress.org the next?

They've blocked YouTube once for a day or two.

btw, russian constitution/article 29/paragraph 5:

"The freedom of mass communication shall be guaranteed. Censorship shall be banned."
> A new customer signed up for our service and brought in multiple domains that were already facing a DDoS attack. The customer had already tried at least 2 other providers before DNSimple. Once the domains were delegated to us, we began receiving the traffic from the DDoS.

I'm curious did they know this in advance or discovered it after the fact?

I often wonder about business models where the core expense is "unlimited and free". The reality is there is nothing unlimited or free for the service provider. It seems with a business model like this you open yourself to people abusing your service either by accident or by choice. Imagine poor Mr. Customer here who most likely was having horrible problems thinking to themselves "These guys can do it and for free, if I go to X service they'll cost me a lot of money".

I'm a big believer in business models that incentivize both parties properly. I'm sure in general this service provider is arbitraging the 99.9% of domains that barely need any services. That said it only takes a couple of "opps" customers to drive your operational costs through the roof.
https://hn.algolia.com/?q=paperman#!/story/forever/0/paperma...
The author of the text tries to be "funny." One of the options is "Start the third world war. Any red button in some army facility in your vicinity? Are you some president?"

I can't imagine anybody will gain any insights from that "banned" information. kasthack links to the Wikipedia article that was an obvious starting point for the text, to which the "funny" parts were added.
Try %autocall in ipython.
`

In [9]: %autocall
Automatic calling is: Smart

In [10]: def foo(a, b):
return a + b
....:

In [11]: foo 3, 4
-------> foo(3, 4)
Out[11]: 7

`
It seems to be to avoid using currentKey inadvertently. If someone refers it elsewhere they get deadbeef.
The UK does not have the same concept of tenure as the US. Professors would have permanent positions and be subject to usual UK employment law.
Wayback Machine: http://web.archive.org/web/20141013114803/http://cpudb.stanf...
The comments on that video are diametrically opposed to Neil's view. It's interesting how many fans of his do not share this particular of his sentiments. I wonder if Carl Sagan, his own inspiration, would have supported the nascent commercial space industry. I can't imagine why not.
So in the age of Edward Snowden this is all they say about encryption...

"Are Messages And Calls Encrypted?
Yes. Wire uses industry-standard encryption on all of your Wire messages and calls."

"WHAT SECURITY MEASURES DO WE TAKE TO SAFEGUARD YOUR PERSONAL INFORMATION?

We are concerned about safeguarding the confidentiality of your information. We provide physical, electronic, and procedural safeguards to protect information we process and maintain. In addition, we restrict access to personal information to Company employees who need to know this information in order to develop, operate and maintain the Service."

Come on guys...how can anything this vague be trusted?

And by European they mean Swiss, so not specifically EU.

One of the typical evasive phrases...

From the Guardian Article:

"Locating its head office in Switzerland was Wire’s first decision taken on security grounds. “If someone is interested in accessing our user data, there’s a formal and well-regulated process in Switzerland for that. They’re very mindful of privacy, and the same is true in Germany."

Swiss naturally implies safety for many people (which is deceptive...real, verifiable, audited, end to end encryption is safety), for anyone unsure about the reality of "Swiss" cooperation with NSA since the 70s, read about Crypto AG

http://mediafilter.org/caq/cryptogate/

For those wondering about "Swiss privacy laws," if you are a foreign national you are effectively fair game

http://en.wikipedia.org/wiki/Onyx_%28interception_system%29

http://www.iclg.co.uk/practice-areas/telecoms-media-and-inte...
It seems so. Here is the mirror on archive.org

https://web.archive.org/web/20141013114803/http://cpudb.stan...

I've seen this happening several times after submission to HN.
Skype still has end-to-end encryption.

But Skype also has the private keys for every user which renders end-to-end encryption "less useful". Sadly they have always had the keys, from the beginning. Tom skype just made content more accessible to the "interested parties".
More fragmentation, great. I cannot help but think how this time I will again convince my contacts to migrate to yet another messaging app. I should probably ask the contacts on WhatsApp first. Or rather Telegram? I think some people are still on Viber, too. My friends on Kik have just migrated from Whatsapp so I will approach them last.

The app who can actually solve _this_ problem will be the next big thing. And if doesn't work, we have yet another messaging app.
I've been in Brazil for the past five weeks. EVERYONE uses whatsapp, because SMS is expensive. And this all happened in the past couple of years or so, because that's when smartphones became widespread.

I have never been asked my phone number. I've only been asked my "whatsapp". Make a good enough messaging app, and you can win an entire country. Or the world.
Anthony from DNSimple here. We discovered it after the fact, via a tip from other DNS providers.
Combine Tessel, Adafruit NeoPixel, Node.js and Web Audio API to Visualize Music
>"Skopostnye train DURING topmozhenii ppohod more about kilometpa"

Looks like message author has replaced cyrillic 'р' with latin 'p' in original text.
Also https://news.ycombinator.com/item?id=8692427 and https://news.ycombinator.com/item?id=8692140.
The old man that I am asks, Are you old enough to remember the days of slides and projectors? If not, a bit of research in popular culture should be able to turn up gags from the comics and the situation comedies about the horrors of the neighbors' slide show minutely cataloging their two week vacation to Yellowstone or Paris or ...

Technology has made it possible to bore, amuse, or irritate a global audience rather than a neighborhood one.
Ask HN: Best resources to start as a digital nomad?
I have been working as a nomad freelancer in Dublin for 6 months now and want to travel more and want to see other places too (based on nomadlist.io). I can't find any starter guides or clear information how other digital nomads do it.
I am interested in bank accounts(I have problems with high fees on ATMs in different countries), best co-working spaces, what to pack(are Incase travel bags good?) and so on. I want to be efficient and not lose time and money when I arrive at my destination.

Edit: Any news regarding nomad guides promised by nomadlist.io ?
Anyone who is interested in OTR (off the record) and peer to peer encryption, Wire is not for you.

Please see https://otr.cypherpunks.ca/software.php for suggestions which might be reliable as of today.

Everyone else who feels good about keeping their messages safely stored for later inspection, use Wire or any other chat client that "looks beautiful", "is pure" and blends yt videos nicely into your feed.

EDIT: Do not take my comment as a critique or sarcasm against Wire. There are different audiences for messaging apps and it's important to understand if you are the one before being negative about privacy policy and encryption.
Please explain how.
Do You Want to Know If People Are Reading Your Email? – Yanado Blog
I think Layer (https://layer.com/) is what you're looking for. The Verge ran an article about Layer (http://www.theverge.com/2013/12/4/5173726/you-have-too-many-...), on how they're attempting to stop the fragmentation on mobile messaging. Last but not the least, it's being built by Jeremie Miller, who invented XMPP.
What a nice attack vector. Deliver a "suicidal" payload to a website, report to Russian authorities and watch it go offline in Russia.

It might as well be SO or any other site with user content.
"and even then you can still be screwed if your bandwidth is saturated"

Which is exactly what happened in this case. It sucks to be on the receiving end of this. We couldn't defend against it and let our customers down, and that hurts me deeply. We choose one approach to defense, which was internal, and that was a mistake. We're going to work on rectifying that now.
I know this will probably cause dissent, but I think the time of Google (now Apache) Wave may have arrived :-) XMPP based (but hideously complicated) and can still do more than any other "chat" system out there that I've seen.

http://incubator.apache.org/wave/

https://github.com/apache/incubator-wave
Professional App Pricing
The title of the submission is wrong. The article is 'A New Way to Look at Competitors' from 2013 and not related to China.
The thing I find grating is that Uber takes everything they perceive to be broken in some local US taxi market (bay area?) and project it onto the world.

Even though taxis seem to be regulated pretty much everywhere, the reason for regulation, the way things are done, and its effects can vary a lot.

Doesn't matter, Uber still feels the need (at least according to their PR) to crush the evil taxi monopoly in Germany. Even though there is no monopolist.
If anything, Uber is the best match for that (international company with deep pockets vs local companies with typically 5 cars or less)
Are they going to have some kind of API? I loved being able to programmatically send and read Skype messages on Android, until it stopped working.

Also, will it work with Linphone?
strcmp will stop at the end of the string. (the first zero or \0)
Comparing the hashes ABC\0DEF and ABC\0XYZ will result true. There are a lot of hashcollisions which make finding a password a lot easier but the password won't work with sites that don't use strcmp.
I've just signed up for this. It looks like exactly what we want from 'secure' email:

(0) you can send unencrypted email just like any other webmail service.

PLUS

(1) end-to-end encrypted if sender&receiver use tutanova.

(2) if receiver does not use tutanova, you can still send them encrypted email if you want to: they get an email saying - 'you have an encrypted mail, click this link to view it' - on clicking the link, they decrypt the mail by entering a pre-agreed password.

(3) it is free. they seem to be making money from the 'enhanced features' in their 'Outlook Addin' package.
Had the same situation in Turkey. Half of the country supports a (for me obviously) corrupt party for reasons I can observe (religion, dreaming of becoming the glorious Ottoman Empire once again and so on), but can't make sense of. I have been living in Germany for the last 5 years - never been happier, even though I earn less. I try not to read any Turkish news (very depressing) with moderate success because of the common "{Yet Another Social Network} blocked in Turkey" posts on HN & others.
They were committed by protestor or just troll.
> so somehow all those people really DID want another messaging app and even adopted one.

Very disingenuous. In terms of ICQ, they were just early to market, had a competent client and... a deeply flawed method of identification. Messenger? Rolled out with Windows, just like certain other software that caused a bit of a stink in courtrooms at one point. Leverage. AOL did the same thing, pretty much.

As for Skype... it did voice competently, and more importantly did so easily and at a crucial point in time. Just like ICQ once did.

> Most of the Skype killers are either crap or crippled in other ways (e.g. Facetime being Apple only).

Absolutely. But Skype, according to most people I speak to and voice my concerns (ie. people to whom I whine) regarding the latest problem with Skype definitely echo my sentiment. Skype isn't good... it's merely acceptable. But there is no realistic option.

For my little niche there's definitely an opening for a new voice comm package, but "they" will have to raise the bar a lot if they want wide adoption.
>Words in order:
>High-speed (adj), Train, Customs (on the border), Passage, More, About, (of) kilometer.

Higher-speed rail passes at least kilometer while slowing down.

>it does not look like sth about suicide
https://en.wikipedia.org/wiki/Suicide_methods#Rail
Thanks for the correction, I wasn't aware that was part of what phabricator extracted out of facebook :)
Simple Steps – How to Use Redmine (Project Management Software)
The frequency of a 'beat' is completely different to what we normally refer to as the frequency of a sound. The beat's frequency relates to how quickly the amplitude of the sound wave varies. The frequency of a tone relates to how quickly the pressure waves oscillate back and forth.

Besides, if a combination of sounds outside the audible spectrum DID combine to produce audible sounds (maths says they don't, but maybe non-ideal properties of air etc mean they might?), the resultant audible sounds would be picked up by the recording equipment anyway! So you'd never need to record the inaudible source sounds, just the resultant audible bit.
I have never been asked my phone number. I've only been asked my "whatsapp".

But your "whatsapp" is your phone number.
Yep the screen is awful for photos or having more than one person look at it. Or for watching video. Well, anything but staring directly at it in low light while reading text!

No problem with my spacebar. I suspect you have a dodgy keyboard. I haven't looked to see how the spacebar is held together in this model, but it might just be dirt so you may get away with pulling it off (don't say I told you to do that!) and putting it back, but, well, at least a replacement keyboard is cheap and easy to fit.

The 'will still annoy you' comment comes from my memory of stuff not quite working 100%, but I really can't remember what was up now - perhaps it was just when it was in a VM that there were problems. If there was something broken, though, it was probably wifi. That seems the most common problem I have with Linux on laptops these days.

Will give Debian Wheezy a try and see how it goes, thanks!
Does rampant AI threaten humanity?
I guess that most programming languages, with possible exception of COBOL, were not created with boring stuff - like enterprise-y apps or webdev, that compose most of the programming today - in mind.
The writers for Avatar were extremely lazy.

However Unobtanium has been an engineering in-joke since the '50s: http://en.wikipedia.org/wiki/Unobtainium
How we got 1,000 users in three weeks with zero marketing spend
What does this community think?
While I agree that "Skype killer" is a hyperbole, I guess the idea is that the "Windows PC" people will switch to using their smart phone instead. Also, there is a "Browser - coming soon" button, indicating that they do target larger computers in a portable way.
Given how far away other earth-like planets are likely to be, the more immediate challenge is long-term survival off earth, either in a spacecraft or on mars.

Once we learn how to survive "on our own" then one could envisage making the journey to some Earth II.
Did they ever fix the massive security hole(s?) in whatsapp?
One Simple Tool to Make Tough Decisions Much Easier
Ah, well, the human ear is a much more finely tuned instrument than your decoders and players. Think of the feelings you get when you hear the ocean waves, the birds sing, a thunderclap!

Can you turn this into mere "bits"? Of course not!

That's why it is so important to protect against sub-bit quantization errors, and this can only be done with proper interconnects. Ordinary cables allow the bits to travel willy-nilly until they jam up against each other creating a brittle, edgy soundstage. Quality interconnects are tuned, aligned, and harmonically shielded to keep those precious bits - and the all-important spaces between them - in a smooth flow.

And then, we can hear all of the things that make us human.
For off the record try - https://play.google.com/store/apps/details?id=co.hushes
Thanks for the Wikipedia link, now we know what the basis for the text was. Obviously the author started from there and added his "funny" options like "start the third world war."
Strange decision to solely target Android 4.4 and above, that means it's only compatible with about 34% of Android devices.
Ukrainian PM reports accident at nuclear power plant
Note the domain. Wordpress.org, not wordpress.com.
More Agile, Faster to the App Market
Actually it is not that hard to create a better product than Skype. Skype sucks in so many ways that i wouldn't know where to beginn. Exchange developers, exchange the designer and the UI team. Hate it - but use it every single day.
You don't understand. People don't associate that number with a phonecall, but with Whatsapp.
I'm curious how many people in the real world actually use IRC. Find 10 people on the streets of New York and statistically zero use IRC and maybe, maybe 1 has even heard of it. Ask those same 10 people if they've heard of WhatsApp and likely 3 or 4 would have heard of it and probably 2 would have it on their device. If they're from outside the US, that number would go up to likely 7 would have it installed. Ask those same 10 people if they've ever heard of Skype and all 10 would say yes and likely 8 of them have used it.

Obviously this isn't scientific, but the point is that most people don't use IRC. I'm a software dev and I don't use IRC and I've never had a real-world non-dev even mention it. But Skype? I'm forced to use that every day. Text messages? With iMessage, it's great, but you also need to have the person's phone number -- or, you're like me and you're moving around a lot and change numbers fairly frequently, but Skype/iMessage/etc stays pretty consistent year after year.

Just my 2 cents. In terms of "always on intrusiveness" isn't SMS always on? Unless you're using a burner phone, you're being tracked, SMS is always logged, there's no illusion of security.

Besides, who the heck buys a phone is Hangouts imbedded in ROM? If you're interested in security, then I'd suggest getting something other than Android.
Exactly. Complying with "all messages encrypted" is equivalent to simply using HTTPS (and equivalent for voice). But this doesn't make it safe against MITM attacks, side-channel attacks and government subpoenas!
You should consider that most other messengers offer no such promises, even vague ones.
The TYPO3 community publishes TYPO3 CMS 7.0
Indeed, I believe that is going to happen this way.

But in the same time, it's a strong signal to avoid to do software related business in Russia. The blocking works both ways. Just look at what happened in China, they do have their own tools and networks but almost nobody is outsourcing work to China compared to other countries.
I know Agda isn't really a programming language, but then why is this book trying to claim it is? It says at the start:

_Agda is a programming language_

That's the standard it sets right from the first chapter. It then goes on to say that this programming language doesn't have numbers.

If the book had said, "Agda is a proof assistant for CS and mathematics researchers to research inductive logic" then I'd have been much less harsh on it, but whilst this book is claiming it's a tool for programmers I will judge it by that standard. And by that standard representing numbers and even forcing you to type them in as (suc (suc (suc (zero))) is not elegant.
> now economic collapse

Don't take what a TV box tells you this literally. The currency exchange rate going up is not an economic collapse. I lived through Perestroika years - that was nasty, but current situation is even less of a "collapse" as what the US economy had during the mortgage crisis.
I'm curious, did you listen in a properly treated room? As in with bass traps, panel traps, diffusers, a cloud, first reflection points covered, etc? Because I can hear a difference on less that $10,000 of playback equipment, but in a fully treated listening room. And I know from the days when I used an untreated room, there would be no way I could tell in an untreated room, even with a million dollars of equipment.

It's the most overlooked part of the listening chain, and is in fact the most important part. In fact it always shocks me how many "audiophiles" will pump tens of thousands into audio equipment for their reflective, untreated, boxy listening space. A $1000 pair of speakers in a room with $5000 in room treatment will totally blow away $20,000 pair of speaker in a room with $0 in room treatment. Every time.
> It's most likely that space exploration will always be a public-private mixture given the political and military interests in play

That of course depends on whether you expect political/military interests to be always represented by public institutes, not just today but also a couple of decades into the future. Not saying that will necessarily change, but I've read enough cyberpunk to at least consider the real possibility :)
Definitely interesting. I just need to figure out whether the benefits of knowing those things and paying attention to catch them early is worth the cost of potentially constantly stressing out and over reacting.