skysight-inc/HackerNews huggingface dataset:
'Man in the cloud' owns your Dropbox or Google drive without malware
Let's be honest: web is crap period. Ever since people came up with the crazy idea that documents can somehow be scripted into applications.
Delhi NCR VIP Class Escorts Agency – Independent Services
Race Baiting 101
Creative young Brits are quitting London for affordable Berlin
Thanks -- yes, I believe he's used Overleaf in his workshops for the past couple of years (starting back when we were called writeLaTeX). The Tufte handout and book templates are ones we use again and again when we're asked for examples of such layouts, and they're very popular.

As an interesting tidbit re Overleaf, we recently passed the 3 billion pages compiled mark :) If you stacked up all those pages, you'd have a pile that's (roughly!) the height of Pluto: https://www.overleaf.com/blog/219-youve-created-three-millio...
Thanks dude! You can discuss it on reddit if you'd like, maybe flick me an upvote? https://www.reddit.com/r/funny/comments/3fyvz8/windowsexe_ha...
Yes, documents should not pretend they are apps.
"...imposing further sanctions on North Korea, which he said was “not even close” to taking steps to end its nuclear programme."

North Korea - under the current leadership - will never end its nuclear programme. It is their most important leverage in discussions with other nations, and the main reason they get much more international attention and aid than other equally poor countries.

They may slow down development for a while, or claim to cease development at some point in return for aid, but a few years later it will return stronger than before. We've already seen this happen once.

Efforts to end the North Korean nuclear programme without significant changes to their situation are futile. The US should know this by now.
Why Are Russian Hackers Posing as ISIS Propagandists?
The point is that some contracts are unenforceable. It is impossible to give up some rights in a legally binding way.
"A group which calls itself Cyber Caliphate, assumed to have ties to the terrorist group ISIS, may in fact be a creation of Russian hackers taking advantage of the havoc wrecked on social media and the Internet by ISIS propagandists."
No you can't. You can show that it has worked a finite number of times in tssting. With testing alone you can't show that it won't produce arbitrary crap the next time you run it.

Here I think lies the line between theory and practice. As a computer scientist, Dijkstra clearly represents the former approach.

Your above description has basically been how computer programs have been built so far since the beginning for the very reason that otherwise they wouldn't have been written at all in the first place. Programs like that are nothing that even the humblest of computer scientists would ever consider complete, but in practice knowing the boundaries of incompleteness and living with that is more than useful.

Surely a program can fail in spectacular ways, but by testing a set of known behaviours with a set of reasonable inputs we can be pretty sure that if you use it as intended, with inputs that are roughly what they're supposed to be, you're most likely to have the program produce the expected output again and again. This is good enough for all practical purposes of business and utility.

It's also quite similar to how it happens in mechanical engineering. For eaxmple, an engine is designed to run at between 1000-5500 revolutions per minute, with oil of grades SAE 40 to 50, and with a suitable mixture of air and petrol. If you push the engine outside of these fixed specifications, you'll increase the likelihood of the engine failing in ways that are spectacular. The complexity of failure patterns can be overwhelming: a small, seemingly unrelated thing turns out to be vital in some underestimated sense, and failing that thing will cause all kinds of other failures which eventually destroy the engine completely. And this occasionally gets realized in real life, too. For a computer programmer, doesn't this sound familiar?

We do (try to) write critical software in a different way. Avionics, spaceship computers, medical systems. The cost per line is overwhelming but the programs still aren't bug-free. A lot of that cost goes effectively to proving the non-existence of bugs: fixing bugs that are found are cheap in comparison.

Proofs of correctness can be formulated for simple systems but it's increasingly hard for complex system. Worse yet, for most programs we use daily we're completely unable to write specifications that would be tight enough to actually make it possible to write fully correct and bug-free programs. Specifying how the program should work in the first place takes a lot of the effort that goes into special systems such as avionics. That's because specifying is kind of programming, and even if we managed to express the program specification in some non-ambiguous and logically complete format, I think the process in turn to build that specification itself would suffer from similar disconnects, vague definitions, and other humanly problems.

Goals sometimes produce the most value when they're walked towards but not necessarily ever reached.
Trouble in orbit: the growing problem of space junk
You didn't get the latest edition of the Newspeak dictionary?
What if I sell an expensive product, such as a smartphone. It arrives, but then out of the blue the buyer says it is not what they ordered. They return the product and provide proof that they mailed the replacement. All good?

When the merchant receives the replacement, they find that the return box just contains a brick, or something less obvious, such as a broken phone. Now the customer has not paid yet, but they have your merchandise.

How would you be protected in that case?

Currently the seller is protected, because they can defer issuing the refund until after verifying that the returned product is what it should be.
Awesome: "fed to cattle or schoolchildren". :-)
> it's about a million miles from Earth, generally the farthest satellites away from Earth are at about 40,000km altitude in geostationary orbit, which would put them maybe 4% closer to the spacecraft than Earth

No, that puts satellites in geostationary orbit 2.5% as close to Earth as the satellite that took this picture (in other words, it is 40 times as far away from Earth).
While shenanigans do go on at Defcon and Blackhat most of these "no computers, no cell phone" precautions are overreactions.
Y Combinator: Bookmarklet
That's strange, I was under the assumption it'd be easier for me to buy a (n)CPAP machinein the US than in Europe (CPAP user).
"leaked"
Agree with this comment.

It gets difficult when selling an emotive product. By emotive product, I mean an item at connects at an emotional level. I know that sofa is solid because it is made of solid oak, but will I be comfortable sitting on it reading my Sunday newspaper. That question is difficult to answer from an online store.
Who is the prankenstein? Znapin it to find it out
My thoughts exactly. If nothing bad happens, I think Rust will be a worthy successor of C in low-level land. If I need a higher abstraction level, I use either Lisp if I want dynamic typing, or OCaml if I want static typing. Together, those three cover a vast spectrum.

addendum: That doesn't mean C2 is not a worthwhile experiment. I might even try it out when a compiler is available.
> Seriously. Sometimes I wonder about who actually is visiting this site.

I'm a programmer who sometimes reads about economics and economics history. I've also worked in some finance-related industry for a couple of years early in my career (in the IT department).

> This is because of the compouding effect of investment in knowledge and productive capacity.

Yes, I know how compound interest presently works, I was just questioning its long-term (think 50-to-100 years, if not more) viability. To give an example which I stole from people smarter than me, just think that if you had invested your pension money on the Russian stock market in the 1910s or on the Chinese stock market in the 1930s you would most probably be bust (to say nothing of nationalizations and confiscations of private real estate). And these are two pretty big examples which happened in the last 100 years.

The idea that the return on the rate on investment on the long term can only go down I've stolen from Jean-Baptiste Say, who wrote it down in the ~1820s. Now, he just happened to write this before the Industrial Revolution started doing its thing and, just as important, before economic colonialism started to positively influence the Western economies of that time (think the Opium Wars). Now, you're saying that we'll be able to somehow reproduce that Industrial Revolution a second time, I question that optimism.

> I'm not sure where the growth-hate comes from

I'm not at all "hating growth" (even though I believe that we should be well aware of its downsides). I'm just saying that it's no good making only positive economic projections about the future, we're not magicians and crystal balls are just that, pieces of glass.
Did your employees know you were tracking them in this manner? Seems pretty creepy to me...
This. Sleep deprivation is a symptom, 'curing' it without solving underlying problems is just supressing a sign of real problem.
In my language, red (červený) has very similar stem as worm (červ).
When the guys at Optimizely asked for money upfront for their new software idea, were they already backed by YC?
Facebook is testing an online marketplace
Why Startups Are Making the Expensive Switch to Traditional Employment
Probably worth to take a look at home24, they start to gain traction here in Europe after years of slow growth. Doing Free Shipping / Free Returns. Rumors about IPO.
Very similar to Ark: www.github.com/ark-lang/ark. Except Ark has no GC, has tagged enums, ownership is enforced, and a few other smaller differences.
OP didn't say they were his employees.
Reminds me of that guy who posted "The Unemployable Coder" exact same issue with him. a decade of relevant experience but no one hires him because of a lack of degree
This only possible because companies want to be able to fire their employees quickly so that means the employees can leave quickly. I know of one place (in the UK) with a one year notice term. You can't leave quickly so their business is secure but you are secure too as they have to give 12 months notice before letting you go.
As it happens, in addition to writing the article under discussion in this post, Peter Hessler also wrote another New Yorker piece about one of the zabbaleen:

http://www.newyorker.com/magazine/2014/10/13/tales-trash
If you detected a Quantum Insert attack against you, would you even say anything? Why alert your adversary?
Colleagues then. Makes no difference. I wonder if his employer minded him tracking them?
They're mostly gone, but their existence had a very different cause:

'This basic system led to the infamous "butter mountains" and "wine lakes" of the 1980s, with farmers being paid to produce goods for which there was no market.' [1]

This seems very different to the USA system, where according to the article: 'The profits from the raisins, often seized for no payment, are then used to pay the expenses of the committee or pay back farmers for their seized produce. In one recent year, $65,483,211 was made, although it was all spent, with none left over for farmers'.

[1] http://www.ecpa.eu/information-page/agriculture-today/common...
Work with Emails and Attachments in Java Using Powerful Aspose.Emails Cloud APIs
I see people here posting issues of their own, but I'm amazed nobody has yet mentioned the lack of IPv6.

I've setup a few machines with IPv6-only network connections, and it makes pulling my dotfiles from github a pain since I need an IPv4-proxy/tunnel to access github.com
Things @teabass would build if he quit GitHub: https://libraries.io

Really useful to get updates on new releases of libraries you use.
Those interested might also enjoy the 43 comments at https://news.ycombinator.com/item?id=9988936 from a few days ago.
"NO fake/CGI product photos! Those are a screaming red flag to consumers. No one in their right mind would buy a $3k couch with a photoshopped product image."

Tell that to IKEA, their catalog is 75% CGI.

http://time.com/money/3207951/ikea-furniture-3d-images-techn...
There's support for cross-compilation, it's even documented:

http://crystal-lang.org/docs/syntax_and_semantics/cross-comp...

But porting stuff to Windows is far from trivial: there's making LLVM work, there's exception handling, string handling (seems it's UTF-16 rather than UTF-8 in some places), etc. It's definitely on our long-term roadmap, it will just take a lot of time and effort.

And ARM is also on our roadmap, hopefully a short/mid term one.
This might be only me, but the images all look fake. A few images do give rich appeal, but that's because they look least fake. Also, the shots of desk with chair look out of proportion, confirming my feeling that images are fake. Looks scammy.
This happens on the BBC (which is ad-free) & it drives me mad! E.g. Dragons' Den is clearly pre-formatted to be sold to commercial channels with ad breaks - there is about 20 mins of content in a 1 hour show w/ 40 mins of recaps and dramatic panning around the 'Den'.
Very useful indeed.

One obvious question - is it possible to sync DOM changes across the connected devices?
12 months for both sides? So if an employee wants to leave the employer can make them stay for one more year? Doesn't sound like a good thing to me.
Tube Strike Benefits #1 – Testing Opportunities
http://techcrunch.com/2015/05/28/googles-new-cloud-based-tes...

It's in your Google Play developer console
See, this is why I hate that word; it's used for absolutely everything, so I actually don't consider it to be incorrect when someone says "BBC's web app" and is referring to their website. I mean, I cringe a lot, but that's because of the word itself, not because of the meaning, which today seems to be "any kind of software".
Mumbai Female Model Escorts Out Call Services – Social Pune Agency
I made something similar for wordpress: https://github.com/zackify/WProgress I was going to add a bookmarking feature. To fix your problem just store the scroll position in localstorage?
Apple Music has 11m trial members five weeks after launching
Well, it's bring-your-own-device friendly as far as you can run the thin client on your own device, to your virtual Windows desktop. I don't develop on my Mac, I prefer to do development for Linux and UNIX servers on a Linux development server or image anyway, so it suits me.
Firstly it's good CGI and secondly, most importantly, IKEA has the advantage of being IKEA. Don't trust the image? Go to one of their huge, trustworthy stores.
Interesting. I quickly whipped up another variation using javascript and flexbox. Meaning you can host it on s3 and no need for a server. Needs to be browser tested and so on... but you can see it here for a live demo.

http://transport-for-london.s3-website-eu-west-1.amazonaws.c...
Of course it's the right way around. Wikipedia has, basically, what it needs. I don't see how throwing more money at Wikipedia is going to accomplish anything.
Textsecure has out of band fingerprint verification.

There are that are working on eliminating the need for central server for message delivery and key server roles like

https://briarproject.org/

https://github.com/muttr/whitepaper/blob/master/README.md
> The complexity of cyber conflict certainly suggests that the U.S. government must intensify and improve its own efforts to outsmart our enemies.

Hey Helle, did you miss that story in 2013 about how we spy on literally the entire world?
Not quite. The language allows you to program using duck-typing, in a way. For example if you have a variable "duck" and you assign a Duck to it and invoke "quack" on it, given a Duck quacks, it will work. Now if later you assign a Horse to it, and the horse doesn't quack, you will get a compile error. So, the compiler catches the error at compile time. Now, if you assign another type, say, a Goose, and it quacks, then the code continue to compile fine (provided that it returns the correct type, which again is determined by its methods, and so on). The new type will be Duck | Goose.

In short: there's no "undefined method" errors at runtime in Crystal, so you have the same guarantees that a statically type checked language gives you, plus the ability to program in a duck-type oriented way.
This is exactly what happens when you value grades more than actual skill.

Such things are also happening at my university, we just have some "secret" places (Dropbox, some FTP) where sometimes Exam Material shows up. Nobody knows who does it and nobody says a thing. And even worse, im pretty sure some lecturers are aware of it and accept it silently.
I agree with the other points in here, the website looks cobbled together and untrustworthy. A similar idea to this is made.com - great design, actual images and has experienced great success.
While I wasn't diagnosed with any actual issue, I definitely didn't sleep enough during/after university. I didn't realise this until a few years later I started going to sleep at the same time as my girlfriend. And that was a huge change - like discovering that yes, you can actually wake up before the alarm and not need 5 of them. I got a similar effect too - some crazy intense dreams. It's a great indicator actually - any time I get too tired / go to sleep too late I don't have them. But go to bed around 10pm - I dream a whole story with multiple characters and long enough to make it a crazy movie.

On the other hand, recently I started looking at ways to get rid of dreams... they're just too much if they happen every night.
Sagan's book on the symmetric group is a great introduction to algebraic combinatorics, tracing the combinatorial approach to understanding the representation theory of the symmetric group. For more depth in that direction, Fulton & Harris' 'Representation Theory' builds the connections with Lie groups.

Algebraic combinatorics dances in the intersection of a number of fields of mathematics, where some of the most fundamental and beautiful structures are to be found. I had a relatively large breadth of knowledge coming out of my phd as a result, which I'm pretty happy about.
5. Example - Base Types: Uses uint8 in place of char. This obscures intent and makes code less readable. Compare: int library_fnc(char asterisk errmsg) versus int library_fnc(uint8 asterisk errmsg). (HN wants to turn my asterisks into italics...) In the former it's clear errmsg is a string, in the latter it's not clear (it could be a pointer to a flag).

You can always typedef it if you want it. The point is that naming a basic numeric type "char" is not only confusing, but also wrong in the world that's no longer all ASCII.
"Efforts to end the North Korean nuclear programme without significant changes to their situation are futile. The US should know this by now."

I don't think the US government are so naive as to not know this by now. I think both US\NK have accepted that it's a situation that cannot be easily considered "resolved" so instead each side heats\thaws relations as appropriate to suit their own particular needs at any given time.
First of all, OP can already track other people in the office by observing when they come and go. What's the moral difference between that and checking to see whether they also emit some electronic signal when present?

Second, it's common for workplaces to have cameras and doors with badge access that track this sort of thing already. So it's not like he would be doing anything creepy even if he were the employer.
The article should have the same disclaimer on top as the linked Wikipedia page:

>Not to be confused with Bloom shader effect.

My mind even read the title as:

>Why bloom filters look the way they do
ANNOYING 7 HOUR ROADTRIP (TIME LAPSE)
I recommend the Wi-Fi Privacy Police, a.k.a Pry-Fi : https://github.com/BramBonne/privacypolice
If a nation used a virus to cause a fast spinning centrifuge to violently collapse and spread radioactive material in the near vicinity, or if they sent a unmarked covert drone to blow it up with a precision bomb, is there a marked difference?
So the satellite is not orbiting Earth? What is the advantage of putting the satellite there, as opposed to a regular orbit?
Am I correct that coroutines are intrinsically non-preemptive? If so, I'll need to keep looking.
Ask HN: What do you do when an homeless ask you money?
Simple question. I meet a lot of homeless people here in Paris. My rule is to never give money but food and friendlyness. But I feel like there have to be a better way to deal with it.
I can watch a recorded episode 24 in ca 35 min. Poor Americans, watching series like these on broadcast TV makes you sit through 25 minutes of advertising (and watching US advertising makes me angry, though Americans probably think it's normal). No wonder subscription services have taken off there first.
It isn't just that they are stuffing more ads in. I have noticed a huge spike in what I call "program guide fraud" - networks indicating in the program guide information they provide to cable systems that an episode of a show is new, when it is in fact a rerun. This causes any DVR programmed to record only new episodes of a show to record the rerun, which fraudulently inflates DVR views, which leads to increased ad rates and ratings.

Some shows have taken a slightly less fraudulent, though equally frustrating, approach. 60 Minutes remixes old segments into "new" shows, but the only thing new about them is the order in which the segments appear, along with a total of maybe a minute in added commentary or updates on the segments. Whenever you hear "as we first reported..." at the beginning of a segment, that's a remixed segment. Nightline has also been remixing old segments into most of their "new" shows over the summer.

TV is dying, and the networks are turning to fraud and annoyance to try to save themselves. I can't imagine that it will work.
12 months is extreme. But it's extreme for both sides.
In the project I'm working on right now, there are 277,617 lines of C (using gcc extensions). The incremental path either compiles all of that directly, or we rewrite it. There's hardly any middle ground, and actually rewriting it isn't a realistic option either.

(For comparison the same project has 63,972 lines of OCaml and 31,605 lines of Perl)
Does anyone know why they decided to go with just a 4 megapixel camera?

I guess they could settle for taking more narrow images and recombining later but it seems better to take one image and crop if they are just interested in small parts.

Plus you have the option for digital zoom.
The current HTTP server is pretty fast. Did you try compiling/running your program with the `--release` flag? It's explained a bit here:

http://crystal-lang.org/docs/using_the_compiler/index.html

Crystal is faster than Go in some cases (mostly because we use LLVM and it optimizes really well), but right now Go has faster context switches between goroutines (in our case fibers) and in general faster concurrency (for example it distributes the goroutines across multiple threads, we are using one for now). But improving these is definitely on our roadmap and should be doable.

More good news is that we are using Boehm GC and didn't spend a lot of time optimizing on our side (rather than just relying on LLVM), so a custom GC and more optimizations (like maybe escape analysis) could improve performance even more.
Moon is tidally locked to Earth, which is interesting. How long will this last? How long has this been going on? Does this happen to all satellites in all planets?

Another question: is the Moon orbiting plane aligned with the Earth rotation axis? Why or why not?