sethev

6 ms·

61.
by sethev 9mo ago
Yeah, if you have a formal proof of something but you don't know exactly what then you might as well vibe code the system itself. I've been wondering if it would be possible to formally define a property (like deadlock freedom or
62.
Design and Implementation of Sprites(fly.io)
169 points by sethev 9mo ago|106 comments
63.
by sethev 9mo ago
> The SCOTUS ruling went far beyond historical practice. The ruling was specific to the President, not other officials. Donald Trump is the only president in US history who has been formally charged with committing a crime while in offic
64.
by sethev 9mo ago
I recall when this ruling was made, there was a BBC opinion piece that took an outraged position on this and contrasted it with the position of the prime minister in British politics. It struck me as funny because they literally have a pers
65.
by sethev 9mo ago
I was just nitpicking the nitpicking, especially the implication that using a word correctly is confusing the issue. The sentiment in the original sentence is straightforward to understand, even if the sentence is a bit ambiguous.
66.
by sethev 9mo ago
If you're going to be nitpicky about definitions it helps to be correct. In this case, the person you're replying to is absolutely correct. The government site you linked says the same thing: > If the House adopts the articles
67.
by sethev 9mo ago
Yes, we seem to lack the framework and vocabulary to discuss morality anymore. You may be right that this is tied to the demise of spiritualism (or perhaps organized religion).
68.
by sethev 9mo ago
We should never idolize a person (in my opinion). Here are some things Buffet has done that I admire (notice that phrasing): - He consistently communicated with shareholders of Berkshire in a straight-forward and transparent way in his
69.
by sethev 9mo ago
I only counted one problem: > I want to be able to encrypt my backups to multiple recipients. Presumably this means you want to encrypt the backup once and have multiple decryption keys or something? The rest of your original comment are
70.
by sethev 9mo ago
That seems like a reasonable optimization, actually. If the programmer doesn’t initialize a variable, why not set it to a value that always works? Good example of why uninitialized variables are not intuitive.
71.
by sethev 9mo ago
This and Rob Pike's response to a similar message are interesting. There's outrage over the direction of software development and the effects that generative AI will have on society. Hickey has long been an advocate for putting mo
72.
by sethev 10mo ago
Right - but SQLite handily beats the case where postgres is on the same box as well. And it's completely reasonable to test technology in the configuration in which it would actually run. As an industry, we seem to have settled on patt
73.
by sethev 11mo ago
Changing terminology is hard once a name sticks. But yeah, "eventual propagation" is probably more accurate. I do get the impression that "eventual consistency" often just means "does not have a well-defined consist
74.
by sethev 11mo ago
I suspect you're right, but it's a bit discouraging to consider that an alternative way of framing this is that companies like OpenAI have a huge advantage in this landscape and anything that works will end up behind their API.
75.
by sethev 11mo ago
Hah - I think it's more likely that he has it timed and it literally takes between 6-7 minutes.
76.
by sethev 11mo ago
Oh, I think you're picturing executing your transaction logic and then sending writes off to a background queue. I agree, that's not a general strategy - it only works for certain cases. I just meant that if you can structure your
77.
by sethev 11mo ago
This is just FUD. The reason SQLite does locking to begin with is to avoid data corruption. Almost every statement this blog post makes about concurrency in SQLite is wrong, so it's little surprise that their application doesn't d
78.
by sethev 11mo ago
These are performance optimizations. SQLite does serialize writes. Avoiding concurrent writes to begin with just avoids some overhead on locking.
79.
by sethev 11mo ago
Have you tried it? What you're describing sounds like it would work fine to me. The blog post is misleading imho - it implies that SQLite doesn't handle concurrency at all. In reality, you can perform a bunch of writes in paralle
80.
by sethev 1y ago
It's always interesting how these large organizations can bring in tens of millions of dollars in excess of expenses, yet still manage to "have no money" Source: https://assets.mozilla.net/annualreport/20
81.
by sethev 1y ago
Joseph Hellerstein has a series of posts on CRDTs: https://jhellerstein.github.io/blog/crdt-intro/ He very much leans toward them being hard to use in a sensible way. He has some interesting points about using thr
82.
by sethev 1y ago
Pijul is a version control system based on a CRDT: https://pijul.org/manual/theory.html#conflicts-and-crdts It works like you describe, with humans manually resolving conflicts. The conflicts are represented in the dat
83.
by sethev 1y ago
This seems like an unnecessarily negative comment. I've been a user of SQLite for over 20 years now (time flies!), what you're calling lack of polish, I would chalk up to Dr. Hipp has been consciousness about maintaining compatibi
84.
by sethev 1y ago
We're talking past each other somehow. Nothing I've said in this thread is hateful.
85.
by sethev 1y ago
What conclusion do you draw from that? Nothing you're saying contradicts anything I said.
86.
by sethev 1y ago
A Lisp machine is no counterexample - they had assembly language instructions that were tailored for Lisp, but were still very much imperative. In fact, Clojure is significantly more functional than other Lisps, which used mutable cons cell
87.
by sethev 1y ago
Computers are stateful and imperative, so any functional language that runs on real computers has a stateful and imperative base. OpenGL vs not seems like an odd place to draw the line on what you would consider functional vs not.
88.
by sethev 1y ago
That's just a label, though, it makes no attempt to describe the difference. You could say a conscious object has subjective experience, but that's open to the same observation that it implies there are two things (the subject and
89.
by sethev 1y ago
That particular phrasing happened to catch on, but I don't think it's essential to any of the arguments. How would you phrase the distinction between objects that are conscious and objects that aren't? Or are you saying that
90.
by sethev 1y ago
Fair! Fwiw, I enjoyed the post - hopefully my comment wasn't harsh. I think it does come down to the definition of durable. The default in SQLite is that the data for a transaction will be written all the way to disk (with an fsync) an

More ›