psuter

13 ms·

91.
by psuter 12y ago
For the verification part, the main paper is "Satisfiability Modulo Recursive Programs", SAS 2011 [1]. For the synthesis part, the most up-to-date paper is "Synthesis Modulo Recursive Functions", OOPSLA 2013 [2]. As is u
92.
by psuter 12y ago
As a green card holder, you are already taxed as a US permanent resident (ie: in the exact same way as a US citizen, regardless of where you live). If your bank knows and hasn't forced you to close your account, they're probably O
93.
by psuter 12y ago
I do on my (Windows) work laptop, because the company that owns it justifiably insists I do. It's completely transparent, except for the odd days where an upgrade to VirtualBox or VMPlayer will introduce new "hardening" featu
94.
by psuter 12y ago
J-1 visas can come with a requirement to spend time away from the US after they expire. One of the motivations is to avoid keeping specialty workers away from their home country if their work is in demand. (How a {country,occupation} pair g
95.
by psuter 12y ago
I remember reading from an SVP/UDC official that they picked the black sheep imagery not because it is racist, no no, how dare you, but precisely because the expression works in all national languages.
96.
by psuter 12y ago
An alternative explanation is that they (or maybe 'we'..) voted to preserve the statu quo. A quick look through historical vocation results will tell you that this is as strong a predictor as it gets.
97.
by psuter 12y ago
I guess this is a good time to ask, then: can anyone recommend a good VPS provider with servers in Switzerland? (as in: not in beta, but available today)
98.
by psuter 12y ago
My understanding is that a similar law is under consideration in the US? (Marketplace Fairness Act)
99.
by psuter 12y ago
The Smithsonian has (had?) a great exhibition on the history of navigation techniques. Some content is available online too [1], including this newsreel showing some navigation techniques [2]. [1] http://timeandnavigation.si.edu&
100.
by psuter 12y ago
I've been using Threema [1] without any issues, and it works on Android and iOS. The user experience is on par with WhatsApp, I would say. The source is not available, so you must be willing to take their claims at face value [2]. [1]
101.
by psuter 12y ago
What an excellent article, thanks for sharing. "Despite such evidence, one reason why Americans find it hard to believe Buchanan could have been gay is that we have a touching belief in progress. Our high school history
102.
by psuter 12y ago
This may answer the natural question of "why not just shut it down, rather than pay to have it taken over": > In a 10-year partnership, Globalfoundries will supply IBM with Power processors in exchange for access to
103.
by psuter 12y ago
Of course, just like my rent is not pure profit for my building management company. The real question is, at what price were these units put up for rent on Airbnb, and how does it compare to market rents? The GA report says they cannot know
104.
by psuter 12y ago
Very factual and concise (the report is 15 pages excluding appendices). As may have been known, the AG does not apparently care about users renting out shared rooms (or at least, one at a time). Some salient points below. > 1,406 h
105.
by psuter 12y ago
Cherry-picking is made considerably easier by the abundance of loaded cherry trees: https://www.youtube.com/watch?v=5i_RPr9DwMA GAMES REFERENCED IN THIS EPISODE: Assassin’s Creed 2 (2009) Assassin’s Creed: Bro
106.
by psuter 12y ago
I agree that the criticism is fair. It does seem to come from someone with relatively little experience, but if anything, that makes it more valuable. Languages need adoption and new adopters by definition have no experience. Regarding IDE
107.
by psuter 12y ago
Conference organizers are well aware that best paper awards are not perfect predictors of importance or popularity. Many top conferences specifically introduced separate awards ("most influential", "test of time", etc.)
108.
by psuter 12y ago
It's 50k in "financial accounts", which includes retirement funds, and the financial institutions expose themselves to enormous penalties if they fail to report a single customer.
109.
by psuter 12y ago
Note that if you are a green card holder, you are subject to the same rules, and face the same denial of service by the financial institutions.
110.
by psuter 12y ago
I highly recommend the LLVM Kaleidoscope tutorial. [1] It takes you through all the steps required to implement a REPL for a simple single-type language, and is surprisingly concise given the end result. Regarding the JIT aspect, if you are
111.
by psuter 12y ago
From the reply: "This requires doing a namespace lookup against igorw\true". It has been a long time since I last wrote PHP code, but is it possible to dynamically redefine the value of `true`? That would (partially) explain why y
112.
by psuter 12y ago
A higher-level language like BlueSpec's [1], or something more specific? [1] http://www.bluespec.com/high-level-synthesis-tools.html
113.
by psuter 12y ago
Note that (if I'm not mistaken), PERM is the program for green card applicants. I would imagine that GC applicants are on average more senior and better paid than H1Bs applicants. To answer your question below, you can get the H1B data
114.
by psuter 12y ago
If you enjoy 70M+ Excel files: http://www.foreignlaborcert.doleta.gov/docs/py2014q3/H-1B_FY...
115.
by psuter 12y ago
Is their MTA data more reliable than Google's? Terribly often, and especially on week-ends, Google Maps will tell me a subway is coming even when the line is closed, rerouted, etc. I understand taking all temporary changes into account
116.
Technologist: A new magazine from a consortium of European universities(technologist.eu)
11 points by psuter 12y ago|2 comments
117.
by psuter 12y ago
I'm one of the authors of that paper, it's a pleasant surprise to see this here. Feel free to ask any questions!
118.
by psuter 12y ago
Among others, people who have learned to take JSLint a little too seriously [1]. [1] http://stackoverflow.com/questions/971312/why-avoid-incremen...
119.
by psuter 12y ago
So you can buy next-to-impossible-to-valuate works of art with a next-to-impossible-to-valuate currency. It makes sense, when you think about it.
120.
by psuter 12y ago
Another trick is to invert one of the stereo channels and add it to the other one: this eliminates everything that was mixed in with neutral pan. That's typically where the voice is. It will also remove e.g the drum kick, but this can

More ›