Am I the only one who's a little disappointed?
294 karma · joined March 25, 2009
(edit: just kidding. But you should try it, it's fun.)
Might be helpful.
I'd recommend this one: The Haskell Road to Logic, Maths and Programming -- would fit best if you'd also have an interest in Haskell/FP, but it's also a good introduction to formal proofs -- might be a bit too basic if you're interested in higher maths, tho, but a good starting point for math education.
After your second one I'd recommend Le Monde diplomatique -- there's an English edition, too: http://mondediplo.com/ -- Well, it's not really a news aggregator; but it's without daily soap opera politics.
But what I really wanted to say: there's a link to http://www.tumblr.com/?notepad that's kind of dead (?)
Edit: but thanks for the pointer, I would have missed it.
Jan van Eijck's »The Haskell Road to Logic, Maths and Programming« does exactly that: it introduces you to mathematical proofs, basic logic issues (including relations) and programming using Haskell. I'd wholeheartedly recommend it to someone who's not yet had much contact to maths.
http://groups.fsf.org/wiki/Group:GNU_Social
http://www.complang.org/dsnp/ (appears done, cached: http://webcache.googleusercontent.com/search?q=cache:http://... )
http://www.get6d.com/developer-s-alpha-download
There doesn't seem to be any 'desktop-ready' way yet, unfortunately.
Worth a look, too.
my recent favorite: Nikolski by Nicolas Dickner
This could be a valuable resource, too, although it might not cover setting up a large proxy server, it shows quite a few ways to reach that goal.
That said, the desktop metaphor issue mentioned below seems kind of reasonable (though it might just be a matter of preference and acquaintance).
And now for the direct link: http://www.serpentine.com/bos/files/cufp.pdf
Edit: What a wonderful presentation! (Even though there's not one line of Haskell in it)