OxO4

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 assumptions instead of reality.)

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 fundamentally broken and needs change. It is mind boggling that the response to these issues amounts to WONTFIX.

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/716808/ [1] https://www.withings.com/us/en/bpm-connect

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 can't sense the level of oxygen it has, so freedivers rely on CO2 levels as a proxy, so messing with it is dangerous.

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 optimize for goals other than profit.

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 its market value shouldn't really matter, because the value has no impact on your quality of life.

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 place blame on management when things go sideways. If not, then what exactly is the value that management adds to the company that justifies their high pay?

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-150/2023

[1] https://www.fuelly.com/car/ford/escape/2023

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://www.blog.google/outreach-initiatives/sustainability/...

[1] https://store.steampowered.com/news/app/1675180/view/4347665...

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-image/storybook...

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 even one of the countries that uses AML.

[0] https://en.wikipedia.org/wiki/Advanced_Mobile_Location

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 and the higher impact on the environment?

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, however, this is not necessarily the case. Consider a simplex-based linear integer arithmetic solver for example. If there is a problem that is simple at the Boolean level, you may end up spending more time in the simplex solver.

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 instead but I guess that adds cost/weight.

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 two business days (I don't remember exactly).

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 even worked while traveling to another country. Sometimes manufacturers would also send you a replacement part and you could replace it yourself (happened to me with a failed hard drive).

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 or more complex topics, you quickly hit the limit of what voice transcription can do. In public, you may also not want to say everything out loud that you are about to text to someone.

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-complete [0] when using a binary encoding.

[0] http://smt2012.loria.fr/paper7.pdf

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/SMT-COMP [0] such that they can be used to improve SMT solvers.

[0] https://smt-comp.github.io/news/2019-01-24.html

I agree that there may be edge cases where it doesn't make sense to make software open source (although I also think that the majority of software used at IRS, NSA, CIA, and FBI could be open source). However, I strongly believe that if the code is not published, it should at least be available to the government itself, s.t. if a vendor goes out of business or the government wants to change vendors they can do so without issues.

All of those companies are problematic to a certain degree. Personally, whether I'd have an issue with working for one of those companies also depends on what I am working on. Let's say that one of those companies pays you to work on an open source project. Would that really be that bad ethically? What if you worked on Facebook's security team securing the users' data? Is that really worse than working for LinkedIn implementing some new dark pattern to get the users to receive more email spam? At the end of the day, you'll have to make compromises, unfortunately.

the keys leave imprints on the monitor after the lid has been closed

Same with my Late 2013 MacBook Pro.

the keyboard with it's rickety keys

I haven't used the XPS keyboards extensively but they seem to get good reviews and in my limited experience, I definitely prefer them to the new MacBook keyboards (which I've used quite a bit).

I eat tramadol just to handle the back-pain from carrying it around in my rucksack

The XPS 13 is actually lighter than the MacBook Pro 13 and the new MacBook Air. The XPS 15 is half a pound heavier than the MacBook Pro 15, which should be barely noticeable when carried in a backpack. I am not quite following.

AFAIK newer Macs with a T2 security chip block OSs other than macOS and Windows 10 [0] (at least on the internal drive).

[0] https://www.phoronix.com/scan.php?page=news_item&px=Apple-T2...

Note that this option may have some limitations depending on the country: Turkey blocks the IMEI of unregistered devices after 120 days, so if you plan to travel there multiple times, you may be out of luck (AFAIK only residents can register their device). So it is definitely worth checking the rules before traveling to a country.

Presumably, this could all be done without extending the footprint of the rails already present just by increasing the number of trains, cars per train, speed of the trains, or improving the design of the cars. Really, the beauty of public transportation is that you can get much higher density (and speed) than individual transportation if done correctly.

Fun fact: European driver-side mirrors actually have a larger FOV than their US counterparts. It took me a while to get used to that when I moved to the US. I ended up buying some small blind spot mirrors that can be stuck onto the car's mirrors. I've been pretty happy with that solution (in combination with looking over my shoulder).

Actually, the Dell XPS 15 has a 15" screen and a tenkeyless keyboard as well.