skysight-inc/HackerNews huggingface dataset:
I think anyone with a CS education can design something like that given enough time.

It isn't a question of whether you can do it, it is whether you can find a 'good enough' solution in an optimal amount of time. It is testing your creativity and problem-solving abilities.
It's one of techniques I used to recommend although for anti-subversion instead of safety. I was worried whst you said might turn out true. My solution and hypothesis is that using three, very-different languages should counter that effect. Hard to imagine the same error happening in PreScheme, SPARK, and C.
From the police scanner audio [0]:

"Information for our units [inaudible] at Apple Campus, Infinite Loop, for a 10-56 attempt... female employee bleeding from a head wound to the head, possibly has a gun. Looks like security was escorting the employee down, and the West Side units is now arriving. And I do have further [inaudible] that they are advising there’s a body in one of the conference rooms with a gun so we’re not sure if there are multiple people involved."

10-56 is the police scanner code for a suicide. The audio refers to a "female employee" when the police confirmed the victim was a male, so I'm not sure of its veracity.

[0] http://www.tmz.com/2016/04/27/apple-campus-body-found-cupert...
Maybe more tech companies should start using some of their revenue and funding to invest in training for people with the will and potential to get past that first year of experience.
As far as I know referral is just a guarantee that you will be called back after they see your CV. It doesn't guarantee you getting hired. I've referred plenty of people and a lot of them never got hired or even failed the screening phone call.

It just means "hey, try out this guy" and they won't be throwing away your CV into the pile of hundreds of thousands of CVs they get every year. You still need to go through everything like everyone else.
I'm willing to believe the explanation for this particular case, but I find the Cancellara video to be much more damning, and a pretty strong hint that mechanical doping has found its way into the highest levels of the sport:

https://www.youtube.com/watch?v=8Nd13ARuvVE

The way he just smokes everyone around him without changing his cadence, standing out of the saddle, or even changing the expression on his face seems at least a little suspicious.
There was a paper shared on HN a month or two ago about this. Winners cheat more. Not just cheaters win, but winners turn to cheating. The high from a win is addictive. It feels good, so you want it to continue. Winners also pick up the feeling that they deserve to win and so cheating is somehow justified. Add to this all the external pressure and the monetary rewards and cheating isn't really surprising at all.

I bet if you did a survey of cheaters in pretty much any field, you'd find that the biggest offenders are not people who had no chance without cheating, but people who had significant success and then turned to cheating to continue or to increase that success.
OK, so we do have a federal agency to monitor this stuff. We also have police. Does this mean that we should not be annoyed when criminals do their crimes, or not be annoyed that we need to be vigilant and protect ourselves against criminals?

Of course not -- these federal monitoring agencies/police are a necessary burden, and they only marginally prevent crime -- the crimes still happen, and the agencies/police only come in after to investigate and punish. Meanwhile, people's lives are harmed or ended -- by the criminals -- who act with impunity until caught and punished.

Now, are Holmes and the rest of Theranos' mgt criminals? Of course none of us actually know, we have only a preponderance of second-hand evidence from the press and from government actions. If you are saying that we shouldn't trust any of this, that Theranos is really a bunch of upstanding citizens being brought down by a malicious government and press, then say so.

Otherwise, if there is a reason to put some trust in the actions of the govt and the press, then we shouldn't be the slightest bit surprised at the anger, schadenfreude, and impatience to have them taken down.

IMO, based on the public info, Theranos has become a criminally fraudulent enterprise, and my biggest emotions are anger that they got away with it for so long and impatience at wanting to see them taken down sooner (of course, if it turned out to be a malicious govt and press, then I'd be defending Theranos even more strongly than I now despise them, as a malicious govt and press are an even bigger betrayal of our trust).

Re: If they didn't actually do anything illegal and just ran out of money? NO, simply spending down the funds until they are exhausted on a known dead-end project is not fair.

At this point, they've had and years of time with unrestricted access to hundreds of millions of dollars for R&D. They will have either 1) a known path forward with a method that can be engineered into a usable solution, or 2) the knowledge that there is no such path in sight or that they are obstructed by physical limits, or 3) neither of these.

If 1), they should already be engineering it towards success (and not testing it in the field with unqualified techs).

If 2), they should politely shut down and return unspent funds.

If 3), then they have and incompetent R&D effort and should also return the unspent funds.

Simply continuing to spend down the funds in condition 2 or 3 is at the very least dishonest/fraudlent to the investors (or other entrepreneurs who might access those investment funds), since it is now known that there is no realistic chance for success.
Almost none of the people currently living in SF will get to see their grandkids. Statistics tell us the vast majority of their children will be forced to move away; even if you have a good career ahead of you and in theory would be able to afford to buy in the bay area, that's typically later in your career.

Are you really going to live with your parents after you've been married for a year and have two kids? (Yes I know some people will but the vast majority won't).
I know that Vermont effectively abolished slavery by 1777. Massachusetts effectively abolished it in 1783. There were still lots of loopholes though.
>that a mid-to-upper class family in California might decide to move to Mars instead of buying a house on Earth

I don't know the details of what he suggested, but, when we talk about 'families' I think most parents would hesitate to subject their children to the rigors and risks of an early-stage Mars colony, even thought they might be keen themselves. Retirees, the childless, and people without plans to have kids soon would be a safer bet for early colonists
A possible reason is the fear of losing intellectual property. Providing a machine readable format makes duplication much easier (although you'd still have to deal with the implementation). The funny part is that the Oracle vs Google API Lawsuit in effect sets a precedent that protects API specs - so this should really not be the case.
There is discussion of a WebAssembly backend which lowers MIR directly, see https://github.com/rust-lang/rust/issues/33205.
>I don't know if this is possible in C++03 or not.

It is/was. It could be used to manually create a lambda function.
To the extent that the US government believes something like that will happen, I expect it will develop sufficient capability to eradicate the thruster (and the people controlling it). If it has to have a militarized orbital platform, it will. I guess in some ways that super-capable ballistic missiles would be more politically palatable than a militarized platform. Such a thing could just be launched at any object that showed a suspicious early trajectory.

Anyway, I meant economic dependence; if you have investors that are on Earth, they will expect you to do what it takes to get them their returns. That means complying with governments. So in that scenario, dependence is simply needing that investment.
A slight side note: this is one of the most difficult parts with using Hacker News on a mobile device. I fat finger upvotes all the time! I wouldn't mind the ability to change a downvote to an upvote and vice versa, even if it was time limited so I could correct any incorrectly voted items.
Ah! Okay, that makes a lot more sense and definitely reeks of 90's era Microsoft-tier anticompetitive behavior.
...for all definitions of animals that don't exclude humans, yes. Humans have unique characteristics that are central here, like effective use of abstract language, social stratification, and socially managed resources.
You don't have to pay it, but you won't be racing again. As a former USA Cycling official, I'd occasionally fine riders for infractions (usually $20-50 payable to the youth rider fund). They didn't have to pay it, as I had no enforcement authority outside of bike races. However, if I saw you next week and you hadn't paid the fine, you won't be at the start line. I couldn't make you pay it, but I could prevent you from racing.
yes and no of course ... yes dotnet cli will be exactly this and it will be GREAT (IMO)

but it isn't actually "out" yet (you can get your hands on it but it will be buggy)

still, will be 100% fantastic.
You commented on the import ordering so clearly that's what I'm commenting on.

Not following the PEP standard for python import ordering can cause issues like circular imports or monkey patching not working properly.
And of course we then will have to hear the sad stories of companies saying "they can't find talent"

And that's not even going into the salary/H1B issue, the problem is much deeper than that.

- I was an advocate at first, but take home exercises are pretty much useless. Because they at best won't fail you. And of course you could have written a new sorting algorithm that works on O(n) but what you'll get back is a complaint about coding style

- Having a github might be nice but as the article says it seems to be also in the category "won't fail you". It seems to barely matter

- And of course companies like Google ignore everything and make a test out of your interview, fail/pass grade, period.

People are probably missing an empathy component or working outside of the "SV tech clique" where if you don't code for 12h per day and doesn't know all libraries and algorithms by heart you're not even considered
I don't think this new work would be useful for that. It's an internal compiler IR for programs in the process of being optimised and lowered, not a general format for representing Rust programs for user applications.
Or just click "web"
Yahoo waves the white flag, puts its biggest critics on its board
Yes, it seems that Google is held to a completely different standard than their competitors.

Google open-sourced Android, and now competitors like Amazon build Fire Phones and Fire Tablets. Can you imagine the same openness from Apple or Microsoft?

Google allows alternatives to the Google Play Store like Amazon AppStore. Apple and Microsoft are locked down.

Apple won't let you create an app that competes with Apple services, but Google does. Apple and Microsoft default their maps and other apps. Microsoft defaults Bing as the search engine on mobile and desktop, and Apple requires a billion-dollar payment to default Google search on iOS.

Where is the anti-trust action against Google's competition? Think about why there might be a double standard here.
Not to mention that it shorts itself out on every plug/unplug. There's a reason this style of connector never took off for any other application.
I Am Not A Language Lawyer, but there's no way that negative indices aren't UB in C.
Docker and microservices introduce new operational hurdles
LLVM doesn't ever even bother with rewrite rules. That's done substantially earlier in the compiler, at the Core phase (rewrite rules are 'just' equational reasoning optimizations that the compiler is aware of, so it works roughly at the level of the program you write, vs any more complicated intermediate form.)

There is still some inlining/smarts going on at the LLVM level, obviously, but it's nowhere near as aggressive as it is at the Core level in GHC. And obviously rewrite rules are user-definable - so they kick in much earlier. (As a side note, we actually spit out pretty optimized LLVM code from the C-- backend, in such a way that only some of LLVM's heaviest optimizations make a difference).

There are some specific optimizations that are simply not possible for LLVM in the general case and are better handled before conversion (for example, C-- at one point essentially gets CPS transformed in a way which LLVM cannot 'see through', and by that point you've lost the opportunity to do a number of simpler optimizations like basic constant propagation, while it's trivial to do earlier). But that's mostly the same in any compiler, and not unique to GHC...
The UK is for-real working on simplifying their tax code: https://www.gov.uk/government/organisations/office-of-tax-si...

At the moment they are trying to harmonize income tax and National Insurance (which is not entirely unlike income tax (especially because it all goes into the same pot), but it has exemptions for various groups which income tax does not (e.g. seniors collecting their pensions). So any change will invariably throw some group under the bus, which is why it's politically hard to do.)
Lambda-calculus in lambdatalk
The lambda-calculus is amazing and rather terce. I read a lot of things here and there, written by smart people, but I am not sure that I understand what is to be understood. So, using a small lispy dialect I am working on, lambdatalk, I decided to translate some primitive objects of lambda-calculus - Church numbers, a set of operators (succ, add, mul, power), pairs, computing factorial - and I wrote this page [lambda_calculus](http://epsilonwiki.free.fr/lambdaway/?view=lambda_calculus). It's a work in progress. I feel I understand a little more the lambda-calculus :)

I wonder what smart people like you could think of this work. Your opinion is welcome. Thanks in advance.
Considered and promptly rejected. Not worth my money, probably wouldn't pay even if it was worth it.
What frequently gets looked over is who you're reaching out to. It doesn't do you any good to reach out to a rank and file developer. You need to reach out to (is seduce a better word?) somebody with hiring authority in order to bypass the ridiculousness.
Exactly. One of the first things we learned in my UNDERGRAD security class is that "good" security which is unduly onerous will just make users route around it and revert to plain old bad security. The canonical example was ridiculous password requirements which just make people put their password on a post it on their monitor.

As you said, security requirements that are that onerous and too rigid to relax when necessary is just shittily designed security to begin with.
Breaking Steam Cryptography
A subset of people in Boulder are convinced that the problem is not housing, but "too many jobs". I wish I could send them to spend a year in Greece or Southern Italy or some other such place that is blissfully free of those awful jobs.
As buzzwordy as it is, "pinging someone" sounds even worse.
Top 5 reasons to move to linux
It’s a quote.

https://en.wikiquote.org/wiki/H._L._Mencken#Prejudices.2C_Fi...
I would think the fact that they don't have an official bug bounty program makes it unlikely they have an unofficial one. If you are buying, it doesn't harm to make that public.

On the other hand, cases like these may make them consider starting a bug bounty program. and of course, they may already be advertising where it matters (e.g. by calling various hackers, or by using an intermediary to buy hacks) without telling the whole world.
Co-founder here. We made Understandly because I had difficulties managing translations of short texts. I'm doing digital marketing in multiple languages (mainly Google AdWords and Facebook), and keeping track of the translations in a spreadsheet proved cumbersome.

Understandly has features that makes it easier to manage large amounts of translations as well as features that helps you collaborate with your translators and team members.

We'd really appreciate feedback, especially on what features we should add. You can reach us on hi@understandly.com or right here in the comments.
Here's me with my parents and a bit of silver in 1979

https://i.sli.mg/d09Ktt.jpg

My parents ran a supporters club out of their pub. Would you believe the club dropped it off and came back for it the next day !
Google replaced their XMPP messaging system by Hangouts, a 100% closed protocol with no signs of even wanting to open source it.

From a FOSS pov, both Google and Microsoft have positive and negative sides to it. They're massive companies, you can't judge them as one giant blob.

What MS is doing right now with .NET is fantastic for open source. Just like what Google is doing right now with Hangouts is frankly bullshit. Judge actions, not entities.
I get some of that "praying I [won't] run out of space" with programming microcontrollers for home projects.
There are no blue foods.
I mean, if you stick with the stack and avoid pointer manipulations C++ can be pretty damned safe. Still, there's a reason Ada is typically used for things like flight control systems....
The parent was talking about BFS, it's not exactly clear to me why you're asking about Dijkstra's. The two things are entirely different and, as the parent said, it's akin to asking bubblesort vs radix sort.
I really don't see many multi millionaires sitting on Mars trying to do subsistence agriculture honestly and if some want to, they are welcome...

You are missing the point. Capital funded the moon missions as well - just in that case it was the capital of the community you belong to, let's say your nation, so you feel involved. Nowadays NASA can't even put a human being into orbit any more - and that's not the fault of SpaceX.

As a "public Common", everybody should be allowed to go there. That's not the same as to claim ownership, which indeed should be publicly and very well regulated.
Is the U.S. Ready for Post-Middle-Class Politics?
FB Offering Some Content Creators 250K to Post Videos
Canada is in the same boat, with taxes and regulations changing between provinces. Yet they don't manage quite as much complexity in their tax code!
MS has had in the past a systematic pattern of bullying, lying, cheating and a willingness to destroy social welfare by eliminating the competition and making their products the only option available in the market. This is extremely damaging. Yes every company wants to make money, but not every company will resort to that kind of sociopathic behaviour. Maybe they've changed, although I doubt it. I'm just saying - be careful.
I admire how Musk is so certain about his decisions and is willing to risk all.
Not a problem if you use iOS9: https://labsblog.f-secure.com/2015/09/09/apple-ios-9-securit...
For Android, you can root it and disable USB host functions when locked.
Same here :) Right now, we're just starting to automate a bunch of work that our one overworked analyst does manually with GA, FB marketing insights, and a bunch of third party services. She is asking dev to extract data sets that crash Excel when she imports them :/ We need to integrate all of this data into one somewhat consistent stream. Then whenever she asks for a data set, we (I) need to ask her what she's going to do with it, and whip up a little stream processing service that can answer that question continuously. Preferably in chat, not with a big fancy dashboard, because really, all those graphs are just a means to an end. Her output isn't a graph, it's a single paragraph recommendation or a boolean answer to a vague question.

I've just started looking into Apache Kafka and Storm. The whole stream oriented paradigm looks really promising. If we could archive a huge torrent of incoming events, and then build little stream processing services over time, as specific questions come in from analytics, and replay old events through the system, I think that would put us in the position we want to be in. I've been playing around with Storm on my laptop in clojure (Clojure is awesomesauce), and contemplating how we should deploy this.

As far as deployment goes, what I would like to do, is set up a big fancy Mesos cluster to run all these little stream processors, and heck, might as well run all of our product services in it too. What I will probably have to settle for, is starting off on a single EC2 instance that occasionally has little accidents. My ops skill are... a work in progress.

Anyway, if you want to get in touch, shoot me an email or something. daniel.ross at kasra.co. It would be really cool to watch several of these systems built up in parallel, so that we could all see what is working and what problems need to be solved by a bigger group than our own. It isn't easy convincing the CEO to let me open source stuff like this, but it also isn't easy to hire developers who can learn a new sub-field and build something cool in it, at least not for a relatively small company.
That's still one click too far. It wouldn't cost anything to add a single line of text on top, while arguably persuading more newcomers to try and learn Vue.

Which is great, BTW, I used it in a couple of projects with LiveScript and it was a pleasure. It doesn't assume much about your code and you can fit it in any kind of architecture you happen to have. Good to see a progress here!

EDIT: wait, it's already there (the mention what Vue.js is) in the article:

> In case you’ve never heard of Vue.js before: Vue.js is a front-end framework that consists of a core view layer and accompanying tools & supporting libraries. You can read a high-level introduction to what makes it different here.
I suspect that the MIR idea could (should?) become a pretty common concept for a large number of LLVM-based languages. the LLVM IR is very low-level, and in most modern languages there's a big gap between the programmer-friendly features they have and "the bare essentials that still capture the same ideas".

I also suspect that the act of designing a MIR for a language is a fun one, should be pretty damn enlightening. It really forces you to focus on what's "core" about the language.

In my own, limited, experience with language design and compilers, I've found that doing something like a MIR greatly simplifies other parts. Code written in MIR (in my case, it didn't even have a concrete syntax, just an abstract syntax tree) is full of duplication and is ridiculously explicit, but it's super easy to process in all kinds of ways.

Just plainly guessing, but based on this blog post, if I'd write a Rust interpreter, I'd probably run it on MIR and not on plain Rust or LLVM IR.
At Chobani, Now It’s Not Just the Yogurt That’s Rich
That sounds nicer than what 95% of programming interviewers actually do, which is something rather different.

Almost all are simply playing "programming trivia." They name an algorithm or a data structure, and then evaluate whether you can recite it from memory. That's it. There is no problem-solving element involved. It is purely a test of whether you can memorize and recite.

This requires a lot less effort on the part of the interviewer than the style you describe, and also bolsters their ego and makes them feel clever when they find a candidate who can't recite properly.
Antitrust law is concerned with anti-competitive contracts and agreements. Apple controlling what Apple ships on Apple hardware is fine. Google controlling what Samsung ships on Samsung hardware is not so fine.
I don't really agree with this. We do people a dis-service if our goal is to simplify things rather than help equip people with the knowledge and skills they need to truly understand a subject.

Things can only be simplified and abstracted when there are people who are willing to get into the weeds and 'geek out' about the hard to understand and hard to explain stuff. A lot of that knowledge is hard earned, through great perseverance and personal discipline. There is joy in that which many people miss out on. I wish more people indulged in geeking out.