skysight-inc/HackerNews huggingface dataset:
Before the advent of computers we had two notions of proof in mathematics, the French school and the Russian school.

The Russian school is basically `something that convinces humans'. The French school is all about formality.

Since computer became a thing, the field has blossomed. Look at zero knowledge proofs and various forms of interactive proof systems as examples.
What if they block the ips you use to power the API? Furthermore, using some simple heuristics it should be easy to fingerprint your API and automate the blocking. Eg A normal user is unlikely to cycle IPs between requests. Your ApI might.
Ahh, that makes sense now. So it's leveraging the built-in hook for custom decoding. I actually did not know that the `# coding: utf-8` happened at parse time, nor that it allowed for custom decoding function.

I'd be very happy to help better document this stuff in the code. Searching around, there are not very many good documents describing how to create and register a custom decoder.

I have read and re-read your setup.py file a few times now, and followed the trail to the .pth file and to the locations where codecs.register is used. But it's still not clear to me how this functionality gets "installed" such that the decoder hook that parses your decoder's name ("quasiquotes") is able to map that back to the search_function from the installed module's source code.

Basically, how does the codec registry become permanently aware that "quasiquotes" maps to the search function in your installed package?
You guys speak of dividends. I'm not good with stocks so pardon my novice. May I ask what you invest in that earns you the best dividends and keeps you diversified? I'm also assuming you reinvest the dividends? Are there any tips you can give for someone wanting to start doing this? Are there any tricks you have that help you pay less taxes? And tricks to how one should diversify?
I am exceptionally sceptical that "specialised" and "secure" are anything but opposites.

"One hundred novel implementations of /dev/random" is a security nightmare. What you want is one implementation of /dev/random that everybody uses. Like uh, Linux.

Same goes for every other element of the kernel. A secure kernel does not come from using (I'm sorry to say) a hipster programming language, it comes from decades of abuse that is thrown at mainstream kernels.
It is funny though that the law doesn't acknowledge the fuzziness of the law. In the article's example of the contract to buy a painting which ends up being very valuable, the law isn't going to apportion the value of the painting between the parties, because it's focused on determining which of the principles should prevail in that situation.
> But, like fine motor control, the key is in doing this consistently.

"Practice does not make perfect. Only perfect practice makes perfect."
It's also common in London.
Did we read the same article? What does this have anything to do with it?
Amdahl's law applies here: some things are just not worth worrying about. If you're Google or Facebook, you already have entirely selfish incentives to optimize your code. If you're not, and the performance of your "inefficient" software is acceptable to you and your users, the net environmental benefit of rewriting it in C is likely indistinguishable from zero. It may even be negative, if the increased development cost prevents you from improving energy efficiency elsewhere.
AWS Lambda function schedules are driven off the same fault-tolerant, highly available service that powers SWF. (So...yes, they're reliable :)
Sometimes. Cassandra and similar datastores follow this model. I've been out of the web game a while but it seems like a sensible way to do a "single page application" - indeed it seems like the only way to have true high availability, if the client only makes a single call then whatever initially receives that call (e.g. the load balancer) becomes a single point of failure.
Thanks! I'm glad there are some true Pokémaniacs out there keeping me honest. ;) In my defense, though, I put this site together in my spare time over the course of the past few weeks, and the data source I used (PokéAPI) is missing some crucial data that I still need to patch (e.g. the Gen VI species, the catch rates). But the point of the site is mostly to demonstrate what you can do with web tech, not to be the end-all be-all best Pokémon resource ever.

I'd like it to be, though! :) Hence why I open-sourced it, and why I'm encouraging anyone with the inclination to help improve it: https://github.com/nolanlawson/pokedex.org
Why is that? You might be right, but your argument isn't intuitive to me.

Landlords are afraid of rent going down, and renters are afraid of rent going up, so a long-term contract would be nice because it could simultaneously reduce stress for both of them.

These are the trades that create value--trades that reduce risk for everyone!
I don't think your analogy is accurate.

"this is an overall good quality" is not disproved by the existence of one bad person who happens to possess that quality.

But "all refugees should be sent back to where they came from" is disproven by the existence of one virtuous refugee.
If Congress can ban some speech because it's deceptive, then Congress can ban some speech.
That supports my point. They took down WikiLeaks by directly attacking the servers, not by deploying a blocklist. Taking down servers is expensive and ineffective (another server will just pop back up).
You're very likely not alone, but this is just a symptom of an underlying truth that in engineering, there are always trade-offs. Even with fundamentals like sort algorithms or hash tables, the best implementations for general cases may not be the best choice for some individual cases (mostly-sorted inputs, for example).

Quicksort and universal hash tables use randomization to avoid problems that arise with pathological sets of data, and so their performance can only be given on average.

If even simple CS primitives have such trade offs, then those are certainly going to propagate up the complexity tree as we engineer solutions on top of them.

In general, it's probably best to just know that these things exist and what their strengths and weaknesses are (they will almost certainly always have both) so that you can pick the right tools for the job at hand.
You do know that of the US refugee process is incredibly complex, takes 1-2 years to complete, and something like less than 1% are accepted into the US?
Be aware that the new magic trackpad is very large, easily twice the size of what you're used on the actual macbook...
If you can use cursor-based pagination, then definitely do so—but as you point out, you can't always do that. Further, unless you're using bigserials (i.e. incrementing ints), you can't check $last_seen_ID either. With UUIDs (whether v4 or a custom impl.) there's no way to check `WHERE id > $last_seen_id`.
Thanks! I totally failed to notice that, but I've filed an issue now: https://github.com/nolanlawson/pokedex.org/issues/9
Slack Preps for IPO, Even If It Doesn’t Want or Need One Soon
This is such a great comment (polite, constructive, unbiased). It made me think that I wish there was a site like Ars Technica, but for PaaS/IaaS.
Article sure wasn't what I was expecting from the title.
Tesla's Model X configurator is live, prices start at $80,000
So are to the right. And even more so to the up. Been at the left and right border, and now I want my 2229 seconds of life back (I can pay 111 coins).
I take your point that you wouldn't want to open source everything, especially not the few critically secure bits of your infrastructure.

That said, money transfers take a couple of days because most interbank clearing houses were modelled after paper-based batch processes where people shuffle through paper a few times a day.

There are several real-time payment schemes in the world. Retail customers in the UK mostly use Faster Payments (FPS) for interbank transfers and they clear within a few seconds.
Solar is fusion being mainstream :) however, smaller more local reactors will I think still be a huge part of our future as well.
WWU cancels classes as social-media hate speech is investigated
Appreciate the feedback/suggestions! We'll take a look at expanding the disk space, probably as part of the "power level" adjustment that already affects memory, CPU power, etc.
Designer Releases a 3D-Printed Revolver
Computer game for Deloitte job-hunters
Yes, cold start (the delay you experience when your code hasn't been used in a while) is a big issue - it means serious additional latency which makes Lambda difficult to use for end-user facing applications. You can get around this by calling the code periodically .. but that defeats the purpose. There are also restrictions around how long your code can run. BUT, if your use case fits within these constraints, it's pretty cool to just deploy your code and forget about all of the administration hassles associated with running it on a server.
No, what he wrote makes sense as written in this context.
It also appears to be consistently worked on as the following shows:

http://imgur.com/a/hIest

The last picture shows the commit activity between the various branches. Not sure what the "git" branch, which started to deviate in October, is for though.
The Man with the Golden Typewriter
Happier Rails Development with Polo – Engineering at IFTTT
actually, it's incredibly relevant. it's to show that refugees are people too, and are not incapable of leading to good and prosperous things. that you think they are trying to say he did what he did because he was an immigrant, or that all immigrants will be great, shows you fundamentally misunderstand the point; or maybe you have other feelings about the matter that cloud your perspective.
Show HN: App Icon Asset Catalog Generator for Xcode (timesaver for iOS/Mac Devs)
That's stacking the deck just the same. You could likewise frame it was a comparison between "everything Hitler liked was bad" and "every refugee should be admitted" (and no matter how much you like refugees, you're eventually going to get to the point of turning one down).
Armed men “protest” outside a mosque
> Specifically, I intend to establish three points: 1) there is no such thing as a government of law and not people...

Point 1 is true. And yet, societies that have the "rule of law" function differently[1] than those that don't, and that difference is very beneficial to the people living in that society.

[1] Not completely differently, but still substantially differently - differently enough to matter a great deal.
Frank Sinatra and the Scholarly but Scandalous Autobiography
While the term unikernel is fairly recent,the basic concept goes back a long time.

One example of this general design is VAX ELN.

The following is a brochure from the V2.2 release, from 1986:

http://bitsavers.trailing-edge.com/pdf/dec/vax/vaxeln/2.0/VA...

Compile and then link the application code with the particular pieces of the toolkits that you needed and with the provided kernel into a single download image, and either embed or boot or network boot the target box using it. Remote debugging was available, as well as a relational database, etc.
Tech IPOs compared
interesting article, but i'm not sure it's for hacker news. It seems to bring out the reddit in some folk.
GitHub CFO Vlado Herman Is No Longer at the Company
Been on the waiting list for a while, very excited about this, whats the rough timescale for rollout?
For some reason this blog post is using 100% of my CPU while it's sitting idle in the background. Really odd for something that's just static text. Any idea what's going on here?

(Ironically, the actual demo site (pokedex.org) seems to be well behaved in comparison, using ~0% of my CPU, even though it's much more complex.)
> In any other field, specifying a function by its value at a handful of points would be a bad joke.

There is a difference between making the spec explicit (which is providing concrete examples of the spec's meaning) and replacing the spec. You seem to be talking about tests doing the latter, while the grandparent comment talked about the former.

> If you don't know what you want your code to do then tests will just make it harder to experiment, and if you do know then there's no harm in writing them after the fact.

If different people are responsible for the unit under design vs. the parts of the software that will consume that unit, then the concrete examples provided by test cases can help confirm that there is a common understanding of the spec; as such, tests serve to validate the spec.

You want to do that before you code the implementation. And once you've done that, the tests are also available to validate the implementation.
I've described it by saying unikernels are constructed by library operating systems. ie, the unikernel is the artefact but the libOS is what you (as a dev) actually work with.

The first line of the Wikipedia page is written this way - https://en.wikipedia.org/wiki/Unikernel
Show HN: Blurrd – Facebook/Medium style blurred image previews
Nothing more inspiring than a full time traveller yoga lover giving lessons on how to live life wonderfully. Sadly they never speak of yearly income and where to get it to live such "integrated" life...
Sure, glad to help. If you have any questions about how I did it, send me an email (it's in my profile) and I can try to answer them.
Crazy, now to go double check all my angular code
I followed this article until it got to arbitration as a suggestion for the evolution for dispute resolution between private parties.
Those folks are evidently crackpots. China had working printing presses, and mass production of books, centuries before Europe did.
They can't ban speech for being deceptive. They can only ban deception intentionally deployed for purposes of coercing other people. Similarly, "give me your wallet or I will shoot you" is also in a sense speech.

That distinction might not matter to you; fine. I have a bigger qualm with the Executive Order question.
> but then you've just replaced meeting time with the time you spend interacting with the tickets and the agile board.

But that happens asynchronously, which is already an improvement.

> There really is just no way around it. The bigger you get, the more coordination you need.

True.

> (...) at the end of the day I'd say coordination time, in whatever form it takes, is linearly (or maybe even exponentially) correlated with org size.

It's usually quadratic. If you manage to make it linear then you've probably found an organizational goldmine...
Karpathy just added beam search.
Anne Frank and the other (mostly Jewish) refugees of that time had no marked, large-scale habit of beheading or blowing up anyone who didn't agree with them. Welcoming Anne Frank and other Jewish refugees would not produce a threat to society. Welcoming hordes of militant Muslims is most certainly suicidal by comparison.

Don't forget that the last century has seen Islam be less of a threat than any other century since its founding, but that is due to the forcible destruction of the Caliphate by Muslims themselves with the unprecedented support of Kemal Ataturk.
I don't understand the point of running a unikernel inside a Docker container. I mean, Docker runs on top of the Linux kernel, so how is this reducing the stack in any way?
Regarding 4, to my knowledge, there actually is no law against shouting fire in a theater. Everyone assumes that there is because of the opinion in Schenck v. US[1], which more accurately stated insists that falsely shouting fire in a crowded theater is not insulation against the punishments for fraud just because it is speech.

So, despite all the hullaballoo about shouting fire in a theater, there is no (federal) law against it to my knowledge, and to anyone who knows different, please correct me.

That said, there are no ante facto restrictions on speech within a theater, crowded or not (much to our collective chagrins), nor are our first amendment rights in any way curtailed by being in a theater, being in a crowded theater, or on conversations regarding fire, whenever and wherever, time, place and manner restrictions notwithstanding -- there are simply expressions that are not protected by the first amendment, which still does not entitle Congress to make such laws, even though they already have for other circumstances, and surely will again.

Edit: The bigger issue to my mind is that Congress has, and routinely skirts the issue by implementing through regulatory agency rule-making that has the effective force of law but without requiring such a law to be actually made -- for example, the ability of the FCC to enact decency bans against news agencies on public airwaves (even thought that is also on Constitutionally shaky on its own).

[1] https://en.wikipedia.org/wiki/Schenck_v._United_States
It wouldn't be 100 implementations of /dev/random, but one implementation per language.

Security with a C / C++ based system that has to be everything to everyone is pretty much intractable. If you have a java unikernel server for example, you only have one programming language which you can understand from top to bottom with a lot of well written open source libraries.

Then you have a hypervisor, from what I understand can be far simpler than the linux kernel, POSIX and everything else. You only have two smaller layers to understand, versus the huge unix ecosystem stack to understand.

Also changing something inside your unikernel stack would be a git commit & deploy away. Patching a kernel vulnerability which you probably don't understand is a significantly longer undertaking.
Wow, this article fails to link, and the Nature editorial[1] has a failed link. Here is the paper: http://www.pnas.org/content/early/2015/11/18/1521077112.abst...

[1] http://www.nature.com/news/gene-drive-mosquitoes-engineered-...
> But "all refugees should be sent back to where they came from" is disproven by the existence of one virtuous refugee.

Only if you also accept that "we should admit everyone who is virtuous". That is not a universally accepted assumption...
Glencore Interactive Model
Yes, I agree, if you're optimizing for "success" you should optimize for "net worth", since for a lot of people those terms mean the same thing, no argument that this is the mainstream interpretation.

Personally I believe that as far as financial success is concerned, how well you handle transactions is just as important as net worth (so it's best to have a lot of money and handle it really well), but that's impossible to quantify of course.
Scala will be a beginner programming language at LTH
It will be interesting to see what Rdio users will be doing, sign up for Pandora or jump ship to Spotify.

As an Rdio user myself I'm sad that Rdio will be going away. I hope Pandora will keep it alive but who knows.

I wanted to try out Spotify but when I had to enter my credit card details to create a trail account I closed my browser window, never to return. Call me pedantic..

Still searching for an Rdio substitute though...
Both pg and I have studied philosophy, not that I'm comparing myself to him, but I am sure we are both well versed in ancient and modern philosophy, him 30 years ago and me 15 years ago. Probably both had more exposure than you to all the different philosophers, unless you also did Philosophy at uni?

So, no, we're not just talking about the old white bearded guys from Greece.

For me, reading that essay crystallized what had been nagging me about philosophy when I studied it, all the different forms felt the same, the arguments sounded the same but I couldn't vocalise why.

As soon as I read that essay it was obvious.
I used to work at Iron.io they have a product called IronWorker which gave 10GB temp disk. They allowed you to use your own docker containers also. they have a priority queueing system however and come at a premium over lamdba pricing due due to being more feature rich.

custom docker image use came with the overhead of burning in your instances though which I don't think is publicly available yet on the service.
Yes, that report is interesting. It says, "Nuclear and renewable generation generally have a low carbon footprint." In the charts, nuclear has a significantly lower carbon footprint than solar PV, geothermal, and small/medium wind, and only a slightly higher footprint than large wind.
Yes, but this one insurance instance is run by the state or directly controlled by the state.

Are women really so naive that they would provide such information to the state?
I believe that tomcam's point is that "the rule of law", though it plays out imperfectly in the US, still is effective enough to really matter.
Scientists use subatomic particles to send super-secure encrypted data
The claim isn't about printing, but about movable type and printing presses.

China had printing, and movable type, before Europe, but not printing presses. And movable type was difficult with Chinese characters.

http://www.computersmiths.com/chineseinvention/blockprint.ht...
Who else found the Twitter bit? ^^

This is seriously awesome.

I actually thought of a game idea like this, where the ostensible "goal" is simply to collect coins, and the real aim (the anti-anti-meta-goal, if you will) is just to explore and look around, for the sake of discovery and the journey and whatnot.

It's kinda amazing seeing exactly those mechanics brought to life, and they're as fun as I imagined... what else is out there like this?!
Our issue was price. Boss did the math for our use case, around a million hits/sec 24/7, and it worked out to billions of dollars. We're building a solution (on aws) for a little less than that.
Yeah, it'll probably be a car crash or a hospital equipment failure :/
Nasty self promotion ahead: I run www.area301.com
Yes? They've been buying property for some time now. Not just in the US, but in Canada (Vancouver in particular). Same with Russians buying property in the UK.

I'm not sure what you found controversial or surprising in the parent comment, though I haven't read the article because holy dense TLDR.
I think AI-generated art is an industry waiting to happen. Imagine telling a VR system "show me a mountain ski resort with skiers going everywhere" and it just generates it. It could have a huge impact on procedurally generated maps in gaming.

Or even plays or fiction! Look at how formulaic detective shows are. It'll probably be hard to get the emotional nuance, but maybe AI could make all of the characters and plots.

While I think we're far away from generating TV shows with Conv-Nets, perhaps it can do simpler things (porn?).
How an ugly, brutally effective warplane won the battle for its future
> Anne Frank and the other (mostly Jewish) refugees of that time had no marked, large-scale habit of beheading or blowing up anyone who didn't agree with them.

Neither do Syrian refugees.

The people from whom the Syrian refugees are fleeing do, but then, that's kind of why they're fleeing.

(Equating the Syrian refugees with Daesh, et al., is like equating the 1930s European Jewish refugees with the Nazis.)

> Welcoming hordes of militant Muslims is most certainly suicidal by comparison.

The screening of refugees by the UNHCR before referring to a country for resettlement, and, in the case of the US, by the numerous US agency responsible for screening before admission, makes it extremely unlikely that any substantial number of the refugees admitted to the US for resettlement would be "militant Muslims", so the idea that "welcoming hordes of militant Muslims" is even on the table for discussion is misguided.
OSv looks really promising. Turns regular jvm bytecode into unikernals. If you are building immutable apps, why not deploy them with an immutable foundation as well? The HN hivemind has declared microservices bad for bootstrapping new apps, but I'm convinced an end to end immutable workflow could actually dramatically boost team wide productivity. Tomorrow is a snow day so I get to play with OSv and see if I'm right.