skysight-inc/HackerNews huggingface dataset:
Do you live within commuting distance to a city that has more opportunities for the type of technologies you want to use? If so, what I've found is that a vast number more companies are open to part-time remote than full-time remote. You might have more luck if you widen your parameters there. If not then there are definitely full-time remote positions out there. They are just harder to find.

Also I would look for positions with a well-funded startup or a small company (opposed to a large company). They are the best bet for getting to use cutting edge technologies while also allowing remote work, in my experience.
Does your Share and Sync handle global file locking and versioning?
Its interesting, like my comment to the OP states I have been on both sides and prefer non-microsoft overall. But that said, I really did get excited with the recent announcements from Microsoft because I like C# and the productivity of the .NET framework just not the environments it limits me to. So I will be anxious to see if Microsoft does truly make/allow .NET to run on OSX and Linux reliably without it being a pain in the ass for developers or clients. I am skeptical but hopeful.
I wonder if they block Tor.
If they're both your companies, why would it matter?
I like how any questioning of Google's integrity is being shamelessly downvoted here.
The problem isn't notation in itself; it's rarely used and non-self-explanatory notation that's a problem. You can achieve the same with words by inventing your own words and demanding that everyone learn them to understand you.
Google Offering 24 Hours of Inbox Invites on the Day of Outlook’s iOS Launch
I have a PS4 devkit on my desk. Basically you develop in Visual Studio like you would normally, press run and the application gets deployed to the PS4 over lan - debugger also attaches remotely. So from the programmers point of view you don't even care that your code is running over the network. In fact, I have worked with Wii/WiiU/PS3/PS4/X360/XOne devkits and you can always deploy remotely through lan - with the only exception being the Wii, which used 3 USB cables at once for deployment and debugging.
> Do you find the auto-call feature to be a distraction sometimes? How does that work exactly? I wouldn't want my phone to randomly start dialing a listing it matches without myself taking a look through it first.

A cool feature would be to text you first, and if you respond with yes, then the call is initiated.
Networks Reveal the Connections of Disease
The Pomegranate Architect
It probably won't even replace the vast tedium of researching West/Lexis for a while, but it might replace the "attorneys" that West/Lexis employ to summarize and tag articles w/ metadata. There is a ton of humanhours put into West/Lexis databases. They aren't just keyword searches.
FAA public service announcement, “No Drone Zone”
https://www.fancyhands.com/
The problem with ascribing dollar values to data (a.k.a. facts) is that you can make up a million untestable hypotheses about how data could theoretically have worth. To give an extreme but illustrative example: let's say that by typing this comment to you, I raise the temperature in my router by a millionth of a degree, which alters the wind pattern in my room, which causes butterfly to flap its wings, which... you get the point.. causes a hurricane in some remote part of the world. Does this make the "expected value" of my comment negative billions of dollars?

You can back this argument out to less extreme versions and see that it's very difficult to economically value a fact. E.g. what if the traders named in this article had 100X the capital on the line for the same trade. Is the data now 100X more valuable because of the added economic value they derived from it? What if their trade netted them more than the change in market cap?
Interesting, IRAC sounds a lot like SOAP (subjective, objective, assessment, plan) notes used in medicine.
Damn, great find!

I love reading articles like that, they really teach you what not to do! :)
I don't dispute that there was some collusion or collaboration, but at the same time, I don't condemn people on an incomplete pictures. Period.

For all we know, PRISM was more-or-less a euphemism for "we had a shallow collaboration that we used to pivot into a larger compromise of their networks".

Conversely, I'm going to have to agree with 'tptacek and his (probably not popular) opinion on Google and their influence on privacy and security at large.

https://news.ycombinator.com/item?id=8949256

So I stand by my decision to not condemn them until we learn more about the nature of their collaboration with the NSA's plot to deteriorate human rights the world over. Not because I love Google and think they can do no evil, but because I believe in charitable debate and skeptical inquiry.
http://www.augur.net/#what-we-do

http://www.truthcoin.info/

:)
I ask you to think, for just a moment, how your outlook would change if you were to witness something that's not readily explainable.

I suspect that his passion on the issue was inspired by an experience. I have known a couple of people who saw things that defy explanation and you pretty much can't make them shut up about it.

I'm not screaming ERRMUHGERD ALIENS! I'm just saying that many people see things that defy the mundane explanations of passenger aircraft, birds, swamp gas and the planet Venus. It's perfectly normal for someone who has had such an experience to be interested in the subject matter.

To quote Donald Rumsfeld, "Absence of evidence is not evidence of absence".

I consider myself to be an open-minded skeptic.

I'm in the "Hey Stan, did you find that proof yet? No. OK. I'll be over here, let me know if you find it" camp.
If you're a fan of Abbott and Costello, and you believe someone might ask you for your password, try this one:

"I always forget, so I wrote it down."

A: What's your password?

B: "I always forget, so I wrote it down."

A: Where?

B: Where what?

A: Where did you write down your password?

B: I don't write down my password.

A: You just told me you did!

B: Why would I do that?

A: Because I was asking you for your password.

B: And I gave it to you.

A: Did you, or did you not, forget your password?

B: No.

A: So let's have it.

B: "I always forget, so I wrote it down."

A: Do you... ah... need to search your pockets?

B: Why?

A: To help you remember.

B: Remember what?

A: Your password.

B: No. It's very distinctive. I always remember it.
Non-insiders doing above-board research also don't have perverse incentives; they can't profit from selling intelligence on their own screwups (accidental or otherwise)
Very interesting, thanks (and to the other sibling poster).

> Tom's TLA+ version was closing in on 200 pages, available at [snip]

This is one of those things that I forgot to mention, namely the sheer amount of ambient knowledge we have embedded in our (not our computer's!) background knowledge of math and logical reasoning. Of course, sometimes we're actually wrong, so maybe we could stand a little double-checking by computer-based proof assistants, but I digress...

One thing that's also been mentioned in previous discussions I've been involved in and which is slightly worrying is that these kinds of languages tend to be quite anti-modular in that the proofs required for one type of system often don't transfer very well to other types of systems. (In general "algebra" proofs should probably transfer pretty well, but we're usually interested in very specific proofs for our systems.)

Aside: I wonder if Russel & Whiteheads's classic 1+1 proof has yet been (computer-)formalized?

EDIT: Russel & Whitehead
Hacking of Notepad++ site
You don't have to be doing appellate level research to have a need for pulling tons of caselaw.

I doubt much of that has been actually outsourced.

But its just not a huge part of the junior associate responsibilities. It is probably 1/10th or less of the job.
Thank you, Teehan+Lax
Uptown Funk LipDub UWO
for better or for worse, the establishment of decentralized prediction markets will essentially make insider trading laws moot. Who cares if you can't bet on the original market when you have another unregulated market where you can bet on the veracity of the first?

http://www.augur.net/#what-we-do

http://www.truthcoin.info/
There are thousands and thousands of FOSS projects. I'm sorry to hear your particular experience sucked, but painting them all with the same brush is to say the least over generalizing. Do your complaints apply to LibreOffice? Are they Linus-esque in their arrogance when being suggested improvements?

Which project was it you were treated this way on? I've had some great experiences with FOSS.
Show HN: An SSL certificate chain resolver
The blog rambles and disables native scrolling. It's not worth your time reading it.
Visually and aurally that movie was astounding. Story and pacing felt a little disjointed though.

One of the few times I think I prefer watching the trailer to the movie.

https://www.youtube.com/watch?v=Q1ertVYn750
How very antidisestablishmentarianist of you.

(Sorry,
I tried to resist,
but I could not.)
Definitely in Orange County. I can host in Laguna Beach. :)
> For Netflix, the interface can only get in the way.

I would argue that for most apps, the interface can only get in the way - Facebook included.
It's not a zero-sum game if the effects are a disincentive to invest on the part of parties without strong connections to insiders.
It would be possible, but it's illegal to do so in the US with stocks.
There definitely isn't anything in the guidelines pointing towards either behaviour. I totally respect PG's opinion on it. I find though that HN fosters better discussion that other sites because unpopular opinions are just down votes - they're debated and not hidden. I could just let it happen but hopefully by contributing my thoughts on it those who down vote for disagreement will change.
Is 'tomorrows' video online yet? Can't seem to find it, or has it not been tomorrow yet? :)
Those fields are tiny compared to software development, so I guess I'm willing to believe (a) that there isn't enough social impetus to correct them and (b) whatever biased CS is probably very similar to what biased those STEM fields that have the same problem as CS.

Results from unbiased work-sample aptitude tests would influence my views. But they wouldn't influence the views of the "pro-gap" faction; I expect the results would be explained away as "well of course that cohort of women captured by your sample does well on the test; it's all the other women that have the problem."

Anyways, I'd pay attention to that, because: the biggest fallacy I see in arguments that suggest the gender gap is benign is the notion that it attributable to intrinsic differences in intellectual attributes between males and females; when people attempt to explain those differences, they appear not to connect to software development in any but the most naive, high-school guidance counsellor kinds of ways.

My sensitivity to that fallacy has, like, the inverse vector of what I think yours is: I started my career with a huge deficit in math (my worst subject in high school, which is where my formal education stopped), but was successful regardless, and not because I plugged form fields into databases: after doing somewhat interesting systems programming for an ISP as a network admin, my first real dev job was compiler-theoretic. So I'm automatically suspicious of the belief that software development is closely tied to math aptitude.
Running on iPhone 5 with iOS7 seeing a weird issue where only about the top third of the photo is rendering.

Works fine when rendering with colors.

Anyone else seen something like this?
http://www.slate.com/blogs/moneybox/2014/04/27/radiumone_fir...

http://recode.net/2014/05/26/rap-genius-co-founder-moghadam-...
New programming language for fast simulations
As you rightly point out, the more correct solution is of course to use unsafe.Sizeof()
Thank you so much for writing this amazingly inspirational article. You have so much to offer to sighted coders. Reading about your experience almost makes me wonder how much better all software would be if by some fluke of history we would have never invented visual representations of code, and we were all required to write code just like you do. It seems to me that like all the important abstractions of software engineering take on a much higher priority when you can't rely on your sight to make sense of the mess. "Less is more" indeed!

Please keep sharing your experience with the community, I think your input can bring about more benefits to sighted developers than you may have realized.
Well well well! I guess it's time to put on back my GO hat.

Thanks for sharing Jeff! As usual good stuff.
This book actually teaches C in relationship to previous assumed knowledge of Standard ML (not quite OCaml, but close).

http://eprints.eemcs.utwente.nl/1077/02/book.pdf

I'm not sure I agree with all of the conventions, but it's interesting to see a deliberately functional approach applied to C code.
4 Things I've Learned from a Year of Unemployment
Well somebody had the choice.
Sure that's fine. It's definitely not part of the guidelines (as you said) but I think it's also fine for me to advocate what I think leads to better discussions. It's one of the reasons I enjoy HN. Unlike other sites there is less hive mind. Unpopular opinions are debated rather than just hidden.
What about:

http://wiki.inkscape.org/wiki/index.php/CompilingMacOsX#Comp...
Building and Testing Resilient Ruby on Rails Applications
Thought this community might like this since the big Patch.com 'scandal' last year was so hot last year on HN.
Why would anyone who does not have access to insider information participate in an unregulated market when you have easy access to a regulated one?
The Female Casting of the ‘Ghostbusters’ Reboot Is a Brilliant Financial Move
Interesting to try a directionally-biased blur filter, which produces an out-of-focus effect but only in that dimension. For instance, put 0.5 in the left and right cells, or the top and bottom cells, with 0 everywhere else.
Interestingly, he was unable to understand the incompatibility between religion and science (including his own fundamentalist beliefs), arguing rather weakly that they are both part of the same thing. One wonders why he ever bothered to do a single experiment.

To someone downvoting - don't you find it interesting that someone so brilliant can have such difficulty with simple concepts even a child can grasp?
I once had an interesting discussion with a tech-savvy criminal attorney about whether security researchers could trade public equities using early indicators of compromise or private knowledge of 0-day (gained from outside the company, not under NDA). She thought about it a bit and said "The insider trading laws are so broad that if the US Attorney didn't like it they would make it illegal, and if you had talked to anybody about it they would go down for conspiracy."

My interactions with the criminal legal system as an expert witness since then have only reinforced my belief in Harry Silverglate's axiom that pretty much every US adult is merely an un-indicted Federal felon living their lives at the mercy of the thousands of AUSAs who could plunge them into a living hell.
Office everywhere: More great news for Office on iOS and Android
Soderbergh recently did a recut of 2001 to make it less 'obvious'...
Final Cut Pro X literally has an effect called "Teal and Orange": https://www.dropbox.com/s/kdbub5jctmn4lqh/Screenshot%202015-...

I applied it to one of my (totally amateur) drone videos (https://vimeo.com/95716566) and thought it looked kind of "good", now I know why.
This is all a little bizarre, as these are my two favourite colours, especially in combination. As a teenager getting to paint my walls my own colours for the first time, I chose orange walls with blue trim. I had not idea it was so prevalent in movie-making!
So, you mean you have never seen an argument with data? or you didn't believe the data was real?

I mean, most people just don't take time to post all the evidence they have acquired in short posts.

You post all of these are false, yet you post no data either. I'm not saying you are wrong, I'm just pointing out that if you are reading blogs and message posts they don't often come with evidence.

One of the key criteria for effective debating is to first attempt to convince yourself of the opponents argument by researching it from their perspective. Actually seek out the evidence to prove their point. What you will often discover if you have never done this is that reality often lies somewhere in between where you started and where they are. But by being able to have dialog from a mutual understanding of concerns you as well as your debater can likely reach a greater understanding of truth wherever it may lie.

Bottom line, if you can appear more knowledgeable of their perspective, they are more likely to listen to what you have to say.
New “Prepose” Scripting Langauge for Kinect 2 from Microsoft Research
> We cross compile to Objective-C with j2objc, and cross-compile to JS via GWT, the data binding, controllers, are shared code on all platforms that run full speed native, while the UI templating language on each platform is platform native (e.g. angular directives directly in Android XML files)

Honestly, this sounds like quite a technical achievement, but...

WHY? WHY? Why... are we still forced to go through these extraordinary lengths just to get pictures and interaction on a screen?
Because when you deal with complex code react make it easier to read and as said in the talk more confident when making changes. On a large codebase we all know that you have to be a good JS dev to keep it well organized well readable etc...
Freedom of speech, blah, blah. Zuckerberg is a lier, he should be a politician.
This is great! I can now unify a lot of my workflow and not have to use ruby as a glue layer between applications and operations. It's great to see the Go ecosystem improving! I think in a few years, it may become the defacto tool of systems programmers.
However, even though Joe Schmoe cannot process all of the facts, he can have at least some confidence that the (considerably large) network of sophisticated professional investors competing with eachother have done the research, have made their plays, and as a result the intelligence has already been priced into the stock.

Unlike the case where a very small group of investors privy to truly secret information can collude to keep the secret information out of the stock price, to their eventual gain.
Beautiful. I bet you could get some very nice results if you use a Voronoi diagram using the color gradient as distance function. Even better if you chose points not randomly, but based on the slope of this distance, so they're concentrated in "feature points".
Apologies, I would not interpret receiving my post back to me in the same way (I do not think, I usually read my posts back to myself and pretend I am talking to myself to try to understand how another person may take it, which I realize is fairly biased given my potentially unique perspective on reality). Human socialization is very difficult for me.

I don't like psychology.
SpotifyX – Do not hear again Spotify ads (Spanish)
> They're also used in machine learning for 'feature extraction'... In this context the process is referred to more generally as "convolution"

It's referred to as "convolution" in the image processing community too.
Autodesk Inventor uses the Ribbon, and it makes doing 3D CAD extraordinarily intuitive.

I think the sibling comment is right---the ribbon makes a lot of sense when you have tons and tons of commands.
Since we're going off topic, I thought this was a pretty funny treatment of the ellipsis http://www.themillions.com/2014/01/dumbest-thing-ever-scribb...
If you don't value design you're incompetent as a developer. Why would you even contribute to a project if you don't want what's best for the project?
HTML Text to PDF with Beautiful Soup and Xtopdf
Oh man I am working on a very similar app, you beat me to it. :)
It's not going to be displacing low-level programming any time soon, unless radical changes are in store for 2.x and beyond, hypothetically.

That said, I can see it becoming a standard for daemons, utilities and low-level userspace in general due to its rather excellent POSIX and syscall support. I really find the (present) lack of this to be Rust's main deficiency, though the third-party crates are slowly picking up with bindings for things like prctl(), epoll() and so on.

EDIT: Why the downvotes? Rob Pike has stated that he regrets attaching the "system programming" label to Go, since he never intended it for OS kernels and the like. If it's about me being wrong on Rust's POSIX bindings or Go's suitability for daemons, do prove me wrong.
Really awesome stuff! I think there's a very minor bug in which missing pixels are treated as black, which is what adds a black border around the output image in the second example.
Cyberselfish 15 years after
The article has nothing to do with Coq:

> When I saw the title of the talk, I assumed Lamport would be talking about computer proof checking programs or even a proof creating program like the one Timothy Gowers has worked on and written about. But Lamport’s advice was much more down-to-earth.
People upvote what they find interesting. I don't own a PS4 and I'm never going to write code for it. I find this interesting because it is a good example of the value of upstreaming patches. The next time I give a talk about open source, maybe this is one of the examples I cite because the PS4 is something everyone knows.
Couldn't this kind of thing be easily solved by having companies release sales data more frequently? It seems like the only reason this is profitable is because earnings are released quarterly, so there's opportunity for the stocks to become wildly mis-priced over those months.

What would the downside be for releasing earnings data daily, or even weekly or monthly?
Thank you so much for the link to learning ally. That is going to solve so many problems for my wife. We've been searching for audio versions of some of the text books they have listed there for months.
Probably very similar. It's designed to make lawyers think methodically about a problem to avoid errors of logic and construction.
E-mail money transfer system to Europe
The thing that bugs me most is the asymmetry. I don't think the location of every person everywhere being public is really that scary. But that means lots of things. For one, the spouse fleeing from the abusive partner - scary situation, but full tracking enables actually enforcing "stay this far away" court orders.

it's easier to rob banks when you know how long it will take for the police to get there, it's impossible to deny you were at the bank at the time.

I realize it's risky to tell our enemies where our generals, senators and president are, but if the accessibility isn't total the information pretty much instantly becomes a tool for tyranny.
Closer to Van Eyck: Rediscovering the Ghent Altarpiece
So, sexism cuts all the way down to the bone of our daily interpersonal interactions. It creates the whole jock / nerd divide. It creates the difference between the hot cheerleaders and the normal girls.

I'm not really clear on how such divisions emerges from sexism. At its root, it seems to come from primate status competition, within separate groups that happen to be divided out by sex.

Among the boys, the jocks are those who prioritize sports and physical achievement, while the nerds are those who prioritize academics and mental achievement. This divide persists even in the absence of females - for example, all-boys schools still have aggressive athletes and quiet, bookish introverts, regardless of the presence or absence of the opposite sex.

If anything, the thing you're describing as patriarchy and/or sexism is the effect, rather than the cause.
Securing the Web
Speaking of expensive placebos, how is selling oscillococcinum legal? I can't imagine how many well-intended people mistakenly buy these sugar pills believing it is efficacious medicine.