skysight-inc/HackerNews huggingface dataset:
Thanks for the input, appreciate it! I am mostly focusing on tools that give him explicit visual feedback, so that is why I am focusing on html and styling. Write some code and then have it do something on a blank page seems to be powerful.

As for theory, I am not really focusing on programming concepts, more on practical/visual work initially.

I was thinking of giving him some codecombat/scratch homework, but he is a bit older (16 already) so thought he might think it is for people younger than him. I will try it out though myself first.
The CA system is broken, so is BGP with routes being essentially hijacked by the word of mouth protocol. Wonder what the fixes or a reboot of the internet would look like.
Ah, sorry. The question still holds, though it's less obvious what it means with this effect stack. Perhaps a more obvious example would be failing, stateful computation written as follows as an order-free restricted type in Haskell

( MonadPlus , MonadState s ) => m a

Given some concrete choices of monads to witness those effects like MaybeT and StateT there are two "orders" we can stack them.

MaybeT (StateT s Identity) a
StateT s (MaybeT Identity) a

where Identity forms the "effect free" base of our stack. While functions which operate on types with the order-free signature work for each stack, ultimately the stacks represent different combined effects. In particular, the `StateT s (MaybeT Identity)` stack throws away state if the computation fails while `MaybeT (StateT s Identity)` does not.

run1 :: StateT s (MaybeT Identity) a
-> s -> Maybe (s, a)
-- failure captures the result state

run2 :: MaybeT (StateT s Identity) a
-> s -> (s, Maybe a)
-- result state always produced, failure captured
-- only in the result value

So, ultimately the semantics of your effect set depend upon the ordering of your effects. At least in Haskell. I'd be interested to see how Koka handles it.
People sure are very good at telling others what they should do.

Would it be morally noble for him to give the money for charity? Sure. Should he "probably" give it to charity? Absolutely not.

Who knows how much this guy gives to charity. Who knows if he has medical bills to pay. Who knows if he's just coming out of a shitty year of unemployment.

I don't even get what the point of this article is. Inform? Nope. Give a valuable insight grounded in personal experience? Nope.

Maybe the author should give the money he gets from Slate writing this joke of an article to charity.
Might I recommend processing.js? It's got a very shallow learning curve even to first-time programmers, there's plenty of support for it, it requires little setup, and lets you create visual applications immediately.
If you use https://www.khanacademy.org/computing/cs, KhanAcademy's processing.js curriculum/editor, you'll have no setup, documentation, and lots of examples to look off of. I've been using it for a while now and suggest it to most first-time programmers because of how easy it makes it to get into programming and start building things immediately.
Not that a big name necessarily means anything, but John Resig, creator of jQuery, created processing.js and is an employee of KhanAcademy, writing their editor.
We're putting together a front/backend ring (rndfront/rndback) that will proxy entropy from dom0 directly into the guest. It'll take some time for this to percolate into the public cloud, so we'll need to do what Linux does in the meanwhile (harvest entropy from interrupt timings, attempt RDRAND, and so on).

The ENTROPY module type supports this sort of callback in 1.2.0: https://github.com/mirage/mirage/blob/master/types/V1.mli#L7...

(If you're interested in contributing, the entropy harvesting is in sore need of more eyes and help!)
People should give every penny above what is needed for the most basic essentials of life to charity.

(well intentioned bait)
Juju 1.20 released: HA and Availability Zone Placement and more
Show HN: Guides – Add a knowledge base to your existing website
Any benchmarks? I am very interested in this, it looks really cool!
Great pick! I Will definitely loo into it. Thanks for the rec!
A wonderful read on th subject is Robert Sapolsky's "Why Zebras Don't Get Ulcers": http://www.powells.com/biblio/1-9780805073690-1
"At the time, I was hoping Dmitry would reject my HIT so I could go on a tirade about how unfair it was, and try to get him banned from MTurk or whatever."

I found this quite amusing. You know why this HIT was approved? Because requesters are also punished for rejecting too many HITs! He also would have been banned had Amazon discovered the scheme he was pulling.
This class on Coursera is likely to engage a young person.

https://www.coursera.org/course/digitalmedia

In my opinion it's better to use the work product of seasoned professionals than that of even the most well intentioned amateurs. There are 10x teachers. There are 100x curricula. Being smart isn't expertise.

Good luck.
I'm not sure what one project demonstrates, even if we take a news report at face value. There also are many successes; we're using one now to discuss this.

> €1.2bn could solve any number of problems. And in a free market that's how the resources would be put to use. Solving human problems. Instead, there's a grand spectacle.

I think this argument idealizes the "free market".

* There is plenty of waste and spectacle there too -- look at other news headlines, or just remember our recent financial crisis

* The 'free market' doesn't exist. First, it's an amalgam of an incredible number and diversity of people and organizations. Second, it's not free; I was trying to think of examples of social goods not funded at all by taxpayers (for the point below), but it's hard to name any. And many 'free market' companies get tax breaks and other support from government (EDIT: including laws and regulations made in their favor).

* The marketplace does not care prioritize solving human problems; it prioritizes money and power. Sometimes that happens to solve problems (discovering a new vaccine, clean energy), sometimes it happens to cause them (increasing the cost of vaccines, climate change), sometimes it's just money for money's sake (slashing a ms off response time in computerized securities trading).
The OCaml runtime is very easy to embed, as runtimes go. We've got it compiling in Mirage as a standalone kernel, as a FreeBSD kernel module, and others have had it running on 8-bit PIC microcontrollers: http://www.algo-prog.info/ocaml_for_pic/web/index.php?id=oca...

A fun project that I discussed with the Rust devs at last year's OSCON would be to rewrite the OCaml GC in Rust. Get in touch with me if you're interested and want some guidance on how to go about this.
how about one command...

$ /path/to/virtualenv/bin/python run.py
Some resources you can check out are The Odin Project (full online curriculum), BentoBox, CodeSchool, Codecademy, and Treehouse.
Hi there,
First of all thanks for the profound review.
Second of all, i agree with you on the HACKERNEWS title and i'll take it under considerations in my follow up designs.
Regarding to the meta-data, i did tried to let the eye scan in a horizontal direction and end it there (where the comments are located).

All and all i enjoyed reading your comment and will use it (with your permission off course) in my next post.

Stay tuned, and thanks again
Hila :)
Yes it's funny, these places are teaching Python for the same reason they taught Java: it's "easy" and will get you a job. Yet we slate Java-schools, and cheer Python because it's trendy.

The truth is, universities shouldn't care what industry does, because "real-world" computing is more about fashion than it is about any sort of science. And if you do it right people can learn any language they need (case in point, I learnt FORTRAN at college, now I do Python for a living and OCaml as a hobbyist).
I believe that Smith & Wesson have "an app for that". I'm sorry to say that I don't think it's available in India. Petition your government.
Do you do that? What percentage of your income do you donate to charity per year?
This page is just a container for a google doc in an iframe. Interesting CMS strategy.
"A good SEO can optimize a site. A great SEO can get your brand mentioned in the news and drive traffic." Nothing truer. It's the central idea behind my company: http://landt.co
Small Photo Bundle + Bonus Photo Actions (SAVE $60)
Well, C++ has the same restriction and a lot of people's distaste of overloaded operators comes from that language. User-defined operators and overloaded operators are separate features, in fact—OCaml has the former but not the latter.

My personal preference is to allow operator overloading, but to (a) enforce that overloaded operators must have reasonable type signatures (via concepts or similar); (b) restrict overloadable operators to mathematical operators (e.g. not the comma operator), and (c) set a good precedent in the standard libraries and community against using mathematical operators for non-mathematical operations (e.g. don't overload bitshift operators for I/O in the standard libraries).
Swizzling is a weird one in the community. But if I see #import <objc/runtime.h> something has gone wrong (you have to include that for swizzling and other seemingly dangerous stuff)
Show HN: Optimize existing websites automatically with just a click
- [MINOR] checks: add PostgreSQL health check

A bit silent, but this is a very interesting change for us.
He can do whatever the hell he wants with the money (as long as he fulfills his Kickstarter rewards). He isn't some public figure where the stain of his potato salad money that he kept instead of giving to charity will follow him for the rest of his life. These are his 15 minutes of fame, after his Kickstarter ends he'll be collectively forgotten.

The fact that people are giving him a ton of money "ironically" doesn't create any new obligation for him. If he wants to keep the money, I say great. If he wants to give it to charity, fine.
I love how everyone quotes what someone said, without any kind of fact checking.
Minor wording error at the bottom: There will be an initial small batch test of 50 users, then all our early sign ups will can apply ...
I was doing about 8GB/s sustained through 1.5 on a single box without issue.

However, you need to run it in multi-process - I found 16 to be a good number. The only drawback is that any monitoring you do is on whichever process you happen to connect to when you check, so you need to multiply by the number of total processes to get accurate numbers. Not sure why the monitoring is per-process, but it's a bit of a pain.
It's not very good for one's life expectancy or mental health, and if you are that good, you could make far more money doing other things.
Mutant Killer, Mario and more: Rediscovering old projects
"Object-Oriented Software Construction" by Bertrand Meyer.
Net neutrality proponents regularly couch their rhetoric in being an issue for the public's interest. To me it seems like one industry (tech/web companies) jockeying over another industry (telcos/cable) to accrue the benefits/cost savings to themselves. Start ups and other businesses that exist on the web don't like the idea of sponsored data because it could possibly raise their costs of doing business, but it isn't something the public should care about and that government should step in to prevent. No one is providing Jolla with protections or subsidies to better compete with Apple or Samsung, but yet the web companies in pushing for net neutrality (and waging a great PR campaign that enlists the greater public to their side) are essentially asking for one. Maybe your music start up will have to pay carriers to better compete with Spotify or Apple, that's really your problem and perhaps you'll have to suck up the additional operating expense.

As for Google, they're staying out of this fight not just because they could benefit from sponsored data, but also because they seem intent on getting into the ISP business themselves. They recently added a new executive in charge of "Access and Energy"[0]. This could be their first real business outside of advertising. I think it's befitting that a company, that is essentially a utility on the net, is getting into another utility-like business.

[0] https://www.google.com/about/company/facts/management/
Safer for everyone involved.

Complete battlefield dominance encourages enemy combatants to comply without putting up a fight.

If a soldier is in the field and sees a potential combatant, then in many cases one of them is going to die, either from one of them proactively taking the other out or in a firefight caused by fear.

The robot would likely be heavily armored. I don't know many people that would shoot at an armored and armed robot.

That situation will hopefully allow US commanders to take more time to evaluate the situation, allowing them to make more appropriate calls on when or if to take down a potential threat.

That's assuming that the power the robots give the military makes the commanders and operators morally good. Rather than "it's their lives or our troops lives" the philosophy would be "achieve the mission with as little loss of life as possible."

Combat operations are not going to stop, but unnecessary killing could be reduced on both sides with robots and complete battlefield dominance.
I don't. I give an embarrassingly small percentage of my income to charity each year. I am ashamed of this - I'm mostly living paycheck to paycheck, trying to raise a family, fund a retirement and save a good chunk of cash for emergencies - but would like to eventually be more generous.

I don't really think people should give every surplus penny to charity, but it's an interesting perspective. I don't know if there's really a "correct" amount people should give.
Deis: Evolution of a Docker PaaS [video]
Choosing your Automated Acceptance Testing framework
There's a fundamental flaw with the "CA/DNS/HTTPS/web browser UI" infrastructure that conflated the concepts of "encrypted transmission" and "proof of identity". Despite the scary red screens browsers like to show it's never the case that you're less secure using https to talk to a given server, even if the certificate the server presents is expired, mislabeled, or even entirely forged. Regardless of the encryption there are many ways to fool you into believing the server you're talking to belongs to some other entity, CA's were supposed to address that but they are consistently failing at this both by accident and indifference as well as hacking. These concerns need to be separated. I believe the end game is for servers to generate their own certificates for encrypted communication, and ultimately it will have to be some extension to DNS to handle the proof of identity, but I don't see an obvious evolution from the existing CA system.
There is no 'should'. I'm not even sure he has to even try making potato salad at the end. There's just no real point in trying to be over serious and worthy about what is essentially a stupid joke that has got a bit out of hand.

I hope he spends the money on pasta salad personally. I hate potato salad.
Don't forget that you can show the data with Sparklines.
I'm happy to be corrected, or pointed to relevant literature.
I think the Redis checks are now native built in when looking at the changelog:

- [MINOR] check: add redis check support
Thanks! Didn't see that "will can". Sorry about that.
He should do whatever he want with the money.Since people are willing to give him some for nothing.

It sure lessen the value of a Kickstarter,but who cares,free money and potato salad!
Tfman text file manager – textual representation of file system
The author of the paper follows this quote with a rant against the referees for scientific journals and conferences. Perhaps I should have quoted that. There must be a reason why Lamport, Knuth, etc. don't write in this style. But, their work is considered significant and historical. It makes me suspect that this is either not significant (why isn't this making headlines like Heartbleed?) or isn't novel, or isn't practical (really), or some combination of the above. If these claims were as significant as claimed, then they would certainly be greeted as such.

Further, from the IACR website:
Papers have been placed here by the authors and did not undergo any refereeing process other than verifying that the work seems to be within the scope of cryptology and meets some minimal acceptance criteria and publishing conditions.

Finally, a quick perusal of Google scholar makes their work look at least somewhat non-unique, but again, I am not sure. Let me repeat, it is just their style which set off a small alarm bell.
I'm happy that it works for you, but many people have complex infrastructures that aren't easily deployed with virtualenv+apt-get alone.

I wish I could deploy our python apps with virtualenv alone, but before docker we ended up having to create our own deployment system to wrap the virtualenv with all the associated dependencies so it could be pushed to various environments in a deterministic manner.
This native English speaker would never think to say "The Uzbekistan" or "The Uganda" though. All of your examples are country names that are compound names, and hardly natural-sounding names at all.
I am using codehs, codeacademy

Treehouse is very similar to other ones, Odin Project seems to be for older learners. Bentobox is fantastic! Thanks for the rec!
The Hidden Damage From Geomagnetic Storms
Protip- We are all going to die so make the best of it in any case.
How often did you have to spell out the domain name so far?

.co domains always look slightly off to me.
For those who didn't manage to grab a ticket there's also pre-event drinks being hosted by EF at their HQ in London Bridge. There will be some YC Alum there too. Signup URL: https://www.eventbrite.co.uk/e/pre-startup-school-drinks-wit...
Maybe because the C&C servers were not (all) servers, but hosted on people's residential connections?
If that's their attitude, it's short-sighted on Netflix's part. No matter how much money they can throw at ISPs, I guarantee Amazon can throw more. So if streaming video performance comes down to who can throw the most money at ISPs for preferential treatment of their packets, it's hard to imagine Netflix not getting clobbered in that contest.
Related, a picture I saw a few days ago.

A pistol, held by a feminine hand.

Caption: My rape whistle goes "bang"
The point is that private companies have no incentive to pursue things like wMD programs or PRISM. Only governments have that.
D3.js: Tips, Tricks and Tools for Creating and Working with Maps
He should set overflow: hidden on the body
Resource-hints first spec draft
The YouTube "fast-lane" is already in place for some ISPs, same with Netflix.

https://www.google.com/get/videoqualityreport/#what_youtube_...
I was with you until the recommendation that it "takes 5 minutes to setup w/ Perfect Audience."

Taking five minutes to setup a display campaign is a horrible idea for an experienced display buyer, let alone someone who doesn't have years of experience in the space. Lots of DSPs try to make it seem simple enough for Joe Businessowner to setup a display campaign, but that doesn't mean they should.

To go about display buying properly you need:

- A decent budget you are ok wasting to collect your initial data set

- Proper conversion tracking in place

- Ideally an ad server and/or way of measuring the contribution of view through conversions/revenue from a cross-channel attribution standpoint

- Display creative, and ideally multiple variations to test

- Retargeting tags set to take advantage of various list-based tactics

- Etc. Etc. Etc.

Some things like an ad server might be ok to do without if you know what you are doing as the DSPs all have their own you can use these days, but it enables things like exposure-to-conversion reporting which is pretty important.

Advertising in general is indeed hard and expensive, and all too often I see companies who have tossed thousands upon thousands of dollars (sometimes with several zeros appended) on buys that weren't thought out, weren't tracked properly, weren't managed properly, and that they ultimately deemed failures because they don't understand how view-throughs factor into the broader mix.

Source: I do this for a living.

EDIT: Formatting
Does it cost more money to teach math and science? Or are other factors at play? Education budgets may have been cut over the past few years but in real dollars, they are significantly larger than they were in the '50s, '60s, and even the '90s. So is willingness to spend a problem? Or are we spending on the wrong things?
I suppose you need to ask, "What is the point of promotion?" If you're just trying to get to a particular niche audience and you know they're on a particular channel, then go there and start interacting. Defining marketing isn't going to get people to look at your product and producing your messaging in a perfect bubble is a surefire way to keep you in obscurity. I suppose my tactic is creating a shortlist of 1000 ideal customers, reading what they read, figuring out their needs, and then after all that research -- approaching them humbly with a request to demo.
I think what will actually happen to requests in flight is:

- partial data received by old HAProxy is lost as old HAProxy exits

- new HAProxy comes online, binds to port, receives fd

- iptables rule removed. new HAProxy starts receiving new requests

- in-flight requests from the old HAProxy are timed out by the kernel (TCP RST) as nothing is there to read request data from the old fd or send response data.

So I think this is actually "worse" in some sense than the other retry behavior since it's not recovered inside the same TCP session but instead forces the client to open a new TCP session.
In a free market €1.2bn can't even buy a messaging app.

A free market would be perfectly OK spending that money on dating apps, more ads for "alternative medicines" that sell well but never shown to work, or disinformation campaign against (government-funded) scientists pointing out that your product causes cancer. Free market sometimes works, but it's no silver bullet.
This doesn't seem surprising, given the cost (I assume) of living in SF.
Haha! Most of the views we have been getting so far have come from other websites, not word of mouth, so it's presently not an issue. I totally agree with the .CO opinion, but we don't have a few thousand dollars to throw down on a domain, so we're sticking with the current one until we can potentially get access to the .COM.
Chrome Remote Desktop for Linux
> What was meant is that they are, at least in our pretty firm opinion, issues with C

I am very interested in the idea that ML can maintain security correctness under source line duplication.

It should be pretty easy to check for this condition too: for every line in every file, duplicate it. Discard instances where this causes invalid syntax; this will be most of them. Now either by running a test suite or inspection, see what the effect was on the program semantics.
Pre-Startup School London Drinks ( EF HQ)
I am going to be a part of a startup in the near future (really the "near" future.. 1-2 weeks to say) and the numbers although haven't deterred me, but I will admit, I am a bit scared. So, I am just going to finally ask this. What percentage of startups fail? I know that it is more likely I will fail rather than succeed, but I would really like to know the odds.
I for one can't wait to create circular references between objects that then stay alive together for ever and ever using the ❤❤❤ operator.

More seriously, I wonder why user-defined operators are considered any worse than user-defined functions. I mean, I think that they often are, but I wonder why.

Maybe we assume less potential for ambiguity when we read a symbol than when we read a word. The possibility that isEqual: has a bad implementation that doesn't respect transitivity seems more obvious than the possibility that == does.
I've been doing this for a while longer (Python heavily for the past 7-ish years) and I've had a great experience working with virtualenvs...

So, I'd love to see that essay :)