pdonis

14 ms·

211.
by pdonis 5mo ago
While I have a great deal of sympathy for this point of view, I think the article makes an interesting observation that suggests it actually doesn't matter whether these people are intentionally trying to screw everybody or not--the
212.
by pdonis 5mo ago
> That’s more about non-categoricity/compactness/Lowenheim–Skolem. As I understand it, the proof of the Lowenheim-Skolem theorem requires the axiom of choice, but the proof of the two Godel theorems does not. That would make
213.
by pdonis 5mo ago
> I don’t think incompleteness is best described as saying "no first-order axioms can pin down a single model" Well, it's an obvious implication of the two theorems (completeness and incompleteness) combined: if a FO sen
214.
by pdonis 5mo ago
> I am of the opinion that the following are all reasonable I'm not. Tolls are fine since the "enforcement" there is of a known cost that you have to pay to use the road. But I don't think speeding laws, or indeed a
215.
by pdonis 5mo ago
The Lowenheim Skolem theorem only applies to first-order axiom systems that have an infinite model. So it would apply to the axioms for the natural numbers, yes. The Godel theorems apply to any first-order axiom system, regardless of whethe
216.
by pdonis 5mo ago
> any nontrivial axiomatic system has statements which are true but unprovable Although this is a common way of stating what Godel's incompleteness theorem tells us, it's actually not correct. As was posted upthread, when you
217.
by pdonis 5mo ago
> I always thought that the incompleteness theorems says, there are theorems that are true or false in all models but cannot be proved to be so. As the GP points out, that's not what Godel's incompleteness theorem actually
218.
by pdonis 5mo ago
> When you close a socket with data in the send buffer That's not what's happening here. The server is closing the socket when there's data from the client that it hasn't read.
219.
by pdonis 5mo ago
> some of the most profitable students are. Do you think a Saudi prince need a diploma to open up opportunities? Why would a Saudi prince be a more profitable student? The only difference between him and most of the other students as f
220.
by pdonis 5mo ago
I agree that there are plenty of faculty and students that view the university as something other than conferring degrees as status markers and tickets to opportunities. But when push comes to shove, that's still the ideology that driv
221.
by pdonis 5mo ago
> Same, but before AI. My time at MIT was well before AI. And before smartphones. Even PCs were new then--I didn't have one until my senior year, and that PC had less computing power than is in things like microwaves nowadays.
222.
by pdonis 5mo ago
That would be this? https://web.mit.edu/6.7800/www/info24.pdf Or at least this year's version? If so, it looks like Course 6 hasn't gotten any easier over the years. Good luck!
223.
by pdonis 5mo ago
They were finals, not ordinary tests or midterms. Junior and senior year, I think one was Chemical Engineering, but I can't remember the exact name or number.
224.
by pdonis 5mo ago
I had in-class exams at MIT that were up to 3 hours long. Take home would definitely have been nicer.
225.
by pdonis 5mo ago
> every exam was take home When I was at MIT, most exams were in-class, but open book, open notes, open whatever you wanted to bring with you. And of course that just meant the exams were much harder, because they could assume you had
226.
by pdonis 5mo ago
> if you view higher education as gatekeeping for further life options From the institution's perspective--or at least an "elite" institution like Princeton--that is what it is. When they confer a degree, they're
227.
by pdonis 5mo ago
> do not reflect actual market value as measured by an actual market. How does the fact that you can have your music in the cloud, and pay a fair price for that, and I can have my music locally on a USB stick, and pay a fair price for
228.
by pdonis 5mo ago
> "a free market", by the definition of "no or minimal regulations" There is no such thing. A free market is a market in which all transactions are voluntary. That means the market is regulated by the voluntary choi
229.
by pdonis 5mo ago
> Have you ever been sailing on a yacht with friends? Yes. A small group of people, who know each other and want to be together. Sure, works fine. > Generally in my experience it is the person on the tiller who will bark commands a
230.
by pdonis 5mo ago
Depends on why you believe those things. If you believe the Earth is round because someone you view as an authority told you, and you never asked for any reasons or evidence, then yes, you're conforming/obeying. If you believe the
231.
by pdonis 5mo ago
> Nobody cares. Meaning, clients don't care about the thing I asked about? > What real-world problem are you trying to solve? I'm trying to understand your answers to my questions. When there seems to me to be something
232.
by pdonis 5mo ago
Update: stickfigure basically answered this in another subthread: as I understand the answer, it is that you do check the idempotency key, but inside the DB transaction, so you have to start a new transaction on every request. If, inside
233.
by pdonis 5mo ago
> Part of the problem here is that we're confusing how do you structure the API (replay? 409? something else?) with how we implement the API. It would seem to me that you would want "what happens if a second request comes in
234.
by pdonis 5mo ago
> Does that help? What you said up to that point didn't really. But then you said this: > If you're using your database to handle concurrency, you need every request to start inside the transaction. You can't check t
235.
by pdonis 5mo ago
> There is no value in returning a "hey this is in progress" error code to a client when transactions are short Fair enough. So basically your approach is to wait until the first request completes to decide how to respond to
236.
by pdonis 5mo ago
> You have multiple clients submitting the same business operation simultaneously. It doesn't have to be multiple clients. It could be the same client, not having received a response to its first request and deciding to re-send th
237.
by pdonis 5mo ago
> There are a lot of ways to implement this Sure, I get that. What I don't get is why you would be using idempotency keys as part of the implementation if you're going to go ahead and start a second transaction when you get a
238.
by pdonis 5mo ago
By "request" I didn't necessarily mean the HTTP request sent by the client, and I don't think the post I was responding to did either. But I agree my use of terminology was ambiguous. Let me restate more clearly, and in
239.
by pdonis 5mo ago
> The second request starts a transaction and starts processing, everything looks good - no dups. So when the second request comes in, even though it has the same idempotency key as the first request, the server doesn't check to s
240.
by pdonis 5mo ago
> You're asking questions that broadly summarize as No, I'm asking one question, which doesn't seem to be summarized by your summary. The situation is that your server has received two requests with the same idempotenc

More ›