gallabytes

8 ms·

1.
by gallabytes 2y ago
I use it as a fancy monitor that I can strap to my face and fits in a suitcase. sometimes I want to work lying down and it's great for that. It being based on ipados makes it kinda useless aside from the display.
2.
by gallabytes 2y ago
> Some of this complexity may be necessary for achieving optimal performance in Jax. E.g. extra indirection to avoid the compiler making some bad fusion decision, or multiple calls so something can be marked as static for the jit in the
3.
by gallabytes 3y ago
this is not even close to true
4.
by gallabytes 3y ago
I literally just don't feel like running them tbh, and see no reason to publish them either way. Mostly prefer to let the outputs speak for themselves. For a while I was using an FID variant for evaluation during training, but didn&#x2
5.
by gallabytes 3y ago
OP was about classical statistical techniques. I'm pretty sure human artists are not logistic regression?
6.
by gallabytes 3y ago
lmao no. imagine trying to do text to image with anything other than deep learning. nothing else comes close.
7.
by gallabytes 3y ago
yeah we trained v5 on TPUs and continue to train on them.
8.
by gallabytes 3y ago
We didn't, v5 was trained on TPUs too
9.
by gallabytes 4y ago
... no it definitely wasn't. that's $50m. read the paper, they tell you how long it took on a v4-256, which you know the public rental price for.
10.
by gallabytes 5y ago
That wouldn't make sense - compression has very cache-friendly access patterns, and would benefit greatly from the observed improvements in memory bandwidth.
11.
by gallabytes 5y ago
SIMD - compressing has gotten faster, but (assuming OP is correct rather than just missing info) the reference algorithm didn't have room to take advantage of SIMD. The relevant improvements since 2010 or so mostly look like bandwidth
12.
by gallabytes 6y ago
the real issue is what you get when you google Scott [Lastname]. If the top result is an NYT story his patients will reliably find it, and that can be problems.
13.
by gallabytes 6y ago
why do you care about p2p? I sent money on PayPal US -> EU last week. it was as easy as sending it to someone in the US, and the fees were no worse than what I often see crypto exchanges charging.
14.
by gallabytes 7y ago
there almost certainly is an encoding such that every program any human will ever write fits in 128 bytes, though I doubt we'll ever design one. to convince yourself of this, notice that you don't expect to ever produce two progra
15.
by gallabytes 7y ago
I don't think it's just 2fa - looks like more general reports of failure to sign in https://downdetector.com/status/google/map/
16.
Google sign-in is having an outage(downdetector.com)
19 points by gallabytes 7y ago|0 comments
17.
by gallabytes 10y ago
This makes me think the only thing we disagree on is the meaning of the words "red team" and "blue team" :) When I say it feels like we spend a lot of time red teaming, that means I think we spend somewhere between 30 an
18.
by gallabytes 10y ago
I find that perception fairly surprising, as for a very long time it felt like we did more red team than blue team. I do acknowledge that this has been changing recently, but only significantly in the context of building on the results in t
19.
by gallabytes 10y ago
I get about 12 hrs battery life with everything working out of the box on my xps 13 with Ubuntu 16.04 and kernel 4.6.
20.
by gallabytes 11y ago
We have something between the two in HoTT - universes of types is stratified by homotopy levels, corresponding to how many dimensions of structure a type has. A space with only points is thus a 0-type, a space with at most 1 point is a -1-t
21.
by gallabytes 11y ago
A lot of work was going into the cubical model, but IIRC they realized it was a dead end about a month and a half ago. Right now the most promising work looks to be formalizing the set theoretic model in NuPRL.
22.
by gallabytes 11y ago
Why would it do that? Univalence is unrelated to the halting problem. What the univalence axiom says is that you can treat types you have proven isomorphic as equal.
23.
by gallabytes 11y ago
How've you liked actually using yi? My only experience with it was rather frustrating.