• 0 Posts
  • 126 Comments
Joined 2 years ago
cake
Cake day: June 21st, 2023

help-circle


  • I would argue that in your application, a wrong URL is a sever error. That error being improper handling of a client error.

    I’m not a web dev, but had a similar problem with a niche compiler I used to develop.

    We were pretty good at validating invariants at the mid and back-end. This meant that most user errors got reported as internal errors. Generally, these errors were good enough that users were able to get used to reading them and fix their code.

    It was next to impossible to actually get users to file bugs about this. Our internal error messages started with a banner that read “THIS IS A BUG IN <compiler name>. PLEASE REPORT TO <support email address>”. Despite that, whenever we actually got a bug report, it would inevitably start with “I’m pretty sure this isn’t actually a bug in the compiler, but I can’t figure out what I am doing wrong in my code”.


  • Under current law, you would need to kill 22 people before replacements can be appointed. Possibly less if some of them are not constitutionally eligible to be president; but if it ever got to that point, I suspect we would ignore that provision.

    Pulling this off is made even more difficult by both the heightened security given to everyone in the line of succession; and the fact that under our continuity of government plans, those people are deliberately never all in the same place at the same time.

    Anything that could accomplish a full decapitation strike would likely require marshall law anyway, and would likely make the conditions for an election difficult.



  • If you are running an AC, you might be able modify it to reduce the humidity.

    AC units naturally dehumidify (as TC points out, they are essentially the same thing as traditional dehumidifiers). However, the amount of moisture they pull out is mostly related to how long they are running, not how cold they can get. This means that if you have an overpowered AC, you get less dehumidifying effect because the AC is on less.

    Some ACs let you reduce their power, which will increase their duty cycle and increase the amount of water they pull out of the air. It also helps improve their lifespan as they need to cycle less.



  • “Calories” is actually two different things. The first thing is a unit of energy. In this sense, calories are very much interchangeable. Wood has calories, which is why we use it for fire. However, if you tried eating wood, you would mostly just be increasing the caloric value of your poop. This is not inherent to wood; if you were a termite and tried eating wood, you would actually get nutritionally relevant calories from it.

    For nutritional purposes, we generally use some variant of the Atwater system. The core idea was to measure the caloric value of food, as well as the caloric value of the subjects feces and urine. This gives you a better estimate of how many nutritionally relevant calories there are.

    Nowadays, we have standard values various core food components (e.g various fats, proteins, etc). By breaking down a food into its components, we can apply the standard conversion for each component and add up the results to get a value for the food as a whole.

    This process is actually pretty bad. The digestibility of individual components does not perfectly predict the digestibility of a whole food. The measure of individual components is not perfect. The actual digestibility of some foods can vary significantly between people.

    As a practical matter, “counting calories”, really just means eating less in a way that roughly measures food by effective energy content. It turns out that an accurate accounting of calories just isn’t super important or useful for this. There is even bigger variance in the “calories out” department (including the annoying tendency of bodies to become more energy efficient when less energy is available). Further, all of the errors in calorie counting tend to be consistent. If you reduce calories by reducing the quantity of food you eat, you are reducing actual metabolized calories, even in the exact measurement is wrong.

    It is a little more complicated if you reduce calories by changing the composition of the food you eat, but broadly speaking lower reported calories are actually lower effective calories there as well. Further, if you are adjusting the composition of your food specifically enough for this to be a problem, then you are well past the point where you should be caring about other nutritional factors.




  • Where in those axioms does it say that ↑ = 0 = 0 {0 0 } is not a number? No where, that’s where!

    The actual reason that ↑ is simply that it is too ill behaved. The stuff I thought were the “numbers” of combinatorical game are actually just called Conway games. Conway numbers are defined very almost identically to Conway games, but with an added constraint that makes them a much better behaved subset of Conway games.

    I suppose you could call this an axiom of combinatorical game theory; but at that point you are essentially just calling every definition an axiom.

    <s> Getting back to my original point; this distinction just goes to show how small minded mathematicians are! Under Conway’s supposed “reasonable” definition of a number, nimbers are merely games, not proper numbers. However, the nimbers are a perfectly good infinite field of characteristic 2. You can’t seriously expect me to believe that those are not numbers! </s>


  • I was going to make a comment about surreal numbers not being numbers. But I did a bit of fact checking and it looks like all of the values I was objecting to are not considered surreal numbers, but rather pseudo numbers.

    I find this outrageous. Why can’t ↑ be a number? What even is a number that would exclude it and leave in all of your so-called numbers?





  • It’s possible that his views were conflicted.

    I have family whose politics I understand pretty well, and I don’t know who they voted for. What I do know is that they were torn between: “Trump’s blatant antisemitism is a danger to us here in America” and “Trump is good for Israel”.



  • It is a bit broader than that:

    A) it is not restricted to the Netherlands. Any country holding a covered person at request of the ICC is fair game.

    B) It is not restricted to US persons. NATO members and major non-NATO allied are covered as well, so long as they: are not party to the ICC and wishes to be exempt from ICC jurisdiction.

    C) It is not restricted to government employees. Anyone working on behalf of the government qualifies.


  • The problem in Gaza is not a lack of money; or even a lack of food. It is the regional superpower using its overwhelming military support to block food entry and distribution. While explicitly blocking all organizations with a history and track record of successful aid provisioning in challenging war zones. Then replacing it with their own potenkin aid agency as members of their senior leadership talk openly about using starvation as a weapon of war.

    Even in the most charitable reading, donations like this do nothing to help on net. Assuming it is not an outright scam, you are just giving this one family some of the limited supply of food in Gaza. That means that you are depriving someone else in Gaza that food; because you did not actually introduce more food; and, one way or another, that food was going to get eaten.

    Adding more money to the equation does help fund the gangs running the food black market. I don’t mean to imply that such gangs are responsible for the crisis (they are not), or even that they are inherently bad (in a well run system, profit oriented local groups providing last mile distribution can be helpful). But, in this case, they are at best neutral.