skysight-inc/HackerNews huggingface dataset:
> I think the 2017's focus on productivity is very important.

If the yardstick of “productivity” is how fast you can write incorrect programs, I'm not terribly interested in “productivity”. I'm sick of being a defensive user, having to refrain from probing how systems work in undocumented and likely unforeseen scenarios, lest I completely break them in unrecoverable ways.

I'd rather see an axiomatic semantics for unsafe Rust, so that I can formally prove that my unsafe Rust code doesn't break safe Rust's integrity guarantees.

> So now that even them have got the AOT memo, and Go and Swift also exist

Support for running in an unmanaged environment is a red herring. If you want to manage resources correctly, you have to care about ownership and lifetimes, regardless of whether you are doing systems programming (user programs manage resources too), need AOT compilation (JIT-compiled programs manage resources too) or need a GC-less environment (GC doesn't work for resources that need to be reclaimed eager and deterministically).

> I imagine Rust's image should be better than a language from experts for experts.

I have no idea. I'm not a member of any community (not a “Rustacean”, not a “Haskeller”, not anything), and I have no personal interest (financial or emotional) in any specific technology becoming popular. I only care about technical facts. Are facts for experts only?
I don't know, I think there are a number of factors about illegal heroin that make it less attractive than legal heroin might be:

1. Buying it illegally funds criminal organizations

2. Quality is terrible, it's certainly adulterated

3. Association with low class and poor people

You can ingest or smoke opium products, too, if the needle is the off-putting part of heroin.

But yeah, another anecdotal perspective: I've had prescription opioid painkillers but don't have any particular interest in continuing to use them after the pain goes away. So if opioids were legal tomorrow, I don't think it would change my behavior at all either.
There's nothing to prevent your phone or laptop or smart TV / fire alarm / etc from doing so, either. Why single out Alexa?
The Persuasion Filter and Immigration (Scott Adams)
The Billing Block
> In spite of their best efforts, it is not the "grandma friendly" quality software it hoped to be.

Grandma didn't customise her installation to put /boot in its own, small partition.

FWIW, you can run "apt-get --purge autoremove" to remove old kernels since at least 16.04 and maybe 14.04 (I don't recall). Not fully automatic, but at least it is one command. For fully automatic, you can install and configure unattended-upgrades and configure it to autoremove automatically.
Sunday morning and I have a strained relationship
I knew Roger through a meetup group and a mutual friend. I'm sad that our community has lost such a bright and talented person. He was a big inspiration and will continue to be. I'm glad to hear that people are mobilizing to keep Shard going.
We currently use short-lived feature branches, merged via Pull Requests (+ review / automated testing) into the main development line. This way, we can communicate changes in a detailed manner before they are added to the product and make sure there is no unfished or bad code in the main branch. (The dev team is small, 5-8 devs).

I don't see (yet?), what benefits TBD would provide in such a setup.
P2P file transfer in the browser
That multiple involved people were totally willing to suspect/blame Heather is rather more troubling to me than the actual act of sabotage (if only because a tendency to assume that such sabotage is self-inflicted can let culprits get away without even being suspected).
>I'd never buy another Mac Mini: they're too damn hard to upgrade (disk). It's like doing microsurgery, and I'm no surgeon.

I had no problem replacing the hard drive in my 2011 Mac mini, and it was only the second time I'd ever worked with laptop-type components. And the first time I gave up shortly after opening up the case (of a machine that had been given to me in non-working condition).
Can I write an ASIC with it?
Somehow its becoming just that: 51/49 split everywhere
I'm surprised that those machines are just being set up in the US. We've had them for years here in France at most American fast-food franchises.
>This means incorporating the Rust toolchain into the build of the C/C++ project Makefile, or etc., system.

One warning I can give you based on recent HN posts:

Embrace Rust fully. Many expect Rust to be a "safe C++" or something of the sort, and try to port not only the code but their way of thinking into rust... which leads to pain and frustration.

You seem to have lots of experience so maybe you already know that, but I'm pointing it out just in case ;)
It's good as long self-termination is a nice-to-have feature. If you REALLY want them to self-terminate but you found out that they mutated and can now synthesize X & Y, you're in trouble.

Genetically modified organisms are a bit scary, but genetically modified organisms that replicate autonomously are more than a bit scary. As programmers - a profession that managed to spread Shellshock, the dumbest imaginable backdoor, so widely as to make much of human population vulnerable, we should understand this better than others. We have no idea what happens in our own code, code that we copy from place to place ourselves, written in languages we designed and running on machines we designed, and there's nothing like mutation and self-replication with this stuff, for the most part. I kinda doubt that biologists modifying "code" which is actually pretty large molecules existing and interacting in a 3D space with a lot of forces pulling and pushing things, and without the benefit of comments or design documents, can make something that can be trusted to autonomously replicate and gradually mutate.
Personally, I think "Installing and Running a GNU/Linux Environment on Any Android Device" is a bit misleading. The GNU/Linux environment is just an application running alongside Android. There are a number of similar apps available for Android, most of them rely on chroot to accomplish what they do.

I wrote SSHelper, which does something similar (without using chroot) -- it provides Busybox and a command-line environment, but it's just an application, it doesn't replace Android. Using chroot creates a more complete environment, but all these solutions rely on Android being present in the background.
Replying to a sibling (dead) comment:

> Go take a stroll up to Vancouver to the safe-injection site they are modeling this after and you'll discover destitute conditions in a large radius.

The site is located in the Downtown Eastside - aka "the poorest postal code in Canada" which had been like that long before the site opened.
It is an unusual affront to democracy. Democracy depends upon a well-informaed public making rational decisions. It cannot and should not be gamed by for-profit "market makers" at the expense of the American taxpayer and the American people.
I'd argue the root cause is the decreasing utility of unskilled labor in an increasingly automated economy. Automation is inevitable, not the result of a few executives "authorizing" R&D. Describing it that way is a gross mischaracterization.

> The issue is that someone's trying to imply that merely proposing that the US has a modest minimum wage is enough to endanger people's livelihoods.

I didn't interpret the argument that way. To me it read as: look, here's a machine replacing unskilled labor at the current minimum wage, imagine how much more common this will be if it were raised to $15? Unfortunately they didn't provide any actual economic analysis as to the answer to that question and instead just smeared a political party; very low quality article indeed.
> You mean the same one that a year later wrote about how cool it is that Oxide supports DX 12?

The main point that you conveniently ignored in the link above was this:

> Oxide has a strong interest in supporting platforms
> beyond Windows. Our hope is that Mantle will be a call
> to arms to bring an industrial-strength API to such
> platforms as SteamOS, Linux, Android and MacOS. The
> biggest problem for us moving to other platforms is the
> relative weakness of the graphics software on the
> platforms. Added to this is that we yet have no word on
> whether we can have D3D12 on Windows 7. From a business
> standpoint, it makes little sense to rely exclusively on
> Microsoft doing the right thing.

You of course would pretend he didn't mean that. But he did, and he spoke about Vulkan quite a number of times.

Vulkan came out when exactly? Yes, February 2016. So he couldn't have spoken about implementation of WIP API in their own engine until then. But he spoke about Vulkan design itself around that time, like "Going Wide: Vulkan and Many Threads". See https://www.khronos.org/assets/uploads/developers/library/20...

See others in that presentation talking about the need for common standard. And again, don't try to claim they aren't representing the industry - all those people undeniably are representing it.

> As I said, you don't get how the industry works.

The "industry" you have in your mind doesn't represent creators, but backwards thinking legacy players like MS who profit from lock-in. They aren't moving the industry forward. You made it clear whom you support.
Well, cookiecutter came first, has a huge library of supported templates, and works across multiple languages.
Which is only available on Android 7 (0.2%), GNU/Linux, Windows (no major titles announced, https://en.wikipedia.org/wiki/List_of_games_with_Vulkan_supp...) and Swift (yet to launch, developers also get NVN).

Ah, and when using Unreal Engine, Crytek or Unity it doesn't matter.
There's actually one step before "build product" if you want to to play it a bit more safe and not gable on 4 years of your life. That part is "validate idea". I found this article https://medium.com/@cliffordoravec/the-epic-guide-to-bootstr... incredibly helpful, realistic and motivating in the sense that it sets realistic expectations.
While i also skipped that step and went directly to build the product, i was lucky that when i got to the step of validating the idea it turned out to be ok.

By the way, i am selling shovels over here :) http://graphqlapi.com
Ferrari in Hawaii like Magnum P.I. They're not mutually exclusive though. I'm often asked at dinner whether I want chicken or beef, and I'm able to decide and be quite happy with the decision.
The largest ISP here in the Philippines does the same thing. Is this some sort of new feature with carrier grade routers?
I think you can hold your fire. Don't you think it is true that in some cases a pleasant web interface disguises the old guts of a legacy system? I see absolutely no insinuation that all web interfaces are more pleasant than TUIs.
>"Soon the McDonald’s workers Sanders and Democrats promised would get a “fair living wage” to take customers’ orders for Big Macs “will have absolutely no wages at all courtesy of the ‘Fight for $15,’ ” Zero Hedge reported on Jan. 26."

Because even if there were no fight for increasing wages McDonalds wouldn't automate their restaurants
There's supposed to be zero drivers available during a strike
It's not clear to me from a cursory look through the docs how the scheduling system works. "Erlang-like" concurrency works so well predominantly because the runtime uses preemptive scheduling instead of cooperative (which is what basically everything else uses, unfortunately).
Show HN: A GitHub integration for Python code style
Carmack did a bunch of exceptional work by like 20/21 years old right?

Sometimes people are brilliant even when they are young.

Calling out Hollywood for exaggerating seems kind of silly, I thought that was the point - creating interesting experiences that may be largely synthetic.
+1. Can't wait for them to start "protesting" against the exact same kinds of drone strikes and bombing raids Obama ordered for years when Trump starts ordering them.
Maaaats' answer is excellent, but I thought I'd add one bit for non divers.

When you learn to dive, the most fundamental fact you learn is that the every 10.5m you descend under water adds 1 atmosphere (bar) of pressure. It's customary to round that down to 10m to make the calculations both easier and more conservative. But the important realization from this calculation is that pressure changes more rapidly near the surface. Descending those first 10m doubles the pressure. From 10m to 20m only adds 50%. From 20m to 30m adds even less, 33%.

And it's that percentage change that is most noticeable underwater. You have to equalize the pressures in your ears and sinuses most in the first 10m under water. And since pressure effects your body's ability to deliver oxygen to the brain, that rapid decrease in pressure near the surface when surfacing is where someone low on oxygen will pass out.

This also explains another part of maaaats' answer. Since a freediver is wearing a wetsuit that compresses with pressure (and the lungs also compresses with pressure), their buoyancy will depend on depth. Being neutrally buoyant at 10m deep is a common practice for all but the most experienced freedivers. This means for those first 10m, you actually have to kick your fins to go down or else you'll just float back up to the surface. But beyond 10m, you can just let gravity take you down. And it works the same way coming up. You actually have to kick to get back to 10m, but once you pass that point, the buoyant force starts to help you get to the surface. Experienced freedivers might actually exert themselves less in those last 10m since they've got that assist from buoyancy.
That last part got my attention! I'm currently studying internet marketing and there's so much stuff out there that makes me uneasy... have you found any resources for ethical marketing?
Discussed in 2012: https://news.ycombinator.com/item?id=3580537.
It has nothing to do with not fully appreciating the problems it causes computing systems - many of these notations predates the existence of computing systems or even the though of them. Mathematicians use both zero based and one based systems, sometimes due to mere convention but more often where it is natural to the problem domain. Natural notation has a lot of power to help understand your results. I agree sometimes it is a pain to translate to a physical representation in a computer, but it's not like "just always use zero based" is a good enough answer either.
Importantly, there's finally enough high-paying work in Postgres to support DBAs like yourself.
Clearly whatever is being done is insufficient and that's why there are attacks by Islamists. As such Trump has decided to be more proactive. He needs more support and accolades for being brave enough to do what's needed even though it is controversial.
Can't they just turn off the app for an hour?
This approach, while good for setting a lower bounds for what's sustainable, is rarely how you should first price things.

I run a small side business. My initial customers I priced like this. After the first year, I realized I was leaving a lot of money on the table - my business was niche and not commoditized, and my customers were willing to pay quite a lot more for the service.

I grandfathered in the first year customers and re-structured my pricing to be more "value based" - how much were my customers actually willing to pay for the service, i.e. how much was it worth to them.

It took a little while to figure out good price points, and there was a short period of time when I'm sure I lost some customers because prices were too high, but in general, my margins are significantly higher by charging customers based on their percieved value, as opposed to just covering my costs with a fixed margin. The customers don't even mind, because in their minds, the price is good value.

It's important to do this not just for its money-making potential - it creates a better impression of "value" for your product, and people value things that they pay more money for. Underpricing can cheapen people's perspective of your product, and de-value your time.

Minimum margins are for commodity businesses - where there are lots of competitors and customers can switch easily. For anything else, you can earn more money by considering "value pricing" based on talking to your customers and finding out their pricing tolerance.
Your only comment in this entire discussion is this one, yet you are implying I am somehow calling you a liar. Please explain yourself.
It is is spelled "Muslim" ... For the difference, compare https://www.google.com/search?q=define%3Amuslin and https://www.google.com/search?q=define%3Amuslim
> If your device is rooted, and you use chroot instead of proot, are any of those limitations lifted?

On a rooted Android device, beyond chroot you have to take additional steps -- remount the filesystem read/write, then begin replacing system binaries with ones that behave differently than the defaults. So it can be done, but it's more like a game of whack-a-mole than normal system reconfiguration.
We detached this subthread from https://news.ycombinator.com/item?id=13515263 and marked it off-topic.
There is no "supposed to". A strike is just people expressing there opinion through action. It is admirable, but there is no guarantee of success or support just because you a striking.
> an informal, non-confirmable role, created to house someone who stood a decent chance of washing out of Senate confirmation

This is a good argument. Many of these White House roles need to be confirmed; even if they are mostly advisory, because the law assumes that the President's advisors influence his decisions. If people want to say "Steve Bannon needs to be confirmed by the Senate", that's something I could probably be convinced of.

To be clear, there are probably some good arguments against the executive order. In particular:

* It affects green card holders, who are legally allowed to travel to the US.

* There are rumors of people being asked to voluntarily renounce their green cards, which if not illegal is at least immoral.

* The order probably shouldn't include Iran. I think the list of countries was based on one that's already in law?

* Maybe they should've given people a week or a couple days to get back into the US, rather than immediately banning them.

It's only saving grace is that it only lasts for 90 days, so it was intended to be temporary while they write up some actual reform. And I know of at least one other case where the court has allowed something unconstitutional because it was temporary to solve a specific problem(Affirmative Action).

It'd be nice if there was a "Stefan Molyneux of the left". As it is, it's hard to read through all the fear to find the arguments.
The federalist society and their website's published opinions look to be to be doctrainaire right wing conservatives. If you look at the about us entry of their webpage, it says individual liberty and traditional values and the rule of law.
They lowered prices in response to the strike. They were aware it was going on. If they had left surge pricing in effect that could be argued to be ignorance of the strike, but they didn't.
Creating NuGet Packages with .NET Core
How Sustainable Will Bitcoin Be After the Apocalypse?
I think the goal is to give it a function. But in order to have it replicate in a cell, you need to have a way of selecting for it. Biosafety through selection is an easy "add-on" because you already had it by virtue of the fact that you needed it to get the real result.
Yeah but we're talking about lifetime bugs here. In the case of Rust they are encoded in the function signature so you don't have to rely on convention or documentation.
Religious flamewars are not welcome here (nor prepared lists of religious flamewar talking points). We warned you about this at least once before. If you do it again, we will ban you.

We detached this comment from https://news.ycombinator.com/item?id=13515321 and marked it off-topic.
I don't remember when I first installed mine... 12.04 maybe? But this was the default/recommended partition plan.
Ask HN: How can software engineers resist Trump?
I have heard this called racist a few times and at risk of sounding like a pedant or an apologist I respectfully object.

Creating abusive policy targeted at people from certain countries seems xenophobic, isolationist, draconian, cruel, stupid.

Racism is a far more evil concept than any of those.

Abusing and rationalizing the abuse of people because you have made a generalization based on their geography, ideology or culture is certainly wrong.

Abusing and rationalizing the abuse of people because you believe they are genetically inferior is on a different level of depravity.

When we use "racism" as a catchall term for all bigotry and bias, we do it at the peril of diluting its power when that particular flavor of shitheaded thinking needs to be classified.
Yep. That guy at least had a phone and could flash it with another OS and use it. He has nothing now. Not nice from Blackphone. They should have disabled only their sw.
The USPS is greatly subsidized because of these print advertisements. If they did not exist, you would not get your mail, or it would cost like 10 bucks to send a letter. Priority Mail for 5.95? Try 25.95.

There's a reason why it costs 11 dollars and some change to ship a small box with UPS/FedEx -- that's just the cost of shipping.

We are so blind to the true cost of shipping. What would be better is if we got rid of UPS and FedEx, in my opinion.
I stopped buying high-priced electronics on eBay or through Amazon resellers. Number of counterfeit products is staggering and superficial quality is high (exterior is usually close to perfect)
You're asking an unrelated question. The morality or advisability of engaging in disruptive protests is completely separate from the morality of Uber allowing its drivers to choose to work while taxi drivers are protesting.
Scala Saturday: Static vs. dynamic typing
I've been using the externs inference feature for a little while, and it works great. Writing externs was the last truly ugly and error-prone part of ClojureScript development. For my game library [1], I can finally use advanced compilation because of this feature. The resulting games are much smaller and get better frame rates now.

[1] https://github.com/oakes/play-cljs
Could CO be produced by a clogged clothing dryer?
Just an anecdote, but: I have a non-CS bachelor's and five years of experience, and I recently received offers from both of the AppAmaGooBookSoft companies that I applied to (via internal recruiters).
> That said, they were just protesting in Barcelona against, of all things, tourism.

You don't live in Barcelona, isn't? The protests were against the gentrification of the city. People that live or work there are suffering the increase of costs without having any benefit.
> Carmack did a bunch of exceptional work by like 20/21 years old right?

According to Carmack himself[1]: "I was making a dent at 19, but in 1990, the game industry didn't have many graybeards. I Wouldn't have been so impressive at Bell Labs"

[1] https://twitter.com/ID_AA_Carmack/status/825718689458708480
Well, it's not a "Muslim Ban" for starters. Look up the countries with the highest Muslim populations, then cross ref to the list of countries that have a 90 day (to start) ban.
I wondered that too. Pretty ridiculous that they claim "Self-Driving on the Streets of San Francisco Is Really Hard". City driving in the US is pretty much as easy as it gets. These guys are up for a real challenge when they try to make it work in Delhi, Bangkok et al.
It looks like a typo. The original document spells it correctly. It should be corrected.
> GC doesn't work for resources that need to be reclaimed eager and deterministically

Which is why usually there are other language or runtime features for deterministicaly managing resources besides just the GC.

The question is how to keep the way of Rust memory management, while e.g. making it easier to write cyclic graphs, or reducing even further the cases where one has to explicity type lifetimes.