Viewing profile — OxO4

There are people that are taller than six foot and it also depends heavily on whether you have long legs or a long torso.

If you are tall, then no amount of reclining is going to give you more space. The knees are too far forward to stretch your legs, _especially_ when the person in front of you recli…

[flagged]

Are you suggesting that you can tell the types of games someone enjoys by just looking at them? (Your reply is another example of right-wing discourse being around prejudiced assum…

People like you sanewashing the actions of this admin are a major part of the problem. Even if this were how the system was designed, it is time to acknowledge that it is fundament…

FWIW, some "smarter" machines (e.g., [0, 1]) support taking three readings with a minute pause in-between and then spit out a single reading. [0] https://www.garmin.com/en-US/p/716…

Freedivers are also taught not to exhale underwater, because it wastes oxygen and lowers your CO2 level, making it harder to know when you actually have to come back up. Your body …

> I don't think the government leadership has my best interests at heart And for-profit companies have your best interest at heart? With government services you can at least optimi…

Great. Housing should not be an investment and chasing ever-increasing property values as a society is obviously unsustainable. If you own a house as your primary residence, then i…

Often, people try justify high pay for management positions by pointing out the responsibilities that comes with such a position. If that's the case, then it only makes sense to pl…

How so? The 2023 models of the F150 seem to get about 17.19 MPG [0] which is significantly worse than the 32.34 MPG [1] of the 2023 Escape. [0] https://www.fuelly.com/car/ford/f-15…

It seems that iFixit will officially be selling replacement parts for Google's Pixel phones [0] and Valve's Steam Deck [1], so hopefully, they are not going anywhere. [0] https://w…

Not defending the other design choices, but there are places in snowy mountain areas where (almost) flat roofs are common [0]. [0] https://www.davos.ch/en/information/portrait-imag…

Can we please stop suggesting that anti-LGBTQ "viewpoints" are worth exploring and that people are just to "embattled" on the issue of basic human decency?

There's a standard for automatically sharing the current location with emergency services, which is supported by both Android and iOS [0]. According to the wiki article, the UK is …

Would your "free market" also mean that the people living in the suburbs pay the true cost of living in suburbs? Including higher taxes to offset the higher infrastructure costs an…

FWIW, Luke Smith has some problematic political views (as in far right/alt-right). You do you but I personally avoid sharing/using any of his content for that reason.

> SAT solving is about 95+% of SMT solving This is theory-dependent, I would say. It is certainly true for bit-vector solvers that bit-blast for example. For other theories, howeve…

Lowering the seat will also make it quite a bit worse for people with long legs. The height of the usual seats is already too low. It would be better if they raised the middle seat…

They don't ship the laptop, they send a technician and do the repair on-site. I have personal experience with a Lenovo ThinkPad. Dispatching the technician may have taken one or tw…

That's just not true. Depending on your warranty you could have on-site service. In that case, the repair would happen on-site and maybe take an hour or two. In my experience, this…

Grades don't actually matter that much for admissions. The letters of recommendation are much more important, e.g. from the advisor that you did your thesis with.

Voice transcription is not always an option. It works decently for English if you are only using it to transcribe simple, daily texts and you are not in public. For other languages…

That actually depends on the logic being used. Some of the logics supported by Z3 are not even decidable. In fact, even solving quantifier-free bit-vector formulas is NEXPTIME-comp…

Out of curiosity, what made you choose Z3 over other SMT solvers? Also, if you have benchmarks that you can publish, it would be really great if you could submit them to SMT-LIB/SM…