skysight-inc/HackerNews huggingface dataset:
I'm advocating something that typeclasses, sequent calculus, contracts, etc. could be built on. Sure, the language may have some standard libraries that would do much the same things that these do in other languages, but those libraries could be improved, removed, or replaced by the programmer.

What exactly is the point of a type system? I think there are really two big ones: program verification and metadata tagging. To simplify, the former is why Haskellers love types, and the latter seems to be the main reason that F#'s type providers exist (and why C# programmers love creating lots of little types rather than using typeless object literals a la Ruby).

Intellisense is an incredibly seductive thing, and many programmers in the enterprise world would argue that any language that can't show you that little "box" after you press Ctrl+Space is dead on arrival.

But both of those things are a subset of the things you COULD do if the phases of compilation were in your control. Maybe you want a function that says "throw an error at compile time if someone uses this deprecated parameter on this API call", or maybe you'd like to have a function where if you call it with a hard-coded URL, the program fails at compile time if the URL can't be reached.

These are obviously a bit silly, but the point is that, to many of us, WHENEVER a compiler is doing something with our AST, that should be fully exposed and not a black box. Another example: why is Idris[1] its own language? Why isn't it just a Haskell library? Granted that also gets into programmable syntax and editor support thereof, but that's part of my larger point as well.

[1] http://www.idris-lang.org/
This is how my advisor and some of my family members try to convince me that choosing academia is wiser - they tell me that as a tenured faculty, (a) I will always be my own boss and (b) I will never get fired (unless of course the department gets dissolved which is not implausible). I wouldn't be surprised if this motivation works for most PhD graduates opting for academia.
And type passwords to remote host where ssh client's running. Nope, not cool at all.

A possible workaround is implementing SSH agent forwarding support in Chrome app. However, you still have to trust remote ssh binary to only do what it's supposed to do while you're connected (i.e. not log your communications, not open secondary channels doing some weird stuff and so on).
Startup Fuel: Mentor Pam Fields
> Regulatory stupidity is hardly limited to the government though. Have you never tried to implement a Microsoft "standard"?

Indeed, regulations can suck no matter who creates them.

The great thing about the non-governmental world is that there are CHOICES. I vote with my feet (and my dollars, and my contributions). I switch from MSFT to Red Hat, from Red Hat to Debian, from Debian to Ubuntu.
It's a waste in capital _relative_ to what this chap's doing. Now, in terms of _experiences_ or _ease_, it's not necessarily a waste. Plus, rent usually comes with deposits. I've had the experience of rarely getting back deposits. So, there's some overhead right there.
I completely agree, about the codes of conduct bit. Any software developer who's taken part in any of this, who's an ACM member, should be ousted for gross violations of the ACM Code of Ethics

http://www.acm.org/about/code-of-ethics
Look into getting a grant from a student organization or university department?
I've never been able to effectively use virtual desktops. I guess I tend to forget where I put windows.

With one huge virtual display I'd be able to see where things are out of the corner of my eye or with a quick glance.
Yeah, as a father to three... all I could think of when reading the article was "The bliss of ignorance a 20-something, single kid-less person has... if only I could live in a Dome with no restroom"!
I map it to both - quick tap for ESC and hold for Ctrl. http://stevelosh.com/blog/2012/10/a-modern-space-cadet/#cont...
Not yet, but it's in the pipeline :)
> my first read of it makes it sound like grabbing Maps content in my art project is okay.

You only have to read as far as the beginning of the fourth paragraph to find: "Unless you have received prior written authorization [...] you must not: (a) copy, translate, modify, or make derivative works of the Content or any part thereof..." etc.
It could just as easily be, "Good thing you were smart enough to get out when you saw a bad thing," "Glad to see someone who sticks to their principles," or, "Let's put those skills you picked up over that 4 year period to use."
You know there are SDKs for Linux and OS X, right? It's just the 3rd party developers who are focusing on Windows, as usual with gaming.
Rent is generally quite cheap in Colorado, at least it was when I lived around Boulder. I remember seeing this interactive map, but now I can't read it on my phone to justify my claim:

http://www.nytimes.com/interactive/business/buy-rent-calcula...

At some point, buying is definitely the best investment, often times if you rent, you are basically paying the mortgage without any of the incentives of owning.
You guys can stop linking to stupid blog posts yesterday please.
I agree with this post in general. I am currently working on a project by myself, and have been for the last 4 years. I am getting a bit bored, I don't want to stagnate and I can sort of see the need to get back to working with a team. I have been contemplating this for ~18 months, however I dread the thought of it because I know it is almost certain I will end up working with at least one passive aggressive, insecure, egotistical fuckwit that will drive me to look for another project anyway.

I have worked on 13 project teams in the last 20 years. Every single team that has had more than 3 people has contained at least one whacko that has made life miserable for everyone else.
> if you signed something you were not smart enough to be signing

That's good advice, but I didn't sign anything here.

I have in the past signed contracts with companies agreeing to use services or software in certain ways (generally pre-release stuff under NDA), and in those cases I do indeed read the contract carefully before signing it, sometimes redlining parts of it before they countersign, and I abide by our mutually agreed result. If I don't feel I understand it, I refuse to sign, or ask for clarification.

However, to my knowledge, I have never signed a contract with Google. If they had asked me to do so, I would certainly have refused if I didn't understand the terms. But I do not believe they have even asked me to. All I have done is visit their website, just like they have visited my website.

I have a ToS on my own site, but as far as I can tell, Google just accesses my site however it wants and does not read it (they definitely don't pay me for the premium tier, despite exceeding the stated free access limits).
That's interesting, because I've also seen the opposite problem in high impact journals, as in the Arsenic-based-life paper published in Science last year. The journal was keen to get a big dramatic story, and must have let it in with fairly minor peer review. Then it got roundly criticised after publication.

I hate the way we have to 'sell' research to compete for funding and prestigious publications. But my impression is that most researchers regard this as a necessary evil, not as their primary purpose. Maybe I've been lucky in my academic experiences (two UK universities, biology), but I met a lot of people who are still genuinely interested in the science. They play the salesman game, of course, because they have to, but they help their PhD students and postdocs, try to judge research from other groups objectively, and care about intellectual honesty. Some of the best are the emeritus professors, the ones who simply carried on researching instead of retiring.
Use a card deck as your persistent storage. Give the card deck to undergrads to verify by hand. ;)
What other kinds of dev stacks are you looking at? I use C# in VS with Add-In-Express for creating Office plugins. It's a total pain in the ass most of the time and I would love to try something else.

I'm a long time Java/Eclipse guy that's been doing C# for a few years now. Whilst Eclipse is FAR from perfect, it really does beat VS hands down. Like - Resharper is basically a must. And running unit tests in Eclipse feels pretty much instant compared to the VS "I'm going to rebuild everything really slowly before I run the tests" biz.
I'm sorry man. I was a developer outside before I was a developer inside and I can relate to a lot of that. I'm not gonna say your complaints are invalid.

All I'd ask is that you try not to take it personally. Our squeaky wheels have to get in the priority queue for grease like everybody else.
Well sure, and hopefully progress will even speed up as people are forced to think about the fundamental insecurities of web toys and realize their hipster "disruptive" day job is actually just the status quo. But that doesn't mean things are suddenly going to change overnight, and the noise over these revelations will have long died down by the time privacy systems become popular.

The direct point I am making is that privacy preserving tools necessarily run on a user's computer completely under their control and need to be open source to be trustable. Which means they're incompatible with business unless you want to fall back on support and custom development. So they won't be promoted or purposely developed by established companies such as Yahoo, or VC-funded startups looking for a big exit.
Does that happen with non permanent structures? I don't count the problems as ignored. They're actually not relevant for the intended use case.
> people went to college for at least 100 years prior to that law.

This is the fallacy of comparing the upper classes of one period with the masses of another. A far smaller fraction of people went to college in the century before 1976, and those who did go from lower-class origins often did so through direct scholarships like the GI bill. The college loan market was not very viable at this time. None other than Milton Friedman discusses the problem in his 1962 book Capitalism and Freedom. Actually, he proposes some form of legally undischargeable debt as a solution.
what's you company?
Great, who wants to be the first patient to undergo a surgery by a doctor with a diploma from an app?
Glad to see this high end stuff being made for aussie rules
How to switch and close tabs in IE10 and 11
It's pretty cheap to pick up IL2 on gog. I think I got it for around 10 bucks. Worthwhile!
You mean the oppressed minority that constitutes over half of humans?
"Despite dismal outcomes and high defaults, for-profit colleges enroll between 10 and 13 percent of students but receive 25 percent of all federal financial aid dollars. In 2009-10, this amounted to 25 percent of the total Department of Education student aid program funds."

http://www.harkin.senate.gov/help/forprofitcolleges.cfm
it doesnt make "aim" easier. it reduces the perceived latency.
Using Techstars To Accelerate Success With Erica Douglass
Maybe if google (and all other companies with similar "walled" gardens) had a leg to stand on when it comes to data, one might be more inclined to care more to abide by their wishes…

Playing dumb isn't an excuse; But if one were to juxtapose the consequences of ignoring google's wishes and not paying ones mortgage, that would seem ridiculous.

And is accessing a url is a legally binding contract now, especially when nothing is signed or acknowledged by one or both parties when the url is accessed?
I like this "Magic: The Gathering" twist :)
Wow, I didn't know they were an AngelPad company. That's huge for them.
How to configure a Cisco SPA303 for use with Plivo and Telzio
Going to Harvard is less about learning things and more about meeting people. It's a lot easier to start a startup or join a big firm when your roommate's (girlfriend's, teammate's, etc.) daddy is a VC or a Partner.
OK, so on the one hand there's white (or grey) hat cases, and on the other there's spammers and scammers. Both break the ToS.

I think a big difference is whether it's for commercial purposes, or has some evil motive. Eating KFC in McDonalds is probably breaking some rule, but no-one in their right mind would really care. Selling your own fried chicken in McDonalds is much more likely to lead to trouble. A political stunt is somewhere in between, but should generally be given a bit of lenience.

So I'd say it should be OK to use a script to automate some personal task. Creating a business which relies on breaching a ToS is both wrong and stupid. And while political hacks might be a bad idea, they might also be the right thing to do.

Here's the thing about the law - it's not quite black and white. A judge or jury will always consider the circumstances, when they decide what to do with you. The same is true about companies blocking you. Sometimes, you need to use common sense, and hope that other people do to.
Hadn't thought of that. Will give it a look though I suppose I'm attempting to monetize more for the experience of it rather than the actual funds.
Thanks to PHP SuperGlobal, 80% of websites are vulnerable to Hackers
the idea of geograpically distributed database is useless from my POV
There's nothing wrong with what he said. Even you gave an alternative reason.

The student has a reason, we just don't know what it is.
I wonder why we impart onto grown adults such a cynicism about everything when deep down what we really want is to serve our ideals.
It's a common practice to say things like that in the embassy. She went to Moscow, Russia, because US embassy in Minsk, Belarus is not issuing visas and Belarus citizens have to go to another country to get a visa. Kyiv is not a part of Belarus. It is a capital of another country Ukraine. So it does not matter where she goes, to Kyiv or Moscow. Both cities are not part of Belarus.
Have you considered applying to Khan Academy? I know its just a single company, but your ability to produce and present educational content in combination with your programming skills might actually make you a good candidate for that or something similar.

I'm no expert on employability though, so perhaps others will have better advice.
Why not allow users to add/remove their own exercises? They choose a name, and data they'd like to track for that exercise, such as distance, time, weight, reps. For example, they click Add Exercise, enter Squats as the name, and check the boxes for weight, and reps. Now, after their workout, they just click the Squats button under My Exercises, and enter the reps and weight they did for that day.
Perhaps I was misinformed. http://en.wikipedia.org/wiki/Microsoft_Product_Divisions
No, this ain't non-profit, it's big profit stuff.

Khan academy is definitely not it. They teach traditional curriculum which is isn't useful to business.

The app is definitely isn't the easy part - it is basically the whole part. The current education system is a failure for 2 reasons

- unanalyzed teaching

- unmotivated students

Apps solve both problems, every user interaction recorded and analyzed, gamification.

You can turn it around even and starting hiring those students yourself and create your own megacorp with the best employees and make megabucks.
What do you find deficient about hterm?
Have to love these conclusions, particularly of the blink variety. They sound so scientific you almost believe that there is some science behind them. Like this one.

http://fakevalley.com/breakthrough-coffee-and-sugar-are-boug...
I've made my best to explain my position upper in this thread:
https://news.ycombinator.com/item?id=6357072
I think the implication is it's paid off.
I stayed in a hotel in Hiroshima in 2011, and my room had a rotary phone (the room generally looked like nothing had changed changed since about 1971)! :]

[The actual hotel: "アレーホテル広島並木通". It was actually a very nice hotel—clean and neat, friendly service, free (if simple) breakfast, crazy-low prices, and an incredible location—just a bit out-of-date. I highly recommend it for anyone wanting a budget hotel in Hiroshima. They also have slightly more expensive rooms that look a bit more modern (maybe even rocking a touch-tone! :).]
If I were the NSA, I would run these VPN services.

They provide a perfect honeypot to gather the "illegal" web users or those with something to hide, in one place.
I have always suspected dropbox was a rootkit trojan. Ever since the founder said that it was open to sifting through users data for copyright violations.
Right. Use 1000 different hash functions to hash the binaries and compare. Surely it is impractical to compromise all future hashing algorithms by detecting their pattern.
ASLR = Address Space Layout Randomization

https://en.wikipedia.org/wiki/Address_space_layout_randomiza...
>Replace mortgage with rent and the issue is still the same.

Seconded. I've have owned a 3 bed/2.5 bath condo in Mountain View for 14 years. Right now my total monthly cost is about the same as a 2 bed/1 bath apartment in one of the major apartment complexes in M.V.

The thing about mortgages is that ideally the way it should work is that you buy something that fits within your budget, and your payment remains mostly stable while your salary increases due to inflation and/or promotions. The first few years I owned my condo, my finances were indeed tight, but eventually that eased.

The idea that a mortgage is incompatible with being a startup founder seems to be based in the misconception that because a new mortgage is expensive and burdensome today, it will be expensive and burdensome forever. When in reality, after a few years the equation can change quite dramatically.

Of course, everyone's experience is different, and one can make choices that indeed keep a mortgage expensive and burdensome. But you can do that with renting, too. The question in both cases is simply "can I cover my housing costs for a year or two without a salary?".

Personally, when I contemplate becoming a first-time founder (and yeah, I'm in my 40s), the fact that I own rather than rent isn't a big consideration.
>Why is rent wasting money?

It's isn't. The idea that it's wasting money, or that you're paying someone else's mortgage, or whatever other argument is thrown out there are part of one of the biggest financial misconceptions going.

Do the cost/benefit of renting vs ownership, accounting for maintenance, taxes, interest rates, macro-economic conditions and whatever else and the costs should be very similar. Of course, it ebbs and flows with the markets, but at the margins is where the decision should be made. Owning is never a clear winner in all circumstances.

That said, with the drastic drop in house prices since 2007 and historically low interest rates, buying has been (in the US at least) a financial gift from the heavens for the past few years. Unfortunately, that ship has sailed.
And if theft didn't exist, we wouldn't need police.

This is a useless observation. You may be able to effect a limited degree of societal change, but you will never satisfactorily eliminate the problem at its source. Other solutions are necessary.
Johns Hopkins Backs Off Request To Remove Professor’s NSA Blog Post
The 9 Startups that Pitched at Ultra Light Startups May 2013 Forum
Show HN: Fwd.us for Android made with Visioneer app for making apps
> Saying no is empowering.

I just want to second this. Saying no was my 2012 goal and it did me a ton of good. Embrace it.
> Update: Brad “spender” Spengler (of grsec fame) has noted that the latest version of Dropbox has ASLR enabled for the 64-bit DLL, but still doesn’t on 32-bit.

For those particularly worried.

Still disturbing, but this seems to point to technical concerns.
Well, ahem, you may be aware that in some places in the world some families have plenty of kids and no restrooms in their houses. Actually there is quite a lot of them.

Restrooms is not the problem here, the problem is this focus on frameless structure. Why not just doing a tent, like in so many traditional cultures? It must be easier to build and may even be more pleasing to the eyes.
So is http://koding.com a http://nitrous.io competitor? Can't really tell at the moment since all the main page says right now is:

A new way for developers to work.
Software development has finally evolved.
It's now social, in the browser and free.

And then throws an error about not being able to connect to the backend.

[edit] Hope it is since nitrous.io seems a bit expensive.
Yep, agreed. It's a youthful affliction, and it isn't specific to PhD programs.

Time either beats it out of you, or you become this very pathetic, unfortunate sort of character as you get older. There are few things sadder than adults who blame the world for being insufficient for their needs.
Sorry for the naive question but what is oil used for? Isn't most of it used for transportation? If so, isn't the problem a bit overblown given that we have electric vehicles?
I can understand some awkwardness, but surely the software is sold as working under certain versions and configurations of windows. If a customer is using it on a version that isn't supported you can point that out to them. If you plan to support a new version of windows soon you can tell them that too, and maybe put their contact details on a list of people to email when the updated version is released.
> What we should be doing is allowing lenders to discriminate by major and school. Good school with a good degree? Lend. Good school with a shitty degree? Lend with extreme caution caution. Fake school with any sort of degree? Tell them to kindly fuck off.

No disagreement here.

I don't want to give the perception that I think "for-profit" higher education is problem-free. I do think they have severe problems, but putting a disproportionate amount of attention on them is distracting to the problem that the "non-profits" are - which has a bigger societal impact, since they are serving more people. "For-profits" are just an easy target because of the broad social perception that profits breed evil, where many of those evildoings are just as bad in the "non-profit" higher educational sector.
Final Mars One Numbers are In. Over 200,000 People Have Applied.
1) The absolute last thing this world needs is more for-profit education, particularly for-profit education that has somebody else foot the bill. Do yourself a favor and try to sell this idea as non-profit; I was giving you the benefit of the doubt by assuming it was.

2) An app that teaches people things but doesn't have anything to teach them is worthless. Of course the software is the easy part...

If you really think a for-profit Khan Academy that teaches... nontraditional... curriculum, but doesn't actually have any content since you seem to be completely ignoring that problem... is what the world really needs, then pitch it to YC as a for-profit startup. I ain't stopping you...
Coast, a browser for the iPad by Opera
I'm a college student. I have two credit cards with credit limits of $500 and $1700. My tuition (with room and board) is $58,000 per year. That's the difference.
Well, evolution doesn't look like design of any sort, much less "intelligent" design.

Take the old eye example. Why are so many types of eyes present? Both reflectors and refractors exist, and refractors exist in lots of variations. Compound eyes of several types exist. A designer would try out designs and variations until he/she/it/them found the best one (for some notion of "best") and then plop that best eye subsystem in every new animal.

That generalizes: "the best" whatever subsystem would show up everywhere after testing variations. Variations would disappear, and never repeat themselves.

We don't see that happening. At all. Not in the fossil record (and there's a pretty good one for vetebrate eye evolution) and not in extent species.

Also, some pretty flawed subsystems seem to be preserved. Back to the eye example: vetebrate eyes have a "fovea". Cephalopod eyes do not. All vetebrates have a blind spot.
Gamers are better at (virtual) surgery than MDs

http://www.popsci.com/gadgets/article/2012-11/teenage-gamers...
Whats so bad about passwords over SSL ?