skysight-inc/HackerNews huggingface dataset:
In some cases, all you have to do is the minimal amount to make it easier on the distro users, and people will jump on it. That may be providing repos for debian and red hat based systems where you provide a rustup RPM. That takes care of both making it easy (if not quite as easy as piping a remote source to a shell), and more secure. The keys are cached when the repo is added or first accessed, so if bad rustup packages are uploaded at some later time, the package managers will complain, loudly, at least for people who already had it, which is better than nothing.
What is the "standard" fortran compiler for scientific computing? Do a lot of people use gfortran? Or something commercial?
Is anybody surprised that fish are kind of sentient? Nevertheless, they are still really tasty...
VR is amazing and the opportunity is incredible. However, I am worried worried that the technology to produce high enough resolution displays will take some time to get here. Without smartphones driving the demand, will we get to 5-10k dpi displays for VR tech? We have 800 or so dpi displays rolling out, with current generation devices filling their FOV with about 500 dpi screens. We're driving 1.3-1.8m pixels per eye, but that is not enough if you want to pretend to gaze at something 20 meters away. The pixel density, especially in the center area of the display, should be much higher. Otherwise only abstract low polygon count content will work.
You say "niche field" but in reality we could argue that there are no niche fields as all the information necessary to "self-teach" is probably out there on the internet. What's vastly different is the experience of being taught by someone who has a deep knowledge of the subject, and is willing to share his understanding. While this carries with it the nuances of that particular professor's experiences, it will be much more structured information (and tested, to an extent), and this is a big part of why education at a university is valued so much.

But certainly, university is not the only way to learn. The issue is that there are often too many applicants to jobs already, and recruiters use a university degree as a filter. I think this may be unfair to some people, but the companies also value their time.
"The ride-sharing industry has long been seen as a zero-sum game because of the “network effect”"

I am not sure how true this is, both drivers and riders will always follow the money, and there is not a lot you can do on the experience side that can't be replicated by competitors. This will never be a zero sum game at scale.

When Uber & Lyft moved out of Austin, drivers rallied to make a quick network. In India, drivers already have their closed networks, and many work for both Uber & it's competitor Ola, which just goes to show there is no driver lock-in.
What are you talking about? I had to enable Hyper-V to get Virtualbox or any other VM solution working. But yes you're right that you can't use them at the same time. The new native docker doesn't use third-party VM (boot2docker) and interfaces with the host hypervisor directly. So I had to stop all running virtualbox VMs to get docker to start.
I'm not certain what causes it for you, but for me it was microsoft's antimalware scans. These are supposed to run only in 'idle' mode but for whatever reason were running while I was using my computer.

What's worse is the automatic OS restarts that seem to also think I'm in idle mode.
Additionally, HL3 will have to be big to wow fans, or it will be a disappointment. People have been waiting a long time, and riding the hype-train the whole way. The HL games were revolutionary, and, this would be another revolutionary step for them.
> To say that he definitely is is to be an idiot. But to say that he certainly isn't is equally dumb.

This is a false equivalency. Just because there are two options (ignoring "I don't know/I don't care/Satoshi who?") doesn't mean they are equally valid. The only way your statement makes sense to me given what has transpired is if you are saying that at a philosophical level nothing can be known with certainty and therefore to be certain of anything is to be wrong. That's a good way to get excused from a jury but not a great way of making sense of the world.
There are also a class of total languages (Coq, Agda, Idris) that are guaranteed to terminate but admit (polymorphic) recursion. This is stronger than FOL but weaker than turing-completeness, and certainly sufficient to implement any feasible contract.
Comparative Roundup: Artificial Intelligence V Machine Learning V Deep Learning
Indeed, fraud and shrinkage are costs of doing business for practically any enterprise. My worst experience was being a nice guy and accepting a personal check, which of course bounced, so I was out my cost-of-goods plus an additional fee from the bank.

My main protection is that my cost-of-goods is about 1/5 of my selling price. Also, it's a niche market product that would probably be hard to re-sell. Because of my healthy mark-up, I can afford to handle practically any dispute by offering a prompt refund.

It's tougher if you're not a retailer, but an individual selling a few items, in which case you don't have a mark-up or the law of averages to fall back on.
I'm surprised I don't read more about Rancher qurg everyone focusing on k8s.

Not only can Rancher use k8s for scheduling, but mixing and matching environments with different scheduling technologies is extremely powerful instead of pigeon holing yourself on a one-size-fits all approach for you applications.
>If we can incentivize people to make useful products out of all that CO2 just floating in the atmosphere, then maybe, just _maybe_, we can start fixing the mess we made.

I'm sure most people are picturing factories here, but using low/appropriate tech as well is essential. Building soil and woody biomass can absorb enormous amounts of carbon.

The question essentially becomes, how much biomass per hectare are we talking about? Absorbing the 350 teratonnes of human emitted carbon [1] over the 11.7 billion hectares of Earth's non-tundra land surface [2] works out to 30 tonnes of carbon per hectare. If you exclude deserts it's 42 tonnes per hectare, but the technology already exists to successfully "green" deserts.

That's 30 trees per hectare, at 1 tonne per tree.[3] Or 3 kg per square meter of soil carbon, the equivalent of 25 cm of topsoil Soil carbon is stored up to 40 meters down by deep rooted plants, so in practice this isn't a problem. [4]

Most of our land management is via agricultural, so agricultural reform is the only lever long enough to make a dent. Practically this means switching from soil destroying tillage to soil building cover crops, long-distance imported fertilizer to in-situ fertility produced by soil organisms[5], and ecologically unstable monocultures to resiliant polyculture and agroforestry systems.

If you run the numbers trying to use factories alone the cost is astronomical. It's larger* than the world's global energy infrastructure, because thermodynamics is working against you.

An overhaul of agriculture using modern environmental biology is the only thing with a lever long enough to make the numbers close. Plus it simultaneously solves the existential risks posed by our laughably unsustainable food production system and the collapse of ecosystem services by habitat destruction.[6]

[1] http://petrolog.typepad.com/climate_change/2010/01/cumulativ...

[2] http://cnx.org/contents/TWFXbERo@1/The-main-biomes

[3] http://cabiblog.typepad.com/hand_picked/2011/06/ever-wondere...

[4] http://www.soilquality.org.au/factsheets/organic-carbon

[5] https://www.youtube.com/watch?v=x2H60ritjag

[6] http://unctad.org/en/PublicationsLibrary/ditcted2012d3_en.pd... [PDF, 5.2MB]
So I did a 4 year computer science degree about 10 years ago. It's really hard to understand why anyone would bash a degree. What I still find "relevant to practice" from then is:

- Any good CS curriculum is basically a calculus, statistics, linear algebra, real analysis, combinatorics, discrete mathematics course with a bunch of CS modules thrown in on the side

- All the computational intelligence stuff we did (particle swarm optimizers, neural networks, classification algorithms, data mining, ant colony optimization, genetic algorithms, etc.) these things were all cool but not really mainstream back then. It's all the rage right now. I'm really glad I have a good theoretical background in all of that now, it makes it so much easier to jump back into machine learning and analytics. The math I did makes it even easier still.

- I use a lot of "full-stack theoretical understanding" of operating systems, networking, compilers and distributed systems courses to reason about why things could possibly go wrong in production performance problems on large distributed enterprise applications, and how to isolate where the problem is. I do this on a daily basis and am amazed how many professional programmers don't understand what's going on "under the hood". It's almost a Dunning-Kruger effect situation where people don't even know what they don't know.

Then this doesn't even begin to mention things like formal methods, software architecture, computer graphics, database theory, etc. Oh, and the philosophy courses, which really went into logic and critical thinking.

A CS degree is completely mind-expanding if you get it from a good institution.
One interpretation of CS (that I personally subscribe to) is as a subject about the theoretical and mathematical understanding of process and abstraction. Computers and software are just the medium. Taken that way, it's an important subject that should be supported and protected. But but students and employers seem to be expecting CS courses to be an industry training program about specific technologies and practical programming. This leads to a confused mess where nobody is speaking the same language, and limited satisfaction for all parties.
Have you tried to cross reference referral source to active users?

If people find you based on certain keywords or links, they may think that your tool solves the problem and once they try it... yes? no?

It may be that your SEO is (inadvertently?) describing you as one thing when you're not that at all.
....to succeed. ;-)
The way to not be off-putting is to not proselytize.
Dealing with null and undefined cases is a significant practical advantage of a modern type-system. Compilers can catch most of them.

Also you can encode your logic in types - The Curry-Howard Correspondence (https://en.wikipedia.org/wiki/Curry–Howard_correspondence) says this is always possible in sufficiently advanced type-systems. While this goal hasn't been realized in mainstream programming languages, we have been moving towards it for a long time.

So when you say that you only have logical errors, not type errors and can't recall any type issues, do keep in mind that those are exactly the kind of things type-systems aim to solve.

But I can't blame you since Java and similar languages provide the only mainstream experience of static types.
I am almost certain that 100 years from now, almost everyone will look back on the farming of sentient animals in the same way we look back on human slavery.

Meat farming is more or less essential to our standard of living and it's completely socially normalized, and yet there are obvious and compelling moral arguments against it. The same was true of slavery 250 years ago.

As with slavery and the industrial revolution, I suspect improved technology (i.e. tank-grown meat) will eliminate our dependence on meat farming, and its social acceptability will soon follow.

I say this as someone who eats meat from sentient animals, but recognizes that vegans have a uniquely coherent, self-consistent, and compelling set of arguments against the practice.
The Regimen Sanitatus Salernum was the Middle Ages' most famous health manual
I'm also worried about the actual effects of motion sickness once it becomes actually mass consumer affordable. Generally, reports are that VR can be particularly rough for most folks.
Correct. That is what I mean but you still don't just want a restricted subset. You want something that guarantees termination and also lets you reason about any weird runtime behavior and resource usage in a very rigorous way. Some of these things are still research problems and some of them are barely becoming practical in languages like Rust.
Send at the end is like return-once or tail recursion.

Does -

http://www.joeykrug.com/home/a-serpent-send-exploit

change things at all?
> The vast majority of what a programmer does, forming good abstractions and avoiding complexity, is almost completely untouched by computer science curriculums.

I feel like in the course of working on large projects such as a parsing, lexing, compiling program, a student inevitably touches on these topics. And certainly when working with template code (such as in an Intro to CS class), they can see how nicely it was structured for them.

However, I agree with the sentiment that it seems like these topics are not directly addressed by most curriculums. At the same time, from my experience it seems like these ideas are applied very differently in different contexts (such as different platforms and languages), so a college class would be more abstract in teaching them. Perhaps it would be effective if they did some examples while teaching these ideas.
Sounds to me more like the Apple Vs. Google "ecosystems".

Sure, Google has a Play store and a competing OS, but it's not like you can't find Chrome in the iOS store.
Exactly this^. Hell, Facebook is still reporting misleading non-GAAP earnings next to its GAAP earnings.
7 Wrong Expectations When Outsourcing Software Developers
I agree. I said first-order logic because I think it is more accessible. Coq, Agda, Idris, etc. employ I think some pretty sophisticated type theory and that would all have to be packaged up in a way that is accessible to an average programmer.
Sounds like me might be neighbors.

Seriously boggles the mind what people are willing to say on Nextdoor.
While I agree that 'get a job' should not be the focus of university, that's what all of modern society focuses on, from government mandates, to parents pushing their kids, to employers screening candidates.

The dream of what academia should be is wildly removed from the reality of the modern (from an American viewpoint) university system.
Which is too bad. I really just want a conclusion to the story. If they used the old modified Quake Gold engine to deliver that, I would be psyched.
> in a way that is accessible to an average programmer.

The average programmer should not be writing multi-million-dollar contracts.
Iris: Fast back-end web framework for Go
It's perfectly possible to be strictly veg*an and not be a dick. I just really wish I could convince some of my acquaintances of that.

I'm currently eating meat on the instruction of multiple of my healthcare practitioners, but I was a strict vegetarian, and part-time vegan for years before that, and I never pissed anyone off by getting in their faces about their dietary choices. I would happily have a conversation with anyone who wanted about my choices and why I'd made them (primarily ecological, secondarily ethical), but I would always explain things as being a matter of me choosing how I wanted to live my life.

My choices were never offered as normative, and although I don't think I changed any minds, I also never lost any friends.
I have a great dislike of Uber. They say they are "breaking the taxi monopoly" but they're literally just building a new one, and they're doing that by starving out the existing taxi services with the billions and billions of dollars they keep fundraising. It's fucking dirty.
There is a reason why most current demos or games do not give you full control of movement, and the demos that give you mouse / keyboard controls to move around a space with jerky accelerated motion do cause problems. I think we'll get better in time with control schemes and design that does not cause nausea.
I Am Being Censored – Psyched Substance Harm Reduction
its interesting that you picked chrome as an example, with it being a wrapper around Apple's webkit on the iOS platform
If any young person is reading this I would caution them not to take such advises blindly. A "good computer science" education beats "no formal education" any day for an average person for the simple reasons.

1. Success in tech industry depends as much on your peers as much it would depend on your IQ. Knowing bright, well established people in tech industry is invaluable. Such connections are often built when you go to schools like Stanford, MIT etc. or even a reasonably good college.

2. Having a good college name on your resume is going to open many doors for you. You will realize that as a MIT grad when you talk to investors about cutting edge research in a specific field would be far more credible.

3. CS degree will not teach you a lot about how to code, build great products. Not more than a passionate coder writing code in his basement. I admit that.
> You want something that guarantees termination

You usually get that through a restricted subset of an otherwise turing-complete language. The standard approach is to impose a finite metric on the arguments of a function and demonstrate that, as the function recurses, that metric monotonically approaches zero.

>barely becoming practical in languages like Rust.

As far as I know, this cannot be done in Rust. Agda, Coq, and Idris are the primary languages supporting termination checking (because they are syntactically suited for it). Haskell supports it as well through Liquid Haskell.
But there is a user lock in. After a while users won't switch. No matter the difference.

Also, they are not really on it because of the drivers and users game.

The end game is self driving cars to rent.
In my years working in the computing field, I have found that individuals with a Computer Science (or related) degree to be much more adaptable to emerging technologies. Individuals without a degree have proved to be excellent at yesterday's problems, but they have a difficult time moving past their initial expertise.
They want the safe harbor provision repealed so that they can make Google et al bear the brunt of the effort of figuring out who owns what.

Long term basically they want to shut down businesses like YouTube
A lion wouldn't struggle with eating you if given the option, why would you waste time returning the favor? I get making a concerted effort to make sure animals don't suffer in the process of becoming food as much as humanly possible, but refusing to eat other animals when you're an apex predator is... silly. For starters, you may quickly find yourself no longer apex. Do you enjoy spending time outdoors without fearing for your life?
Daisy chains (2006)
The seller is rightfully entitled in this case. eBay is not doing this out of the goodness of their hearts — they are charging the seller a fee for conducting a sale on their platform. Given the fee, the seller has the right to expect reasonable service.
Lions don't have prefrontal cortices. Humans aren't obligate carnivores.

Yes, we're omnivores, but we have a choice to engage more ethically with the animals we choose to put on our plates. To point to animals that have to kill other animals or they will die as normative for our behavior is fatuously specious.
> At this stage, VR could still implode again like it did in the nineties. The smart move is to do what it takes to ensure there is a VR market a few years from now, not hamstring yourself worrying about who gets the biggest slice.

Definitely. And this is exactly why Oculus's emphasis on exclusivity has been so disappointing and short-sighted. Fragmenting the already small market consisting of people who believe in VR and are willing to invest in a VR platform at this early stage seems like it might have devastating long-term effects.
This comment completely glosses over the cases of people who can be pushing the button but can be affected by circumstances that they really can't control (like a mental illness). To say that they deserve to die for the sake of "natural selection" is insensitive and frankly disturbing.
China’s New Supercomputer Surpasses American Technology
Funding to universities in the US has increased a ton by increasing student loan amounts and availability, to try to get more people degrees.

Studies have shown that the effect on universities is that "administrative expenses" have increased to absorb around 90% of the additional tuition funds coming in from loan-bearing students.

The parent is not pessimistic nor conspiratorial. This is observed behavior on the part of the universities.
The article was a profile of PARC in Scientific American, but I cannot tell you the specific issue. .
A good example of how to be off-putting.
I don't think accessibility is a bad thing. I think computing, its practice and theory, should be taught the same way we teach literacy. I didn't mean "average" as in "incompetent". If writing contracts was as simple as writing a few lines of code in some formal language that didn't require a law or finance degree then I would consider that to be a good thing. It would be even better if the system was designed from first principles with solid theory backing it.
I don't understand how this article is claiming that ride-sharing is a zero-sum game. It's not a search engine or social network that "network effect" or customer experience is the main motivation for customer to choose the service.

People will choose another provider if they offer the service for pennies less. Heck people switch to Bing search for a few pennies a week in "Bing rewards".

I'm sure Uber/Lyft competition in the United States is going to be like Coke/Pepsi competition. It's a low margin business and a lot of people can do it. Therefore there is no way you can have a "winner take it all" situation.