cakoose

21 ms·

151.
by cakoose 8y ago
Huh? The example is for PostgreSQL's "serializable" isolation level, and that's what I'm confused about. Serializability should ensure that the outcome is equivalent to some serial execution. What serial execution
152.
by cakoose 8y ago
Even without external consistency, a I'm having trouble coming up with an ordering of the transactions that yields [1], [1, 10], [1, 1, 10]. Is that because PostgreSQL's "SERIALIZABLE" doesn't follow the "some
153.
by cakoose 8y ago
> monolithic databases like CockroachDB (SQL) or FaunaDB (NoSQL) trade off extensibility The CockroachDB documentation says their SQL implementation is layered on top of their K/V interface: https://www.cockroachlabs.com&
154.
by cakoose 8y ago
Does Cassandra hash the primary key to get a more even distribution? If you have a sorted data store, you can get the same distribution by keying off a hash of the "real" primary key, right?
155.
by cakoose 9y ago
> The way TypeScript was designed is in fact more promising than older systems like Java. Those systems inadvertently broke type soundness instead of making it a deliberate action. Not sure what the article is referring to here... Java s
156.
by cakoose 9y ago
The memory safety checking (or more generally, the type checking) isn't what makes the compiler slow. That part is pretty fast because it's intentionally modular. It's the cross-module optimizations that make the compiler sl
157.
by cakoose 9y ago
> PS: If a web page wants to crash, it easily do so by allocating memory in a loop, so making web pages that crash isn't as exciting as it is in Core Text in general. To allocate memory in a loop, you need some control over the JS.
158.
by cakoose 9y ago
JSON is not "fully typed". It just happens to have different syntax for strings, numbers, and booleans. But the application code still needs to come up with a way to distinguish between timestamps, enums, different object types,
159.
by cakoose 9y ago
In short, there are multiple ways to represent the same character in Unicode: https://stackoverflow.com/questions/16173328 @ademarre's RFC link looks like a good place to look for guidance.
160.
by cakoose 9y ago
This is surprisingly lower quality than what you'd expect from Google. > Your service should instead store a cryptographically strong hash of the password that cannot be reversed — created with, for example, PBKDF2, SHA3, Scrypt, or
161.
by cakoose 9y ago
In the "Compression Speed vs Ratio" graph, the Y-axis doesn't start at zero. If it were changed to start at zero, it would be easier to evaluate the magnitude of the compression ratio change at a glance. IMO, that's pr
162.
by cakoose 9y ago
None of those are recent innovations in programming language design. Higher-order functions, in particular, have been part of mainstream programming for so long.
163.
by cakoose 9y ago
"many recent innovations in programming language design, such as higher-order functions, non-strict semantics, algebraic data types, object oriented programming and sophisticated type inference engine" These lies are unnecessary.
164.
by cakoose 9y ago
Where do they say it's not transactional?
165.
by cakoose 9y ago
LLVM started out as a research project at the University of Illinois, but Apple hired the lead developer in 2005 and put a ton of work into making it good enough to replace GCC. Apple also originally wrote Clang, LLVM's C/C++&#x2
166.
by cakoose 9y ago
The Fortress programming language was a research project at Sun that incorporated mathematical notation. See page 24 of http://www.oracle.com/technetwork/systems/ts-5206-159453.pdf They also had an ASCII-only repr
167.
by cakoose 9y ago
> This is possible exactly because Java is statically-typed. Are you saying that Python can't make "a"+1 become "a1" because it lacks static typing? That's not true. If they wanted to, they could have adde
168.
by cakoose 9y ago
Yeah, my initial reaction was "I can see how these design decisions might make sense, but the blog post is horrible." These kinds of designs typically emerge over a long and windy history and, for someone who was part of that proc
169.
by cakoose 9y ago
I think "server-side projects" is maybe too broad a term. Yes, there are plenty of server-side software where concurrency pervades the codebase. But if you're making a web app, for example, it's common for all of the c
170.
by cakoose 9y ago
EM radiation and power draw patterns from your device can leak information about what the device is doing. The NSA takes this stuff seriously: https://en.wikipedia.org/wiki/Tempest_(codename) There are situations wher
171.
by cakoose 9y ago
Yes, there are diminishing returns. But people who are frustrated with Go's type system aren't just blindly pushing for more precise types. They have experience with generics and have decided that the cost/benefit is worth
172.
by cakoose 10y ago
The article describes solutions that use Redis so that multiple app servers can share rate limits. The article's second solution is basically what you're describing, except adapted to work with Redis. Also, what do you mean by &q
173.
by cakoose 10y ago
What? These are different things. This article is about the server deciding which requests to reject. Exponential backoff is a strategy clients use deciding when to retry after their request is rejected. (Plus, the article is about malic
174.
by cakoose 10y ago
What do you mean when you say Avro doesn't let you "cleanly update or track schema"? From what I've read about Avro 1. It can transform data between two compatible schemas. 2. It can serialize/load schemas off the w
175.
by cakoose 10y ago
Yeah, in this case, Hypothesis uses programmer-provided input specs, which are similar but not quite the same as type declarations in a typed programming language. I'd still consider this to be essentially "static" informatio
176.
by cakoose 10y ago
There's another distinction besides the "level" at which they operate. They use different techniques to generate test inputs. QuickCheck-style tools typically generate inputs based on high-level static information, like type
177.
by cakoose 10y ago
Like I said, I don't think it's unreasonable to trust Apple or the Tahoe LAFS download server. I think they're improving the state of security and I would use those products. I just want people to be clear about the actual
178.
by cakoose 10y ago
Like OP said, having that design is valuable, but you're still running someone's software on your computer. With Tahoe LAFS, you're either downloading the pre-built binary or compiling from source. Either way, you're tr
179.
by cakoose 10y ago
> Is paragraph 2 of the post not upfront enough? I clearly stated our goals of the project That paragraph says your connection to S3 is slow. Your solution doesn't fix general S3 slowness. However, it does make S3 slowness less of
180.
by cakoose 10y ago
OP is a little abrupt, but it isn't downplaying the system's usefulness to you guys; just warning other readers that this isn't a general solution for, as the post is titled, "dodging S3 downtime". It's a &quo

More ›