grogers

6 ms·

31.
by grogers 11mo ago
Real world systems often have to deviate from the "pure" version used to run formal methods on. This could be how long you keep transaction logs for, or how long rows are tombstoned for, etc. The longer the time period, the costli
32.
by grogers 11mo ago
I'm not familiar with tokio, but I am familiar with folly coro in C++ which is similiar-ish. You cannot co_await a folly::coro::Task by reference, you must move it. It seems like that prevents this bug. So maybe select! is the low le
33.
by grogers 11mo ago
Doesn't "1 + x == 2 + x" evaluate to true for any x with large enough magnitude? In general we should expect identities that hold true in "real" math to not hold in FP
34.
by grogers 1y ago
That limits you to a few tens of TPS since everything is trying to write the same row which must happen serially. I wouldn't start out with that solution since it'll be painful to change to something more scalable later. Migrating
35.
by grogers 1y ago
You can fill in a noop for sequence number 123 after a timeout. You also need to be able to kill old transactions so that the transaction which was assigned 123 isn't just chilling out (which would block writing the noop). Another appr
36.
by grogers 1y ago
Most people I know don't use it this way. Most people sign off on a review, with the expectation that the remaining comments will be addressed before pushing. If they just push anyways, then post-push there are gonna be some awkward co
37.
by grogers 1y ago
Hardware dongles (e.g. yubikeys) have replaced required VPN logins to access internal sites at my recent workplaces. If you access any internal sites or do basically anything on your corporate laptop, there's definitely the potential f
38.
by grogers 1y ago
> As this plan was deleted, all IP addresses for the regional endpoint were immediately removed. I feel like I am missing something here... They make it sound like the DNS enactor basically diffs the current state of DNS with the desired
39.
by grogers 1y ago
I doubt a circular dependency is the cause here (probably something even more basic). That being said, I could absolutely see how a circular dependency could accidentally creep in, especially as systems evolve over time. Systems often start
40.
by grogers 1y ago
Certainly if you aren't even multi-region, then multi-cloud is a pipe dream
41.
by grogers 1y ago
The argument about Tether wasn't that they didn't have any assets backing the coins. It was that the assets they had were more risky than the boring <1 mo maturity treasuries they should be holding. Just because tether didn&#
42.
by grogers 1y ago
BEAM (i.e. erlang) is exactly that model, every lightweight process has its own heap. I don't see how you'd make that work in a more general environment that supports sharing pointers across threads.
43.
by grogers 1y ago
If your team doesn't control it, should you be thinking about it? Or should the team that owns it also own fixing it? I should also have stated that based on the context I assumed this was talking about in incident report meant to be c
44.
by grogers 1y ago
Usually another team's failure is covered by their own independent report. That simplifies creating the report since you don't need to collaborate closely, but also prevents shifting the blame on to anyone else (because really, bo
45.
by grogers 1y ago
Wow! There are certain areas of my house that I get such bad wifi signal that I often switch to cellular data since it's more reliable. I didn't even know you could change a setting like this to reduce speeds but improve reliabili
46.
by grogers 1y ago
I don't see how any company could possibly freeze prices for five years. How will they survive if tuition doesn't keep pace with costs in an inflationary environment?
47.
by grogers 1y ago
Why would it be any different for youtube premium? I think Google just doesn't think enough people will pay for ad-free search, not that it would cannibalize their ad revenue.
48.
by grogers 1y ago
People assume non-existent guarantees such as?
49.
by grogers 1y ago
Several years ago I was crazy frustrated with how slow 'less' is for some things (regex search and handling long lines) and was slowing down my day to day operations work. I very briefly entertained an idea to write my own pager t
50.
by grogers 1y ago
When I was last messing with this ~10 years ago, even with SSD swapoff was just insanely slow. Even relatively small single digit GB swap partitions would take many minutes to drain. I think it was loading one page at a time from swap or so
51.
by grogers 1y ago
3 out of 3 jobs that I've had after college have been from submitting resumes into a form... It's not perfect but it can work
52.
by grogers 1y ago
Other than ASN.1 PER, is there any other widely used encoding format that isn't self-describing? Using TLV certainly adds flexibility around schema evolution, but I feel like collectively we are wasting a fair amount of bytes because o
53.
by grogers 1y ago
Also, you can't construct a java String without copying the data into it, because String is immutable. In other languages like c++ or rust the string type is mutable so you don't need an extra copy. Java doesn't even special
54.
by grogers 1y ago
If the distribution of numbers you are serializing is uniformly random, you generally wouldn't choose a variable length encoding. Sometimes the choice is made for you of course, but not usually.
55.
by grogers 1y ago
> Reasonable people who’s opinions I respect, have called this hack anything from “brilliant” to “an afront to all morals”. I think it is OK. It's definitely a clever hack given the constraints of malloc, but this anecdote made me s
56.
by grogers 1y ago
IANAL but isn't any ruling by even a lower court precedent? Like if I sue the government for thing A and a lower court rules in my favor, doesn't that make the next plaintiff's case for sueing the government for thing A much
57.
by grogers 1y ago
After reading it, I still don't understand why the hate for "multiplication as repeated addition" compared to the recursive formulation. For programming at least, iteration and recursion are functionally equivalent (or at lea
58.
by grogers 1y ago
How does this compare to a machine that breaks and is thrown away before its amortization is complete? For the machine can you immediately deduct the remaining amount or is it required to continue to spread the value over the original time
59.
by grogers 1y ago
VCs won't be expert level in every area, but they are in a unique position to have a deep knowledge about a lot of different things. It's necessary to be able to invest effectively.
60.
by grogers 2y ago
I would strongly recommend against using a fixed key 'user' for the hash key on dynamodb, with the range key being used to select the actual record. DDB does not handle splitting by range key very well, so you will run into load b

More ›