skysight-inc/HackerNews huggingface dataset:
I can agree with that. I suppose I believe, from my own personal experience, that a categorical approach to monads, even if they are distinct from Haskell `Monad`s, is a very good way to learn more advanced concepts in understanding Haskell Monads.

I don't think either article is great place for a beginner, but instead am coming from a point of view toward learning "advanced" functional programming and getting a flavor for categorical/squiggol style thinking. To me, it was greatly helpful to just see the pure math approach and then realize Haskell Monads as a simple example and less useful to see categorical concepts played out in the simplified Haskell domain.

Categories just don't make nearly as much sense as objects when all you see them as is a convenient way to talk about composition rules. They're dramatically powerful when you connect them to preorders, databases, graphs, or homology. My biggest moment of categorical bliss came from seeing the Paths monad on graphs, even though that is far removed from the programming domain.
I really hope Hetzner expands to the US/Canada. If the level of service is comparable, this represents a ridiculous savings over Softlayer.
(This is in response to the comment below "find a place").

Like airbnb:

http://lorenburton.com/

But seriously Loren I think that the company that you are at now might have already marked you in a way that could limit what responsibility and opportunity they give you. Because they know you're not happy perhaps (and especially after reading your comments if they do). Personally I think you are cut out more for your own startup if you can in fact "wear many hats" than in one area like engineering.
Hrm, not sure about that. I know of no college CS course that requires category theory, let alone having the expectation that a decent CS degree will give you exposure to it.

As an example, the University of Chicago, my alma mater, doesn't expose CS students to Category Theory. Of all the places it might be where you's expect it the most. It has a notoriously "theoretical" computer science department tied closely to the mathematics department and is where Category Theory was invented.

Even in a math degree, one wouldn't typically touch on Category Theory in a classroom setting until one studied Algebraic Topology. Before that students might come across it as a neat sideshow, but nothing they'd be interested in using to solve an actual mathematical problem. There are plenty of students who get a BS in mathematics without ever making a serious go at it.

It's also not really that useful as a first-order field of mathematics. It's mostly useful as a way of organizing other mathematical things and as I kind of general vernacular. Even mathematicians sometimes lovingly call it "abstract nonsense".

I see CT as a kind of mathematical interstate system. If you want to go back and forth between Chicago to LA it's fantastic, but most of your work is being done in Chicago or LA itself. The interstate system itself isn't that interesting most of the time.
Thanks for the wonderful Land of Lisp book!

I only wish someone would do a similar "Land of C" book some day :-)
Another use case that the author doesn't go into is the proliferation of penetration/injection/other security attack scripts that allows people to throw a battery of common attacks against dictionaries of sites. That's allowed malicious people to be malicious at scale.
VP of Engineering - "best of the best" = no more than 12 years experience?
Https doesn't have to terminate at the server doing the work. A feed splitter could be put between the https termination and the engine room. If ddg were compelled to do this, it's entirely possible to do so without giving up the cert.
I am a fresh graduate, and I came into university with the same attitude as him, in a scholarship program full of people with my attitude. Fortunately, the dean talked to my freshman class during orientation. He said: "Yes, you're smart. But you'll find here, everyone else is also smart. You'll find that you have to distinguish yourself through the work you do.". Admittedly, my ego was too big at the time to really take the thought seriously, but after meeting so many wonderful people at the university, and many people who were so ridiculously smarter than I was I realized how special I wasn't. For the most part, I found people who kept my attitude didn't fare as well as the students who did change.

I also think posts like this ignore all the students who navigate the system successfully. It makes our universities seem as failures, when they provide so much value and sucesses.
Hetzner pre-provisions systems. If you're a existing customer in good standing and don't have special wishes (e.g. you don't enter something in the "comment" field of the order) your system will be ready in ~5-10 minutes.

They build their own PXE setup and assemble the hardware themselves. iirc they have >100.000 physical servers on 2 locations. Each location consists of ~10 buildings like described here: http://www.datacenterpark.de/images/rz_modell.gif

Here is a screenshot from BING maps (link doesnt work): http://i.imgur.com/6zNvBz1.jpg

Here are more official details about their data centers: http://wiki.hetzner.de/index.php/Rechenzentren_und_Anbindung...
"Empowered" is such guff. Here's the point: if she does anything short of drawing a weapon on him, there are men out there, lots of men out there, who will chance taking it physical in order to resist having their dominance questioned.

And society will take the man's side. She provoked him. She was impolite. She emasculated him.

It's like the game of "cat and mouse" in Red Dwarf, the only way to win is not to be the mouse, well in this game the only way to win is not to be the woman. Because all the other players in the game - including the cops and the judge and jury - won't sit still for an outcome where the woman just wins.

And if she does draw on him, well, look up Marissa Alexander.
a couple of years ago i started signing my emails.

unfortunately a lot of my mails got deleted by the recipients, because there were "some very strange things" (the signature) at the end of my mails and they were afraid of malware like viruses or trojans.

i wanted to increase the level of trust in my messages and achieved the complete opposite.

i stopped signing my mails a couple of weeks later, after a clients secretary phoned me to inform me "i had a virus on my computer".
"Ahem...That sounds."

Agree. Post mortem. Air crash investigation. More than just a lunch I would go for at least a dinner and learn from it.
I don't really see email as any more secure than snail mail right now (which can be taken from your mailbox and read, albeit with stiff legal threats if anyone catches you). There wasn't an appropriate poll option for "I don't care because I don't think email can be both effective and secure in the near future and I prefer effective".

People who need encrypted email will figure out how to do it and I think that's enough for now. I don't think lamenting how slow PGP adoption is makes sense, though - it will never, in its current form, be mainstream.
The outer appearance of the two people interacting are descried. There is even a picture illustrating how the man looked like.

How this is sexism against the woman is beyond me. How this is sexism at all.

This seems to be a feminist keen-jerk reaction. Outer appearance of a somebody? That somebody happens to be a woman? What a misogynist!
They probably won't but have you seen http://www.ovh.com/ca/en/ yet?
This is one of the most interesting posts here, but some of those are hard to search for. Care to link?
Why the downvotes? It's not as if this is spam nor unrelated to the article. I think it's quite relevant actually. tagabek just asked why no one has built what we are building.
I have personally driven landcruisers at very high speeds, over the roughest african bush roads you can find. They're like tanks. Land Rovers are the only cars that hold a candle to them.
DANE isn't without its own problems. Moxie Marlinspike wrote an excellent blog post about it.

http://www.thoughtcrime.org/blog/ssl-and-the-future-of-authe...
Even still, they relied on nVidia to design their SoC. I don't see any rumblings of Microsoft starting up a silicon design shop.
Fucken niggers. Of course a dousing rod works if God is willing.

Next you're gonna tell me men and women are equal.

God says...
Virgin's thereupon admiration WooHoo soap_opera heardest
ancient example assigned affected utterance Might lessons
settest eloquence offensive psaltery now_that_I_think_about_it
let's_roll Prelate V vow foolishly replied section belief
chilled ere persistence circumstance warranties I_have_an_idea
kindness Courage modestly evils The guardianship Ukraine
heresy salted Circumcise enounce principally injurious
purposed contributing reverse_engineer waste sound AM
IF sudden tribulation perceived geometry taughtest respected
inspire sate 99 castest gathers high_mucky_muck loose
you_better_not worm Tomorrow instinctive perceivable dividing
pertained unhesitatingly Connecticut fanned comforted
revenge scourged mirthful print Icarus manna least benefits
sunder aches everlastingly Cup beatific distempered copyright
theirs transparent charity voluptuousness bethink amiss
add capable imaginary banner behind attended women counterfeit
tumultuousness deserve liability beloved what_would_Jesus_do
helmet begs_the_question artificer pursuits unadorned
pervert Husband deep logic ensnaring voluptuousness punishment
SupremerCourt primary overthrew Soon smooth texts poetic
solstices unfriendly gladly products announcing Senegal
rightful grass umm_what_now Didst Wordly I'm_off_today
mget tilde bleeding phrase Ask indited middle tutor saint
disalloweth pub/docs/books/gutenberg depend moral

-----

You're gonna tell me niggers are equal.

You're gonna tell me chimps and humans have 99% the same DNA.

You're gonna tell me we only use 10% of our brains.

You're gonna tell me human DNA is 100,000 bytes.
1. Hask has exponentials, so (a -> b) is the exponential object final in the category of c's such that we have arrows from a * c to b.

2. It's incorrect that the only category in Haskell is Hask, after all it's easy enough to formulate subcategories of Hask and do your algebra there. I don't know how to answer to what degree you can model category theory, but you can do a lot.
We have!! It's called Bondsy and it's totally free.

I posted about it here a few minutes ago but I got downvoted badly. No idea why.
If you are an early employee at a startup, you were hired to make the company successful, not just to write code.

If in order to succeed you need to clean the bathroom (figuratively speaking), just go do it. Go beyond the job description; it's a startup, after all. Job descriptions are worthless, until you have a decent size and need some bureaucracy to survive.

If the founder is not seriously expecting you to do go beyond your comfort zone, you should seriously question his ability to lead the company to the next level.
Their first iteration of Surface was weak. Win8 is really rough around he edges, and the hardware was awkward in some areas.

But they have strong points too, and the next version will probably be better. They are still experimenting, trying to figure out exactly they want to do.

Market share right now means nothing.
An interesting quote from Dijkstra on that:

"I have never competed with Peter Naur. (I was raised somewhat puritanically: we had to try our hardest and give the most, but we were not allowed to compete. I am still grateful to my parents for this education.)"
Yeah obviously. Who wants to hire gross old people in their shiny new startup.
Which is a very nice piece of kit by all accounts.

The article is wrong by the way. It says, "has not articulated a unique and compelling vision for the future of computing since Apple’s iPhone rocked it to its core in 2007"

Yes, the iPhone was a big deal but Linux is and has always been a far bigger deal. Microsoft can out-spend and out-compete anyone on their own turf. They cannot do this with Linux as Android shows. This really does seem to signal that Microsoft may have to become a lot more like Apple in the hardware/software integration stakes. If you think of the very log view (30 years) there is no way any company can build and maintain a monopoly in any one sector indefinitely. What other company has ever been able to do that? The PC market is dwindling. And eventually there will be a third player and then a fourth player. Eventually Microsoft is going to have to port Office to Linux.
Mr. Rogers Defending PBS to US Senate
Really?

IME, I've only had a couple of lecturers who are good researchers, and poor lecturers. They weren't that bad, they were just the guys who hated teaching and had no social skills. They were still pretty good at explaining things, even though they were dead boring and a little disorganised.

The worst lecturers are the ones who don't understand the subject well enough. They become massive assholes, and say things like "If you don't get it, that's your fault."

Look at Dijkstra's rules (excerpts that show he was not in any way an asshole):

> If I use a word you don't recognize or a sentence you cannot attach a meaning to, it is your duty to ask for clarification. If I go too fast, it is your duty to slow me down.

> Since first-class students can learn a lot from each other, I urge you to try to do the homework in little groups.

(Now, I think assessments should be individual, but at least he recognises that students will cheat so why bother stopping the ones who follow the rules?)

> At the end of the semester there is an oral examination for each of you, the principle being that, after having followed my thoughts for a full semester, you are entitled to two hours of my undivided attention.

God he takes a lot of responsibility. He can take a lot of responsibility, because he's not an idiot who has to hide behind excuses like "it's not my job to make sure you understand the subject".
> And except in domains with big penalties for making mistakes, it's often better not to aim for perfection initially.

I feel like this exception is another potential pitfall because it is so easy to think e.g. "if this doesnt look polished, users will think that we arent professional" and that is a big hit.

Although that is a more clear case, there are more ambiguous ones: imagine that your startup is doing encrypted email. What level of encryption/protection do you go with at launch? Do you go with the best practices as good as the founders know of or do you get an audit from tptacek? The latter is probably wayy out of your price range as a startup, but if your security takes a hit people wont know if they can trust you with their important information. What is the right line to go with here?
What you learn in college/university depends only on yourself. Tests are just the most convenient, unified way to measure students' progress. There are two ways you can beat tests: one is to train specifically for the test, the other is to actually know the subject.

The first way is easier, but leaves you with little residual knowledge, and you don't even know how to apply that knowledge. The second way is much harder, and it requires work on your part. However, it pays off. Not only you get to pass the test, you're also now armed with useful knowledge.

At my time in university, I've taken both approaches towards various subjects. For the algorithms class, I made a lot of effort to study and understand the subject. Today, I still have it in my head, and can apply it when needed. For differential equations, I just studied for the test. I don't remember anything now, and it's my fault for being lazy. I got an "A" in both subjects, by the way.

What I'm trying to say is, the system is just fine as long as qualified professors are teaching. The problem is lazy students.
Show HN: Zeitgeisty Books Bundle
Hey guys. We've just launched a pay-what-you-want ebook bundle of full-length fiction about "the way we live now": stories about startups, apps, geekdom, and the weird side of the internet. It's the kind of work I love reading, and I suspect it's the kind of work you all enjoy, too (and, if you're like me, wish there were more of). Featuring some amazing novels/novellas from writers most of you will be familiar with, like Jack Cheng and Robin Sloan.

http://tomely.com
Agree but not "c".

Target of this essay has the time to read something this long.

I'm saying that as someone that doesn't even need the info but yet I found it good enough (don't always agree with PG or anyone for that matter "just because") to read. I may read it again (ok I skimmed quickly first time because I have to get somewhere).

Lots of similarities between what I've done, what I've seen (in the traditional non "pg startup" business world) and what was written here.
I graduated two months ago, and I learned a lot of things, too.

I learned that the fastest way I'll ever learn a subject (whether or not it's a programming language, a financial derivative, or an era of Hinduism) is on my own, poring over search engines and worn-down books. Professors will never teach me faster than I can teach myself.

I learned that, yes, you're more or less paying for the piece of paper (but that doesn't mean there isn't a lot of other awesome things you get along the way.)

I learned that, yes, that piece of paper is quite worth it, no matter how many hip tech companies say they don't care about pieces of paper.

I learned that there can be infinitely more value in talking to a stranger for fifteen minutes than spending that time browsing Reddit (or playing a video game.)

I learned that, despite my protestations otherwise, I honestly do perform best when my outcome is quantified, curved, and compared to other people's outcomes.

I learned that everyone's college experience is wildly unique, too, as I benefitted from professors in both business and computer science classes who always rewarded creativity instead of stifling it.

(I don't mean to say that I disliked college. It was the best four years of my life. But the idea that the undergraduate experience is marvelous and the idea that the undergraduate experience needs a lot of fixing are not necessarily in contention with one another.)
Not as long as the Chromebook Pixel is shipping with ChromeOS instead of a full GNU/Linux distribution.

But it seems like a nice reseller opportunity if Google would allow it.
It's great for two classes of people: those who understand monads from a Haskell/software engineering perspective and want to learn the mathematical perspective, and those like me who understand them from the mathematical perspective and want to learn them from the Haskell/software engineering perspective.

Given that, I think it's great! :D
PGP on the Blackberry was a wonderful feature. It is too bad it never left the corporate arena.
> I'm guessing someone will figure out how to replace a few transformers quickly

Or those people will move somewhere that wasn't affected. Even if it means leaving a house behind and declaring bankruptcy, you won't just sit somewhere with no power (and thus no employers, compromised food supply, etc) forever.
Well there's a lot to cover here, but it turns out pg did answer the question - http://paulgraham.com/ds.html

In the end these are the answers you have - but I would strongly urge you to consider putting your time into another industry.
I find AWS pricing rather high (for the actual performance on offer) too. That's why my comparison was with Digital Ocean.
Thanks! As for the form, I'm guessing it was because the required email field (to send you your download link) was left unfilled. It's my bad, I didn't make the "please fill in this field" prompt obvious enough. I just left it as the HTML5 form validation default.
I contest the assertion that we are talking about almost everyone everywhere at this point.
Lol, this is probably the reasoning.
drcode, do you know of a Haskell implementation of bitcoind?
To empower means to give power. It's empowering for the hero to support her while she stands up to him.
> > 1996 United States "dream team"

> 1994 :)

1992 :)

http://en.wikipedia.org/wiki/1992_United_States_men's_Olympi...
I don't know why anyone would use the Integral typeclass over just Int or Integer in a simple program like this, but you wouldn't need Num in addition to Integral, every instance of Integral must also be an instance of Real, and instances of Real must be instances of Num.
> I learned that the fastest way I'll ever learn a subject (whether or not it's a programming language, a financial derivative, or an era of Hinduism) is on my own, poring over search engines and worn-down books. Professors will never teach me faster than I can teach myself.

I've had the same experience. And I hate how colleges seem not to recognize that.
Mainstream users won't ever refer to a tutorial to send email.
Flinger just about anything with a URL, from any screen to any screen.
I don't if its borne more out of cynicism or laziness, but I feel as though if a shadowy government organization has the ability to peer into every major facet of the Internet, me encrypting my email isn't going to do much to stop them from getting whatever they want to know about me.

(Put another way: I'm more embarrassed about the subreddits I browse than the emails I send.)
> A foreign intelligence agency like the NSA actually needs less of a legal framework to spy on a foreign company as opposed to a domestic one. It's sort of the whole point of a foreign intelligence agency, not respecting the laws of other countries.

That's why the NSA has links to UK and Australian intelligence agencies. They can "share" intelligence (as in, let the other guys spy on their people). I wouldn't be surprised if the NSA didn't have people on sequester to foreign agencies, but still based in the US, doing nothing but spying on US citizens and passing the information to the NSA (plus giving a few tidbits to the foreign agency, to justify the sequester); as a legal loophole.
Cash-strapped startups are not choosing DigitalOcean, they're choosing AWS. That's their point of comparison. Your assertion was that 100EUR would be a barrier to startups, not just to yourself.

http://www.dangrossman.info/2012/09/24/who-hosts-the-y-combi...
On being a one-armed coder
Ping on my ex-4 is 200ms from California. My OVH box in Canada is 80ms by comparison. Latency is an issue.
I didn't claim he was a misogynist. There's no evidence of that. Now that is an overused word.

Our culture is sexist, and all of us are (in daily practice) to some degree. With women, there's a strong focus on their attractiveness that doesn't exist for men. For just one example relative to this society (not OP) people don't infer radically different personalities for men based on attractiveness (except, perhaps, for the top and bottom couple of percent) but they do for women.

Yes, I think that, based on the totality of the OP, there's a latent sexism in the way the encounter was presented.
On the surface I agree about the statement - I love women's dresses as much as any heterosexual man - but consider what the attractiveness means in the context of the story. She has to be attractive to be the princess. It's not sexism to make that remark, but it was a sexist situation - two men fighting over an attractive woman's affections like a prize.