skysight-inc/HackerNews huggingface dataset:
Unit annotation is F#'s secret killer feature.

I did a small video game in F# using unit annotation and was shocked at the number of bugs that unit annotation picks up at compile time.

If you work with a lot of unit conversions (pixels, inches, whatever), I highly recommend giving F# a shot on a small project.

Unit annotation + access to the .NET ecosystem has made this language a personal favorite for any project heavy with numbers.
Does prompting help retrieval? Like if someone shows you a picture or reminds you of an event?
Yes, but the inverse is not true: what benefits oneself doesn't necessarily benefit the broader public. And that's what matters when looking at individual behaviors.
Molecular biology: How to determine a protein’s shape
Pixels/second aren't a very useful metric when speaking about CPU performance. Your comparison seems to show that CPU performance might be much more important than GPU perf for VR.

Also, you're correct that GPU's can play all sorts of tricks to get multiple projected views for low CPU-overhead. But that is with significant software support. Otherwise VR will have to build twice the amount of framebuffers/frame as a single view game.
Uber Driver Assaulted and Left Unconscious by Passenger, Arrest Made
I don't think the iOS app can backup to Google Photos, but in any case, no.

All my photos are on both iCloud, and Google Photos. That's every single picture, including the ones I snap now that get automatically synced on both iCloud Photos and Google Photos.
https://brandfox.io - It's awesome because it lets Instagram users leverage a resource that does nothing other than gather likes. It's also awesome because it lets brands advertise using authentic images and compare/purchase influencers.
It is worth noting that while social media represents a significant threat to ordinary travelers, the potential for significant harm through indirect leaks exists through retained professionals as well.

In fact, this situation might even be worse for those passing through the Canadian border.
Please see:
http://www.canada-usblog.com/2017/02/03/what-canadians-shoul...

& the linked: http://www.lexsage.com/documents/Border%20Searches%20of%20El...
Some of them will have, but not all. Shorting a stock gets expensive. Anyone making a bet that Tesla will run out of cash and wipe out its equity are probably still loosing.

"Short sellers who believe shares of are due for an imminent decline are paying a hefty price to place their bets, with some shelling out what amounts to an annualized cost of between 90% and 120%"
http://blogs.wsj.com/moneybeat/2016/09/22/teslas-short-selle...
I would say moving to Toronto where my work is. Right now my commute is ~4 hours everyday so I don't get time to do anything apart from gym once I get back home. Good news is I'm moving in 2 months, bad news is I barely know anyone in Toronto and have great friends where I live currently.
I'm really looking forward to VS2017 update 1. I've been following the activity in the visualfsharp github repo and some of the new Roslyn based tooling looks fantastic (albeit with alot of churn at the moment).

F# has always had good tooling 'for a functional language' but it looks like we're getting close to good tooling period.
AMD's failure was mostly caused by (1) Intel's anticompetitive tactics starving them of revenue (2) Barcelona delayed many months by TLB bug and (3) clever yet bad Bulldozer design. All of these are now gone so AMD is back.
History is full of people making ridiculous claims like this. Years ago no one would have imagined that anyone would work in a society like ours, where extraordinary efficient agriculture means everyone can eat. But people still work, because things like better healthcare and iPhones have a cost.

Human wants will expand to fill humankind's greater productive output, just as it has in the past. So I do "get it." I just think you're wrong.
Netflix uses another companies infrastructure (AWS), and I'd suspect another company for source control.

Most of the world is doing this now. It's cheaper, easier and in most cases more secure.
A pentagon is absolutely a circle - for sufficiently large values of five.
I think i get your point, but tech losses seem to be associated with cultural collapse or exhaustion of a special resource. Roman concrete, Greek fire, and vanadium steel might be more illustrative choices.

I don't think the Egyptians used magic, perhaps they knew a trick or two we don't know about, i don't think there's any writing left about the construction techniques.
Thing is that putting together short helpers for the "nasty" bits often revolve around 1 line helpers.

You can do so along the way without focusing so much on doing idiomatic FP and achieve both pragmatic and palatable results.

Designing solutions with the type system enabled by F# and it's ability to interop with whole .NET ecosystem is really a powerful combination.
> Its a lot more predictable than "requests", especially if the target population is something like adult citizens and legal permanent residents.

In that case it would basically just be removing all welfare and giving everyone a tax-cut.
Thiel wrote a book 22 years ago under his college years. So what? He later retreated that position and apologized. I consider it a good thing when people discuss sensitive topics.

It's pointless to discuss what Thiel said or not about apartheid, since the allegations are purely anecdotal.

Calm down your paranoia.

Edit: I want to point out that in the country where I currently reside, this is a very natural discussion [1]

[1] https://morgenbladet.no/2016/08/elin-orjasaeter-voldtekt-og-...
Since let's encrypt gives a certificate to anyone who can make DNS temporarily resolve to them, it seems like the most plausible answer is that someone managed to send spoofed DNS responses to let's encrypt.
Humble Book Bundles are digital only, so that's the same thing that they're selling.
That's why I posted it, I'm trying to get the context. Waffle has some great programming related blog posts.
StarShot [1] is gunning for 20% of the speed of light. At that speed, it would take a couple hundred years.

[1] https://breakthroughinitiatives.org/Initiative/3
Your posts here have been pretty disparaging toward the scientific community. The scientific community does have problems with groupthink and cognitive biases, but it also has to contend with a flood of people who passionately defend idiosyncratic ideas without appearing to appreciate what counts as a scientific theory or scientific evidence. Every scientist and other technical domain expert has encountered dozens or hundreds of people offering the secret of why science is totally on the wrong track. (I don't work in physics or climate science, but I've experienced this in cryptography and number theory, which do relate to my job.)

In order to be taken seriously, I'd suggest that novel physical theories should accurately use existing technical vocabulary and notation (and define and explain the motivation for any new vocabulary), be expressed in quantitative terms, not pick a fight with the scientific community or impugn its good faith or intelligence, and hopefully make empirical, testable predictions (including better-explaining observations compared to existing theories).
Not having a degree, this was of the biggest issues I didn't know I didn't know. I encountered it after about 6 years on the Job.

I landed a role in a blue chip and had get a great boss who taught me the foundational theory I was missing.

I didn't ask him to, per-se, but I think he just sensed I needed it.

It made a huge difference to me as a developer. So I do agree, foundational knowledge is kind of a big deal.
https://play.google.com/store/apps/details?id=com.dotemu.lba
For just looking at titles on the front page, here's a one-liner in Powershell that scrapes every 60 seconds, and emails you:

While ($True) {If ((iwr https://news.ycombinator.com).content.split('", ') | select-string "YourBrand") {Send-MailMessage -from i@i.com -to example@example.com -server MySmtpServer.example.com -subject "YourBrand was mentioned on the front page of HN!"}; Sleep 60}
Exercise and Proper eating. Common sense, right? Yet, so many of us find it hard.

I've lost more than 8kgs in the last 3 months and I feel great. I was never overweight to begin with but still I feel so much happier overall. I don't think drugs can do what 1 hour of exercise daily does to your mood and energy.

Plus losing weight has it's own benefits. Once you shed those extra pounds you feel like you've been carrying a laptop bag or something on your back all the time before.
Unless they shorted it in the morning and closed out their position by the end of the day it's highly unlikely they made money on it.
Of course you'll check the context too. But the same is also true for "{" occurs in many places with different meaning -- in struts, inside text strings, in interfaces (in Go), etc.

Besides it's not the \t that you need to find as a marker for e.g. scope start. Python has "def xxx():" for example, so you see that and you know you're in a function declaration scope, same way function (xxx) { in C works.

After you see that you only need to keep track of \t or " " in the beginning of lines (before any other character) to know whether you're still in the same scope or not. That's why you can't just have arbitrary whitespace count in Python lines, but you need to maintain the same "indent" in the same scope.
What if the phone can be put into "suck mode" that just makes it completely infuriating to get any information from for a while after you've flown a long distance in a plane?

Sure, you can open Facebook and stare at a loading icon until you give up. You can go to a profile page and see images that are failing to load. At some point you're going to stop wasting everyone's time.

The reason this is better than just a "trip mode" is that it's so banally realistic. Of note: because of the weirdness of connecting to cell networks after having moved thousands of miles in airplane mode, most phones I've owned already do this to some extent.
More specifically, if anything truly weird is going on, hopefully Squarespare abuse/network operations would cooperate to investigate who had that IP at that particular point in time.

NetRange: 198.185.159.0 - 198.185.159.255
CIDR: 198.185.159.0/24
NetName: SQUARESPACE
NetHandle: NET-198-185-159-0-1
Parent: NET198 (NET-198-0-0-0-0)
NetType: Direct Assignment
OriginAS: AS53831
Organization: Squarespace, Inc. (SQUAR-30)
RegDate: 2013-01-15
Updated: 2013-01-15
Comment: http://www.squarespace.com
Ref: https://whois.arin.net/rest/net/NET-198-185-159-0-1

OrgName: Squarespace, Inc.
OrgId: SQUAR-30
Address: 225 Varick St
City: New York
StateProv: NY
PostalCode: 10014
Country: US
RegDate: 2012-04-26
Updated: 2017-01-04
Comment: https://squarespace.com
Ref: https://whois.arin.net/rest/org/SQUAR-30

OrgNOCHandle: SYSTE409-ARIN
OrgNOCName: Systems
OrgNOCPhone: +1-347-758-4644
OrgNOCEmail: systems-net@squarespace.com
OrgNOCRef: https://whois.arin.net/rest/poc/SYSTE409-ARIN

OrgTechHandle: SYSTE409-ARIN
OrgTechName: Systems
OrgTechPhone: +1-347-758-4644
OrgTechEmail: systems-net@squarespace.com
OrgTechRef: https://whois.arin.net/rest/poc/SYSTE409-ARIN

OrgAbuseHandle: ABUSE5803-ARIN
OrgAbuseName: Abuse
OrgAbusePhone: +1-347-758-4644
OrgAbuseEmail: abuse-network@squarespace.com
OrgAbuseRef: https://whois.arin.net/rest/poc/ABUSE5803-ARIN
Another kitchen object that rocks is the upright mixer.

Apparently they are fairly robust inside as well:

https://www.youtube.com/watch?v=zZwe-H5UnGk
Good question!

The main differentiator might be that our platform is more open compared to Buddybuild's enclosed ecosystem approach. That means we allow much more customizability while having the same, fast initial project setup. Bitrise grows with the community, both by helping each other and developing extensions, like new steps/integrations and other tools.

We feel that Buddybuild is great for smaller projects, but Bitrise can provide more for more complex apps with more rigorous development cycles and needs, which is the feedback we get back from these type of companies as well.

We also have Xamarin support, which may or may not be interesting for you.
Well, if you don't want to overflow then rather than summing all the numbers first and subtracting a single time from (n(n+1) / 2) at the end, you can subtract numbers one at a time from 1..n and end up with the same result. In order to make sure you don't overflow you have to tend toward zero, subtracting large numbers when your running sum gets large and small ones when it's small.

Here, I coded this for you - http://codepad.org/kdqoLXFA (scroll down for the output! it's not just a pastebin but runs it for you). As you can see my code contains tests at the end to show it's working, but not a robust testing class because it's a brittle piece of shit. I don't even want to know what it would do with input that doesn't meet its promises.

I also Googled this and an alternative (that admittedly I did not think of) given such tight restraints is to keep a running bitwise xor of your elements, and also bitwise xor'ing in (1..n) similar to the above - then you don't need to do it from a head and a tail, at the end rather than a difference you just end up with the missing number. This is probably superior to what I just coded.

But both algorithms are really stupid and really brittle. Sorting is fast and there is no reason not to do it that way.
(Sorry, I'm getting tired; it's well past my bed time here. Only replying to one of your points.)

> There is a big incentive for both the EU and, in a lesser degree, the US, to have the Olympics fixed in Greece,

I think you have misunderstood the current dynamics in the EU. There would be a very, very, very big resistance towards giving Greece a gift like that, after their giant national financial fraud towards the rest of the EU during the past decade.
I hear what you're saying, but we've got elastic search in Terraform as a module, and you dare not make mods to an existing cluster; Terraform will dutifully tear that cluster down depending on the changes you make (I mean, sure, use a "plan" first, but still).
I'm not sure if your error is in the number or in the words, but the number you wrote down is 10 trillion dollars.
As the author of a http library (lua-http https://github.com/daurnimator/lua-http) that doesn't, I'm interested in how you'd want retries (not to mention exponential backoffs) to work:

- Should they be the default?

- What requests should be retried? (as much as we wish GETs were idempotent... they're not) see https://lists.w3.org/Archives/Public/ietf-http-wg/2017JanMar... for an intro to the complexities here

- What should get reused? (e.g. do new dns lookup? reuse connection? reuse proxy connection?)

- How to handle non-replayable pieces? (e.g. request bodys coming from a fifo)

- Usually a request has a timeout/deadline. should it be restarted for the retry? (probably not)

I haven't implemented retries yet, as the above questions seem hard to answer without knowing application/server specific qualities (and hence should be left to the user of the http library). Please feel free to file an issue :)
Show HN: PATSR: A simple social media site based on anonymity, tags, and sharing
It became easier recently with droping a dependency on libgdiplus.

IIRC you just need to install mono, python, jupyter and ifsharp: https://github.com/fsprojects/IfSharp

All but last one should be on brew, for last one, you should be able to build it out of box with mono installed.

Don't hesitate to report issue on the repository if that fails.
I would assume that it is likely that anyone doing statistical analysis with python would have numpy and pandas installed prior. Has your experience indicated otherwise?
I think it's pretty obvious. The Romans had a continent-spanning civilization, with trade routes, aquaducts, roads, and elaborate concrete buildings and structures, and their civilization collapsed. It took over 1000 years to get back to the level of civilization the Romans had.

That's what we have in store for us.
It's a bit more precise to say that they use a Condorcet method. There are lots of different vote-counting systems that are Condorcet methods; the one they use is particularly refined:

https://en.wikipedia.org/wiki/Schulze_method
The acronym stands for 'Post Anonymously, Tag, Share, Search, Save, Repeat' - but saying PATSR sounds much cooler.
It is open source too! (GPL V3.0) https://github.com/jpwall/patsr
Feel free to test it out with whatever post[s] you like, comment here for feedback, or even some pull requests if contributing ever interests you!
This was created mainly as an exercise in mongodb, node.js, and express. I decided to publish it online recently as well.
There is no client-side JS.
Here’s What You Missed at BSidesSF 2017
Hey! Really cool product. Is this compatible with cordova/phonegap build apps?
Also the non-GAAP numbers can give a more accurate impression of how the company is doing if done sensibly.
This is a useful post. I'm going to nerd out at you though and point out that disabling LKMs doesn't really do anything to disable kernel-resident rootkits; any kernel memory corruption vulnerability can be used to create an ad-hoc module loader.

If you Google for amodload, you can find (uuencoded, in a Bugtraq message --- it's 2017 and I just uudecoded something!) Josh Daymont's old SunOS 4.1.3 modloader hack, which overwrote a kernel socket callback and used socket buffers to hold module text.
No superhero. Collaborates with Trump to get SpaceX contracts. F. him.
Not trolling. I think you either call it African American History month and write stuff about blacks who were descended from American slaves or you call it Black History Month in which case the inclusion of a Barbadan(?) working in Canada makes more sense
Ah, yeah, coding the OAuth2 flow in a new language (vs using an existing library) is tricky, at the very least because OAuth2 itself is complex. The best docs I know for that are here https://developers.google.com/identity/protocols/OAuth2Servi... (we should link to it from the docs of the Cloud APIs).

From a glimpse, what's said there matches what your code is doing, so thanks a lot for sharing it!
I'd prefer that approach too, as I can also document things at the same time as providing type annotations; flow-jsdoc looks interesting, but I don't know how easy it would be to plug into a Babel/Webpack+Babel workflow:

https://github.com/Kegsay/flow-jsdoc
So instead of asking to see your social media account at the border they would be asking to see your email account. How is that better?
Social Media needs a "delete everything older than X days" function.
I wonder if SETI are going to point at it, you know, just incase :)
But it is not his fault, it is all of our faults, yours and mine the whole of society, for letting ourselves get away with getting what our own little spoiled egos demanded... cheap fast instant gratification
Note to mention that Falcon Launches would get significantly cheaper if we have to do 100,000 of them.
Nuts and Bolts of Encryption: A Primer for Policymakers [pdf]
> There is zero reason why you'd ever want an email address you have authed on your phone to handle Facebook/Twitter password resets

There's a really obvious reason: because you need to reset your password while on the go.
I think you probably mean 1600 Pennsylvania Ave. (not Pl.), Washington, D.C.

Though I don't share your assessment that that is a productive place to direct citizen input on this (or any other) issue.
V Programming Language
Concorde may have failed but jet travel is far more common and affordable today than when it was rolled out.
Or, more recently: I've read that we have collectively lost the knowledge and skill necessary to build a piano with a quality comparable to the best ever made. (Wish I had a citation…)
Just to be clear, the bot doesn't get full read access to all channels, right? It can just respond back when called or message a pre-setup person or channel?
Their search appliance (GSA) is being replaced with a cloud search product. I would guess once that is released it will make the GSS product a bit redundant, so it makes sense to discontinue, the timing is a bit strange though...
And as a US citizen, if I want foreign nationals to be deported more easily, I will not help establish the norm.
hacking is a mystery. But when you need to take care of cyber/identity/other internet and hacking related issues. call 19193076946 or mail darkwebssolutions on gmail
>a very large portion of the world's population is being left out of the debate about whether or not we should even be moving down these techno-futuristic paths

>Should we become increasingly reliant on the Internet, to the point at which ones survival is predicated upon their access to it?

No one is forcing the masses at gunpoint to use Facebook and Twitter. No one's even forcing them to use Google Maps; you can still buy paper maps. No one's forcing them to buy smartphones like they're going out of style. The masses are adopting these things all by themselves.

>Should we be dedicating significant resources to inhabiting other planets instead of focusing on maintaining the habitability of our own planet?

The masses are voting for politicians who tell us that there's nothing to worry about with regard to the habitability of this planet.

>Should we be trying to eradicate all disease and are we aware of the ecological and evolutionary consequences of doing so?

No one is forcing you to get vaccinated or to seek medical treatment when you're ill. If you want to let yourself die out due to treatable illness, go right ahead.

> The wealth, influence, and power in the world is shifting rapidly from religious institutions to scientific ones.

Science flies men to the Moon. Religion flies people into buildings.
Why the fuck do you keep talking about cultural norms? "Cultural norms" aren't homogeneous. This cultural norm bullshit you keep spouting is just a way to isolate people from your ideal world that exists in your head. Did you know that some people have different religions? Did you know that some people like macs more than PCs?

My fucking intentions are to get some food. Why are you putting so much value into what is essentially a person who takes food (from a cook, you know, the person responsible for making your food and the actual star of the establishment) and transports it less than a 100 ft radius?
Fitbit reveals it paid $23M to acquire Pebble’s assets
The challenging thing about Melancholia isn't "boredom" but the shaky camera work in the first half of the movie. I turned it off in disgust after 30 minutes or so. No idea why I went back and watched the rest of it, but I'm glad I did. One of those films that sticks with you.
This would make it very difficult to call a Lyft or let your family/friend know you're ready to be picked up.
Awesome stuff guys!
If you're using Webpack is it possible to gradually opt files into TS type checking _without_ having to rename them, since you can specify which filename patterns loaders apply to?
Check out the run up in the last month. People shorting were shorting at under $220-230/share. It's now hovering at $280.

http://blogs.barrons.com/stockstowatchtoday/2017/02/07/tesla...
Thank you for this. Awesome.