Viewing profile — metaguri

> How do _you_ know your contract is secure? Ideally, using formal methods [1], one can write a provably correct program. Just because software can have bugs does not mean it must …

I set up a FreeBSD box at a computer shop I worked at in high school. We had a T1 and static IP, so I set up some routes to make it internet accessible (my boss wanted to use it to…

Rust as a target for projects like atom instead of C could lead to easier/safer/faster atom development.

Does the course cover Functors, Applicatives, Monoids, and Monads? What about other higher-level functional constructs (Arrows, Zippers...)? From what I've seen, I think Scala is a…

If you prefer something a little more simple, Spectacle is a free program similar to ShiftIt and SizeUp. Basically it's shortcuts to put windows in any half or quarter of your scre…

To my dismay CS240h was not offered again this year, probably because David Mazieres is teaching CS140 (Operating Systems) instead.

What functionality does prelude provide? Unless I'm missing something, the website suggests that you can find out by "reading the source." I had a similar experience once with the …

Hairy, especially because most of us haven't done systems programming like that, but how cool is it to see "(without-interrupts ..."??

Netflix has algorithms that decide how quickly your next dvd is sent. More accurately, it uses a score to rank the group of people who have the same DVD at the top of their queue i…

Your latter point is a tautology. You win arguments by making really good ones and gaining an advantage over those you don't. By the measure of "able to win arguments" the former v…

That's a great point. It's similar to why people often set up their problems as 3SAT or convex optimizations--you get to benefit from all future improvements to 3SAT solvers or opt…

He is an inspirational dude. I can't find a direct quote, but when I read the article posted here some time ago ( http://news.ycombinator.com/item?id=458090 ) I got the sense that …

No, I did see that, but to zoom in further, what is meant by "in accordance with its privacy policy" ? For Google's other apps, their privacy policy lets them confidentialize and t…

I was guessing that google (in their never-ending desire to consume more data) would want to use us as guinea-pigs to improve their algorithms. It's not 100% clear to me, but from …

I remember reading once that on military planes, everyone sits backwards because that is safer. I wonder if it is true?

It just seems like you could get almost all the alleged benefits of Chrome OS with a simple shell for Windows or Linux that runs the browser and nothing else on login. It does seem…

I had trouble figuring out if they were joking with each other or being serious. Regardless, I must say that they both have a quite peculiar style of writing, and it was cool to se…

one of my favorite articles of all time. the ending is... tearjerking, to be honest.

This caught me by surprise, so I thought I'd share it. You can go back to your google profile settings and uncheck "Display my full name so I can be found in search" and "Display t…

The other important reason to use a library is that if someone improves the algorithm someday, you can benefit for nothing more than installing and testing the new version of the l…

i've been using this knot for years, and it's great. i dream of some day teaching my kids to tie their shoes with this knot, and then having them explain to the other kids in class…

qwerty and dvorak are open standards. beta and vhs are licensable. windows and mac os are retail products. although all three pairs are "competitors" in a sense, i don't think it's…

I hoped this would happen, and I'm excited. Although iTunes to the cloud is one step closer to rendering OS X's advantages irrelevant.

Wow, this looks awesome. Even if I don't make it into the competition, I'd love to play with the APIs. I've always wanted to get into RTS games but I am just not very good at the m…