Viewing profile — price

I'm not sure I ultimately buy that Dropbox is expensive - for one thing, Notion now charges basically the same as Dropbox, and you don't even get file sync in the deal. I can defin…

Yeah, when signing into Paper it always felt pretty silly how the auth flow was all like "are you sure you want to share your Dropbox account info with this Paper thing?" as if it …

And they had Paper, which was an excellent product (I was at Dropbox a decade ago; we all used Paper constantly and it was great) very close to what Notion later became. They never…

I think the gp is saying that out of those millions of total Discord servers, there are >10k of them that each have >10k users. In other words there are >10k large servers, in addi…

Eich's own company, Brave, is pushing AI plenty hard: the Brave browser promotes a "smart AI assistant" called Leo. That's much more AI integration than I see in Firefox.

The timezone is UTC+7. That's in Asia, two hours from Japan time. That's why the staff member making the reply brought it up: > My timezone is UTC+7, so it should be easier for us …

Thanks for sharing that story! I love that your dream was to be the last line of defense protecting users from bad software. We need more of that, and it's sad that execs at Micros…

They're reverting this developer's previous changes, because those changes were bad. More on those previous changes here: https://gitlab.freedesktop.org/xorg/xserver/-/issues/1797#…

Heh, well, I'll take that as a vote for prioritizing that feature. :) (It's in our tracker already: https://github.com/zulip/zulip-flutter/issues/419 )

I haven’t seen a lot of discussion here of other existing apps moving to Flutter, which surprises me because my experience and my team’s has been so good — the performance, the qua…

Neat example, thanks! I hadn't known TS had that option. Array access was actually exactly the example that came to mind for me in a related discussion: https://news.ycombinator.co…

That is in fact one of the new features in this 9.0 release! There's a new less-dense default, and the previous dense layout remains an option (which for myself I immediately turne…

Yeah. The iteration speed with Flutter's fast, solid, hot reload is seriously a big deal for the developer experience.

Flow is not sound. They have the ambition of trying to be sound (which I appreciate), but they've never accomplished it. I went looking for where on their website they claim to be …

Definitely to get the most ergonomic programming experience, while also having a sound type system, you'd need to change some of the semantics of the language. A prime example is t…

That's true but misleading: if "any" and "unknown" were the only types, then "any" would be indistinguishable from "unknown" and you'd really have just the one type. Which makes th…

Yeah, Flow had the ambition to be sound but has never accomplished it. If you read the Flow codebase and its Git history, you can see that it's not for lack of trying, either — eve…

There's nothing arcane or particularly theoretical about soundness. It means that if you have an expression of some type, and at runtime the expression evaluates to a value, the va…

When a language's type system is sound, that means that if you have an expression with type "string", then when you run the program the expression's value will only ever be a strin…

One of the things that's made us at Zulip very happy with Flutter is that it's an honest-to-goodness functioning open-source project. The issue tracker is out in the open, as are t…

Zulip | Senior Flutter Engineer | REMOTE or San Francisco | Full-time | https://zulip.com/ At Zulip, we're out to build the world's best collaboration platform, and we're committed…

Interesting! Thanks for tracking down that bit of history.

Interesting. My perception in 2014 was right in line with the way it's told in that 2015 article: that this was a new and clever UI twist, one that I hadn't seen before and that ma…

That was in fact Dropbox's plan circa 2013-2014. (I worked there 2014-2017.) In fact they had email too: Mailbox, a mobile mail client with some brilliant product ideas, which mark…