skysight-inc/HackerNews huggingface dataset:
Yes. If you believe the point of a type system is to enforce correctness, then this doesn't make sense. Most type theorists seem to take this position. But if you believe that the point of a type system is to provide programmers with better feedback, then this completely makes sense. I wish more type systems research would explore on the latter rather than fixating on the former.

Typescript and Dart have been developed with similar philosophies.
It would be interesting to put a trace on `strstr` for a couple days and see what the distribution of arguments look like.

ToDo: Profile libc for various workloads, record arguments and code coverage
Here is my French driver's license horror story. I was an American expat living in Paris for 2 years. Fortunately, I had a Texas driver's license which is apparently one of a few states with reciprocal privileges, so all I had to do was exchange my Texas license for a French one, no class, no test. However, it took me 5 trips down to the French DMV, each time taking a number and waiting an hour. Each time, the clerk would find something else wrong with my application, even though my company had a French attorney assisting me, and I usually had a note from the previous clerk saying all I needed was one thing. Finally, all I needed was a copy of my Texas driving history. Texas does not provide a certified copy since you are able to download a copy from the website. Of course, France did not accept this. So, I wrote Texas DMV and asked them to mail me a certified copy. They sent me basically the same download. France did not accept it, but said the cover letter was certification enough, if I had it translated. Taking a number and an hour later at the US embassy, I had my translated document, which France finally accepted and issued my a license in exchange for my Texas license.

Then, 2 weeks later, I get a letter from the French DMV. They were not going to accept the letter and said I needed to come down and turn in the license they had issued me and bring in a properly certified driving record from Texas.

I gave up. I did not comply with this letter and kept the French driver's license. Fortunately, I was never pulled over and did not have any problems. When I left the country, I went back to exchange my French driver's license for my Texas one. I got a nasty scolding from the clerk, but I just played the dumb American and she eventually gave me my Texas license back.

I have to say, the absurd bureaucracy in France was not limited to the DMV, and I have more horror stories about the government regulations and bureaucracy there.
He'll have to contend with the lowest rate of government corruption in the nation: http://www.washingtonpost.com/opinions/best-state-in-america...
Thanks, I follow now. I guess I don't have the tic-tac-toe mind.
The use-case in your comment sounds fine. The example on your page is not, as the "I've always found..." comment is not from Alienware. It's intended to be deceptive.
A lot of universities already do outsource email. Some University of California campuses use Google, for example. The big growth in administrative expense isn't really the IT department, though, but more on the high end, the vast array of Deans and Associate Deans and Office of the Provost, with their staff and consultants and travel and such.
Number of vehicles on the road is not the same as miles/hours traveled.

America is much bigger country and people presumably drive much more than in Europe. So naturally vehicle deaths per 100K cars is higher in the US (because more time is spent at risk), irrespective of training/skill level.
I found it interesting. It would be nice to know more about the subjects in this test. It might be that science students would be more at ease with autonomously behaving robots than the avarage factory worker, so I hope they didn't just ask students from the department to volunteer.
It was a presentation at Blackhat 2014. The videos are released sometime afterwards.

https://www.blackhat.com/us-14/speakers/Billy-Rios.html
How to Get Girls into Engineering? Let Them Build Toys
Ok, we've changed it back.

Please follow the HN guidelines and email us when you have a complaint about moderation. Procedural nitpicking in the threads makes them worse.
Something like this in Rust: https://blog.mozilla.org/research/2014/06/23/static-checking...
Nice. I think this will help me get motivated to start developing GUI apps. Thank you.
maybe what we are thinking of when we "picture" a character is the resulting feeling. so we know when someone looks like anna because when we look at that person, it feels the same- but its much harder to go the other way, like a hashing function. we know when the things match, but its hard to know how to make things that match.
I went to General Assembly's Inaugural class in Santa Monica, California. I thought the instructors were incredible, and my fellow students were awesome, and I still keep in touch with some of them. However I do think, and this is my sole opinion, that General Assembly as a company has many, many things to work on.

There are still are many people (like some who have given answers in this thread) who have never been to a bootcamp, know nothing about them, and continue to shit on them just because it is a different way of doing things. On the other hand, I have heard of some bootcamps basically just doing things you could do online, so YMMV. I dropped out of college and enrolled, and I am currently writing code for a living, so these programs definitely produce value despite what ignorant people may say.

The bootcamp I personally take incredibly seriously is Hack Reactor. I applied and had a great interview, but they told me to reapply again because my js wasn't were it needed to be for their bootcamp (which is fair, as I have focused way more energy on ruby/rails). I took that as a challenge, and I will be having my second interview in the next month, and I hope to go spring of 2015.

Hack Reactor seriously produces top notch people, rivaling that of many CS degree programs in my opinion. The instructors are incredible, the founders are very empathetic who have been in the position of many people coming to the program, and the students are all top notch. I could not think of any better way to spend 12-24 weeks.
I truly disagree that Scala is superior. I think it's different and made an interesting encoding of ADTs. I also don't think Daniel was suggesting anything otherwise, though the op was.
From the article:

"Most mesh networks are connected to the public Internet, but if that connection goes down, the local mesh continues to work. In Red Hook that means that you could make voice calls (over IP) from your housing project to the local hardware store to see if its open. Or you could email a friend who lives in the neighborhood."

I don't know VOIP very well so this may certainly be possible, but I very much doubt that without an external internet connection you'd be able to email anyone.
Not only that, but look at the niche Python is occupying. It's a well established and respected niche to which, by definition, the language is suited very well.

By adding static types, the focus of the language would move to a different niche, which would probably be already occupied by some competitor language(s) which do(es) types much better.

If you want sort-of Python-ish syntax with elaborate types, just use Nimrod and leave Python alone. Get the right tool for the job, don't mutilate a perfectly good existing tool.
>Where do data for HDI computation come from?
Life expectancy at birth is provided by the UN Department of Economic and Social Affairs – the UN Population Division; mean years of schooling are based on UNESCO Institute for Statistics (UIS) educational attainment data and Barro and Lee (2013) methodology; expected years of schooling are provided by UIS; and GNI per capita in 2011 PPP by the World Bank and the International Monetary Fund.

To me it sounds like a recipe for a miserable work life. The Japanese/Korean schooling systems are very tough and strict compared to other wealthy countries. Maybe this is why they became so wealthy? Also, this statistic claims to not be based on economic output, but it basically is. And in order get the highest economic output, that is going to require really hard work and a lot of rich people/companies/countries investing in you. Of course some countries have unfair advantages and don't need to work so hard.
Why are close-world assumptions bad for all cases? There might be cases limited to a domain where the computer does not need to know about the world too much. Consider, the language of geometry problems given in high school math books. Surely, to understand that, one doesn't need to have world knowledge, but only ideas about what intersect means, and so on. This way, SHRDLU can be modified to understand geometry problem statements. The same way, it could also work for other domain-limited applications. A general solution might have to go to probabilistic systems, as current research suggests.
UHD displays are finally becoming common (not just for Macs anymore). A lot of people are upgrading, at least at the high end, because the experience really is better.
Canadian Startup Looking for Some GuidancePT 1
Hello all...Pt1

Sorry, this is long winded question, so I split it up...Theres a solution to everything...

We are a young Canadian startup that is finding some early stage B2B traction..so far its very exciting for us, however, we are actually having to slow down our growth and have begun taking on a waiting list, simply due to lack of manpower.

Our product is fairly disruptive in terms of whats currently out there, our go to market strategy is perhaps even more so as it solves most of the pain points and negates most of the barriers of entry for those we partner with. We have had to limit ourselves to 4 partners for our upcoming launch although there are other interested parties.

We are currently involved with a Canadian RIC in Ottawa and have recently graduated from a unique incubator program known as GrindSpaceXL. As many of you have most likely heard or know, the Canadian mentality for funding is a little risk adverse. Ok, lets face it, its extremely risk adverse. Its so bad, that the last term sheet we were offered was so bad and despite how much we could have used the money, we decided to turn it down. (some days I still wonder if that was the right move..Our team and to extent me, believe it was..only time will tell I guess).

PT2 of Canadian Startup Looking for Some Guidance follows this and is posted as well...
It's an incredibly complex issue.

For starters, Oregon has less than half the population of Silicon Valley - there just isn't enough talent to draw from to get the in-house expertise the state needs.

On top of that, nobody wants to go work for the Government, and there is a dearth of talent at the state level when it comes to building huge software projects. Perhaps offering high salaries is a start, but the pace of the projects relative to other companies will always be a detractor. Combine that with the scrutiny of the public and constant need to practically over-document things, and you've got a culture that isn't attractive to talented software developers or analysts.
Some of the stuff the article claims sounds a bit fishy: "The more alcohol a society consumes, the fewer alcohol-related problems and alcohol-related deaths (including cirrhosis) it has."

That said, there have been quite a few studies arguing that light to moderate drinking is healthier than abstinence (e.g., less cognitive decline [2], increased longevity [1, 3], etc). For the most part it seems like a U-shaped curve, since heavy drinkers lose these benefits. A comprehensive list of studies that claim benefits to health was put together by Prof. David Hanson of SUNY Potsdam, and it can be found here:
http://www2.potsdam.edu/alcohol/AlcoholAndHealth.html#.U_pwJ...

In the Holahan et al. study [1], they found that moderate drinking was the best for longevity after studying mortality rates among 1,824 people. From their results:
"Controlling only for age and gender, compared to moderate drinkers, abstainers had a more than 2 times increased mortality risk, heavy drinkers had 70% increased risk, and light drinkers had 23% increased risk. A model controlling for former problem drinking status, existing health problems, and key sociodemographic and social-behavioral factors, as well as for age and gender, substantially reduced the mortality effect for abstainers compared to moderate drinkers. However, even after adjusting for all covariates, abstainers and heavy drinkers continued to show increased mortality risks of 51 and 45%, respectively, compared to moderate drinkers."

[1] http://onlinelibrary.wiley.com/doi/10.1111/j.1530-0277.2010....

[2] http://www.sciencedaily.com/releases/2009/07/090713114506.ht...

[3] http://singularityhub.com/2010/09/02/heavy-drinkers-outlive-...
I believe by default it uses the C implementation which you can read here: https://github.com/davetroy/geohash/blob/master/ext/geohash_...
Canadian Startup Looking for Some GuidancePT 2
PT 2 of Canadian Startup Looking For Some Guidance...

(again, sorry for the length)

Our goal is to apply in October for the Winter Y Combinator program as we have I have a few friends in the program now and have nothing but amazing thins to say about it, the people and environment the are immersed in right now. Sad part is, the application process does not begin till October and by the sounds of it, does not start for a few months post that....

I guess my question to the community is this.... What is our next best move?...a). go balls to the wall and just keep loading up on partners/clients...potentially overloading ourselves and crashing and burning from not being able to keep up? b) Concentrate on the 4 partners, build even more B2B and B2C traction and then seek funding? c) Seek funding/investors right now? d) Get my butt out to the Mountain View or surrounding area prior to October/Winter? d)None of the above, Try this instead.....

Thanks for any and all comments, thoughts, suggestions, ideas and/or help...

George
Doesn't the new search feature in Yosemite make Alfred obsolete?
If you want to learn more about how 'optional' and 'unsound' type systems can still deliver a lot of value there are some interesting articles on Dart's optional types:

* http://journal.stuffwithstuff.com/2011/10/21/wrapping-my-hea...

* https://www.dartlang.org/articles/why-dart-types/

* https://www.dartlang.org/articles/optional-types/
Hi ,The 25 gestures apps starts then immediately shut down. In their source code there is no mistakes . Has anyone succeeded to use it?
Are you guilty of doing this for your Facebook likes and shares?
Firefox GTK3 builds are still pre-nightly. We won't uplift such major work, current nightly is 34 with the uplift to 35 on the day after labor day. I would say that 36 would be possible but obviously depends on the work load of Glandium and Emilio Pozuelo.

If you want to test the builds the are available at ftp://ftp.mozilla.org/pub/firefox/tinderbox-builds/elm-linux64/ however there is no updater, so you would need to manually do that.
This.

Koreans have a strong sense of community, and are extremely group-oriented. Sharing, fairness within the group, and conformity to social norms are highly valued.

As a side effect, when a product becomes commercially successful, a large bureaucracy is quickly established underneath it, which subsidizes a lot of other unproductive activity and becomes dead wood over time.
The problem wasn't the elevation request itself, it was the amount of requests for a single [user-perceived] action. My record was 5, but a friend managed to get 7 requests in early Win Vista... I wish I could remember what for.
how sad - he handed me my degree when I graduated. A friend of mine felt his beard on stage :)
Haskell has a few libraries to do this. I particularly like unittyped[1], which not only keeps track of units but also converts among compatible ones automatically. So 1 meter + 1 inch would typecheck and be converted automatically, but 1 meter + 1 second would give you a type error.

The wiki page[2] has a bunch of examples, which I find pretty compelling. The one problem is that error messages are ugly, but they're ugly in a consistent way. You can just ignore the ugliness as unnecessary noise.

*Main> (1 meter / second) * 5 second
5.0 m/s⋅s
*Main> 2 meter + (1 meter / second) * 5 second
7.0 m

One cute thing is that prefixes like "kilo" are just functions, letting you write things like:

*Main> (42 kilo meter) `as` mile
26.097590073968025 mile
*Main> gallon `as` (cubic (deci meter))
4.546089999999999 dm⋅dm⋅dm⋅#

Haskell is really good at dealing with numeric types in general. For example, it's quite easy for a library to define its own types, which then behave just like built-in ones including nice syntax. Unittyped follows this philosophy, letting you use units with things that aren't floats, like rational numbers, meaning you don't have to lose precision.

*Main> (1 % 2) . meter `as` foot
625 % 381 ft

It's a really slick design and manages to give you safety as well as additional expressivity (since units get converted automatically).

[1]: https://hackage.haskell.org/package/unittyped
Am I the only one that doesn't even attempt to to put a face to characters? When I read a book, it is a visually stimulating experience but it's all very ethereal - I conjure up vague landscapes, actions, objects, poses, expressions etc, but never an entire portrait of a character.

To be honest I think I read entire books without even considering what colour a person's hair is, how tall they are, what shape their nose is.
There are people trying to pick up the pace for complex organs. Fifty years is way too long. See the New Organ initiative, for example. Lots going on there behind the scenes:

http://neworgan.org

Recent progress with the thymus is an unexpected gift. It is expected that achieving the same with other organs is going to be pretty challenging, lacking such a short cut. Hence the need to speed things up: advocacy and alliances and research prizes.
> You can use Object.getOwnPropertyNames to get all the properties defined on an object. This might be a nice alternative to a for in loop.

Careful. These have different behavior for own properties which are not enumerable. A for-in loop doesn't include them, but Object.getOwnPropertyNames does.
In Common Lisp:

(setf h (make-hash-table))
(setf (gethash 'foo h) "hi") ;; -> "hi"
(gethash 'foo h) ;; -> "hi"
(gethash 'bar h "bye") ;; -> "bye"

That's not too bad. Not quite as perfect as bracket-based dereferencing, but I can live with it.
pjungwir's example code is actually really close to what you'd see in F#. In F# you'd typically write it in a more functional way with say a recursive inner function but I'll leave it imperative for clarity's sake:

[<Measure>] type s
[<Measure>] type m
[<Measure>] type km

let mtokm (x:float<m>) = x * 1.<km>/1000.<m>

//the types of g and ground are inferred
let drop g ground (x0:float<m>) =
let mutable x = x0 //type inferred here
let mutable t = 0.0

let mutable v = 0.0<m/s>
let dt = 0.01


while x >= ground do
v <- v + g*dt
x <- x + v*dt
t <- t + dt
t

> drop -10.0<m/s^2> 0.<m> 50.<m>
val it : float
 = 3.16
How Watson Changed IBM
There's definitely an in-between period where you want an instructor's car. In my case, Missouri, USA, I started with my father on our property, slow and maneuvering between trees (also teaching me how to use a manual transmission), then I did the usual, free (at least back in the late '70s), and not resource constrained driver's ed in high school, then I got a learner's permit and drove on the streets for some time with my father in the passenger side to get the level of experience we thought necessary (e.g. driving to high school each morning).
I have at work :D

That's where I find GitLab super useful. My use-case however is just me, a single user, on a tiny VPS so GitLab is overkill. Awesome software though, and I'm a massive fan
Essays don't have to prove things. If they did, they wouldn't be called essays.

There is more than one kind of intellectual substance. Lapham and Lapham's are easily good enough to be here.
The man pages are intended for human and are not meant to be specs. An advanced NLP program is required to parse man pages and infer appropriate types and combinations and I suspect it would not be perfect.

I agree that this might lead to something which is not in Unix spirit but already shell completion provide such information and this shows the need for such specs.
Over the past year or so I have watched from afar as wireless tech is highlighted sporadically. I have to wonder if it's only comes to my attention when someone makes a marketing push. I'm not dismissing it as pure hype, as it's definitely captivating from just an engineering viewpoint. Whether it's hype or not, this type of cheaper decentralized wireless networking seems very cool and possibly ripe for motivating new business models. There are a few of companies (and their founders) making noise and at least one interesting acquisition not too long ago:

+ Ubiquiti (founded by Robert J. Pera, hn might appreciate his entrepreneurial background, look him up)
+ Artemis (founded by Steve Perlman, another hacker/entrepreneur )
+ Meraki (aquired by Cisco in late 2012, seems like this one did actual mesh networking in MIT and SF)

It seems like there is a lot of noise around these wireless technologies, what is holding back adoption?
Citrix release new XenServer beta
My theory is it goes something like this:

1. "The government is inefficient and doesn't have much experience with big IT projects." We should outsource things to the private sector, like we do the design of bridges and fighter jets.

2. Consultants want to maximise their profit by maximising billable hours. Obviously they don't recommend sharing things between states. Far more profitable to design a shitty 'enterprise grade' mess that will take ages to build, that nobody will compete to maintain, and that will need lots of (billable) maintenance.

3. The project fails, wasting loads of money.

4. People see all this wasted money. They conclude the government is inefficient.

5. People who know how to deliver working software see shitty designs, shitty incentives, and expensive cancellations. They conclude working on government IT projects would be bad for their sanity and their resume.

6. "The government is inefficient and doesn't have much experience with big IT projects."
ahaha no problem, I wasn't trying to be mean I actually thought it was really funny, it looked like you were joking around :) Again good work!
Girls.. toys.. sounds good to me!
Robots also don't play favorites or office politics. If there is a more efficent/better way, it will do it. Even better when it is allowed to re-calculate with new parameters.
I get that inheritance is involved in semantic reasoning, but it seems to be quite different from the OOP inheritance linked in the wiki article.
thoughtbot's Metis program (Rails) is top notch and have been impressed with their graduates.
PlayStation Now, Cheap Beer and Psychology
One of the rare cases of "internet done right".
No. Or, I should say, I don't think so. Alfred is actually about much more than basic search. There's a whole framework there and you can write custom "workflows" for it, which are - essentially - "Alfred apps".

For example (just picked this at random) - someone wrote a Gmail client for Alfred:

http://www.alfredforum.com/topic/4744-gmail-client-for-alfre...
Show HN: Codeanywhere
Not affiliated with this but the product seems to work as advertised. Lets me work on my sites during my lunch hour at work on any office browser.
We let robots give order all the time. The traffic light is one example.