Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
trurl
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
8 ms
·
31.
▲
by
trurl
9y ago
GSuite would be Google. I don't think an advertising company is really going to be that much better than Verizon. And if I just want 1TB of online storage I have better options. The question was about a "photo sharing" app
32.
▲
by
trurl
9y ago
Any suggestions for migrating away from Flickr while preserving my data? Google, etc. don't really seem like they will be any more ethical.
33.
▲
by
trurl
9y ago
TouchID is great, but if I've been sweating or have some moisture on my hands for another reason (say I'm cooking and want to check the recipe) it fails horribly.
34.
▲
by
trurl
9y ago
I think it is a matter of perspective. Say we take Planck time to be the atomic unit of time. Then really any larger unit of time can be viewed as interval of time with some error bounds. One you reach time units of on the scale of "
35.
▲
by
trurl
10y ago
If you mean my development computer, I use a 2012 rMBP with 16GB RAM. For production we generally run on EC2 or GCE. The biggest limitation is RAM, but in the near future we may start using the GPU too. Between the database, middleware abo
36.
▲
by
trurl
10y ago
I am building a next generation database system.
37.
▲
by
trurl
10y ago
I really think too many people are making a big deal of the TouchBar. I'm a vim user, and when the first rumors of it surfaced earlier this year I switched ESC to capslock and after a day or so adapted just fine. I don't know tha
38.
▲
by
trurl
10y ago
Because serious developers require computers with more horsepower (CPU, GPU, memory, etc.) than Apple is providing? 16GB is nowhere near enough for my work. And I can't seriously justify buying a iMac or MacPro at this point when thei
39.
▲
by
trurl
10y ago
We aren't concerned about innovation, we're exasperated that we still can't get any more RAM on them than we could 4 years ago.
40.
▲
by
trurl
10y ago
Still no 32GB option. I guess Pros just don't need that kind of memory?
41.
▲
by
trurl
10y ago
If they really believed, Humanyze's own employees would be using it. I saw no such mention in the article.
42.
▲
by
trurl
10y ago
Completely orthogonal: the screenshot implies the Xerox Star had DOS emulation?
43.
▲
by
trurl
10y ago
HOAS representations can only contain junk if you have not taken appropriate precautions. See the paper "Boxes Go Bananas" for one technique.
44.
▲
by
trurl
10y ago
Type inference for HM is actually exponential, due to generalization for let-polymorphism. You're probably thinking of inference for a language with just simple types.
45.
▲
by
trurl
10y ago
I had thought about that, but I am pretty sure the reason Hindley-Milner is exponential has to do with the generalization for let-polymorphism. I'm not familiar with all the details of Swift, but I do not recall seeing that it will in
46.
▲
by
trurl
10y ago
"Set theory is the 'assembly language' of mathematics. Type theory is the 'functional language' of mathematics."
47.
▲
by
trurl
10y ago
Oh, I definitely recognize the absurdity of the amounts of memory modern software consumes. Twenty years ago I used Linux with 256MB RAM and had pretty much the same sorts of applications running.
48.
▲
by
trurl
10y ago
I am building a next generation database product. With debugging symbols enabled, the running database can easily take up 8GB in some of our unit tests. Then there is a web services layer written in Java above that. And then there is my
49.
▲
by
trurl
10y ago
Thanks, somehow I had missed that when looking at the tech specs.
50.
▲
by
trurl
10y ago
> If you buy a laptop based only on raw specs, you are in a different market than the vast majority of laptop users. Yeah, I think they call those people developers. > A Macbook, on the other hand, just works, and works extremely well
51.
▲
by
trurl
11y ago
Yeah, I'm only a couple years off from forty and I'm pretty sure my vision is not nearly fifty percent dimmer than twenty years ago. Certainly my glasses prescription has changed slightly, but that is more about redirecting the l
52.
▲
by
trurl
11y ago
LogicBlox.
53.
▲
by
trurl
11y ago
Not to be confused with the other Hevea: http://hevea.inria.fr/
54.
▲
by
trurl
11y ago
"Just Read the Instructions"? Sounds very Culturey.
55.
▲
by
trurl
12y ago
And using "def" is actually considered better Scala style in situations like this, exactly because it is more flexible. You can override a "def" with a "val" but not the other way around.
56.
▲
by
trurl
12y ago
It isn't about freedom. If you are going to parametrize the entire trait, there is no longer any point to giving T a higher kind. As such it just adds noise and is bad style.
57.
▲
by
trurl
12y ago
These are not equivalent: /* signature INTMAP = */ import scala.language.higherKinds /* sig */ /* exception NotFound *&#
58.
▲
by
trurl
12y ago
This is partly why I stopped donating to the FSF. They're dumping some amount of that money into misguided PR campaigns rather than helping out the developers trying to make free software better.
59.
▲
by
trurl
12y ago
I was first intrigued, but when I saw the price I couldn't really see it being all that useful. It is possible to buy a 4K display with a similar 150dpi resolution for less. So the only advantage I can see here is lower power consumpt
60.
▲
by
trurl
12y ago
I'm pretty sure such visas exist, as my team has employees in four countries and we try to meet in person every quarter.
More ›