skysight-inc/HackerNews huggingface dataset:
> On the Rust end - the whole concept of the borrow checker was borrowed from Cyclone

Not really. That's the lifetime system, which is not the same thing. "Existential Types for Imperative Languages", also by Dan Grossman, explains more of the motivation, but the borrow check is a hybrid of the two solutions he presents.

Borrowing itself is something with a long history, but the whole "unique loan paths" thing makes Rust's solution distinct from a lot of the stuff you find in the research literature.
> If you think otherwise then you may have sipped a little too much kool aid.

I know a few critics of Mark Zuckerberg who would be very happy if all he did was sit on his money. They fear what he will do, not if.
> Haskell or Ada (both of which can in some cases be formally verified to follow the spec)

Haskell doesn't even have a spec
Competitive Economy as a Ranking Device Over Networks [pdf]
Laughable. What would they fight over? I love sci-fi too, but let's be realistic.

If Musk succeeds, and I believe he will, it will still be quite a long time, possibly hundreds of years, before there's any notable population on Mars beyond a single city.

They won't have any resources we don't have here, aside from Martian tourist trinkets, and the cost of getting resources from Mars to Earth would defeat any potential profit anyone could make. Musk has said this more than once. In scifi, this plot flaw is usually undone by having the alien planet possess a resource that can't be found or made anywhere else, like Avatar's unobtainium or Dune's Melange. But in the real world, that's not a thing.

If we're not fighting over resources, then what? So what if the Martian colonists declare independence? Independence from who, anyway? "Earth"? Because it won't be an extension of any existing country, it won't just be "US territory on Mars." It'll be its own entity, with inhabitants from a variety of the countries on Earth. And it's not like Earth is going to be demanding "tribute" from it, that makes no sense on any level.

In Heinlein's "The Moon is a Harsh Mistress," the Earth demands grain shipments from the Moon to feed its overgrown population. But....is that likely, really? Are we really likely to be dependent on grain shipments from Mars? It's a fun scenario, but I doubt it. It seems more likely to me that they'll find ways to scale grain production with existing land, as they have done for decades and continue to do today.
Nah, not an issue at all :).

FWIW it's a fun domain space, partially these cool technical approaches(lock-step, dead-reckoning) and partially smart user interactions(how you decide to give users immediate feedback when you won't actually know until 100-800ms later).
Visa is one of the few other companies I'm aware that manages to pull off numbers like that. They did $6.3b in net income for fiscal 2015, with around 11,000 employees.
do you trust their historical accounts? I mean if they're willing to white wash their WWII atrocities, to save face, why wouldn't they similarly exaggerate positives in their history?
Nice. I'd like to see a 4D map of a brain listening to music.
Falcon Heavy is late, but making Falcon Heavy economical means making all of the 3 F9 first stages it uses reusable. They haven't cracked that yet, they've got 2 good landings and a lot of data, but it's far from certain whether e.g. the landing attempt next week will be successful.

Most of their customers do not need the extra payload / push of Falcon Heavy and so they're concentrating on making F9 itself work first. This is reasonable I think.
I would not say 10 fold, but $99 has ring to it ;)
I was just thinking the same thing. It's so easy to look at someone else's public, social media persona and forget about the struggles that they've faced as well. There's immense pressure to show a face of complete perfection, even if that's not the reality.

I can imagine it being incredibly freeing to drop that pretense, both for others and oneself.
With WAMP and crossbar.io, you can already directly query in SQL you PostGres db from the browser. So this does not give you real advanstages over existing solutions.

The real benefit of GraphQL is that it unifies stuff:

- several queries can be masqued as one;
- several storages systems can be queried in one shot;
- the cache layer can be integrated in the graphql server;
- queries can actually no type in any backend and just run code;
- the query doesn't hold logic, just data mapping.
- queries can propagate events, trigger tasks, etc.

The graphql server is nice because it's an intermediary layer, separating your data manipulation from the rest of the logic in your system.

You definitly don't want you DB to be the only one doing the authentification/permissions nowaday, unless you want to script it to do social auth, OAuth, connect to a ldap, etc.

And you do want to be able to graphql your way into stuff that are not into your db.
Few benchmarks from @rygorous:

https://gist.github.com/rygorous/67c78fde615e078117ea1870472... (on PC)

https://gist.github.com/rygorous/9563760e24463a37984c117b572... (on PS4)
For example, there is no way cab companies, the largest of which may have a few hundred drivers, could ever deploy the kind of software infrastructure Uber has developed.

Serious question: What kind of software does Uber use that a company with a hundred employees can not afford?
But what is it's Weissman score?
Ask HN: I'm a Swift dev. Should I learn Obj-C if I want to get an iOS job?
I've been coding in Swift for one year, with some comprehensive apps, including one published on the App Store. I want to get an iOS developer job, but opportunities in Swift are still fairly limited.

Should I take a few months to learn Objective-C and publish an app to the Store? Or should I stick with Swift and try to master it?
Didn't mean to be negative, just informative. Try any of the new gTLDs, e.g. "stuffin.space", "rms.sexy" or "abc.xyz", they won't work.

Or for a moderately amusing confirmation of ICANNs assertion that the current model is broken, try to whois microsoft.com, apple.com or google.com (NSFW language).

I think the current plan is to make whois data mandatory for commercial entities, and abolish the current decentralized model, but AFAIK no work has started yet.

Any negativity conveyed is purely by virtue of the grim state of affairs.

Edit: I just checked your profile and you probably know a lot more about the situation than I do. Feel free to correct me where I'm wrong! Your domain "gtld.club" does not work either, by the way :)
I think the implication was "why is it possible for a programmer to make a stupid assumption". In such a critical environment, one would hope there's oversight and understanding of all of this, eliminating the need to ask on SO.
Interestingly, I recall reading a story suggesting that the CEO was on his way out of the company less than a year ago, when the whole Idaho plant expenditure looked like a failure.

The turnaround is a nice reminder that running a business sometimes requires ignoring the people whose job is to second guess and critique your every move.
AMA with Lee Byron
He's founded several companies, and he's paying the taxes on them with a personal check? Is he doing that all as a sole proprietor and filing everything on a schedule C? Apparently the one thing he didn't hire was an accountant.
The point of the article is that they didn't convince on the merits, they convinced by completely saturating all forms of media with a single point of view, losing repeatedly (still), until they eventually eked out a win. Then when that win was found to be unconstitutional, they paid politicians directly. If that's the core of democracy, I don't understand what was so bad about Pravda.
OP, it sounds like you work by looking up and remember solutions, and assume everyone does the same. You're saying the questions are BS because you haven't seen the solution in a long time (or ever):

> it has been a long time

> I vaguely remember

> this would have been a trivial problem to solve from memory, but that’s besides the point

> Do I remember how to implement those algorithms? No

> I am not a recent college graduate anymore who has breadth-first search memorized

> I haven’t implemented BFS in years, there is no way I can come up with a solution right here and now

> If, and when [...] I will go look it up

I normally wouldn't point it out since it sounds really condescending, but after https://news.ycombinator.com/item?id=11554894 I don't know what to assume anymore:

They don't want you to remember or memorize solutions, they want you to be able to implement it given just an informally explained approach (which you may also be responsible for coming up with).

Converting ideas into code without having seen the code before is a realistic, desirable and not at all uncommon skill.

I don't think it's unreasonable to expect a candidate to be able to write code given the description "These objects have a value and links to similar objects. We want to find a certain value by first looking at all our nearest neighbors, then at their nearest neighbors, then at theirs, and so forth.", even if they had never heard of graph theory or BFS, or seen code for it before.
https://ccb.jhu.edu/software/kraken/ <- taxonomic ID assignment for metagenomic sequence samples
NixiePop 4-Digit Nixie Tube Controller
That's what I thought! Upthere is a newcomer with no business model that I know of, so I think they'll have a hard time beating Dropbox…
Fear what? I would see him as more Bill Gates than Ernst Stavro Blofeld.
Is the speed difference algorithmic, implementation optimization or a mix of both?
Unlike a democracy, in the stock market you can pay to have your vote count for more than others'.
"A substantial portion of every tax-exempt foundation’s wealth—39.6 percent at the top tax bracket for filing in 2016—is diverted each year from the public treasury, where voters would have determined its use." Is this really true? Did Bill Gates actually have any 'Income' last year at all? Sure he has capital gains, and dividends, but none of that is going to be taxed at 39.6%. Which is a completely different topic. But it seems completely misleading to say that taxpayers are funding the philanthropy. Also, did Bill not fund the foundation with shares, rather than taking a tax break on cash income? Either way, it seems like that money that is funding the philanthropy would not have been entering the public coffers if it were not used for philanthropy.
I like your comment:) That's the home version of it, the commercial is $149/year per machine. Basically I need traction, and a community of users, so I'm aiming for it being affordable for people to use at home. I'm hoping this will transfer into people wanting to use it in their companies which is where I charge money. As I mentioned before, I'm a complete noob in business and marketing so I might be going about this very wrong. In any case, I'm very open to suggestions.
I agree, however, I don't see the incentives that would motivate change to the current system.

Where is the mass employee outrage and "voting with our feet" for the wage suppression some of our largest employers supported? We can all have high minded ideals but at the end of the day our options are often VERY limited, as few would willingly take a massive pay cut for their ideals, especially given the inherent commons problem in that many people would need to do so simultaneously for the powers that be to "Feel" it.

How do we actively motivate this change when most of the power and incentive dynamics are _not_ in the employee's favor? (I mean this as an honest question, I don't see any easy answers)
Lying about WWII I could understand.

Lying about a freezing lake? What do the monks gain by falsifying those records?
Tantalizing+Food+Technology+will+Make+Your+Senses+Crawl
> This story reminds me tangentially of the time when Hewlett and Packard, when faced with a downturn at HP, decided to cut pay across the board so the company could avoid layoffs.

It mystifies me that cutting pay instead of getting rid of deadweight is seen as noble or honorable.

If I were working at HP, I would have quit the second they decided to cut my pay just so they could avoid needed firings.
The hosting org' website said it would be coming "shortly".
I'd certainly like that.
Agree! Down the road, Kaggle will be the Kaggle for RL algorithms ;) This provides a really cool open source environment to build on
> Perhaps it has not occurred to the author that many people support charter schools because they're actually a good idea?

No more than the opposite point of view, which wins with a fraction of the backing.

> Charter schools won't be better than public schools because of money, they'll be better than public schools because they try fundamentally different ways of teaching kids.

Or, they won't be better than public schools.
There's not the same incentives to whitewish something so inane, and out of their control...
Can Halo Neuro change our brain efficiency?
Nobody here likes corpspeak, but you can't post comments like this to Hacker News. Please read the HN guidelines and post civilly and substantively, or not at all.

https://news.ycombinator.com/newsguidelines.html

https://news.ycombinator.com/newswelcome.html
They would probably prefer that as well
Ever since I saw an invoice for Good for Enterprise (office nickname: Good for Nothing) I've realized enterprise buyers aren't too worried about name.
That sounds like they were looking to scrape the bottom of the barrel. If programmer salary played a key role for such a critical piece of software, they have bigger problems.
Exactly, consider the case in the article, lunch breaks.

The employer has ALL of the power in the employer/employee relationship without unions. If the employer hints or suggests that you work through lunch for no pay and you don't want to get fired, you skip lunch. Regulations are the only way we have left to ensure employers don't abuse their employees.

Employers have worked very hard over the last century to destroy unions entirely (in the public eye with a very powerful propaganda campaign, with intimidation and physical violence, with lobbying and changes in legislation) and they've largely succeeded. Well, you decided you don't want to negotiate on even terms with your employees and find some reasonable compromise, you want to treat your company like a dictatorship, so now the government has to come in and set ground rules since you couldn't play nice. Sorry, no sympathy.

I think exempting businesses from most regulation if their workforce is unionized is a reasonable compromise. As a business owner, you can choose; the negotiating table or the government can come in and tell you exactly what you can and cannot do in great detail and force you to prove that you are compliant. If you have a good relationship with your employees and treat them well, this is a win-win no brainer.
Yeah I always wonder what kind of "black ops" such huge companies/fortunes end up with. Do they really not have this kind of stuff? I have first/second-hand knowledge they have fairly competent internal affairs people that will do things akin to spying to find, say, internal corruption. (i.e. a manager in one part of the corp stealing money.)

Seems like for critical things they should have no problem setting up fake companies or handling espionage, etc. What stops them, from, say, paying an employee a large bonus to work for a competitor while feeding back information?
My understanding is that the FBI wanted to see which, if any, third party messaging services the phone's owner was using and his usernames so they could serve a subpoena to those services.
It's bro culture. They don't want introverts -- they want people to drink and watch the game with who they can high five.
I'm sorry you're getting downvoted and I think it's undeserved.

You asked an admittedly ignorant question, but it was somewhat interesting. It's a nice reminder that most of our economy still does depend heavily on the labor of many humans.
the point is that if you only look at his CV, you see those 7 pages and 3 world-class universities. it doesn't show how many times he's been rejected - but this failure CV does.
"Types => memory safety"? Only for certain definitions of "types", not all of them.
Yes. Vendors are usually hostile to researchers, and vendors generally do feel entitled to researcher work-product. Their feeling is, it's their code, so they're entitled to know about problems with it.
Right, the point would be for the hash to strip out file info, line numbers, whitespace, comments, any stylistic choices which turn out to be equivalent "under-the-hood" in some straightforward way, and probably even the bound variable names (with de Bruijn indexes).
In Microsoft's case the purpose is stalling them so you can buy something that will grow.
I'd say anyone who has special clothing for cycling is an enthusiast, particularly if it's more than $50 worth.
We took "Far better than Unix Pipes with multistream+multilevel dispatch" out of the title. That's editorializing, which is not allowed in HN titles.

If you want to say what you think is important about an article, you're welcome to do so by posting a comment about that to the thread. Then your opinion is on the same level as everyone else's.
Successful companies don't reduce their effective tax rate below the official 35% number?
WW3 MUSLIMS TO OVER RUN WORLD,BIBLE PROPHECY
This is kind of my line of thought. I wouldn't go today, but a couple decades from now once I've had kids and they're grown up? Sure, why not.
But that's exactly what a representative is: A delegate you entrust to vote on your behalf.
this is on the front page already. Please check for duplicates before submitting https://news.ycombinator.com/item?id=11583900
Is "managed to amass a fortune" adequate qualification for ANYONE to decide which social good gets funded and which one does not?
Oh, I understand the reasons for the delay, and they're good reasons. I was just pointing out they tend to miss their time estimates by a wide margin.
He's been winning the game every step of the way by not letting go of something he held from the start.
Yogurt (or any manufactured food product, really) is surprisingly high in complexity...

I'll echo the GP post - I'm a bit surprised at the amount of surprise. Maybe we need to be doing a better job of educating people about these things (or conversely, maybe we need to do a better job of sticking our heads outside our respective bubbles).

Obviously cars and yogurt are not directly comparable, but I'd wager they have similar dimensions of complexity - you have a lot of raw material provided by a lot of different vendors, all of which need to be managed and their output verified aggressively. Ford for example outsources the bulk of the parts for their vehicles, both R&D and manufacturing, and has to manage these same vendor relationships.

You have a lot of logistics when it comes to bringing a lot of different inputs together.

And then you have complex, precise manufacturing processes that not only have to be highly productive but also highly safe. There's a lot of human labor involved when it comes to compliance and safety, not to mention simply operating factories.

And then you have a lot of complexity in logistics to get the product to your customers - arguably Chobani is substantially more complex than any car company here, since there's a wider array and number of retailers than there are dealerships - and the relationship between supermarkets and manufacturer is more distant and harder to control than between dealerships and car brands.

All of this before we get into the administrative side of the company: marketing, sales, etc.

I'm surprised they can do it with as few as 2000 people.
Feel free to give it a try, but I don't think adoption will work that way for this kind of product. Have you thought about reaching out to financial blogs? You need to get this in front of people.

Also, $149 is nothing for a business. If you're selling to a financial business, whose $100-200-300k paid employees use Excel a lot, it's easily worth $500-1,000 per license (or more!). You need to price for value in the context in which your software is being used.

The trial version should be sufficient to convince people to upgrade -- asking for an e-mail address before initiating the download probably isn't a bad idea. :-)
How hard could it be to learn a different language? Good engineers can write in any language.
Well, $99 seems fair to me as well:) The reason for the low price now is I need the users and word of mouth. I'm well aware it's worth a whole lot more than $19, but right now I just don't know how to get it in front of potential customers other than by keeping a low price for a month or two.
Thanks for the comment. I had to strip out a lot of background info in order to get under the post limit. I'd like to continue working in software development and I am really seeking a position where I am going to be challenged and be able to contribute in a meaningful and visible way. I feel like this decade of my life should be a peak career-wise and for that to happen I need to make wise choices now.

I'm interested in hearing more about your thoughts on Google. Email at tortartificer[at]gmail.com.
There is a completely different meaning behind what you're claiming it says and what it actually says. If we can just inject our own meaning into words, they lose purpose.

I interpret the Golden Rule as it is written -- a bad rule, from an intolerant time where everyone was expected to be the same. It never really applied, but now we have the cognitive tools to identify it as bogus.
Not only is there a chart, but the article also includes the sentence "Tesla fell 40% from the end of December to February, but has since erased those declines."
Certainly you'd want to peruse the README before asking questions in a chat?
Decent article but it's missing a lot of the things I expected to see, given the introduction. This seems really focused on the things I'd consider most analogous to "physiological" and "safety" needs. Writing code is a very basic part of software development, like chopping vegetables is a basic part of cooking.

To me, Maslow's hierarchy of needs is interesting because it tops out at "self-actualization". Maslow is effectively saying that the most important need a human can fulfill in their own life is the need to have a purpose and to live out that purpose.

The top of the analogous hierarchy of software development needs in this post, on the other hands, fizzles out at "patterns". What about understanding how different patterns are used to make a working piece of software? What about fitting separate software systems together to make a functioning product? What about shaping a product to fill some kind of need in the world?

My hierarchy would look something like this (with less bad ASCII art):

/-----------\
/ Meeting requirements
/---------------\
/ Designing software architectures
/-------------------\
/ Manipulating software systems (e.g. implementing an HTTP service, setting up a database, etc.)
/-----------------------\
/ Writing code (e.g. accessing APIs, implementing a function, etc.)
/---------------------------\

with "meeting requirements" at the top since that is the most important thing to be done as a software developer, and it can't be done without addressing the needs below it. It's not as lofty of a name as "self-actualization", though.
How would Apple know that _a_ vulnerability they know of is _the_ vulnerability that the FBI used, and that the FBI does not want to talk about, other than that it gave it access to one iPhone 5?
Link to his CV? never heard of the guy and his name isn't on my clipboard to search