Viewing profile — gallabytes

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…

> 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…

this is not even close to true

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 F…

OP was about classical statistical techniques. I'm pretty sure human artists are not logistic regression?

lmao no. imagine trying to do text to image with anything other than deep learning. nothing else comes close.

yeah we trained v5 on TPUs and continue to train on them.

We didn't, v5 was trained on TPUs too

... 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.

That wouldn't make sense - compression has very cache-friendly access patterns, and would benefit greatly from the observed improvements in memory bandwidth.

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 im…

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.

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 exc…

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, notic…

I don't think it's just 2fa - looks like more general reports of failure to sign in https://downdetector.com/status/google/map/

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 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 …

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.

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 poi…

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…

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.

How've you liked actually using yi? My only experience with it was rather frustrating.