kentonv

36 ms·

661.
by kentonv 3y ago
Heh. Well, speaking as the lead engineer of a large C++ systems project that sadly started a liiiiitle bit to early to use Rust (the Cloudflare Workers runtime), I'd say our attitude is the other way around: We basically refuse to brin
662.
by kentonv 3y ago
> Strong type systems can give provably correct code. In theory, perhaps. In practice, the compiler / runtime will have bugs. So you still need a sandboxing layer. Best to do both. (The sandbox will have bugs too. But if you have tw
663.
by kentonv 3y ago
I think almost everyone agrees new greenfield projects should not choose C/C++, now that Rust has matured enough and covers essentially the same use cases. But realistically that only solves a tiny fraction of the problem, since realis
664.
by kentonv 3y ago
The problem is that rewriting existing code into a memory-safe language is a huge investment -- and realistically the world depends on a lot of code built over many decades that cannot be rewritten overnight. Consider that Mozilla created
665.
by kentonv 3y ago
You don't necessarily have to allocate space for the whole message upfront. You can write some of it into a buffer, write that out to the socket, fill the buffer with more stuff, etc. There are actually programs that do this, although
666.
by kentonv 3y ago
> FYI you should never trust the content-length of an HTTP request. It actually says that in one of the spec versions or another. That's not quite right. When a Content-Length is present, it is always correct by definition (it is
667.
by kentonv 3y ago
In truth, the vast majority of protobuf users do not construct messages in a streaming way anyway; they have the whole message tree in memory upfront and the serialize it all at once. "Streaming" in gRPC (or Cap'n Proto) invo
668.
by kentonv 3y ago
This post's outrage is misplaced. Protobuf encoders/decoders commonly implement two formats: delimited format, and non-delimited format. Typically non-delimited is the default, but delimited format is supported by many implementat
669.
by kentonv 3y ago
I'd say the main arguments are: 1. Many transports that you might use to transmit a Protobuf already have their own length tracking, making a length prefix redundant. E.g. HTTP has Content-Length. Having two lengths feels wrong and for
670.
by kentonv 3y ago
> So one allows adding a repeated/optional field to a schema without re-encoding any messages, Hmm don't they both allow that? Or am I misunderstanding what you mean here? I guess the interesting (though only occasionally usefu
671.
by kentonv 3y ago
Sorry, it appears I introduced this bug here, when I didn't realize that the space after the <br> element was actually important in mobile screen widths. https://github.com/sandstorm-io/sandstorm-website&#x2F
672.
by kentonv 3y ago
> Behind the scenes, CEO John Riccitiello shifted 2000 shares last week on 6th September, as noted by Yahoo Finance, which noted this move was part of a trend over the past year where the exec has sold more than 50,000 shares in total an
673.
by kentonv 3y ago
Nah, I don't think saying my address publicly has any effect. AFAICT none of the problem comes from people who are actually aware that the address has an owner.
674.
by kentonv 3y ago
The payments are described as "credits" which I assume means they only offset future power purchases; ERCOT doesn't actually give you cash. So you do have to have some sort of machine that converts power into money to take ad
675.
by kentonv 3y ago
It's so weird because I thought the whole point of ERCOT was to be a market and use market forces to solve everything. So why are they paying bitcoin miners to turn off, rather than just charging them market rates at all times and le
676.
by kentonv 3y ago
You joke but in August the biggest Bitcoin mine in North America got paid 3.5x more by the utility to turn their rigs off than they made in actual Bitcoin mined -- and they say openly that collecting credits is core to their strategy. http
677.
by kentonv 3y ago
Mine is temporal at gmail. "Temporal" was my teenage gamer tag which I mostly stopped using decades ago, but it's been my gmail address for almost 20 years and changing it is not easy. The problem is, "temporal" hap
678.
by kentonv 3y ago
Eh you didn't miss anything at the old place if you see the new one. Hope you can make it to a party later this year!
679.
by kentonv 3y ago
Nice, it's cool to see someone has built this out as a business! Not the right thing for me personally, since it looks like an end-to-end solution that replaces a lot of stuff I've already figured out and customized to my liking.
680.
by kentonv 3y ago
Sorry, invites aren't open to the public, too risky. But people I invite are allowed to bring friends, so if you discover you know someone who knows me, maybe they can invite you.
681.
by kentonv 3y ago
I was hired by Google in 2005, single, no kids, no expensive hobbies, I basically didn't know how to spend money. So the bank account just kept growing and after 5 years I had enough for a down payment. In retrospect I often regret t
682.
by kentonv 3y ago
OK scratch that, it's not "kind of annoying", it's a non-starter. Monthly subscription fee "per user" (whatever that would even mean in my situation), apparently various requirements about how it's configu
683.
by kentonv 3y ago
Whoa, that actually sounds perfect! And I kind of expect it should work since Windows basically treats iSCSI boot drives as if they were local. ... but kind of annoying that it requires an Enterprise license.
684.
by kentonv 3y ago
I've actually never heard of that. Trying to Google and I see some stories but not a lot of pictures. What is it like?
685.
by kentonv 3y ago
Definitely sounds like a lifesaver for LAN parties where everyone is bringing their own machines! Or really when machines are maintained by any method other than my crazy one... :)
686.
by kentonv 3y ago
I maintain a primary disk image with all the games installed. During a party, all the machines boot from that same image, except each with a private copy-on-write overlay. Any changes made on a machine are written only to the overlay. At th
687.
by kentonv 3y ago
Never really understood the appeal of that kind of LAN party TBH. Too many people, not enough socialization opportunity, might as well just play on the internet from home.
688.
by kentonv 3y ago
I've heard of him, but TBH I'm generally not into that format of YouTube video, regardless of topic. I think I'm just too impatient to wait through the parts of the video that aren't actively interesting, or are telling
689.
by kentonv 3y ago
Did people have to install a custom root cert or something to get their machine to trust the cache? In old-fashion LAN parties, we were usually copying games from each other. (Which doesn't necessarily mean piracy -- Steam is pretty go
690.
by kentonv 3y ago
I built the house for $1M and sold it ten years later for $2M. So, uh, I guess it earned me a million bucks, minus mortgage interest. To be fair, that's just how much housing prices went up in Palo Alto over that period, not really any

More ›