skysight-inc/HackerNews huggingface dataset:
Logistically speaking, there's a nightmarish level of complexity introduced here. Put a country's food distribution network on top of its energy production system? Put solar cells where you know they'll be constantly driven over by heavy machinery? Replace some of the most durable materials known to man (asphalt and concrete) with glass encased electronics?

These things aren't impossible, but it's such an uphill battle that I wouldn't hold my breath. (http://jalopnik.com/why-the-solar-roadway-is-a-terrible-idea...)
I studied maths for my undergraduate degree, then did a postgraduate diploma in CS[1]. These days, I make software.

The maths background was helpful for developing logical reasoning, rigorous arguments, and working with abstractions.

Studying CS exposed me to a wider range of computing ideas than I’d encountered before, from formal models underlying relational databases to functional and logic programming. It also provided some basic but useful general knowledge about things like data structures, algorithms and complexity along the way.

I’m glad I studied both areas during my academic career, but for me neither is “better” than the other for someone starting out in the software industry. They just prioritise different skills and mindsets and provide different background knowledge, so each gives a different kind of head start.

I wouldn’t say either course taught me anything of great value about software engineering specifically, if we’re talking about the processes and tools used to actually design and build production software here. I think SE is more of a vocational/industrial field, and I wouldn’t necessarily expect a new grad in either math or CS to have much experience in, or even awareness of, the kinds of issues that come up in practice.

[1] Very roughly speaking, the diploma course was a one-year conversion course for people with a technical but not CS background, which included the same kinds of topics you’d study in the first couple of years of an undergraduate CS course. Sadly, I don’t know of anywhere that offers a similar course any more.
I hope to see a day where such things will be done non invasively by biological means instead of brute bloody tools.
There's definitely no point to avoid them for IE. The point as I see it is that it should be avoided for every browser.

Indeed IE's users are having terrible experience anyway, but let's just don't push FF and Chrome to their memory limits, just because we don't care with our code.

One of the best parts when I develop client-side web-apps is the debugging and looking close what the garbage collector is doing. For example : I usually don't use `delete` keyword, since I know it might create a node that GC's can't clear.
does using Coq mean that the math he is seeking to prove is based on / formulated in a Constructivist style (http://en.wikipedia.org/wiki/Constructivism_%28mathematics%2...), or only that the verification program itself requires such Constructivist properties?
A nitpick, but being a Dutch bike lane, there will not be any pedestrians and dogs on it. Bike lanes are for bikes.
Highway Networks
Tuition for an engineering degree at the best universities in Chile is not 5k/year but closer to 7k/year. PUC is $9355, UChile is $7964, Santa Maria is $6456, USACH is $6388, U. Concepción is between $5200 and $7000 depending on the type of engineering.

It does not sound like a lot compared to the tuitions in Ivy League schools but is a lot considering average income. It is also important to remember that we are not talking about full cost of attendance but only tuition and fees. I took a look at the tuition and fees in undergraduate engineering programs in the US, Berkeley is $13,878, Caltech is $44,000 (however 91% get financial aid), Stanford $14,728, MIT is $23,200 (30% go tuition free, 56% get need-based scholarships), Carnegie Mellon is $49,610, Georgia Tech is $32,000.

Using the Household net adjusted disposable income reported by the OECD the average US household would be 2.8 times richer than a Chilean one. Given that it doesn't look that it is more expensive than the US, I agree that Chile is not the most expensive but most likely among the most expensive. On another hand, given the particular income distribution in Chile using the average salary might give a wrong idea about how affordable is higher education.
I am not sure if I don't understand your reasoning with regard to subjective or objective morality or if I disagree. I don't think it matters. We want an economic system that honours some moral objectives. To come up with such an system we have to first establish our moral values, but I don't see in which way it matters if those values are based on subjective or objective morality. Especially because there is no proof that moral objectivism is true it is at least for the moment also just a subjective position. So how could we even think about choosing an economic system based on that distinction if we don't know which is true? For the records, I am heavily on the subjective side but think that only very few values or assumptions are required to build an entire system of moral values upon them.

Let me pick an example, all humans are equal. This might be an objective truth or a society might just agree on that as a foundational value. But in both cases you can build the exactly same society or economic system that honours this value independent of its origin. But I guess I missed a crucial point of your argument, maybe our understanding of subjective and objective morality differs. Are you talking about the distinction between a society where everybody lives by his own moral values as opposed to a society where all people share more or less the same moral values?
So... not good?
It's common practice to put a summary/conclusion at the end of a long article, and this one happened to label it with "tl;dr."
> First off, one of the things that makes Chile great is that its education system is independant of the government.

Well that would depend on the definition of great. And for me, great is not zero class mobility

> It results in chileans who are markedly better at critical thinking than americans. (While there one of the things I did was work with high school and college students and of course got to know a lot of chileans.)

Could you tell me the names of those Schools? Because in my experience, as a Chilean, that happens not to be the case.

> Their schools are all about education and keeping the people sending their kids there happy-- by educating them.

The good, more expensive schools are > "all about education and keeping the people sending their kids there happy-- by educating them."

>> There is a real effect where the person paying the bills calls the shots. When government is paying the bills, turning out good citizens is the goal. This is why the football players are the heroes of most schools and the computer nerds are beat up. This is why schools are enacting absurd zero tolerance policies. This is why standardized tests and teachers tenure and unions are so bad.

I don't really understand what you're saying here. Are you saying that when I pay for my education in a Chilean School I call the shots and I can decide how the education of my Children should be? Well, if that's the case, even for the ones paying, that's only true in a minority of higher-end private schools in Chile.

> There really is something to the market incentive to provide a better experience at lower cost...

Yeah, we have a lot of choices when it comes to education, and among them, a lot of McDonald's equivalents have appeared. I'm sorry, but get real, yeah, there's an 'opportunity for Cheap High Quality', how is the target audience going to realize what's high-quality or not, if they are already uneducated? That's why in Chile, marketing is king for this crappy private universities, they lure the big mass of uneducated with the promise of a better future. In reality, that future, is just debt.

> The socialists are in power in chile right now but I don't think that will last long, and the reality is the Chilean constitution is pretty well protecting capitalism. Consequently the government runs a surplus does a great job of providing services and mostly stays out of peoples way... and Chile is the south american economic miracle as a result.

Dicator Augusto Pinochet and their team designed the current constitution of Chile, who has so many issues that are now collapsing our society. We definitely need improvements, a lot of the Chile that you see now, with a lot of capable professionals etc, is people who got formed pre-dictatorship.

tdlr, it seems that you only just know an epsilon of Chile. Next time you're here, try to see the big picture.
> Basically, it looks like Windows release cadence will be more like Adobe Creative Cloud model: continuous incremental improvements separated by months

And will it end up with a subscription based model too? that's the issue here.
The way I see it, it's Register Transfer Level, just written differently. Instead of writing:
@always(clock)
counter <= counter + 1;

you write:
counter = s
where
s = register 0 (s + 1)

per http://hackage.haskell.org/package/clash-prelude-0.7.5/docs/...

I agree, it is an interesting idea. I suspect that just having "Haskell" got the link a lot of upvotes :-) As stated on the "Why CλaSH", the advantage is obvious for combinational circuits. But it doesn't seem to help much for synchronous logic (which arguably represents the majority of hardware designs). You'll still be writing everything as "how to update register X in state S".
95 percent of SAP systems were exposed to vulnerabilities
What Being Job Shadowed Taught Me about My Job
This is actually what I envisioned before I looked up some pictures (if there were any in the article, they didn't load for me).

It seems more practical, in particular for a bike path.
You're probably correct that this isn't enough to establish prior art unless you actually publish the material as well. However, it could be a good way to document a trade secret. Even if another entity is granted a patent, you can continue to practice a trade secret internally if you can prove that you were using it before the patent was filed.
The main purpose of roads is to handle vehicle traffic. Here I see solar panels covered with glass and I just don't get it how it can be used for anything else but to generate hype. Even if the glass was somehow more damage resistant than asphalt there is still the question of grip. And even if you invented transparent asphalt to put the panels beneath, it would only be trasparent for a day or two, until dirt accumulates. They are probably cleaning this 70m strip every day but can't do the same for the entire road network.
Obama has just been at Nike HQ arguing for the deal and fast track. Check out the video... he's criticizing legislators for being ignorant of a deal _that is kept secret from them_. All I hear is "just trust me," from a politician.

http://www.nytimes.com/2015/05/09/business/nike-to-create-jo...
Anyone Can Learn To Code | Chicago & NYC | Lead Web Development Instructor

Anyone Can Learn To Code is the only immersive part-time web development bootcamp in the country that makes its students job ready. After its success in Chicago, it has begun national expansion starting with a new course offering in San Francisco in Fall of 2015. ACLTC has also been recently ranked one of the five best code bootcamps in the world by Tech Cocktail.
While our stack includes Ruby, Rails, JavaScript, AngularJS, SQL, and Git, we first and foremost train our students to be engineers who can learn any new technology. Our graduates are proficient in creating APIs and SOA systems, along with dynamic AngularJS clients that consume those APIs. Classes are held from 6:00 p.m. to 9:30 p.m. Monday through Thursday and 9:00 a.m. to 5:00pm on Sundays.

You are the right fit for the Lead Instructor role if you are both an educator and developer who cares to make a difference in people’s lives as you help them to launch new careers in web development. You should have a minimum of three years of web development experience, a successful history as an educator/mentor, and have the skill of effectively communicating technical concepts in plain English.

If you fit the bill, we want to talk to you.
From a development standpoint, you should have significant experience with:
Ruby
Rails
HTML/CSS
JavaScript
SQL
Git

To apply, please check out our posts on AngelList: https://angel.co/anyone-can-learn-to-code/jobs/65380-lead-in...
Microsoft Corp. holds patents that assess mental states, with the goal of determining the most effective way to present information. Consumer market researcher Nielsen leads the pack, with patents describing ways to detect brain activity with EEG and translate it into what someone truly thinks about, say, a new product, advertising, or packaging.
Another way to cast to a Number is the bitwise-or operator. It has the useful property of always yielding a number.

'42' | 0; // 42
NaN | 0; // 0
null | 0; // 0
undefined | 0; // 0
false | 0; // 0
true | 0; // 1
Will do. By the way, we all can help each other if we tell our employers about this site (yeah, I know I need it more than you).

Yesterday a couple of direct employers signed so hopefully we'll have more jobs but don't expect a lot at this stage.

Keep checking once in a while. We're not a social network and therefore don't want you to spend a lot of time on our site.
Emanuel hails a universal taxi app
Yeah, and quite a bit of opium for the uneducated mass.

You need to either be very smart or lucky to come from an uneducated background and probably also have a family that shows virtually no support to 'educate yourself' using the internet.
Yeah, the technology seems tailor-made to amplify schizophrenic paranoia; see https://news.ycombinator.com/item?id=9507458 for an example saying, "I suspect that this technology was used by an upstairs neighbor to track me around the apartment and electronically harass me using a microwave device. He would use a pulsed RF/microwave device (a Directed Energy Weapon [2]) to irradiate me as I moved around my apartment and also while I slept."

It's going to get harder and harder to reassure delusional people that their delusions are false when they become technologically feasible.
It takes moe energy to melt snow than push it to the side? This is northwestern Europe, where the snow never gets more than a few centimeters deep, and the temperatures never go more than a few degrees below freezing. I could definitely see heating a surface by a few degrees being cheaper than bringing a plow or other snow clearing machinery out to some path.

Now, northern Canada would probably be a different story.
I suspect a lot of 21-year-old CS grads think they’re great programmers.

And a lot of 25-year old professionals with 4 years of experience in the software industry wonder what they were thinking at 21, now that they know how you really build software.

And a lot of 30+ year-old professionals wonder how a 25-year-old who had so little experience after working on just one or two different projects for only a couple of years each could possibly have believed they were such an expert.

I wonder what 50-year-old me will one day think of 30-year-old me. I have concluded that I will probably think I was ignorant and naïve back then, and that this feeling that everything you did a long time ago was terrible is called being alive. :-)
Helpful explanation. Thanks! Looking at this I have a very specific question, from a practical getting work done point of view, is this better than what we have, or just different to what we have. If the answer is "different" I don't mind, but it will hinder my adoption ;-) I guess this is why I want to see a side-by-side comparison of real hardware constructs. Things I use regularly. It would aid greatly in understanding the (potential) benefit of expressing things these ways.
Well other languages often offer decimal, or higher precision floats, right?
My first ios app.Japanese emoji app
How does w3m compare to lynx?
Consider that the cost of a kilometre of ordinary road is a few million dollars, and that prototypes are orders of magnitude more expensive than a mass produced optimised supply chain with economies of scale.
Why are you so negative about research?
I'm the release coordinator for Ethereum (although I'm best known for open hardware http://hexayurt.com I do software too from time to time.)

We're certainly getting close. As you may know, we have a "never set dates" approach to our release schedule. Pushing for a date threatens a burned out developer cutting corners which later turn into security issues, and we'd kick ourselves if we shipped with issues we could have avoided with a realistic schedule.

I say this because the pressure is always to say "two weeks" and, of course, the answer has to be when it is ready.

But, soon.

My own description of ethereum: it's a shared database that is shaped like the network, and you can store and run code in it, using a standard virtual machine.

Everybody describes it slightly differently.
I wonder how everyone takes care of error handling in Flummox (or Flux in general)? Would you also trigger an action, then wait for the store to set some sort of error state?

Basically, how would you migrate the following code to Flux:

click() { doAction().catch(err => showModal(err)) }
The Ethereum project is conceived a crypto mega project which encompases a turing complete shared state machine(blockchain), content distribution and messaging.

The goal of Frontier and the Ethereum blockchain is provide a viable host ledger for non-terminating state machine.

The Bitcoin blockchain hosts state machines but they are guaranteed to terminate. An example of this is a unspent tx output hosted in a multisig smart contract.Spending the UTXO terminates the smart contract.

Ethereum is attempting to build a ledger system where the transactions update the state of smart contract without necessarily terminating it.

Applications:

If successful the Ethereum blockchain and other users of the Ethereum Virtual Machine technology should be able host arbitrary consensus and have updates to the consensus depend on arbitrary sets of cryptographic proofs like signed transactions, votes, zero knowledge proof of votes, attestations signed by pinned keys etc.

Challenges:

1. Gas

Ethereum proposes a gas value to compensate miners who host and compute updates to the ledger state and limit abuse of their computational resources by network users.

Optimizing the gas metric which sums computer,storage and network resources is NP Complete. It is an open question how closely one must approximate the optimum to have a healthy and usable system.

2. Centralization

Ethereum faces centralizing effects around proof of work, memory burden from hosting and updating smart contracts etc. This will likely lead of conservatives about what kinds of transaction the network will accept in practice and limit use cases.

3.Security

The surface area for attacks that trigger blockchain forks is vast and its difficult to full enumerate all the potential attacks and prove security
And you will wonder why at 50, with all your experience, you are now unemployable.
What a delight.
Interesting article, but seemingly just a very long winded way of saying that the US exists under capitalism.

Without redistribution, definitionally wealth accumulation will be nonlinear.

A rich person can gain money simply by waiting. Generally this additional wealth comes into fruition by the toil of poor people. This is literally what capitalism is.

Example: house prices going up. My asset is worth more because others are willing to compete and work more to buy it. I do nothing, others do things, I win.

Is this wrong/right? Your move.
Adds value to that property, sure. But at the same time you also take away much more value from society at large.
I don't know a first thing about hardware design, so it's a good opportunity to ask a question.

So say it would be something actually useful and after some tinkering I'm actually generating nice Verilog specifications. Can I apply it somehow if I'm not working in Intel or something? What can I do with it?
This is an article that attempts to draw conclusions about race and class relationships in America from Ferguson and Park Slope, both of which (for those of you not from America) are extreme outliers --- the former being an artifact of overt, systematic, institutionalized and organized racism (St. Louis redlining and white-flight turned them into a sort of equivalent of Paris' banlieues), and the latter being a haven for the economically elite of America's most prosperous city.

Had the author spent time in the Ozarks, in mid-sized rural midwestern cities, in predominantly white manufacturing suburbs in the rust belt, or for that matter in most US cities other than New York, their conclusions would have been different.

Race is certainly an issue in the US! I just doubt we have much to learn about it from the fact that white corporate lawyers living in Park Slope are willing to have Jamaicans be nannies. It is not in fact that case that middle and upper-middle class families throughout the US tend to have black nannies, the way corporations in Dubai tend to have south asians as construction workers.
Here's what I find amazing. Nobody seems to like staffing agencies. Yet there are plenty of them, they have lots of jobs and employees. Mystery.
yeah... raises a lot of questions, did they blog somewhere about what they're doing? which hedge fund? how is it going to help/change evolution of the platform?
The article makes things sound very dire, but worse, doesn't really offer any solutions to the issue.

I've seen some throwing around the idea of raising the minimum wage, but I'm skeptical this would solve the problem as well. I'll admit that I don't know a thing about economics, but it just seems a bit unfair for those that worked their way up to whatever the minimum wage would be raised to.

On the other hand, I do think that everyone deserves a chance to have a better life. Sadly though, what people deserve doesn't seem to really align with the supply/demand side of things. After all, I certainly don't feel like I deserve to get paid way more than most just because I happen to be a developer: I am just lucky I like something which pays well.

Perhaps the free community college would help with this issue?
afaik - as density increases per disk, ex going from 1TB to 4TB, power efficiency per TB should be better too as long as they are also not also increasing the total number of spindles by adding new storage nodes. One thing I'm not sure of is if _total load_ for the hall increases as increased accesses may occur because of having more density.

The hard disk power management part is really fascinating in terms of keeping the storage cluster software alive and well to be able to respond to requests while keep the hard disks off. A low power SSD cache tier on the front may be part of the solution.
You can run it, it's just that the operation of the program is not interesting. Voevodsky's system is proof relevant so, at least, the programs themselves are interesting, but other models exist where the programs aren't even interesting. Their mere existence is all that matters.