Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
DigitalTurk
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
9 ms
·
61.
▲
by
DigitalTurk
14y ago
I see. Thanks for sharing. What a confusing mess!
62.
▲
by
DigitalTurk
14y ago
Actually, if you'll read the ZNet article that post is based on you'll notice that users who didn't connect their Windows Phone calendars to their Google accounts before February are still screwed! See also http://windows.microsoft.com/en-
63.
▲
by
DigitalTurk
14y ago
To me it's not a given since AFAICT Apple software doesn't sync with Google Calendar over CalDav by default. Particularly on iOS you have to go out of your way to enable it—viz. you have to select 'Exchange account' instead of 'Google accou
64.
▲
by
DigitalTurk
14y ago
So how does that help me if I want to sync iCal with Google Calendar? Addendum: The way I read that form, they will only consider whitelisting apps if the developers ask for it. As a user, I'm still screwed.
65.
▲
by
DigitalTurk
14y ago
Correct me if I'm wrong, but I believe this will soon no longer be true for Google Calendar. They're dropping CalDav.
66.
▲
Another KickStarter Scam
(kickstarter.com)
2 points
by
DigitalTurk
14y ago
|
0 comments
67.
▲
by
DigitalTurk
14y ago
Actually, I guess he's right. Arguably, the common sense definition of 'A -> B' is simply modus ponens. That is 'Given A and A->B, it follows that B'. It's then no longer obvious that A -> B is equivalent to ~A v B. Indeed, impl
68.
▲
by
DigitalTurk
14y ago
That looks correct to me. Actually, at first I thought it was incorrect because you used De Morgan's law, which I mistakenly thought was invalid in intuitionistic logic. However, I looked it up and apparently only ~(p & q) |- ~p v ~q is
69.
▲
by
DigitalTurk
14y ago
The law of excluded middle is not sufficient for proof by contradiction. What you actually need is ex falso quodlibet (principle of explosion). For instance, paraconsistent logic has the law of excluded middle but not ex falso quodlibet. h
70.
▲
by
DigitalTurk
14y ago
> Kenehora. You are zazen. Everyone should be you. You sound like a true bootstrapper, a self-made man that needs no help from others. Actually, that doesn't sound like me at all! I have benefited from need-based grants and a cheap educ
71.
▲
by
DigitalTurk
14y ago
> It is within your rights to offer this grant. But I see no reason why your sexist bullshit should be advertised without complaint at Hacker News. Apparently you think this is (i) sexist but (ii) within their right to do. That's unusua
72.
▲
by
DigitalTurk
14y ago
oh. Thanks. It's not a problem when using 'clj' from the command line. Here are some other issues I ran into (FWIW): - println works, but print doesn't. - I was expecting cmd+A and then cmd+enter to evaluate everything. - Why are there (see
73.
▲
by
DigitalTurk
14y ago
It just so happens that I started playing with Clojure yesterday! I didn't quite manage to get anything to work in LT, however. E.g. if I do Cmd+Enter on a definition, I get this: clojure.lang.Compiler$CompilerException: java.lang.Runti
74.
▲
by
DigitalTurk
14y ago
Here's a gaffe. The author says that Belgium has large 'Flemish' and French speaking populations, but then when he talks about Brussels he says there are large Dutch and French speaking populations. In at least one table he lists Dutch and
75.
▲
by
DigitalTurk
14y ago
> "You can find families that live right next door to each other, have exactly the same education levels, exactly the same income and even exactly same religion. However, because they speak a different language they might have gone to d
76.
▲
by
DigitalTurk
14y ago
I'm pretty sure it was native. I think they had hotspots for IPv4 and IPv6. This was 6-12 months ago by the way. I imagine they might have tightened security since, with the party congress and all that.
77.
▲
by
DigitalTurk
14y ago
One researcher at Peking University once told me that he uses IPv6 to access YouTube. As far as I could tell, it was available to all students and staff. Just a simple matter of selecting the right Wi-Fi network. :)
78.
▲
by
DigitalTurk
14y ago
The Verge has more pictures. http://www.theverge.com/2013/2/21/4013480/google-chromebook-... It looks an awful lot like a Macbook: Just witness the aluminum-like color and the black bevel around the screen. Where it looks different, it's
79.
▲
by
DigitalTurk
14y ago
> Internal Server Error So is your web server.
80.
▲
by
DigitalTurk
14y ago
A watch shaped like a bracelet and easily removable. That very much suits my intuition of what an iWatch would be. I have a pet theory that, when removed, the iWatch will be flat and it will be possible to use it as a phone by holding up to
81.
▲
by
DigitalTurk
14y ago
Well, you don't have free press (the ST is a joke) and you're not allowed to criticize politicians by name. I don't know if it's a police state, but it definitely isn't a free country either.
82.
▲
by
DigitalTurk
14y ago
> Error establishing a database connection Seems like the author's blog is starving too.
83.
▲
by
DigitalTurk
14y ago
Looks interesting. The idea seems to be that Firebase is all the server back-end you need. I can see how that could work for many applications. On the other hand, as applications grow I can also see how you might arrive at a point where you
84.
▲
by
DigitalTurk
14y ago
thanks. that looks interesting.
85.
▲
by
DigitalTurk
14y ago
Does anyone know if this supports (efficient) graph-rewriting? I'm thinking of this kind of patterns: If there are nodes n and n' such that - there's an edge from n to n' and - n has a label XY then add label Y to n' So what I'd w
86.
▲
by
DigitalTurk
14y ago
Eh. Is Richard M. Stallman teaching philosophy of science now or something? Arguably, the rough idea is to discover and prove interesting or useful facts.
87.
▲
by
DigitalTurk
14y ago
> Similarly, before Dropbox we had options like XDrive from AOL, WebDAV servers, FTP, iDrive from Apple, and many others. We were awash with crappy software to store our documents on a server and access them from any computer we were on
88.
▲
by
DigitalTurk
14y ago
> 1. Most countries speak different languages Yes, and in some countries people speak more than one language. It's worrisome that Amazon is having such difficulties dealing with such a simple matter. Additionally, there are a ton of Eng
89.
▲
by
DigitalTurk
14y ago
Well, it's a conjecture. The stock price is sky-high and this should mean that investors expect Amazon to grow much, much larger. International expansion seems to be the best way to go about that. For the long-term survival of Amazon it mig
90.
▲
by
DigitalTurk
14y ago
Here's what I don't get. Amazon seems to be all about growth; in fact, their stock price is so high that its investors seem to believe that Amazon intends to expand enormously internationally and that it will crush all of its competitors wh
More ›