metaguri

7 ms·

1.
by metaguri 10y ago
> 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 have bugs. Human contract law has no analogue. Person
2.
by metaguri 11y ago
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 host pictures for his eBay transactions). I set it up, thre
3.
by metaguri 11y ago
Rust as a target for projects like atom instead of C could lead to easier/safer/faster atom development.
4.
by metaguri 14y ago
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 nice language. One thing I don't like is particularly that
5.
by metaguri 14y ago
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 screen, centered, maximized, or send to other monitors. On the a
6.
by metaguri 14y ago
To my dismay CS240h was not offered again this year, probably because David Mazieres is teaching CS140 (Operating Systems) instead.
7.
by metaguri 14y ago
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 emacs starter kit [1]. Though it's a noble effort and probab
8.
by metaguri 15y ago
Hairy, especially because most of us haven't done systems programming like that, but how cool is it to see "(without-interrupts ..."??
9.
by metaguri 15y ago
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 in order of who should be allocated the next available copies
10.
by metaguri 16y ago
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 viewpoint is better than the latter. If you're using other
11.
by metaguri 16y ago
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 optimizers.
12.
by metaguri 16y ago
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 he wants to change the world, and potentially going broke do
13.
by metaguri 16y ago
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 then use data about you to improve their services. Don't s
14.
by metaguri 16y ago
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 the terms of service: By submitting, posting, displaying, o
15.
by metaguri 16y ago
I remember reading once that on military planes, everyone sits backwards because that is safer. I wonder if it is true?
16.
by metaguri 16y ago
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 so. And indeed, that's what Chromium OS is. Essentially a
17.
by metaguri 16y ago
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 see the human side of two people that I've studied so much. Th
18.
by metaguri 17y ago
one of my favorite articles of all time. the ending is... tearjerking, to be honest.
19.
Tell HN: Enabling buzz exposes your full name and contact list on google profile
75 points by metaguri 17y ago|20 comments
20.
by metaguri 17y ago
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 library. I remember this also being the case for Constraint S
21.
by metaguri 17y ago
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 why their system trumps the standard methods.
22.
by metaguri 17y ago
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 reasonable at all to compare their adoption by the market.
23.
by metaguri 17y ago
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.
24.
by metaguri 17y ago
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 mouse--I always get bogged down by failing to click on the ri
25.
How Team of Geeks Cracked Spy Trade (WSJ)(online.wsj.com)
9 points by metaguri 17y ago|0 comments
26.
by metaguri 17y ago
or for all intents and purposes none at all. i could be wrong but given the relative sizes of the sun, the solar array, and the distances involved, the amount of sunlight that is blocked by the array from any observer's point of view on ear
27.
by metaguri 17y ago
1. Submit link with affiliate thingy to HN 2. Get people on mechanical turk to upmod your submission until it takes off 3. Profit?
28.
by metaguri 17y ago
this is among the funniest things i've read on HN! but it sounds amazing. well done.
29.
by metaguri 17y ago
Wow. Yeah. Nobody "put" them in charge of this company. Perhaps "hippies" have the vision to create something that will change the world (a bold claim about twitter... but at least somewhat true already) and "non-hippies" have the pragmatis
30.
by metaguri 17y ago
i have the opposite problem -- i can't wake up. i'm not horribly sleep deprived, although my schedule isn't very regular (and i don't think it ever will be). has anyone else had and overcome this problem? i'm talking about a sleep-through-y

More ›