Viewing profile — mian2zi3

I would downvote this if I could. The author clearly does not understand the principles of quantum physics. "Thoughts become things. Whatever you focus on, becomes your reality." U…

Yeah, I guess that's about right. (usually) go to class, scan the pset and read up on the bits that don't make sense, or better yet, find someone to explain them. I do have some di…

I took 6.001.

I think it is interesting that this thread (at the the time of posting this comment) has 62 comments and 122 points, while 3 posts of the Bridgewater philosophy (which is quite int…

> Aaron Swartz lived in the District of Massachusetts and was a fellow at Harvard University’s Center for Ethics. Oh, the irony.

Wow, that was quick! HN rocks! Thanks KM!

Me too! Email in my profile.

Mathematics proves things about an infinite class of objects all the time, like, say, the input/output behavior of your program. One technique to do this is induction.

While I admit it is true in the technical sense of Curry-Howard, it is certainly not true in the sense the OP meant: that learning program is a substitute for learning mathematics.…

Physical education is the new math. Students don't like to be trapped in stuffy classrooms. They want to be outside and run around in the fresh air and sunshine. Over the semester,…

Umm, what is Notifo, and why would I want to beta test it?

Learn a dependent-typed programming language like Agda or Epigram or Coq.

200m man hrs/day = 380 man yrs/day. That's cognitive surplus.

When the first Cr-48 reviews popped up, I had exactly this question: "What kind of setup would you want for development?" (Or maybe writing papers in TeX.) ymacs seems like a good …

Rather than wring your hands and worry you're not worthy, why not just apply and see how it goes? If you don't get in through the front door, you can make a plan from there. Of cou…

Same here. And no advanced search?

I'm not JFDI, I'm INTJ.

> At the beginning of this year, there were twice as many four-year college graduates working as waiters and bartenders as engineers. Umm, maybe this is because 60% (or more) of co…

No. I don't really play poker. I was responsible for the software. My poker guy didn't step up to do the strategy. I thought about learning poker seriously myself, but eventually d…

This is summed up in the old adage, "The hungry hound hunts best."

I built a bot that used screen scraping, OCR and play reconstruction from the beginning. I had pretty generic logic to handle all the major sites. When a site changed up their disp…

Same here. The only "interesting" choice was when the safe/risky options had the same expected value. The percentages are much less clear, as are the payoffs. I was attracted less …