skysight-inc/HackerNews huggingface dataset:
Sure, in Haskell 'IO ()' cannot be mapped to the set of natural numbers (within the language).

EDIT: In fact I'd guess any function type A -> B where A is infinite cannot be mapped to the naturals.
10 people in this thread told you that your suggestion will not work yet you choose to ignore that. I think that you aren't quite interested in the solution.
after the reusable falcon heavy and mars colonial transporter…. what will be most important technology to develop or refine for the purpose of mars colony?
Just like the average programmer stereotype... hmmm...
Well that's why they give the months of free rent. When they report the rent roll of the building they just list the monthly, and it's an automatic large effective rent increase built in for the day the initial term expires.
You mean amazing, super-scaled CDN Cloudfront with support for free SSL certificates, S3 bucket origins, API-based invalidations with S3 deployments, and so many more features than I can mention here?

I'm sure you meant that.

Edit: we host all our sites - main site, engineering blog, press kit, and so on using Cloudfront in front of S3, and not only is it all-the-way fast (which we get comment after comment on) but it's cheap as all getout. https://tech.flyclops.com/posts/2016-04-27-flyclops-sites-st...
Static site? Self host from home.
For a static site, need something other than cloudfront?
A discussion of extended attributes, ACLs and security labels (if you want those too) appear to be missing?

These things are a deep dark pit of problems and it isn't entirely unreasonable to just give up on them, but every once in awhile someone tries to do something useful with them so it's at least important to be aware that they exist.
That's not how rent stabilized apartments work.

It's just to report a higher monthly rent roll, for purposes of increasing the value of the building.
I've tried gitlab pages out and love it. I don't understand why I'd pay $9 per month for a static site when there's a myriad options that are free and great :(

Gitlab even automatically builds with any static generator you want and deploys it.
Why do you think they're low-skill workers just because they're doing agriculture? From the article "It takes months to learn the system and you can't just hire part-time workers during the busiest period.".
I would have thought so too. Then you can get your simple deploy by adding your provider to ~/.ssh/config and setting an alias for

scp -R ./public_html sharedhosting:

in your shell rc file .. seems much easier than all this! you can even stick `gulp build && ` at the start of your alias if it so pleases you!

Then again if cloudfront + s3 can indeed come in at under $1 per month then I can see why you'd go down that route. I'd like to see what kind of sites you can host for that cost.
You mean the awful gatekeeper of the Internet that soft-blocks tor and causes problems with legitimate traffic (tor or otherwise) across the world? Yeah, that one.

Edit: As informed, I was confusing cloudfront and cloudflare.
Literally ANY host that gives you an FTP drop works for static sites.

Bluehost

Dreamhost

Namecheap

Godaddy

Mom and Pop's Web Hosting Shop

etc etc

Not sure why such a topic needs more than about 1 paragraph's worth of commentary. Why does this guy needs support for all these fancy features? It's a static site!

Do people simply not pay attention to history? Leave it to the "hackers" to complicate something as simple as static hosting.
I can't talk as fast as I type. Is that 2x figure for some untrained "average user"?

Edit: Yep, looks like I completely missed my estimation of talking speed.
How to Make the Most of Every Solution Interview with Prospects
> That phrase set was explicitly designed for text entry (typing) experiments.

I'm sure that set was designed for <del>typing on full-sized, physical keyboards,</del> not touch-screen mobile devices. (Thanks for the correction!)

Also, even though speech is faster than typing on a touch-screen mobile device, it's a lot easier to correct the errors that inevitably happen via typing.

Sometimes it's impossible to verbally correct errors or enter unrecognized words (or names!).
Linuxserver.io Docker Images
> It is not mathematically possible to have the stock market growing by 4% and GDP growing by 2% ad infinitum

Yes, it is.

First, because there is no necessary mathematical relationship between the aggregate market cap of firms and economic output (future or otherwise). There are rational expectations that can be stated, but those aren't actual constraints, since irrationality is a real thing.

Second, the economic universe from which the stock market draws value is not limited to the domestic economy, so even if there was a constraint based on economic output, it wouldn't be GDP.
Not really. If someone gets into someone else's password manager they can easily get a copy of all usernames and passwords and, if they're quick enough, they can start resetting them / closing them / committing fraud.

So yeah change the password and delete previous versions is a good first step but everything else has already leaked to who knows where.
Recent discussion: https://news.ycombinator.com/item?id=12326201
>The important question is what is the computational complexity of the transformation?

In my view it makes no sense to use metrics from one model on the other. There is no computational complexity involved in the transformations defined in ToP. This is like measuring the computational complexity of a mathematical proof - it has no complexity, it's delcarative.
I wouldn't call using AWS straightforward unless you're a developer. Heck your own tutorial is about 10 pages/screenfuls long.
So, if I were to use this today, would I be able to gather some metrics via iOS or Android player?
Yeah, something that doesn't often block legitimate traffic would be wonderful.

Edit: As informed, I was confusing cloudfront and cloudflare.
Please don't ask these questions... which will solicit these often given answers:

What advice do you have for entrepreneurs?
To reason from first principles rather than by analogy, and to seek out and listen to negative feedback, particularly from friends.

How did you get the idea to start your companies?
When I was in college there were five areas I thought would most affect the future of humanity.
1 Internet 2 sustainable energy 3 space exploration. 4 genetics 5 ai

What is your motivation for starting Space X?
To make life multi planetary to avoid an extinction event, man made (climate change) or natural (asteroid).To make life mult-planetary we need to lower the cost of rocket launches. The key is reusable rockets. Think about airplanes being destroyed after every trip.
They're built correctly, on top of the tiny Alpine image (same image used for most of the official Docker images), and most of these images are for open source projects geared towards self-hosted personal use. I'm having a lot of fun playing with them on an old box.
I do.

I don't turn on 2FA because it's a pain in the ass. I want to like it but the extra annoyance isn't compelling enough for me.
AFAIK you can disable (or rather not enable) the cache(s) and use a simple interrupt scheme in any standard ARM core (at least it's possible on the Raspberry Pi).
CloudFront is good. We use it for large assets. After managing thousands of sites, we realized that it's actually a hassle to manage cache invalidation yourself.

We work with several cloud providers to offer a better experience at the CDN level and manage caches for you. Our CDN also allows proxying end-to-end encrypted connections, so you can use it to host front-end apps and redirect requests to backend servers somewhere else.
How then do you state the Church-Turing thesis? I note that the Wikipedia page claims that Church and Turing themselves used the word "function":

https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis#S...
This post only touches on the theory, not the implementation. I never got around to writing about the implementation as there was some pending churn at the time.
Why it'll take years to study Proxima Centauri b
Remapping caps lock to control is one of the best things I've ever done in terms of configuration (along with switching to a tiling window manager). I'm not even (primarily) an emacs user, but have been a vim user for over a decade. It wasn't even an awkward switch -- it felt natural almost immediately, and I never get any kind of finger or wrist pain anymore. I do it on all of my systems. Here's a cheat sheet:

X11: Stick `setxkbmap -option 'ctrl:swapcaps'` in your ~/.xsession (if using a display manager), ~/.xinitrc (if using startx or xinit), or your startup programs if you're using a fancy-schmancy desktop environment.

Linux vtty: Run `loadkeys emacs.map` (provided it's available in /usr/share/kbd/keymaps/). It's a good idea to stick this in your rc.local or rc.conf.local or whatever the hell the systemd equivalent is.

OpenBSD vtty: Run `kbd us.swapctrlcaps` (there are similar variants for uk and some other keyboards). To make it "permanent", `echo 'us.swapctrlcaps' >/etc/kbdtype`.

OSX / macOS: There's a dropdown menu in the System Preferences under "Keyboard & Mouse".

Windows: You'll need to edit the registry. Follow the instructions here: http://superuser.com/a/916887 .

I don't have info for other systems handy, but it's most likely just a quick Google search away.
DEA Is Placing Kratom and Mitragynine on Schedule 1, Compromises Research
please stop making desktop apps using web technologies :/
On lightningmaps.org yes, you can see the thunder front (if you zoom close enough).
Actually, the whole point of the blog post was that it was a marketing piece -- not a dry research article.
In normal circumstances, money is rarely idle in an account. It is invested into loans and such. The past decade has been at times unusual in that regard though.
Netlify Pages is our free tier that offers a few things that GitLab Pages doesn't offer. For instance, we build merge requests for you and integrate them with commit statuses. So you get a real development workflow for your websites.

Check this blog posts out:
https://www.netlify.com/blog/2016/07/20/introducing-deploy-p...
https://www.netlify.com/blog/2016/08/30/introducing-deploy-c...
I put it up on our blog, but many S3 deployment SaaS operations or even self-hosted solutions will invalidate CDN caches automatically based on files deployed to S3.

We use http://deploybot.com but there are many others.
Google DeepMind and UCLH collaborate on AI-based radiotherapy treatment
A quick glance indicates your tutorial is the right one for me. I'll follow it and update my personal site this weekend and perhaps provide you feedback?
Yeah I'm pretty bummed about this. Are there any similar locally-run apps that make it easy to get graphs from your SQL queries? I've seen a few SaaS apps like Periscope that do similar, but I'm not a fan of letting other companies load up our entire database just to make some graphs.
so why not consider it before dismissing it out of hand

The multiple upvotes I've received for these postings suggest that, yes, I could well be justified dismissing your latest comment out of hand.

And I probably ought to withdraw my apology acceptance, unless someone else has taken over your account for the moment.
Ah, right. But with the caveat that there's not any other control flow. Most UDP-based protocols support either some kind of flow control (e.g. RTP/RTCP) or retransmit (e.g. DNS), and that was my frame of mind. To stop buffer bloat it's important for people to stop implementing hacks that make a peer look more responsive than it actually is. It would be a shame if people got the idea that UDP necessarily meant that lessons of buffer bloat don't apply.

I've also written streaming media services for many years. RTP/RTCP, for example, supports adaptive rate limiting, though few implement it. The RTCP sender and receiver reports signal packet loss and jitter so that the sender can, e.g., dynamically decrease the bitrate. If implemented properly, buffering too many RTP packets can hurt the responsiveness of the dynamic adaptation, which can quickly lead to poorer quality. (Modern codecs help to mitigate this issue, but largely because the creators have spent a lot of time putting more adaptation features into the codecs and the low-level bitstream knowing that software higher up the stack is doing it wrong.)

For DNS, because Linux has a default 65KB (or greater!) buffer on UDP sockets, it's trivial to get huge packet loss when doing bulk asynchronous DNS queries. The application will quickly fill the deep UDP buffer; with the deep buffer the kernel will keep the ethernet NIC frame buffer packed, with the result that you'll see a ton of collisions on the ethernet segment and dropped UDP packets once the responses start rolling in. That results in a substantial fraction of the DNS queries have to retransmit, and because the retransmit intervals are so long, that means a bulk query operation that could have finished in a few seconds or less could take upwards of a minute as the stragglers slowly finish or timeout. Without the deep UDP pipelines, the ethernet segment would be less likely to hit capacity, would see fewer dropped packets, and so the aggregate time for the bulk query operation would be several times less.

Reducing the UDP output buffer is substantially easier than implementing heuristics or gating for ramping up the number of outstanding DNS queries. The latter, if well written, might be more performant, but just doing the former would alleviate most of the problem, allowing you to move on to more important tasks.
I'm from Netlify. The point of the platform is that it's like 9 services in one. With free SSL that is renewed automatically and free hosting of Custom Domains. It also provides a specialized CDN that does Instant Cache Invalidation even while highly cached, atomic deploys, Continuous Delivery, Prerendering, Formhandling, and so much more.
Perhaps you are thinking of static sites being merely tiny sites that have little or no updating, and doesn't need much of a workflow around it, and offers few features.
There are solutions that's great for a small personal blog or a prototype.
But if you are looking to do commercial sites, from smaller sites, to large enterprise sites with hundreds of contributors, multiple languages, and tens of thousands of HTML pages, then a viable and performant workflow is needed. This is what Netlify does. Integrates and automates all the services that goes in to deploying and maintaining a commercial-grade modern static site.
Like these guys: https://github.com/feross/standard, which is permissive to the point it's completely pointless. You can follow it to the letter and still end up with vomit code.
I believe (but do not have a citation) the gender split also occurs here in the UK, where basically nobody has guns.
Readability is shutting down
There are some very reliable ones. C14 is based on isotope ratios and is kind of crap, but uranium-lead dating is much less ambiguous because of chemical differences between uranium and lead.
You are confusing Cloudfront and Cloudflare.
You do realise CloudFront (https://aws.amazon.com/cloudfront/) and CloudFlare (https://www.cloudflare.com/) are not the same?
My Raspberry PI corrupts data if the power goes out unexpectedly. I don't understand why it's used for any non-hobbyist application, at least if using the internal SD card to do a lot of read/write. I got myself a fanless cherry trail based system to replace it. Some guy did a hardware modification to fix his: http://therandomlab.blogspot.com/2014/04/how-i-solved-my-sd-...
I don't understand how that's desirable unless you're some kind of Ted Kaczynski type hermit?
Wow, a lot more PRU interest than I expected. Thanks everyone for the comments! Looking online, I got the impression that hardly anyone was using the PRU. Are there any forums I should visit where PRU programmers hang out?
Here is a factoid for the youngins ... the Internet/Arpanet was created BEFORE the first microprocessor! In fact, Intel was originally founded to make RAM ICs. They only later created the first microprocessor (the 4004)!
Success of companies is highly dependent on perfect timing. Tesla got the timing right, and perfect execution also helped its success. Can the same thing be said about SolarCity? Is the technology and the market ready for solar?
I use nearlyfreespeech for most of my hosting.
If you use Amazon Prime, you also get unlimited AWS cloud drive storage for photos. rclone works well backing up all your photos to Prime.
> Currently it's a syntax on top of OCaml.

Does this just mean it compiles to OCaml?
What about the cotton gin or the sewing machine or the steam engine?
Otherwise called the stampeding herd effect. The way to address this is to introduce a random sleep on the remote servers before the command executes to spread the load.
..that sounds like advertising copy to me. Perhaps you would like to disclose whether you are, in fact, a co-founder of Netlify?
Matt here, also from Mux. Native SDKs are in active development, but aren't quite ready for public consumption yet. Soon!
Based on what I have read about Google's internal services, I don't believe your assertion to be true.
My understanding is that large swamps, like the Everglades would, in fact, shrink and stop being large, stable swamps without alligators. I am not going to try to dig up further supporting links showing that as sediment accumulates, wetlands change.

Your pet alligator failing to terraform your backyard is not evidence that they do not have this impact in the wild. That is like saying "I have seen a single lion in the zoo. I can assure you, they don't hunt in groups."

Anyway, I am done with this discussion. I believe my observation is accurate. If you don't want to believe it, so be it.
that tutorial is pretty awesome, very well written.

Netlify can do everything you explain there by running one single command line. Check this video out: https://www.youtube.com/watch?v=IfFenanuRnc&feature=youtu.be
How Russia Often Benefits When Julian Assange Reveals the West’s Secrets
The Real Reason We Don't Build in Palo Alto
I don't use it, I just complain about it and use Sublime instead :D
That's not exactly how it works. Professors can use grant money to buy out of teaching; they are not forfeiting their base salary. That money will be (indirectly) used to fund other instructors, which may be grad students. It's not like the department head forces an unsuspecting grad student to teach; if they choose to teach, they will be paid for their teaching (tuition + stipend) so that they do not need to be funded by their advisor's grants. The money has to come from somewhere.
How I Used Eve Online to Predict the Great Recession (2013)
There's always more willing serfs where they came from, especially after the NSF started overfilling the pipeline in the mid-late '80s insisting there was a terrible shortage of them. Of course, they just wanted to spend less money on scientific labor, and things like bringing in many foreigners helped that, while making the job even less attractive to natives.
Previous discussion, currently on front page: https://news.ycombinator.com/item?id=12401042
Does uploading music to Google Drive work as an ingress point for Play Music (and it's 50k free song storage)?

Their uploader is... something.
Revelations of West's secrets may hurt in short term, but they make Western liberal democracies stronger in long term.

Revelations from Russia and other authoritarian governments make them always weaker.
+1 on setting up an s3 bucket, cloudfront distribution, ssl sni, route 53 rules and simple "aws s3 sync" command with some cache-headers.

Initial setup might take an hour but further deployments are pretty instant.
Do you have a link to your website? I'm interested to see what you do.
You are probably talking about CloudFlare. Cloudfront by default won't block any pageviews.
Maybe this is nip-picky, but I don't think the author knows what "public good" actually is.

I'm referring to economic definition of "public good" which is quite interesting, if you aren't familiar with it. https://en.wikipedia.org/wiki/Public_good

I don't think there's another definition. Is there?

Maybe the author didn't pick the title, but he misused the term in the article too.
A few minutes earlier: https://news.ycombinator.com/item?id=12401947
One criticism I have of Sapiens is that he regards the hunter-gather lifestyle as ideal, a sort of Garden of Eden from which we descended when we invented agriculture.

The few Amazon, New Guinea and Kalahari hunter-gather tribes anthropologists have discovered live in what most modern humans would regard as terrible poverty and fear of violence.
"The UK suicide rate was 10.8 deaths per 100,000 population in 2014. The male suicide rate was more than 3 times higher than the female rate, with 16.8 male deaths per 100,000 compared with 5.2 female deaths"

http://www.ons.gov.uk/peoplepopulationandcommunity/birthsdea...

EDIT - Further down in the article, the most common methods noted in the UK are hanging and poison.
So static sites really have come a long way from the 1994 geocities versions. There are people that statically build sites with 1000's of pages. The idea is that you don't need to have the whole backend that we've all built before is growing (look at things like the serverless movement).

As soon as you have to do more than a junk website that you check occasionally and care about the actual user experience you need to start considering things like CDNs, cache invalidation (global consistency matters) and C/D integrations. This is why you have a growth of static site hosting services (and hence the article).

Some good references: http://www.staticgen.com/, http://jamstack.org/, https://www.smashingmagazine.com/2015/11/modern-static-websi...

also (talking about 1994 sites): http://www.warnerbros.com/archive/spacejam/movie/jam.htm is alive
Ask HN: “Blackboxing” an on-premises application
I had a discussion today with a friend of mine who’s tasked with delivering an on-premises installation of their web app to a “BigCo” (think server-side web app + a SQL database).

Now, the database actually contains some proprietary data (which is the biggest concern).
The worry is that once the client gains access to the system (it’s gonna be installed on a client’s server), they can extract the “trade secrets”, so to speak.

What would be the most efficient way to complicate direct access to the data? It’s clear, as long there’s direct access to the hardware, there’s pretty much no way to restrict access as such. The question is in increasing the difficulty of doing so.
Great tutorial. Really well written, I'll check out what else you've written for sure.
It is how ever ~20 pages long. And all of it can be done with a _single_ commandline in Netlify. Just saying :)
How do you know that elephants can function as a species without their tusks?

Also, tourists want to see elephants with their tusks.

Maybe a swap could be done. The elephants get titanium prosthetic tusks in exchange for their ivory ones.
Fun fact: buying out usually means "use grant money to cover hiring an adjunct for a term," not forgoing salary. Adjuncts are cheap (they cost less than a grad student, since they don't get benefits), and a successful research semester tends to make that money back with interest in overhead from the next grant submitted.
I use s3_website (https://github.com/laurilehmijoki/s3_website) to deploy to S3 and invalidate in CloudFront.
Is this a bad thing, if you're trying to avoid spam?
Yeah, but I'm guessing they cost a lot more than a raspberry pi, they mention these systems in the article
Terrible loss- he was a great scientist. Gave one of the greatest talk I ever heard.