skysight-inc/HackerNews huggingface dataset:
> I don't know if there exists any type that can't be expressed in Scala.

Scala has a very rich type system, but let us not get ahead of ourselves--Scala, being non-dependently typed, cannot type many useful programs.

For an example of a useful dependent type, consider giving division the type Number -> {x : Number | x != 0} -> Number. Giving division the type Number -> Number -> Number is similar to how older Javas would type List<String> as List and require all get operations to cast from Object--in both cases, the type system is unable to guarantee that your program won't crash.

If you want a glimpse of the state of the art of programming with dependent types, try Agda[0].

[0]: http://wiki.portal.chalmers.se/agda/pmwiki.php
SEEKING WORK - San Francisco | Remote

Passionate entry level Ruby & Javascript developer seeking either long term or short term opportunities. Have been studying web development for over a year, and recently graduated from Dev Bootcamp here in SF, an intensive web development program. Enjoy working on both the backend and frontend, and consider myself a junior full stack generalist.
*

linkedin: http://www.linkedin.com/in/sbswigart

twitter: @sbswigart

gmail: sbswigart
I agree that the prosecutors are probably guilty of some kind of misconduct. However, I think the email you quote is the kind we would see either way. We expect prosecutors to be unabashed in their pursuit of convictions - it's their job. They should cajole and berate, in turn, people who help or hinder their cases.

That may be a shitty model, but it's the model we use. We have a responsibility to only punish people for things they knew to be wrong - thanking a lab tech for a favorable result doesn't cross that line.
I still have a soft spot for the intel manuals.. probably because I managed to get print copies right before they stopped giving them out :)
Will it hold?
I'm a bit nervous about TP-Link, I have a couple of of small GigE switches and when they were at the end of a not that long cable (although maybe not the best quality connection) they couldn't sustain more than 100Mbit unlike a similar but slightly more expensive ZyXEL switch managed to support the 1Gbit mode.
Our school used Pintos, a derivative of Nachos. Taking the OS course there was an eye-opener for a student as technically immature and inexperienced as I was at that time, but it was also a tremendous learning experience. I've always wished I could go back and retake that course, the 'right way'...with these resources, though, maybe there's a better way.
...and often the worst.

Greenspan's criticism of Bitcoin is reminiscent of the same pontification he had about Facebook. It competed with his houseSYSTEM. Later, in an open letter for publicity, he advised Zuckerberg to either keep Facebook a closed network, exclusive only to students and faculty of an educational industry (.edu addresses), or to sell to Yahoo at their bid. That's interesting. Then he hawked CommonRoom. I had a level of disgust over Facebook's cavalier attitude with privacy and security that Greenspan seemed to have shared. Competition? Great. Bring on the competition. Criticism? Yes. Let's hear everything. However, the way it was presented as a whole didn't command credibility.

I stopped reading his criticism of Bitcoin when it was clear he didn't understand Bitcoin. "Processing" might be a more digestible term to him, rather than "mining." There are valid criticisms of Bitcoin. This has been the case for 5 years. So too, there are valid criticisms about anything. Bitcoin was never intended to be everything to everyone. It will likely remain relegated to a subset of people. Knowing the state of security and the virus-prone systems of today, I wouldn't want the average person to use bitcoin beyond light money. It's risky. Beyond this, bitcoin's positives are entirely purposeful to enough people to trump its negatives. Being different and useful is rare. Being both and decentralized is a true marvel. Fool's Gold 2.0? Nothing is fake about bitcoin. Bitcoin never claims to be what you want it to be.
CNN: Obamacare Website Crashes After December Relaunch (Video)
How AngelList, RockThePost, and Circleup will change fundraising?
Uh, no. They shouldn't be allowed to have any legal profession again.

Think about all the wrongfully convicted people who are marked as felons now. They can't get a job in the legal field now. Hell, they have difficulty getting a job at a fast food restaurant.

The fact that the sociopaths who committed this travesty against justice have expensive mortgages to pay and private schools to send their kids to isn't any reason for excess gentleness.
btc is much like gold, but most ppl here fail to realize that gold as a storage of value makes no logical sense except that a lot of ppl 'believe' in the value of gold. in that sense, gold is a bigger ponzi scheme than btc
personally i believe eventually btc wil crash to smithereens and so will gold prices. but im talking long term, when currencies will be backed by actual work that provides social and economical value
Given n>40,000, statistical analysis is one approach.
SEEKING WORK - Mountain View || Southern California || Remote

Front-End Engineers, http://psd2rwd.com

We are a pair of front-end developers based in California. We specialize in working with creative agencies to develop their designs into production-ready code.

We are experts in producing responsive web pages.

The code we ship is built:

Mobile First,

with Progressive Enhancement,

has minimized http requests,

is future friendly,

and follows Google's coding conventions.

--

All of our client work is a protected secret under NDA.

Our workflow includes constant communication over Skype and sharing our GIT repo so our clients can see progress being made in real-time. Our clients are always looking for a faster turnaround time with flawless execution --and that is our niche that we are consistently creating.

If you are looking for a front-end developer to supplement your team, reach out to us. Let's chat.

cleverbaker@gmail.com

Check out http://psd2rwd.com
How about: Any C or C++ programmer knows not to use linked lists anyway.
How much does it cost to check whether someone got the degree they said they did from the place they said they did?

It's an interesting question about who should bear that cost.
what is her motive?
The whole quote is:

"> Barring some kind of final(!) crash, there isn't anywhere to go for BTC but up."

That's quite a difference there to what you implied.
Yes it has. I identify with everything you said my marriage was ruined in a similar fashion.

I think I tricked myself in a way thinking side projects made me a better developer when really I was just addicted to coding and avoiding greater responsibilities.

Basically a recipe for disaster. Rather than feel insecure about not coding all the time I now find that I can solve problems better and quicker when I'm not exhausted from solving problems.
Ask HN: Who's hiring posters, how many emails do you get after a post?
Add to global stylesheet:

.kudo.able.clearfix {display: none;}

(Though I agree fully with your comments.)
Well put.

I often lament that if I could make anything close to my current salary in technology by cutting grass, digging holes, spreading mulch and hammering nails as I did for 10 hours a day at minimum wage in the 90s - I'd jump on the opportunity.
Results should be impartial. Bribing the lab tech is not what I would call a fair and balanced process.
PeerCoin.
something weird with attaching anonymous functions to method calls

that's still a thing? i thought i was just being dumb back in the day.
She did a lot more tests than her coworkers, and it was a big lab. She also had close ties to prosecutors, which has unsettling implications.
Traffic jam: the infrastructure may eventually change. Have a first car drive to to a nearby train or subway station, and a second car to your destination from the train. In the meantime, you may have more traffic jam.

Energy: when you don't need to own your car, you can use the best car for the job. A commuting car doesn't need to be able to carry 5 people around. It can be much smaller. Again, the transition period likely won't look good.

Harsher economic times: this is good old technological employment, where productivity rises faster than demand. My 2 cents: self-driving cars will significantly contribute to technological unemployment, and that's good, provided we manage it well. An obvious measure would be to generalize a 32 hours work-week, over 4 days. It would mean less unemployment and less overwork. Workload will reduce anyway. We might as well share this reduction, instead of giving it all to the unemployed.
How does that actually work? Does that "type" basically compile down to an added n != 0 check at runtime, or is there more sophisticated dataflow analysis/theorem proving going on?
This is a good question. I think most cities have one lab. They probably have multiple analysts in the lab, but I think it's still a pretty high percentage of the total cases.
The only thing I don't like about the "Maker Movement" is the way so many talk about themselves as if they were the first people ever to do this sort of thing. Like handmade craft and technologies was something invented by Internet hipsters.
The restaurant is well within its rights as pointed out to eject patrons wearing Google Glass. It's perfectly acceptable and allowable, if you don't like it, don't eat there. I can see why the restaurant would take issue with Google Glass, at present, it's a new technology and somewhat a bit creepy if you ask me. Eventually it'll be normal to wear the likes of Google Glass out and about, but for now it's a new technology that comes with new territory and boundaries to be set.

If clubs, bars and restaurants are allowed to enforce dress codes (certain shoes, button up shirts, etc) then I don't see why a restaurant can't enforce a no Google Glass policy, especially if it's a more higher class venue to eat at. I can see why some people could take issue with Google Glass. I've been kicked out of bars before because I wasn't wearing a collared shirt and dress pants, but you won't read about it in the news.
"Putting drug dealers in jail", to only very loosely paraphrase her words. She was working with the prosecutors.

The news loves to call her a "rogue chemist" to misdirect.

http://www.boston.com/news/local/massachusetts/2012/12/20/in...
Make sure you come and leave the country legally. You cannot come to the US with a tourist VISA and look for a job. If you get caught, you may just no be able to ever come back.
I found a stack overflow question that seems to go over it. Basically it looks like there's almost always a better choice for whatever you're doing.

http://stackoverflow.com/questions/18449038/is-there-ever-a-...
It doesn't? It works for me...

http://www.ng-newsletter.com/advent2013/
I'll just quote you from a different thread:

> but there is nothing wrong with stating an opinion based on personal experience.

And that's really all I did.

Regarding investing: telling someone who just bought a shitload of BTC to sell at a loss after some minor and entirely expected market fluctuation is just malicious.
Frameworks gonna framework.

A framework tries to take a platform and build another layer of abstraction on top of it. Ideally the developer should never have to cross that layer of abstraction except to learn more about it or to improve it.

A wrapper can keep the layer of abstraction intact for simple uses bit eventually the abstraction leaks, and demand for a replacement that's native to the framework is created.
What we learned at Firehose: Coca-Cola's Big Data Hackathon - Pollenizer
Nonsense. Gold has non-currency uses so it is, innately, NOT a "fiat" currency. It can be used to make objects of art, and it's essential in many manufacturing processes.
Just shut up and use Java. It's fine.
Don't worry, it gets worse: http://www.npr.org/series/133208980/post-mortem-death-invest....
A few things:

1. The universities do have a legitimate right to the work of grad students. They provide the facilities and the environment for this work to happen. And this is not just paying the electric bills and some of the stipends. It includes teaching the right courses, inviting leading researchers to speak thereby enabling the creation of new knowledge, helping conduct research conferences and so forth. It's only fair that they earn some money off the work that the grad students and faculty do.

2. Universities have a strong incentive to monetize their intellectual property. This is why they will almost always licence the IP back to the inventors for reasonable terms if the inventors want to start a company with their work. Just owning IP isn't very useful to universities, they want to earn royalties.

3. It's the current climate of academic funding being extremely hard to find that is forcing universities to look for newer revenue streams. If you are frustrated with their behavior, at least a part of the blame goes to our anti-intellectual Zeitgeist which regards academic teaching and research with extreme mistrust.
Reminds me of this:

http://www.theguardian.com/world/2011/aug/11/kids-for-cash-j...

"'Kids for cash' judge gets 28 years in Pennsylvania bribery case"
What a hypocrite: https://twitter.com/kevinrose/status/398865551730036736 — Kevin Rose sold some Bitcoin's a little while ago. Seems he's on both sides of the fence, one of those sides being people who want to make a quick buck selling Bitcoins as an investment medium and the other side as someone who wants to see an alternative currency thrive.
Why would you want to rewrite a stable, complete and extensive visualization framework within your MVC framework? d3 should sit at a lower level, the approach of containing the implementation to a directive looks much sounder.
With human drivers you're given a notion of whether or not they've seen you (they're looking in your direction, the vehicle is slowing, they're motioning at you to cross or get out of the way, or honking at you). The situation is somewhat deterministic.

Not perfect by a long shot, but unless automatic vehicles offer some similar pedestrian signaling capability, there will be issues.

There's also the question of what happens, say, when a vehicle is surrounded by a crowd of people with ill intent. This happens:

http://www.nbcnewyork.com/news/local/Motorcycle-Gang-Attack-...
You can read the leaked email in this gist https://gist.github.com/anonymous/1406238

I don't know how many of these problems have been solved in the last couple of years.
There are bitcoin trading bots? That sounds interesting. How would that even work, and how would you set one up?
Why isn't lack of DB connection a panic condition?
A Warning: Do not turn in illegal files you found to the police.
Do we actually think that a human life is priceless, or is that just something that we say that we think to make ourselves feel good about ourselves?

We regularly put a price on human life in civil cases, and that price always seems to be finite and fairly low.
CentOS 6.5 released
Usually it enforces statically that you cannot create an Integer that violates its preconditions. If you even do so dynamically it'll make sure there's a dynamic check before the dynamic value can substantiate the more specific type.
He tried to time the market and sold his bitcoins at $300 on November 8.

http://www.reddit.com/r/Bitcoin/comments/1q6z18/kevin_rose_f...
I'm not sure if you're asking about fundamental analysis or investment fundamentals in general?

In a nutshell:

- Technical analysis are technical indicators over price, such as charts and overlays over those prices which would in theory provide you with an insight where price will go based on past performance/situations by only looking at the price action. Namely, charts and patterns as well as trends is all you need. Though there is more. Whether you 'believe' in it or not, turns out it's a self-fulfilling prophecy because lots of people 'believe' in it, so it's a good mechanism to rely on in general.

- Fundamental analysis is where talk, politics and outside factors (earthquakes, scandals, stuff) influence price action. Some people monitor news and trade based on that, some do it only by TA (technical analysis), smart ones use both.

- Risk management is how you calculate how much you will trade, how much you will take out once your trade goal is reached, or how much you will lose if your position is losing - and where you will take the loss. In my opinion this is the most important part of investing in anything. Good rule in trading is to make positions in such a way that they allow you at least 2:1 ratio of profit. Meaning that for each win you'd have to incur two losses to wipe that win out.

Those three things are the pillars of investment fundamentals. In my opinion, good defensive risk management strategy is over half the battle, if not more.
She was thinking: "I'm helping justice." I'm sure she was thorughly assured that people she helped to convict are guilty anyways. They just needed cherry on top to convince the judge and/or jury.
An aspect of this that I have yet to see examined is the rapid decrease in paint and body repair, as well as replacement parts needed on both a mechanical and cosmetic front. Many mechanical failures are due to driver error. Once again shrinking the pool of skilled manual labor with no new industry for the workers to transition into.
1. Visa and work are extremely tied unless you are a U.S. citizen or a permanent resident. If not, you will have to get something called an H1B visa. This is not something you do, you just get a job and the company applies for a visa for you and you take all your documents and go the U.S. embassy.

2. If you require sponsorship (that is need someone to get you a visa), I recommend applying to larger companies. They have a system in place.

3. It depends on you, your ability to negotiate, what you bring on the table etc. Salaries have a wide variance from $75K to $180K.

4. Rent again depends on where you want to live in the Bay Area. You could pay anything from $1800 to $3500 for a studio. This is a function of whether you want to live in the city, San Francisco or elsewhere (East Bay, Peninsula, South Bay).

5. Housing especially in San Francisco is a nightmare. Craigslist is what people use. You could also use a realtor.
The latter.

Check out https://en.wikipedia.org/wiki/Agda_(programming_language)
It depends. In the most general case, you have to prove that the program you have given has the type you have asserted. This is similar to proving a mathematical theorem. Generally, the computer will assist you in this endeavor--for example, if you want to prove that A implies B, and A and B are linear inequalities, this can be solved automatically.
Not sure who downvoted you, as you correct.

http://en.wikipedia.org/wiki/Decibel

Possible units (dropped by the article):

dB SPL
dB SIL
dB SWL
dB(A), dB(B), and dB(C)
dB HL
dB HL
This is how it was done. Interesting read: http://panthema.net/2013/sound-of-sorting/
I volunteer with a nonviolent communication program at a local prison, and I would guess that sentence would completely shatter her, at least if she was male. Every fellow inmate will identify with her victims and in a male prison they would be vengeful. Not sure how it will work out in a female prison.
Heaven help us if Bitcoin becomes the world reserve currency without some central authority like the Fed controlling the money supply. Bad things would happen without counter cyclical fiscal policy.
You, sir, are incredibly talented at writing. Please consider writing (anything), and drop me an email to buy/read it.
Oy, aye - I feel you on that. Hang in there. I wish that I had more solid advice to give, though perhaps seeing that someone else came to a similar conclusion is helpful - I know that it has for me.
Says the guy with a potentially competing product (FaceCash) and also happens to be suing Coinbase and CoinLab, among others.
so is mud. we dont use it as currency. why? gold has value for us not cuz of its uses, but cuz it is scarce and it is shiny and its an easy metal to work with
As cscurmudgeon asserted, not indicated. Yelling loudly doesn't an argument make, especially when it's clear you've not bothered to think about the problem.

Consider: if no model of a computer can solve price setting, how can the market? Is the market some kind of hyper-computer? (If you think the answer is yes, I encourage you to publish this work, as it'd instantly upend both economics and computer science.)

The market is effectively a distributed computation. It does this by splitting up the intractable problem of solving prices across an entire economy into multiple loosely coupled optimization problems. This allows for a parallel computation to happen. We call these individual computations "firms" and "organizations" and "individuals." There's no technical reason a command economy can't do the same, unless you have a definition of command economy that amounts to "anything that uses a stupid method to calculate prices."

The latter part of what you say is on-the-mark, but it has nothing at all to do with the computability of prices. Simple tip: just because someone points out a basic error in a critique of command economies doesn't mean the person thinks command economies are great.
Maybe a bridge in Go that speaks JSON to something written as a module in VLC?
Seems to be one flaw in the logic being presented here. The NSA could easily make employees sign non-compete agreements that stipulate due to "national security reasons" they cannot work in any similar industry for a year or so after leaving. Other companies already do this, so it wouldn't be out of the question. And the information the NSA harvests isn't just at a data centre/hardware level, they're stealing it from cables and people in the middle.
Please point me to the nearest store selling items costing in excess of a month's salary made with mud.

Gold has unique chemical, mechanical, and electrical properties - it's not just any old commodity.
I have discussed with guys doing train software for a living: http://prover.com/ From their experience, automating trains in an otherwise human environment is very hard. Probably as hard as automating cars.

I expect the ubiquitous automation of trains at around the same time at the ubiquitous automation of cars.
And with Groovy as a scripting layer, it's more than fine. Quite good in fact.
Unions prevent the firing of train operators
The term is "drafting" or "slipstreaming". The concept has been part of the allure of autonomous vehicle engineering for decades, and is already praticed by human truck drivers (though they cannot follow as closely as automated systems would be able to).

I've done it myself in a passenger car on long trips -- once covered most of a state at high speeds behind a truck who seemed bent on making his schedule. 75+ MPH and my fuel consumption was well below typical for that leg of the trip.
Wow, I've been hearing all of these podcasts, it's great to now see them in video form. I recommend everyone watch this!
Remarkable is the motivation of this chemist. No substantial money has changed hands, and she probably hasn't even received a promotion due to her higher conviction rates. She probably did it for the recognition or out of some perverse sense of justice. That's actually good news, because it means this case is probably very special.
The test and coverage features might bring me back to Go.
There is no way of knowing of that "strengthened" evidence was the difference between any given person walking or going to jail. They all need to be retried, and imprisoning them until that can happen is an injustice. Give them all the opportunity to make bail again until new trials can be arranged.

If the circumstances of their crime make it such that they cannot be retried (for example, all the substantial evidence was bloodwork that was corrupted and cannot be taken again, many months or years later) then they should be released. Guessing that they actually are bad guys isn't good enough.