Viewing profile — sz

I wouldn't have recognized him if he had.

GHC has an API! http://www.haskell.org/haskellwiki/GHC/As_a_library

Or you could just un-check "simple passcode" in Settings...

Take the one thing a computer can do better than humans and use it as a captcha? Huh?

I was surprised to see Mathematician as #2. That contradicts everything I've read about math careers on HN.

I've proven theorems in my sleep before. It seems to be a generally accepted thing. John Cleese gave a related talk which I found very interesting: http://www.youtube.com/watch?v=z…

Hm, this might explain something. In old B&W videos people's impromptu speech seems much more eloquent than today. I wonder if the luxury of instant text communication has somethin…

I'm not sure actually.

Does anyone else get nauseated reading corporate speak like this?

Why are people still talking about this? It's like complaining that a Lamborghini sucks because the cupholders are hard to reach. I'm sure it would bother some people, but it's not…

On the other hand it's hideous and you would come off as incredibly lazy.

Why not just make your own site? LinkedIn has a terrible user experience. Obviously whether foregoing a paper resume is okay depends on the company.

How long until the link expires?

Just some immediate first impressions. - The logo looks small and isolated from the rest of the page. - The text in the navigation tabs looks strange, maybe it should be centered? …

I was wondering what subfield coined the label $\Pi_2$, specifically. I haven't looked much into the structure of propositions and proofs per se, and I'm curious about what can be …

"Since is formally a for-all/there-exists ($\Pi_2$) statement of arithmetic, there is a principle that such a proof should be convertible to one without contradiction" Where can I …

I was thinking about exactly this yesterday - so much of "media matter" is like junk food for the mind. I wondered if we could start an organic movement but for the content industr…

It took me a while to gain enough confidence to start thinking, "well I was ecstatic about this idea yesterday, so there must be something good here". Now I try to remember specifi…

haha yeah, sorry.

A good read every time. This part stood out: "In retrospect I realize that in almost everything that we worked on together, we were both amateurs. In digital physics, neural networ…

Are users of #1 aware of what's going on?

Is M a function of N or fixed?

I didn't read the descriptions before, they do make it clear. I was just saying that you can't apply a technique you don't know.

(1) When I see the phrase "known techniques" in the context of math it generally refers to techniques known in the field. Novel techniques are not "known" in this sense. The differ…