skysight-inc/HackerNews huggingface dataset:
I don't know that. I know that CNN fired three people when they discovered that they ran a story without proper checking. If your assumption was correct, that wouldn't have happened.
Should have happened eight months ago. I can understand the careful and deliberative process behind the "CA death penalty" from a major browser, but this was such an egregious case that I think faster action was warranted.
Doesn't really matter. The "core" team decided based on user feed back. Feedback that you could have taken part in. People kept acting like they weren't adopting python3 until the core devs did some thing about backwards compatibility but that was no where on their radar. Python 2.7 is no different than python 3.1, 3.2, etc, they are all dead.
> It's actually just a belief. Nothing suggests that type systems and type theories can be improved to be practical at preventing bugs

Seems you don't know much about types then. I suggest you look up theorems provers and compcert and the TyPiCal language, as but a few examples.
I definitely agree that someone using tools should know how to use them right - however in this case maybe the curriculum should be tweaked to point out mistakes when using a tool? Ie, instead of assuming that someone would do it by hand, assume they'd do everything they can to cheat their way out of doing the work and trick them as much as possible so the tools would only work if you use them right. Instead of focusing on teaching them how to do it by hand (which they would never do in the real-world given the time constraints), teach them which tools to use and how to use them properly.

My point about crunching numbers manually or not was more about the fact that a lot of people taking those math tests do so because it's required by X policy and not because they are genuinely interested in math, and IMO that's fine - not everyone aims for a job that involves mission-critical math. Some for example might just want to develop games, where a screw-up could at worst result in a graphical glitch.
Ötzi the Iceman’s Axe Came from Surprisingly Far Away
Ask HN: Kent Beck's Mastering Programming?
There's a thread on HN[0] titled "Mastering Programming" with a link to a Kent Beck Facebook post[1].

There are things I thought I understood but I became conscious I just felt I did. I know that this feeling comes when I have just the -little bit of knowledge- necessary to have the illusion of understanding. I'm aggressive toward that situation and take it seriously.

I haven't benefited from the post because I didn't understand it and I wouldn't have benefited from it beyond intellectual amusement if I did understand it, so:

I want to know what each of you seasoned veterans, and journey[wo]men/, understood from every bit and nibble of the piece. Did you link it to situations that have happened to you, etc?

You can either comment here, but here's a link to an annotation site for "specific" parts. I don't like the name of the site (too pompous/douchebagy/Apple storey) and it requires registration, so I'd understand your preference to do it here.

Thank you.

http://bit.ly/mastering-programming-beck

[0]: https://news.ycombinator.com/item?id=14716852

[1]: https://www.facebook.com/notes/kent-beck/mastering-programming/1184427814923414

PS: I couldn't use the site on the main piece (Facebook), but I tried on the cached version (Google) and it worked.
not probably, they are right. I fall into this trap all the time, adding these complex amazing features, that, once launched nobody uses, nobody ever asks about. The 1-2 people who find out about them are amazed, the 99% don't give a damn.

Get something working and throw it out there. Then find out what actual paying customers want, then go from there.

Although that isn't cast iron advice as early take up customers tend to be less risk adverse (they are paying for an unknown software) and perhaps more technical than others, so you run the risk of making a very technical program based on their feedback, which then when you get popular alienates users because unless they were with you from the beginning, they have no idea what half the features do, because obviously you didn't document things well enough.

Or so has been my experience, but perhaps I am an odd case, still creating desktop applications and don't give trial versions. You pay the money you can have me contactable all day and get your features added. If you haven't paid any money, then I don't care. I'll take word of mouth sales every day of the week
If the W3C does this, it will be time -- regrettably -- to turn away from that organisation and make a completely new one that exists to serve users of the Web rather than those seeking to monetise it. That Tim Berners-Lee has lent his name to this hijacking is shameful.
Waymo drops most patent claims in Uber self-driving car lawsuit
Yeah, copy that. I'd like to think a "perfect" version of ourselves would branch out to explore the galaxy and use part of their resource gathering capacity to compassionately provide for and nurture their Earthbound meat parents.
Glad to hear that ;)
> We've done testing since the start. Still many bugs.

Exactly, as the OP clearly doesn't understand, but every researcher in programming languages does, test can only prove the presence of bugs, it cannot prove their absence. Types can.
Show HN: Ergonomic navigation of Linux desktop
I am developing a small program for navigating Linux desktop, with ergonomics in mind: https://github.com/amkhlv/wmjump
The idea is to associate, subconsciously, a color to every type of program.
Obviously, Firefox is orange, GVim is dark green, PDF viewers are reddish etc.
A colored list pops up, with a charhint for every window; pressing a key brings you to that window. I have been using this system for about 10 years now, seems to work for me.
Hi Guys,

Need few inputs on how to get more people to engage on this art project.

Any art related sites which might bring more viewers?
Any other ideas to increase engagement?
I think the market for TLS CA will segment into basically two things:

a) free letsencrypt certificates for everything that only needs to be domain-validated (DV SSL).

b) $95/year EV certificates for companies that want the big friendly green banner on their ecommerce/credit card checkout pages, which is reassuring to the average non techincal user. In the last 4 years I have seen the price for EV SSL certs fall from $400/year to $95/year from several vendors. My main concern is that EV SSL issuers need to be held to a very high standard of actually verifying corporate identity. If they start getting lax about it and known EV certs go out to not-fully-vetted organizations, that would be a bad thing for the whole idea behind EV.
Flexport employees speak more than 60 languages – join our team
Almost as if the "proper" behavior isn't really optimal...
Yeah - that too. I'm sure there will be use cases for wearable games. But there isn't much of an incentive to find that use case if there isn't yet much of a market.
The title is very... what's the two words I'm looking for?

Dynamo does not scale for this specific use case but I have used it successfully in production (at scale) with ZERO issues.

Dynamo is a key value sharded and zero operations* database that most applications and companies will benefit from IMHO.

is the hot key and evenly sending queries to nodes the only issues you concluded we should not use DynamoDB on?
Do you really need to do the double-blind study, though? The median person cannot program at all, so using rnd() couldn't possibly have better than a 50% success rate (certainly lower; 50% is just a round number that I'm sure is larger than the number of programmers). Is Google doing worse than that? I kinda doubt it.
Now what is more human then - human body or that of an android? Of course android body. It doesn't matter that it is not innate because we weren't born with it. What matters is that we have consciously chosen to build it and replace our body.

If you keep going with the theme of 'the changes we come up with are more human than what is innate', where does it end?
> some group will have ideologically convinced itself that it should do so for some incredibly noble reasons.

"Climate change is a natural process and we shouldn't interfere with it."
I hope you don't mind if I piggyback on this to echo this sentiment.

Although I dislike MySQL for its many gotchas (data corruption level stuff too!) I was looking for a _long_ _long_ time for a high consistency NoSQL database.. we basically need document storage of large binary data.

Ironically literally nothing in NoSQL land does write-through to disk, they just write to vfs and hope it works; additionally, those that support clustering opt for eventual consistency.. That just baffles my mind, so much potential for lost or corrupted data.

We ended up doing deterministic sharding on postgresql, it worked incredibly well, even in failure modes you hope never to see.. and no corruptions! :D
I love the Minaal 2.0. https://www.minaal.com/products/minaal-carry-on-bag

It's got a ton of storage and it's designed to be a single-travel bag. Check out some reviews on Youtube and you'll see what I mean.
Are you the author of pyobd-pi?
Act like you're voice controlling your fingers
Not everyone works in an office. Or in a professional setting. If you work in a factory or a road crew, you may not see anything like a 1:1.
Qualcomm sues to block iPhone sales
Some of the instances where ML is brought in can instead be handled by fuzzy logic?
i do this a lot at twitch.tv/mdmnk (less so recently due to losing a job and moving to a new state, then getting a new job and once again moving to a new state).

It was stressful at first... had to deal with trolls (and also about 80% sure hackers that were trying to get me to root my system live). After I got the hang of it all though it became a lot of fun.

I stream game development which is a hobby of mine (software engineer for the interwebs by day). Being that it is a hobby I am still learning. I've been able to make some internet friends, pick up techniques and learn more about C# thanks to twitch streaming. One day I would absolutely love to transition to full-time independent game development and do it all live on Twitch.

Another thing to note - although I have 14 years of professional experience, I used to get nervous coding in front of people, thanks to streaming on Twitch that went away -- I'm no longer afraid to fail or mistype. My overall confidence has improved. I strongly recommend live coding.

edit: I've also gotten MUCH better at talking through my code because to maintain an audience on twitch you have to talk and explain what you're doing almost the entire time.
Hey there, this spreadsheet was made by SoundCloud employees of the Berlin office who are now looking for work. We are just helping to share it and hoped the HN community could help. Any companies hiring please post - https://docs.google.com/spreadsheets/d/1JDx5acZPvdmmSeMyEr77...
What does your architecture for crawling looks like?
it is frankly astonishing how many browsers/OS platforms ship by default trusting all of the major mainland chinese root CAs.
I disagree. Technologically it is possible to build a content protection system without obscurity, using open source software and open source hardware (and suitable cryptographic bootstrapping). That no one chooses to do so is another matter.
Impressive!!
In my state you should file a complaint against that agent with the department/office that oversees real estate licensing. And you might be eligible to be compensated for the agents misrepresentations if you can prove them.
This article reads like it is about Chinese immigrants (or their American children) who are moving to Seattle because San Francisco and Vancouver real estate have peaked. This wealth is only incidentally connected to Seattle.

This phenomenon doesn't really have much to do with the influx of Amazon/Microsoft/etc. tech workers.
We have a long way to go. That perfect AI-run society will only be so superficially if it continues to propagate exclusion and marginalization.

http://www.newyorker.com/tech/elements/how-to-call-bullshit-...
Strange. I just bought a condo with them in DC. We were in a competitive bidding situation and the speed at which we were able to close (compared to other offers) was the thing that sealed the deal.

I added a lender I hadn't considered at their recommendation and they were wonderful (super fast response, competitive rates, willing to get appraiser to drop everything and knock things out really fast) and their use of online tools made things easy (esign and a digital document repository and deadline tracker).
humanity will eventually create a "perfect" version of ourselves, which with then exterminate us because we are inferior

Human cultural evolution has already created self-proclaimed "perfect" cultures that went on to attempt exactly this. The Nazis were only the most recent notable example. There are many examples in history of groups who considered it their holy duty or moral duty to take over the world. Fortunately, for most of human history, this hasn't been feasible, but technology is changing this equation.

then the AI-human race will create a perfect society and branch off to explore the universe.

Physics tells us that the "speed of light" is actually the absolute speed of causality for mass-energy.

https://www.youtube.com/watch?v=msVuCEs8Ydo

So until consciousness can inhabit a substrate independent of mass-energy and based on space itself, and thus not subject to the light speed limit, any intelligent civilization which expands is doomed to create its own rivals. In Michael Swannick's Vacuum Flowers the Earth is taken over by a hegemonic super-intelligence, but it's forever trapped there, because when attempting to expand, the light-speed lag will cause a sub-part of it to bud off and immediately attack its greatest rival -- which is always the rest of itself.

In any case, civilizations are clearly not stable on cosmic time scales. Who in their right mind would think that billions of interacting sentients with their own agendas would produce any stable organization? It's ridiculous on the face of it.
A great many of those (but not all, I admit) have equivalents on Google Cloud. I know I am somewhat biased (as I work there) but the technology is really great. BigQuery is untouchable. Spanner is magical. CloudML is hands-down the best offering. Etc.

Have you ever considered "what if I didn't presuppose AWS?"
The big bad organization wasn't Christian though. They just acted like they were.
TL;DR - Don't use something as coarse as customer_id as a partition key. Alternatively move to GCP/BigTable.

Any DynamoDB tuning advice will say how important it is to have well distributed hash keys. As for the second part, why not use Cloud Spanner? I wish AWS had something like it.
Seems like if an engineer can easily hold out for 95k, it's because there is indeed a shortage that is big enough to do so. If there was a surplus of engineers instead, then more would be willing to work for lower pay, no?
Why not pseudocode your TEST in your JavaScript file?
An entity which has intelligence.
Thanks Attila! That's reassuring to hear—I've mostly gotten responses that it's unclear how it could be useful, though that may be largely due to my unclear communication. (That also relates to my older video, since I haven't shown this one to many people yet.)

As for monetizing, I'd like to sell it as a cheap utility for programmers or CS teachers (those would be two different products). If I can make enough to visit the dentist regularly and maybe just supplement with part-time grocery store work, I'll consider it a success. Of course I think it has the potential for more than that if properly executed on...
Wasn't Captain Kirk the one always going with his gut instinct? The Vulcans were once an extremely emotional and violent race. Their logical traits are the result of generations of disciplined mastery over their natural impulses.
"Your business has millions of customers and no single customer can do so many actions so quickly that the individual could create a hot key. Under this key you are storing around 2KB of data.
...
Potentially getting 1–5 requests per second for a given second but certainly not a sustained load of that.
...
This will not work at scale in DynamoDb."

What? Why? Suppose that's 5 million customers, you will only have a 10GB table which fits in a single DynamoDB shard, with no sharding. With the restriction of 1-5 operation per customer per second, this sounds like the ideal use case for DynamoDB.

What am I missing?
I love being intensely active, but it’s not an everyday thing. I run, I surf, I hike, I bike as much as my lifestyle allows. I like intense exercise because it fits my personality, but that’s not to say it’s more healthy than other forms of exercise. I look like an awkward giraffe in yoga class, you might look like an elegant swan. Do what works best for you. I am active every day. I walk around, I stand. I talk. I MOVE! If you can’t get 10,000 steps or 30 min of active time each day without an intense workout, I would suggest re-thinking your health beliefs.
Wow, I like this one too.
The stages of development:

1. Understand anything

2. Understand the rules

3. Follow the rules

4. Break some of the rules

5. Make new rules
>If humankind ever destroys itself, in all likelihood, some group will have ideologically convinced itself that it should do so for some incredibly noble reasons.

You mean like the people commenting here advocating replacing us with AI?
I think Gruber's analysis here is spot-on, and does a great job of marrying basic supply/demand economics to the absolutely bonkers scale of iPhone manufacturing... This September's announcement is going to be one to watch!
> You wouldn't expect the same dynamic on a going forward basis

Who gets together with someone thinking "Hrm, in 10 years time I'll probably be lower management and she'll still be regular staff"?
Here's an article with links to other resources indicating that sociopathic/psycopathic behavior has a higher prevalence in people who we generally consider "successful" or to have "got ahead" (e.g. CEOs): http://www.cnbc.com/2016/11/18/why-psychopaths-are-so-good-a...

Note: I'm not claiming the article is "proof" of the contention, just that it indicates support for the parent's assertion. Other items may counter the assertion, of course.
I prefer to think of it as: one person's destructive biological impulse is another person's effective business idea.

If you recognize it you can vaccinate yourself.
yeah this is completely true -- you have to talk and sometimes just drop coding completely in order to explain concepts etc. to your audience. I think this is a great skill that can be applied at your IRL job as well -- have gained a lot of confidence since i've started streaming.
Not everybody goes to school, and not everybody that does takes computer science.
How did people find you to start following your streams? I've wanted to start doing something like this for a while but not sure how discovery works and I feel like I'd be wasting my time. I'm interested in doing programming and some other things.
I don't see any claim in that article that this is a myth. They merely discuss variants of the story. Fwiw, I have heard Steinmetz as the origin of this, a possibility they discuss in the article without explicitly confirming or refuting it.
The broader conversation about the desirability of separating ourselves from our humanity is what made me think of the novel, because it's ultimately about the importance of choice (especially the UK version with the final chapter included).

> In the final chapter, Alex finds himself halfheartedly preparing for yet another night of crime with a new gang (Lenn, Rick, Bully). After a chance encounter with Pete, who has reformed and married, Alex finds himself taking less and less pleasure in acts of senseless violence. He begins contemplating giving up crime himself to become a productive member of society and start a family of his own, while reflecting on the notion that his own children will be just as destructive as he has been, if not more so.

Broadly speaking, the whole sentiment makes me uneasy, especially given how powerful a tool the internet can be for consensus building.
Watch Oregon Programming Language School lectures "Basic Proof Theory" by Frank Pfenning.

https://www.cs.uoregon.edu/research/summerschool/summer15/cu...

Very clean and easy to follow video lectures on the relation between, types, programs, and logical proofs. One does not need functors and monoids to appreciate the beauty of functional type systems. (And to see why such type systems are indeed discovered rather than invented.)
To be listed on an MLS you still need to offer a co-broke fee to any agent procuring a buyer.
1:
your code will improve. don't be afraid of your bad code, other people are probably at your level or worse. You can use this as a learning experience. take the good advice given in chat and ignore the trolls.

2:
dual boot / set up an account on your system that doesn't contain sensitive stuff.
> Earlier generations would have laughed at that because they had mostly figured it out --- though not via studies, just over the millenia. Early to rise, tend to the ranch or the herd, a little bit of this repair a little bit of that repaint, flowers for the bees, good amounts of siesta, good amounts of fiesta, spring/rain/well water and fresh local nourishing food from better soils with no processed concoctions engineered for hyper-palatibilty..

Uh, yeah.

Get up for third shift at the mill or mine (sleep disruption increasing accidents). Breathe toxic fumes the entire time you're there. Lay on your back the entire shift while they roll boxcars over you for you to weld. Quitting time--shower and then stop in to local bar and drink until your back/side/whatever quits hurting so much. Head home, crash into bed, and maybe help with the gardening or livestock you are raising in order to not starve. Get terribly sick in your mid-fifties and die from something horrible before you reach 65.

Yeah, the previous generation had it soooooo figured out.
Certainly an android is more human - humans and only humans create those machines and make them a part of us.
We could ask, was mowgli more human than all of the suited gentlemen in New York? Of course not. Mowgli was lesser human than them.

Where does it end? Who knows? At this point, Isaac Asimov's The Last Question comes to my mind.
How are we to deal with the problem that the browser developers are also on the side of monetization?
I mostly started reading alot since March 2017 up to now.
I'm pretty sure I'm forgetting alot but, this is what I've been reading or have read so far:

Eternal Golden Braid

Shoe Dog

Creativity Inc

High Output Management

Game of Thrones Book 1,2,3

Never Split The Difference

Presuasion

Like Switch

Mans Search For Meaning

The Hard Things about Hard Things

Norse Mythology

Ted Talks

How To Talk to Anyone

How to win friends and influence people

Mckinsey Mind

Mckinsey Edge

Influence

Extreme Ownership

Everything Store

Inner Game of Tennis

Book of Joy

Phoenix Project

The Goal

Hooked

How Google Works
Legal compliance is not equivalent to courteous driving. The other guy may or may not have been a jerk, but there are also plenty of plausible scenarios in which you were also the jerk, even though fully compliant. e.g. rapid acceleration, scary engine rev noise, aiming the vehicle towards the kids as they were moving off the street. Not to say you did any of those things, but I just wanted to point out that being within the law and not-being-a-jerk are somewhat orthogonal .
https://news.ycombinator.com/item?id=14708546

See note at bottom acknowledging the original.
If you think that 10% is worthy of the appellation 'only', then just watch the froth appear when you tell any HNer that their income will be cut by that amount.
The gist of this seems to be that DynamoDB becomes a problem if you have millions of customers.

Don't worry. You don't. And there will be many good reasons to refactor the architecture before you do.