anemecek

I randomly found out about the "Alloy specification language". Basically it's an easy to use specification language which allows the developer to encode the logic of a piece of software and then test and debug this logic thus theoretically reducing the development and debugging time. I found the idea really intriguing so I was wondering if anyone here has used it for any of their projects and if so what do they think about it.

Links:

http://alloy.mit.edu/community

http://en.wikipedia.org/wiki/Alloy_(specification_language)

Hi, is anyone from HN going to Peter Thiel's talk at MIT tonight (http://www.mitforumcambridge.org/events/nov-innovation-series-peter-thiel-2/)? I wanted to go but unfortunately, it sold out before I knew about it. Would anyone who is attending be so kind and write a short summary afterwards for those who cannot attend? I think that I would not be the only one who would greatly appreciate it.

Greetings to everyone. It is a fact that for infamous websites, such as 4chan or encyclopediadramatica, it is pretty hard to turn page views into money. So the question is, how would YOU personally go about doing that?

Greetings. Since there are many non-Americans living and working in the US on this site, I was wondering if some of you would be willing to share your experience with immigration lawyers. I was considering getting one approximately a year ago to help me make a plan how to obtain a green card and eventually a citizenship, but then, after doing some research on the Internet about the US immigration laws, it did not seems to me as if a lawyer could really bring anything new to the table as the laws are fairly straightforward. Nevertheless, today I had a discussion with someone who, despite not having personal experience with immigration lawyers, claimed that a lawyer's expertise can help a lot in the whole process. This made me reconsider my opinion so I would be interested hearing about your experience.

I'm not sure if this is relevant but I'm a rising college junior originally from the Czech Republic attending a college in Massachusetts who wishes to stay in the US after graduation. I have seen the similar old threads about immigration issues on HN but this thread is more about experience with immigration lawyers rather than the process itself.

Recommendations for immigration lawyers in Massachusetts are also very welcome.

Thanks to all in advance.

After reading several good reviews of the book "Talent Code" (among others, the review on Derek Sivers' blog) I decided to give the book a shot. One thing that intrigued me was the information that supposedly, Brazilian soccer players practice futsal (a game similar to soccer, with a smaller field, fewer players, and a smaller, heavier ball) as this game "compresses soccer's essential skills into a small box" and allows the players to improve their soccer skills faster compared with practicing soccer.

The book also mentions the "Blue box" (http://en.wikipedia.org/wiki/Link_Trainer) as a practice device of similar nature for piloting airplanes.

So the question is obvious, is there something similar for programming? The only thing I can think of are competitions such as Project Euler but I somehow feel that these are not exactly "Blue boxes".

There is a lot of interesting people on this website who are nothing short of my idols (and I can imagine that I am not the only one who feels that way). Without a doubt, one way to mimic the successes of these people is to do what they do. So I was just wondering if some of you guys cared to share what does your normal day schedule look like.

Sorry if this is a repost, I tried to find if a similar topic had been done before but I did not find anything.