sz

61 ms·

241.
Databases are Categories(blog.ezyang.com)
24 points by sz 16y ago|2 comments
242.
by sz 16y ago
This is getting ridiculous. Apple is NOT trying to oppress or control people. They're not even trying to rip people off; that's not how they work. People are upset because Apple makes something amazing that masses of consumers want, but t
243.
by sz 16y ago
I used to be on Facebook quite a bit. I deleted my account a week ago, and the abrupt change felt surprisingly liberating. Facebook was becoming a chore to manage, but I didn't realize this until after I left. Sems like there's still room
244.
by sz 16y ago
Or just add a link to the HN thread?
245.
by sz 16y ago
Nothing that moves. (Or talks. Or does anything but sit unobtrusively in a corner waiting to be glanced at.) The only ads in which I've ever been sufficiently interested to click, even out of curiosity, have been Google text ads.
246.
by sz 16y ago
The second; you want to answer not "what does this do" but "how will this impact my life".
247.
by sz 16y ago
I'm expecting Google to roll in and take over any day now. Social networking almost overlaps with their existing turf already. I seriously doubt Buzz as it exists now is as far as they'll go. We're clearly moving to a more federated syste
248.
by sz 16y ago
A successful musician told me this once: "Put 110% into everything you do, no matter how unimportant, otherwise when the time comes that it actually is important you won't know how to do it." I see some variant of this in every "advice to y
249.
by sz 16y ago
It's hard for me to feel the same way about a Google-sponsored open source project as I do about Microsoft's commercial ventures. Maybe it's just the masterful PR, but I really do believe Google is actually doing good here.
250.
by sz 16y ago
They might see a resurgence after today's xkcd.
251.
by sz 16y ago
The more abstract the better! I love category theory. Curry-Howard isomorphism blew my mind when I read about it; that's the sort of thing I'd like to read about. Do you know of any good treatments from the lambda calculus perspective?
252.
by sz 16y ago
This is reassuring, because for months now I've been searching and searching for a sort of "mathematician's introduction to computer science". Something precise, concise, with elegant and efficient constructions and rigorous argument... po
253.
by sz 16y ago
Does anyone think they were destined to succeed had they not been unexpectedly shoved into the spotlight and showered with cash?
254.
by sz 16y ago
Awesome, thanks!
255.
by sz 16y ago
Fascinating. And I thought I might be missing out on learning CS by learning abstract math instead.
256.
by sz 16y ago
1. A refresh button that does a POP fetch from other accounts. Currently I have to go to Settings > Accounts and then click fetch, and if I don't do this on an active email thread things get messy with replies to outdated messages. 2.
257.
by sz 16y ago
I suspect it has to do with differentiation. By trying to make a product too similar to an Apple product a manufacturer would open the door wide open to valid criticism about being an Apple knockoff company. By doing something different, t
258.
Curry-Howard correspondence(en.wikipedia.org)
5 points by sz 16y ago|1 comments
259.
by sz 16y ago
That's what she said.
260.
by sz 16y ago
That's what she said.
261.
by sz 16y ago
> Are investors supposed to be cheer leaders? No, and neither are they supposed to not be assholes. But imagine a situation in which someone elects to profit from a crowd of people getting run over by a freight train. Why is this bad?
262.
by sz 16y ago
Very good point... maybe we should focus on developing photon torpedoes and phase cannons before we go advertising our fragile existence.
263.
by sz 17y ago
No, I was torn between the W510 and the then-unreleased macbook pro update. Now I'm not.
264.
by sz 17y ago
No USB 3?! Hello, Thinkpad.
265.
Google looking different suddenly
1 points by sz 17y ago|1 comments
266.
by sz 17y ago
Is it oversimplifying to explain it as "you're statistically more likely to be friends with the guy who has a million friends than the guy who has one"?
267.
by sz 17y ago
Yes I agree completely that elementary concepts and techniques of arithmetic (the concepts behind which may not even be so elementary) are essential and must be understood by any math student, but I distinguish strongly between learning sai
268.
by sz 17y ago
This is nauseating. Not to say arithmetic is a useless skill, but we should not be focusing on teaching kids things that computers can easily do. At a certain point, "higher math" becomes about coming up with original arguments and explain
269.
by sz 17y ago
"First impression matter" oh, irony.
270.
by sz 17y ago
Do you have a top 20 list you could share?

More ›