auggierose

1083 ms·

3271.
by auggierose 14y ago
Just one thing: If they were the best and brightest, they would not have let themselves lured into Facebook :-) Maybe another reason why not much interesting stuff is coming out of Facebook!
3272.
by auggierose 14y ago
I totally get what you are saying. I also have the difficulty that when programming in Clojure and starting on a new problem, there is no really good way of writing down the data structure. I still love the flexibility of Clojure, though, s
3273.
by auggierose 14y ago
rude, but right. A friend of mine is helping to run the turkey/middle east operations of the samwers, and he is one of the smartest guys I know and totally deserves respect for execution.
3274.
by auggierose 14y ago
His argument against computer checked proofs is wrong, because doing a computer checked proof for your claim is NOT NEARLY as common as wearing your seat belt is. If it were, then all the big proofs would come with a computer checked proof,
3275.
by auggierose 15y ago
That's extremely cool. And also extremely creepy :-)
3276.
by auggierose 15y ago
I got my Ph.D. from this university. I am proud of you, TUM!
3277.
by auggierose 15y ago
Just get a Macbook Pro 17 inch. Best machine ever. The only serious laptop for developers ;-) Bought it last week, and did almost go for a Macbook Air after the Linus endorsement. I am so happy I didnt!
3278.
Apple website down. Macbook Pro 2012 imminent?(apple.com)
2 points by auggierose 15y ago|1 comments
3279.
Purely Functional Structured Programming(arxiv.org)
6 points by auggierose 16y ago|0 comments