Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
psuter
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
21 ms
·
151.
▲
by
psuter
13y ago
That's how Google Glass works. It needs to talk to your cellphone.
152.
▲
by
psuter
13y ago
Congratulations! It's Fictionary for slang, as far as I can tell? I would be worried about the size of the dictionary and replayability. A real dictionary never runs out of obscure words.
153.
▲
Public domain movies (Streaming & DL)
(archive.org)
1 points
by
psuter
13y ago
|
0 comments
154.
▲
by
psuter
13y ago
Excellent :) Of course there's something to be said about the ability to realistically answer reliably.
155.
▲
by
psuter
13y ago
Interesting exercise, which I'd call impossible in the given form. Imagine someone magically came up with 32 statistically independent binary indicators. Now you need to come up with the 33th question Q such that if you pick any two pe
156.
▲
by
psuter
13y ago
You can have one, but not both.
157.
▲
by
psuter
13y ago
Also http://www.youtube.com/watch?v=Cr3EYyOVg88
158.
▲
by
psuter
13y ago
It's almost as if they were trying to prove the OP's point :) http://www.blossomcoffee.com/
159.
▲
by
psuter
13y ago
Regarding fact 1., consider that today 40% of those theoretically supposed to serve never wear a uniform for a reason or another (Roger Federer was famously deemed physically unfit). Switzerland still has an unusually large army, but it has
160.
▲
by
psuter
13y ago
What's crazy is that if you take the golden ratio, multiply it by 2, substract 1, square the result and finally raise 10 to the power of the inverse of what you obtained, then you get exactly the R5 ratio :)
161.
▲
Translucent solar cells installed in windows of new EPFL building
(actu.epfl.ch)
1 points
by
psuter
13y ago
|
0 comments
162.
▲
by
psuter
13y ago
That would be the Coupon collector's problem [1]. Roughly, you should expect to go through O(n log n) quotes before you have seen them all. [1] http://en.wikipedia.org/wiki/Coupon_collector's_problem
163.
▲
by
psuter
13y ago
Excellent execution for something I always wanted on the iPad, congratulations!
164.
▲
by
psuter
13y ago
The company behind the technology to turn images into point clouds is Pix4D [1]. Their website has another few pretty demos. [1] pix4D.com
165.
▲
by
psuter
13y ago
This looks very useful. I had not realized it until now, but a CL-to-URL upload/download service is something I always unconsciously desired. Encryption is a nice bonus. (My personal preference would be to deploy the service on my own
166.
▲
SenseFly releases swarm technology for mapping
(suasnews.com)
1 points
by
psuter
13y ago
|
0 comments
167.
▲
by
psuter
13y ago
The 1:12 project is at the same stage as the basic income one: up for referendum. Latest polls showed people were still undecided (vote is at the end of November).
168.
▲
by
psuter
13y ago
One thing to consider is that today in Switzerland if you don't work you can already get around 2000CHF/mo in social programs and health insurance subsidies. (Most) people work nevertheless, if only because working brings you mu
169.
▲
by
psuter
13y ago
That was not through referendum, though. The dynamics are very different. Interestingly enough, when asked, the parliament tends to be more open to change and experimentation than the people.
170.
▲
by
psuter
13y ago
We were going for 6, actually :P
171.
▲
by
psuter
13y ago
Depending on your age, previous employment, where you live and current situation, you may in fact get a similar total today in Switzerland by combining unemployment and social insurances with health insurance subsidies, and maybe even prefe
172.
▲
by
psuter
13y ago
Before anyone gets too excited, let's remember that this is also the country where the people voted against raising the required paid holidays (2012), for substantial cuts in unemployment allowances (2010), and for increasing the VAT (
173.
▲
Congress on Privacy & Surveillance - Talks by Schneier, Bowden & more.
(slideshot.epfl.ch)
1 points
by
psuter
13y ago
|
0 comments
174.
▲
by
psuter
13y ago
I find using the compose key easier than remembering Unicode points. For em dash: `Compose - - -`, for en dash: `Compose - - .`.
175.
▲
by
psuter
13y ago
I am not associated with CVC4 directly (or Z3 for that matter). Something that is true for all these tools is that they evolve very quickly. As a result, you're better off building from source. In both cases, that means running `make`
176.
▲
by
psuter
13y ago
You could start by quickly browsing through the huge list of papers that cite Z3 [1]. Microsoft uses Z3 extensively for bug finding for all sort of products, notably through the SAGE tool. There is a great write up on its impact. [2] From t
177.
▲
by
psuter
13y ago
In case you or someone else is still looking, CVC4 [1] is a competitive open source alternative to Z3 or Yices. [1] http://cvc4.cs.nyu.edu/
178.
▲
by
psuter
13y ago
...and for Scala: https://github.com/epfl-lara/ScalaZ3 (/ shameless plug).
179.
▲
by
psuter
13y ago
If you bypass AirBnB, you will not benefit from their insurance coverage. I have heard of cases where recurring guests would try to arrange the next deal directly, and that factor was always the decisive reason for the host to decline.
180.
▲
by
psuter
13y ago
Obligatory Shibuya video: http://www.youtube.com/watch?v=mVXuN28Ismk
More ›